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-3714227-1338185405/watcher-3714227-1338185405 -o /tmp/evaluation-result-3714227-1338185405/solver-3714227-1338185405 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714227-1338185405.wbo 2040362318 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.01 1.99 1.99 2/178 18345
/proc/meminfo: memFree=29918052/32873844 swapFree=7112/7112
[pid=18345] ppid=18343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18345/stat : 18345 (npSolver-wbo-I.) S 18343 18345 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284669073 9367552 275 33554432000 4194304 5064252 140735358568352 140735358567264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18345/statm: 2287 275 233 213 0 72 0
[startup+0.073877 s]
/proc/loadavg: 2.01 1.99 1.99 2/178 18345
/proc/meminfo: memFree=29918052/32873844 swapFree=7112/7112
[pid=18345] ppid=18343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18345/stat : 18345 (npSolver-wbo-I.) S 18343 18345 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284669073 9367552 275 33554432000 4194304 5064252 140735358568352 140735358567264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18345/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100164 s]
/proc/loadavg: 2.01 1.99 1.99 2/178 18345
/proc/meminfo: memFree=29918052/32873844 swapFree=7112/7112
[pid=18345] ppid=18343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18345/stat : 18345 (npSolver-wbo-I.) S 18343 18345 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284669073 9367552 275 33554432000 4194304 5064252 140735358568352 140735358567264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18345/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300258 s]
/proc/loadavg: 2.01 1.99 1.99 2/178 18345
/proc/meminfo: memFree=29918052/32873844 swapFree=7112/7112
[pid=18345] ppid=18343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18345/stat : 18345 (npSolver-wbo-I.) S 18343 18345 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284669073 9367552 275 33554432000 4194304 5064252 140735358568352 140735358567264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18345/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700275 s]
/proc/loadavg: 2.01 1.99 1.99 2/178 18345
/proc/meminfo: memFree=29918052/32873844 swapFree=7112/7112
[pid=18345] ppid=18343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18345/stat : 18345 (npSolver-wbo-I.) S 18343 18345 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284669073 9367552 275 33554432000 4194304 5064252 140735358568352 140735358567264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18345/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.01 1.99 1.99 3/182 18359
/proc/meminfo: memFree=29830732/32873844 swapFree=7112/7112
[pid=18345] ppid=18343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18345/stat : 18345 (npSolver-wbo-I.) S 18343 18345 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284669073 9367552 275 33554432000 4194304 5064252 140735358568352 140735358567264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18345/statm: 2287 275 233 213 0 72 0
[pid=18346] ppid=18345 vsize=7200 CPUtime=1.32 cores=0,2,4,6
/proc/18346/stat : 18346 (npSolver-wbo) R 18345 18345 14387 0 -1 4202496 4577 26790 0 0 16 4 97 15 20 0 1 0 284669073 7372800 1334 33554432000 4194304 5990268 140734212150144 140734212142160 5042551 0 0 4096 0 0 0 0 17 2 0 0 15 0 0
/proc/18346/statm: 1800 1335 160 439 0 1357 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 16348
[startup+3.10036 s]
/proc/loadavg: 2.01 1.99 1.99 3/182 18394
/proc/meminfo: memFree=29907528/32873844 swapFree=7112/7112
[pid=18345] ppid=18343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18345/stat : 18345 (npSolver-wbo-I.) S 18343 18345 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284669073 9367552 275 33554432000 4194304 5064252 140735358568352 140735358567264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18345/statm: 2287 275 233 213 0 72 0
[pid=18346] ppid=18345 vsize=11296 CPUtime=1.99 cores=0,2,4,6
/proc/18346/stat : 18346 (npSolver-wbo) S 18345 18345 14387 0 -1 4202496 5529 47924 0 0 18 4 153 24 20 0 1 0 284669073 11567104 2121 33554432000 4194304 5990268 140734212150144 140734212141584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0
/proc/18346/statm: 2824 2121 160 439 0 2381 0
[pid=18393] ppid=18346 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18393/stat : 18393 (satsolver.sh) S 18346 18345 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284669289 9367552 267 33554432000 4194304 5064252 140735903108384 140735903107296 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18393/statm: 2287 267 226 213 0 72 0
[pid=18394] ppid=18393 vsize=6940 CPUtime=0.93 cores=0,2,4,6
/proc/18394/stat : 18394 (glucose) R 18393 18345 14387 0 -1 4202496 1613 0 0 0 93 0 0 0 20 0 1 0 284669289 7106560 1132 33554432000 4194304 5208918 140737212598640 140737212596584 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18394/statm: 1735 1132 102 248 0 1484 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 36532
[startup+6.30028 s]
/proc/loadavg: 1.93 1.97 1.99 3/182 18415
/proc/meminfo: memFree=29906020/32873844 swapFree=7112/7112
[pid=18345] ppid=18343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18345/stat : 18345 (npSolver-wbo-I.) S 18343 18345 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284669073 9367552 275 33554432000 4194304 5064252 140735358568352 140735358567264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18345/statm: 2287 275 233 213 0 72 0
[pid=18346] ppid=18345 vsize=11296 CPUtime=3.76 cores=0,2,4,6
/proc/18346/stat : 18346 (npSolver-wbo) S 18345 18345 14387 0 -1 4202496 5733 57714 0 0 18 4 328 26 20 0 1 0 284669073 11567104 2122 33554432000 4194304 5990268 140734212150144 140734212141584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0
/proc/18346/statm: 2824 2122 161 439 0 2381 0
[pid=18414] ppid=18346 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18414/stat : 18414 (satsolver.sh) S 18346 18345 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284669466 9367552 267 33554432000 4194304 5064252 140737459993856 140737459992768 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18414/statm: 2287 267 226 213 0 72 0
[pid=18415] ppid=18414 vsize=8676 CPUtime=2.35 cores=0,2,4,6
/proc/18415/stat : 18415 (glucose) R 18414 18345 14387 0 -1 4202496 2000 0 0 0 235 0 0 0 20 0 1 0 284669466 8884224 1536 33554432000 4194304 5208918 140733884731984 140733884729928 4229493 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18415/statm: 2169 1536 102 248 0 1918 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 38268
[startup+12.7003 s]
/proc/loadavg: 1.93 1.97 1.99 3/182 18479
/proc/meminfo: memFree=29854920/32873844 swapFree=7112/7112
[pid=18345] ppid=18343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18345/stat : 18345 (npSolver-wbo-I.) S 18343 18345 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284669073 9367552 275 33554432000 4194304 5064252 140735358568352 140735358567264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18345/statm: 2287 275 233 213 0 72 0
[pid=18346] ppid=18345 vsize=11296 CPUtime=3.76 cores=0,2,4,6
/proc/18346/stat : 18346 (npSolver-wbo) S 18345 18345 14387 0 -1 4202496 5733 57714 0 0 18 4 328 26 20 0 1 0 284669073 11567104 2122 33554432000 4194304 5990268 140734212150144 140734212141584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0
/proc/18346/statm: 2824 2122 161 439 0 2381 0
[pid=18414] ppid=18346 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18414/stat : 18414 (satsolver.sh) S 18346 18345 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284669466 9367552 267 33554432000 4194304 5064252 140737459993856 140737459992768 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18414/statm: 2287 267 226 213 0 72 0
[pid=18415] ppid=18414 vsize=11996 CPUtime=8.75 cores=0,2,4,6
/proc/18415/stat : 18415 (glucose) R 18414 18345 14387 0 -1 4202496 3094 0 0 0 875 0 0 0 20 0 1 0 284669466 12283904 2565 33554432000 4194304 5208918 140733884731984 140733884728360 4229704 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18415/statm: 2999 2565 103 248 0 2748 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 41588
[startup+25.5004 s]
/proc/loadavg: 1.87 1.95 1.98 3/182 18627
/proc/meminfo: memFree=29892696/32873844 swapFree=7112/7112
[pid=18345] ppid=18343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18345/stat : 18345 (npSolver-wbo-I.) S 18343 18345 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284669073 9367552 275 33554432000 4194304 5064252 140735358568352 140735358567264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18345/statm: 2287 275 233 213 0 72 0
[pid=18346] ppid=18345 vsize=11296 CPUtime=3.76 cores=0,2,4,6
/proc/18346/stat : 18346 (npSolver-wbo) S 18345 18345 14387 0 -1 4202496 5733 57714 0 0 18 4 328 26 20 0 1 0 284669073 11567104 2122 33554432000 4194304 5990268 140734212150144 140734212141584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0
/proc/18346/statm: 2824 2122 161 439 0 2381 0
[pid=18414] ppid=18346 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18414/stat : 18414 (satsolver.sh) S 18346 18345 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284669466 9367552 267 33554432000 4194304 5064252 140737459993856 140737459992768 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18414/statm: 2287 267 226 213 0 72 0
[pid=18415] ppid=18414 vsize=17428 CPUtime=21.54 cores=0,2,4,6
/proc/18415/stat : 18415 (glucose) R 18414 18345 14387 0 -1 4202496 3976 0 0 0 2154 0 0 0 20 0 1 0 284669466 17846272 3929 33554432000 4194304 5208918 140733884731984 140733884728360 4212601 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18415/statm: 4357 3929 103 248 0 4106 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 47020
Solver just ended. Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 1.87 1.95 1.98 3/182 18627
/proc/meminfo: memFree=29892696/32873844 swapFree=7112/7112
[pid=18345] ppid=18343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18345/stat : 18345 (npSolver-wbo-I.) S 18343 18345 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284669073 9367552 275 33554432000 4194304 5064252 140735358568352 140735358567264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18345/statm: 2287 275 233 213 0 72 0
[pid=18346] ppid=18345 vsize=11296 CPUtime=3.76 cores=0,2,4,6
/proc/18346/stat : 18346 (npSolver-wbo) S 18345 18345 14387 0 -1 4202496 5733 57714 0 0 18 4 328 26 20 0 1 0 284669073 11567104 2122 33554432000 4194304 5990268 140734212150144 140734212141584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0
/proc/18346/statm: 2824 2122 161 439 0 2381 0
[pid=18414] ppid=18346 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18414/stat : 18414 (satsolver.sh) S 18346 18345 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284669466 9367552 267 33554432000 4194304 5064252 140737459993856 140737459992768 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18414/statm: 2287 267 226 213 0 72 0
[pid=18415] ppid=18414 vsize=17428 CPUtime=21.64 cores=0,2,4,6
/proc/18415/stat : 18415 (glucose) R 18414 18345 14387 0 -1 4202496 3976 0 0 0 2164 0 0 0 20 0 1 0 284669466 17846272 3929 33554432000 4194304 5208918 140733884731984 140733884728360 4229493 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18415/statm: 4357 3929 103 248 0 4106 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 47020
[startup+28.8003 s]
/proc/loadavg: 1.88 1.95 1.98 3/182 18627
/proc/meminfo: memFree=29886316/32873844 swapFree=7112/7112
[pid=18345] ppid=18343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18345/stat : 18345 (npSolver-wbo-I.) S 18343 18345 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284669073 9367552 275 33554432000 4194304 5064252 140735358568352 140735358567264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18345/statm: 2287 275 233 213 0 72 0
[pid=18346] ppid=18345 vsize=11296 CPUtime=3.76 cores=0,2,4,6
/proc/18346/stat : 18346 (npSolver-wbo) S 18345 18345 14387 0 -1 4202496 5733 57714 0 0 18 4 328 26 20 0 1 0 284669073 11567104 2122 33554432000 4194304 5990268 140734212150144 140734212141584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0
/proc/18346/statm: 2824 2122 161 439 0 2381 0
[pid=18414] ppid=18346 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18414/stat : 18414 (satsolver.sh) S 18346 18345 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284669466 9367552 267 33554432000 4194304 5064252 140737459993856 140737459992768 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18414/statm: 2287 267 226 213 0 72 0
[pid=18415] ppid=18414 vsize=20148 CPUtime=24.84 cores=0,2,4,6
/proc/18415/stat : 18415 (glucose) R 18414 18345 14387 0 -1 4202496 4145 0 0 0 2484 0 0 0 20 0 1 0 284669466 20631552 4599 33554432000 4194304 5208918 140733884731984 140733884729848 4229328 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18415/statm: 5037 4599 103 248 0 4786 0
Current children cumulated CPU time (s) 28.6
Current children cumulated vsize (KiB) 49740
[startup+32.006 s]
/proc/loadavg: 1.88 1.95 1.98 3/182 18627
/proc/meminfo: memFree=29884224/32873844 swapFree=7112/7112
[pid=18345] ppid=18343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18345/stat : 18345 (npSolver-wbo-I.) S 18343 18345 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284669073 9367552 275 33554432000 4194304 5064252 140735358568352 140735358567264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18345/statm: 2287 275 233 213 0 72 0
[pid=18346] ppid=18345 vsize=11296 CPUtime=3.76 cores=0,2,4,6
/proc/18346/stat : 18346 (npSolver-wbo) S 18345 18345 14387 0 -1 4202496 5733 57714 0 0 18 4 328 26 20 0 1 0 284669073 11567104 2122 33554432000 4194304 5990268 140734212150144 140734212141584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0
/proc/18346/statm: 2824 2122 161 439 0 2381 0
[pid=18414] ppid=18346 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18414/stat : 18414 (satsolver.sh) S 18346 18345 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284669466 9367552 267 33554432000 4194304 5064252 140737459993856 140737459992768 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18414/statm: 2287 267 226 213 0 72 0
[pid=18415] ppid=18414 vsize=20148 CPUtime=28.04 cores=0,2,4,6
/proc/18415/stat : 18415 (glucose) R 18414 18345 14387 0 -1 4202496 4157 0 0 0 2804 0 0 0 20 0 1 0 284669466 20631552 4608 33554432000 4194304 5208918 140733884731984 140733884728360 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18415/statm: 5037 4608 103 248 0 4786 0
Current children cumulated CPU time (s) 31.8
Current children cumulated vsize (KiB) 49740
[startup+33.6003 s]
/proc/loadavg: 1.88 1.95 1.98 3/182 18627
/proc/meminfo: memFree=29890304/32873844 swapFree=7112/7112
[pid=18345] ppid=18343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18345/stat : 18345 (npSolver-wbo-I.) S 18343 18345 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284669073 9367552 275 33554432000 4194304 5064252 140735358568352 140735358567264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18345/statm: 2287 275 233 213 0 72 0
[pid=18346] ppid=18345 vsize=11296 CPUtime=3.76 cores=0,2,4,6
/proc/18346/stat : 18346 (npSolver-wbo) S 18345 18345 14387 0 -1 4202496 5733 57714 0 0 18 4 328 26 20 0 1 0 284669073 11567104 2122 33554432000 4194304 5990268 140734212150144 140734212141584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0
/proc/18346/statm: 2824 2122 161 439 0 2381 0
[pid=18414] ppid=18346 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18414/stat : 18414 (satsolver.sh) S 18346 18345 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284669466 9367552 267 33554432000 4194304 5064252 140737459993856 140737459992768 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18414/statm: 2287 267 226 213 0 72 0
[pid=18415] ppid=18414 vsize=19100 CPUtime=29.65 cores=0,2,4,6
/proc/18415/stat : 18415 (glucose) R 18414 18345 14387 0 -1 4202496 5438 0 0 0 2964 1 0 0 20 0 1 0 284669466 19558400 4025 33554432000 4194304 5208918 140733884731984 140733884730056 4228997 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18415/statm: 4775 4025 103 248 0 4524 0
Current children cumulated CPU time (s) 33.41
Current children cumulated vsize (KiB) 48692
[startup+34.4003 s]
/proc/loadavg: 1.89 1.95 1.98 3/182 18627
/proc/meminfo: memFree=29886892/32873844 swapFree=7112/7112
[pid=18345] ppid=18343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18345/stat : 18345 (npSolver-wbo-I.) S 18343 18345 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284669073 9367552 275 33554432000 4194304 5064252 140735358568352 140735358567264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18345/statm: 2287 275 233 213 0 72 0
[pid=18346] ppid=18345 vsize=11296 CPUtime=3.76 cores=0,2,4,6
/proc/18346/stat : 18346 (npSolver-wbo) S 18345 18345 14387 0 -1 4202496 5733 57714 0 0 18 4 328 26 20 0 1 0 284669073 11567104 2122 33554432000 4194304 5990268 140734212150144 140734212141584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0
/proc/18346/statm: 2824 2122 161 439 0 2381 0
[pid=18414] ppid=18346 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18414/stat : 18414 (satsolver.sh) S 18346 18345 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284669466 9367552 267 33554432000 4194304 5064252 140737459993856 140737459992768 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18414/statm: 2287 267 226 213 0 72 0
[pid=18415] ppid=18414 vsize=19100 CPUtime=30.45 cores=0,2,4,6
/proc/18415/stat : 18415 (glucose) R 18414 18345 14387 0 -1 4202496 5438 0 0 0 3044 1 0 0 20 0 1 0 284669466 19558400 4025 33554432000 4194304 5208918 140733884731984 140733884729832 4229507 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18415/statm: 4775 4025 103 248 0 4524 0
Current children cumulated CPU time (s) 34.21
Current children cumulated vsize (KiB) 48692
[startup+34.6003 s]
/proc/loadavg: 1.89 1.95 1.98 3/182 18627
/proc/meminfo: memFree=29886892/32873844 swapFree=7112/7112
[pid=18345] ppid=18343 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18345/stat : 18345 (npSolver-wbo-I.) S 18343 18345 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284669073 9367552 275 33554432000 4194304 5064252 140735358568352 140735358567264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18345/statm: 2287 275 233 213 0 72 0
[pid=18346] ppid=18345 vsize=11296 CPUtime=3.76 cores=0,2,4,6
/proc/18346/stat : 18346 (npSolver-wbo) S 18345 18345 14387 0 -1 4202496 5733 57714 0 0 18 4 328 26 20 0 1 0 284669073 11567104 2122 33554432000 4194304 5990268 140734212150144 140734212141584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0
/proc/18346/statm: 2824 2122 161 439 0 2381 0
[pid=18414] ppid=18346 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18414/stat : 18414 (satsolver.sh) S 18346 18345 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284669466 9367552 267 33554432000 4194304 5064252 140737459993856 140737459992768 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18414/statm: 2287 267 226 213 0 72 0
[pid=18415] ppid=18414 vsize=19100 CPUtime=30.65 cores=0,2,4,6
/proc/18415/stat : 18415 (glucose) R 18414 18345 14387 0 -1 4202496 5438 0 0 0 3064 1 0 0 20 0 1 0 284669466 19558400 4025 33554432000 4194304 5208918 140733884731984 140733884729832 4229319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18415/statm: 4775 4025 103 248 0 4524 0
Current children cumulated CPU time (s) 34.41
Current children cumulated vsize (KiB) 48692
Child status: 0
Real time (s): 34.6758
CPU time (s): 34.5038
CPU user time (s): 34.1748
CPU system time (s): 0.328949
CPU usage (%): 99.5039
Max. virtual memory (cumulated for all children) (KiB): 111696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.1748
system time used= 0.328949
maximum resident set size= 66200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73220
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 654
involuntary context switches= 172
runsolver used 0.081987 second user time and 0.173973 second system time
The end