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-3752452-1339171311/watcher-3752452-1339171311 -o /tmp/evaluation-result-3752452-1339171311/solver-3752452-1339171311 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752452-1339171311.opb 1634918989 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/181 4502
/proc/meminfo: memFree=30709920/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
[startup+0.0613509 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4502
/proc/meminfo: memFree=30709920/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100312 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4502
/proc/meminfo: memFree=30709920/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300304 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4502
/proc/meminfo: memFree=30709920/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700276 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4502
/proc/meminfo: memFree=30709920/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/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.00 3/183 4504
/proc/meminfo: memFree=30613972/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
[pid=4503] ppid=4502 vsize=147412 CPUtime=1.48 cores=1,3,5,7
/proc/4503/stat : 4503 (npSolver-pbo) R 4502 4502 4273 0 -1 4202496 23293 0 0 0 143 5 0 0 20 0 1 0 27098227 150949888 32946 33554432000 4194304 6004724 140734217507824 140734217503848 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4503/statm: 36853 32946 130 442 0 36407 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 156560
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4504
/proc/meminfo: memFree=30473276/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
[pid=4503] ppid=4502 vsize=362872 CPUtime=3.08 cores=1,3,5,7
/proc/4503/stat : 4503 (npSolver-pbo) R 4502 4502 4273 0 -1 4202496 50439 0 0 0 295 13 0 0 20 0 1 0 27098227 371580928 74806 33554432000 4194304 6004724 140734217507824 140734217502104 4536305 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4503/statm: 90718 74806 154 442 0 90272 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 372020
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4504
/proc/meminfo: memFree=30225276/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
[pid=4503] ppid=4502 vsize=756088 CPUtime=6.28 cores=1,3,5,7
/proc/4503/stat : 4503 (npSolver-pbo) R 4502 4502 4273 0 -1 4202496 51766 0 0 0 604 24 0 0 20 0 1 0 27098227 774234112 132662 33554432000 4194304 6004724 140734217507824 140734217502424 4582479 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4503/statm: 189022 132662 154 442 0 188576 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 765236
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 4504
/proc/meminfo: memFree=29723712/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
[pid=4503] ppid=4502 vsize=1280376 CPUtime=12.68 cores=1,3,5,7
/proc/4503/stat : 4503 (npSolver-pbo) R 4502 4502 4273 0 -1 4202496 52768 0 0 0 1227 41 0 0 20 0 1 0 27098227 1311105024 252982 33554432000 4194304 6004724 140734217507824 140734217502424 4618011 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4503/statm: 320094 252982 154 442 0 319648 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1289524
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 4/184 4506
/proc/meminfo: memFree=27366512/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
[pid=4503] ppid=4502 vsize=2337948 CPUtime=24.99 cores=1,3,5,7
/proc/4503/stat : 4503 (npSolver-pbo) S 4502 4502 4273 0 -1 4202496 57646 0 0 0 2188 311 0 0 20 0 1 0 27098227 2394058752 429374 33554432000 4194304 6004724 140734217507824 140734217502288 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/4503/statm: 584487 429374 163 442 0 584041 0
[pid=4505] ppid=4503 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4505/stat : 4505 (cp2_pre.sh) S 4503 4502 4273 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 27100732 9367552 277 33554432000 4194304 5064252 140734529184032 140734529182736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4505/statm: 2287 277 234 213 0 72 0
[pid=4506] ppid=4505 vsize=53520 CPUtime=0.43 cores=1,3,5,7
/proc/4506/stat : 4506 (coprocessor) R 4505 4502 4273 0 -1 4202496 9020 0 0 0 40 3 0 0 20 0 1 0 27100733 54804480 12059 33554432000 4194304 6586260 140733947615200 140733947611960 5732400 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/4506/statm: 13380 12059 138 584 0 12792 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 2409764
[startup+51.1003 s]
/proc/loadavg: 2.28 2.06 2.02 3/184 4506
/proc/meminfo: memFree=24801532/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
[pid=4503] ppid=4502 vsize=2337948 CPUtime=24.99 cores=1,3,5,7
/proc/4503/stat : 4503 (npSolver-pbo) S 4502 4502 4273 0 -1 4202496 57646 0 0 0 2188 311 0 0 20 0 1 0 27098227 2394058752 429374 33554432000 4194304 6004724 140734217507824 140734217502288 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/4503/statm: 584487 429374 163 442 0 584041 0
[pid=4505] ppid=4503 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4505/stat : 4505 (cp2_pre.sh) S 4503 4502 4273 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 27100732 9367552 277 33554432000 4194304 5064252 140734529184032 140734529182736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4505/statm: 2287 277 234 213 0 72 0
[pid=4506] ppid=4505 vsize=2800976 CPUtime=25.08 cores=1,3,5,7
/proc/4506/stat : 4506 (coprocessor) R 4505 4502 4273 0 -1 4202496 26086 0 0 0 2379 129 0 0 20 0 1 0 27100733 2868199424 591554 33554432000 4194304 6586260 140733947615200 140733947610952 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 94 0 0
/proc/4506/statm: 700244 591554 158 584 0 699656 0
Current children cumulated CPU time (s) 50.07
Current children cumulated vsize (KiB) 5157220
[startup+102.3 s]
/proc/loadavg: 2.85 2.25 2.08 3/184 4506
/proc/meminfo: memFree=23735576/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
[pid=4503] ppid=4502 vsize=2337948 CPUtime=24.99 cores=1,3,5,7
/proc/4503/stat : 4503 (npSolver-pbo) S 4502 4502 4273 0 -1 4202496 57646 0 0 0 2188 311 0 0 20 0 1 0 27098227 2394058752 429374 33554432000 4194304 6004724 140734217507824 140734217502288 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/4503/statm: 584487 429374 163 442 0 584041 0
[pid=4505] ppid=4503 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4505/stat : 4505 (cp2_pre.sh) S 4503 4502 4273 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 27100732 9367552 277 33554432000 4194304 5064252 140734529184032 140734529182736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4505/statm: 2287 277 234 213 0 72 0
[pid=4506] ppid=4505 vsize=2800976 CPUtime=69.79 cores=1,3,5,7
/proc/4506/stat : 4506 (coprocessor) R 4505 4502 4273 0 -1 4202496 26086 0 0 0 6604 375 0 0 20 0 1 0 27100733 2868199424 591554 33554432000 4194304 6586260 140733947615200 140733947610952 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 742 0 0
/proc/4506/statm: 700244 591554 158 584 0 699656 0
Current children cumulated CPU time (s) 94.78
Current children cumulated vsize (KiB) 5157220
[startup+162.3 s]
/proc/loadavg: 2.38 2.24 2.09 3/183 4508
/proc/meminfo: memFree=24213748/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
[pid=4503] ppid=4502 vsize=2337948 CPUtime=96.74 cores=1,3,5,7
/proc/4503/stat : 4503 (npSolver-pbo) S 4502 4502 4273 0 -1 4202496 57663 26987 0 0 2188 311 6764 411 20 0 1 0 27098227 2394058752 429378 33554432000 4194304 6004724 140734217507824 140734217494104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 5 0 0
/proc/4503/statm: 584487 429378 167 442 0 584041 0
[pid=4508] ppid=4503 vsize=3917260 CPUtime=58 cores=1,3,5,7
/proc/4508/stat : 4508 (glucosInc) R 4503 4502 4273 0 -1 4202496 370140 0 0 0 5668 132 0 0 20 0 1 0 27108653 4011274240 803233 33554432000 4194304 5654031 140733706539312 140733706537160 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4508/statm: 979315 803233 140 357 0 978955 0
Current children cumulated CPU time (s) 154.74
Current children cumulated vsize (KiB) 6264356
[startup+222.3 s]
/proc/loadavg: 2.15 2.20 2.08 3/183 4509
/proc/meminfo: memFree=24334068/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
[pid=4503] ppid=4502 vsize=2337948 CPUtime=96.74 cores=1,3,5,7
/proc/4503/stat : 4503 (npSolver-pbo) S 4502 4502 4273 0 -1 4202496 57663 26987 0 0 2188 311 6764 411 20 0 1 0 27098227 2394058752 429378 33554432000 4194304 6004724 140734217507824 140734217494104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 5 0 0
/proc/4503/statm: 584487 429378 167 442 0 584041 0
[pid=4508] ppid=4503 vsize=3917260 CPUtime=117.99 cores=1,3,5,7
/proc/4508/stat : 4508 (glucosInc) R 4503 4502 4273 0 -1 4202496 370140 0 0 0 11667 132 0 0 20 0 1 0 27108653 4011274240 803233 33554432000 4194304 5654031 140733706539312 140733706537160 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4508/statm: 979315 803233 140 357 0 978955 0
Current children cumulated CPU time (s) 214.73
Current children cumulated vsize (KiB) 6264356
[startup+282.3 s]
/proc/loadavg: 2.05 2.16 2.08 3/183 4509
/proc/meminfo: memFree=24209888/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=17927748/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
[pid=4503] ppid=4502 vsize=2337948 CPUtime=96.74 cores=1,3,5,7
/proc/4503/stat : 4503 (npSolver-pbo) S 4502 4502 4273 0 -1 4202496 57663 26987 0 0 2188 311 6764 411 20 0 1 0 27098227 2394058752 429378 33554432000 4194304 6004724 140734217507824 140734217494104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 5 0 0
/proc/4503/statm: 584487 429378 167 442 0 584041 0
[pid=4508] ppid=4503 vsize=3980672 CPUtime=1197.83 cores=1,3,5,7
/proc/4508/stat : 4508 (glucosInc) R 4503 4502 4273 0 -1 4202496 401785 0 0 0 119641 142 0 0 20 0 1 0 27108653 4076208128 821118 33554432000 4194304 5654031 140733706539312 140733706527128 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4508/statm: 995168 821118 141 357 0 994808 0
Current children cumulated CPU time (s) 1294.57
Current children cumulated vsize (KiB) 6327768
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/183 4562
/proc/meminfo: memFree=17927716/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
[pid=4503] ppid=4502 vsize=2337948 CPUtime=96.74 cores=1,3,5,7
/proc/4503/stat : 4503 (npSolver-pbo) S 4502 4502 4273 0 -1 4202496 57663 26987 0 0 2188 311 6764 411 20 0 1 0 27098227 2394058752 429378 33554432000 4194304 6004724 140734217507824 140734217494104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 5 0 0
/proc/4503/statm: 584487 429378 167 442 0 584041 0
[pid=4508] ppid=4503 vsize=3981024 CPUtime=1257.82 cores=1,3,5,7
/proc/4508/stat : 4508 (glucosInc) R 4503 4502 4273 0 -1 4202496 408222 0 0 0 125638 144 0 0 20 0 1 0 27108653 4076568576 821195 33554432000 4194304 5654031 140733706539312 140733706537384 4233309 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4508/statm: 995256 821195 141 357 0 994896 0
Current children cumulated CPU time (s) 1354.56
Current children cumulated vsize (KiB) 6328120
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/183 4563
/proc/meminfo: memFree=17927700/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
[pid=4503] ppid=4502 vsize=2337948 CPUtime=96.74 cores=1,3,5,7
/proc/4503/stat : 4503 (npSolver-pbo) S 4502 4502 4273 0 -1 4202496 57663 26987 0 0 2188 311 6764 411 20 0 1 0 27098227 2394058752 429378 33554432000 4194304 6004724 140734217507824 140734217494104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 5 0 0
/proc/4503/statm: 584487 429378 167 442 0 584041 0
[pid=4508] ppid=4503 vsize=3981032 CPUtime=1317.81 cores=1,3,5,7
/proc/4508/stat : 4508 (glucosInc) R 4503 4502 4273 0 -1 4202496 411466 0 0 0 131636 145 0 0 20 0 1 0 27108653 4076576768 821211 33554432000 4194304 5654031 140733706539312 140733706537384 4208604 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4508/statm: 995258 821211 141 357 0 994898 0
Current children cumulated CPU time (s) 1414.55
Current children cumulated vsize (KiB) 6328128
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/183 4563
/proc/meminfo: memFree=17927792/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
[pid=4503] ppid=4502 vsize=2337948 CPUtime=96.74 cores=1,3,5,7
/proc/4503/stat : 4503 (npSolver-pbo) S 4502 4502 4273 0 -1 4202496 57663 26987 0 0 2188 311 6764 411 20 0 1 0 27098227 2394058752 429378 33554432000 4194304 6004724 140734217507824 140734217494104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 5 0 0
/proc/4503/statm: 584487 429378 167 442 0 584041 0
[pid=4508] ppid=4503 vsize=3981044 CPUtime=1377.8 cores=1,3,5,7
/proc/4508/stat : 4508 (glucosInc) R 4503 4502 4273 0 -1 4202496 417925 0 0 0 137632 148 0 0 20 0 1 0 27108653 4076589056 821214 33554432000 4194304 5654031 140733706539312 140733706537384 4209219 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4508/statm: 995261 821214 141 357 0 994901 0
Current children cumulated CPU time (s) 1474.54
Current children cumulated vsize (KiB) 6328140
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/183 4563
/proc/meminfo: memFree=17927448/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
[pid=4503] ppid=4502 vsize=2337948 CPUtime=96.74 cores=1,3,5,7
/proc/4503/stat : 4503 (npSolver-pbo) S 4502 4502 4273 0 -1 4202496 57663 26987 0 0 2188 311 6764 411 20 0 1 0 27098227 2394058752 429378 33554432000 4194304 6004724 140734217507824 140734217494104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 5 0 0
/proc/4503/statm: 584487 429378 167 442 0 584041 0
[pid=4508] ppid=4503 vsize=3981268 CPUtime=1437.79 cores=1,3,5,7
/proc/4508/stat : 4508 (glucosInc) R 4503 4502 4273 0 -1 4202496 421156 0 0 0 143630 149 0 0 20 0 1 0 27108653 4076818432 821252 33554432000 4194304 5654031 140733706539312 140733706527128 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4508/statm: 995317 821252 141 357 0 994957 0
Current children cumulated CPU time (s) 1534.53
Current children cumulated vsize (KiB) 6328364
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/182 4563
/proc/meminfo: memFree=17925980/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
[pid=4503] ppid=4502 vsize=2337948 CPUtime=96.74 cores=1,3,5,7
/proc/4503/stat : 4503 (npSolver-pbo) S 4502 4502 4273 0 -1 4202496 57663 26987 0 0 2188 311 6764 411 20 0 1 0 27098227 2394058752 429378 33554432000 4194304 6004724 140734217507824 140734217494104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 5 0 0
/proc/4503/statm: 584487 429378 167 442 0 584041 0
[pid=4508] ppid=4503 vsize=3981532 CPUtime=1497.77 cores=1,3,5,7
/proc/4508/stat : 4508 (glucosInc) R 4503 4502 4273 0 -1 4202496 424397 0 0 0 149627 150 0 0 20 0 1 0 27108653 4077088768 821881 33554432000 4194304 5654031 140733706539312 140733706527128 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4508/statm: 995383 821881 141 357 0 995023 0
Current children cumulated CPU time (s) 1594.51
Current children cumulated vsize (KiB) 6328628
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 4564
/proc/meminfo: memFree=17921628/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
[pid=4503] ppid=4502 vsize=2337948 CPUtime=96.74 cores=1,3,5,7
/proc/4503/stat : 4503 (npSolver-pbo) S 4502 4502 4273 0 -1 4202496 57663 26987 0 0 2188 311 6764 411 20 0 1 0 27098227 2394058752 429378 33554432000 4194304 6004724 140734217507824 140734217494104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 5 0 0
/proc/4503/statm: 584487 429378 167 442 0 584041 0
[pid=4508] ppid=4503 vsize=3981676 CPUtime=1557.75 cores=1,3,5,7
/proc/4508/stat : 4508 (glucosInc) R 4503 4502 4273 0 -1 4202496 430918 0 0 0 155623 152 0 0 20 0 1 0 27108653 4077236224 822857 33554432000 4194304 5654031 140733706539312 140733706537096 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4508/statm: 995419 822857 141 357 0 995059 0
Current children cumulated CPU time (s) 1654.49
Current children cumulated vsize (KiB) 6328772
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/184 4568
/proc/meminfo: memFree=17916656/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
[pid=4503] ppid=4502 vsize=2337948 CPUtime=96.74 cores=1,3,5,7
/proc/4503/stat : 4503 (npSolver-pbo) S 4502 4502 4273 0 -1 4202496 57663 26987 0 0 2188 311 6764 411 20 0 1 0 27098227 2394058752 429378 33554432000 4194304 6004724 140734217507824 140734217494104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 5 0 0
/proc/4503/statm: 584487 429378 167 442 0 584041 0
[pid=4508] ppid=4503 vsize=3982400 CPUtime=1617.75 cores=1,3,5,7
/proc/4508/stat : 4508 (glucosInc) R 4503 4502 4273 0 -1 4202496 437493 0 0 0 161620 155 0 0 20 0 1 0 27108653 4077977600 823941 33554432000 4194304 5654031 140733706539312 140733706527128 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4508/statm: 995600 823941 141 357 0 995240 0
Current children cumulated CPU time (s) 1714.49
Current children cumulated vsize (KiB) 6329496
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4568
/proc/meminfo: memFree=17912088/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
[pid=4503] ppid=4502 vsize=2337948 CPUtime=96.74 cores=1,3,5,7
/proc/4503/stat : 4503 (npSolver-pbo) S 4502 4502 4273 0 -1 4202496 57663 26987 0 0 2188 311 6764 411 20 0 1 0 27098227 2394058752 429378 33554432000 4194304 6004724 140734217507824 140734217494104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 5 0 0
/proc/4503/statm: 584487 429378 167 442 0 584041 0
[pid=4508] ppid=4503 vsize=3982860 CPUtime=1677.74 cores=1,3,5,7
/proc/4508/stat : 4508 (glucosInc) R 4503 4502 4273 0 -1 4202496 440828 0 0 0 167618 156 0 0 20 0 1 0 27108653 4078448640 824984 33554432000 4194304 5654031 140733706539312 140733706537384 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4508/statm: 995715 824984 141 357 0 995355 0
Current children cumulated CPU time (s) 1774.48
Current children cumulated vsize (KiB) 6329956
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4568
/proc/meminfo: memFree=17909436/32873844 swapFree=7108/7108
[pid=4502] ppid=4500 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4502/stat : 4502 (npSolver-pbo-It) S 4500 4502 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27098226 9367552 275 33554432000 4194304 5064252 140735607547008 140735607545920 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4502/statm: 2287 275 233 213 0 72 0
[pid=4503] ppid=4502 vsize=2337948 CPUtime=96.74 cores=1,3,5,7
/proc/4503/stat : 4503 (npSolver-pbo) S 4502 4502 4273 0 -1 4202496 57663 26987 0 0 2188 311 6764 411 20 0 1 0 27098227 2394058752 429378 33554432000 4194304 6004724 140734217507824 140734217494104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 5 0 0
/proc/4503/statm: 584487 429378 167 442 0 584041 0
[pid=4508] ppid=4503 vsize=3983160 CPUtime=1703.34 cores=1,3,5,7
/proc/4508/stat : 4508 (glucosInc) R 4503 4502 4273 0 -1 4202496 444069 0 0 0 170176 158 0 0 20 0 1 0 27108653 4078755840 825502 33554432000 4194304 5654031 140733706539312 140733706537096 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4508/statm: 995790 825502 141 357 0 995430 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 6330256
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 4502 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=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1807.92
CPU time (s): 1800.08
CPU user time (s): 1791.28
CPU system time (s): 8.8
CPU usage (%): 99.5665
Max. virtual memory (cumulated for all children) (KiB): 6371780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
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= 2
runsolver used 4.08238 second user time and 11.8632 second system time
The end