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-3752470-1339139694/watcher-3752470-1339139694 -o /tmp/evaluation-result-3752470-1339139694/solver-3752470-1339139694 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752470-1339139694.opb 24761673 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18420
/proc/meminfo: memFree=31628244/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
[startup+0.0620321 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18420
/proc/meminfo: memFree=31628244/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 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 2.00 3/178 18420
/proc/meminfo: memFree=31628244/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300271 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18420
/proc/meminfo: memFree=31628244/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700281 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18420
/proc/meminfo: memFree=31628244/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 18422
/proc/meminfo: memFree=31555860/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
[pid=18421] ppid=18420 vsize=74300 CPUtime=1.06 cores=0,2,4,6
/proc/18421/stat : 18421 (npSolver-pbo) S 18420 18420 17615 0 -1 4202496 14874 0 0 0 99 7 0 0 20 0 1 0 380094461 76083200 17672 33554432000 4194304 6004724 140734387767632 140734387762096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18421/statm: 18575 17672 162 442 0 18129 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 83448
[startup+3.10039 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 18424
/proc/meminfo: memFree=31346592/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
[pid=18421] ppid=18420 vsize=74300 CPUtime=1.06 cores=0,2,4,6
/proc/18421/stat : 18421 (npSolver-pbo) S 18420 18420 17615 0 -1 4202496 14874 0 0 0 99 7 0 0 20 0 1 0 380094461 76083200 17672 33554432000 4194304 6004724 140734387767632 140734387762096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18421/statm: 18575 17672 162 442 0 18129 0
[pid=18423] ppid=18421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18423/stat : 18423 (cp2_pre.sh) S 18421 18420 17615 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 380094568 9367552 277 33554432000 4194304 5064252 140736445379008 140736445377712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18423/statm: 2287 277 234 213 0 72 0
[pid=18424] ppid=18423 vsize=222312 CPUtime=2.01 cores=0,2,4,6
/proc/18424/stat : 18424 (coprocessor) R 18423 18420 17615 0 -1 4202496 36175 0 0 0 194 7 0 0 20 0 1 0 380094568 227647488 53595 33554432000 4194304 6586260 140733585942336 140733585938360 4768316 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/18424/statm: 55578 53595 182 584 0 54990 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 314908
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 2/182 18425
/proc/meminfo: memFree=31522608/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
[pid=18421] ppid=18420 vsize=74300 CPUtime=4.95 cores=0,2,4,6
/proc/18421/stat : 18421 (npSolver-pbo) S 18420 18420 17615 0 -1 4202496 14892 41161 0 0 99 7 364 25 20 0 1 0 380094461 76083200 17676 33554432000 4194304 6004724 140734387767632 140734387753912 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18421/statm: 18575 17676 166 442 0 18129 0
Current children cumulated CPU time (s) 4.95
Current children cumulated vsize (KiB) 83448
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 18426
/proc/meminfo: memFree=31422292/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
[pid=18421] ppid=18420 vsize=74300 CPUtime=4.95 cores=0,2,4,6
/proc/18421/stat : 18421 (npSolver-pbo) S 18420 18420 17615 0 -1 4202496 14892 41161 0 0 99 7 364 25 20 0 1 0 380094461 76083200 17676 33554432000 4194304 6004724 140734387767632 140734387753912 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18421/statm: 18575 17676 166 442 0 18129 0
[pid=18426] ppid=18421 vsize=113620 CPUtime=7.04 cores=0,2,4,6
/proc/18426/stat : 18426 (glucosInc) R 18421 18420 17615 0 -1 4202496 22057 0 0 0 701 3 0 0 20 0 1 0 380095025 116346880 24415 33554432000 4194304 5654031 140737440694336 140737440692120 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18426/statm: 28405 24415 140 357 0 28045 0
Current children cumulated CPU time (s) 11.99
Current children cumulated vsize (KiB) 197068
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 18426
/proc/meminfo: memFree=31408276/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
[pid=18421] ppid=18420 vsize=74300 CPUtime=4.95 cores=0,2,4,6
/proc/18421/stat : 18421 (npSolver-pbo) S 18420 18420 17615 0 -1 4202496 14892 41161 0 0 99 7 364 25 20 0 1 0 380094461 76083200 17676 33554432000 4194304 6004724 140734387767632 140734387753912 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18421/statm: 18575 17676 166 442 0 18129 0
[pid=18426] ppid=18421 vsize=116588 CPUtime=19.84 cores=0,2,4,6
/proc/18426/stat : 18426 (glucosInc) R 18421 18420 17615 0 -1 4202496 22709 0 0 0 1981 3 0 0 20 0 1 0 380095025 119386112 25067 33554432000 4194304 5654031 140737440694336 140737440682152 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18426/statm: 29147 25067 141 357 0 28787 0
Current children cumulated CPU time (s) 24.79
Current children cumulated vsize (KiB) 200036
[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 18426
/proc/meminfo: memFree=31374704/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
[pid=18421] ppid=18420 vsize=74300 CPUtime=4.95 cores=0,2,4,6
/proc/18421/stat : 18421 (npSolver-pbo) S 18420 18420 17615 0 -1 4202496 14892 41161 0 0 99 7 364 25 20 0 1 0 380094461 76083200 17676 33554432000 4194304 6004724 140734387767632 140734387753912 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18421/statm: 18575 17676 166 442 0 18129 0
[pid=18426] ppid=18421 vsize=118168 CPUtime=45.43 cores=0,2,4,6
/proc/18426/stat : 18426 (glucosInc) R 18421 18420 17615 0 -1 4202496 23086 0 0 0 4540 3 0 0 20 0 1 0 380095025 121004032 25444 33554432000 4194304 5654031 140737440694336 140737440682152 4232581 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18426/statm: 29542 25444 141 357 0 29182 0
Current children cumulated CPU time (s) 50.38
Current children cumulated vsize (KiB) 201616
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 18427
/proc/meminfo: memFree=31309356/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
[pid=18421] ppid=18420 vsize=74300 CPUtime=4.95 cores=0,2,4,6
/proc/18421/stat : 18421 (npSolver-pbo) S 18420 18420 17615 0 -1 4202496 14892 41161 0 0 99 7 364 25 20 0 1 0 380094461 76083200 17676 33554432000 4194304 6004724 140734387767632 140734387753912 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18421/statm: 18575 17676 166 442 0 18129 0
[pid=18426] ppid=18421 vsize=120364 CPUtime=96.62 cores=0,2,4,6
/proc/18426/stat : 18426 (glucosInc) R 18421 18420 17615 0 -1 4202496 23441 0 0 0 9659 3 0 0 20 0 1 0 380095025 123252736 26821 33554432000 4194304 5654031 140737440694336 140737440682152 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18426/statm: 30091 26821 141 357 0 29731 0
Current children cumulated CPU time (s) 101.57
Current children cumulated vsize (KiB) 203812
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18427
/proc/meminfo: memFree=31392820/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
[pid=18421] ppid=18420 vsize=74300 CPUtime=4.95 cores=0,2,4,6
/proc/18421/stat : 18421 (npSolver-pbo) S 18420 18420 17615 0 -1 4202496 14892 41161 0 0 99 7 364 25 20 0 1 0 380094461 76083200 17676 33554432000 4194304 6004724 140734387767632 140734387753912 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18421/statm: 18575 17676 166 442 0 18129 0
[pid=18426] ppid=18421 vsize=120628 CPUtime=156.61 cores=0,2,4,6
/proc/18426/stat : 18426 (glucosInc) R 18421 18420 17615 0 -1 4202496 24379 0 0 0 15657 4 0 0 20 0 1 0 380095025 123523072 26495 33554432000 4194304 5654031 140737440694336 140737440682152 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18426/statm: 30157 26495 142 357 0 29797 0
Current children cumulated CPU time (s) 161.56
Current children cumulated vsize (KiB) 204076
[startup+222.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/181 18488
/proc/meminfo: memFree=31532668/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
[pid=18421] ppid=18420 vsize=74300 CPUtime=4.95 cores=0,2,4,6
/proc/18421/stat : 18421 (npSolver-pbo) S 18420 18420 17615 0 -1 4202496 14892 41161 0 0 99 7 364 25 20 0 1 0 380094461 76083200 17676 33554432000 4194304 6004724 140734387767632 140734387753912 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18421/statm: 18575 17676 166 442 0 18129 0
[pid=18426] ppid=18421 vsize=122036 CPUtime=216.59 cores=0,2,4,6
/proc/18426/stat : 18426 (glucosInc) R 18421 18420 17615 0 -1 4202496 24742 0 0 0 21654 5 0 0 20 0 1 0 380095025 124964864 27901 33554432000 4194304 5654031 140737440694336 140737440682152 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18426/statm: 30509 27901 142 357 0 30149 0
Current children cumulated CPU time (s) 221.54
Current children cumulated vsize (KiB) 205484
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 18494
/proc/meminfo: memFree=31515092/32873844 swapFree=7124/7124
################
# More data... #
################
/proc/meminfo: memFree=31377716/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
[pid=18421] ppid=18420 vsize=74300 CPUtime=4.95 cores=0,2,4,6
/proc/18421/stat : 18421 (npSolver-pbo) S 18420 18420 17615 0 -1 4202496 14892 41161 0 0 99 7 364 25 20 0 1 0 380094461 76083200 17676 33554432000 4194304 6004724 140734387767632 140734387753912 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18421/statm: 18575 17676 166 442 0 18129 0
[pid=18426] ppid=18421 vsize=206168 CPUtime=1236.41 cores=0,2,4,6
/proc/18426/stat : 18426 (glucosInc) R 18421 18420 17615 0 -1 4202496 28455 0 0 0 123629 12 0 0 20 0 1 0 380095025 211116032 46897 33554432000 4194304 5654031 140737440694336 140737440682152 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18426/statm: 51542 46897 142 357 0 51182 0
Current children cumulated CPU time (s) 1241.36
Current children cumulated vsize (KiB) 289616
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 18519
/proc/meminfo: memFree=31341404/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
[pid=18421] ppid=18420 vsize=74300 CPUtime=4.95 cores=0,2,4,6
/proc/18421/stat : 18421 (npSolver-pbo) S 18420 18420 17615 0 -1 4202496 14892 41161 0 0 99 7 364 25 20 0 1 0 380094461 76083200 17676 33554432000 4194304 6004724 140734387767632 140734387753912 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18421/statm: 18575 17676 166 442 0 18129 0
[pid=18426] ppid=18421 vsize=206168 CPUtime=1296.41 cores=0,2,4,6
/proc/18426/stat : 18426 (glucosInc) R 18421 18420 17615 0 -1 4202496 28495 0 0 0 129628 13 0 0 20 0 1 0 380095025 211116032 46385 33554432000 4194304 5654031 140737440694336 140737440682152 4232581 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18426/statm: 51542 46385 142 357 0 51182 0
Current children cumulated CPU time (s) 1301.36
Current children cumulated vsize (KiB) 289616
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18522
/proc/meminfo: memFree=31431672/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
[pid=18421] ppid=18420 vsize=74304 CPUtime=1308.15 cores=0,2,4,6
/proc/18421/stat : 18421 (npSolver-pbo) S 18420 18420 17615 0 -1 4202496 18120 70721 0 0 160 136 130473 46 20 0 1 0 380094461 76087296 17706 33554432000 4194304 6004724 140734387767632 140734387753480 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/18421/statm: 18576 17706 195 442 0 18130 0
[pid=18522] ppid=18421 vsize=131156 CPUtime=53.1 cores=0,2,4,6
/proc/18522/stat : 18522 (glucosInc) R 18421 18420 17615 0 -1 4202496 25742 0 0 0 5305 5 0 0 20 0 1 0 380225378 134303744 28336 33554432000 4194304 5654031 140735346645888 140735346633704 4232540 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18522/statm: 32789 28336 140 357 0 32429 0
Current children cumulated CPU time (s) 1361.25
Current children cumulated vsize (KiB) 214608
[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 18524
/proc/meminfo: memFree=31502284/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
[pid=18421] ppid=18420 vsize=74304 CPUtime=1308.15 cores=0,2,4,6
/proc/18421/stat : 18421 (npSolver-pbo) S 18420 18420 17615 0 -1 4202496 18120 70721 0 0 160 136 130473 46 20 0 1 0 380094461 76087296 17706 33554432000 4194304 6004724 140734387767632 140734387753480 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/18421/statm: 18576 17706 195 442 0 18130 0
[pid=18522] ppid=18421 vsize=132520 CPUtime=113.08 cores=0,2,4,6
/proc/18522/stat : 18522 (glucosInc) R 18421 18420 17615 0 -1 4202496 26142 0 0 0 11303 5 0 0 20 0 1 0 380225378 135700480 29744 33554432000 4194304 5654031 140735346645888 140735346643672 4232794 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18522/statm: 33130 29744 141 357 0 32770 0
Current children cumulated CPU time (s) 1421.23
Current children cumulated vsize (KiB) 215972
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 18524
/proc/meminfo: memFree=31471456/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
[pid=18421] ppid=18420 vsize=74304 CPUtime=1308.15 cores=0,2,4,6
/proc/18421/stat : 18421 (npSolver-pbo) S 18420 18420 17615 0 -1 4202496 18120 70721 0 0 160 136 130473 46 20 0 1 0 380094461 76087296 17706 33554432000 4194304 6004724 140734387767632 140734387753480 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/18421/statm: 18576 17706 195 442 0 18130 0
[pid=18522] ppid=18421 vsize=135420 CPUtime=173.06 cores=0,2,4,6
/proc/18522/stat : 18522 (glucosInc) R 18421 18420 17615 0 -1 4202496 26620 0 0 0 17300 6 0 0 20 0 1 0 380225378 138670080 30269 33554432000 4194304 5654031 140735346645888 140735346633704 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18522/statm: 33855 30269 141 357 0 33495 0
Current children cumulated CPU time (s) 1481.21
Current children cumulated vsize (KiB) 218872
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 18527
/proc/meminfo: memFree=31461932/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
[pid=18421] ppid=18420 vsize=74304 CPUtime=1308.15 cores=0,2,4,6
/proc/18421/stat : 18421 (npSolver-pbo) S 18420 18420 17615 0 -1 4202496 18120 70721 0 0 160 136 130473 46 20 0 1 0 380094461 76087296 17706 33554432000 4194304 6004724 140734387767632 140734387753480 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/18421/statm: 18576 17706 195 442 0 18130 0
[pid=18522] ppid=18421 vsize=135172 CPUtime=233.05 cores=0,2,4,6
/proc/18522/stat : 18522 (glucosInc) R 18421 18420 17615 0 -1 4202496 27447 0 0 0 23299 6 0 0 20 0 1 0 380225378 138416128 29805 33554432000 4194304 5654031 140735346645888 140735346633704 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18522/statm: 33793 29805 141 357 0 33433 0
Current children cumulated CPU time (s) 1541.2
Current children cumulated vsize (KiB) 218624
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18528
/proc/meminfo: memFree=31454552/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
[pid=18421] ppid=18420 vsize=74304 CPUtime=1308.15 cores=0,2,4,6
/proc/18421/stat : 18421 (npSolver-pbo) S 18420 18420 17615 0 -1 4202496 18120 70721 0 0 160 136 130473 46 20 0 1 0 380094461 76087296 17706 33554432000 4194304 6004724 140734387767632 140734387753480 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/18421/statm: 18576 17706 195 442 0 18130 0
[pid=18522] ppid=18421 vsize=135980 CPUtime=293.03 cores=0,2,4,6
/proc/18522/stat : 18522 (glucosInc) R 18421 18420 17615 0 -1 4202496 27676 0 0 0 29297 6 0 0 20 0 1 0 380225378 139243520 31432 33554432000 4194304 5654031 140735346645888 140735346633704 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18522/statm: 33995 31432 141 357 0 33635 0
Current children cumulated CPU time (s) 1601.18
Current children cumulated vsize (KiB) 219432
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18528
/proc/meminfo: memFree=31433944/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
[pid=18421] ppid=18420 vsize=74304 CPUtime=1308.15 cores=0,2,4,6
/proc/18421/stat : 18421 (npSolver-pbo) S 18420 18420 17615 0 -1 4202496 18120 70721 0 0 160 136 130473 46 20 0 1 0 380094461 76087296 17706 33554432000 4194304 6004724 140734387767632 140734387753480 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/18421/statm: 18576 17706 195 442 0 18130 0
[pid=18522] ppid=18421 vsize=137036 CPUtime=353.02 cores=0,2,4,6
/proc/18522/stat : 18522 (glucosInc) R 18421 18420 17615 0 -1 4202496 27957 0 0 0 35296 6 0 0 20 0 1 0 380225378 140324864 31713 33554432000 4194304 5654031 140735346645888 140735346633704 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18522/statm: 34259 31713 141 357 0 33899 0
Current children cumulated CPU time (s) 1661.17
Current children cumulated vsize (KiB) 220488
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18528
/proc/meminfo: memFree=31417936/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
[pid=18421] ppid=18420 vsize=74304 CPUtime=1308.15 cores=0,2,4,6
/proc/18421/stat : 18421 (npSolver-pbo) S 18420 18420 17615 0 -1 4202496 18120 70721 0 0 160 136 130473 46 20 0 1 0 380094461 76087296 17706 33554432000 4194304 6004724 140734387767632 140734387753480 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/18421/statm: 18576 17706 195 442 0 18130 0
[pid=18522] ppid=18421 vsize=139784 CPUtime=413.01 cores=0,2,4,6
/proc/18522/stat : 18522 (glucosInc) R 18421 18420 17615 0 -1 4202496 28796 0 0 0 41294 7 0 0 20 0 1 0 380225378 143138816 32246 33554432000 4194304 5654031 140735346645888 140735346633704 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18522/statm: 34946 32246 141 357 0 34586 0
Current children cumulated CPU time (s) 1721.16
Current children cumulated vsize (KiB) 223236
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18528
/proc/meminfo: memFree=31416320/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
[pid=18421] ppid=18420 vsize=74304 CPUtime=1308.15 cores=0,2,4,6
/proc/18421/stat : 18421 (npSolver-pbo) S 18420 18420 17615 0 -1 4202496 18120 70721 0 0 160 136 130473 46 20 0 1 0 380094461 76087296 17706 33554432000 4194304 6004724 140734387767632 140734387753480 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/18421/statm: 18576 17706 195 442 0 18130 0
[pid=18522] ppid=18421 vsize=139784 CPUtime=473 cores=0,2,4,6
/proc/18522/stat : 18522 (glucosInc) R 18421 18420 17615 0 -1 4202496 28798 0 0 0 47293 7 0 0 20 0 1 0 380225378 143138816 32295 33554432000 4194304 5654031 140735346645888 140735346633704 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18522/statm: 34946 32295 141 357 0 34586 0
Current children cumulated CPU time (s) 1781.15
Current children cumulated vsize (KiB) 223236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18528
/proc/meminfo: memFree=31416444/32873844 swapFree=7124/7124
[pid=18420] ppid=18418 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18420/stat : 18420 (npSolver-pbo-It) S 18418 18420 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 380094460 9367552 274 33554432000 4194304 5064252 140736349499040 140736349497952 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18420/statm: 2287 274 233 213 0 72 0
[pid=18421] ppid=18420 vsize=74304 CPUtime=1308.15 cores=0,2,4,6
/proc/18421/stat : 18421 (npSolver-pbo) S 18420 18420 17615 0 -1 4202496 18120 70721 0 0 160 136 130473 46 20 0 1 0 380094461 76087296 17706 33554432000 4194304 6004724 140734387767632 140734387753480 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/18421/statm: 18576 17706 195 442 0 18130 0
[pid=18522] ppid=18421 vsize=139784 CPUtime=491.91 cores=0,2,4,6
/proc/18522/stat : 18522 (glucosInc) R 18421 18420 17615 0 -1 4202496 28798 0 0 0 49184 7 0 0 20 0 1 0 380225378 143138816 32295 33554432000 4194304 5654031 140735346645888 140735346633704 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18522/statm: 34946 32295 141 357 0 34586 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 223236
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1801.21
CPU time (s): 1800.09
CPU user time (s): 1798.17
CPU system time (s): 1.91371
CPU usage (%): 99.9376
Max. virtual memory (cumulated for all children) (KiB): 347556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.17
system time used= 1.91371
maximum resident set size= 253176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118020
page faults= 0
swaps= 0
block input operations= 8
block output operations= 216832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 681
involuntary context switches= 2042
runsolver used 7.02193 second user time and 18.9511 second system time
The end