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-3748136-1339218936/watcher-3748136-1339218936 -o /tmp/evaluation-result-3748136-1339218936/solver-3748136-1339218936 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748136-1339218936.opb 2104545570 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: 0.00 0.00 0.00 1/171 4085
/proc/meminfo: memFree=30909992/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
[startup+0.0453959 s]
/proc/loadavg: 0.00 0.00 0.00 1/171 4085
/proc/meminfo: memFree=30909992/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100285 s]
/proc/loadavg: 0.00 0.00 0.00 1/171 4085
/proc/meminfo: memFree=30909992/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30015 s]
/proc/loadavg: 0.00 0.00 0.00 1/171 4085
/proc/meminfo: memFree=30909992/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70022 s]
/proc/loadavg: 0.00 0.00 0.00 1/171 4085
/proc/meminfo: memFree=30909992/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 4091
/proc/meminfo: memFree=30879536/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
[pid=4086] ppid=4085 vsize=17056 CPUtime=0.52 cores=0,2,4,6
/proc/4086/stat : 4086 (npSolver-pbo) S 4085 4085 4055 0 -1 4202496 5453 6996 0 0 15 1 35 1 20 0 1 0 388020964 17465344 3809 33554432000 4194304 6004724 140736270350528 140736270336808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4086/statm: 4264 3809 152 442 0 3818 0
[pid=4091] ppid=4086 vsize=15868 CPUtime=0.94 cores=0,2,4,6
/proc/4091/stat : 4091 (glucosInc) R 4086 4085 4055 0 -1 4202496 2492 0 0 0 94 0 0 0 20 0 1 0 388021018 16248832 3457 33554432000 4194304 5654031 140735776872720 140735776860536 4232984 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4091/statm: 3967 3457 140 357 0 3607 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 42072
[startup+3.10029 s]
/proc/loadavg: 0.08 0.02 0.01 2/174 4091
/proc/meminfo: memFree=30880680/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
[pid=4086] ppid=4085 vsize=17056 CPUtime=0.52 cores=0,2,4,6
/proc/4086/stat : 4086 (npSolver-pbo) S 4085 4085 4055 0 -1 4202496 5453 6996 0 0 15 1 35 1 20 0 1 0 388020964 17465344 3809 33554432000 4194304 6004724 140736270350528 140736270336808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4086/statm: 4264 3809 152 442 0 3818 0
[pid=4091] ppid=4086 vsize=16580 CPUtime=2.54 cores=0,2,4,6
/proc/4091/stat : 4091 (glucosInc) R 4086 4085 4055 0 -1 4202496 3774 0 0 0 253 1 0 0 20 0 1 0 388021018 16977920 3618 33554432000 4194304 5654031 140735776872720 140735776860536 4214632 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4091/statm: 4145 3618 141 357 0 3785 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 42784
[startup+6.30035 s]
/proc/loadavg: 0.08 0.02 0.01 3/181 4110
/proc/meminfo: memFree=30830792/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
[pid=4086] ppid=4085 vsize=17056 CPUtime=0.52 cores=0,2,4,6
/proc/4086/stat : 4086 (npSolver-pbo) S 4085 4085 4055 0 -1 4202496 5453 6996 0 0 15 1 35 1 20 0 1 0 388020964 17465344 3809 33554432000 4194304 6004724 140736270350528 140736270336808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4086/statm: 4264 3809 152 442 0 3818 0
[pid=4091] ppid=4086 vsize=26648 CPUtime=5.74 cores=0,2,4,6
/proc/4091/stat : 4091 (glucosInc) R 4086 4085 4055 0 -1 4202496 4821 0 0 0 573 1 0 0 20 0 1 0 388021018 27287552 5472 33554432000 4194304 5654031 140735776872720 140735776860536 4215353 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 6662 5472 141 357 0 6302 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 52852
[startup+12.7004 s]
/proc/loadavg: 0.37 0.08 0.03 3/181 4110
/proc/meminfo: memFree=30813764/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
[pid=4086] ppid=4085 vsize=17056 CPUtime=0.52 cores=0,2,4,6
/proc/4086/stat : 4086 (npSolver-pbo) S 4085 4085 4055 0 -1 4202496 5453 6996 0 0 15 1 35 1 20 0 1 0 388020964 17465344 3809 33554432000 4194304 6004724 140736270350528 140736270336808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4086/statm: 4264 3809 152 442 0 3818 0
[pid=4091] ppid=4086 vsize=42804 CPUtime=12.14 cores=0,2,4,6
/proc/4091/stat : 4091 (glucosInc) R 4086 4085 4055 0 -1 4202496 6328 0 0 0 1213 1 0 0 20 0 1 0 388021018 43831296 9413 33554432000 4194304 5654031 140735776872720 140735776860536 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 10701 9413 141 357 0 10341 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 69008
[startup+25.5004 s]
/proc/loadavg: 0.62 0.14 0.05 3/181 4110
/proc/meminfo: memFree=30779480/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
[pid=4086] ppid=4085 vsize=17056 CPUtime=0.52 cores=0,2,4,6
/proc/4086/stat : 4086 (npSolver-pbo) S 4085 4085 4055 0 -1 4202496 5453 6996 0 0 15 1 35 1 20 0 1 0 388020964 17465344 3809 33554432000 4194304 6004724 140736270350528 140736270336808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4086/statm: 4264 3809 152 442 0 3818 0
[pid=4091] ppid=4086 vsize=57128 CPUtime=24.93 cores=0,2,4,6
/proc/4091/stat : 4091 (glucosInc) R 4086 4085 4055 0 -1 4202496 7713 0 0 0 2491 2 0 0 20 0 1 0 388021018 58499072 11103 33554432000 4194304 5654031 140735776872720 140735776860536 4214612 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 14282 11103 141 357 0 13922 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 83332
[startup+51.1004 s]
/proc/loadavg: 1.09 0.29 0.10 3/181 4110
/proc/meminfo: memFree=30720372/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
[pid=4086] ppid=4085 vsize=17056 CPUtime=0.52 cores=0,2,4,6
/proc/4086/stat : 4086 (npSolver-pbo) S 4085 4085 4055 0 -1 4202496 5453 6996 0 0 15 1 35 1 20 0 1 0 388020964 17465344 3809 33554432000 4194304 6004724 140736270350528 140736270336808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4086/statm: 4264 3809 152 442 0 3818 0
[pid=4091] ppid=4086 vsize=76004 CPUtime=50.52 cores=0,2,4,6
/proc/4091/stat : 4091 (glucosInc) R 4086 4085 4055 0 -1 4202496 8604 0 0 0 5049 3 0 0 20 0 1 0 388021018 77828096 18545 33554432000 4194304 5654031 140735776872720 140735776860536 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 19001 18545 141 357 0 18641 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 102208
[startup+102.307 s]
/proc/loadavg: 1.64 0.58 0.20 3/181 4110
/proc/meminfo: memFree=30617292/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
[pid=4086] ppid=4085 vsize=17056 CPUtime=0.52 cores=0,2,4,6
/proc/4086/stat : 4086 (npSolver-pbo) S 4085 4085 4055 0 -1 4202496 5453 6996 0 0 15 1 35 1 20 0 1 0 388020964 17465344 3809 33554432000 4194304 6004724 140736270350528 140736270336808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4086/statm: 4264 3809 152 442 0 3818 0
[pid=4091] ppid=4086 vsize=126720 CPUtime=101.72 cores=0,2,4,6
/proc/4091/stat : 4091 (glucosInc) R 4086 4085 4055 0 -1 4202496 10645 0 0 0 10166 6 0 0 20 0 1 0 388021018 129761280 27855 33554432000 4194304 5654031 140735776872720 140735776860536 4233168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 31680 27855 141 357 0 31320 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 152924
[startup+162.3 s]
/proc/loadavg: 1.92 0.85 0.32 3/181 4111
/proc/meminfo: memFree=30592112/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
[pid=4086] ppid=4085 vsize=17056 CPUtime=0.52 cores=0,2,4,6
/proc/4086/stat : 4086 (npSolver-pbo) S 4085 4085 4055 0 -1 4202496 5453 6996 0 0 15 1 35 1 20 0 1 0 388020964 17465344 3809 33554432000 4194304 6004724 140736270350528 140736270336808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4086/statm: 4264 3809 152 442 0 3818 0
[pid=4091] ppid=4086 vsize=157540 CPUtime=161.71 cores=0,2,4,6
/proc/4091/stat : 4091 (glucosInc) R 4086 4085 4055 0 -1 4202496 12978 0 0 0 16160 11 0 0 20 0 1 0 388021018 161320960 36626 33554432000 4194304 5654031 140735776872720 140735776860536 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 39385 36626 141 357 0 39025 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 183744
[startup+222.3 s]
/proc/loadavg: 1.97 1.06 0.42 3/181 4111
/proc/meminfo: memFree=30583952/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
[pid=4086] ppid=4085 vsize=17056 CPUtime=0.52 cores=0,2,4,6
/proc/4086/stat : 4086 (npSolver-pbo) S 4085 4085 4055 0 -1 4202496 5453 6996 0 0 15 1 35 1 20 0 1 0 388020964 17465344 3809 33554432000 4194304 6004724 140736270350528 140736270336808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4086/statm: 4264 3809 152 442 0 3818 0
[pid=4091] ppid=4086 vsize=157540 CPUtime=221.7 cores=0,2,4,6
/proc/4091/stat : 4091 (glucosInc) R 4086 4085 4055 0 -1 4202496 14899 0 0 0 22155 15 0 0 20 0 1 0 388021018 161320960 38765 33554432000 4194304 5654031 140735776872720 140735776860536 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 39385 38765 141 357 0 39025 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 183744
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 1.97 1.51 3/181 4121
/proc/meminfo: memFree=30371284/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
[pid=4086] ppid=4085 vsize=17056 CPUtime=0.52 cores=0,2,4,6
/proc/4086/stat : 4086 (npSolver-pbo) S 4085 4085 4055 0 -1 4202496 5453 6996 0 0 15 1 35 1 20 0 1 0 388020964 17465344 3809 33554432000 4194304 6004724 140736270350528 140736270336808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4086/statm: 4264 3809 152 442 0 3818 0
[pid=4091] ppid=4086 vsize=235588 CPUtime=1361.45 cores=0,2,4,6
/proc/4091/stat : 4091 (glucosInc) R 4086 4085 4055 0 -1 4202496 44747 0 0 0 136060 85 0 0 20 0 1 0 388021018 241242112 54669 33554432000 4194304 5654031 140735776872720 140735776860536 4214505 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 58897 54669 141 357 0 58537 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 261792
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/181 4122
/proc/meminfo: memFree=30390692/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
[pid=4086] ppid=4085 vsize=17056 CPUtime=0.52 cores=0,2,4,6
/proc/4086/stat : 4086 (npSolver-pbo) S 4085 4085 4055 0 -1 4202496 5453 6996 0 0 15 1 35 1 20 0 1 0 388020964 17465344 3809 33554432000 4194304 6004724 140736270350528 140736270336808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4086/statm: 4264 3809 152 442 0 3818 0
[pid=4091] ppid=4086 vsize=449236 CPUtime=1421.44 cores=0,2,4,6
/proc/4091/stat : 4091 (glucosInc) R 4086 4085 4055 0 -1 4202496 45775 0 0 0 142056 88 0 0 20 0 1 0 388021018 460017664 80734 33554432000 4194304 5654031 140735776872720 140735776860536 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 112309 80734 141 357 0 111949 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 475440
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.56 3/182 4125
/proc/meminfo: memFree=30375416/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
[pid=4086] ppid=4085 vsize=17056 CPUtime=0.52 cores=0,2,4,6
/proc/4086/stat : 4086 (npSolver-pbo) S 4085 4085 4055 0 -1 4202496 5453 6996 0 0 15 1 35 1 20 0 1 0 388020964 17465344 3809 33554432000 4194304 6004724 140736270350528 140736270336808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4086/statm: 4264 3809 152 442 0 3818 0
[pid=4091] ppid=4086 vsize=235588 CPUtime=1481.43 cores=0,2,4,6
/proc/4091/stat : 4091 (glucosInc) R 4086 4085 4055 0 -1 4202496 47000 0 0 0 148050 93 0 0 20 0 1 0 388021018 241242112 55181 33554432000 4194304 5654031 140735776872720 140735776860536 4232794 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 58897 55181 141 357 0 58537 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 261792
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 4/181 4125
/proc/meminfo: memFree=30155900/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
[pid=4086] ppid=4085 vsize=17056 CPUtime=0.52 cores=0,2,4,6
/proc/4086/stat : 4086 (npSolver-pbo) S 4085 4085 4055 0 -1 4202496 5453 6996 0 0 15 1 35 1 20 0 1 0 388020964 17465344 3809 33554432000 4194304 6004724 140736270350528 140736270336808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4086/statm: 4264 3809 152 442 0 3818 0
[pid=4091] ppid=4086 vsize=449236 CPUtime=1541.42 cores=0,2,4,6
/proc/4091/stat : 4091 (glucosInc) R 4086 4085 4055 0 -1 4202496 48028 0 0 0 154046 96 0 0 20 0 1 0 388021018 460017664 80734 33554432000 4194304 5654031 140735776872720 140735776860536 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 112309 80734 141 357 0 111949 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 475440
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.61 3/181 4125
/proc/meminfo: memFree=30398160/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
[pid=4086] ppid=4085 vsize=17056 CPUtime=0.52 cores=0,2,4,6
/proc/4086/stat : 4086 (npSolver-pbo) S 4085 4085 4055 0 -1 4202496 5453 6996 0 0 15 1 35 1 20 0 1 0 388020964 17465344 3809 33554432000 4194304 6004724 140736270350528 140736270336808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4086/statm: 4264 3809 152 442 0 3818 0
[pid=4091] ppid=4086 vsize=235588 CPUtime=1601.41 cores=0,2,4,6
/proc/4091/stat : 4091 (glucosInc) R 4086 4085 4055 0 -1 4202496 49248 0 0 0 160041 100 0 0 20 0 1 0 388021018 241242112 51085 33554432000 4194304 5654031 140735776872720 140735776860536 4208619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 58897 51085 141 357 0 58537 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 261792
[startup+1662.3 s]
/proc/loadavg: 2.06 1.99 1.64 3/181 4125
/proc/meminfo: memFree=30194472/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
[pid=4086] ppid=4085 vsize=17056 CPUtime=0.52 cores=0,2,4,6
/proc/4086/stat : 4086 (npSolver-pbo) S 4085 4085 4055 0 -1 4202496 5453 6996 0 0 15 1 35 1 20 0 1 0 388020964 17465344 3809 33554432000 4194304 6004724 140736270350528 140736270336808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4086/statm: 4264 3809 152 442 0 3818 0
[pid=4091] ppid=4086 vsize=316976 CPUtime=1661.37 cores=0,2,4,6
/proc/4091/stat : 4091 (glucosInc) R 4086 4085 4055 0 -1 4202496 49848 0 0 0 166035 102 0 0 20 0 1 0 388021018 324583424 77709 33554432000 4194304 5654031 140735776872720 140735776860536 4232755 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 79244 77709 141 357 0 78884 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 343180
[startup+1722.3 s]
/proc/loadavg: 2.02 1.99 1.65 3/181 4126
/proc/meminfo: memFree=30464416/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
[pid=4086] ppid=4085 vsize=17056 CPUtime=0.52 cores=0,2,4,6
/proc/4086/stat : 4086 (npSolver-pbo) S 4085 4085 4055 0 -1 4202496 5453 6996 0 0 15 1 35 1 20 0 1 0 388020964 17465344 3809 33554432000 4194304 6004724 140736270350528 140736270336808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4086/statm: 4264 3809 152 442 0 3818 0
[pid=4091] ppid=4086 vsize=185500 CPUtime=1721.36 cores=0,2,4,6
/proc/4091/stat : 4091 (glucosInc) R 4086 4085 4055 0 -1 4202496 51215 0 0 0 172029 107 0 0 20 0 1 0 388021018 189952000 41568 33554432000 4194304 5654031 140735776872720 140735776860536 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 46375 41568 141 357 0 46015 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 211704
[startup+1782.3 s]
/proc/loadavg: 2.01 1.99 1.67 3/181 4126
/proc/meminfo: memFree=30248232/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
[pid=4086] ppid=4085 vsize=17056 CPUtime=0.52 cores=0,2,4,6
/proc/4086/stat : 4086 (npSolver-pbo) S 4085 4085 4055 0 -1 4202496 5453 6996 0 0 15 1 35 1 20 0 1 0 388020964 17465344 3809 33554432000 4194304 6004724 140736270350528 140736270336808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4086/statm: 4264 3809 152 442 0 3818 0
[pid=4091] ppid=4086 vsize=316976 CPUtime=1781.35 cores=0,2,4,6
/proc/4091/stat : 4091 (glucosInc) R 4086 4085 4055 0 -1 4202496 52081 0 0 0 178026 109 0 0 20 0 1 0 388021018 324583424 69517 33554432000 4194304 5654031 140735776872720 140735776860536 4233232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 79244 69517 141 357 0 78884 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 343180
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 1.99 1.68 3/181 4126
/proc/meminfo: memFree=30188592/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
[pid=4086] ppid=4085 vsize=17056 CPUtime=0.52 cores=0,2,4,6
/proc/4086/stat : 4086 (npSolver-pbo) S 4085 4085 4055 0 -1 4202496 5453 6996 0 0 15 1 35 1 20 0 1 0 388020964 17465344 3809 33554432000 4194304 6004724 140736270350528 140736270336808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4086/statm: 4264 3809 152 442 0 3818 0
[pid=4091] ppid=4086 vsize=316976 CPUtime=1799.55 cores=0,2,4,6
/proc/4091/stat : 4091 (glucosInc) R 4086 4085 4055 0 -1 4202496 52095 0 0 0 179846 109 0 0 20 0 1 0 388021018 324583424 76685 33554432000 4194304 5654031 140735776872720 140735776860536 4232767 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 79244 76685 141 357 0 78884 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 343180
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 1.99 1.68 3/181 4126
/proc/meminfo: memFree=30188592/32873648 swapFree=7124/7124
[pid=4085] ppid=4083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4085/stat : 4085 (npSolver-pbo-I.) S 4083 4085 4055 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 388020963 9367552 274 33554432000 4194304 5064252 140733699674272 140733699673184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4085/statm: 2287 274 233 213 0 72 0
[pid=4086] ppid=4085 vsize=17056 CPUtime=0.52 cores=0,2,4,6
/proc/4086/stat : 4086 (npSolver-pbo) S 4085 4085 4055 0 -1 4202496 5453 6996 0 0 15 1 35 1 20 0 1 0 388020964 17465344 3809 33554432000 4194304 6004724 140736270350528 140736270336808 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4086/statm: 4264 3809 152 442 0 3818 0
[pid=4091] ppid=4086 vsize=316976 CPUtime=1799.55 cores=0,2,4,6
/proc/4091/stat : 4091 (glucosInc) R 4086 4085 4055 0 -1 4202496 52095 0 0 0 179846 109 0 0 20 0 1 0 388021018 324583424 76685 33554432000 4194304 5654031 140735776872720 140735776860536 4232767 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 79244 76685 141 357 0 78884 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 343180
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4085 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=510922
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=36994
# CPU time returned by wait4() is 0.547916
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1798.96
CPU system time (s): 1.11
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 524760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.510922
system time used= 0.036994
maximum resident set size= 42532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12822
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 12
runsolver used 3.79842 second user time and 9.05662 second system time
The end