runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3749195-1339163396/watcher-3749195-1339163396 -o /tmp/evaluation-result-3749195-1339163396/solver-3749195-1339163396 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3749195-1339163396.opb 1615806271 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.04 3/178 9815
/proc/meminfo: memFree=31440080/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
[startup+0.0919959 s]
/proc/loadavg: 2.00 2.00 2.04 3/178 9815
/proc/meminfo: memFree=31440080/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100317 s]
/proc/loadavg: 2.00 2.00 2.04 3/178 9815
/proc/meminfo: memFree=31440080/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300275 s]
/proc/loadavg: 2.00 2.00 2.04 3/178 9815
/proc/meminfo: memFree=31440080/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700264 s]
/proc/loadavg: 2.00 2.00 2.04 3/178 9815
/proc/meminfo: memFree=31440080/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.04 3/180 9817
/proc/meminfo: memFree=31354520/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
[pid=9816] ppid=9815 vsize=104884 CPUtime=1.09 cores=0,2,4,6
/proc/9816/stat : 9816 (npSolver-pbo) S 9815 9815 4304 0 -1 4202496 14467 0 0 0 97 12 0 0 20 0 1 0 382465731 107401216 20919 33554432000 4194304 6004724 140733898475184 140733898469648 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9816/statm: 26221 20919 163 442 0 25775 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 114032
[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 9819
/proc/meminfo: memFree=31144808/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
[pid=9816] ppid=9815 vsize=104884 CPUtime=1.09 cores=0,2,4,6
/proc/9816/stat : 9816 (npSolver-pbo) S 9815 9815 4304 0 -1 4202496 14467 0 0 0 97 12 0 0 20 0 1 0 382465731 107401216 20919 33554432000 4194304 6004724 140733898475184 140733898469648 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9816/statm: 26221 20919 163 442 0 25775 0
[pid=9818] ppid=9816 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9818/stat : 9818 (cp2_pre.sh) S 9816 9815 4304 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 382465841 9367552 277 33554432000 4194304 5064252 140733542806816 140733542805520 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9818/statm: 2287 277 234 213 0 72 0
[pid=9819] ppid=9818 vsize=214644 CPUtime=1.98 cores=0,2,4,6
/proc/9819/stat : 9819 (coprocessor) R 9818 9815 4304 0 -1 4202496 34628 0 0 0 192 6 0 0 20 0 1 0 382465841 219795456 49943 33554432000 4194304 6586260 140736850714880 140736850711144 4500669 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/9819/statm: 53661 49943 170 584 0 53073 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 337824
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 9824
/proc/meminfo: memFree=31256364/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
[pid=9816] ppid=9815 vsize=104884 CPUtime=5.1 cores=0,2,4,6
/proc/9816/stat : 9816 (npSolver-pbo) S 9815 9815 4304 0 -1 4202496 14485 41352 0 0 97 12 389 12 20 0 1 0 382465731 107401216 20923 33554432000 4194304 6004724 140733898475184 140733898461464 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9816/statm: 26221 20923 167 442 0 25775 0
[pid=9824] ppid=9816 vsize=94808 CPUtime=1.16 cores=0,2,4,6
/proc/9824/stat : 9824 (glucosInc) R 9816 9815 4304 0 -1 4202496 20482 0 0 0 112 4 0 0 20 0 1 0 382466243 97083392 22211 33554432000 4194304 5654031 140734582555136 140734582552920 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9824/statm: 23702 22211 131 357 0 23342 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 208840
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 9824
/proc/meminfo: memFree=31233428/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
[pid=9816] ppid=9815 vsize=104884 CPUtime=5.1 cores=0,2,4,6
/proc/9816/stat : 9816 (npSolver-pbo) S 9815 9815 4304 0 -1 4202496 14485 41352 0 0 97 12 389 12 20 0 1 0 382465731 107401216 20923 33554432000 4194304 6004724 140733898475184 140733898461464 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9816/statm: 26221 20923 167 442 0 25775 0
[pid=9824] ppid=9816 vsize=109944 CPUtime=7.56 cores=0,2,4,6
/proc/9824/stat : 9824 (glucosInc) R 9816 9815 4304 0 -1 4202496 21724 0 0 0 752 4 0 0 20 0 1 0 382466243 112582656 24461 33554432000 4194304 5654031 140734582555136 140734582552920 4797458 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9824/statm: 27486 24461 140 357 0 27126 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 223976
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 9824
/proc/meminfo: memFree=31290184/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
[pid=9816] ppid=9815 vsize=104884 CPUtime=5.1 cores=0,2,4,6
/proc/9816/stat : 9816 (npSolver-pbo) S 9815 9815 4304 0 -1 4202496 14485 41352 0 0 97 12 389 12 20 0 1 0 382465731 107401216 20923 33554432000 4194304 6004724 140733898475184 140733898461464 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9816/statm: 26221 20923 167 442 0 25775 0
[pid=9824] ppid=9816 vsize=114580 CPUtime=20.36 cores=0,2,4,6
/proc/9824/stat : 9824 (glucosInc) R 9816 9815 4304 0 -1 4202496 23860 0 0 0 2030 6 0 0 20 0 1 0 382466243 117329920 25845 33554432000 4194304 5654031 140734582555136 140734582542952 4214632 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9824/statm: 28645 25845 141 357 0 28285 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 228612
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.03 3/182 9824
/proc/meminfo: memFree=31218112/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
[pid=9816] ppid=9815 vsize=104884 CPUtime=5.1 cores=0,2,4,6
/proc/9816/stat : 9816 (npSolver-pbo) S 9815 9815 4304 0 -1 4202496 14485 41352 0 0 97 12 389 12 20 0 1 0 382465731 107401216 20923 33554432000 4194304 6004724 140733898475184 140733898461464 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9816/statm: 26221 20923 167 442 0 25775 0
[pid=9824] ppid=9816 vsize=148668 CPUtime=45.95 cores=0,2,4,6
/proc/9824/stat : 9824 (glucosInc) R 9816 9815 4304 0 -1 4202496 25645 0 0 0 4588 7 0 0 20 0 1 0 382466243 152236032 33147 33554432000 4194304 5654031 140734582555136 140734582542952 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9824/statm: 37167 33147 141 357 0 36807 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 262700
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.03 3/181 9824
/proc/meminfo: memFree=31220864/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
[pid=9816] ppid=9815 vsize=104884 CPUtime=5.1 cores=0,2,4,6
/proc/9816/stat : 9816 (npSolver-pbo) S 9815 9815 4304 0 -1 4202496 14485 41352 0 0 97 12 389 12 20 0 1 0 382465731 107401216 20923 33554432000 4194304 6004724 140733898475184 140733898461464 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9816/statm: 26221 20923 167 442 0 25775 0
[pid=9824] ppid=9816 vsize=148668 CPUtime=97.15 cores=0,2,4,6
/proc/9824/stat : 9824 (glucosInc) R 9816 9815 4304 0 -1 4202496 26788 0 0 0 9706 9 0 0 20 0 1 0 382466243 152236032 33664 33554432000 4194304 5654031 140734582555136 140734582542952 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9824/statm: 37167 33664 141 357 0 36807 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 262700
[startup+162.3 s]
/proc/loadavg: 2.12 2.03 2.03 3/181 9824
/proc/meminfo: memFree=31185928/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
[pid=9816] ppid=9815 vsize=104884 CPUtime=5.1 cores=0,2,4,6
/proc/9816/stat : 9816 (npSolver-pbo) S 9815 9815 4304 0 -1 4202496 14485 41352 0 0 97 12 389 12 20 0 1 0 382465731 107401216 20923 33554432000 4194304 6004724 140733898475184 140733898461464 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9816/statm: 26221 20923 167 442 0 25775 0
[pid=9824] ppid=9816 vsize=148668 CPUtime=157.13 cores=0,2,4,6
/proc/9824/stat : 9824 (glucosInc) R 9816 9815 4304 0 -1 4202496 29243 0 0 0 15701 12 0 0 20 0 1 0 382466243 152236032 34940 33554432000 4194304 5654031 140734582555136 140734582542952 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9824/statm: 37167 34940 141 357 0 36807 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 262700
[startup+222.3 s]
/proc/loadavg: 2.04 2.02 2.03 3/181 9824
/proc/meminfo: memFree=31220476/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
[pid=9816] ppid=9815 vsize=104884 CPUtime=5.1 cores=0,2,4,6
/proc/9816/stat : 9816 (npSolver-pbo) S 9815 9815 4304 0 -1 4202496 14485 41352 0 0 97 12 389 12 20 0 1 0 382465731 107401216 20923 33554432000 4194304 6004724 140733898475184 140733898461464 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9816/statm: 26221 20923 167 442 0 25775 0
[pid=9824] ppid=9816 vsize=197988 CPUtime=217.11 cores=0,2,4,6
/proc/9824/stat : 9824 (glucosInc) R 9816 9815 4304 0 -1 4202496 30691 0 0 0 21697 14 0 0 20 0 1 0 382466243 202739712 43097 33554432000 4194304 5654031 140734582555136 140734582542952 4233344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9824/statm: 49497 43097 141 357 0 49137 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 312020
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.91 2.39 2.14 3/182 9944
/proc/meminfo: memFree=29493320/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
[pid=9816] ppid=9815 vsize=104884 CPUtime=5.1 cores=0,2,4,6
/proc/9816/stat : 9816 (npSolver-pbo) S 9815 9815 4304 0 -1 4202496 14485 41352 0 0 97 12 389 12 20 0 1 0 382465731 107401216 20923 33554432000 4194304 6004724 140733898475184 140733898461464 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9816/statm: 26221 20923 167 442 0 25775 0
[pid=9824] ppid=9816 vsize=278896 CPUtime=1296.93 cores=0,2,4,6
/proc/9824/stat : 9824 (glucosInc) R 9816 9815 4304 0 -1 4202496 44990 0 0 0 129654 39 0 0 20 0 1 0 382466243 285589504 56824 33554432000 4194304 5654031 140734582555136 140734582542952 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9824/statm: 69724 56824 141 357 0 69364 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 392928
[startup+1362.3 s]
/proc/loadavg: 2.47 2.36 2.15 3/180 9947
/proc/meminfo: memFree=28777864/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
[pid=9816] ppid=9815 vsize=104884 CPUtime=5.1 cores=0,2,4,6
/proc/9816/stat : 9816 (npSolver-pbo) S 9815 9815 4304 0 -1 4202496 14485 41352 0 0 97 12 389 12 20 0 1 0 382465731 107401216 20923 33554432000 4194304 6004724 140733898475184 140733898461464 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9816/statm: 26221 20923 167 442 0 25775 0
[pid=9824] ppid=9816 vsize=228808 CPUtime=1356.92 cores=0,2,4,6
/proc/9824/stat : 9824 (glucosInc) R 9816 9815 4304 0 -1 4202496 46152 0 0 0 135651 41 0 0 20 0 1 0 382466243 234299392 52939 33554432000 4194304 5654031 140734582555136 140734582542952 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9824/statm: 57202 52939 141 357 0 56842 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 342840
[startup+1422.31 s]
/proc/loadavg: 2.41 2.34 2.15 2/180 9948
/proc/meminfo: memFree=17595932/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
[pid=9816] ppid=9815 vsize=104884 CPUtime=5.1 cores=0,2,4,6
/proc/9816/stat : 9816 (npSolver-pbo) S 9815 9815 4304 0 -1 4202496 14485 41352 0 0 97 12 389 12 20 0 1 0 382465731 107401216 20923 33554432000 4194304 6004724 140733898475184 140733898461464 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9816/statm: 26221 20923 167 442 0 25775 0
[pid=9824] ppid=9816 vsize=278896 CPUtime=1416.91 cores=0,2,4,6
/proc/9824/stat : 9824 (glucosInc) R 9816 9815 4304 0 -1 4202496 46470 0 0 0 141650 41 0 0 20 0 1 0 382466243 285589504 57848 33554432000 4194304 5654031 140734582555136 140734582542952 4215121 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9824/statm: 69724 57848 141 357 0 69364 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 392928
[startup+1482.3 s]
/proc/loadavg: 3.24 2.58 2.24 3/180 9949
/proc/meminfo: memFree=13861496/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
[pid=9816] ppid=9815 vsize=104884 CPUtime=5.1 cores=0,2,4,6
/proc/9816/stat : 9816 (npSolver-pbo) S 9815 9815 4304 0 -1 4202496 14485 41352 0 0 97 12 389 12 20 0 1 0 382465731 107401216 20923 33554432000 4194304 6004724 140733898475184 140733898461464 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9816/statm: 26221 20923 167 442 0 25775 0
[pid=9824] ppid=9816 vsize=278896 CPUtime=1476.9 cores=0,2,4,6
/proc/9824/stat : 9824 (glucosInc) R 9816 9815 4304 0 -1 4202496 46474 0 0 0 147648 42 0 0 20 0 1 0 382466243 285589504 59896 33554432000 4194304 5654031 140734582555136 140734582542952 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9824/statm: 69724 59896 141 357 0 69364 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 392928
[startup+1542.3 s]
/proc/loadavg: 2.56 2.52 2.24 3/181 9950
/proc/meminfo: memFree=16583212/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
[pid=9816] ppid=9815 vsize=104884 CPUtime=5.1 cores=0,2,4,6
/proc/9816/stat : 9816 (npSolver-pbo) S 9815 9815 4304 0 -1 4202496 14485 41352 0 0 97 12 389 12 20 0 1 0 382465731 107401216 20923 33554432000 4194304 6004724 140733898475184 140733898461464 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9816/statm: 26221 20923 167 442 0 25775 0
[pid=9824] ppid=9816 vsize=228808 CPUtime=1536.88 cores=0,2,4,6
/proc/9824/stat : 9824 (glucosInc) R 9816 9815 4304 0 -1 4202496 47086 0 0 0 153645 43 0 0 20 0 1 0 382466243 234299392 52897 33554432000 4194304 5654031 140734582555136 140734582542952 4214638 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9824/statm: 57202 52897 141 357 0 56842 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 342840
[startup+1602.3 s]
/proc/loadavg: 2.20 2.42 2.22 3/181 9950
/proc/meminfo: memFree=16542312/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
[pid=9816] ppid=9815 vsize=104884 CPUtime=5.1 cores=0,2,4,6
/proc/9816/stat : 9816 (npSolver-pbo) S 9815 9815 4304 0 -1 4202496 14485 41352 0 0 97 12 389 12 20 0 1 0 382465731 107401216 20923 33554432000 4194304 6004724 140733898475184 140733898461464 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9816/statm: 26221 20923 167 442 0 25775 0
[pid=9824] ppid=9816 vsize=279056 CPUtime=1596.88 cores=0,2,4,6
/proc/9824/stat : 9824 (glucosInc) R 9816 9815 4304 0 -1 4202496 47454 0 0 0 159644 44 0 0 20 0 1 0 382466243 285753344 58374 33554432000 4194304 5654031 140734582555136 140734582542952 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9824/statm: 69764 58374 141 357 0 69404 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 393088
[startup+1662.3 s]
/proc/loadavg: 2.13 2.36 2.21 3/181 9950
/proc/meminfo: memFree=16525060/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
[pid=9816] ppid=9815 vsize=104884 CPUtime=5.1 cores=0,2,4,6
/proc/9816/stat : 9816 (npSolver-pbo) S 9815 9815 4304 0 -1 4202496 14485 41352 0 0 97 12 389 12 20 0 1 0 382465731 107401216 20923 33554432000 4194304 6004724 140733898475184 140733898461464 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9816/statm: 26221 20923 167 442 0 25775 0
[pid=9824] ppid=9816 vsize=279192 CPUtime=1656.87 cores=0,2,4,6
/proc/9824/stat : 9824 (glucosInc) R 9816 9815 4304 0 -1 4202496 47491 0 0 0 165643 44 0 0 20 0 1 0 382466243 285892608 59944 33554432000 4194304 5654031 140734582555136 140734582552920 4214957 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9824/statm: 69798 59944 141 357 0 69438 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 393224
[startup+1722.3 s]
/proc/loadavg: 2.09 2.30 2.20 3/181 9950
/proc/meminfo: memFree=16555456/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
[pid=9816] ppid=9815 vsize=104884 CPUtime=5.1 cores=0,2,4,6
/proc/9816/stat : 9816 (npSolver-pbo) S 9815 9815 4304 0 -1 4202496 14485 41352 0 0 97 12 389 12 20 0 1 0 382465731 107401216 20923 33554432000 4194304 6004724 140733898475184 140733898461464 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9816/statm: 26221 20923 167 442 0 25775 0
[pid=9824] ppid=9816 vsize=229664 CPUtime=1716.86 cores=0,2,4,6
/proc/9824/stat : 9824 (glucosInc) R 9816 9815 4304 0 -1 4202496 48220 0 0 0 171640 46 0 0 20 0 1 0 382466243 235175936 51073 33554432000 4194304 5654031 140734582555136 140734582542952 4214618 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9824/statm: 57416 51073 141 357 0 57056 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 343696
[startup+1782.3 s]
/proc/loadavg: 2.03 2.25 2.18 3/181 9950
/proc/meminfo: memFree=16525616/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
[pid=9816] ppid=9815 vsize=104884 CPUtime=5.1 cores=0,2,4,6
/proc/9816/stat : 9816 (npSolver-pbo) S 9815 9815 4304 0 -1 4202496 14485 41352 0 0 97 12 389 12 20 0 1 0 382465731 107401216 20923 33554432000 4194304 6004724 140733898475184 140733898461464 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9816/statm: 26221 20923 167 442 0 25775 0
[pid=9824] ppid=9816 vsize=281180 CPUtime=1776.84 cores=0,2,4,6
/proc/9824/stat : 9824 (glucosInc) R 9816 9815 4304 0 -1 4202496 48839 0 0 0 177638 46 0 0 20 0 1 0 382466243 287928320 57302 33554432000 4194304 5654031 140734582555136 140734582542952 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9824/statm: 70295 57302 141 357 0 69935 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 395212
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.23 2.18 3/181 9951
/proc/meminfo: memFree=16522948/32873844 swapFree=7380/7380
[pid=9815] ppid=9813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (npSolver-pbo-I.) S 9813 9815 4304 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382465731 9367552 275 33554432000 4194304 5064252 140734147126192 140734147125104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9815/statm: 2287 275 233 213 0 72 0
[pid=9816] ppid=9815 vsize=104884 CPUtime=5.1 cores=0,2,4,6
/proc/9816/stat : 9816 (npSolver-pbo) S 9815 9815 4304 0 -1 4202496 14485 41352 0 0 97 12 389 12 20 0 1 0 382465731 107401216 20923 33554432000 4194304 6004724 140733898475184 140733898461464 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9816/statm: 26221 20923 167 442 0 25775 0
[pid=9824] ppid=9816 vsize=281180 CPUtime=1794.95 cores=0,2,4,6
/proc/9824/stat : 9824 (glucosInc) R 9816 9815 4304 0 -1 4202496 48840 0 0 0 179449 46 0 0 20 0 1 0 382466243 287928320 57814 33554432000 4194304 5654031 140734582555136 140734582542952 4215040 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9824/statm: 70295 57814 141 357 0 69935 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 395212
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9815 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=872259
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=256960
# CPU time returned by wait4() is 5.12922
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1799.35
CPU system time (s): 0.7
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 473792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.87226
system time used= 0.25696
maximum resident set size= 249612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56211
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 13
runsolver used 2.69559 second user time and 7.13192 second system time
The end