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-3746973-1339108547/watcher-3746973-1339108547 -o /tmp/evaluation-result-3746973-1339108547/solver-3746973-1339108547 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746973-1339108547.opb 219276157 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/178 13184
/proc/meminfo: memFree=23895296/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
[startup+0.0898821 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13184
/proc/meminfo: memFree=23895296/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100333 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13184
/proc/meminfo: memFree=23895296/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300289 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13184
/proc/meminfo: memFree=23895296/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70023 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13184
/proc/meminfo: memFree=23895296/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50045 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 13188
/proc/meminfo: memFree=23664328/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
[pid=13185] ppid=13184 vsize=97192 CPUtime=0.68 cores=1,3,5,7
/proc/13185/stat : 13185 (npSolver-pbo) S 13184 13184 11851 0 -1 4202496 12585 0 0 0 62 6 0 0 20 0 1 0 376981516 99524608 22655 33554432000 4194304 6004724 140733232920752 140733232915216 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13185/statm: 24298 22655 164 442 0 23852 0
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (cp2_pre.sh) S 13185 13184 11851 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 376981585 9367552 277 33554432000 4194304 5064252 140733206001184 140733205999888 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13187/statm: 2287 277 234 213 0 72 0
[pid=13188] ppid=13187 vsize=186968 CPUtime=0.8 cores=1,3,5,7
/proc/13188/stat : 13188 (coprocessor) R 13187 13184 11851 0 -1 4202496 31192 0 0 0 75 5 0 0 20 0 1 0 376981585 191455232 45076 33554432000 4194304 6586260 140733217901808 140733217898968 4768675 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/13188/statm: 46742 45076 176 584 0 46154 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 302456
[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 13188
/proc/meminfo: memFree=23590568/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
[pid=13185] ppid=13184 vsize=97192 CPUtime=0.68 cores=1,3,5,7
/proc/13185/stat : 13185 (npSolver-pbo) S 13184 13184 11851 0 -1 4202496 12585 0 0 0 62 6 0 0 20 0 1 0 376981516 99524608 22655 33554432000 4194304 6004724 140733232920752 140733232915216 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13185/statm: 24298 22655 164 442 0 23852 0
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (cp2_pre.sh) S 13185 13184 11851 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 376981585 9367552 277 33554432000 4194304 5064252 140733206001184 140733205999888 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13187/statm: 2287 277 234 213 0 72 0
[pid=13188] ppid=13187 vsize=212116 CPUtime=2.39 cores=1,3,5,7
/proc/13188/stat : 13188 (coprocessor) R 13187 13184 11851 0 -1 4202496 35212 0 0 0 220 19 0 0 20 0 1 0 376981585 217206784 51708 33554432000 4194304 6586260 140733217901808 140733217897480 5481932 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/13188/statm: 53029 51708 204 584 0 52441 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 327604
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13190
/proc/meminfo: memFree=23710256/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
[pid=13185] ppid=13184 vsize=179112 CPUtime=6.28 cores=1,3,5,7
/proc/13185/stat : 13185 (npSolver-pbo) R 13184 13184 11851 0 -1 4202496 20659 54581 0 0 157 81 363 27 20 0 1 0 376981516 183410688 37980 33554432000 4194304 6004724 140733232920752 140733232916240 4535862 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13185/statm: 44778 37980 181 442 0 44332 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 188260
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13193
/proc/meminfo: memFree=23112468/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
[pid=13185] ppid=13184 vsize=113576 CPUtime=8.4 cores=1,3,5,7
/proc/13185/stat : 13185 (npSolver-pbo) S 13184 13184 11851 0 -1 4202496 22272 55096 0 0 337 111 363 29 20 0 1 0 376981516 116301824 26769 33554432000 4194304 6004724 140733232920752 140733232906600 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/13185/statm: 28394 26769 182 442 0 27948 0
[pid=13193] ppid=13185 vsize=534148 CPUtime=4.25 cores=1,3,5,7
/proc/13193/stat : 13193 (glucosInc) R 13185 13184 11851 0 -1 4202496 79682 0 0 0 402 23 0 0 20 0 1 0 376982359 546967552 117342 33554432000 4194304 5654031 140734058620640 140734058618248 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13193/statm: 133537 117342 141 357 0 133177 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 656872
[startup+25.5005 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 13193
/proc/meminfo: memFree=23120076/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
[pid=13185] ppid=13184 vsize=113576 CPUtime=8.4 cores=1,3,5,7
/proc/13185/stat : 13185 (npSolver-pbo) S 13184 13184 11851 0 -1 4202496 22272 55096 0 0 337 111 363 29 20 0 1 0 376981516 116301824 26769 33554432000 4194304 6004724 140733232920752 140733232906600 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/13185/statm: 28394 26769 182 442 0 27948 0
[pid=13193] ppid=13185 vsize=535076 CPUtime=17.04 cores=1,3,5,7
/proc/13193/stat : 13193 (glucosInc) R 13185 13184 11851 0 -1 4202496 79991 0 0 0 1681 23 0 0 20 0 1 0 376982359 547917824 117651 33554432000 4194304 5654031 140734058620640 140734058618424 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13193/statm: 133769 117651 141 357 0 133409 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 657800
[startup+51.1005 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 13193
/proc/meminfo: memFree=23112608/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
[pid=13185] ppid=13184 vsize=113576 CPUtime=8.4 cores=1,3,5,7
/proc/13185/stat : 13185 (npSolver-pbo) S 13184 13184 11851 0 -1 4202496 22272 55096 0 0 337 111 363 29 20 0 1 0 376981516 116301824 26769 33554432000 4194304 6004724 140733232920752 140733232906600 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/13185/statm: 28394 26769 182 442 0 27948 0
[pid=13193] ppid=13185 vsize=541796 CPUtime=42.64 cores=1,3,5,7
/proc/13193/stat : 13193 (glucosInc) R 13185 13184 11851 0 -1 4202496 81157 0 0 0 4240 24 0 0 20 0 1 0 376982359 554799104 119839 33554432000 4194304 5654031 140734058620640 140734058608456 4214622 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13193/statm: 135449 119839 142 357 0 135089 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 664520
[startup+102.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 13193
/proc/meminfo: memFree=23086176/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
[pid=13185] ppid=13184 vsize=113576 CPUtime=8.4 cores=1,3,5,7
/proc/13185/stat : 13185 (npSolver-pbo) S 13184 13184 11851 0 -1 4202496 22272 55096 0 0 337 111 363 29 20 0 1 0 376981516 116301824 26769 33554432000 4194304 6004724 140733232920752 140733232906600 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/13185/statm: 28394 26769 182 442 0 27948 0
[pid=13193] ppid=13185 vsize=550180 CPUtime=93.83 cores=1,3,5,7
/proc/13193/stat : 13193 (glucosInc) R 13185 13184 11851 0 -1 4202496 82467 0 0 0 9359 24 0 0 20 0 1 0 376982359 563384320 126259 33554432000 4194304 5654031 140734058620640 140734058608456 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13193/statm: 137545 126259 142 357 0 137185 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 672904
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13194
/proc/meminfo: memFree=23101136/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
[pid=13185] ppid=13184 vsize=113576 CPUtime=8.4 cores=1,3,5,7
/proc/13185/stat : 13185 (npSolver-pbo) S 13184 13184 11851 0 -1 4202496 22272 55096 0 0 337 111 363 29 20 0 1 0 376981516 116301824 26769 33554432000 4194304 6004724 140733232920752 140733232906600 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/13185/statm: 28394 26769 182 442 0 27948 0
[pid=13193] ppid=13185 vsize=550180 CPUtime=153.82 cores=1,3,5,7
/proc/13193/stat : 13193 (glucosInc) R 13185 13184 11851 0 -1 4202496 83156 0 0 0 15355 27 0 0 20 0 1 0 376982359 563384320 122483 33554432000 4194304 5654031 140734058620640 140734058608456 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13193/statm: 137545 122483 142 357 0 137185 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 672904
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13194
/proc/meminfo: memFree=23079168/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
[pid=13185] ppid=13184 vsize=113576 CPUtime=8.4 cores=1,3,5,7
/proc/13185/stat : 13185 (npSolver-pbo) S 13184 13184 11851 0 -1 4202496 22272 55096 0 0 337 111 363 29 20 0 1 0 376981516 116301824 26769 33554432000 4194304 6004724 140733232920752 140733232906600 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/13185/statm: 28394 26769 182 442 0 27948 0
[pid=13193] ppid=13185 vsize=553384 CPUtime=213.82 cores=1,3,5,7
/proc/13193/stat : 13193 (glucosInc) R 13185 13184 11851 0 -1 4202496 83759 0 0 0 21355 27 0 0 20 0 1 0 376982359 566665216 128196 33554432000 4194304 5654031 140734058620640 140734058608456 4232833 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13193/statm: 138346 128196 142 357 0 137986 0
Current children cumulated CPU time (s) 222.22
################
# More data... #
################
/proc/loadavg: 2.01 2.02 2.00 3/181 13256
/proc/meminfo: memFree=28188148/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
[pid=13185] ppid=13184 vsize=113576 CPUtime=8.4 cores=1,3,5,7
/proc/13185/stat : 13185 (npSolver-pbo) S 13184 13184 11851 0 -1 4202496 22272 55096 0 0 337 111 363 29 20 0 1 0 376981516 116301824 26769 33554432000 4194304 6004724 140733232920752 140733232906600 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/13185/statm: 28394 26769 182 442 0 27948 0
[pid=13193] ppid=13185 vsize=665292 CPUtime=1353.57 cores=1,3,5,7
/proc/13193/stat : 13193 (glucosInc) R 13185 13184 11851 0 -1 4202496 103061 0 0 0 135258 99 0 0 20 0 1 0 376982359 681259008 138147 33554432000 4194304 5654031 140734058620640 140734058608456 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13193/statm: 166323 138147 142 357 0 165963 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 788016
[startup+1422.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/181 13258
/proc/meminfo: memFree=28250028/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
[pid=13185] ppid=13184 vsize=113576 CPUtime=8.4 cores=1,3,5,7
/proc/13185/stat : 13185 (npSolver-pbo) S 13184 13184 11851 0 -1 4202496 22272 55096 0 0 337 111 363 29 20 0 1 0 376981516 116301824 26769 33554432000 4194304 6004724 140733232920752 140733232906600 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/13185/statm: 28394 26769 182 442 0 27948 0
[pid=13193] ppid=13185 vsize=583904 CPUtime=1413.57 cores=1,3,5,7
/proc/13193/stat : 13193 (glucosInc) R 13185 13184 11851 0 -1 4202496 103522 0 0 0 141255 102 0 0 20 0 1 0 376982359 597917696 134907 33554432000 4194304 5654031 140734058620640 140734058608456 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13193/statm: 145976 134907 142 357 0 145616 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 706628
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 13261
/proc/meminfo: memFree=28212512/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
[pid=13185] ppid=13184 vsize=113576 CPUtime=8.4 cores=1,3,5,7
/proc/13185/stat : 13185 (npSolver-pbo) S 13184 13184 11851 0 -1 4202496 22272 55096 0 0 337 111 363 29 20 0 1 0 376981516 116301824 26769 33554432000 4194304 6004724 140733232920752 140733232906600 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/13185/statm: 28394 26769 182 442 0 27948 0
[pid=13193] ppid=13185 vsize=665292 CPUtime=1473.55 cores=1,3,5,7
/proc/13193/stat : 13193 (glucosInc) R 13185 13184 11851 0 -1 4202496 104588 0 0 0 147252 103 0 0 20 0 1 0 376982359 681259008 141576 33554432000 4194304 5654031 140734058620640 140734058608456 4232905 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13193/statm: 166323 141576 142 357 0 165963 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 788016
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 13284
/proc/meminfo: memFree=28238468/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
[pid=13185] ppid=13184 vsize=113576 CPUtime=8.4 cores=1,3,5,7
/proc/13185/stat : 13185 (npSolver-pbo) S 13184 13184 11851 0 -1 4202496 22272 55096 0 0 337 111 363 29 20 0 1 0 376981516 116301824 26769 33554432000 4194304 6004724 140733232920752 140733232906600 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/13185/statm: 28394 26769 182 442 0 27948 0
[pid=13193] ppid=13185 vsize=588880 CPUtime=1533.55 cores=1,3,5,7
/proc/13193/stat : 13193 (glucosInc) R 13185 13184 11851 0 -1 4202496 107357 0 0 0 153245 110 0 0 20 0 1 0 376982359 603013120 133301 33554432000 4194304 5654031 140734058620640 140734058608456 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13193/statm: 147220 133301 142 357 0 146860 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 711604
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 13284
/proc/meminfo: memFree=28200536/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
[pid=13185] ppid=13184 vsize=113576 CPUtime=8.4 cores=1,3,5,7
/proc/13185/stat : 13185 (npSolver-pbo) S 13184 13184 11851 0 -1 4202496 22272 55096 0 0 337 111 363 29 20 0 1 0 376981516 116301824 26769 33554432000 4194304 6004724 140733232920752 140733232906600 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/13185/statm: 28394 26769 182 442 0 27948 0
[pid=13193] ppid=13185 vsize=670540 CPUtime=1593.54 cores=1,3,5,7
/proc/13193/stat : 13193 (glucosInc) R 13185 13184 11851 0 -1 4202496 108167 0 0 0 159242 112 0 0 20 0 1 0 376982359 686632960 139728 33554432000 4194304 5654031 140734058620640 140734058608456 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13193/statm: 167635 139728 142 357 0 167275 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 793264
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 13285
/proc/meminfo: memFree=28182360/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
[pid=13185] ppid=13184 vsize=113576 CPUtime=8.4 cores=1,3,5,7
/proc/13185/stat : 13185 (npSolver-pbo) S 13184 13184 11851 0 -1 4202496 22272 55096 0 0 337 111 363 29 20 0 1 0 376981516 116301824 26769 33554432000 4194304 6004724 140733232920752 140733232906600 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/13185/statm: 28394 26769 182 442 0 27948 0
[pid=13193] ppid=13185 vsize=677144 CPUtime=1653.52 cores=1,3,5,7
/proc/13193/stat : 13193 (glucosInc) R 13185 13184 11851 0 -1 4202496 109017 0 0 0 165240 112 0 0 20 0 1 0 376982359 693395456 144666 33554432000 4194304 5654031 140734058620640 140734058608456 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13193/statm: 169286 144666 142 357 0 168926 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 799868
[startup+1722.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 13285
/proc/meminfo: memFree=28153440/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
[pid=13185] ppid=13184 vsize=113576 CPUtime=8.4 cores=1,3,5,7
/proc/13185/stat : 13185 (npSolver-pbo) S 13184 13184 11851 0 -1 4202496 22272 55096 0 0 337 111 363 29 20 0 1 0 376981516 116301824 26769 33554432000 4194304 6004724 140733232920752 140733232906600 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/13185/statm: 28394 26769 182 442 0 27948 0
[pid=13193] ppid=13185 vsize=677144 CPUtime=1713.51 cores=1,3,5,7
/proc/13193/stat : 13193 (glucosInc) R 13185 13184 11851 0 -1 4202496 109043 0 0 0 171239 112 0 0 20 0 1 0 376982359 693395456 148269 33554432000 4194304 5654031 140734058620640 140734058608456 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13193/statm: 169286 148269 142 357 0 168926 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 799868
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 13285
/proc/meminfo: memFree=28188316/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
[pid=13185] ppid=13184 vsize=113576 CPUtime=8.4 cores=1,3,5,7
/proc/13185/stat : 13185 (npSolver-pbo) S 13184 13184 11851 0 -1 4202496 22272 55096 0 0 337 111 363 29 20 0 1 0 376981516 116301824 26769 33554432000 4194304 6004724 140733232920752 140733232906600 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/13185/statm: 28394 26769 182 442 0 27948 0
[pid=13193] ppid=13185 vsize=599808 CPUtime=1773.51 cores=1,3,5,7
/proc/13193/stat : 13193 (glucosInc) R 13185 13184 11851 0 -1 4202496 109656 0 0 0 177236 115 0 0 20 0 1 0 376982359 614203392 137975 33554432000 4194304 5654031 140734058620640 140734058608456 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13193/statm: 149952 137975 142 357 0 149592 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 722532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 13285
/proc/meminfo: memFree=28182532/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
[pid=13185] ppid=13184 vsize=113576 CPUtime=8.4 cores=1,3,5,7
/proc/13185/stat : 13185 (npSolver-pbo) S 13184 13184 11851 0 -1 4202496 22272 55096 0 0 337 111 363 29 20 0 1 0 376981516 116301824 26769 33554432000 4194304 6004724 140733232920752 140733232906600 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/13185/statm: 28394 26769 182 442 0 27948 0
[pid=13193] ppid=13185 vsize=599808 CPUtime=1791.61 cores=1,3,5,7
/proc/13193/stat : 13193 (glucosInc) R 13185 13184 11851 0 -1 4202496 109658 0 0 0 179046 115 0 0 20 0 1 0 376982359 614203392 138999 33554432000 4194304 5654031 140734058620640 140734058608456 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13193/statm: 149952 138999 142 357 0 149592 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 722532
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 13285
/proc/meminfo: memFree=28182532/32873648 swapFree=7372/7372
[pid=13184] ppid=13182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13184/stat : 13184 (npSolver-pbo-It) S 13182 13184 11851 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376981515 9367552 275 33554432000 4194304 5064252 140737139259248 140737139258160 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13184/statm: 2287 275 233 213 0 72 0
[pid=13185] ppid=13184 vsize=113576 CPUtime=8.4 cores=1,3,5,7
/proc/13185/stat : 13185 (npSolver-pbo) S 13184 13184 11851 0 -1 4202496 22272 55096 0 0 337 111 363 29 20 0 1 0 376981516 116301824 26769 33554432000 4194304 6004724 140733232920752 140733232906600 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/13185/statm: 28394 26769 182 442 0 27948 0
[pid=13193] ppid=13185 vsize=599808 CPUtime=1791.61 cores=1,3,5,7
/proc/13193/stat : 13193 (glucosInc) R 13185 13184 11851 0 -1 4202496 109658 0 0 0 179046 115 0 0 20 0 1 0 376982359 614203392 138999 33554432000 4194304 5654031 140734058620640 140734058608456 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13193/statm: 149952 138999 142 357 0 149592 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 722532
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13184 and gives
# childrusage.ru_utime.tv_sec=7
# childrusage.ru_utime.tv_usec=15933
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=408785
# CPU time returned by wait4() is 8.42472
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.01
CPU user time (s): 1797.46
CPU system time (s): 2.55
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 1120640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.01593
system time used= 1.40878
maximum resident set size= 458372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77742
page faults= 0
swaps= 0
block input operations= 16
block output operations= 448544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 625
involuntary context switches= 22
runsolver used 6.61399 second user time and 16.4065 second system time
The end