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-3747105-1339100003/watcher-3747105-1339100003 -o /tmp/evaluation-result-3747105-1339100003/solver-3747105-1339100003 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747105-1339100003.opb 261770730 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: 1.96 1.99 1.69 2/178 23532
/proc/meminfo: memFree=29131788/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
[startup+0.018032 s]
/proc/loadavg: 1.96 1.99 1.69 2/178 23532
/proc/meminfo: memFree=29131788/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100282 s]
/proc/loadavg: 1.96 1.99 1.69 2/178 23532
/proc/meminfo: memFree=29131788/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300277 s]
/proc/loadavg: 1.96 1.99 1.69 2/178 23532
/proc/meminfo: memFree=29131788/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700242 s]
/proc/loadavg: 1.96 1.99 1.69 2/178 23532
/proc/meminfo: memFree=29131788/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 1.96 1.99 1.69 3/181 23543
/proc/meminfo: memFree=29101240/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
[pid=23533] ppid=23532 vsize=9912 CPUtime=1.09 cores=0,2,4,6
/proc/23533/stat : 23533 (npSolver-pbo) S 23532 23532 23264 0 -1 4202496 6585 13223 0 0 13 2 91 3 20 0 1 0 376124675 10149888 2084 33554432000 4194304 6004724 140735802168560 140735802154408 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23533/statm: 2478 2084 176 442 0 2032 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 19060
[startup+3.10028 s]
/proc/loadavg: 1.96 1.99 1.69 3/181 23547
/proc/meminfo: memFree=29101304/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
[pid=23533] ppid=23532 vsize=9912 CPUtime=2.42 cores=0,2,4,6
/proc/23533/stat : 23533 (npSolver-pbo) S 23532 23532 23264 0 -1 4202496 9849 23842 0 0 21 3 212 6 20 0 1 0 376124675 10149888 2084 33554432000 4194304 6004724 140735802168560 140735802154408 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23533/statm: 2478 2084 176 442 0 2032 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 19060
heavy processes:
[startup+6.30031 s]
/proc/loadavg: 1.97 1.99 1.69 3/181 23553
/proc/meminfo: memFree=29101056/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
[pid=23533] ppid=23532 vsize=9912 CPUtime=3.87 cores=0,2,4,6
/proc/23533/stat : 23533 (npSolver-pbo) S 23532 23532 23264 0 -1 4202496 13113 34717 0 0 30 4 345 8 20 0 1 0 376124675 10149888 2084 33554432000 4194304 6004724 140735802168560 140735802154408 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23533/statm: 2478 2084 176 442 0 2032 0
[pid=23553] ppid=23533 vsize=21980 CPUtime=2.41 cores=0,2,4,6
/proc/23553/stat : 23553 (glucosInc) R 23533 23532 23264 0 -1 4202496 5513 0 0 0 239 2 0 0 20 0 1 0 376125063 22507520 4752 33554432000 4194304 5654031 140733450515840 140733450503656 4232651 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23553/statm: 5495 4752 141 357 0 5135 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 41040
[startup+12.7003 s]
/proc/loadavg: 1.97 1.99 1.69 3/181 23557
/proc/meminfo: memFree=29099700/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
[pid=23533] ppid=23532 vsize=9912 CPUtime=10.39 cores=0,2,4,6
/proc/23533/stat : 23533 (npSolver-pbo) S 23532 23532 23264 0 -1 4202496 16377 47225 0 0 38 4 985 12 20 0 1 0 376124675 10149888 2084 33554432000 4194304 6004724 140735802168560 140735802154408 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23533/statm: 2478 2084 176 442 0 2032 0
[pid=23557] ppid=23533 vsize=24036 CPUtime=2.28 cores=0,2,4,6
/proc/23557/stat : 23557 (glucosInc) R 23533 23532 23264 0 -1 4202496 4756 0 0 0 227 1 0 0 20 0 1 0 376125716 24612864 4915 33554432000 4194304 5654031 140734611939376 140734611927192 4217184 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23557/statm: 6009 4915 141 357 0 5649 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 43096
[startup+25.5003 s]
/proc/loadavg: 1.97 1.99 1.70 3/181 23563
/proc/meminfo: memFree=29081392/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
[pid=23533] ppid=23532 vsize=9912 CPUtime=24.34 cores=0,2,4,6
/proc/23533/stat : 23533 (npSolver-pbo) S 23532 23532 23264 0 -1 4202496 21273 69204 0 0 50 6 2360 18 20 0 1 0 376124675 10149888 2084 33554432000 4194304 6004724 140735802168560 140735802154408 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23533/statm: 2478 2084 176 442 0 2032 0
[pid=23563] ppid=23533 vsize=23468 CPUtime=1.12 cores=0,2,4,6
/proc/23563/stat : 23563 (glucosInc) R 23533 23532 23264 0 -1 4202496 4786 0 0 0 112 0 0 0 20 0 1 0 376127111 24031232 4952 33554432000 4194304 5654031 140733839237472 140733839235240 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23563/statm: 5867 4952 140 357 0 5507 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 42528
[startup+51.1004 s]
/proc/loadavg: 1.98 1.99 1.70 3/181 23563
/proc/meminfo: memFree=29053204/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
[pid=23533] ppid=23532 vsize=9912 CPUtime=24.34 cores=0,2,4,6
/proc/23533/stat : 23533 (npSolver-pbo) S 23532 23532 23264 0 -1 4202496 21273 69204 0 0 50 6 2360 18 20 0 1 0 376124675 10149888 2084 33554432000 4194304 6004724 140735802168560 140735802154408 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23533/statm: 2478 2084 176 442 0 2032 0
[pid=23563] ppid=23533 vsize=38156 CPUtime=26.72 cores=0,2,4,6
/proc/23563/stat : 23563 (glucosInc) R 23533 23532 23264 0 -1 4202496 8518 0 0 0 2671 1 0 0 20 0 1 0 376127111 39071744 8769 33554432000 4194304 5654031 140733839237472 140733839225288 4233232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23563/statm: 9539 8769 141 357 0 9179 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 57216
[startup+102.307 s]
/proc/loadavg: 1.99 1.99 1.72 3/180 23567
/proc/meminfo: memFree=29066976/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
[pid=23533] ppid=23532 vsize=9912 CPUtime=99.94 cores=0,2,4,6
/proc/23533/stat : 23533 (npSolver-pbo) S 23532 23532 23264 0 -1 4202496 24537 88606 0 0 59 7 9905 23 20 0 1 0 376124675 10149888 2084 33554432000 4194304 6004724 140735802168560 140735802154408 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23533/statm: 2478 2084 176 442 0 2032 0
[pid=23567] ppid=23533 vsize=24136 CPUtime=2.32 cores=0,2,4,6
/proc/23567/stat : 23567 (glucosInc) R 23533 23532 23264 0 -1 4202496 4848 0 0 0 232 0 0 0 20 0 1 0 376134672 24715264 4858 33554432000 4194304 5654031 140733620102704 140733620090520 4208584 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23567/statm: 6034 4858 141 357 0 5674 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 43196
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.73 3/181 23568
/proc/meminfo: memFree=29025704/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
[pid=23533] ppid=23532 vsize=9912 CPUtime=99.94 cores=0,2,4,6
/proc/23533/stat : 23533 (npSolver-pbo) S 23532 23532 23264 0 -1 4202496 24537 88606 0 0 59 7 9905 23 20 0 1 0 376124675 10149888 2084 33554432000 4194304 6004724 140735802168560 140735802154408 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23533/statm: 2478 2084 176 442 0 2032 0
[pid=23567] ppid=23533 vsize=52920 CPUtime=62.31 cores=0,2,4,6
/proc/23567/stat : 23567 (glucosInc) R 23533 23532 23264 0 -1 4202496 9723 0 0 0 6229 2 0 0 20 0 1 0 376134672 54190080 11546 33554432000 4194304 5654031 140733620102704 140733620090520 4215964 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23567/statm: 13230 11546 141 357 0 12870 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 71980
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.75 3/181 23568
/proc/meminfo: memFree=29017624/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
[pid=23533] ppid=23532 vsize=9912 CPUtime=99.94 cores=0,2,4,6
/proc/23533/stat : 23533 (npSolver-pbo) S 23532 23532 23264 0 -1 4202496 24537 88606 0 0 59 7 9905 23 20 0 1 0 376124675 10149888 2084 33554432000 4194304 6004724 140735802168560 140735802154408 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23533/statm: 2478 2084 176 442 0 2032 0
[pid=23567] ppid=23533 vsize=52920 CPUtime=122.29 cores=0,2,4,6
/proc/23567/stat : 23567 (glucosInc) R 23533 23532 23264 0 -1 4202496 10571 0 0 0 12226 3 0 0 20 0 1 0 376134672 54190080 12482 33554432000 4194304 5654031 140733620102704 140733620090520 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23567/statm: 13230 12482 141 357 0 12870 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 71980
[startup+282.3 s]
/proc/loadavg: 2.03 2.00 1.76 3/181 23568
/proc/meminfo: memFree=28997452/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
################
# More data... #
################
/proc/meminfo: memFree=28862572/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
[pid=23533] ppid=23532 vsize=9912 CPUtime=592.75 cores=0,2,4,6
/proc/23533/stat : 23533 (npSolver-pbo) S 23532 23532 23264 0 -1 4202496 26169 100576 0 0 63 7 59175 30 20 0 1 0 376124675 10149888 2084 33554432000 4194304 6004724 140735802168560 140735802154408 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23533/statm: 2478 2084 176 442 0 2032 0
[pid=23574] ppid=23533 vsize=152084 CPUtime=649.31 cores=0,2,4,6
/proc/23574/stat : 23574 (glucosInc) R 23533 23532 23264 0 -1 4202496 16158 0 0 0 64921 10 0 0 20 0 1 0 376183961 155734016 35594 33554432000 4194304 5654031 140734517156544 140734517144360 4232607 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23574/statm: 38021 35594 141 357 0 37661 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 171144
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/181 23579
/proc/meminfo: memFree=28892484/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
[pid=23533] ppid=23532 vsize=9912 CPUtime=592.75 cores=0,2,4,6
/proc/23533/stat : 23533 (npSolver-pbo) S 23532 23532 23264 0 -1 4202496 26169 100576 0 0 63 7 59175 30 20 0 1 0 376124675 10149888 2084 33554432000 4194304 6004724 140735802168560 140735802154408 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23533/statm: 2478 2084 176 442 0 2032 0
[pid=23574] ppid=23533 vsize=102764 CPUtime=709.31 cores=0,2,4,6
/proc/23574/stat : 23574 (glucosInc) R 23533 23532 23264 0 -1 4202496 16542 0 0 0 70920 11 0 0 20 0 1 0 376183961 105230336 24994 33554432000 4194304 5654031 140734517156544 140734517144360 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23574/statm: 25691 24994 141 357 0 25331 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 121824
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 23580
/proc/meminfo: memFree=28851172/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
[pid=23533] ppid=23532 vsize=9912 CPUtime=592.75 cores=0,2,4,6
/proc/23533/stat : 23533 (npSolver-pbo) S 23532 23532 23264 0 -1 4202496 26169 100576 0 0 63 7 59175 30 20 0 1 0 376124675 10149888 2084 33554432000 4194304 6004724 140735802168560 140735802154408 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23533/statm: 2478 2084 176 442 0 2032 0
[pid=23574] ppid=23533 vsize=152084 CPUtime=769.29 cores=0,2,4,6
/proc/23574/stat : 23574 (glucosInc) R 23533 23532 23264 0 -1 4202496 17893 0 0 0 76916 13 0 0 20 0 1 0 376183961 155734016 33034 33554432000 4194304 5654031 140734517156544 140734517144360 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23574/statm: 38021 33034 141 357 0 37661 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 171144
[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 1.91 3/181 23580
/proc/meminfo: memFree=28841168/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
[pid=23533] ppid=23532 vsize=9912 CPUtime=592.75 cores=0,2,4,6
/proc/23533/stat : 23533 (npSolver-pbo) S 23532 23532 23264 0 -1 4202496 26169 100576 0 0 63 7 59175 30 20 0 1 0 376124675 10149888 2084 33554432000 4194304 6004724 140735802168560 140735802154408 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23533/statm: 2478 2084 176 442 0 2032 0
[pid=23574] ppid=23533 vsize=152084 CPUtime=829.29 cores=0,2,4,6
/proc/23574/stat : 23574 (glucosInc) R 23533 23532 23264 0 -1 4202496 18620 0 0 0 82914 15 0 0 20 0 1 0 376183961 155734016 33034 33554432000 4194304 5654031 140734517156544 140734517154472 4233144 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23574/statm: 38021 33034 141 357 0 37661 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 171144
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/180 23580
/proc/meminfo: memFree=28917768/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
[pid=23533] ppid=23532 vsize=9912 CPUtime=592.75 cores=0,2,4,6
/proc/23533/stat : 23533 (npSolver-pbo) S 23532 23532 23264 0 -1 4202496 26169 100576 0 0 63 7 59175 30 20 0 1 0 376124675 10149888 2084 33554432000 4194304 6004724 140735802168560 140735802154408 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23533/statm: 2478 2084 176 442 0 2032 0
[pid=23574] ppid=23533 vsize=115808 CPUtime=889.28 cores=0,2,4,6
/proc/23574/stat : 23574 (glucosInc) R 23533 23532 23264 0 -1 4202496 18696 0 0 0 88913 15 0 0 20 0 1 0 376183961 118587392 27624 33554432000 4194304 5654031 140734517156544 140734517154424 4233464 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23574/statm: 28952 27624 141 357 0 28592 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 134868
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/181 23581
/proc/meminfo: memFree=28872644/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
[pid=23533] ppid=23532 vsize=9912 CPUtime=592.75 cores=0,2,4,6
/proc/23533/stat : 23533 (npSolver-pbo) S 23532 23532 23264 0 -1 4202496 26169 100576 0 0 63 7 59175 30 20 0 1 0 376124675 10149888 2084 33554432000 4194304 6004724 140735802168560 140735802154408 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23533/statm: 2478 2084 176 442 0 2032 0
[pid=23574] ppid=23533 vsize=165128 CPUtime=949.26 cores=0,2,4,6
/proc/23574/stat : 23574 (glucosInc) R 23533 23532 23264 0 -1 4202496 19585 0 0 0 94910 16 0 0 20 0 1 0 376183961 169091072 37332 33554432000 4194304 5654031 140734517156544 140734517144360 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23574/statm: 41282 37332 141 357 0 40922 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 184188
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 23584
/proc/meminfo: memFree=28869920/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
[pid=23533] ppid=23532 vsize=9912 CPUtime=592.75 cores=0,2,4,6
/proc/23533/stat : 23533 (npSolver-pbo) S 23532 23532 23264 0 -1 4202496 26169 100576 0 0 63 7 59175 30 20 0 1 0 376124675 10149888 2084 33554432000 4194304 6004724 140735802168560 140735802154408 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23533/statm: 2478 2084 176 442 0 2032 0
[pid=23574] ppid=23533 vsize=165128 CPUtime=1009.25 cores=0,2,4,6
/proc/23574/stat : 23574 (glucosInc) R 23533 23532 23264 0 -1 4202496 20559 0 0 0 100907 18 0 0 20 0 1 0 376183961 169091072 37844 33554432000 4194304 5654031 140734517156544 140734517144360 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23574/statm: 41282 37844 141 357 0 40922 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 184188
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 23585
/proc/meminfo: memFree=28866300/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
[pid=23533] ppid=23532 vsize=9912 CPUtime=592.75 cores=0,2,4,6
/proc/23533/stat : 23533 (npSolver-pbo) S 23532 23532 23264 0 -1 4202496 26169 100576 0 0 63 7 59175 30 20 0 1 0 376124675 10149888 2084 33554432000 4194304 6004724 140735802168560 140735802154408 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23533/statm: 2478 2084 176 442 0 2032 0
[pid=23574] ppid=23533 vsize=165128 CPUtime=1069.25 cores=0,2,4,6
/proc/23574/stat : 23574 (glucosInc) R 23533 23532 23264 0 -1 4202496 21536 0 0 0 106905 20 0 0 20 0 1 0 376183961 169091072 37332 33554432000 4194304 5654031 140734517156544 140734517144360 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23574/statm: 41282 37332 141 357 0 40922 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 184188
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 23585
/proc/meminfo: memFree=28898336/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
[pid=23533] ppid=23532 vsize=9912 CPUtime=592.75 cores=0,2,4,6
/proc/23533/stat : 23533 (npSolver-pbo) S 23532 23532 23264 0 -1 4202496 26169 100576 0 0 63 7 59175 30 20 0 1 0 376124675 10149888 2084 33554432000 4194304 6004724 140735802168560 140735802154408 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23533/statm: 2478 2084 176 442 0 2032 0
[pid=23574] ppid=23533 vsize=115808 CPUtime=1129.24 cores=0,2,4,6
/proc/23574/stat : 23574 (glucosInc) R 23533 23532 23264 0 -1 4202496 22130 0 0 0 112903 21 0 0 20 0 1 0 376183961 118587392 28268 33554432000 4194304 5654031 140734517156544 140734517144360 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23574/statm: 28952 28268 141 357 0 28592 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 134868
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 23585
/proc/meminfo: memFree=28889664/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
[pid=23533] ppid=23532 vsize=9912 CPUtime=592.75 cores=0,2,4,6
/proc/23533/stat : 23533 (npSolver-pbo) S 23532 23532 23264 0 -1 4202496 26169 100576 0 0 63 7 59175 30 20 0 1 0 376124675 10149888 2084 33554432000 4194304 6004724 140735802168560 140735802154408 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23533/statm: 2478 2084 176 442 0 2032 0
[pid=23574] ppid=23533 vsize=115808 CPUtime=1189.23 cores=0,2,4,6
/proc/23574/stat : 23574 (glucosInc) R 23533 23532 23264 0 -1 4202496 23101 0 0 0 118900 23 0 0 20 0 1 0 376183961 118587392 28268 33554432000 4194304 5654031 140734517156544 140734517144360 4232386 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23574/statm: 28952 28268 141 357 0 28592 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 134868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 23629
/proc/meminfo: memFree=29018748/32873844 swapFree=7644/7644
[pid=23532] ppid=23530 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23532/stat : 23532 (npSolver-pbo-It) S 23530 23532 23264 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124674 9367552 275 33554432000 4194304 5064252 140734212909760 140734212908672 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23532/statm: 2287 275 233 213 0 72 0
[pid=23533] ppid=23532 vsize=9912 CPUtime=592.75 cores=0,2,4,6
/proc/23533/stat : 23533 (npSolver-pbo) S 23532 23532 23264 0 -1 4202496 26169 100576 0 0 63 7 59175 30 20 0 1 0 376124675 10149888 2084 33554432000 4194304 6004724 140735802168560 140735802154408 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23533/statm: 2478 2084 176 442 0 2032 0
[pid=23574] ppid=23533 vsize=165128 CPUtime=1207.33 cores=0,2,4,6
/proc/23574/stat : 23574 (glucosInc) R 23533 23532 23264 0 -1 4202496 23479 0 0 0 120710 23 0 0 20 0 1 0 376183961 169091072 37844 33554432000 4194304 5654031 140734517156544 140734517144360 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23574/statm: 41282 37844 141 357 0 40922 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 184188
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.11
CPU user time (s): 1799.49
CPU system time (s): 0.621905
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 215008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.621905
maximum resident set size= 176220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150603
page faults= 0
swaps= 0
block input operations= 0
block output operations= 53736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1753
involuntary context switches= 2343
runsolver used 3.14452 second user time and 8.92764 second system time
The end