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-3751147-1339112996/watcher-3751147-1339112996 -o /tmp/evaluation-result-3751147-1339112996/solver-3751147-1339112996 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751147-1339112996.opb 800061195 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.07 2.08 2.01 3/177 15328
/proc/meminfo: memFree=25377752/32873624 swapFree=7112/7112
[pid=15328] ppid=15326 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/15328/stat : 15328 (runsolver) D 15326 15328 12376 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 377425092 12095488 52 33554432000 4194304 5436572 140736811941968 140736811938264 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/15328/statm: 2953 52 31 304 0 2645 0
[startup+0.00624989 s]
/proc/loadavg: 2.07 2.08 2.01 3/177 15328
/proc/meminfo: memFree=25377752/32873624 swapFree=7112/7112
[pid=15328] ppid=15326 vsize=3420 CPUtime=0 cores=0,2,4,6
/proc/15328/stat : 15328 (npSolver-pbo-It) R 15326 15328 12376 0 -1 4202496 89 0 0 0 0 0 0 0 20 0 1 0 377425092 3502080 43 33554432000 4194304 5064252 140733821105472 140736811938152 227503337258 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15328/statm: 855 50 40 213 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3420
[startup+0.100138 s]
/proc/loadavg: 2.07 2.08 2.01 3/177 15328
/proc/meminfo: memFree=25377752/32873624 swapFree=7112/7112
[pid=15328] ppid=15326 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15328/stat : 15328 (npSolver-pbo-It) S 15326 15328 12376 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377425092 9367552 275 33554432000 4194304 5064252 140733821105472 140733821104384 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15328/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30022 s]
/proc/loadavg: 2.07 2.08 2.01 3/177 15328
/proc/meminfo: memFree=25377752/32873624 swapFree=7112/7112
[pid=15328] ppid=15326 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15328/stat : 15328 (npSolver-pbo-It) S 15326 15328 12376 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377425092 9367552 275 33554432000 4194304 5064252 140733821105472 140733821104384 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15328/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700232 s]
/proc/loadavg: 2.07 2.08 2.01 3/177 15328
/proc/meminfo: memFree=25377752/32873624 swapFree=7112/7112
[pid=15328] ppid=15326 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15328/stat : 15328 (npSolver-pbo-It) S 15326 15328 12376 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377425092 9367552 275 33554432000 4194304 5064252 140733821105472 140733821104384 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15328/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50041 s]
/proc/loadavg: 2.07 2.08 2.01 3/181 15332
/proc/meminfo: memFree=25198632/32873624 swapFree=7112/7112
[pid=15328] ppid=15326 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15328/stat : 15328 (npSolver-pbo-It) S 15326 15328 12376 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377425092 9367552 275 33554432000 4194304 5064252 140733821105472 140733821104384 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15328/statm: 2287 275 233 213 0 72 0
[pid=15330] ppid=15328 vsize=111160 CPUtime=0.79 cores=0,2,4,6
/proc/15330/stat : 15330 (npSolver-pbo) S 15328 15328 12376 0 -1 4202496 18615 0 0 0 74 5 0 0 20 0 1 0 377425093 113827840 27069 33554432000 4194304 6004724 140736946657200 140736946651664 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15330/statm: 27790 27069 148 442 0 27344 0
[pid=15331] ppid=15330 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15331/stat : 15331 (cp2_pre.sh) S 15330 15328 12376 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 377425173 9367552 277 33554432000 4194304 5064252 140733193565680 140733193564384 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15331/statm: 2287 277 234 213 0 72 0
[pid=15332] ppid=15331 vsize=109068 CPUtime=0.68 cores=0,2,4,6
/proc/15332/stat : 15332 (coprocessor) R 15331 15328 12376 0 -1 4202496 21555 0 0 0 64 4 0 0 20 0 1 0 377425173 111685632 26425 33554432000 4194304 6586260 140734378982512 140733193564408 5511711 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/15332/statm: 27267 26426 191 584 0 26679 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 238524
[startup+3.10035 s]
/proc/loadavg: 2.07 2.08 2.01 3/180 15334
/proc/meminfo: memFree=25230796/32873624 swapFree=7112/7112
[pid=15328] ppid=15326 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15328/stat : 15328 (npSolver-pbo-It) S 15326 15328 12376 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377425092 9367552 275 33554432000 4194304 5064252 140733821105472 140733821104384 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15328/statm: 2287 275 233 213 0 72 0
[pid=15330] ppid=15328 vsize=111160 CPUtime=2 cores=0,2,4,6
/proc/15330/stat : 15330 (npSolver-pbo) S 15328 15328 12376 0 -1 4202496 18632 23095 0 0 74 5 114 7 20 0 1 0 377425093 113827840 27074 33554432000 4194304 6004724 140736946657200 140736946643480 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15330/statm: 27790 27074 152 442 0 27344 0
[pid=15334] ppid=15330 vsize=49168 CPUtime=1.06 cores=0,2,4,6
/proc/15334/stat : 15334 (glucosInc) R 15330 15328 12376 0 -1 4202496 10791 0 0 0 104 2 0 0 20 0 1 0 377425295 50348032 10823 33554432000 4194304 5654031 140734089377008 140734089364824 4232707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15334/statm: 12292 10823 137 357 0 11932 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 169476
[startup+6.30026 s]
/proc/loadavg: 2.07 2.08 2.01 3/180 15336
/proc/meminfo: memFree=25218768/32873624 swapFree=7112/7112
[pid=15328] ppid=15326 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15328/stat : 15328 (npSolver-pbo-It) S 15326 15328 12376 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377425092 9367552 275 33554432000 4194304 5064252 140733821105472 140733821104384 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15328/statm: 2287 275 233 213 0 72 0
[pid=15330] ppid=15328 vsize=111160 CPUtime=2 cores=0,2,4,6
/proc/15330/stat : 15330 (npSolver-pbo) S 15328 15328 12376 0 -1 4202496 18632 23095 0 0 74 5 114 7 20 0 1 0 377425093 113827840 27074 33554432000 4194304 6004724 140736946657200 140736946643480 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15330/statm: 27790 27074 152 442 0 27344 0
[pid=15334] ppid=15330 vsize=49432 CPUtime=4.26 cores=0,2,4,6
/proc/15334/stat : 15334 (glucosInc) R 15330 15328 12376 0 -1 4202496 11056 0 0 0 424 2 0 0 20 0 1 0 377425295 50618368 11079 33554432000 4194304 5654031 140734089377008 140734089364824 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15334/statm: 12358 11079 139 357 0 11998 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 169740
[startup+12.7002 s]
/proc/loadavg: 2.06 2.08 2.01 3/180 15336
/proc/meminfo: memFree=25216180/32873624 swapFree=7112/7112
[pid=15328] ppid=15326 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15328/stat : 15328 (npSolver-pbo-It) S 15326 15328 12376 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377425092 9367552 275 33554432000 4194304 5064252 140733821105472 140733821104384 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15328/statm: 2287 275 233 213 0 72 0
[pid=15330] ppid=15328 vsize=111160 CPUtime=2 cores=0,2,4,6
/proc/15330/stat : 15330 (npSolver-pbo) S 15328 15328 12376 0 -1 4202496 18632 23095 0 0 74 5 114 7 20 0 1 0 377425093 113827840 27074 33554432000 4194304 6004724 140736946657200 140736946643480 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15330/statm: 27790 27074 152 442 0 27344 0
[pid=15334] ppid=15330 vsize=54380 CPUtime=10.66 cores=0,2,4,6
/proc/15334/stat : 15334 (glucosInc) R 15330 15328 12376 0 -1 4202496 11446 0 0 0 1064 2 0 0 20 0 1 0 377425295 55685120 11969 33554432000 4194304 5654031 140734089377008 140734089364824 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15334/statm: 13595 11969 139 357 0 13235 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 174688
[startup+25.5003 s]
/proc/loadavg: 2.12 2.09 2.01 3/180 15336
/proc/meminfo: memFree=25214704/32873624 swapFree=7112/7112
[pid=15328] ppid=15326 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15328/stat : 15328 (npSolver-pbo-It) S 15326 15328 12376 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377425092 9367552 275 33554432000 4194304 5064252 140733821105472 140733821104384 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15328/statm: 2287 275 233 213 0 72 0
[pid=15330] ppid=15328 vsize=111160 CPUtime=2 cores=0,2,4,6
/proc/15330/stat : 15330 (npSolver-pbo) S 15328 15328 12376 0 -1 4202496 18632 23095 0 0 74 5 114 7 20 0 1 0 377425093 113827840 27074 33554432000 4194304 6004724 140736946657200 140736946643480 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15330/statm: 27790 27074 152 442 0 27344 0
[pid=15334] ppid=15330 vsize=55088 CPUtime=23.46 cores=0,2,4,6
/proc/15334/stat : 15334 (glucosInc) R 15330 15328 12376 0 -1 4202496 12189 0 0 0 2343 3 0 0 20 0 1 0 377425295 56410112 12193 33554432000 4194304 5654031 140734089377008 140734089374792 4232688 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15334/statm: 13772 12193 140 357 0 13412 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 175396
[startup+51.1002 s]
/proc/loadavg: 2.08 2.08 2.01 3/180 15336
/proc/meminfo: memFree=25197756/32873624 swapFree=7112/7112
[pid=15328] ppid=15326 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15328/stat : 15328 (npSolver-pbo-It) S 15326 15328 12376 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377425092 9367552 275 33554432000 4194304 5064252 140733821105472 140733821104384 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15328/statm: 2287 275 233 213 0 72 0
[pid=15330] ppid=15328 vsize=111160 CPUtime=2 cores=0,2,4,6
/proc/15330/stat : 15330 (npSolver-pbo) S 15328 15328 12376 0 -1 4202496 18632 23095 0 0 74 5 114 7 20 0 1 0 377425093 113827840 27074 33554432000 4194304 6004724 140736946657200 140736946643480 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15330/statm: 27790 27074 152 442 0 27344 0
[pid=15334] ppid=15330 vsize=67552 CPUtime=49.05 cores=0,2,4,6
/proc/15334/stat : 15334 (glucosInc) R 15330 15328 12376 0 -1 4202496 12841 0 0 0 4902 3 0 0 20 0 1 0 377425295 69173248 14826 33554432000 4194304 5654031 140734089377008 140734089374808 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15334/statm: 16888 14826 140 357 0 16528 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 187860
[startup+102.306 s]
/proc/loadavg: 2.09 2.09 2.01 3/179 15336
/proc/meminfo: memFree=25188580/32873624 swapFree=7112/7112
[pid=15328] ppid=15326 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15328/stat : 15328 (npSolver-pbo-It) S 15326 15328 12376 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377425092 9367552 275 33554432000 4194304 5064252 140733821105472 140733821104384 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15328/statm: 2287 275 233 213 0 72 0
[pid=15330] ppid=15328 vsize=111160 CPUtime=2 cores=0,2,4,6
/proc/15330/stat : 15330 (npSolver-pbo) S 15328 15328 12376 0 -1 4202496 18632 23095 0 0 74 5 114 7 20 0 1 0 377425093 113827840 27074 33554432000 4194304 6004724 140736946657200 140736946643480 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15330/statm: 27790 27074 152 442 0 27344 0
[pid=15334] ppid=15330 vsize=67572 CPUtime=100.26 cores=0,2,4,6
/proc/15334/stat : 15334 (glucosInc) R 15330 15328 12376 0 -1 4202496 13679 0 0 0 10022 4 0 0 20 0 1 0 377425295 69193728 15376 33554432000 4194304 5654031 140734089377008 140734089364824 4232601 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15334/statm: 16893 15376 140 357 0 16533 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 187880
Solver just ended. Dumping a history of the last processes samples
[startup+108.7 s]
/proc/loadavg: 2.08 2.08 2.01 3/179 15336
/proc/meminfo: memFree=25188456/32873624 swapFree=7112/7112
[pid=15328] ppid=15326 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15328/stat : 15328 (npSolver-pbo-It) S 15326 15328 12376 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377425092 9367552 275 33554432000 4194304 5064252 140733821105472 140733821104384 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15328/statm: 2287 275 233 213 0 72 0
[pid=15330] ppid=15328 vsize=111160 CPUtime=2 cores=0,2,4,6
/proc/15330/stat : 15330 (npSolver-pbo) S 15328 15328 12376 0 -1 4202496 18632 23095 0 0 74 5 114 7 20 0 1 0 377425093 113827840 27074 33554432000 4194304 6004724 140736946657200 140736946643480 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15330/statm: 27790 27074 152 442 0 27344 0
[pid=15334] ppid=15330 vsize=79064 CPUtime=106.65 cores=0,2,4,6
/proc/15334/stat : 15334 (glucosInc) R 15330 15328 12376 0 -1 4202496 14031 0 0 0 10661 4 0 0 20 0 1 0 377425295 80961536 17747 33554432000 4194304 5654031 140734089377008 140734089364824 4233033 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15334/statm: 19766 17747 140 357 0 19406 0
Current children cumulated CPU time (s) 108.65
Current children cumulated vsize (KiB) 199372
[startup+111.9 s]
/proc/loadavg: 2.16 2.10 2.02 3/179 15336
/proc/meminfo: memFree=25177720/32873624 swapFree=7112/7112
[pid=15328] ppid=15326 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15328/stat : 15328 (npSolver-pbo-It) S 15326 15328 12376 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377425092 9367552 275 33554432000 4194304 5064252 140733821105472 140733821104384 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15328/statm: 2287 275 233 213 0 72 0
[pid=15330] ppid=15328 vsize=111160 CPUtime=2 cores=0,2,4,6
/proc/15330/stat : 15330 (npSolver-pbo) S 15328 15328 12376 0 -1 4202496 18632 23095 0 0 74 5 114 7 20 0 1 0 377425093 113827840 27074 33554432000 4194304 6004724 140736946657200 140736946643480 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15330/statm: 27790 27074 152 442 0 27344 0
[pid=15334] ppid=15330 vsize=79064 CPUtime=109.85 cores=0,2,4,6
/proc/15334/stat : 15334 (glucosInc) R 15330 15328 12376 0 -1 4202496 14031 0 0 0 10981 4 0 0 20 0 1 0 377425295 80961536 17747 33554432000 4194304 5654031 140734089377008 140734089364824 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15334/statm: 19766 17747 140 357 0 19406 0
Current children cumulated CPU time (s) 111.85
Current children cumulated vsize (KiB) 199372
[startup+115.1 s]
/proc/loadavg: 2.14 2.10 2.02 3/179 15336
/proc/meminfo: memFree=25191884/32873624 swapFree=7112/7112
[pid=15328] ppid=15326 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15328/stat : 15328 (npSolver-pbo-It) S 15326 15328 12376 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377425092 9367552 275 33554432000 4194304 5064252 140733821105472 140733821104384 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15328/statm: 2287 275 233 213 0 72 0
[pid=15330] ppid=15328 vsize=111160 CPUtime=2 cores=0,2,4,6
/proc/15330/stat : 15330 (npSolver-pbo) S 15328 15328 12376 0 -1 4202496 18632 23095 0 0 74 5 114 7 20 0 1 0 377425093 113827840 27074 33554432000 4194304 6004724 140736946657200 140736946643480 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15330/statm: 27790 27074 152 442 0 27344 0
[pid=15334] ppid=15330 vsize=79064 CPUtime=113.04 cores=0,2,4,6
/proc/15334/stat : 15334 (glucosInc) R 15330 15328 12376 0 -1 4202496 14031 0 0 0 11300 4 0 0 20 0 1 0 377425295 80961536 17747 33554432000 4194304 5654031 140734089377008 140734089364824 4232794 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15334/statm: 19766 17747 140 357 0 19406 0
Current children cumulated CPU time (s) 115.04
Current children cumulated vsize (KiB) 199372
[startup+116.7 s]
/proc/loadavg: 2.14 2.10 2.02 3/179 15336
/proc/meminfo: memFree=25189836/32873624 swapFree=7112/7112
[pid=15328] ppid=15326 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15328/stat : 15328 (npSolver-pbo-It) S 15326 15328 12376 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377425092 9367552 275 33554432000 4194304 5064252 140733821105472 140733821104384 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15328/statm: 2287 275 233 213 0 72 0
[pid=15330] ppid=15328 vsize=111160 CPUtime=2 cores=0,2,4,6
/proc/15330/stat : 15330 (npSolver-pbo) S 15328 15328 12376 0 -1 4202496 18632 23095 0 0 74 5 114 7 20 0 1 0 377425093 113827840 27074 33554432000 4194304 6004724 140736946657200 140736946643480 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15330/statm: 27790 27074 152 442 0 27344 0
[pid=15334] ppid=15330 vsize=79064 CPUtime=114.64 cores=0,2,4,6
/proc/15334/stat : 15334 (glucosInc) R 15330 15328 12376 0 -1 4202496 14032 0 0 0 11460 4 0 0 20 0 1 0 377425295 80961536 18259 33554432000 4194304 5654031 140734089377008 140734089364824 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15334/statm: 19766 18259 140 357 0 19406 0
Current children cumulated CPU time (s) 116.64
Current children cumulated vsize (KiB) 199372
[startup+117.5 s]
/proc/loadavg: 2.14 2.10 2.02 3/179 15336
/proc/meminfo: memFree=25189836/32873624 swapFree=7112/7112
[pid=15328] ppid=15326 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15328/stat : 15328 (npSolver-pbo-It) S 15326 15328 12376 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377425092 9367552 275 33554432000 4194304 5064252 140733821105472 140733821104384 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15328/statm: 2287 275 233 213 0 72 0
[pid=15330] ppid=15328 vsize=111160 CPUtime=2 cores=0,2,4,6
/proc/15330/stat : 15330 (npSolver-pbo) S 15328 15328 12376 0 -1 4202496 18632 23095 0 0 74 5 114 7 20 0 1 0 377425093 113827840 27074 33554432000 4194304 6004724 140736946657200 140736946643480 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15330/statm: 27790 27074 152 442 0 27344 0
[pid=15334] ppid=15330 vsize=56080 CPUtime=115.44 cores=0,2,4,6
/proc/15334/stat : 15334 (glucosInc) R 15330 15328 12376 0 -1 4202496 14032 0 0 0 11540 4 0 0 20 0 1 0 377425295 57425920 12771 33554432000 4194304 5654031 140734089377008 140734089364824 4232707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15334/statm: 14020 12771 140 357 0 13660 0
Current children cumulated CPU time (s) 117.44
Current children cumulated vsize (KiB) 176388
[startup+117.706 s]
/proc/loadavg: 2.14 2.10 2.02 3/179 15336
/proc/meminfo: memFree=25211184/32873624 swapFree=7112/7112
[pid=15328] ppid=15326 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15328/stat : 15328 (npSolver-pbo-It) S 15326 15328 12376 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377425092 9367552 275 33554432000 4194304 5064252 140733821105472 140733821104384 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15328/statm: 2287 275 233 213 0 72 0
[pid=15330] ppid=15328 vsize=81104 CPUtime=2.03 cores=0,2,4,6
/proc/15330/stat : 15330 (npSolver-pbo) R 15328 15328 12376 0 -1 4202496 26212 23095 0 0 76 6 114 7 20 0 1 0 377425093 83050496 19562 33554432000 4194304 6004724 140736946657200 140736946643480 4959451 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15330/statm: 20276 19562 154 442 0 19830 0
[pid=15334] ppid=15330 vsize=0 CPUtime=115.63 cores=0,2,4,6
/proc/15334/stat : 15334 (glucosInc) Z 15330 15328 12376 0 -1 4202508 14037 0 0 0 11559 4 0 0 20 0 1 0 377425295 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15334/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 117.66
Current children cumulated vsize (KiB) 90252
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15328 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=913709
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=146977
# CPU time returned by wait4() is 2.06069
# while last known CPU time is 117.66
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 117.722
CPU time (s): 117.66
CPU user time (s): 117.49
CPU system time (s): 0.17
CPU usage (%): 99.9469
Max. virtual memory (cumulated for all children) (KiB): 239368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.91371
system time used= 0.146977
maximum resident set size= 121288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49683
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 11
runsolver used 0.19197 second user time and 0.45593 second system time
The end