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-3747275-1339101796/watcher-3747275-1339101796 -o /tmp/evaluation-result-3747275-1339101796/solver-3747275-1339101796 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747275-1339101796.opb 1218585522 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 1.91 3/178 23494
/proc/meminfo: memFree=29490240/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
[startup+0.089862 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23494
/proc/meminfo: memFree=29490240/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100276 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23494
/proc/meminfo: memFree=29490240/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300218 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23494
/proc/meminfo: memFree=29490240/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700234 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23494
/proc/meminfo: memFree=29490240/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 23496
/proc/meminfo: memFree=29398708/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
[pid=23495] ppid=23494 vsize=257024 CPUtime=1.48 cores=1,3,5,7
/proc/23495/stat : 23495 (npSolver-pbo) R 23494 23494 22658 0 -1 4202496 15655 0 0 0 144 4 0 0 20 0 1 0 376246670 263192576 37642 33554432000 4194304 6004724 140734652037568 140734652032168 5056502 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23495/statm: 64256 37642 154 442 0 63810 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 266172
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 23496
/proc/meminfo: memFree=29320392/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
[pid=23495] ppid=23494 vsize=322560 CPUtime=3.09 cores=1,3,5,7
/proc/23495/stat : 23495 (npSolver-pbo) R 23494 23494 22658 0 -1 4202496 16305 0 0 0 299 10 0 0 20 0 1 0 376246670 330301440 59658 33554432000 4194304 6004724 140734652037568 140734652032184 4581445 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23495/statm: 80640 59658 154 442 0 80194 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 331708
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 23496
/proc/meminfo: memFree=29077860/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
[pid=23495] ppid=23494 vsize=584704 CPUtime=6.29 cores=1,3,5,7
/proc/23495/stat : 23495 (npSolver-pbo) R 23494 23494 22658 0 -1 4202496 17062 0 0 0 610 19 0 0 20 0 1 0 376246670 598736896 120074 33554432000 4194304 6004724 140734652037568 140734652032168 4582567 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23495/statm: 146176 120074 154 442 0 145730 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 593852
[startup+12.7004 s]
/proc/loadavg: 1.92 1.98 1.90 2/173 23613
/proc/meminfo: memFree=28665172/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
[pid=23495] ppid=23494 vsize=1108992 CPUtime=12.69 cores=1,3,5,7
/proc/23495/stat : 23495 (npSolver-pbo) R 23494 23494 22658 0 -1 4202496 18066 0 0 0 1232 37 0 0 20 0 1 0 376246670 1135607808 241418 33554432000 4194304 6004724 140734652037568 140734652032168 4536305 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23495/statm: 277248 241418 154 442 0 276802 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1118140
[startup+25.5004 s]
/proc/loadavg: 1.86 1.97 1.90 3/180 23681
/proc/meminfo: memFree=27643548/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
[pid=23495] ppid=23494 vsize=2157568 CPUtime=25.48 cores=1,3,5,7
/proc/23495/stat : 23495 (npSolver-pbo) R 23494 23494 22658 0 -1 4202496 19561 0 0 0 2476 72 0 0 20 0 1 0 376246670 2209349632 483082 33554432000 4194304 6004724 140734652037568 140734652032168 4534738 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23495/statm: 539392 483082 154 442 0 538946 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2166716
[startup+51.1004 s]
/proc/loadavg: 1.99 1.99 1.91 3/183 23684
/proc/meminfo: memFree=23114904/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
[pid=23495] ppid=23494 vsize=4243000 CPUtime=39.48 cores=1,3,5,7
/proc/23495/stat : 23495 (npSolver-pbo) S 23494 23494 22658 0 -1 4202496 22811 0 0 0 3430 518 0 0 20 0 1 0 376246670 4344832000 645537 33554432000 4194304 6004724 140734652037568 140734652032032 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 11 0 0
/proc/23495/statm: 1060750 645537 163 442 0 1060304 0
[pid=23682] ppid=23495 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23682/stat : 23682 (cp2_pre.sh) S 23495 23494 22658 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 376250632 9367552 277 33554432000 4194304 5064252 140734704297056 140734704295760 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23682/statm: 2287 277 234 213 0 72 0
[pid=23683] ppid=23682 vsize=1226420 CPUtime=11.47 cores=1,3,5,7
/proc/23683/stat : 23683 (coprocessor) R 23682 23494 22658 0 -1 4202496 21071 0 0 0 1095 52 0 0 20 0 1 0 376250632 1255854080 301287 33554432000 4194304 6586260 140733319897472 140733319894232 5732400 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/23683/statm: 306605 301287 137 584 0 306017 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 5487716
[startup+102.307 s]
/proc/loadavg: 2.68 2.20 1.98 3/183 23684
/proc/meminfo: memFree=19814836/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
[pid=23495] ppid=23494 vsize=4243000 CPUtime=39.48 cores=1,3,5,7
/proc/23495/stat : 23495 (npSolver-pbo) S 23494 23494 22658 0 -1 4202496 22811 0 0 0 3430 518 0 0 20 0 1 0 376246670 4344832000 645537 33554432000 4194304 6004724 140734652037568 140734652032032 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 11 0 0
/proc/23495/statm: 1060750 645537 163 442 0 1060304 0
[pid=23682] ppid=23495 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23682/stat : 23682 (cp2_pre.sh) S 23495 23494 22658 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 376250632 9367552 277 33554432000 4194304 5064252 140734704297056 140734704295760 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23682/statm: 2287 277 234 213 0 72 0
[pid=23683] ppid=23682 vsize=4524512 CPUtime=60.64 cores=1,3,5,7
/proc/23683/stat : 23683 (coprocessor) R 23682 23494 22658 0 -1 4202496 28313 0 0 0 5752 312 0 0 20 0 1 0 376250632 4633100288 934042 33554432000 4194304 6586260 140733319897472 140733319893224 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 202 0 0
/proc/23683/statm: 1131128 934042 158 584 0 1130540 0
Current children cumulated CPU time (s) 100.12
Current children cumulated vsize (KiB) 8785808
[startup+162.3 s]
/proc/loadavg: 2.64 2.28 2.02 3/182 23685
/proc/meminfo: memFree=18163728/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
[pid=23495] ppid=23494 vsize=4243000 CPUtime=39.48 cores=1,3,5,7
/proc/23495/stat : 23495 (npSolver-pbo) S 23494 23494 22658 0 -1 4202496 22811 0 0 0 3430 518 0 0 20 0 1 0 376246670 4344832000 645537 33554432000 4194304 6004724 140734652037568 140734652032032 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 11 0 0
/proc/23495/statm: 1060750 645537 163 442 0 1060304 0
[pid=23682] ppid=23495 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23682/stat : 23682 (cp2_pre.sh) S 23495 23494 22658 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 376250632 9367552 277 33554432000 4194304 5064252 140734704297056 140734704295760 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23682/statm: 2287 277 234 213 0 72 0
[pid=23683] ppid=23682 vsize=4524512 CPUtime=119.33 cores=1,3,5,7
/proc/23683/stat : 23683 (coprocessor) R 23682 23494 22658 0 -1 4202496 28313 0 0 0 11297 636 0 0 20 0 1 0 376250632 4633100288 934042 33554432000 4194304 6586260 140733319897472 140733319893224 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 332 0 0
/proc/23683/statm: 1131128 934042 158 584 0 1130540 0
Current children cumulated CPU time (s) 158.81
Current children cumulated vsize (KiB) 8785808
[startup+222.3 s]
/proc/loadavg: 2.26 2.24 2.02 3/181 23687
/proc/meminfo: memFree=19105636/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
[pid=23495] ppid=23494 vsize=4243000 CPUtime=161.36 cores=1,3,5,7
/proc/23495/stat : 23495 (npSolver-pbo) S 23494 23494 22658 0 -1 4202496 22830 29216 0 0 3430 518 11490 698 20 0 1 0 376246670 4344832000 645542 33554432000 4194304 6004724 140734652037568 140734652023848 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/23495/statm: 1060750 645542 167 442 0 1060304 0
[pid=23687] ppid=23495 vsize=6545600 CPUtime=57.4 cores=1,3,5,7
/proc/23687/stat : 23687 (glucosInc) R 23495 23494 22658 0 -1 4202496 576950 0 0 0 5522 218 0 0 20 0 1 0 376263157 6702694400 1314393 33554432000 4194304 5654031 140736787439024 140736787436872 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23687/statm: 1636400 1314393 140 357 0 1636040 0
Current children cumulated CPU time (s) 218.76
Current children cumulated vsize (KiB) 10797748
[startup+282.3 s]
/proc/loadavg: 2.10 2.19 2.02 3/181 23687
/proc/meminfo: memFree=19099616/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
[pid=23495] ppid=23494 vsize=4243000 CPUtime=161.36 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=18980980/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
[pid=23495] ppid=23494 vsize=4243000 CPUtime=161.36 cores=1,3,5,7
/proc/23495/stat : 23495 (npSolver-pbo) S 23494 23494 22658 0 -1 4202496 22830 29216 0 0 3430 518 11490 698 20 0 1 0 376246670 4344832000 645542 33554432000 4194304 6004724 140734652037568 140734652023848 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/23495/statm: 1060750 645542 167 442 0 1060304 0
[pid=23687] ppid=23495 vsize=6603696 CPUtime=1137.25 cores=1,3,5,7
/proc/23687/stat : 23687 (glucosInc) R 23495 23494 22658 0 -1 4202496 636113 0 0 0 113480 245 0 0 20 0 1 0 376263157 6762184704 1336932 33554432000 4194304 5654031 140736787439024 140736787426840 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23687/statm: 1650924 1336932 140 357 0 1650564 0
Current children cumulated CPU time (s) 1298.61
Current children cumulated vsize (KiB) 10855844
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 23719
/proc/meminfo: memFree=18968320/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
[pid=23495] ppid=23494 vsize=4243000 CPUtime=161.36 cores=1,3,5,7
/proc/23495/stat : 23495 (npSolver-pbo) S 23494 23494 22658 0 -1 4202496 22830 29216 0 0 3430 518 11490 698 20 0 1 0 376246670 4344832000 645542 33554432000 4194304 6004724 140734652037568 140734652023848 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/23495/statm: 1060750 645542 167 442 0 1060304 0
[pid=23687] ppid=23495 vsize=6604092 CPUtime=1197.23 cores=1,3,5,7
/proc/23687/stat : 23687 (glucosInc) R 23495 23494 22658 0 -1 4202496 636208 0 0 0 119478 245 0 0 20 0 1 0 376263157 6762590208 1337538 33554432000 4194304 5654031 140736787439024 140736787426840 4232581 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23687/statm: 1651023 1337538 140 357 0 1650663 0
Current children cumulated CPU time (s) 1358.59
Current children cumulated vsize (KiB) 10856240
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 23720
/proc/meminfo: memFree=18957832/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
[pid=23495] ppid=23494 vsize=4243000 CPUtime=161.36 cores=1,3,5,7
/proc/23495/stat : 23495 (npSolver-pbo) S 23494 23494 22658 0 -1 4202496 22830 29216 0 0 3430 518 11490 698 20 0 1 0 376246670 4344832000 645542 33554432000 4194304 6004724 140734652037568 140734652023848 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/23495/statm: 1060750 645542 167 442 0 1060304 0
[pid=23687] ppid=23495 vsize=6604092 CPUtime=1257.23 cores=1,3,5,7
/proc/23687/stat : 23687 (glucosInc) R 23495 23494 22658 0 -1 4202496 636209 0 0 0 125478 245 0 0 20 0 1 0 376263157 6762590208 1337539 33554432000 4194304 5654031 140736787439024 140736787426840 4233232 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23687/statm: 1651023 1337539 140 357 0 1650663 0
Current children cumulated CPU time (s) 1418.59
Current children cumulated vsize (KiB) 10856240
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 23720
/proc/meminfo: memFree=18981344/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
[pid=23495] ppid=23494 vsize=4243000 CPUtime=161.36 cores=1,3,5,7
/proc/23495/stat : 23495 (npSolver-pbo) S 23494 23494 22658 0 -1 4202496 22830 29216 0 0 3430 518 11490 698 20 0 1 0 376246670 4344832000 645542 33554432000 4194304 6004724 140734652037568 140734652023848 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/23495/statm: 1060750 645542 167 442 0 1060304 0
[pid=23687] ppid=23495 vsize=6604444 CPUtime=1317.21 cores=1,3,5,7
/proc/23687/stat : 23687 (glucosInc) R 23495 23494 22658 0 -1 4202496 640887 0 0 0 131475 246 0 0 20 0 1 0 376263157 6762950656 1338147 33554432000 4194304 5654031 140736787439024 140736787426840 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23687/statm: 1651111 1338147 140 357 0 1650751 0
Current children cumulated CPU time (s) 1478.57
Current children cumulated vsize (KiB) 10856592
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 23720
/proc/meminfo: memFree=18967508/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
[pid=23495] ppid=23494 vsize=4243000 CPUtime=161.36 cores=1,3,5,7
/proc/23495/stat : 23495 (npSolver-pbo) S 23494 23494 22658 0 -1 4202496 22830 29216 0 0 3430 518 11490 698 20 0 1 0 376246670 4344832000 645542 33554432000 4194304 6004724 140734652037568 140734652023848 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/23495/statm: 1060750 645542 167 442 0 1060304 0
[pid=23687] ppid=23495 vsize=6605764 CPUtime=1377.21 cores=1,3,5,7
/proc/23687/stat : 23687 (glucosInc) R 23495 23494 22658 0 -1 4202496 641227 0 0 0 137474 247 0 0 20 0 1 0 376263157 6764302336 1338998 33554432000 4194304 5654031 140736787439024 140736787426840 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23687/statm: 1651441 1338998 140 357 0 1651081 0
Current children cumulated CPU time (s) 1538.57
Current children cumulated vsize (KiB) 10857912
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23720
/proc/meminfo: memFree=18955508/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
[pid=23495] ppid=23494 vsize=4243000 CPUtime=161.36 cores=1,3,5,7
/proc/23495/stat : 23495 (npSolver-pbo) S 23494 23494 22658 0 -1 4202496 22830 29216 0 0 3430 518 11490 698 20 0 1 0 376246670 4344832000 645542 33554432000 4194304 6004724 140734652037568 140734652023848 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/23495/statm: 1060750 645542 167 442 0 1060304 0
[pid=23687] ppid=23495 vsize=6607052 CPUtime=1437.19 cores=1,3,5,7
/proc/23687/stat : 23687 (glucosInc) R 23495 23494 22658 0 -1 4202496 646125 0 0 0 143471 248 0 0 20 0 1 0 376263157 6765621248 1339315 33554432000 4194304 5654031 140736787439024 140736787426840 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23687/statm: 1651763 1339315 140 357 0 1651403 0
Current children cumulated CPU time (s) 1598.55
Current children cumulated vsize (KiB) 10859200
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23723
/proc/meminfo: memFree=18979720/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
[pid=23495] ppid=23494 vsize=4243000 CPUtime=161.36 cores=1,3,5,7
/proc/23495/stat : 23495 (npSolver-pbo) S 23494 23494 22658 0 -1 4202496 22830 29216 0 0 3430 518 11490 698 20 0 1 0 376246670 4344832000 645542 33554432000 4194304 6004724 140734652037568 140734652023848 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/23495/statm: 1060750 645542 167 442 0 1060304 0
[pid=23687] ppid=23495 vsize=6608240 CPUtime=1497.19 cores=1,3,5,7
/proc/23687/stat : 23687 (glucosInc) R 23495 23494 22658 0 -1 4202496 646418 0 0 0 149470 249 0 0 20 0 1 0 376263157 6766837760 1340119 33554432000 4194304 5654031 140736787439024 140736787426840 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23687/statm: 1652060 1340119 140 357 0 1651700 0
Current children cumulated CPU time (s) 1658.55
Current children cumulated vsize (KiB) 10860388
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23724
/proc/meminfo: memFree=18966860/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
[pid=23495] ppid=23494 vsize=4243000 CPUtime=161.36 cores=1,3,5,7
/proc/23495/stat : 23495 (npSolver-pbo) S 23494 23494 22658 0 -1 4202496 22830 29216 0 0 3430 518 11490 698 20 0 1 0 376246670 4344832000 645542 33554432000 4194304 6004724 140734652037568 140734652023848 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/23495/statm: 1060750 645542 167 442 0 1060304 0
[pid=23687] ppid=23495 vsize=6609024 CPUtime=1557.18 cores=1,3,5,7
/proc/23687/stat : 23687 (glucosInc) R 23495 23494 22658 0 -1 4202496 651198 0 0 0 155468 250 0 0 20 0 1 0 376263157 6767640576 1340832 33554432000 4194304 5654031 140736787439024 140736787426840 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23687/statm: 1652256 1340832 140 357 0 1651896 0
Current children cumulated CPU time (s) 1718.54
Current children cumulated vsize (KiB) 10861172
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23724
/proc/meminfo: memFree=18950664/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
[pid=23495] ppid=23494 vsize=4243000 CPUtime=161.36 cores=1,3,5,7
/proc/23495/stat : 23495 (npSolver-pbo) S 23494 23494 22658 0 -1 4202496 22830 29216 0 0 3430 518 11490 698 20 0 1 0 376246670 4344832000 645542 33554432000 4194304 6004724 140734652037568 140734652023848 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/23495/statm: 1060750 645542 167 442 0 1060304 0
[pid=23687] ppid=23495 vsize=6609684 CPUtime=1617.17 cores=1,3,5,7
/proc/23687/stat : 23687 (glucosInc) R 23495 23494 22658 0 -1 4202496 651349 0 0 0 161467 250 0 0 20 0 1 0 376263157 6768316416 1340983 33554432000 4194304 5654031 140736787439024 140736787426840 4233315 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23687/statm: 1652421 1340983 140 357 0 1652061 0
Current children cumulated CPU time (s) 1778.53
Current children cumulated vsize (KiB) 10861832
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23724
/proc/meminfo: memFree=18946072/32873844 swapFree=7128/7128
[pid=23494] ppid=23492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (npSolver-pbo-It) S 23492 23494 22658 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376246670 9367552 275 33554432000 4194304 5064252 140735813790896 140735813789808 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23494/statm: 2287 275 233 213 0 72 0
[pid=23495] ppid=23494 vsize=4243000 CPUtime=161.36 cores=1,3,5,7
/proc/23495/stat : 23495 (npSolver-pbo) S 23494 23494 22658 0 -1 4202496 22830 29216 0 0 3430 518 11490 698 20 0 1 0 376246670 4344832000 645542 33554432000 4194304 6004724 140734652037568 140734652023848 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/23495/statm: 1060750 645542 167 442 0 1060304 0
[pid=23687] ppid=23495 vsize=6609948 CPUtime=1638.67 cores=1,3,5,7
/proc/23687/stat : 23687 (glucosInc) R 23495 23494 22658 0 -1 4202496 651427 0 0 0 163617 250 0 0 20 0 1 0 376263157 6768586752 1341061 33554432000 4194304 5654031 140736787439024 140736787426840 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23687/statm: 1652487 1341061 140 357 0 1652127 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10862096
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23494 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1803.82
CPU time (s): 1800.03
CPU user time (s): 1785.37
CPU system time (s): 14.66
CPU usage (%): 99.7901
Max. virtual memory (cumulated for all children) (KiB): 10923196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 3.9104 second user time and 11.9852 second system time
The end