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-3752270-1339149296/watcher-3752270-1339149296 -o /tmp/evaluation-result-3752270-1339149296/solver-3752270-1339149296 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752270-1339149296.opb 1014920605 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: 2.12 2.06 2.01 3/180 16153
/proc/meminfo: memFree=31571552/32873844 swapFree=7632/7632
[pid=16153] ppid=16151 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16153/stat : 16153 (npSolver-pbo-It) S 16151 16153 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24896236 9367552 275 33554432000 4194304 5064252 140734603294592 140734603293504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16153/statm: 2287 275 233 213 0 72 0
[startup+0.031899 s]
/proc/loadavg: 2.12 2.06 2.01 3/180 16153
/proc/meminfo: memFree=31571552/32873844 swapFree=7632/7632
[pid=16153] ppid=16151 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16153/stat : 16153 (npSolver-pbo-It) S 16151 16153 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24896236 9367552 275 33554432000 4194304 5064252 140734603294592 140734603293504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16153/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100303 s]
/proc/loadavg: 2.12 2.06 2.01 3/180 16153
/proc/meminfo: memFree=31571552/32873844 swapFree=7632/7632
[pid=16153] ppid=16151 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16153/stat : 16153 (npSolver-pbo-It) S 16151 16153 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24896236 9367552 275 33554432000 4194304 5064252 140734603294592 140734603293504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16153/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.3002 s]
/proc/loadavg: 2.12 2.06 2.01 3/180 16153
/proc/meminfo: memFree=31571552/32873844 swapFree=7632/7632
[pid=16153] ppid=16151 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16153/stat : 16153 (npSolver-pbo-It) S 16151 16153 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24896236 9367552 275 33554432000 4194304 5064252 140734603294592 140734603293504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16153/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700226 s]
/proc/loadavg: 2.12 2.06 2.01 3/180 16153
/proc/meminfo: memFree=31571552/32873844 swapFree=7632/7632
[pid=16153] ppid=16151 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16153/stat : 16153 (npSolver-pbo-It) S 16151 16153 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24896236 9367552 275 33554432000 4194304 5064252 140734603294592 140734603293504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16153/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.12 2.06 2.01 3/184 16157
/proc/meminfo: memFree=31397924/32873844 swapFree=7632/7632
[pid=16153] ppid=16151 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16153/stat : 16153 (npSolver-pbo-It) S 16151 16153 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24896236 9367552 275 33554432000 4194304 5064252 140734603294592 140734603293504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16153/statm: 2287 275 233 213 0 72 0
[pid=16154] ppid=16153 vsize=38000 CPUtime=0.52 cores=1,3,5,7
/proc/16154/stat : 16154 (npSolver-pbo) S 16153 16153 13680 0 -1 4202496 5375 0 0 0 47 5 0 0 20 0 1 0 24896237 38912000 5751 33554432000 4194304 6004724 140735413846048 140735413840512 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16154/statm: 9500 5751 163 442 0 9054 0
[pid=16156] ppid=16154 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16156/stat : 16156 (cp2_pre.sh) S 16154 16153 13680 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 24896289 9367552 276 33554432000 4194304 5064252 140735781655360 140735781654064 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16156/statm: 2287 276 234 213 0 72 0
[pid=16157] ppid=16156 vsize=189620 CPUtime=0.96 cores=1,3,5,7
/proc/16157/stat : 16157 (coprocessor) R 16156 16153 13680 0 -1 4202496 31912 0 0 0 89 7 0 0 20 0 1 0 24896289 194170880 42668 33554432000 4194304 6586260 140735577526000 140735577522264 5511711 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/16157/statm: 47405 42668 166 584 0 46817 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 245916
[startup+3.10031 s]
/proc/loadavg: 2.12 2.06 2.01 3/184 16157
/proc/meminfo: memFree=31335024/32873844 swapFree=7632/7632
[pid=16153] ppid=16151 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16153/stat : 16153 (npSolver-pbo-It) S 16151 16153 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24896236 9367552 275 33554432000 4194304 5064252 140734603294592 140734603293504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16153/statm: 2287 275 233 213 0 72 0
[pid=16154] ppid=16153 vsize=38000 CPUtime=0.52 cores=1,3,5,7
/proc/16154/stat : 16154 (npSolver-pbo) S 16153 16153 13680 0 -1 4202496 5375 0 0 0 47 5 0 0 20 0 1 0 24896237 38912000 5751 33554432000 4194304 6004724 140735413846048 140735413840512 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16154/statm: 9500 5751 163 442 0 9054 0
[pid=16156] ppid=16154 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16156/stat : 16156 (cp2_pre.sh) S 16154 16153 13680 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 24896289 9367552 276 33554432000 4194304 5064252 140735781655360 140735781654064 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16156/statm: 2287 276 234 213 0 72 0
[pid=16157] ppid=16156 vsize=221980 CPUtime=2.42 cores=1,3,5,7
/proc/16157/stat : 16157 (coprocessor) R 16156 16153 13680 0 -1 4202496 37845 0 0 0 229 13 0 0 20 0 1 0 24896289 227307520 54429 33554432000 4194304 6586260 140735577526000 140735577521624 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 13 0 0
/proc/16157/statm: 55495 54429 204 584 0 54907 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 278276
[startup+6.30035 s]
/proc/loadavg: 2.11 2.06 2.01 3/183 16159
/proc/meminfo: memFree=31453996/32873844 swapFree=7632/7632
[pid=16153] ppid=16151 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16153/stat : 16153 (npSolver-pbo-It) S 16151 16153 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24896236 9367552 275 33554432000 4194304 5064252 140734603294592 140734603293504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16153/statm: 2287 275 233 213 0 72 0
[pid=16154] ppid=16153 vsize=38000 CPUtime=3.55 cores=1,3,5,7
/proc/16154/stat : 16154 (npSolver-pbo) S 16153 16153 13680 0 -1 4202496 5393 38746 0 0 47 5 285 18 20 0 1 0 24896237 38912000 5755 33554432000 4194304 6004724 140735413846048 140735413832328 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16154/statm: 9500 5755 167 442 0 9054 0
[pid=16159] ppid=16154 vsize=100148 CPUtime=2.58 cores=1,3,5,7
/proc/16159/stat : 16159 (glucosInc) R 16154 16153 13680 0 -1 4202496 17637 0 0 0 255 3 0 0 20 0 1 0 24896607 102551552 19362 33554432000 4194304 5654031 140737047823616 140737047821496 4208683 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16159/statm: 25037 19362 131 357 0 24677 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 147296
[startup+12.7004 s]
/proc/loadavg: 2.10 2.06 2.01 3/183 16159
/proc/meminfo: memFree=31439548/32873844 swapFree=7632/7632
[pid=16153] ppid=16151 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16153/stat : 16153 (npSolver-pbo-It) S 16151 16153 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24896236 9367552 275 33554432000 4194304 5064252 140734603294592 140734603293504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16153/statm: 2287 275 233 213 0 72 0
[pid=16154] ppid=16153 vsize=38000 CPUtime=3.55 cores=1,3,5,7
/proc/16154/stat : 16154 (npSolver-pbo) S 16153 16153 13680 0 -1 4202496 5393 38746 0 0 47 5 285 18 20 0 1 0 24896237 38912000 5755 33554432000 4194304 6004724 140735413846048 140735413832328 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16154/statm: 9500 5755 167 442 0 9054 0
[pid=16159] ppid=16154 vsize=102296 CPUtime=8.99 cores=1,3,5,7
/proc/16159/stat : 16159 (glucosInc) R 16154 16153 13680 0 -1 4202496 18566 0 0 0 895 4 0 0 20 0 1 0 24896607 104751104 20798 33554432000 4194304 5654031 140737047823616 140737047821400 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16159/statm: 25574 20798 140 357 0 25214 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 149444
[startup+25.5004 s]
/proc/loadavg: 2.08 2.05 2.01 3/183 16159
/proc/meminfo: memFree=31482796/32873844 swapFree=7632/7632
[pid=16153] ppid=16151 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16153/stat : 16153 (npSolver-pbo-It) S 16151 16153 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24896236 9367552 275 33554432000 4194304 5064252 140734603294592 140734603293504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16153/statm: 2287 275 233 213 0 72 0
[pid=16154] ppid=16153 vsize=38000 CPUtime=3.55 cores=1,3,5,7
/proc/16154/stat : 16154 (npSolver-pbo) S 16153 16153 13680 0 -1 4202496 5393 38746 0 0 47 5 285 18 20 0 1 0 24896237 38912000 5755 33554432000 4194304 6004724 140735413846048 140735413832328 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16154/statm: 9500 5755 167 442 0 9054 0
[pid=16159] ppid=16154 vsize=106616 CPUtime=21.78 cores=1,3,5,7
/proc/16159/stat : 16159 (glucosInc) R 16154 16153 13680 0 -1 4202496 19953 0 0 0 2173 5 0 0 20 0 1 0 24896607 109174784 20881 33554432000 4194304 5654031 140737047823616 140737047811432 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16159/statm: 26654 20881 142 357 0 26294 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 153764
[startup+51.1004 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 16159
/proc/meminfo: memFree=31396468/32873844 swapFree=7632/7632
[pid=16153] ppid=16151 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16153/stat : 16153 (npSolver-pbo-It) S 16151 16153 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24896236 9367552 275 33554432000 4194304 5064252 140734603294592 140734603293504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16153/statm: 2287 275 233 213 0 72 0
[pid=16154] ppid=16153 vsize=38000 CPUtime=3.55 cores=1,3,5,7
/proc/16154/stat : 16154 (npSolver-pbo) S 16153 16153 13680 0 -1 4202496 5393 38746 0 0 47 5 285 18 20 0 1 0 24896237 38912000 5755 33554432000 4194304 6004724 140735413846048 140735413832328 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16154/statm: 9500 5755 167 442 0 9054 0
[pid=16159] ppid=16154 vsize=154208 CPUtime=47.38 cores=1,3,5,7
/proc/16159/stat : 16159 (glucosInc) R 16154 16153 13680 0 -1 4202496 22600 0 0 0 4730 8 0 0 20 0 1 0 24896607 157908992 34115 33554432000 4194304 5654031 140737047823616 140737047811432 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16159/statm: 38552 34115 142 357 0 38192 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 201356
[startup+102.307 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 16159
/proc/meminfo: memFree=31361852/32873844 swapFree=7632/7632
[pid=16153] ppid=16151 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16153/stat : 16153 (npSolver-pbo-It) S 16151 16153 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24896236 9367552 275 33554432000 4194304 5064252 140734603294592 140734603293504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16153/statm: 2287 275 233 213 0 72 0
[pid=16154] ppid=16153 vsize=38000 CPUtime=3.55 cores=1,3,5,7
/proc/16154/stat : 16154 (npSolver-pbo) S 16153 16153 13680 0 -1 4202496 5393 38746 0 0 47 5 285 18 20 0 1 0 24896237 38912000 5755 33554432000 4194304 6004724 140735413846048 140735413832328 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16154/statm: 9500 5755 167 442 0 9054 0
[pid=16159] ppid=16154 vsize=154208 CPUtime=98.57 cores=1,3,5,7
/proc/16159/stat : 16159 (glucosInc) R 16154 16153 13680 0 -1 4202496 22615 0 0 0 9849 8 0 0 20 0 1 0 24896607 157908992 34148 33554432000 4194304 5654031 140737047823616 140737047811432 4232495 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16159/statm: 38552 34148 142 357 0 38192 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 201356
Solver just ended. Dumping a history of the last processes samples
[startup+115.1 s]
/proc/loadavg: 2.16 2.07 2.01 3/182 16159
/proc/meminfo: memFree=31346088/32873844 swapFree=7632/7632
[pid=16153] ppid=16151 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16153/stat : 16153 (npSolver-pbo-It) S 16151 16153 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24896236 9367552 275 33554432000 4194304 5064252 140734603294592 140734603293504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16153/statm: 2287 275 233 213 0 72 0
[pid=16154] ppid=16153 vsize=38000 CPUtime=3.55 cores=1,3,5,7
/proc/16154/stat : 16154 (npSolver-pbo) S 16153 16153 13680 0 -1 4202496 5393 38746 0 0 47 5 285 18 20 0 1 0 24896237 38912000 5755 33554432000 4194304 6004724 140735413846048 140735413832328 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16154/statm: 9500 5755 167 442 0 9054 0
[pid=16159] ppid=16154 vsize=154208 CPUtime=111.36 cores=1,3,5,7
/proc/16159/stat : 16159 (glucosInc) R 16154 16153 13680 0 -1 4202496 22616 0 0 0 11128 8 0 0 20 0 1 0 24896607 157908992 34148 33554432000 4194304 5654031 140737047823616 140737047811432 4216337 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16159/statm: 38552 34148 142 357 0 38192 0
Current children cumulated CPU time (s) 114.91
Current children cumulated vsize (KiB) 201356
[startup+118.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/182 16159
/proc/meminfo: memFree=31342256/32873844 swapFree=7632/7632
[pid=16153] ppid=16151 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16153/stat : 16153 (npSolver-pbo-It) S 16151 16153 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24896236 9367552 275 33554432000 4194304 5064252 140734603294592 140734603293504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16153/statm: 2287 275 233 213 0 72 0
[pid=16154] ppid=16153 vsize=38000 CPUtime=3.55 cores=1,3,5,7
/proc/16154/stat : 16154 (npSolver-pbo) S 16153 16153 13680 0 -1 4202496 5393 38746 0 0 47 5 285 18 20 0 1 0 24896237 38912000 5755 33554432000 4194304 6004724 140735413846048 140735413832328 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16154/statm: 9500 5755 167 442 0 9054 0
[pid=16159] ppid=16154 vsize=154208 CPUtime=114.56 cores=1,3,5,7
/proc/16159/stat : 16159 (glucosInc) R 16154 16153 13680 0 -1 4202496 22616 0 0 0 11448 8 0 0 20 0 1 0 24896607 157908992 34148 33554432000 4194304 5654031 140737047823616 140737047811432 4232589 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16159/statm: 38552 34148 142 357 0 38192 0
Current children cumulated CPU time (s) 118.11
Current children cumulated vsize (KiB) 201356
[startup+121.5 s]
/proc/loadavg: 2.15 2.07 2.01 3/183 16160
/proc/meminfo: memFree=31338276/32873844 swapFree=7632/7632
[pid=16153] ppid=16151 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16153/stat : 16153 (npSolver-pbo-It) S 16151 16153 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24896236 9367552 275 33554432000 4194304 5064252 140734603294592 140734603293504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16153/statm: 2287 275 233 213 0 72 0
[pid=16154] ppid=16153 vsize=38000 CPUtime=3.55 cores=1,3,5,7
/proc/16154/stat : 16154 (npSolver-pbo) S 16153 16153 13680 0 -1 4202496 5393 38746 0 0 47 5 285 18 20 0 1 0 24896237 38912000 5755 33554432000 4194304 6004724 140735413846048 140735413832328 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16154/statm: 9500 5755 167 442 0 9054 0
[pid=16159] ppid=16154 vsize=154208 CPUtime=117.76 cores=1,3,5,7
/proc/16159/stat : 16159 (glucosInc) R 16154 16153 13680 0 -1 4202496 22616 0 0 0 11768 8 0 0 20 0 1 0 24896607 157908992 34148 33554432000 4194304 5654031 140737047823616 140737047811432 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16159/statm: 38552 34148 142 357 0 38192 0
Current children cumulated CPU time (s) 121.31
Current children cumulated vsize (KiB) 201356
[startup+122.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/183 16160
/proc/meminfo: memFree=31434764/32873844 swapFree=7632/7632
[pid=16153] ppid=16151 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16153/stat : 16153 (npSolver-pbo-It) S 16151 16153 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24896236 9367552 275 33554432000 4194304 5064252 140734603294592 140734603293504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16153/statm: 2287 275 233 213 0 72 0
[pid=16154] ppid=16153 vsize=38000 CPUtime=3.55 cores=1,3,5,7
/proc/16154/stat : 16154 (npSolver-pbo) S 16153 16153 13680 0 -1 4202496 5393 38746 0 0 47 5 285 18 20 0 1 0 24896237 38912000 5755 33554432000 4194304 6004724 140735413846048 140735413832328 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16154/statm: 9500 5755 167 442 0 9054 0
[pid=16159] ppid=16154 vsize=154208 CPUtime=118.56 cores=1,3,5,7
/proc/16159/stat : 16159 (glucosInc) R 16154 16153 13680 0 -1 4202496 22616 0 0 0 11848 8 0 0 20 0 1 0 24896607 157908992 34148 33554432000 4194304 5654031 140737047823616 140737047811432 4209096 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16159/statm: 38552 34148 142 357 0 38192 0
Current children cumulated CPU time (s) 122.11
Current children cumulated vsize (KiB) 201356
[startup+123.1 s]
/proc/loadavg: 2.14 2.07 2.01 2/184 16161
/proc/meminfo: memFree=31368352/32873844 swapFree=7632/7632
[pid=16153] ppid=16151 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16153/stat : 16153 (npSolver-pbo-It) S 16151 16153 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24896236 9367552 275 33554432000 4194304 5064252 140734603294592 140734603293504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16153/statm: 2287 275 233 213 0 72 0
[pid=16154] ppid=16153 vsize=45172 CPUtime=3.69 cores=1,3,5,7
/proc/16154/stat : 16154 (npSolver-pbo) S 16153 16153 13680 0 -1 4204032 6798 38746 0 0 50 16 285 18 20 0 1 0 24896237 46256128 7375 33554432000 4194304 6004724 140735413846048 140735413840600 5251733 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16154/statm: 11293 7375 189 442 0 10847 0
[pid=16159] ppid=16154 vsize=154216 CPUtime=118.87 cores=1,3,5,7
/proc/16159/stat : 16159 (glucosInc) S 16154 16153 13680 0 -1 4202496 22693 0 0 0 11879 8 0 0 20 0 1 0 24896607 157917184 34225 33554432000 4194304 5654031 140737047823616 140737047821928 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16159/statm: 38554 34225 148 357 0 38194 0
Current children cumulated CPU time (s) 122.56
Current children cumulated vsize (KiB) 208536
[startup+123.3 s]
/proc/loadavg: 2.14 2.07 2.01 2/184 16161
/proc/meminfo: memFree=31368352/32873844 swapFree=7632/7632
[pid=16153] ppid=16151 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16153/stat : 16153 (npSolver-pbo-It) S 16151 16153 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24896236 9367552 275 33554432000 4194304 5064252 140734603294592 140734603293504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16153/statm: 2287 275 233 213 0 72 0
[pid=16154] ppid=16153 vsize=45172 CPUtime=3.69 cores=1,3,5,7
/proc/16154/stat : 16154 (npSolver-pbo) S 16153 16153 13680 0 -1 4204032 6798 38746 0 0 50 16 285 18 20 0 1 0 24896237 46256128 7375 33554432000 4194304 6004724 140735413846048 140735413840600 5251733 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16154/statm: 11293 7375 189 442 0 10847 0
[pid=16159] ppid=16154 vsize=154216 CPUtime=118.87 cores=1,3,5,7
/proc/16159/stat : 16159 (glucosInc) S 16154 16153 13680 0 -1 4202496 22693 0 0 0 11879 8 0 0 20 0 1 0 24896607 157917184 34225 33554432000 4194304 5654031 140737047823616 140737047821928 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16159/statm: 38554 34225 148 357 0 38194 0
Current children cumulated CPU time (s) 122.56
Current children cumulated vsize (KiB) 208536
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16153 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=366488
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=349946
# CPU time returned by wait4() is 3.71643
# while last known CPU time is 122.56
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 123.36
CPU time (s): 122.56
CPU user time (s): 122.14
CPU system time (s): 0.42
CPU usage (%): 99.3512
Max. virtual memory (cumulated for all children) (KiB): 278276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.36649
system time used= 0.349946
maximum resident set size= 225044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45918
page faults= 0
swaps= 0
block input operations= 0
block output operations= 61096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9747
involuntary context switches= 15
runsolver used 0.241963 second user time and 0.632903 second system time
The end