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-3702468-1338118551/watcher-3702468-1338118551 -o /tmp/evaluation-result-3702468-1338118551/solver-3702468-1338118551 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702468-1338118551.opb 966042569 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.04 2.07 2.02 3/178 18025
/proc/meminfo: memFree=31152196/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
[startup+0.0292811 s]
/proc/loadavg: 2.04 2.07 2.02 3/178 18025
/proc/meminfo: memFree=31152196/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100272 s]
/proc/loadavg: 2.04 2.07 2.02 3/178 18025
/proc/meminfo: memFree=31152196/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300285 s]
/proc/loadavg: 2.04 2.07 2.02 3/178 18025
/proc/meminfo: memFree=31152196/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700287 s]
/proc/loadavg: 2.04 2.07 2.02 3/178 18025
/proc/meminfo: memFree=31152196/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.04 2.07 2.02 3/180 18027
/proc/meminfo: memFree=31062172/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
[pid=18026] ppid=18025 vsize=181600 CPUtime=1.49 cores=0,2,4,6
/proc/18026/stat : 18026 (npSolver-pbo) R 18025 18025 28501 0 -1 4202496 16464 0 0 0 144 5 0 0 20 0 1 0 277922104 185958400 31192 33554432000 4194304 5992684 140735364230032 140735364225464 4571317 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18026/statm: 45400 31192 167 440 0 44956 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 190748
[startup+3.10021 s]
/proc/loadavg: 2.04 2.07 2.02 3/180 18027
/proc/meminfo: memFree=30882144/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
[pid=18026] ppid=18025 vsize=181600 CPUtime=2.3 cores=0,2,4,6
/proc/18026/stat : 18026 (npSolver-pbo) S 18025 18025 28501 0 -1 4202496 16943 0 0 0 203 27 0 0 20 0 1 0 277922104 185958400 41439 33554432000 4194304 5992684 140735364230032 140735364224480 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18026/statm: 45400 41439 174 440 0 44956 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 190748
heavy processes:
[startup+6.30042 s]
/proc/loadavg: 2.03 2.07 2.02 3/182 18029
/proc/meminfo: memFree=30436768/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
[pid=18026] ppid=18025 vsize=181600 CPUtime=2.3 cores=0,2,4,6
/proc/18026/stat : 18026 (npSolver-pbo) S 18025 18025 28501 0 -1 4202496 16943 0 0 0 203 27 0 0 20 0 1 0 277922104 185958400 41439 33554432000 4194304 5992684 140735364230032 140735364224480 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18026/statm: 45400 41439 174 440 0 44956 0
[pid=18028] ppid=18026 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18028/stat : 18028 (cp2_pre.sh) S 18026 18025 28501 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 277922335 9367552 276 33554432000 4194304 5064252 140736316425072 140736316423776 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18028/statm: 2287 276 234 213 0 72 0
[pid=18029] ppid=18028 vsize=516716 CPUtime=3.96 cores=0,2,4,6
/proc/18029/stat : 18029 (coprocessor) R 18028 18025 28501 0 -1 4202496 57147 0 0 0 379 17 0 0 20 0 1 0 277922335 529117184 122988 33554432000 4194304 6586260 140735123180992 140735123177144 4789143 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/18029/statm: 129179 122988 170 584 0 128591 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 716612
[startup+12.7003 s]
/proc/loadavg: 2.03 2.07 2.02 3/181 18031
/proc/meminfo: memFree=30725836/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
[pid=18026] ppid=18025 vsize=181600 CPUtime=10.6 cores=0,2,4,6
/proc/18026/stat : 18026 (npSolver-pbo) S 18025 18025 28501 0 -1 4202496 16960 67748 0 0 203 27 792 38 20 0 1 0 277922104 185958400 41441 33554432000 4194304 5992684 140735364230032 140735364216296 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18026/statm: 45400 41441 176 440 0 44956 0
[pid=18031] ppid=18026 vsize=234392 CPUtime=2.05 cores=0,2,4,6
/proc/18031/stat : 18031 (glucosInc) R 18026 18025 28501 0 -1 4202496 40870 0 0 0 194 11 0 0 20 0 1 0 277923168 240017408 52662 33554432000 4194304 5654031 140737321899200 140737321896808 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18031/statm: 58598 52662 139 357 0 58238 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 425140
[startup+25.5069 s]
/proc/loadavg: 2.02 2.06 2.02 3/181 18031
/proc/meminfo: memFree=30720508/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
[pid=18026] ppid=18025 vsize=181600 CPUtime=10.6 cores=0,2,4,6
/proc/18026/stat : 18026 (npSolver-pbo) S 18025 18025 28501 0 -1 4202496 16960 67748 0 0 203 27 792 38 20 0 1 0 277922104 185958400 41441 33554432000 4194304 5992684 140735364230032 140735364216296 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18026/statm: 45400 41441 176 440 0 44956 0
[pid=18031] ppid=18026 vsize=240504 CPUtime=14.85 cores=0,2,4,6
/proc/18031/stat : 18031 (glucosInc) R 18026 18025 28501 0 -1 4202496 41541 0 0 0 1474 11 0 0 20 0 1 0 277923168 246276096 53844 33554432000 4194304 5654031 140737321899200 140737321887016 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18031/statm: 60126 53844 139 357 0 59766 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 431252
[startup+51.1003 s]
/proc/loadavg: 2.16 2.09 2.02 3/181 18031
/proc/meminfo: memFree=30720632/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
[pid=18026] ppid=18025 vsize=181600 CPUtime=10.6 cores=0,2,4,6
/proc/18026/stat : 18026 (npSolver-pbo) S 18025 18025 28501 0 -1 4202496 16960 67748 0 0 203 27 792 38 20 0 1 0 277922104 185958400 41441 33554432000 4194304 5992684 140735364230032 140735364216296 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18026/statm: 45400 41441 176 440 0 44956 0
[pid=18031] ppid=18026 vsize=240504 CPUtime=40.44 cores=0,2,4,6
/proc/18031/stat : 18031 (glucosInc) R 18026 18025 28501 0 -1 4202496 41541 0 0 0 4033 11 0 0 20 0 1 0 277923168 246276096 53844 33554432000 4194304 5654031 140737321899200 140737321887016 4215009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18031/statm: 60126 53844 139 357 0 59766 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 431252
[startup+102.3 s]
/proc/loadavg: 2.07 2.07 2.02 3/181 18032
/proc/meminfo: memFree=30718196/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
[pid=18026] ppid=18025 vsize=181600 CPUtime=10.6 cores=0,2,4,6
/proc/18026/stat : 18026 (npSolver-pbo) S 18025 18025 28501 0 -1 4202496 16960 67748 0 0 203 27 792 38 20 0 1 0 277922104 185958400 41441 33554432000 4194304 5992684 140735364230032 140735364216296 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18026/statm: 45400 41441 176 440 0 44956 0
[pid=18031] ppid=18026 vsize=240504 CPUtime=91.62 cores=0,2,4,6
/proc/18031/stat : 18031 (glucosInc) R 18026 18025 28501 0 -1 4202496 41552 0 0 0 9151 11 0 0 20 0 1 0 277923168 246276096 54366 33554432000 4194304 5654031 140737321899200 140737321887016 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18031/statm: 60126 54366 139 357 0 59766 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 431252
[startup+162.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/181 18032
/proc/meminfo: memFree=30711408/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
[pid=18026] ppid=18025 vsize=181600 CPUtime=10.6 cores=0,2,4,6
/proc/18026/stat : 18026 (npSolver-pbo) S 18025 18025 28501 0 -1 4202496 16960 67748 0 0 203 27 792 38 20 0 1 0 277922104 185958400 41441 33554432000 4194304 5992684 140735364230032 140735364216296 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18026/statm: 45400 41441 176 440 0 44956 0
[pid=18031] ppid=18026 vsize=243168 CPUtime=151.61 cores=0,2,4,6
/proc/18031/stat : 18031 (glucosInc) R 18026 18025 28501 0 -1 4202496 41734 0 0 0 15150 11 0 0 20 0 1 0 277923168 249004032 54548 33554432000 4194304 5654031 140737321899200 140737321887016 4214618 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18031/statm: 60792 54548 139 357 0 60432 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 433916
[startup+222.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/181 18032
/proc/meminfo: memFree=30706316/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
[pid=18026] ppid=18025 vsize=181600 CPUtime=10.6 cores=0,2,4,6
/proc/18026/stat : 18026 (npSolver-pbo) S 18025 18025 28501 0 -1 4202496 16960 67748 0 0 203 27 792 38 20 0 1 0 277922104 185958400 41441 33554432000 4194304 5992684 140735364230032 140735364216296 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18026/statm: 45400 41441 176 440 0 44956 0
[pid=18031] ppid=18026 vsize=243168 CPUtime=211.6 cores=0,2,4,6
/proc/18031/stat : 18031 (glucosInc) R 18026 18025 28501 0 -1 4202496 42085 0 0 0 21149 11 0 0 20 0 1 0 277923168 249004032 54899 33554432000 4194304 5654031 140737321899200 140737321887016 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18031/statm: 60792 54899 140 357 0 60432 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 433916
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 18035
/proc/meminfo: memFree=30714184/32873844 swapFree=6872/6872
################
# More data... #
################
/proc/18031/stat : 18031 (glucosInc) R 18026 18025 28501 0 -1 4202496 47539 0 0 0 111130 15 0 0 20 0 1 0 277923168 291942400 63667 33554432000 4194304 5654031 140737321899200 140737321887016 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18031/statm: 71275 63667 141 357 0 70915 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 475848
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18086
/proc/meminfo: memFree=30708188/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
[pid=18026] ppid=18025 vsize=181600 CPUtime=10.6 cores=0,2,4,6
/proc/18026/stat : 18026 (npSolver-pbo) S 18025 18025 28501 0 -1 4202496 16960 67748 0 0 203 27 792 38 20 0 1 0 277922104 185958400 41441 33554432000 4194304 5992684 140735364230032 140735364216296 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18026/statm: 45400 41441 176 440 0 44956 0
[pid=18031] ppid=18026 vsize=286508 CPUtime=1171.44 cores=0,2,4,6
/proc/18031/stat : 18031 (glucosInc) R 18026 18025 28501 0 -1 4202496 47753 0 0 0 117129 15 0 0 20 0 1 0 277923168 293384192 65414 33554432000 4194304 5654031 140737321899200 140737321887016 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18031/statm: 71627 65414 141 357 0 71267 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 477256
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18086
/proc/meminfo: memFree=30701052/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
[pid=18026] ppid=18025 vsize=181600 CPUtime=10.6 cores=0,2,4,6
/proc/18026/stat : 18026 (npSolver-pbo) S 18025 18025 28501 0 -1 4202496 16960 67748 0 0 203 27 792 38 20 0 1 0 277922104 185958400 41441 33554432000 4194304 5992684 140735364230032 140735364216296 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18026/statm: 45400 41441 176 440 0 44956 0
[pid=18031] ppid=18026 vsize=286508 CPUtime=1231.43 cores=0,2,4,6
/proc/18031/stat : 18031 (glucosInc) R 18026 18025 28501 0 -1 4202496 47806 0 0 0 123128 15 0 0 20 0 1 0 277923168 293384192 66489 33554432000 4194304 5654031 140737321899200 140737321887016 4215248 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18031/statm: 71627 66489 141 357 0 71267 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 477256
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 18087
/proc/meminfo: memFree=30706204/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
[pid=18026] ppid=18025 vsize=181600 CPUtime=10.6 cores=0,2,4,6
/proc/18026/stat : 18026 (npSolver-pbo) S 18025 18025 28501 0 -1 4202496 16960 67748 0 0 203 27 792 38 20 0 1 0 277922104 185958400 41441 33554432000 4194304 5992684 140735364230032 140735364216296 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18026/statm: 45400 41441 176 440 0 44956 0
[pid=18031] ppid=18026 vsize=286508 CPUtime=1291.42 cores=0,2,4,6
/proc/18031/stat : 18031 (glucosInc) R 18026 18025 28501 0 -1 4202496 47846 0 0 0 129127 15 0 0 20 0 1 0 277923168 293384192 67040 33554432000 4194304 5654031 140737321899200 140737321887016 4232784 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18031/statm: 71627 67040 141 357 0 71267 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 477256
Solver just ended. Dumping a history of the last processes samples
[startup+1305.7 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 18087
/proc/meminfo: memFree=30704032/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
[pid=18026] ppid=18025 vsize=181600 CPUtime=10.6 cores=0,2,4,6
/proc/18026/stat : 18026 (npSolver-pbo) S 18025 18025 28501 0 -1 4202496 16960 67748 0 0 203 27 792 38 20 0 1 0 277922104 185958400 41441 33554432000 4194304 5992684 140735364230032 140735364216296 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18026/statm: 45400 41441 176 440 0 44956 0
[pid=18031] ppid=18026 vsize=286508 CPUtime=1294.82 cores=0,2,4,6
/proc/18031/stat : 18031 (glucosInc) R 18026 18025 28501 0 -1 4202496 47846 0 0 0 129467 15 0 0 20 0 1 0 277923168 293384192 67040 33554432000 4194304 5654031 140737321899200 140737321887016 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18031/statm: 71627 67040 141 357 0 71267 0
Current children cumulated CPU time (s) 1305.42
Current children cumulated vsize (KiB) 477256
[startup+1308.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 18087
/proc/meminfo: memFree=30704032/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
[pid=18026] ppid=18025 vsize=181600 CPUtime=10.6 cores=0,2,4,6
/proc/18026/stat : 18026 (npSolver-pbo) S 18025 18025 28501 0 -1 4202496 16960 67748 0 0 203 27 792 38 20 0 1 0 277922104 185958400 41441 33554432000 4194304 5992684 140735364230032 140735364216296 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18026/statm: 45400 41441 176 440 0 44956 0
[pid=18031] ppid=18026 vsize=286508 CPUtime=1298.02 cores=0,2,4,6
/proc/18031/stat : 18031 (glucosInc) R 18026 18025 28501 0 -1 4202496 47846 0 0 0 129787 15 0 0 20 0 1 0 277923168 293384192 67040 33554432000 4194304 5654031 140737321899200 140737321887016 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18031/statm: 71627 67040 141 357 0 71267 0
Current children cumulated CPU time (s) 1308.62
Current children cumulated vsize (KiB) 477256
[startup+1310.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 18088
/proc/meminfo: memFree=30453480/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
[pid=18026] ppid=18025 vsize=189216 CPUtime=10.86 cores=0,2,4,6
/proc/18026/stat : 18026 (npSolver-pbo) S 18025 18025 28501 0 -1 4204032 23006 67748 0 0 218 38 792 38 20 0 1 0 277922104 193757184 43395 33554432000 4194304 5992684 140735364230032 140735364224568 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18026/statm: 47304 43395 194 440 0 46860 0
[pid=18031] ppid=18026 vsize=287156 CPUtime=1298.74 cores=0,2,4,6
/proc/18031/stat : 18031 (glucosInc) S 18026 18025 28501 0 -1 4202496 48002 0 0 0 129858 16 0 0 20 0 1 0 277923168 294047744 67196 33554432000 4194304 5654031 140737321899200 140737321897512 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/18031/statm: 71789 67196 147 357 0 71429 0
Current children cumulated CPU time (s) 1309.6
Current children cumulated vsize (KiB) 485520
[startup+1312.1 s]
/proc/loadavg: 2.04 2.01 2.00 2/182 18088
/proc/meminfo: memFree=30340260/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
[pid=18026] ppid=18025 vsize=189216 CPUtime=10.86 cores=0,2,4,6
/proc/18026/stat : 18026 (npSolver-pbo) S 18025 18025 28501 0 -1 4204032 23006 67748 0 0 218 38 792 38 20 0 1 0 277922104 193757184 43395 33554432000 4194304 5992684 140735364230032 140735364224568 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18026/statm: 47304 43395 194 440 0 46860 0
[pid=18031] ppid=18026 vsize=287156 CPUtime=1298.74 cores=0,2,4,6
/proc/18031/stat : 18031 (glucosInc) S 18026 18025 28501 0 -1 4202496 48002 0 0 0 129858 16 0 0 20 0 1 0 277923168 294047744 67196 33554432000 4194304 5654031 140737321899200 140737321897512 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/18031/statm: 71789 67196 147 357 0 71429 0
Current children cumulated CPU time (s) 1309.6
Current children cumulated vsize (KiB) 485520
[startup+1312.51 s]
/proc/loadavg: 2.04 2.01 2.00 2/182 18088
/proc/meminfo: memFree=30339764/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
[pid=18026] ppid=18025 vsize=189216 CPUtime=10.86 cores=0,2,4,6
/proc/18026/stat : 18026 (npSolver-pbo) S 18025 18025 28501 0 -1 4204032 23006 67748 0 0 218 38 792 38 20 0 1 0 277922104 193757184 43395 33554432000 4194304 5992684 140735364230032 140735364224568 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18026/statm: 47304 43395 194 440 0 46860 0
[pid=18031] ppid=18026 vsize=287156 CPUtime=1298.74 cores=0,2,4,6
/proc/18031/stat : 18031 (glucosInc) S 18026 18025 28501 0 -1 4202496 48002 0 0 0 129858 16 0 0 20 0 1 0 277923168 294047744 67196 33554432000 4194304 5654031 140737321899200 140737321897512 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/18031/statm: 71789 67196 147 357 0 71429 0
Current children cumulated CPU time (s) 1309.6
Current children cumulated vsize (KiB) 485520
[startup+1312.9 s]
/proc/loadavg: 2.04 2.01 2.00 2/182 18088
/proc/meminfo: memFree=30339764/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
[pid=18026] ppid=18025 vsize=189216 CPUtime=10.86 cores=0,2,4,6
/proc/18026/stat : 18026 (npSolver-pbo) S 18025 18025 28501 0 -1 4204032 23006 67748 0 0 218 38 792 38 20 0 1 0 277922104 193757184 43395 33554432000 4194304 5992684 140735364230032 140735364224568 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18026/statm: 47304 43395 194 440 0 46860 0
[pid=18031] ppid=18026 vsize=287156 CPUtime=1298.74 cores=0,2,4,6
/proc/18031/stat : 18031 (glucosInc) S 18026 18025 28501 0 -1 4202496 48002 0 0 0 129858 16 0 0 20 0 1 0 277923168 294047744 67196 33554432000 4194304 5654031 140737321899200 140737321897512 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/18031/statm: 71789 67196 147 357 0 71429 0
Current children cumulated CPU time (s) 1309.6
Current children cumulated vsize (KiB) 485520
[startup+1313 s]
/proc/loadavg: 2.04 2.01 2.00 2/182 18088
/proc/meminfo: memFree=30339764/32873844 swapFree=6872/6872
[pid=18025] ppid=18023 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18025/stat : 18025 (npSolver-pbo-It) S 18023 18025 28501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277922104 9367552 274 33554432000 4194304 5064252 140735445565408 140735445564320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18025/statm: 2287 274 233 213 0 72 0
[pid=18026] ppid=18025 vsize=189216 CPUtime=10.86 cores=0,2,4,6
/proc/18026/stat : 18026 (npSolver-pbo) S 18025 18025 28501 0 -1 4204032 23006 67748 0 0 218 38 792 38 20 0 1 0 277922104 193757184 43395 33554432000 4194304 5992684 140735364230032 140735364224568 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18026/statm: 47304 43395 194 440 0 46860 0
[pid=18031] ppid=18026 vsize=287156 CPUtime=1298.74 cores=0,2,4,6
/proc/18031/stat : 18031 (glucosInc) S 18026 18025 28501 0 -1 4202496 48002 0 0 0 129858 16 0 0 20 0 1 0 277923168 294047744 67196 33554432000 4194304 5654031 140737321899200 140737321897512 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/18031/statm: 71789 67196 147 357 0 71429 0
Current children cumulated CPU time (s) 1309.6
Current children cumulated vsize (KiB) 485520
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18025 and gives
# childrusage.ru_utime.tv_sec=10
# childrusage.ru_utime.tv_usec=111462
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=776881
# CPU time returned by wait4() is 10.8883
# while last known CPU time is 1309.6
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1313.05
CPU time (s): 1309.6
CPU user time (s): 1308.68
CPU system time (s): 0.92
CPU usage (%): 99.7371
Max. virtual memory (cumulated for all children) (KiB): 797360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1115
system time used= 0.776881
maximum resident set size= 575728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91128
page faults= 0
swaps= 0
block input operations= 0
block output operations= 325992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47846
involuntary context switches= 34
runsolver used 2.06369 second user time and 5.72313 second system time
The end