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-3749359-1339130151/watcher-3749359-1339130151 -o /tmp/evaluation-result-3749359-1339130151/solver-3749359-1339130151 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3749359-1339130151.opb 2014526694 HOME HOME
running on 4 cores: 1,3,5,7
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.00 3/176 15470
/proc/meminfo: memFree=26696344/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
[startup+0.064383 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15470
/proc/meminfo: memFree=26696344/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100343 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15470
/proc/meminfo: memFree=26696344/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300273 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15470
/proc/meminfo: memFree=26696344/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700254 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15470
/proc/meminfo: memFree=26696344/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15479
/proc/meminfo: memFree=26681104/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
[pid=15471] ppid=15470 vsize=5884 CPUtime=0.23 cores=1,3,5,7
/proc/15471/stat : 15471 (npSolver-pbo) S 15470 15470 11080 0 -1 4202496 2659 6474 0 0 5 4 11 3 20 0 1 0 379143662 6025216 1059 33554432000 4194304 6004724 140735853126720 140735853111640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15471/statm: 1471 1059 176 442 0 1025 0
[pid=15479] ppid=15471 vsize=11216 CPUtime=1.24 cores=1,3,5,7
/proc/15479/stat : 15479 (glucosInc) R 15471 15470 11080 0 -1 4202496 2787 0 0 0 124 0 0 0 20 0 1 0 379143687 11485184 2331 33554432000 4194304 5654031 140734736573504 140734736571592 4232434 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15479/statm: 2804 2331 141 357 0 2444 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 26248
[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15479
/proc/meminfo: memFree=26677072/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
[pid=15471] ppid=15470 vsize=5884 CPUtime=0.23 cores=1,3,5,7
/proc/15471/stat : 15471 (npSolver-pbo) S 15470 15470 11080 0 -1 4202496 2659 6474 0 0 5 4 11 3 20 0 1 0 379143662 6025216 1059 33554432000 4194304 6004724 140735853126720 140735853111640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15471/statm: 1471 1059 176 442 0 1025 0
[pid=15479] ppid=15471 vsize=14096 CPUtime=2.84 cores=1,3,5,7
/proc/15479/stat : 15479 (glucosInc) R 15471 15470 11080 0 -1 4202496 4162 0 0 0 283 1 0 0 20 0 1 0 379143687 14434304 3006 33554432000 4194304 5654031 140734736573504 140734736561320 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15479/statm: 3524 3006 141 357 0 3164 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 29128
[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15479
/proc/meminfo: memFree=26662252/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
[pid=15471] ppid=15470 vsize=5884 CPUtime=0.23 cores=1,3,5,7
/proc/15471/stat : 15471 (npSolver-pbo) S 15470 15470 11080 0 -1 4202496 2659 6474 0 0 5 4 11 3 20 0 1 0 379143662 6025216 1059 33554432000 4194304 6004724 140735853126720 140735853111640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15471/statm: 1471 1059 176 442 0 1025 0
[pid=15479] ppid=15471 vsize=22800 CPUtime=6.04 cores=1,3,5,7
/proc/15479/stat : 15479 (glucosInc) R 15471 15470 11080 0 -1 4202496 4859 0 0 0 603 1 0 0 20 0 1 0 379143687 23347200 4696 33554432000 4194304 5654031 140734736573504 140734736561320 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15479/statm: 5700 4696 141 357 0 5340 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 37832
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15479
/proc/meminfo: memFree=26651888/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
[pid=15471] ppid=15470 vsize=5884 CPUtime=0.23 cores=1,3,5,7
/proc/15471/stat : 15471 (npSolver-pbo) S 15470 15470 11080 0 -1 4202496 2659 6474 0 0 5 4 11 3 20 0 1 0 379143662 6025216 1059 33554432000 4194304 6004724 140735853126720 140735853111640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15471/statm: 1471 1059 176 442 0 1025 0
[pid=15479] ppid=15471 vsize=21168 CPUtime=12.44 cores=1,3,5,7
/proc/15479/stat : 15479 (glucosInc) R 15471 15470 11080 0 -1 4202496 5117 0 0 0 1243 1 0 0 20 0 1 0 379143687 21676032 4342 33554432000 4194304 5654031 140734736573504 140734736561320 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15479/statm: 5292 4342 141 357 0 4932 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 36200
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15479
/proc/meminfo: memFree=26617892/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
[pid=15471] ppid=15470 vsize=5884 CPUtime=0.23 cores=1,3,5,7
/proc/15471/stat : 15471 (npSolver-pbo) S 15470 15470 11080 0 -1 4202496 2659 6474 0 0 5 4 11 3 20 0 1 0 379143662 6025216 1059 33554432000 4194304 6004724 140735853126720 140735853111640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15471/statm: 1471 1059 176 442 0 1025 0
[pid=15479] ppid=15471 vsize=37444 CPUtime=25.24 cores=1,3,5,7
/proc/15479/stat : 15479 (glucosInc) R 15471 15470 11080 0 -1 4202496 6763 0 0 0 2522 2 0 0 20 0 1 0 379143687 38342656 7256 33554432000 4194304 5654031 140734736573504 140734736561320 4216159 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15479/statm: 9361 7256 141 357 0 9001 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 52476
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15479
/proc/meminfo: memFree=26574204/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
[pid=15471] ppid=15470 vsize=5884 CPUtime=0.23 cores=1,3,5,7
/proc/15471/stat : 15471 (npSolver-pbo) S 15470 15470 11080 0 -1 4202496 2659 6474 0 0 5 4 11 3 20 0 1 0 379143662 6025216 1059 33554432000 4194304 6004724 140735853126720 140735853111640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15471/statm: 1471 1059 176 442 0 1025 0
[pid=15479] ppid=15471 vsize=44624 CPUtime=50.84 cores=1,3,5,7
/proc/15479/stat : 15479 (glucosInc) R 15471 15470 11080 0 -1 4202496 7549 0 0 0 5081 3 0 0 20 0 1 0 379143687 45694976 9025 33554432000 4194304 5654031 140734736573504 140734736561320 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15479/statm: 11156 9025 141 357 0 10796 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 59656
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15482
/proc/meminfo: memFree=26614348/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
[pid=15471] ppid=15470 vsize=5884 CPUtime=94.84 cores=1,3,5,7
/proc/15471/stat : 15471 (npSolver-pbo) S 15470 15470 11080 0 -1 4202496 3094 15166 0 0 6 4 9467 7 20 0 1 0 379143662 6025216 1079 33554432000 4194304 6004724 140735853126720 140735853111640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15471/statm: 1471 1079 176 442 0 1025 0
[pid=15481] ppid=15471 vsize=21384 CPUtime=7.4 cores=1,3,5,7
/proc/15481/stat : 15481 (glucosInc) R 15471 15470 11080 0 -1 4202496 6054 0 0 0 739 1 0 0 20 0 1 0 379153150 21897216 4908 33554432000 4194304 5654031 140733576526336 140733576514152 4216213 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15481/statm: 5346 4908 141 357 0 4986 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 36416
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15482
/proc/meminfo: memFree=26629832/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
[pid=15471] ppid=15470 vsize=5884 CPUtime=94.84 cores=1,3,5,7
/proc/15471/stat : 15471 (npSolver-pbo) S 15470 15470 11080 0 -1 4202496 3094 15166 0 0 6 4 9467 7 20 0 1 0 379143662 6025216 1079 33554432000 4194304 6004724 140735853126720 140735853111640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15471/statm: 1471 1079 176 442 0 1025 0
[pid=15481] ppid=15471 vsize=41704 CPUtime=67.38 cores=1,3,5,7
/proc/15481/stat : 15481 (glucosInc) R 15471 15470 11080 0 -1 4202496 9261 0 0 0 6735 3 0 0 20 0 1 0 379153150 42704896 10025 33554432000 4194304 5654031 140733576526336 140733576514152 4232784 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15481/statm: 10426 10025 141 357 0 10066 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 56736
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15482
/proc/meminfo: memFree=26630180/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
[pid=15471] ppid=15470 vsize=5884 CPUtime=94.84 cores=1,3,5,7
/proc/15471/stat : 15471 (npSolver-pbo) S 15470 15470 11080 0 -1 4202496 3094 15166 0 0 6 4 9467 7 20 0 1 0 379143662 6025216 1079 33554432000 4194304 6004724 140735853126720 140735853111640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15471/statm: 1471 1079 176 442 0 1025 0
[pid=15481] ppid=15471 vsize=72164 CPUtime=127.37 cores=1,3,5,7
/proc/15481/stat : 15481 (glucosInc) R 15471 15470 11080 0 -1 4202496 10002 0 0 0 12734 3 0 0 20 0 1 0 379153150 73895936 16880 33554432000 4194304 5654031 140733576526336 140733576514152 4233455 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15481/statm: 18041 16880 141 357 0 17681 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 87196
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.04 2.01 2.00 3/179 15535
/proc/meminfo: memFree=26479548/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
[pid=15471] ppid=15470 vsize=5884 CPUtime=94.84 cores=1,3,5,7
/proc/15471/stat : 15471 (npSolver-pbo) S 15470 15470 11080 0 -1 4202496 3094 15166 0 0 6 4 9467 7 20 0 1 0 379143662 6025216 1079 33554432000 4194304 6004724 140735853126720 140735853111640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15471/statm: 1471 1079 176 442 0 1025 0
[pid=15481] ppid=15471 vsize=133252 CPUtime=1207.21 cores=1,3,5,7
/proc/15481/stat : 15481 (glucosInc) R 15471 15470 11080 0 -1 4202496 13470 0 0 0 120680 41 0 0 20 0 1 0 379153150 136450048 29814 33554432000 4194304 5654031 140733576526336 140733576514152 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15481/statm: 33313 29814 141 357 0 32953 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 148284
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 15536
/proc/meminfo: memFree=26488868/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
[pid=15471] ppid=15470 vsize=5884 CPUtime=94.84 cores=1,3,5,7
/proc/15471/stat : 15471 (npSolver-pbo) S 15470 15470 11080 0 -1 4202496 3094 15166 0 0 6 4 9467 7 20 0 1 0 379143662 6025216 1079 33554432000 4194304 6004724 140735853126720 140735853111640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15471/statm: 1471 1079 176 442 0 1025 0
[pid=15481] ppid=15471 vsize=83932 CPUtime=1267.19 cores=1,3,5,7
/proc/15481/stat : 15481 (glucosInc) R 15471 15470 11080 0 -1 4202496 13557 0 0 0 126677 42 0 0 20 0 1 0 379153150 85946368 20560 33554432000 4194304 5654031 140733576526336 140733576514152 4215188 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15481/statm: 20983 20560 141 357 0 20623 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 98964
[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 15536
/proc/meminfo: memFree=26437792/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
[pid=15471] ppid=15470 vsize=5884 CPUtime=94.84 cores=1,3,5,7
/proc/15471/stat : 15471 (npSolver-pbo) S 15470 15470 11080 0 -1 4202496 3094 15166 0 0 6 4 9467 7 20 0 1 0 379143662 6025216 1079 33554432000 4194304 6004724 140735853126720 140735853111640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15471/statm: 1471 1079 176 442 0 1025 0
[pid=15481] ppid=15471 vsize=164072 CPUtime=1327.18 cores=1,3,5,7
/proc/15481/stat : 15481 (glucosInc) R 15471 15470 11080 0 -1 4202496 13698 0 0 0 132674 44 0 0 20 0 1 0 379153150 168009728 39097 33554432000 4194304 5654031 140733576526336 140733576514152 4232994 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15481/statm: 41018 39097 141 357 0 40658 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 179104
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 15539
/proc/meminfo: memFree=26446548/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
[pid=15471] ppid=15470 vsize=5884 CPUtime=94.84 cores=1,3,5,7
/proc/15471/stat : 15471 (npSolver-pbo) S 15470 15470 11080 0 -1 4202496 3094 15166 0 0 6 4 9467 7 20 0 1 0 379143662 6025216 1079 33554432000 4194304 6004724 140735853126720 140735853111640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15471/statm: 1471 1079 176 442 0 1025 0
[pid=15481] ppid=15471 vsize=164072 CPUtime=1387.17 cores=1,3,5,7
/proc/15481/stat : 15481 (glucosInc) R 15471 15470 11080 0 -1 4202496 13837 0 0 0 138671 46 0 0 20 0 1 0 379153150 168009728 37561 33554432000 4194304 5654031 140733576526336 140733576514152 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15481/statm: 41018 37561 141 357 0 40658 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 179104
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 15562
/proc/meminfo: memFree=26422668/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
[pid=15471] ppid=15470 vsize=5884 CPUtime=94.84 cores=1,3,5,7
/proc/15471/stat : 15471 (npSolver-pbo) S 15470 15470 11080 0 -1 4202496 3094 15166 0 0 6 4 9467 7 20 0 1 0 379143662 6025216 1079 33554432000 4194304 6004724 140735853126720 140735853111640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15471/statm: 1471 1079 176 442 0 1025 0
[pid=15481] ppid=15471 vsize=164072 CPUtime=1447.16 cores=1,3,5,7
/proc/15481/stat : 15481 (glucosInc) R 15471 15470 11080 0 -1 4202496 13975 0 0 0 144668 48 0 0 20 0 1 0 379153150 168009728 35001 33554432000 4194304 5654031 140733576526336 140733576514152 4233168 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15481/statm: 41018 35001 141 357 0 40658 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 179104
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15562
/proc/meminfo: memFree=26432928/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
[pid=15471] ppid=15470 vsize=5884 CPUtime=94.84 cores=1,3,5,7
/proc/15471/stat : 15471 (npSolver-pbo) S 15470 15470 11080 0 -1 4202496 3094 15166 0 0 6 4 9467 7 20 0 1 0 379143662 6025216 1079 33554432000 4194304 6004724 140735853126720 140735853111640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15471/statm: 1471 1079 176 442 0 1025 0
[pid=15481] ppid=15471 vsize=133252 CPUtime=1507.15 cores=1,3,5,7
/proc/15481/stat : 15481 (glucosInc) R 15471 15470 11080 0 -1 4202496 14046 0 0 0 150665 50 0 0 20 0 1 0 379153150 136450048 32886 33554432000 4194304 5654031 140733576526336 140733576514152 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15481/statm: 33313 32886 141 357 0 32953 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 148284
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15563
/proc/meminfo: memFree=26443368/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
[pid=15471] ppid=15470 vsize=5884 CPUtime=94.84 cores=1,3,5,7
/proc/15471/stat : 15471 (npSolver-pbo) S 15470 15470 11080 0 -1 4202496 3094 15166 0 0 6 4 9467 7 20 0 1 0 379143662 6025216 1079 33554432000 4194304 6004724 140735853126720 140735853111640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15471/statm: 1471 1079 176 442 0 1025 0
[pid=15481] ppid=15471 vsize=133252 CPUtime=1567.14 cores=1,3,5,7
/proc/15481/stat : 15481 (glucosInc) R 15471 15470 11080 0 -1 4202496 14474 0 0 0 156662 52 0 0 20 0 1 0 379153150 136450048 29302 33554432000 4194304 5654031 140733576526336 140733576514152 4232772 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15481/statm: 33313 29302 141 357 0 32953 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 148284
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15563
/proc/meminfo: memFree=26437844/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
[pid=15471] ppid=15470 vsize=5884 CPUtime=94.84 cores=1,3,5,7
/proc/15471/stat : 15471 (npSolver-pbo) S 15470 15470 11080 0 -1 4202496 3094 15166 0 0 6 4 9467 7 20 0 1 0 379143662 6025216 1079 33554432000 4194304 6004724 140735853126720 140735853111640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15471/statm: 1471 1079 176 442 0 1025 0
[pid=15481] ppid=15471 vsize=164072 CPUtime=1627.13 cores=1,3,5,7
/proc/15481/stat : 15481 (glucosInc) R 15471 15470 11080 0 -1 4202496 14561 0 0 0 162660 53 0 0 20 0 1 0 379153150 168009728 39609 33554432000 4194304 5654031 140733576526336 140733576514152 4232939 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15481/statm: 41018 39609 141 357 0 40658 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 179104
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 15563
/proc/meminfo: memFree=26408256/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
[pid=15471] ppid=15470 vsize=5884 CPUtime=94.84 cores=1,3,5,7
/proc/15471/stat : 15471 (npSolver-pbo) S 15470 15470 11080 0 -1 4202496 3094 15166 0 0 6 4 9467 7 20 0 1 0 379143662 6025216 1079 33554432000 4194304 6004724 140735853126720 140735853111640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15471/statm: 1471 1079 176 442 0 1025 0
[pid=15481] ppid=15471 vsize=164072 CPUtime=1687.12 cores=1,3,5,7
/proc/15481/stat : 15481 (glucosInc) R 15471 15470 11080 0 -1 4202496 14707 0 0 0 168658 54 0 0 20 0 1 0 379153150 168009728 38073 33554432000 4194304 5654031 140733576526336 140733576514152 4232949 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15481/statm: 41018 38073 141 357 0 40658 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 179104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 15563
/proc/meminfo: memFree=26398328/32873844 swapFree=7120/7120
[pid=15470] ppid=15468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15470/stat : 15470 (npSolver-pbo-I.) S 15468 15470 11080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379143662 9367552 275 33554432000 4194304 5064252 140737125582512 140737125581424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15470/statm: 2287 275 233 213 0 72 0
[pid=15471] ppid=15470 vsize=5884 CPUtime=94.84 cores=1,3,5,7
/proc/15471/stat : 15471 (npSolver-pbo) S 15470 15470 11080 0 -1 4202496 3094 15166 0 0 6 4 9467 7 20 0 1 0 379143662 6025216 1079 33554432000 4194304 6004724 140735853126720 140735853111640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15471/statm: 1471 1079 176 442 0 1025 0
[pid=15481] ppid=15471 vsize=214160 CPUtime=1705.22 cores=1,3,5,7
/proc/15481/stat : 15481 (glucosInc) R 15471 15470 11080 0 -1 4202496 15256 0 0 0 170467 55 0 0 20 0 1 0 379153150 219299840 40664 33554432000 4194304 5654031 140733576526336 140733576524424 4232968 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15481/statm: 53540 40664 141 357 0 53180 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 229192
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 15470 and gives
# childrusage.ru_utime.tv_sec=94
# childrusage.ru_utime.tv_usec=744596
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=122981
# CPU time returned by wait4() is 94.8676
# while last known CPU time is 1800.06
#
# 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.06
CPU user time (s): 1799.4
CPU system time (s): 0.66
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 229192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 94.7446
system time used= 0.122981
maximum resident set size= 44624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18635
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67
involuntary context switches= 126
runsolver used 2.70359 second user time and 7.28189 second system time
The end