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-3747636-1339107274/watcher-3747636-1339107274 -o /tmp/evaluation-result-3747636-1339107274/solver-3747636-1339107274 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747636-1339107274.opb 1128973254 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.02 2.01 2.05 3/179 20396
/proc/meminfo: memFree=17647768/32873844 swapFree=7632/7632
[pid=20396] ppid=20394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20396/stat : 20396 (npSolver-pbo-It) S 20394 20396 19416 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376853122 9367552 275 33554432000 4194304 5064252 140735078266224 140735078265136 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20396/statm: 2287 275 233 213 0 72 0
[startup+0.0983681 s]
/proc/loadavg: 2.02 2.01 2.05 3/179 20396
/proc/meminfo: memFree=17647768/32873844 swapFree=7632/7632
[pid=20396] ppid=20394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20396/stat : 20396 (npSolver-pbo-It) S 20394 20396 19416 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376853122 9367552 275 33554432000 4194304 5064252 140735078266224 140735078265136 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20396/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100318 s]
/proc/loadavg: 2.02 2.01 2.05 3/179 20396
/proc/meminfo: memFree=17647768/32873844 swapFree=7632/7632
[pid=20396] ppid=20394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20396/stat : 20396 (npSolver-pbo-It) S 20394 20396 19416 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376853122 9367552 275 33554432000 4194304 5064252 140735078266224 140735078265136 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20396/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300275 s]
/proc/loadavg: 2.02 2.01 2.05 3/179 20396
/proc/meminfo: memFree=17647768/32873844 swapFree=7632/7632
[pid=20396] ppid=20394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20396/stat : 20396 (npSolver-pbo-It) S 20394 20396 19416 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376853122 9367552 275 33554432000 4194304 5064252 140735078266224 140735078265136 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20396/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700273 s]
/proc/loadavg: 2.02 2.01 2.05 3/179 20396
/proc/meminfo: memFree=17647768/32873844 swapFree=7632/7632
[pid=20396] ppid=20394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20396/stat : 20396 (npSolver-pbo-It) S 20394 20396 19416 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376853122 9367552 275 33554432000 4194304 5064252 140735078266224 140735078265136 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20396/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.02 2.01 2.05 3/183 20400
/proc/meminfo: memFree=17555228/32873844 swapFree=7632/7632
[pid=20396] ppid=20394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20396/stat : 20396 (npSolver-pbo-It) S 20394 20396 19416 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376853122 9367552 275 33554432000 4194304 5064252 140735078266224 140735078265136 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20396/statm: 2287 275 233 213 0 72 0
[pid=20397] ppid=20396 vsize=59836 CPUtime=0.78 cores=0,2,4,6
/proc/20397/stat : 20397 (npSolver-pbo) S 20396 20396 19416 0 -1 4202496 16397 0 0 0 72 6 0 0 20 0 1 0 376853122 61272064 11549 33554432000 4194304 6004724 140736694338208 140736694332672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20397/statm: 14959 11549 162 442 0 14513 0
[pid=20399] ppid=20397 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20399/stat : 20399 (cp2_pre.sh) S 20397 20396 19416 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 376853202 9367552 277 33554432000 4194304 5064252 140733736283360 140733736282064 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20399/statm: 2287 277 234 213 0 72 0
[pid=20400] ppid=20399 vsize=110184 CPUtime=0.69 cores=0,2,4,6
/proc/20400/stat : 20400 (coprocessor) R 20399 20396 19416 0 -1 4202496 20205 0 0 0 65 4 0 0 20 0 1 0 376853202 112828416 24575 33554432000 4194304 6586260 140736264675120 140736264671384 4496384 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/20400/statm: 27546 24575 166 584 0 26958 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 188316
[startup+3.10033 s]
/proc/loadavg: 2.02 2.01 2.05 3/183 20400
/proc/meminfo: memFree=17463300/32873844 swapFree=7632/7632
[pid=20396] ppid=20394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20396/stat : 20396 (npSolver-pbo-It) S 20394 20396 19416 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376853122 9367552 275 33554432000 4194304 5064252 140735078266224 140735078265136 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20396/statm: 2287 275 233 213 0 72 0
[pid=20397] ppid=20396 vsize=59836 CPUtime=3.05 cores=0,2,4,6
/proc/20397/stat : 20397 (npSolver-pbo) S 20396 20396 19416 0 -1 4202496 16414 27625 0 0 72 7 210 16 20 0 1 0 376853122 61272064 11553 33554432000 4194304 6004724 140736694338208 140736694324488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20397/statm: 14959 11553 166 442 0 14513 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 68984
[startup+6.30028 s]
/proc/loadavg: 2.02 2.01 2.05 3/182 20402
/proc/meminfo: memFree=17540636/32873844 swapFree=7632/7632
[pid=20396] ppid=20394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20396/stat : 20396 (npSolver-pbo-It) S 20394 20396 19416 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376853122 9367552 275 33554432000 4194304 5064252 140735078266224 140735078265136 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20396/statm: 2287 275 233 213 0 72 0
[pid=20397] ppid=20396 vsize=59836 CPUtime=3.05 cores=0,2,4,6
/proc/20397/stat : 20397 (npSolver-pbo) S 20396 20396 19416 0 -1 4202496 16414 27625 0 0 72 7 210 16 20 0 1 0 376853122 61272064 11553 33554432000 4194304 6004724 140736694338208 140736694324488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20397/statm: 14959 11553 166 442 0 14513 0
[pid=20402] ppid=20397 vsize=56392 CPUtime=3.21 cores=0,2,4,6
/proc/20402/stat : 20402 (glucosInc) R 20397 20396 19416 0 -1 4202496 11228 0 0 0 319 2 0 0 20 0 1 0 376853430 57745408 12269 33554432000 4194304 5654031 140734915630496 140734915628328 4208659 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20402/statm: 14098 12269 140 357 0 13738 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 125376
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 20402
/proc/meminfo: memFree=17539716/32873844 swapFree=7632/7632
[pid=20396] ppid=20394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20396/stat : 20396 (npSolver-pbo-It) S 20394 20396 19416 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376853122 9367552 275 33554432000 4194304 5064252 140735078266224 140735078265136 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20396/statm: 2287 275 233 213 0 72 0
[pid=20397] ppid=20396 vsize=59836 CPUtime=3.05 cores=0,2,4,6
/proc/20397/stat : 20397 (npSolver-pbo) S 20396 20396 19416 0 -1 4202496 16414 27625 0 0 72 7 210 16 20 0 1 0 376853122 61272064 11553 33554432000 4194304 6004724 140736694338208 140736694324488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20397/statm: 14959 11553 166 442 0 14513 0
[pid=20402] ppid=20397 vsize=56392 CPUtime=9.61 cores=0,2,4,6
/proc/20402/stat : 20402 (glucosInc) R 20397 20396 19416 0 -1 4202496 11393 0 0 0 959 2 0 0 20 0 1 0 376853430 57745408 12434 33554432000 4194304 5654031 140734915630496 140734915618312 4215344 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20402/statm: 14098 12434 140 357 0 13738 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 125376
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.05 3/176 20426
/proc/meminfo: memFree=29131928/32873844 swapFree=7632/7632
[pid=20396] ppid=20394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20396/stat : 20396 (npSolver-pbo-It) S 20394 20396 19416 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376853122 9367552 275 33554432000 4194304 5064252 140735078266224 140735078265136 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20396/statm: 2287 275 233 213 0 72 0
[pid=20397] ppid=20396 vsize=59836 CPUtime=3.05 cores=0,2,4,6
/proc/20397/stat : 20397 (npSolver-pbo) S 20396 20396 19416 0 -1 4202496 16414 27625 0 0 72 7 210 16 20 0 1 0 376853122 61272064 11553 33554432000 4194304 6004724 140736694338208 140736694324488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20397/statm: 14959 11553 166 442 0 14513 0
[pid=20402] ppid=20397 vsize=56392 CPUtime=22.41 cores=0,2,4,6
/proc/20402/stat : 20402 (glucosInc) R 20397 20396 19416 0 -1 4202496 11568 0 0 0 2239 2 0 0 20 0 1 0 376853430 57745408 12606 33554432000 4194304 5654031 140734915630496 140734915618312 4215009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20402/statm: 14098 12606 141 357 0 13738 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 125376
[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.05 3/181 20442
/proc/meminfo: memFree=26901008/32873844 swapFree=7632/7632
[pid=20396] ppid=20394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20396/stat : 20396 (npSolver-pbo-It) S 20394 20396 19416 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376853122 9367552 275 33554432000 4194304 5064252 140735078266224 140735078265136 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20396/statm: 2287 275 233 213 0 72 0
[pid=20397] ppid=20396 vsize=59836 CPUtime=3.05 cores=0,2,4,6
/proc/20397/stat : 20397 (npSolver-pbo) S 20396 20396 19416 0 -1 4202496 16414 27625 0 0 72 7 210 16 20 0 1 0 376853122 61272064 11553 33554432000 4194304 6004724 140736694338208 140736694324488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20397/statm: 14959 11553 166 442 0 14513 0
[pid=20402] ppid=20397 vsize=58108 CPUtime=47.99 cores=0,2,4,6
/proc/20402/stat : 20402 (glucosInc) R 20397 20396 19416 0 -1 4202496 12285 0 0 0 4797 2 0 0 20 0 1 0 376853430 59502592 12916 33554432000 4194304 5654031 140734915630496 140734915618312 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20402/statm: 14527 12916 142 357 0 14167 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 127092
[startup+102.833 s]
/proc/loadavg: 2.31 2.09 2.08 3/182 20444
/proc/meminfo: memFree=24784272/32873844 swapFree=7632/7632
[pid=20396] ppid=20394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20396/stat : 20396 (npSolver-pbo-It) S 20394 20396 19416 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376853122 9367552 275 33554432000 4194304 5064252 140735078266224 140735078265136 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20396/statm: 2287 275 233 213 0 72 0
[pid=20397] ppid=20396 vsize=59836 CPUtime=3.05 cores=0,2,4,6
/proc/20397/stat : 20397 (npSolver-pbo) S 20396 20396 19416 0 -1 4202496 16414 27625 0 0 72 7 210 16 20 0 1 0 376853122 61272064 11553 33554432000 4194304 6004724 140736694338208 140736694324488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20397/statm: 14959 11553 166 442 0 14513 0
[pid=20402] ppid=20397 vsize=65288 CPUtime=99.72 cores=0,2,4,6
/proc/20402/stat : 20402 (glucosInc) R 20397 20396 19416 0 -1 4202496 12724 0 0 0 9969 3 0 0 20 0 1 0 376853430 66854912 14051 33554432000 4194304 5654031 140734915630496 140734915618312 4215040 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20402/statm: 16322 14051 142 357 0 15962 0
Current children cumulated CPU time (s) 102.77
Current children cumulated vsize (KiB) 134272
[startup+163.572 s]
/proc/loadavg: 2.29 2.14 2.09 3/181 20446
/proc/meminfo: memFree=24845760/32873844 swapFree=7632/7632
[pid=20396] ppid=20394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20396/stat : 20396 (npSolver-pbo-It) S 20394 20396 19416 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376853122 9367552 275 33554432000 4194304 5064252 140735078266224 140735078265136 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20396/statm: 2287 275 233 213 0 72 0
[pid=20397] ppid=20396 vsize=59836 CPUtime=3.05 cores=0,2,4,6
/proc/20397/stat : 20397 (npSolver-pbo) S 20396 20396 19416 0 -1 4202496 16414 27625 0 0 72 7 210 16 20 0 1 0 376853122 61272064 11553 33554432000 4194304 6004724 140736694338208 140736694324488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20397/statm: 14959 11553 166 442 0 14513 0
[pid=20402] ppid=20397 vsize=77196 CPUtime=160.45 cores=0,2,4,6
/proc/20402/stat : 20402 (glucosInc) R 20397 20396 19416 0 -1 4202496 13405 0 0 0 16042 3 0 0 20 0 1 0 376853430 79048704 17663 33554432000 4194304 5654031 140734915630496 140734915618312 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20402/statm: 19299 17663 142 357 0 18939 0
Current children cumulated CPU time (s) 163.5
Current children cumulated vsize (KiB) 146180
Solver just ended. Dumping a history of the last processes samples
[startup+174.927 s]
/proc/loadavg: 2.23 2.13 2.09 4/181 20446
/proc/meminfo: memFree=24843588/32873844 swapFree=7632/7632
[pid=20396] ppid=20394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20396/stat : 20396 (npSolver-pbo-It) S 20394 20396 19416 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376853122 9367552 275 33554432000 4194304 5064252 140735078266224 140735078265136 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20396/statm: 2287 275 233 213 0 72 0
[pid=20397] ppid=20396 vsize=59836 CPUtime=3.05 cores=0,2,4,6
/proc/20397/stat : 20397 (npSolver-pbo) S 20396 20396 19416 0 -1 4202496 16414 27625 0 0 72 7 210 16 20 0 1 0 376853122 61272064 11553 33554432000 4194304 6004724 140736694338208 140736694324488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20397/statm: 14959 11553 166 442 0 14513 0
[pid=20402] ppid=20397 vsize=77196 CPUtime=171.8 cores=0,2,4,6
/proc/20402/stat : 20402 (glucosInc) R 20397 20396 19416 0 -1 4202496 13405 0 0 0 17177 3 0 0 20 0 1 0 376853430 79048704 17663 33554432000 4194304 5654031 140734915630496 140734915618312 4232830 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20402/statm: 19299 17663 142 357 0 18939 0
Current children cumulated CPU time (s) 174.85
Current children cumulated vsize (KiB) 146180
[startup+185.869 s]
/proc/loadavg: 2.23 2.13 2.09 4/181 20446
/proc/meminfo: memFree=24843588/32873844 swapFree=7632/7632
[pid=20396] ppid=20394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20396/stat : 20396 (npSolver-pbo-It) S 20394 20396 19416 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376853122 9367552 275 33554432000 4194304 5064252 140735078266224 140735078265136 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20396/statm: 2287 275 233 213 0 72 0
[pid=20397] ppid=20396 vsize=59840 CPUtime=3.16 cores=0,2,4,6
/proc/20397/stat : 20397 (npSolver-pbo) S 20396 20396 19416 0 -1 4204032 17550 27625 0 0 82 8 210 16 20 0 1 0 376853122 61276160 11575 33554432000 4194304 6004724 140736694338208 140736694332760 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20397/statm: 14960 11575 187 442 0 14514 0
[pid=20402] ppid=20397 vsize=77204 CPUtime=182.6 cores=0,2,4,6
/proc/20402/stat : 20402 (glucosInc) S 20397 20396 19416 0 -1 4202496 13549 0 0 0 18257 3 0 0 20 0 1 0 376853430 79056896 17807 33554432000 4194304 5654031 140734915630496 140734915628808 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/20402/statm: 19301 17807 148 357 0 18941 0
Current children cumulated CPU time (s) 185.76
Current children cumulated vsize (KiB) 146192
[startup+186.535 s]
/proc/loadavg: 2.19 2.13 2.09 2/182 20447
/proc/meminfo: memFree=24748596/32873844 swapFree=7632/7632
[pid=20396] ppid=20394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20396/stat : 20396 (npSolver-pbo-It) S 20394 20396 19416 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376853122 9367552 275 33554432000 4194304 5064252 140735078266224 140735078265136 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20396/statm: 2287 275 233 213 0 72 0
[pid=20397] ppid=20396 vsize=59840 CPUtime=3.18 cores=0,2,4,6
/proc/20397/stat : 20397 (npSolver-pbo) S 20396 20396 19416 0 -1 4204032 17551 27625 0 0 82 10 210 16 20 0 1 0 376853122 61276160 11576 33554432000 4194304 6004724 140736694338208 140736694332760 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20397/statm: 14960 11576 188 442 0 14514 0
[pid=20402] ppid=20397 vsize=77204 CPUtime=182.6 cores=0,2,4,6
/proc/20402/stat : 20402 (glucosInc) S 20397 20396 19416 0 -1 4202496 13549 0 0 0 18257 3 0 0 20 0 1 0 376853430 79056896 17807 33554432000 4194304 5654031 140734915630496 140734915628808 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/20402/statm: 19301 17807 148 357 0 18941 0
Current children cumulated CPU time (s) 185.78
Current children cumulated vsize (KiB) 146192
[startup+186.628 s]
/proc/loadavg: 2.19 2.13 2.09 2/182 20447
/proc/meminfo: memFree=24748596/32873844 swapFree=7632/7632
[pid=20396] ppid=20394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20396/stat : 20396 (npSolver-pbo-It) S 20394 20396 19416 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376853122 9367552 275 33554432000 4194304 5064252 140735078266224 140735078265136 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20396/statm: 2287 275 233 213 0 72 0
[pid=20397] ppid=20396 vsize=59840 CPUtime=3.18 cores=0,2,4,6
/proc/20397/stat : 20397 (npSolver-pbo) S 20396 20396 19416 0 -1 4204032 17551 27625 0 0 82 10 210 16 20 0 1 0 376853122 61276160 11576 33554432000 4194304 6004724 140736694338208 140736694332760 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20397/statm: 14960 11576 188 442 0 14514 0
[pid=20402] ppid=20397 vsize=77204 CPUtime=182.6 cores=0,2,4,6
/proc/20402/stat : 20402 (glucosInc) S 20397 20396 19416 0 -1 4202496 13549 0 0 0 18257 3 0 0 20 0 1 0 376853430 79056896 17807 33554432000 4194304 5654031 140734915630496 140734915628808 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/20402/statm: 19301 17807 148 357 0 18941 0
Current children cumulated CPU time (s) 185.78
Current children cumulated vsize (KiB) 146192
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20396 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=932554
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=281957
# CPU time returned by wait4() is 3.21451
# while last known CPU time is 185.78
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 186.647
CPU time (s): 185.78
CPU user time (s): 185.49
CPU system time (s): 0.29
CPU usage (%): 99.5356
Max. virtual memory (cumulated for all children) (KiB): 217336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.93255
system time used= 0.281957
maximum resident set size= 138672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45551
page faults= 0
swaps= 0
block input operations= 0
block output operations= 57792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14781
involuntary context switches= 14
runsolver used 0.162975 second user time and 0.359945 second system time
The end