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-3752481-1339141483/watcher-3752481-1339141483 -o /tmp/evaluation-result-3752481-1339141483/solver-3752481-1339141483 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752481-1339141483.opb 62178610 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/180 14466
/proc/meminfo: memFree=31719132/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[startup+0.048505 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14466
/proc/meminfo: memFree=31719132/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100319 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14466
/proc/meminfo: memFree=31719132/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300248 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14466
/proc/meminfo: memFree=31719132/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700229 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14466
/proc/meminfo: memFree=31719132/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14480
/proc/meminfo: memFree=31701056/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[pid=14467] ppid=14466 vsize=5948 CPUtime=1.39 cores=0,2,4,6
/proc/14467/stat : 14467 (npSolver-pbo) S 14466 14466 13680 0 -1 4202496 4449 12599 0 0 8 9 116 6 20 0 1 0 24114958 6090752 980 33554432000 4194304 6004724 140734513728640 140734513714488 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14467/statm: 1487 980 189 442 0 1041 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 15096
[startup+3.10017 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14486
/proc/meminfo: memFree=31698504/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[pid=14467] ppid=14466 vsize=5948 CPUtime=2.14 cores=0,2,4,6
/proc/14467/stat : 14467 (npSolver-pbo) S 14466 14466 13680 0 -1 4202496 4772 15594 0 0 9 9 189 7 20 0 1 0 24114958 6090752 980 33554432000 4194304 6004724 140734513728640 140734513714488 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14467/statm: 1487 980 189 442 0 1041 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 15096
heavy processes:
[startup+6.30015 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14492
/proc/meminfo: memFree=31697520/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[pid=14467] ppid=14466 vsize=5948 CPUtime=5.66 cores=0,2,4,6
/proc/14467/stat : 14467 (npSolver-pbo) S 14466 14466 13680 0 -1 4202496 5418 23131 0 0 11 9 537 9 20 0 1 0 24114958 6090752 980 33554432000 4194304 6004724 140734513728640 140734513714488 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14467/statm: 1487 980 189 442 0 1041 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 15096
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14498
/proc/meminfo: memFree=31684756/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[pid=14467] ppid=14466 vsize=5948 CPUtime=6.48 cores=0,2,4,6
/proc/14467/stat : 14467 (npSolver-pbo) S 14466 14466 13680 0 -1 4202496 5741 26428 0 0 12 9 617 10 20 0 1 0 24114958 6090752 980 33554432000 4194304 6004724 140734513728640 140734513714488 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14467/statm: 1487 980 189 442 0 1041 0
[pid=14498] ppid=14467 vsize=21468 CPUtime=6.18 cores=0,2,4,6
/proc/14498/stat : 14498 (glucosInc) R 14467 14466 13680 0 -1 4202496 5362 0 0 0 617 1 0 0 20 0 1 0 24115609 21983232 4724 33554432000 4194304 5654031 140733366078016 140733366065832 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14498/statm: 5367 4724 141 357 0 5007 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 36564
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14498
/proc/meminfo: memFree=31681484/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[pid=14467] ppid=14466 vsize=5948 CPUtime=6.48 cores=0,2,4,6
/proc/14467/stat : 14467 (npSolver-pbo) S 14466 14466 13680 0 -1 4202496 5741 26428 0 0 12 9 617 10 20 0 1 0 24114958 6090752 980 33554432000 4194304 6004724 140734513728640 140734513714488 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14467/statm: 1487 980 189 442 0 1041 0
[pid=14498] ppid=14467 vsize=25876 CPUtime=18.97 cores=0,2,4,6
/proc/14498/stat : 14498 (glucosInc) R 14467 14466 13680 0 -1 4202496 6911 0 0 0 1896 1 0 0 20 0 1 0 24115609 26497024 5683 33554432000 4194304 5654031 140733366078016 140733366065832 4208621 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14498/statm: 6469 5683 141 357 0 6109 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 40972
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14500
/proc/meminfo: memFree=31652132/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[pid=14467] ppid=14466 vsize=5948 CPUtime=36.88 cores=0,2,4,6
/proc/14467/stat : 14467 (npSolver-pbo) S 14466 14466 13680 0 -1 4202496 6064 35184 0 0 13 9 3653 13 20 0 1 0 24114958 6090752 980 33554432000 4194304 6004724 140734513728640 140734513714488 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14467/statm: 1487 980 189 442 0 1041 0
[pid=14500] ppid=14467 vsize=29916 CPUtime=14.16 cores=0,2,4,6
/proc/14500/stat : 14500 (glucosInc) R 14467 14466 13680 0 -1 4202496 5497 0 0 0 1415 1 0 0 20 0 1 0 24118651 30633984 6988 33554432000 4194304 5654031 140733385925600 140733385913416 4232605 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14500/statm: 7479 6988 141 357 0 7119 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 45012
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14504
/proc/meminfo: memFree=31651008/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[pid=14467] ppid=14466 vsize=5948 CPUtime=36.88 cores=0,2,4,6
/proc/14467/stat : 14467 (npSolver-pbo) S 14466 14466 13680 0 -1 4202496 6064 35184 0 0 13 9 3653 13 20 0 1 0 24114958 6090752 980 33554432000 4194304 6004724 140734513728640 140734513714488 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14467/statm: 1487 980 189 442 0 1041 0
[pid=14500] ppid=14467 vsize=50624 CPUtime=65.35 cores=0,2,4,6
/proc/14500/stat : 14500 (glucosInc) R 14467 14466 13680 0 -1 4202496 6729 0 0 0 6533 2 0 0 20 0 1 0 24118651 51838976 10382 33554432000 4194304 5654031 140733385925600 140733385923480 4232752 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14500/statm: 12656 10382 141 357 0 12296 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 65720
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14504
/proc/meminfo: memFree=31603348/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[pid=14467] ppid=14466 vsize=5948 CPUtime=36.88 cores=0,2,4,6
/proc/14467/stat : 14467 (npSolver-pbo) S 14466 14466 13680 0 -1 4202496 6064 35184 0 0 13 9 3653 13 20 0 1 0 24114958 6090752 980 33554432000 4194304 6004724 140734513728640 140734513714488 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14467/statm: 1487 980 189 442 0 1041 0
[pid=14500] ppid=14467 vsize=81084 CPUtime=125.34 cores=0,2,4,6
/proc/14500/stat : 14500 (glucosInc) R 14467 14466 13680 0 -1 4202496 7914 0 0 0 12530 4 0 0 20 0 1 0 24118651 83030016 15617 33554432000 4194304 5654031 140733385925600 140733385913416 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14500/statm: 20271 15617 141 357 0 19911 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 96180
[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 14504
/proc/meminfo: memFree=31583728/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[pid=14467] ppid=14466 vsize=5948 CPUtime=36.88 cores=0,2,4,6
/proc/14467/stat : 14467 (npSolver-pbo) S 14466 14466 13680 0 -1 4202496 6064 35184 0 0 13 9 3653 13 20 0 1 0 24114958 6090752 980 33554432000 4194304 6004724 140734513728640 140734513714488 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14467/statm: 1487 980 189 442 0 1041 0
[pid=14500] ppid=14467 vsize=81084 CPUtime=185.32 cores=0,2,4,6
/proc/14500/stat : 14500 (glucosInc) R 14467 14466 13680 0 -1 4202496 8944 0 0 0 18527 5 0 0 20 0 1 0 24118651 83030016 15617 33554432000 4194304 5654031 140733385925600 140733385913416 4232729 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14500/statm: 20271 15617 141 357 0 19911 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 96180
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 14505
/proc/meminfo: memFree=31573364/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[pid=14467] ppid=14466 vsize=5948 CPUtime=36.88 cores=0,2,4,6
/proc/14467/stat : 14467 (npSolver-pbo) S 14466 14466 13680 0 -1 4202496 6064 35184 0 0 13 9 3653 13 20 0 1 0 24114958 6090752 980 33554432000 4194304 6004724 140734513728640 140734513714488 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14467/statm: 1487 980 189 442 0 1041 0
################
# More data... #
################
/proc/meminfo: memFree=31498476/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[pid=14467] ppid=14466 vsize=5948 CPUtime=825.2 cores=0,2,4,6
/proc/14467/stat : 14467 (npSolver-pbo) S 14466 14466 13680 0 -1 4202496 6387 50610 0 0 14 9 82466 31 20 0 1 0 24114958 6090752 980 33554432000 4194304 6004724 140734513728640 140734513714488 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14467/statm: 1487 980 189 442 0 1041 0
[pid=14512] ppid=14467 vsize=106132 CPUtime=416.83 cores=0,2,4,6
/proc/14512/stat : 14512 (glucosInc) R 14467 14466 13680 0 -1 4202496 15922 0 0 0 41666 17 0 0 20 0 1 0 24197496 108679168 26089 33554432000 4194304 5654031 140733736566880 140733736554696 4208659 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14512/statm: 26533 26089 141 357 0 26173 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 121228
[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 14542
/proc/meminfo: memFree=31399340/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[pid=14467] ppid=14466 vsize=5948 CPUtime=825.2 cores=0,2,4,6
/proc/14467/stat : 14467 (npSolver-pbo) S 14466 14466 13680 0 -1 4202496 6387 50610 0 0 14 9 82466 31 20 0 1 0 24114958 6090752 980 33554432000 4194304 6004724 140734513728640 140734513714488 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14467/statm: 1487 980 189 442 0 1041 0
[pid=14512] ppid=14467 vsize=186272 CPUtime=476.82 cores=0,2,4,6
/proc/14512/stat : 14512 (glucosInc) R 14467 14466 13680 0 -1 4202496 17476 0 0 0 47661 21 0 0 20 0 1 0 24197496 190742528 41669 33554432000 4194304 5654031 140733736566880 140733736554696 4233213 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14512/statm: 46568 41669 141 357 0 46208 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 201368
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 14542
/proc/meminfo: memFree=31480892/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[pid=14467] ppid=14466 vsize=5948 CPUtime=825.2 cores=0,2,4,6
/proc/14467/stat : 14467 (npSolver-pbo) S 14466 14466 13680 0 -1 4202496 6387 50610 0 0 14 9 82466 31 20 0 1 0 24114958 6090752 980 33554432000 4194304 6004724 140734513728640 140734513714488 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14467/statm: 1487 980 189 442 0 1041 0
[pid=14512] ppid=14467 vsize=186272 CPUtime=536.8 cores=0,2,4,6
/proc/14512/stat : 14512 (glucosInc) R 14467 14466 13680 0 -1 4202496 19010 0 0 0 53656 24 0 0 20 0 1 0 24197496 190742528 39109 33554432000 4194304 5654031 140733736566880 140733736554696 4232984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14512/statm: 46568 39109 141 357 0 46208 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 201368
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14542
/proc/meminfo: memFree=31404564/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[pid=14467] ppid=14466 vsize=5948 CPUtime=825.2 cores=0,2,4,6
/proc/14467/stat : 14467 (npSolver-pbo) S 14466 14466 13680 0 -1 4202496 6387 50610 0 0 14 9 82466 31 20 0 1 0 24114958 6090752 980 33554432000 4194304 6004724 140734513728640 140734513714488 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14467/statm: 1487 980 189 442 0 1041 0
[pid=14512] ppid=14467 vsize=236360 CPUtime=596.8 cores=0,2,4,6
/proc/14512/stat : 14512 (glucosInc) R 14467 14466 13680 0 -1 4202496 20522 0 0 0 59652 28 0 0 20 0 1 0 24197496 242032640 46172 33554432000 4194304 5654031 140733736566880 140733736554696 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14512/statm: 59090 46172 141 357 0 58730 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 251456
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14543
/proc/meminfo: memFree=31463760/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[pid=14467] ppid=14466 vsize=5948 CPUtime=825.2 cores=0,2,4,6
/proc/14467/stat : 14467 (npSolver-pbo) S 14466 14466 13680 0 -1 4202496 6387 50610 0 0 14 9 82466 31 20 0 1 0 24114958 6090752 980 33554432000 4194304 6004724 140734513728640 140734513714488 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14467/statm: 1487 980 189 442 0 1041 0
[pid=14512] ppid=14467 vsize=106132 CPUtime=656.79 cores=0,2,4,6
/proc/14512/stat : 14512 (glucosInc) R 14467 14466 13680 0 -1 4202496 21710 0 0 0 65648 31 0 0 20 0 1 0 24197496 108679168 26089 33554432000 4194304 5654031 140733736566880 140733736564904 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14512/statm: 26533 26089 141 357 0 26173 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 121228
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 14546
/proc/meminfo: memFree=31400812/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[pid=14467] ppid=14466 vsize=5948 CPUtime=825.2 cores=0,2,4,6
/proc/14467/stat : 14467 (npSolver-pbo) S 14466 14466 13680 0 -1 4202496 6387 50610 0 0 14 9 82466 31 20 0 1 0 24114958 6090752 980 33554432000 4194304 6004724 140734513728640 140734513714488 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14467/statm: 1487 980 189 442 0 1041 0
[pid=14512] ppid=14467 vsize=155452 CPUtime=716.77 cores=0,2,4,6
/proc/14512/stat : 14512 (glucosInc) R 14467 14466 13680 0 -1 4202496 22057 0 0 0 71645 32 0 0 20 0 1 0 24197496 159182848 36994 33554432000 4194304 5654031 140733736566880 140733736554696 4233226 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14512/statm: 38863 36994 141 357 0 38503 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 170548
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14546
/proc/meminfo: memFree=31437608/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[pid=14467] ppid=14466 vsize=5948 CPUtime=825.2 cores=0,2,4,6
/proc/14467/stat : 14467 (npSolver-pbo) S 14466 14466 13680 0 -1 4202496 6387 50610 0 0 14 9 82466 31 20 0 1 0 24114958 6090752 980 33554432000 4194304 6004724 140734513728640 140734513714488 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14467/statm: 1487 980 189 442 0 1041 0
[pid=14512] ppid=14467 vsize=106132 CPUtime=776.77 cores=0,2,4,6
/proc/14512/stat : 14512 (glucosInc) R 14467 14466 13680 0 -1 4202496 24233 0 0 0 77640 37 0 0 20 0 1 0 24197496 108679168 26089 33554432000 4194304 5654031 140733736566880 140733736564904 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14512/statm: 26533 26089 141 357 0 26173 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 121228
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14546
/proc/meminfo: memFree=31403852/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[pid=14467] ppid=14466 vsize=5948 CPUtime=825.2 cores=0,2,4,6
/proc/14467/stat : 14467 (npSolver-pbo) S 14466 14466 13680 0 -1 4202496 6387 50610 0 0 14 9 82466 31 20 0 1 0 24114958 6090752 980 33554432000 4194304 6004724 140734513728640 140734513714488 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14467/statm: 1487 980 189 442 0 1041 0
[pid=14512] ppid=14467 vsize=186272 CPUtime=836.76 cores=0,2,4,6
/proc/14512/stat : 14512 (glucosInc) R 14467 14466 13680 0 -1 4202496 25768 0 0 0 83636 40 0 0 20 0 1 0 24197496 190742528 39109 33554432000 4194304 5654031 140733736566880 140733736564968 4233216 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14512/statm: 46568 39109 141 357 0 46208 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 201368
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14546
/proc/meminfo: memFree=31369600/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[pid=14467] ppid=14466 vsize=5948 CPUtime=825.2 cores=0,2,4,6
/proc/14467/stat : 14467 (npSolver-pbo) S 14466 14466 13680 0 -1 4202496 6387 50610 0 0 14 9 82466 31 20 0 1 0 24114958 6090752 980 33554432000 4194304 6004724 140734513728640 140734513714488 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14467/statm: 1487 980 189 442 0 1041 0
[pid=14512] ppid=14467 vsize=186272 CPUtime=896.74 cores=0,2,4,6
/proc/14512/stat : 14512 (glucosInc) R 14467 14466 13680 0 -1 4202496 26561 0 0 0 89632 42 0 0 20 0 1 0 24197496 190742528 44229 33554432000 4194304 5654031 140733736566880 140733736554696 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14512/statm: 46568 44229 141 357 0 46208 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 201368
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 14546
/proc/meminfo: memFree=31349596/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[pid=14467] ppid=14466 vsize=5948 CPUtime=825.2 cores=0,2,4,6
/proc/14467/stat : 14467 (npSolver-pbo) S 14466 14466 13680 0 -1 4202496 6387 50610 0 0 14 9 82466 31 20 0 1 0 24114958 6090752 980 33554432000 4194304 6004724 140734513728640 140734513714488 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14467/statm: 1487 980 189 442 0 1041 0
[pid=14512] ppid=14467 vsize=236360 CPUtime=956.73 cores=0,2,4,6
/proc/14512/stat : 14512 (glucosInc) R 14467 14466 13680 0 -1 4202496 28991 0 0 0 95627 46 0 0 20 0 1 0 24197496 242032640 50674 33554432000 4194304 5654031 140733736566880 140733736554696 4232752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14512/statm: 59090 50674 141 357 0 58730 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 251456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.09 2.03 2.00 3/183 14596
/proc/meminfo: memFree=31571812/32873844 swapFree=7632/7632
[pid=14466] ppid=14464 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14466/stat : 14466 (npSolver-pbo-It) S 14464 14466 13680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 24114958 9367552 274 33554432000 4194304 5064252 140733482528096 140733482527008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14466/statm: 2287 274 233 213 0 72 0
[pid=14467] ppid=14466 vsize=5948 CPUtime=825.2 cores=0,2,4,6
/proc/14467/stat : 14467 (npSolver-pbo) S 14466 14466 13680 0 -1 4202496 6387 50610 0 0 14 9 82466 31 20 0 1 0 24114958 6090752 980 33554432000 4194304 6004724 140734513728640 140734513714488 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14467/statm: 1487 980 189 442 0 1041 0
[pid=14512] ppid=14467 vsize=186272 CPUtime=974.83 cores=0,2,4,6
/proc/14512/stat : 14512 (glucosInc) R 14467 14466 13680 0 -1 4202496 29624 0 0 0 97436 47 0 0 20 0 1 0 24197496 190742528 38452 33554432000 4194304 5654031 140733736566880 140733736554696 4232752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14512/statm: 46568 38452 141 357 0 46208 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 201368
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.06
CPU user time (s): 1799.17
CPU system time (s): 0.893864
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 258280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 0.893864
maximum resident set size= 204744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87000
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 511
involuntary context switches= 2263
runsolver used 3.47047 second user time and 9.08662 second system time
The end