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-3752379-1339163719/watcher-3752379-1339163719 -o /tmp/evaluation-result-3752379-1339163719/solver-3752379-1339163719 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752379-1339163719.opb 1389173185 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: 1.96 2.00 2.22 3/179 25134
/proc/meminfo: memFree=25013980/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
[startup+0.072657 s]
/proc/loadavg: 1.96 2.00 2.22 3/179 25134
/proc/meminfo: memFree=25013980/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100318 s]
/proc/loadavg: 1.96 2.00 2.22 3/179 25134
/proc/meminfo: memFree=25013980/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300255 s]
/proc/loadavg: 1.96 2.00 2.22 3/179 25134
/proc/meminfo: memFree=25013980/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700279 s]
/proc/loadavg: 1.96 2.00 2.22 3/179 25134
/proc/meminfo: memFree=25013980/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50042 s]
/proc/loadavg: 1.96 2.00 2.22 3/182 25143
/proc/meminfo: memFree=24905432/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
[pid=25135] ppid=25134 vsize=26892 CPUtime=0.76 cores=1,3,5,7
/proc/25135/stat : 25135 (npSolver-pbo) S 25134 25134 14188 0 -1 4202496 7746 4317 0 0 56 10 9 1 20 0 1 0 382496194 27537408 6406 33554432000 4194304 6004724 140733218484256 140733218470104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25135/statm: 6723 6406 191 442 0 6277 0
[pid=25143] ppid=25135 vsize=92776 CPUtime=0.7 cores=1,3,5,7
/proc/25143/stat : 25143 (glucosInc) R 25135 25134 14188 0 -1 4202496 19569 0 0 0 66 4 0 0 20 0 1 0 382496272 95002624 20660 33554432000 4194304 5654031 140734304907008 140734303856648 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25143/statm: 23194 20660 141 357 0 22834 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 128816
[startup+3.10041 s]
/proc/loadavg: 1.96 2.00 2.22 3/182 25143
/proc/meminfo: memFree=24872860/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
[pid=25135] ppid=25134 vsize=26892 CPUtime=0.76 cores=1,3,5,7
/proc/25135/stat : 25135 (npSolver-pbo) S 25134 25134 14188 0 -1 4202496 7746 4317 0 0 56 10 9 1 20 0 1 0 382496194 27537408 6406 33554432000 4194304 6004724 140733218484256 140733218470104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25135/statm: 6723 6406 191 442 0 6277 0
[pid=25143] ppid=25135 vsize=93952 CPUtime=2.3 cores=1,3,5,7
/proc/25143/stat : 25143 (glucosInc) R 25135 25134 14188 0 -1 4202496 19857 0 0 0 226 4 0 0 20 0 1 0 382496272 96206848 20948 33554432000 4194304 5654031 140734304907008 140734304894824 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25143/statm: 23488 20948 141 357 0 23128 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 129992
[startup+6.30038 s]
/proc/loadavg: 1.97 2.00 2.22 3/182 25143
/proc/meminfo: memFree=24872616/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
[pid=25135] ppid=25134 vsize=26892 CPUtime=0.76 cores=1,3,5,7
/proc/25135/stat : 25135 (npSolver-pbo) S 25134 25134 14188 0 -1 4202496 7746 4317 0 0 56 10 9 1 20 0 1 0 382496194 27537408 6406 33554432000 4194304 6004724 140733218484256 140733218470104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25135/statm: 6723 6406 191 442 0 6277 0
[pid=25143] ppid=25135 vsize=93952 CPUtime=5.5 cores=1,3,5,7
/proc/25143/stat : 25143 (glucosInc) R 25135 25134 14188 0 -1 4202496 20117 0 0 0 546 4 0 0 20 0 1 0 382496272 96206848 21204 33554432000 4194304 5654031 140734304907008 140734304894824 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25143/statm: 23488 21204 142 357 0 23128 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 129992
[startup+12.7004 s]
/proc/loadavg: 1.97 2.00 2.22 3/182 25143
/proc/meminfo: memFree=24872592/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
[pid=25135] ppid=25134 vsize=26892 CPUtime=0.76 cores=1,3,5,7
/proc/25135/stat : 25135 (npSolver-pbo) S 25134 25134 14188 0 -1 4202496 7746 4317 0 0 56 10 9 1 20 0 1 0 382496194 27537408 6406 33554432000 4194304 6004724 140733218484256 140733218470104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25135/statm: 6723 6406 191 442 0 6277 0
[pid=25143] ppid=25135 vsize=94908 CPUtime=11.9 cores=1,3,5,7
/proc/25143/stat : 25143 (glucosInc) R 25135 25134 14188 0 -1 4202496 20215 0 0 0 1186 4 0 0 20 0 1 0 382496272 97185792 21293 33554432000 4194304 5654031 140734304907008 140734304894824 4214550 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25143/statm: 23727 21293 142 357 0 23367 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 130948
[startup+25.5004 s]
/proc/loadavg: 2.05 2.02 2.22 3/182 25143
/proc/meminfo: memFree=24871484/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
[pid=25135] ppid=25134 vsize=26892 CPUtime=0.76 cores=1,3,5,7
/proc/25135/stat : 25135 (npSolver-pbo) S 25134 25134 14188 0 -1 4202496 7746 4317 0 0 56 10 9 1 20 0 1 0 382496194 27537408 6406 33554432000 4194304 6004724 140733218484256 140733218470104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25135/statm: 6723 6406 191 442 0 6277 0
[pid=25143] ppid=25135 vsize=94908 CPUtime=24.7 cores=1,3,5,7
/proc/25143/stat : 25143 (glucosInc) R 25135 25134 14188 0 -1 4202496 20225 0 0 0 2466 4 0 0 20 0 1 0 382496272 97185792 21300 33554432000 4194304 5654031 140734304907008 140734304894824 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25143/statm: 23727 21300 142 357 0 23367 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 130948
[startup+51.1003 s]
/proc/loadavg: 2.03 2.02 2.22 3/182 25143
/proc/meminfo: memFree=24866324/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
[pid=25135] ppid=25134 vsize=26892 CPUtime=0.76 cores=1,3,5,7
/proc/25135/stat : 25135 (npSolver-pbo) S 25134 25134 14188 0 -1 4202496 7746 4317 0 0 56 10 9 1 20 0 1 0 382496194 27537408 6406 33554432000 4194304 6004724 140733218484256 140733218470104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25135/statm: 6723 6406 191 442 0 6277 0
[pid=25143] ppid=25135 vsize=107112 CPUtime=50.29 cores=1,3,5,7
/proc/25143/stat : 25143 (glucosInc) R 25135 25134 14188 0 -1 4202496 20969 0 0 0 5024 5 0 0 20 0 1 0 382496272 109682688 22521 33554432000 4194304 5654031 140734304907008 140734304894824 4233299 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25143/statm: 26778 22521 142 357 0 26418 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 143152
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.20 3/181 25143
/proc/meminfo: memFree=24814724/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
[pid=25135] ppid=25134 vsize=26892 CPUtime=0.76 cores=1,3,5,7
/proc/25135/stat : 25135 (npSolver-pbo) S 25134 25134 14188 0 -1 4202496 7746 4317 0 0 56 10 9 1 20 0 1 0 382496194 27537408 6406 33554432000 4194304 6004724 140733218484256 140733218470104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25135/statm: 6723 6406 191 442 0 6277 0
[pid=25143] ppid=25135 vsize=158804 CPUtime=101.49 cores=1,3,5,7
/proc/25143/stat : 25143 (glucosInc) R 25135 25134 14188 0 -1 4202496 22757 0 0 0 10142 7 0 0 20 0 1 0 382496272 162615296 35295 33554432000 4194304 5654031 140734304907008 140734304894824 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25143/statm: 39701 35295 142 357 0 39341 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 194844
[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.19 3/181 25143
/proc/meminfo: memFree=24789712/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
[pid=25135] ppid=25134 vsize=26892 CPUtime=0.76 cores=1,3,5,7
/proc/25135/stat : 25135 (npSolver-pbo) S 25134 25134 14188 0 -1 4202496 7746 4317 0 0 56 10 9 1 20 0 1 0 382496194 27537408 6406 33554432000 4194304 6004724 140733218484256 140733218470104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25135/statm: 6723 6406 191 442 0 6277 0
[pid=25143] ppid=25135 vsize=177772 CPUtime=161.48 cores=1,3,5,7
/proc/25143/stat : 25143 (glucosInc) R 25135 25134 14188 0 -1 4202496 23317 0 0 0 16139 9 0 0 20 0 1 0 382496272 182038528 41439 33554432000 4194304 5654031 140734304907008 140734304894824 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25143/statm: 44443 41439 142 357 0 44083 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 213812
[startup+222.3 s]
/proc/loadavg: 2.05 2.03 2.18 3/181 25143
/proc/meminfo: memFree=24785220/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
[pid=25135] ppid=25134 vsize=26892 CPUtime=0.76 cores=1,3,5,7
/proc/25135/stat : 25135 (npSolver-pbo) S 25134 25134 14188 0 -1 4202496 7746 4317 0 0 56 10 9 1 20 0 1 0 382496194 27537408 6406 33554432000 4194304 6004724 140733218484256 140733218470104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25135/statm: 6723 6406 191 442 0 6277 0
[pid=25143] ppid=25135 vsize=177772 CPUtime=221.47 cores=1,3,5,7
/proc/25143/stat : 25143 (glucosInc) R 25135 25134 14188 0 -1 4202496 23353 0 0 0 22138 9 0 0 20 0 1 0 382496272 182038528 42496 33554432000 4194304 5654031 140734304907008 140734304894824 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25143/statm: 44443 42496 142 357 0 44083 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 213812
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29311512/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
[pid=25135] ppid=25134 vsize=26892 CPUtime=0.76 cores=1,3,5,7
/proc/25135/stat : 25135 (npSolver-pbo) S 25134 25134 14188 0 -1 4202496 7746 4317 0 0 56 10 9 1 20 0 1 0 382496194 27537408 6406 33554432000 4194304 6004724 140733218484256 140733218470104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25135/statm: 6723 6406 191 442 0 6277 0
[pid=25143] ppid=25135 vsize=260344 CPUtime=1241.29 cores=1,3,5,7
/proc/25143/stat : 25143 (glucosInc) R 25135 25134 14188 0 -1 4202496 36127 0 0 0 124089 40 0 0 20 0 1 0 382496272 266592256 63209 33554432000 4194304 5654031 140734304907008 140734304894824 4216272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25143/statm: 65086 63209 142 357 0 64726 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 296384
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/181 25221
/proc/meminfo: memFree=29336008/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
[pid=25135] ppid=25134 vsize=26892 CPUtime=0.76 cores=1,3,5,7
/proc/25135/stat : 25135 (npSolver-pbo) S 25134 25134 14188 0 -1 4202496 7746 4317 0 0 56 10 9 1 20 0 1 0 382496194 27537408 6406 33554432000 4194304 6004724 140733218484256 140733218470104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25135/statm: 6723 6406 191 442 0 6277 0
[pid=25143] ppid=25135 vsize=260344 CPUtime=1301.28 cores=1,3,5,7
/proc/25143/stat : 25143 (glucosInc) R 25135 25134 14188 0 -1 4202496 36766 0 0 0 130087 41 0 0 20 0 1 0 382496272 266592256 62252 33554432000 4194304 5654031 140734304907008 140734304894824 4215778 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25143/statm: 65086 62252 142 357 0 64726 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 296384
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/181 25221
/proc/meminfo: memFree=29317516/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
[pid=25135] ppid=25134 vsize=26892 CPUtime=0.76 cores=1,3,5,7
/proc/25135/stat : 25135 (npSolver-pbo) S 25134 25134 14188 0 -1 4202496 7746 4317 0 0 56 10 9 1 20 0 1 0 382496194 27537408 6406 33554432000 4194304 6004724 140733218484256 140733218470104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25135/statm: 6723 6406 191 442 0 6277 0
[pid=25143] ppid=25135 vsize=260344 CPUtime=1361.27 cores=1,3,5,7
/proc/25143/stat : 25143 (glucosInc) R 25135 25134 14188 0 -1 4202496 37749 0 0 0 136084 43 0 0 20 0 1 0 382496272 266592256 60783 33554432000 4194304 5654031 140734304907008 140734304894824 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25143/statm: 65086 60783 142 357 0 64726 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 296384
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 25221
/proc/meminfo: memFree=29328268/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
[pid=25135] ppid=25134 vsize=26892 CPUtime=0.76 cores=1,3,5,7
/proc/25135/stat : 25135 (npSolver-pbo) S 25134 25134 14188 0 -1 4202496 7746 4317 0 0 56 10 9 1 20 0 1 0 382496194 27537408 6406 33554432000 4194304 6004724 140733218484256 140733218470104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25135/statm: 6723 6406 191 442 0 6277 0
[pid=25143] ppid=25135 vsize=260344 CPUtime=1421.26 cores=1,3,5,7
/proc/25143/stat : 25143 (glucosInc) R 25135 25134 14188 0 -1 4202496 38596 0 0 0 142081 45 0 0 20 0 1 0 382496272 266592256 58089 33554432000 4194304 5654031 140734304907008 140734304894824 4215040 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25143/statm: 65086 58089 142 357 0 64726 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 296384
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 25222
/proc/meminfo: memFree=29319968/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
[pid=25135] ppid=25134 vsize=26892 CPUtime=0.76 cores=1,3,5,7
/proc/25135/stat : 25135 (npSolver-pbo) S 25134 25134 14188 0 -1 4202496 7746 4317 0 0 56 10 9 1 20 0 1 0 382496194 27537408 6406 33554432000 4194304 6004724 140733218484256 140733218470104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25135/statm: 6723 6406 191 442 0 6277 0
[pid=25143] ppid=25135 vsize=260344 CPUtime=1481.25 cores=1,3,5,7
/proc/25143/stat : 25143 (glucosInc) R 25135 25134 14188 0 -1 4202496 38603 0 0 0 148079 46 0 0 20 0 1 0 382496272 266592256 61673 33554432000 4194304 5654031 140734304907008 140734304894824 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25143/statm: 65086 61673 142 357 0 64726 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 296384
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/182 25225
/proc/meminfo: memFree=29336036/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
[pid=25135] ppid=25134 vsize=26892 CPUtime=0.76 cores=1,3,5,7
/proc/25135/stat : 25135 (npSolver-pbo) S 25134 25134 14188 0 -1 4202496 7746 4317 0 0 56 10 9 1 20 0 1 0 382496194 27537408 6406 33554432000 4194304 6004724 140733218484256 140733218470104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25135/statm: 6723 6406 191 442 0 6277 0
[pid=25143] ppid=25135 vsize=260344 CPUtime=1541.24 cores=1,3,5,7
/proc/25143/stat : 25143 (glucosInc) R 25135 25134 14188 0 -1 4202496 39760 0 0 0 154076 48 0 0 20 0 1 0 382496272 266592256 59113 33554432000 4194304 5654031 140734304907008 140734304894824 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25143/statm: 65086 59113 142 357 0 64726 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 296384
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/181 25225
/proc/meminfo: memFree=29298064/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
[pid=25135] ppid=25134 vsize=26892 CPUtime=0.76 cores=1,3,5,7
/proc/25135/stat : 25135 (npSolver-pbo) S 25134 25134 14188 0 -1 4202496 7746 4317 0 0 56 10 9 1 20 0 1 0 382496194 27537408 6406 33554432000 4194304 6004724 140733218484256 140733218470104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25135/statm: 6723 6406 191 442 0 6277 0
[pid=25143] ppid=25135 vsize=310432 CPUtime=1601.23 cores=1,3,5,7
/proc/25143/stat : 25143 (glucosInc) R 25135 25134 14188 0 -1 4202496 40390 0 0 0 160074 49 0 0 20 0 1 0 382496272 317882368 63820 33554432000 4194304 5654031 140734304907008 140734304894824 4216577 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25143/statm: 77608 63820 142 357 0 77248 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 346472
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 25225
/proc/meminfo: memFree=29332396/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
[pid=25135] ppid=25134 vsize=26892 CPUtime=0.76 cores=1,3,5,7
/proc/25135/stat : 25135 (npSolver-pbo) S 25134 25134 14188 0 -1 4202496 7746 4317 0 0 56 10 9 1 20 0 1 0 382496194 27537408 6406 33554432000 4194304 6004724 140733218484256 140733218470104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25135/statm: 6723 6406 191 442 0 6277 0
[pid=25143] ppid=25135 vsize=260344 CPUtime=1661.23 cores=1,3,5,7
/proc/25143/stat : 25143 (glucosInc) R 25135 25134 14188 0 -1 4202496 40915 0 0 0 166071 52 0 0 20 0 1 0 382496272 266592256 59625 33554432000 4194304 5654031 140734304907008 140734304894824 4214977 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25143/statm: 65086 59625 142 357 0 64726 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 296384
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 25225
/proc/meminfo: memFree=29292680/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
[pid=25135] ppid=25134 vsize=26892 CPUtime=0.76 cores=1,3,5,7
/proc/25135/stat : 25135 (npSolver-pbo) S 25134 25134 14188 0 -1 4202496 7746 4317 0 0 56 10 9 1 20 0 1 0 382496194 27537408 6406 33554432000 4194304 6004724 140733218484256 140733218470104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25135/statm: 6723 6406 191 442 0 6277 0
[pid=25143] ppid=25135 vsize=310432 CPUtime=1721.21 cores=1,3,5,7
/proc/25143/stat : 25143 (glucosInc) R 25135 25134 14188 0 -1 4202496 41742 0 0 0 172068 53 0 0 20 0 1 0 382496272 317882368 64534 33554432000 4194304 5654031 140734304907008 140734304894824 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25143/statm: 77608 64534 142 357 0 77248 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 346472
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 25226
/proc/meminfo: memFree=29264488/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
[pid=25135] ppid=25134 vsize=26892 CPUtime=0.76 cores=1,3,5,7
/proc/25135/stat : 25135 (npSolver-pbo) S 25134 25134 14188 0 -1 4202496 7746 4317 0 0 56 10 9 1 20 0 1 0 382496194 27537408 6406 33554432000 4194304 6004724 140733218484256 140733218470104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25135/statm: 6723 6406 191 442 0 6277 0
[pid=25143] ppid=25135 vsize=310432 CPUtime=1781.19 cores=1,3,5,7
/proc/25143/stat : 25143 (glucosInc) R 25135 25134 14188 0 -1 4202496 41776 0 0 0 178065 54 0 0 20 0 1 0 382496272 317882368 68630 33554432000 4194304 5654031 140734304907008 140734304894824 4208641 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25143/statm: 77608 68630 142 357 0 77248 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 346472
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 25226
/proc/meminfo: memFree=29294216/32873844 swapFree=7632/7632
[pid=25134] ppid=25132 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (npSolver-pbo-It) S 25132 25134 14188 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382496193 9367552 274 33554432000 4194304 5064252 140734674260208 140734674259120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25134/statm: 2287 274 233 213 0 72 0
[pid=25135] ppid=25134 vsize=26892 CPUtime=0.76 cores=1,3,5,7
/proc/25135/stat : 25135 (npSolver-pbo) S 25134 25134 14188 0 -1 4202496 7746 4317 0 0 56 10 9 1 20 0 1 0 382496194 27537408 6406 33554432000 4194304 6004724 140733218484256 140733218470104 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25135/statm: 6723 6406 191 442 0 6277 0
[pid=25143] ppid=25135 vsize=260344 CPUtime=1799.29 cores=1,3,5,7
/proc/25143/stat : 25143 (glucosInc) R 25135 25134 14188 0 -1 4202496 42086 0 0 0 179874 55 0 0 20 0 1 0 382496272 266592256 60649 33554432000 4194304 5654031 140734304907008 140734304894824 4232927 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25143/statm: 65086 60649 142 357 0 64726 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 296384
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.09
CPU user time (s): 1799.41
CPU system time (s): 0.680896
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 426612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.680896
maximum resident set size= 339004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54531
page faults= 0
swaps= 0
block input operations= 0
block output operations= 66272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98
involuntary context switches= 1885
runsolver used 3.20951 second user time and 8.62969 second system time
The end