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-3703374-1338079728/watcher-3703374-1338079728 -o /tmp/evaluation-result-3703374-1338079728/solver-3703374-1338079728 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703374-1338079728.opb 1443554504 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.01 2.01 2.00 3/178 14016
/proc/meminfo: memFree=27172348/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
[startup+0.01573 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 14016
/proc/meminfo: memFree=27172348/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100268 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 14016
/proc/meminfo: memFree=27172348/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300291 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 14016
/proc/meminfo: memFree=27172348/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700305 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 14016
/proc/meminfo: memFree=27172348/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 14022
/proc/meminfo: memFree=27148108/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
[pid=14017] ppid=14016 vsize=15520 CPUtime=1.38 cores=1,3,5,7
/proc/14017/stat : 14017 (npSolver-pbo) R 14016 14016 1653 0 -1 4202496 7129 24421 0 0 31 21 70 16 20 0 1 0 274101364 15892480 3267 33554432000 4194304 5992684 140734342418832 140734342404664 5179600 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14017/statm: 3880 3267 195 440 0 3436 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 24668
[startup+3.10032 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 14029
/proc/meminfo: memFree=27130136/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
[pid=14017] ppid=14016 vsize=15520 CPUtime=1.54 cores=1,3,5,7
/proc/14017/stat : 14017 (npSolver-pbo) S 14016 14016 1653 0 -1 4202496 7865 30836 0 0 36 21 79 18 20 0 1 0 274101364 15892480 3267 33554432000 4194304 5992684 140734342418832 140734342404664 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14017/statm: 3880 3267 195 440 0 3436 0
[pid=14029] ppid=14017 vsize=33560 CPUtime=1.54 cores=1,3,5,7
/proc/14029/stat : 14029 (glucosInc) R 14017 14016 1653 0 -1 4202496 7410 0 0 0 152 2 0 0 20 0 1 0 274101520 34365440 6631 33554432000 4194304 5654031 140736010961760 140736010949576 4234964 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14029/statm: 8390 6631 141 357 0 8030 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 58228
[startup+6.3004 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 14029
/proc/meminfo: memFree=27081420/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
[pid=14017] ppid=14016 vsize=15520 CPUtime=1.54 cores=1,3,5,7
/proc/14017/stat : 14017 (npSolver-pbo) S 14016 14016 1653 0 -1 4202496 7865 30836 0 0 36 21 79 18 20 0 1 0 274101364 15892480 3267 33554432000 4194304 5992684 140734342418832 140734342404664 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14017/statm: 3880 3267 195 440 0 3436 0
[pid=14029] ppid=14017 vsize=49660 CPUtime=4.73 cores=1,3,5,7
/proc/14029/stat : 14029 (glucosInc) R 14017 14016 1653 0 -1 4202496 9186 0 0 0 471 2 0 0 20 0 1 0 274101520 50851840 10018 33554432000 4194304 5654031 140736010961760 140736010949576 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14029/statm: 12415 10018 142 357 0 12055 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 74328
[startup+12.7004 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 14031
/proc/meminfo: memFree=27109112/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
[pid=14017] ppid=14016 vsize=15520 CPUtime=6.74 cores=1,3,5,7
/proc/14017/stat : 14017 (npSolver-pbo) S 14016 14016 1653 0 -1 4202496 9538 41212 0 0 42 22 589 21 20 0 1 0 274101364 15892480 3267 33554432000 4194304 5992684 140734342418832 140734342404664 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14017/statm: 3880 3267 195 440 0 3436 0
[pid=14031] ppid=14017 vsize=54072 CPUtime=5.92 cores=1,3,5,7
/proc/14031/stat : 14031 (glucosInc) R 14017 14016 1653 0 -1 4202496 8786 0 0 0 590 2 0 0 20 0 1 0 274102041 55369728 11419 33554432000 4194304 5654031 140736966446112 140736966433928 4215061 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14031/statm: 13518 11419 142 357 0 13158 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 78740
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14031
/proc/meminfo: memFree=27115752/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
[pid=14017] ppid=14016 vsize=15520 CPUtime=6.74 cores=1,3,5,7
/proc/14017/stat : 14017 (npSolver-pbo) S 14016 14016 1653 0 -1 4202496 9538 41212 0 0 42 22 589 21 20 0 1 0 274101364 15892480 3267 33554432000 4194304 5992684 140734342418832 140734342404664 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14017/statm: 3880 3267 195 440 0 3436 0
[pid=14031] ppid=14017 vsize=49608 CPUtime=18.72 cores=1,3,5,7
/proc/14031/stat : 14031 (glucosInc) R 14017 14016 1653 0 -1 4202496 10084 0 0 0 1869 3 0 0 20 0 1 0 274102041 50798592 10331 33554432000 4194304 5654031 140736966446112 140736966433928 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14031/statm: 12402 10331 142 357 0 12042 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 74276
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14031
/proc/meminfo: memFree=27078884/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
[pid=14017] ppid=14016 vsize=15520 CPUtime=6.74 cores=1,3,5,7
/proc/14017/stat : 14017 (npSolver-pbo) S 14016 14016 1653 0 -1 4202496 9538 41212 0 0 42 22 589 21 20 0 1 0 274101364 15892480 3267 33554432000 4194304 5992684 140734342418832 140734342404664 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14017/statm: 3880 3267 195 440 0 3436 0
[pid=14031] ppid=14017 vsize=80068 CPUtime=44.32 cores=1,3,5,7
/proc/14031/stat : 14031 (glucosInc) R 14017 14016 1653 0 -1 4202496 11387 0 0 0 4428 4 0 0 20 0 1 0 274102041 81989632 18928 33554432000 4194304 5654031 140736966446112 140736966433928 4215124 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14031/statm: 20017 18928 142 357 0 19657 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 104736
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14038
/proc/meminfo: memFree=27093384/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
[pid=14017] ppid=14016 vsize=15520 CPUtime=92.37 cores=1,3,5,7
/proc/14017/stat : 14017 (npSolver-pbo) S 14016 14016 1653 0 -1 4202496 12884 66059 0 0 56 23 9125 33 20 0 1 0 274101364 15892480 3267 33554432000 4194304 5992684 140734342418832 140734342404664 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14017/statm: 3880 3267 195 440 0 3436 0
[pid=14038] ppid=14017 vsize=54084 CPUtime=9.89 cores=1,3,5,7
/proc/14038/stat : 14038 (glucosInc) R 14017 14016 1653 0 -1 4202496 10384 0 0 0 986 3 0 0 20 0 1 0 274110604 55382016 12414 33554432000 4194304 5654031 140736357635776 140736357633576 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14038/statm: 13521 12414 142 357 0 13161 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 78752
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14040
/proc/meminfo: memFree=27051820/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
[pid=14017] ppid=14016 vsize=15520 CPUtime=118.82 cores=1,3,5,7
/proc/14017/stat : 14017 (npSolver-pbo) S 14016 14016 1653 0 -1 4202496 14557 78519 0 0 62 23 11758 39 20 0 1 0 274101364 15892480 3267 33554432000 4194304 5992684 140734342418832 140734342404664 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14017/statm: 3880 3267 195 440 0 3436 0
[pid=14040] ppid=14017 vsize=82840 CPUtime=43.42 cores=1,3,5,7
/proc/14040/stat : 14040 (glucosInc) R 14017 14016 1653 0 -1 4202496 11255 0 0 0 4339 3 0 0 20 0 1 0 274113251 84828160 19613 33554432000 4194304 5654031 140736760528160 140736760515976 4233226 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14040/statm: 20710 19613 142 357 0 20350 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 107508
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14041
/proc/meminfo: memFree=26975836/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
[pid=14017] ppid=14016 vsize=15520 CPUtime=118.82 cores=1,3,5,7
/proc/14017/stat : 14017 (npSolver-pbo) S 14016 14016 1653 0 -1 4202496 14557 78519 0 0 62 23 11758 39 20 0 1 0 274101364 15892480 3267 33554432000 4194304 5992684 140734342418832 140734342404664 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14017/statm: 3880 3267 195 440 0 3436 0
[pid=14040] ppid=14017 vsize=162980 CPUtime=103.41 cores=1,3,5,7
/proc/14040/stat : 14040 (glucosInc) R 14017 14016 1653 0 -1 4202496 14465 0 0 0 10332 9 0 0 20 0 1 0 274113251 166891520 38526 33554432000 4194304 5654031 140736760528160 140736760515976 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14040/statm: 40745 38526 142 357 0 40385 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 187648
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14041
/proc/meminfo: memFree=26957072/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=26780836/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
[pid=14017] ppid=14016 vsize=15520 CPUtime=118.82 cores=1,3,5,7
/proc/14017/stat : 14017 (npSolver-pbo) S 14016 14016 1653 0 -1 4202496 14557 78519 0 0 62 23 11758 39 20 0 1 0 274101364 15892480 3267 33554432000 4194304 5992684 140734342418832 140734342404664 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14017/statm: 3880 3267 195 440 0 3436 0
[pid=14040] ppid=14017 vsize=237804 CPUtime=1123.22 cores=1,3,5,7
/proc/14040/stat : 14040 (glucosInc) R 14017 14016 1653 0 -1 4202496 40076 0 0 0 112252 70 0 0 20 0 1 0 274113251 243511296 54227 33554432000 4194304 5654031 140736760528160 140736760515976 4215353 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14040/statm: 59451 54227 142 357 0 59091 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 262472
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 14074
/proc/meminfo: memFree=26866864/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
[pid=14017] ppid=14016 vsize=15520 CPUtime=118.82 cores=1,3,5,7
/proc/14017/stat : 14017 (npSolver-pbo) S 14016 14016 1653 0 -1 4202496 14557 78519 0 0 62 23 11758 39 20 0 1 0 274101364 15892480 3267 33554432000 4194304 5992684 140734342418832 140734342404664 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14017/statm: 3880 3267 195 440 0 3436 0
[pid=14040] ppid=14017 vsize=156896 CPUtime=1183.2 cores=1,3,5,7
/proc/14040/stat : 14040 (glucosInc) R 14017 14016 1653 0 -1 4202496 41848 0 0 0 118245 75 0 0 20 0 1 0 274113251 160661504 35427 33554432000 4194304 5654031 140736760528160 140736760515976 4216491 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14040/statm: 39224 35427 142 357 0 38864 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 181564
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 14125
/proc/meminfo: memFree=27012756/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
[pid=14017] ppid=14016 vsize=15520 CPUtime=118.82 cores=1,3,5,7
/proc/14017/stat : 14017 (npSolver-pbo) S 14016 14016 1653 0 -1 4202496 14557 78519 0 0 62 23 11758 39 20 0 1 0 274101364 15892480 3267 33554432000 4194304 5992684 140734342418832 140734342404664 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14017/statm: 3880 3267 195 440 0 3436 0
[pid=14040] ppid=14017 vsize=156896 CPUtime=1243.2 cores=1,3,5,7
/proc/14040/stat : 14040 (glucosInc) R 14017 14016 1653 0 -1 4202496 43714 0 0 0 124240 80 0 0 20 0 1 0 274113251 160661504 35427 33554432000 4194304 5654031 140736760528160 140736760515976 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14040/statm: 39224 35427 142 357 0 38864 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 181564
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14127
/proc/meminfo: memFree=27001164/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
[pid=14017] ppid=14016 vsize=15520 CPUtime=118.82 cores=1,3,5,7
/proc/14017/stat : 14017 (npSolver-pbo) S 14016 14016 1653 0 -1 4202496 14557 78519 0 0 62 23 11758 39 20 0 1 0 274101364 15892480 3267 33554432000 4194304 5992684 140734342418832 140734342404664 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14017/statm: 3880 3267 195 440 0 3436 0
[pid=14040] ppid=14017 vsize=156896 CPUtime=1303.19 cores=1,3,5,7
/proc/14040/stat : 14040 (glucosInc) R 14017 14016 1653 0 -1 4202496 45582 0 0 0 130235 84 0 0 20 0 1 0 274113251 160661504 37475 33554432000 4194304 5654031 140736760528160 140736760515976 4215344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14040/statm: 39224 37475 142 357 0 38864 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 181564
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14128
/proc/meminfo: memFree=26950312/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
[pid=14017] ppid=14016 vsize=15520 CPUtime=118.82 cores=1,3,5,7
/proc/14017/stat : 14017 (npSolver-pbo) S 14016 14016 1653 0 -1 4202496 14557 78519 0 0 62 23 11758 39 20 0 1 0 274101364 15892480 3267 33554432000 4194304 5992684 140734342418832 140734342404664 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14017/statm: 3880 3267 195 440 0 3436 0
[pid=14040] ppid=14017 vsize=187716 CPUtime=1363.18 cores=1,3,5,7
/proc/14040/stat : 14040 (glucosInc) R 14017 14016 1653 0 -1 4202496 48035 0 0 0 136228 90 0 0 20 0 1 0 274113251 192221184 39590 33554432000 4194304 5654031 140736760528160 140736760515976 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14040/statm: 46929 39590 142 357 0 46569 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 212384
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14130
/proc/meminfo: memFree=26928276/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
[pid=14017] ppid=14016 vsize=15520 CPUtime=118.82 cores=1,3,5,7
/proc/14017/stat : 14017 (npSolver-pbo) S 14016 14016 1653 0 -1 4202496 14557 78519 0 0 62 23 11758 39 20 0 1 0 274101364 15892480 3267 33554432000 4194304 5992684 140734342418832 140734342404664 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14017/statm: 3880 3267 195 440 0 3436 0
[pid=14040] ppid=14017 vsize=319192 CPUtime=1423.15 cores=1,3,5,7
/proc/14040/stat : 14040 (glucosInc) R 14017 14016 1653 0 -1 4202496 48909 0 0 0 142223 92 0 0 20 0 1 0 274113251 326852608 61907 33554432000 4194304 5654031 140736760528160 140736760515976 4214988 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14040/statm: 79798 61907 142 357 0 79438 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 343860
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14132
/proc/meminfo: memFree=27079308/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
[pid=14017] ppid=14016 vsize=15520 CPUtime=1558.28 cores=1,3,5,7
/proc/14017/stat : 14017 (npSolver-pbo) S 14016 14016 1653 0 -1 4202496 16230 128387 0 0 69 24 155602 133 20 0 1 0 274101364 15892480 3267 33554432000 4194304 5992684 140734342418832 140734342404664 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14017/statm: 3880 3267 195 440 0 3436 0
[pid=14132] ppid=14017 vsize=80420 CPUtime=43.69 cores=1,3,5,7
/proc/14132/stat : 14132 (glucosInc) R 14017 14016 1653 0 -1 4202496 11276 0 0 0 4364 5 0 0 20 0 1 0 274257223 82350080 19017 33554432000 4194304 5654031 140735131901376 140735131889192 4214981 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14132/statm: 20105 19017 142 357 0 19745 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 105088
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14341
/proc/meminfo: memFree=27022488/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
[pid=14017] ppid=14016 vsize=15520 CPUtime=1558.28 cores=1,3,5,7
/proc/14017/stat : 14017 (npSolver-pbo) S 14016 14016 1653 0 -1 4202496 16230 128387 0 0 69 24 155602 133 20 0 1 0 274101364 15892480 3267 33554432000 4194304 5992684 140734342418832 140734342404664 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14017/statm: 3880 3267 195 440 0 3436 0
[pid=14132] ppid=14017 vsize=160652 CPUtime=103.68 cores=1,3,5,7
/proc/14132/stat : 14132 (glucosInc) R 14017 14016 1653 0 -1 4202496 13734 0 0 0 10356 12 0 0 20 0 1 0 274257223 164507648 33467 33554432000 4194304 5654031 140735131901376 140735131889192 4215112 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14132/statm: 40163 33467 142 357 0 39803 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 185320
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14341
/proc/meminfo: memFree=27055364/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
[pid=14017] ppid=14016 vsize=15520 CPUtime=1558.28 cores=1,3,5,7
/proc/14017/stat : 14017 (npSolver-pbo) S 14016 14016 1653 0 -1 4202496 16230 128387 0 0 69 24 155602 133 20 0 1 0 274101364 15892480 3267 33554432000 4194304 5992684 140734342418832 140734342404664 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14017/statm: 3880 3267 195 440 0 3436 0
[pid=14132] ppid=14017 vsize=160652 CPUtime=163.67 cores=1,3,5,7
/proc/14132/stat : 14132 (glucosInc) R 14017 14016 1653 0 -1 4202496 16283 0 0 0 16349 18 0 0 20 0 1 0 274257223 164507648 32955 33554432000 4194304 5654031 140735131901376 140735131889192 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14132/statm: 40163 32955 142 357 0 39803 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 185320
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14342
/proc/meminfo: memFree=26916544/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
[pid=14017] ppid=14016 vsize=15520 CPUtime=1558.28 cores=1,3,5,7
/proc/14017/stat : 14017 (npSolver-pbo) S 14016 14016 1653 0 -1 4202496 16230 128387 0 0 69 24 155602 133 20 0 1 0 274101364 15892480 3267 33554432000 4194304 5992684 140734342418832 140734342404664 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14017/statm: 3880 3267 195 440 0 3436 0
[pid=14132] ppid=14017 vsize=191472 CPUtime=223.66 cores=1,3,5,7
/proc/14132/stat : 14132 (glucosInc) R 14017 14016 1653 0 -1 4202496 18591 0 0 0 22343 23 0 0 20 0 1 0 274257223 196067328 42238 33554432000 4194304 5654031 140735131901376 140735131899464 4215071 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14132/statm: 47868 42238 142 357 0 47508 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 216140
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14342
/proc/meminfo: memFree=26987016/32873844 swapFree=6088/6088
[pid=14016] ppid=14014 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14016/stat : 14016 (npSolver-pbo-It) S 14014 14016 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274101364 9367552 275 33554432000 4194304 5064252 140737216710368 140737216709280 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14016/statm: 2287 275 233 213 0 72 0
[pid=14017] ppid=14016 vsize=15520 CPUtime=1558.28 cores=1,3,5,7
/proc/14017/stat : 14017 (npSolver-pbo) S 14016 14016 1653 0 -1 4202496 16230 128387 0 0 69 24 155602 133 20 0 1 0 274101364 15892480 3267 33554432000 4194304 5992684 140734342418832 140734342404664 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14017/statm: 3880 3267 195 440 0 3436 0
[pid=14132] ppid=14017 vsize=160652 CPUtime=241.77 cores=1,3,5,7
/proc/14132/stat : 14132 (glucosInc) R 14017 14016 1653 0 -1 4202496 19158 0 0 0 24152 25 0 0 20 0 1 0 274257223 164507648 33467 33554432000 4194304 5654031 140735131901376 140735131899304 4215014 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14132/statm: 40163 33467 142 357 0 39803 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 185320
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1798.24
CPU system time (s): 1.83772
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 343860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.24
system time used= 1.83772
maximum resident set size= 253772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164154
page faults= 0
swaps= 0
block input operations= 0
block output operations= 62024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1721
involuntary context switches= 1909
runsolver used 3.50247 second user time and 7.98079 second system time
The end