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-3715012-1338188280/watcher-3715012-1338188280 -o /tmp/evaluation-result-3715012-1338188280/solver-3715012-1338188280 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715012-1338188280.wbo 641133609 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.11 2.04 3/179 15309
/proc/meminfo: memFree=30422768/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[startup+0.0314851 s]
/proc/loadavg: 2.07 2.11 2.04 3/179 15309
/proc/meminfo: memFree=30422768/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100296 s]
/proc/loadavg: 2.07 2.11 2.04 3/179 15309
/proc/meminfo: memFree=30422768/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300232 s]
/proc/loadavg: 2.07 2.11 2.04 3/179 15309
/proc/meminfo: memFree=30422768/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700225 s]
/proc/loadavg: 2.07 2.11 2.04 3/179 15309
/proc/meminfo: memFree=30422768/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.07 2.11 2.04 3/181 15311
/proc/meminfo: memFree=30407828/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=34876 CPUtime=1.48 cores=0,2,4,6
/proc/15310/stat : 15310 (npSolver-wbo) R 15309 15309 32349 0 -1 4202496 3163 0 0 0 148 0 0 0 20 0 1 0 284952838 35713024 5691 33554432000 4194304 5990268 140733502860784 140733502855640 4807413 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15310/statm: 8719 5691 136 439 0 8276 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 44024
[startup+3.1003 s]
/proc/loadavg: 2.07 2.11 2.04 3/181 15311
/proc/meminfo: memFree=30390848/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=67644 CPUtime=3.08 cores=0,2,4,6
/proc/15310/stat : 15310 (npSolver-wbo) R 15309 15309 32349 0 -1 4202496 3701 0 0 0 307 1 0 0 20 0 1 0 284952838 69267456 11323 33554432000 4194304 5990268 140733502860784 140733502856024 4766746 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15310/statm: 16911 11323 136 439 0 16468 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 76792
[startup+6.3003 s]
/proc/loadavg: 2.07 2.11 2.04 3/181 15311
/proc/meminfo: memFree=30345172/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=133180 CPUtime=6.28 cores=0,2,4,6
/proc/15310/stat : 15310 (npSolver-wbo) R 15309 15309 32349 0 -1 4202496 4265 0 0 0 625 3 0 0 20 0 1 0 284952838 136376320 22075 33554432000 4194304 5990268 140733502860784 140733502856024 4766946 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15310/statm: 33295 22075 136 439 0 32852 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 142328
[startup+12.7003 s]
/proc/loadavg: 2.06 2.10 2.04 3/181 15311
/proc/meminfo: memFree=30252788/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=264252 CPUtime=12.69 cores=0,2,4,6
/proc/15310/stat : 15310 (npSolver-wbo) R 15309 15309 32349 0 -1 4202496 4884 0 0 0 1262 7 0 0 20 0 1 0 284952838 270594048 44603 33554432000 4194304 5990268 140733502860784 140733502856024 4807577 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15310/statm: 66063 44603 136 439 0 65620 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 273400
[startup+25.5004 s]
/proc/loadavg: 2.05 2.10 2.04 3/183 15313
/proc/meminfo: memFree=29729748/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=527416 CPUtime=24.61 cores=0,2,4,6
/proc/15310/stat : 15310 (npSolver-wbo) S 15309 15309 32349 0 -1 4202496 10692 0 0 0 2411 50 0 0 20 0 1 0 284952838 540073984 105597 33554432000 4194304 5990268 140733502860784 140733502853936 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15310/statm: 131854 105597 149 439 0 131411 0
[pid=15312] ppid=15310 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15312/stat : 15312 (cp2_pre.sh) S 15310 15309 32349 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 284955300 9367552 277 33554432000 4194304 5064252 140736400643280 140736400641984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15312/statm: 2287 277 234 213 0 72 0
[pid=15313] ppid=15312 vsize=74248 CPUtime=0.85 cores=0,2,4,6
/proc/15313/stat : 15313 (coprocessor) R 15312 15309 32349 0 -1 4202496 15870 0 0 0 81 4 0 0 20 0 1 0 284955301 76029952 17878 33554432000 4194304 6586260 140736876546832 140736876543592 5732400 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/15313/statm: 18562 17879 137 584 0 17974 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 619960
[startup+51.1004 s]
/proc/loadavg: 2.09 2.11 2.04 3/183 15323
/proc/meminfo: memFree=29115236/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=670764 CPUtime=47.61 cores=0,2,4,6
/proc/15310/stat : 15310 (npSolver-wbo) S 15309 15309 32349 0 -1 4202496 18501 122074 0 0 2620 419 1603 119 20 0 1 0 284952838 686862336 130074 33554432000 4194304 5990268 140733502860784 140733502852208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 47 0 0
/proc/15310/statm: 167691 130074 164 439 0 167248 0
[pid=15322] ppid=15310 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15322/stat : 15322 (satsolver.sh) S 15310 15309 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284957662 9367552 267 33554432000 4194304 5064252 140733508483360 140733508482272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15322/statm: 2287 267 226 213 0 72 0
[pid=15323] ppid=15322 vsize=398868 CPUtime=2.84 cores=0,2,4,6
/proc/15323/stat : 15323 (glucose) R 15322 15309 32349 0 -1 4202496 44017 0 0 0 264 20 0 0 20 0 1 0 284957662 408440832 93691 33554432000 4194304 5208918 140737143676608 140737142626008 4465602 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15323/statm: 99717 93693 70 248 0 99466 0
Current children cumulated CPU time (s) 50.45
Current children cumulated vsize (KiB) 1087928
[startup+102.306 s]
/proc/loadavg: 2.07 2.10 2.04 3/183 15330
/proc/meminfo: memFree=28960780/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=670764 CPUtime=47.61 cores=0,2,4,6
/proc/15310/stat : 15310 (npSolver-wbo) S 15309 15309 32349 0 -1 4202496 18501 122074 0 0 2620 419 1603 119 20 0 1 0 284952838 686862336 130074 33554432000 4194304 5990268 140733502860784 140733502852208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 47 0 0
/proc/15310/statm: 167691 130074 164 439 0 167248 0
[pid=15322] ppid=15310 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15322/stat : 15322 (satsolver.sh) S 15310 15309 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284957662 9367552 267 33554432000 4194304 5064252 140733508483360 140733508482272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15322/statm: 2287 267 226 213 0 72 0
[pid=15323] ppid=15322 vsize=593572 CPUtime=54.03 cores=0,2,4,6
/proc/15323/stat : 15323 (glucose) R 15322 15309 32349 0 -1 4202496 55059 0 0 0 5379 24 0 0 20 0 1 0 284957662 607817728 111360 33554432000 4194304 5208918 140737143676608 140737143674568 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15323/statm: 148393 111360 103 248 0 148142 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 1282632
[startup+162.3 s]
/proc/loadavg: 2.02 2.08 2.04 3/184 15333
/proc/meminfo: memFree=28954504/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=670764 CPUtime=47.61 cores=0,2,4,6
/proc/15310/stat : 15310 (npSolver-wbo) S 15309 15309 32349 0 -1 4202496 18501 122074 0 0 2620 419 1603 119 20 0 1 0 284952838 686862336 130074 33554432000 4194304 5990268 140733502860784 140733502852208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 47 0 0
/proc/15310/statm: 167691 130074 164 439 0 167248 0
[pid=15322] ppid=15310 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15322/stat : 15322 (satsolver.sh) S 15310 15309 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284957662 9367552 267 33554432000 4194304 5064252 140733508483360 140733508482272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15322/statm: 2287 267 226 213 0 72 0
[pid=15323] ppid=15322 vsize=593572 CPUtime=114.02 cores=0,2,4,6
/proc/15323/stat : 15323 (glucose) R 15322 15309 32349 0 -1 4202496 55069 0 0 0 11378 24 0 0 20 0 1 0 284957662 607817728 112903 33554432000 4194304 5208918 140737143676608 140737143674568 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15323/statm: 148393 112903 103 248 0 148142 0
Current children cumulated CPU time (s) 161.63
Current children cumulated vsize (KiB) 1282632
[startup+222.3 s]
/proc/loadavg: 2.01 2.06 2.03 3/184 15356
/proc/meminfo: memFree=28947492/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=670764 CPUtime=47.61 cores=0,2,4,6
/proc/15310/stat : 15310 (npSolver-wbo) S 15309 15309 32349 0 -1 4202496 18501 122074 0 0 2620 419 1603 119 20 0 1 0 284952838 686862336 130074 33554432000 4194304 5990268 140733502860784 140733502852208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 47 0 0
/proc/15310/statm: 167691 130074 164 439 0 167248 0
[pid=15322] ppid=15310 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15322/stat : 15322 (satsolver.sh) S 15310 15309 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284957662 9367552 267 33554432000 4194304 5064252 140733508483360 140733508482272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15322/statm: 2287 267 226 213 0 72 0
[pid=15323] ppid=15322 vsize=593572 CPUtime=174.01 cores=0,2,4,6
/proc/15323/stat : 15323 (glucose) R 15322 15309 32349 0 -1 4202496 55080 0 0 0 17377 24 0 0 20 0 1 0 284957662 607817728 113936 33554432000 4194304 5208918 140737143676608 140737143674568 4211620 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15323/statm: 148393 113936 103 248 0 148142 0
Current children cumulated CPU time (s) 221.62
################
# More data... #
################
/proc/15323/stat : 15323 (glucose) R 15322 15309 32349 0 -1 4202496 55136 0 0 0 131358 25 0 0 20 0 1 0 284957662 607977472 129526 33554432000 4194304 5208918 140737143676608 140737143674280 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15323/statm: 148432 129526 103 248 0 148181 0
Current children cumulated CPU time (s) 1361.44
Current children cumulated vsize (KiB) 1282788
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15387
/proc/meminfo: memFree=28882616/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=670764 CPUtime=47.61 cores=0,2,4,6
/proc/15310/stat : 15310 (npSolver-wbo) S 15309 15309 32349 0 -1 4202496 18501 122074 0 0 2620 419 1603 119 20 0 1 0 284952838 686862336 130074 33554432000 4194304 5990268 140733502860784 140733502852208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 47 0 0
/proc/15310/statm: 167691 130074 164 439 0 167248 0
[pid=15322] ppid=15310 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15322/stat : 15322 (satsolver.sh) S 15310 15309 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284957662 9367552 267 33554432000 4194304 5064252 140733508483360 140733508482272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15322/statm: 2287 267 226 213 0 72 0
[pid=15323] ppid=15322 vsize=593728 CPUtime=1373.82 cores=0,2,4,6
/proc/15323/stat : 15323 (glucose) R 15322 15309 32349 0 -1 4202496 55138 0 0 0 137357 25 0 0 20 0 1 0 284957662 607977472 130039 33554432000 4194304 5208918 140737143676608 140737143674280 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15323/statm: 148432 130039 103 248 0 148181 0
Current children cumulated CPU time (s) 1421.43
Current children cumulated vsize (KiB) 1282788
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15388
/proc/meminfo: memFree=28876224/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=670764 CPUtime=47.61 cores=0,2,4,6
/proc/15310/stat : 15310 (npSolver-wbo) S 15309 15309 32349 0 -1 4202496 18501 122074 0 0 2620 419 1603 119 20 0 1 0 284952838 686862336 130074 33554432000 4194304 5990268 140733502860784 140733502852208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 47 0 0
/proc/15310/statm: 167691 130074 164 439 0 167248 0
[pid=15322] ppid=15310 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15322/stat : 15322 (satsolver.sh) S 15310 15309 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284957662 9367552 267 33554432000 4194304 5064252 140733508483360 140733508482272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15322/statm: 2287 267 226 213 0 72 0
[pid=15323] ppid=15322 vsize=593728 CPUtime=1433.81 cores=0,2,4,6
/proc/15323/stat : 15323 (glucose) R 15322 15309 32349 0 -1 4202496 55139 0 0 0 143356 25 0 0 20 0 1 0 284957662 607977472 130551 33554432000 4194304 5208918 140737143676608 140737143674280 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15323/statm: 148432 130551 103 248 0 148181 0
Current children cumulated CPU time (s) 1481.42
Current children cumulated vsize (KiB) 1282788
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15440
/proc/meminfo: memFree=28939460/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=670764 CPUtime=47.61 cores=0,2,4,6
/proc/15310/stat : 15310 (npSolver-wbo) S 15309 15309 32349 0 -1 4202496 18501 122074 0 0 2620 419 1603 119 20 0 1 0 284952838 686862336 130074 33554432000 4194304 5990268 140733502860784 140733502852208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 47 0 0
/proc/15310/statm: 167691 130074 164 439 0 167248 0
[pid=15322] ppid=15310 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15322/stat : 15322 (satsolver.sh) S 15310 15309 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284957662 9367552 267 33554432000 4194304 5064252 140733508483360 140733508482272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15322/statm: 2287 267 226 213 0 72 0
[pid=15323] ppid=15322 vsize=593728 CPUtime=1493.8 cores=0,2,4,6
/proc/15323/stat : 15323 (glucose) R 15322 15309 32349 0 -1 4202496 55140 0 0 0 149355 25 0 0 20 0 1 0 284957662 607977472 131063 33554432000 4194304 5208918 140737143676608 140737143674280 4211834 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15323/statm: 148432 131063 103 248 0 148181 0
Current children cumulated CPU time (s) 1541.41
Current children cumulated vsize (KiB) 1282788
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15440
/proc/meminfo: memFree=28933628/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=670764 CPUtime=47.61 cores=0,2,4,6
/proc/15310/stat : 15310 (npSolver-wbo) S 15309 15309 32349 0 -1 4202496 18501 122074 0 0 2620 419 1603 119 20 0 1 0 284952838 686862336 130074 33554432000 4194304 5990268 140733502860784 140733502852208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 47 0 0
/proc/15310/statm: 167691 130074 164 439 0 167248 0
[pid=15322] ppid=15310 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15322/stat : 15322 (satsolver.sh) S 15310 15309 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284957662 9367552 267 33554432000 4194304 5064252 140733508483360 140733508482272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15322/statm: 2287 267 226 213 0 72 0
[pid=15323] ppid=15322 vsize=593728 CPUtime=1553.79 cores=0,2,4,6
/proc/15323/stat : 15323 (glucose) R 15322 15309 32349 0 -1 4202496 55143 0 0 0 155354 25 0 0 20 0 1 0 284957662 607977472 132088 33554432000 4194304 5208918 140737143676608 140737143674280 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15323/statm: 148432 132088 103 248 0 148181 0
Current children cumulated CPU time (s) 1601.4
Current children cumulated vsize (KiB) 1282788
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15440
/proc/meminfo: memFree=28927300/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=670764 CPUtime=47.61 cores=0,2,4,6
/proc/15310/stat : 15310 (npSolver-wbo) S 15309 15309 32349 0 -1 4202496 18501 122074 0 0 2620 419 1603 119 20 0 1 0 284952838 686862336 130074 33554432000 4194304 5990268 140733502860784 140733502852208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 47 0 0
/proc/15310/statm: 167691 130074 164 439 0 167248 0
[pid=15322] ppid=15310 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15322/stat : 15322 (satsolver.sh) S 15310 15309 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284957662 9367552 267 33554432000 4194304 5064252 140733508483360 140733508482272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15322/statm: 2287 267 226 213 0 72 0
[pid=15323] ppid=15322 vsize=593728 CPUtime=1613.79 cores=0,2,4,6
/proc/15323/stat : 15323 (glucose) R 15322 15309 32349 0 -1 4202496 55144 0 0 0 161353 26 0 0 20 0 1 0 284957662 607977472 132600 33554432000 4194304 5208918 140737143676608 140737143674280 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15323/statm: 148432 132600 103 248 0 148181 0
Current children cumulated CPU time (s) 1661.4
Current children cumulated vsize (KiB) 1282788
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15447
/proc/meminfo: memFree=28930068/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=670764 CPUtime=47.61 cores=0,2,4,6
/proc/15310/stat : 15310 (npSolver-wbo) S 15309 15309 32349 0 -1 4202496 18501 122074 0 0 2620 419 1603 119 20 0 1 0 284952838 686862336 130074 33554432000 4194304 5990268 140733502860784 140733502852208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 47 0 0
/proc/15310/statm: 167691 130074 164 439 0 167248 0
[pid=15322] ppid=15310 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15322/stat : 15322 (satsolver.sh) S 15310 15309 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284957662 9367552 267 33554432000 4194304 5064252 140733508483360 140733508482272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15322/statm: 2287 267 226 213 0 72 0
[pid=15323] ppid=15322 vsize=593728 CPUtime=1673.78 cores=0,2,4,6
/proc/15323/stat : 15323 (glucose) R 15322 15309 32349 0 -1 4202496 55146 0 0 0 167352 26 0 0 20 0 1 0 284957662 607977472 133113 33554432000 4194304 5208918 140737143676608 140737143674280 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15323/statm: 148432 133113 103 248 0 148181 0
Current children cumulated CPU time (s) 1721.39
Current children cumulated vsize (KiB) 1282788
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15447
/proc/meminfo: memFree=28925548/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=670764 CPUtime=47.61 cores=0,2,4,6
/proc/15310/stat : 15310 (npSolver-wbo) S 15309 15309 32349 0 -1 4202496 18501 122074 0 0 2620 419 1603 119 20 0 1 0 284952838 686862336 130074 33554432000 4194304 5990268 140733502860784 140733502852208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 47 0 0
/proc/15310/statm: 167691 130074 164 439 0 167248 0
[pid=15322] ppid=15310 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15322/stat : 15322 (satsolver.sh) S 15310 15309 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284957662 9367552 267 33554432000 4194304 5064252 140733508483360 140733508482272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15322/statm: 2287 267 226 213 0 72 0
[pid=15323] ppid=15322 vsize=593728 CPUtime=1733.77 cores=0,2,4,6
/proc/15323/stat : 15323 (glucose) R 15322 15309 32349 0 -1 4202496 55147 0 0 0 173351 26 0 0 20 0 1 0 284957662 607977472 133625 33554432000 4194304 5208918 140737143676608 140737143674280 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15323/statm: 148432 133625 103 248 0 148181 0
Current children cumulated CPU time (s) 1781.38
Current children cumulated vsize (KiB) 1282788
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15455
/proc/meminfo: memFree=28930608/32873844 swapFree=6600/6600
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (npSolver-wbo-It) S 15307 15309 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284952837 9367552 275 33554432000 4194304 5064252 140735333636544 140735333635456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=670764 CPUtime=47.61 cores=0,2,4,6
/proc/15310/stat : 15310 (npSolver-wbo) S 15309 15309 32349 0 -1 4202496 18501 122074 0 0 2620 419 1603 119 20 0 1 0 284952838 686862336 130074 33554432000 4194304 5990268 140733502860784 140733502852208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 47 0 0
/proc/15310/statm: 167691 130074 164 439 0 167248 0
[pid=15322] ppid=15310 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15322/stat : 15322 (satsolver.sh) S 15310 15309 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284957662 9367552 267 33554432000 4194304 5064252 140733508483360 140733508482272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15322/statm: 2287 267 226 213 0 72 0
[pid=15323] ppid=15322 vsize=593728 CPUtime=1752.47 cores=0,2,4,6
/proc/15323/stat : 15323 (glucose) R 15322 15309 32349 0 -1 4202496 55147 0 0 0 175221 26 0 0 20 0 1 0 284957662 607977472 133625 33554432000 4194304 5208918 140737143676608 140737143674280 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15323/statm: 148432 133625 103 248 0 148181 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1282788
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15309 and gives
# childrusage.ru_utime.tv_sec=42
# childrusage.ru_utime.tv_usec=238578
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=387181
# CPU time returned by wait4() is 47.6258
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.01
CPU time (s): 1800.08
CPU user time (s): 1794.44
CPU system time (s): 5.64
CPU usage (%): 99.9481
Max. virtual memory (cumulated for all children) (KiB): 1282788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.2386
system time used= 5.38718
maximum resident set size= 680016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141551
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1866024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 97
involuntary context switches= 102
runsolver used 12.7561 second user time and 9.48456 second system time
The end