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-3752465-1339170352/watcher-3752465-1339170352 -o /tmp/evaluation-result-3752465-1339170352/solver-3752465-1339170352 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752465-1339170352.opb 1361544886 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.06 2.05 2.00 3/179 31735
/proc/meminfo: memFree=30719404/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
[startup+0.095885 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 31735
/proc/meminfo: memFree=30719404/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100405 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 31735
/proc/meminfo: memFree=30719404/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300351 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 31735
/proc/meminfo: memFree=30719404/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700351 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 31735
/proc/meminfo: memFree=30719404/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50037 s]
/proc/loadavg: 2.06 2.05 2.00 3/181 31737
/proc/meminfo: memFree=30627900/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
[pid=31736] ppid=31735 vsize=147544 CPUtime=1.49 cores=1,3,5,7
/proc/31736/stat : 31736 (npSolver-pbo) R 31735 31735 31464 0 -1 4202496 23289 0 0 0 145 4 0 0 20 0 1 0 383163846 151085056 32943 33554432000 4194304 6004724 140735473728960 140735473724984 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31736/statm: 36886 32943 130 442 0 36440 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 156692
[startup+3.10039 s]
/proc/loadavg: 2.06 2.05 2.00 3/181 31737
/proc/meminfo: memFree=30489136/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
[pid=31736] ppid=31735 vsize=362872 CPUtime=3.09 cores=1,3,5,7
/proc/31736/stat : 31736 (npSolver-pbo) R 31735 31735 31464 0 -1 4202496 50397 0 0 0 296 13 0 0 20 0 1 0 383163846 371580928 74274 33554432000 4194304 6004724 140735473728960 140735473725768 4536263 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31736/statm: 90718 74274 154 442 0 90272 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 372020
[startup+6.30041 s]
/proc/loadavg: 2.05 2.05 2.00 3/181 31737
/proc/meminfo: memFree=30252952/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
[pid=31736] ppid=31735 vsize=756088 CPUtime=6.28 cores=1,3,5,7
/proc/31736/stat : 31736 (npSolver-pbo) R 31735 31735 31464 0 -1 4202496 51721 0 0 0 604 24 0 0 20 0 1 0 383163846 774234112 130594 33554432000 4194304 6004724 140735473728960 140735473723560 4534742 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31736/statm: 189022 130594 154 442 0 188576 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 765236
[startup+12.7004 s]
/proc/loadavg: 2.05 2.05 2.00 3/181 31737
/proc/meminfo: memFree=29777592/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
[pid=31736] ppid=31735 vsize=1280376 CPUtime=12.68 cores=1,3,5,7
/proc/31736/stat : 31736 (npSolver-pbo) R 31735 31735 31464 0 -1 4202496 52718 0 0 0 1226 42 0 0 20 0 1 0 383163846 1311105024 248354 33554432000 4194304 6004724 140735473728960 140735473723560 5055532 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31736/statm: 320094 248354 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.10 2.06 2.00 3/183 31739
/proc/meminfo: memFree=27535572/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
[pid=31736] ppid=31735 vsize=2337944 CPUtime=24.72 cores=1,3,5,7
/proc/31736/stat : 31736 (npSolver-pbo) S 31735 31735 31464 0 -1 4202496 57519 0 0 0 2166 306 0 0 20 0 1 0 383163846 2394054656 416553 33554432000 4194304 6004724 140735473728960 140735473723424 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/31736/statm: 584486 416553 163 442 0 584040 0
[pid=31738] ppid=31736 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31738/stat : 31738 (cp2_pre.sh) S 31736 31735 31464 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383166323 9367552 277 33554432000 4194304 5064252 140736965808544 140736965807248 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31738/statm: 2287 277 234 213 0 72 0
[pid=31739] ppid=31738 vsize=88196 CPUtime=0.7 cores=1,3,5,7
/proc/31739/stat : 31739 (coprocessor) R 31738 31735 31464 0 -1 4202496 10342 0 0 0 65 5 0 0 20 0 1 0 383166324 90312704 21046 33554432000 4194304 6586260 140734396907616 140734396904504 4373476 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/31739/statm: 22049 21046 138 584 0 21461 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 2444436
[startup+51.1004 s]
/proc/loadavg: 2.56 2.17 2.04 3/182 31779
/proc/meminfo: memFree=24826288/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
[pid=31736] ppid=31735 vsize=2337944 CPUtime=24.72 cores=1,3,5,7
/proc/31736/stat : 31736 (npSolver-pbo) S 31735 31735 31464 0 -1 4202496 57519 0 0 0 2166 306 0 0 20 0 1 0 383163846 2394054656 416553 33554432000 4194304 6004724 140735473728960 140735473723424 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/31736/statm: 584486 416553 163 442 0 584040 0
[pid=31738] ppid=31736 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31738/stat : 31738 (cp2_pre.sh) S 31736 31735 31464 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383166323 9367552 277 33554432000 4194304 5064252 140736965808544 140736965807248 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31738/statm: 2287 277 234 213 0 72 0
[pid=31739] ppid=31738 vsize=2774240 CPUtime=25.22 cores=1,3,5,7
/proc/31739/stat : 31739 (coprocessor) R 31738 31735 31464 0 -1 4202496 25916 0 0 0 2386 136 0 0 20 0 1 0 383166324 2840821760 585763 33554432000 4194304 6586260 140734396907616 140734396903368 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 108 0 0
/proc/31739/statm: 693560 585763 158 584 0 692972 0
Current children cumulated CPU time (s) 49.94
Current children cumulated vsize (KiB) 5130480
[startup+102.3 s]
/proc/loadavg: 3.18 2.37 2.12 3/183 31783
/proc/meminfo: memFree=21324984/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
[pid=31736] ppid=31735 vsize=2337944 CPUtime=93.87 cores=1,3,5,7
/proc/31736/stat : 31736 (npSolver-pbo) S 31735 31735 31464 0 -1 4202496 57537 26820 0 0 2166 307 6490 424 20 0 1 0 383163846 2394054656 416557 33554432000 4194304 6004724 140735473728960 140735473715240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/31736/statm: 584486 416557 167 442 0 584040 0
[pid=31783] ppid=31736 vsize=1111188 CPUtime=3.86 cores=1,3,5,7
/proc/31783/stat : 31783 (glucosInc) R 31736 31735 31464 0 -1 4202496 122790 0 0 0 349 37 0 0 20 0 1 0 383173688 1137856512 229494 33554432000 4194304 5654031 140736544299712 140736543249304 4877259 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31783/statm: 277797 229494 108 357 0 277437 0
Current children cumulated CPU time (s) 97.73
Current children cumulated vsize (KiB) 3458280
[startup+162.307 s]
/proc/loadavg: 2.73 2.42 2.15 3/181 31785
/proc/meminfo: memFree=18841848/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
[pid=31736] ppid=31735 vsize=2337944 CPUtime=93.87 cores=1,3,5,7
/proc/31736/stat : 31736 (npSolver-pbo) S 31735 31735 31464 0 -1 4202496 57537 26820 0 0 2166 307 6490 424 20 0 1 0 383163846 2394054656 416557 33554432000 4194304 6004724 140735473728960 140735473715240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/31736/statm: 584486 416557 167 442 0 584040 0
[pid=31783] ppid=31736 vsize=3873292 CPUtime=63.86 cores=1,3,5,7
/proc/31783/stat : 31783 (glucosInc) R 31736 31735 31464 0 -1 4202496 367493 0 0 0 6258 128 0 0 20 0 1 0 383173688 3966251008 778434 33554432000 4194304 5654031 140736544299712 140736544297496 4214618 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31783/statm: 968323 778434 140 357 0 967963 0
Current children cumulated CPU time (s) 157.73
Current children cumulated vsize (KiB) 6220384
[startup+222.3 s]
/proc/loadavg: 2.27 2.34 2.13 3/180 31785
/proc/meminfo: memFree=18819808/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
[pid=31736] ppid=31735 vsize=2337944 CPUtime=93.87 cores=1,3,5,7
/proc/31736/stat : 31736 (npSolver-pbo) S 31735 31735 31464 0 -1 4202496 57537 26820 0 0 2166 307 6490 424 20 0 1 0 383163846 2394054656 416557 33554432000 4194304 6004724 140735473728960 140735473715240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/31736/statm: 584486 416557 167 442 0 584040 0
[pid=31783] ppid=31736 vsize=3875552 CPUtime=123.85 cores=1,3,5,7
/proc/31783/stat : 31783 (glucosInc) R 31736 31735 31464 0 -1 4202496 371147 0 0 0 12255 130 0 0 20 0 1 0 383173688 3968565248 779492 33554432000 4194304 5654031 140736544299712 140736544297496 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31783/statm: 968888 779492 141 357 0 968528 0
Current children cumulated CPU time (s) 217.72
Current children cumulated vsize (KiB) 6222644
[startup+282.3 s]
/proc/loadavg: 2.10 2.28 2.12 3/182 31789
/proc/meminfo: memFree=18819036/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
[pid=31736] ppid=31735 vsize=2337944 CPUtime=93.87 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=18772596/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
[pid=31736] ppid=31735 vsize=2337944 CPUtime=93.87 cores=1,3,5,7
/proc/31736/stat : 31736 (npSolver-pbo) S 31735 31735 31464 0 -1 4202496 57537 26820 0 0 2166 307 6490 424 20 0 1 0 383163846 2394054656 416557 33554432000 4194304 6004724 140735473728960 140735473715240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/31736/statm: 584486 416557 167 442 0 584040 0
[pid=31783] ppid=31736 vsize=3893564 CPUtime=1263.68 cores=1,3,5,7
/proc/31783/stat : 31783 (glucosInc) R 31736 31735 31464 0 -1 4202496 422800 0 0 0 126220 148 0 0 20 0 1 0 383173688 3987009536 787065 33554432000 4194304 5654031 140736544299712 140736544287528 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31783/statm: 973391 787065 141 357 0 973031 0
Current children cumulated CPU time (s) 1357.55
Current children cumulated vsize (KiB) 6240656
[startup+1422.3 s]
/proc/loadavg: 2.14 2.03 2.01 3/181 31818
/proc/meminfo: memFree=18769556/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
[pid=31736] ppid=31735 vsize=2337944 CPUtime=93.87 cores=1,3,5,7
/proc/31736/stat : 31736 (npSolver-pbo) S 31735 31735 31464 0 -1 4202496 57537 26820 0 0 2166 307 6490 424 20 0 1 0 383163846 2394054656 416557 33554432000 4194304 6004724 140735473728960 140735473715240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/31736/statm: 584486 416557 167 442 0 584040 0
[pid=31783] ppid=31736 vsize=3894024 CPUtime=1323.67 cores=1,3,5,7
/proc/31783/stat : 31783 (glucosInc) R 31736 31735 31464 0 -1 4202496 426026 0 0 0 132218 149 0 0 20 0 1 0 383173688 3987480576 787699 33554432000 4194304 5654031 140736544299712 140736544287528 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31783/statm: 973506 787699 141 357 0 973146 0
Current children cumulated CPU time (s) 1417.54
Current children cumulated vsize (KiB) 6241116
[startup+1482.31 s]
/proc/loadavg: 2.05 2.02 2.01 3/182 31822
/proc/meminfo: memFree=18769548/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
[pid=31736] ppid=31735 vsize=2337944 CPUtime=93.87 cores=1,3,5,7
/proc/31736/stat : 31736 (npSolver-pbo) S 31735 31735 31464 0 -1 4202496 57537 26820 0 0 2166 307 6490 424 20 0 1 0 383163846 2394054656 416557 33554432000 4194304 6004724 140735473728960 140735473715240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/31736/statm: 584486 416557 167 442 0 584040 0
[pid=31783] ppid=31736 vsize=3894024 CPUtime=1383.66 cores=1,3,5,7
/proc/31783/stat : 31783 (glucosInc) R 31736 31735 31464 0 -1 4202496 426026 0 0 0 138217 149 0 0 20 0 1 0 383173688 3987480576 787699 33554432000 4194304 5654031 140736544299712 140736544287528 4232925 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31783/statm: 973506 787699 141 357 0 973146 0
Current children cumulated CPU time (s) 1477.53
Current children cumulated vsize (KiB) 6241116
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 31822
/proc/meminfo: memFree=18766192/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
[pid=31736] ppid=31735 vsize=2337944 CPUtime=93.87 cores=1,3,5,7
/proc/31736/stat : 31736 (npSolver-pbo) S 31735 31735 31464 0 -1 4202496 57537 26820 0 0 2166 307 6490 424 20 0 1 0 383163846 2394054656 416557 33554432000 4194304 6004724 140735473728960 140735473715240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/31736/statm: 584486 416557 167 442 0 584040 0
[pid=31783] ppid=31736 vsize=3894024 CPUtime=1443.65 cores=1,3,5,7
/proc/31783/stat : 31783 (glucosInc) R 31736 31735 31464 0 -1 4202496 426026 0 0 0 144216 149 0 0 20 0 1 0 383173688 3987480576 787699 33554432000 4194304 5654031 140736544299712 140736544287528 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31783/statm: 973506 787699 141 357 0 973146 0
Current children cumulated CPU time (s) 1537.52
Current children cumulated vsize (KiB) 6241116
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 31822
/proc/meminfo: memFree=18759740/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
[pid=31736] ppid=31735 vsize=2337944 CPUtime=93.87 cores=1,3,5,7
/proc/31736/stat : 31736 (npSolver-pbo) S 31735 31735 31464 0 -1 4202496 57537 26820 0 0 2166 307 6490 424 20 0 1 0 383163846 2394054656 416557 33554432000 4194304 6004724 140735473728960 140735473715240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/31736/statm: 584486 416557 167 442 0 584040 0
[pid=31783] ppid=31736 vsize=3894184 CPUtime=1503.64 cores=1,3,5,7
/proc/31783/stat : 31783 (glucosInc) R 31736 31735 31464 0 -1 4202496 426034 0 0 0 150215 149 0 0 20 0 1 0 383173688 3987644416 787707 33554432000 4194304 5654031 140736544299712 140736544297400 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31783/statm: 973546 787707 141 357 0 973186 0
Current children cumulated CPU time (s) 1597.51
Current children cumulated vsize (KiB) 6241276
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 31822
/proc/meminfo: memFree=18748572/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
[pid=31736] ppid=31735 vsize=2337944 CPUtime=93.87 cores=1,3,5,7
/proc/31736/stat : 31736 (npSolver-pbo) S 31735 31735 31464 0 -1 4202496 57537 26820 0 0 2166 307 6490 424 20 0 1 0 383163846 2394054656 416557 33554432000 4194304 6004724 140735473728960 140735473715240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/31736/statm: 584486 416557 167 442 0 584040 0
[pid=31783] ppid=31736 vsize=3894424 CPUtime=1563.63 cores=1,3,5,7
/proc/31783/stat : 31783 (glucosInc) R 31736 31735 31464 0 -1 4202496 426090 0 0 0 156214 149 0 0 20 0 1 0 383173688 3987890176 788274 33554432000 4194304 5654031 140736544299712 140736544287528 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31783/statm: 973606 788274 141 357 0 973246 0
Current children cumulated CPU time (s) 1657.5
Current children cumulated vsize (KiB) 6241516
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31822
/proc/meminfo: memFree=18746088/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
[pid=31736] ppid=31735 vsize=2337944 CPUtime=93.87 cores=1,3,5,7
/proc/31736/stat : 31736 (npSolver-pbo) S 31735 31735 31464 0 -1 4202496 57537 26820 0 0 2166 307 6490 424 20 0 1 0 383163846 2394054656 416557 33554432000 4194304 6004724 140735473728960 140735473715240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/31736/statm: 584486 416557 167 442 0 584040 0
[pid=31783] ppid=31736 vsize=3895020 CPUtime=1623.61 cores=1,3,5,7
/proc/31783/stat : 31783 (glucosInc) R 31736 31735 31464 0 -1 4202496 429362 0 0 0 162211 150 0 0 20 0 1 0 383173688 3988500480 788954 33554432000 4194304 5654031 140736544299712 140736544287528 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31783/statm: 973755 788954 141 357 0 973395 0
Current children cumulated CPU time (s) 1717.48
Current children cumulated vsize (KiB) 6242112
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31823
/proc/meminfo: memFree=18743560/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
[pid=31736] ppid=31735 vsize=2337944 CPUtime=93.87 cores=1,3,5,7
/proc/31736/stat : 31736 (npSolver-pbo) S 31735 31735 31464 0 -1 4202496 57537 26820 0 0 2166 307 6490 424 20 0 1 0 383163846 2394054656 416557 33554432000 4194304 6004724 140735473728960 140735473715240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/31736/statm: 584486 416557 167 442 0 584040 0
[pid=31783] ppid=31736 vsize=3895020 CPUtime=1683.61 cores=1,3,5,7
/proc/31783/stat : 31783 (glucosInc) R 31736 31735 31464 0 -1 4202496 433491 0 0 0 168209 152 0 0 20 0 1 0 383173688 3988500480 788958 33554432000 4194304 5654031 140736544299712 140736544287528 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31783/statm: 973755 788958 141 357 0 973395 0
Current children cumulated CPU time (s) 1777.48
Current children cumulated vsize (KiB) 6242112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31823
/proc/meminfo: memFree=18740320/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
[pid=31736] ppid=31735 vsize=2337944 CPUtime=93.87 cores=1,3,5,7
/proc/31736/stat : 31736 (npSolver-pbo) S 31735 31735 31464 0 -1 4202496 57537 26820 0 0 2166 307 6490 424 20 0 1 0 383163846 2394054656 416557 33554432000 4194304 6004724 140735473728960 140735473715240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/31736/statm: 584486 416557 167 442 0 584040 0
[pid=31783] ppid=31736 vsize=3895020 CPUtime=1706.21 cores=1,3,5,7
/proc/31783/stat : 31783 (glucosInc) R 31736 31735 31464 0 -1 4202496 433493 0 0 0 170469 152 0 0 20 0 1 0 383173688 3988500480 788960 33554432000 4194304 5654031 140736544299712 140736544287528 4214432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31783/statm: 973755 788960 141 357 0 973395 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 6242112
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1804.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31823
/proc/meminfo: memFree=18740320/32873844 swapFree=8656/8656
[pid=31735] ppid=31733 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31735/stat : 31735 (npSolver-pbo-It) S 31733 31735 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383163846 9367552 275 33554432000 4194304 5064252 140735357257744 140735357256656 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31735/statm: 2287 275 233 213 0 72 0
[pid=31736] ppid=31735 vsize=2337944 CPUtime=93.87 cores=1,3,5,7
/proc/31736/stat : 31736 (npSolver-pbo) S 31735 31735 31464 0 -1 4202496 57537 26820 0 0 2166 307 6490 424 20 0 1 0 383163846 2394054656 416557 33554432000 4194304 6004724 140735473728960 140735473715240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/31736/statm: 584486 416557 167 442 0 584040 0
[pid=31783] ppid=31736 vsize=3895020 CPUtime=1706.21 cores=1,3,5,7
/proc/31783/stat : 31783 (glucosInc) R 31736 31735 31464 0 -1 4202496 433493 0 0 0 170469 152 0 0 20 0 1 0 383173688 3988500480 788960 33554432000 4194304 5654031 140736544299712 140736544287528 4214432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31783/statm: 973755 788960 141 357 0 973395 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 6242112
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31735 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): 1804.92
CPU time (s): 1800.08
CPU user time (s): 1791.25
CPU system time (s): 8.83
CPU usage (%): 99.7317
Max. virtual memory (cumulated for all children) (KiB): 6283636
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= 358
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 5.59215 second user time and 9.96148 second system time
The end