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-3714987-1338184121/watcher-3714987-1338184121 -o /tmp/evaluation-result-3714987-1338184121/solver-3714987-1338184121 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714987-1338184121.wbo 797685854 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.00 2.00 2.00 2/179 32003
/proc/meminfo: memFree=31061048/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
[startup+0.0768581 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 32003
/proc/meminfo: memFree=31061048/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100326 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 32003
/proc/meminfo: memFree=31061048/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300295 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 32003
/proc/meminfo: memFree=31061048/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700251 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 32003
/proc/meminfo: memFree=31061048/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50046 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32007
/proc/meminfo: memFree=30933768/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
[pid=32004] ppid=32003 vsize=27064 CPUtime=0.69 cores=1,3,5,7
/proc/32004/stat : 32004 (npSolver-wbo) S 32003 32003 27229 0 -1 4202496 5000 0 0 0 67 2 0 0 20 0 1 0 284540557 27713536 4594 33554432000 4194304 5990268 140736815031632 140736815024784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32004/statm: 6766 4594 156 439 0 6323 0
[pid=32006] ppid=32004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32006/stat : 32006 (cp2_pre.sh) S 32004 32003 27229 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284540627 9367552 277 33554432000 4194304 5064252 140734777096464 140734777095168 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32006/statm: 2287 277 234 213 0 72 0
[pid=32007] ppid=32006 vsize=141768 CPUtime=0.78 cores=1,3,5,7
/proc/32007/stat : 32007 (coprocessor) R 32006 32003 27229 0 -1 4202496 25189 0 0 0 74 4 0 0 20 0 1 0 284540628 145170432 33820 33554432000 4194304 6586260 140737327948048 140737327944312 4760333 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/32007/statm: 35442 33820 182 584 0 34854 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 187128
[startup+3.10038 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32007
/proc/meminfo: memFree=30875212/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
[pid=32004] ppid=32003 vsize=27064 CPUtime=0.69 cores=1,3,5,7
/proc/32004/stat : 32004 (npSolver-wbo) S 32003 32003 27229 0 -1 4202496 5000 0 0 0 67 2 0 0 20 0 1 0 284540557 27713536 4594 33554432000 4194304 5990268 140736815031632 140736815024784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32004/statm: 6766 4594 156 439 0 6323 0
[pid=32006] ppid=32004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32006/stat : 32006 (cp2_pre.sh) S 32004 32003 27229 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284540627 9367552 277 33554432000 4194304 5064252 140734777096464 140734777095168 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32006/statm: 2287 277 234 213 0 72 0
[pid=32007] ppid=32006 vsize=164360 CPUtime=2.38 cores=1,3,5,7
/proc/32007/stat : 32007 (coprocessor) R 32006 32003 27229 0 -1 4202496 28578 0 0 0 233 5 0 0 20 0 1 0 284540628 168304640 39764 33554432000 4194304 6586260 140737327948048 140737327943368 5599216 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/32007/statm: 41090 39764 191 584 0 40502 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 209720
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32007
/proc/meminfo: memFree=30829256/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
[pid=32004] ppid=32003 vsize=27064 CPUtime=5.28 cores=1,3,5,7
/proc/32004/stat : 32004 (npSolver-wbo) S 32003 32003 27229 0 -1 4202496 5011 33103 0 0 67 2 381 78 20 0 1 0 284540557 27713536 4595 33554432000 4194304 5990268 140736815031632 140736815025872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32004/statm: 6766 4595 157 439 0 6323 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 36212
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32017
/proc/meminfo: memFree=30959472/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
[pid=32004] ppid=32003 vsize=46896 CPUtime=6.84 cores=1,3,5,7
/proc/32004/stat : 32004 (npSolver-wbo) S 32003 32003 27229 0 -1 4202496 8397 52628 0 0 79 21 499 85 20 0 1 0 284540557 48021504 9276 33554432000 4194304 5990268 140736815031632 140736815023056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32004/statm: 11724 9276 164 439 0 11281 0
[pid=32016] ppid=32004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32016/stat : 32016 (satsolver.sh) S 32004 32003 27229 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284541264 9367552 267 33554432000 4194304 5064252 140737307792768 140737307791680 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32016/statm: 2287 267 226 213 0 72 0
[pid=32017] ppid=32016 vsize=83576 CPUtime=5.62 cores=1,3,5,7
/proc/32017/stat : 32017 (glucose) R 32016 32003 27229 0 -1 4202496 17089 0 0 0 558 4 0 0 20 0 1 0 284541264 85581824 19748 33554432000 4194304 5208918 140733461722896 140733461720744 4229176 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32017/statm: 20894 19748 104 248 0 20643 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 148768
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32017
/proc/meminfo: memFree=30930136/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
[pid=32004] ppid=32003 vsize=46896 CPUtime=6.84 cores=1,3,5,7
/proc/32004/stat : 32004 (npSolver-wbo) S 32003 32003 27229 0 -1 4202496 8397 52628 0 0 79 21 499 85 20 0 1 0 284540557 48021504 9276 33554432000 4194304 5990268 140736815031632 140736815023056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32004/statm: 11724 9276 164 439 0 11281 0
[pid=32016] ppid=32004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32016/stat : 32016 (satsolver.sh) S 32004 32003 27229 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284541264 9367552 267 33554432000 4194304 5064252 140737307792768 140737307791680 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32016/statm: 2287 267 226 213 0 72 0
[pid=32017] ppid=32016 vsize=114600 CPUtime=18.41 cores=1,3,5,7
/proc/32017/stat : 32017 (glucose) R 32016 32003 27229 0 -1 4202496 18604 0 0 0 1836 5 0 0 20 0 1 0 284541264 117350400 26817 33554432000 4194304 5208918 140733461722896 140733461720760 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32017/statm: 28650 26817 104 248 0 28399 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 179792
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32017
/proc/meminfo: memFree=30928336/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
[pid=32004] ppid=32003 vsize=46896 CPUtime=6.84 cores=1,3,5,7
/proc/32004/stat : 32004 (npSolver-wbo) S 32003 32003 27229 0 -1 4202496 8397 52628 0 0 79 21 499 85 20 0 1 0 284540557 48021504 9276 33554432000 4194304 5990268 140736815031632 140736815023056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32004/statm: 11724 9276 164 439 0 11281 0
[pid=32016] ppid=32004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32016/stat : 32016 (satsolver.sh) S 32004 32003 27229 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284541264 9367552 267 33554432000 4194304 5064252 140737307792768 140737307791680 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32016/statm: 2287 267 226 213 0 72 0
[pid=32017] ppid=32016 vsize=114600 CPUtime=44.01 cores=1,3,5,7
/proc/32017/stat : 32017 (glucose) R 32016 32003 27229 0 -1 4202496 18608 0 0 0 4396 5 0 0 20 0 1 0 284541264 117350400 27332 33554432000 4194304 5208918 140733461722896 140733461720760 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32017/statm: 28650 27332 104 248 0 28399 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 179792
[startup+102.307 s]
/proc/loadavg: 2.08 2.02 2.01 3/184 32020
/proc/meminfo: memFree=30874216/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
[pid=32004] ppid=32003 vsize=46896 CPUtime=6.84 cores=1,3,5,7
/proc/32004/stat : 32004 (npSolver-wbo) S 32003 32003 27229 0 -1 4202496 8397 52628 0 0 79 21 499 85 20 0 1 0 284540557 48021504 9276 33554432000 4194304 5990268 140736815031632 140736815023056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32004/statm: 11724 9276 164 439 0 11281 0
[pid=32016] ppid=32004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32016/stat : 32016 (satsolver.sh) S 32004 32003 27229 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284541264 9367552 267 33554432000 4194304 5064252 140737307792768 140737307791680 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32016/statm: 2287 267 226 213 0 72 0
[pid=32017] ppid=32016 vsize=133452 CPUtime=95.21 cores=1,3,5,7
/proc/32017/stat : 32017 (glucose) R 32016 32003 27229 0 -1 4202496 19793 0 0 0 9515 6 0 0 20 0 1 0 284541264 136654848 32248 33554432000 4194304 5208918 140733461722896 140733461720840 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32017/statm: 33363 32248 104 248 0 33112 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 198644
[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 32021
/proc/meminfo: memFree=30865076/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
[pid=32004] ppid=32003 vsize=46896 CPUtime=6.84 cores=1,3,5,7
/proc/32004/stat : 32004 (npSolver-wbo) S 32003 32003 27229 0 -1 4202496 8397 52628 0 0 79 21 499 85 20 0 1 0 284540557 48021504 9276 33554432000 4194304 5990268 140736815031632 140736815023056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32004/statm: 11724 9276 164 439 0 11281 0
[pid=32016] ppid=32004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32016/stat : 32016 (satsolver.sh) S 32004 32003 27229 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284541264 9367552 267 33554432000 4194304 5064252 140737307792768 140737307791680 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32016/statm: 2287 267 226 213 0 72 0
[pid=32017] ppid=32016 vsize=133452 CPUtime=155.19 cores=1,3,5,7
/proc/32017/stat : 32017 (glucose) R 32016 32003 27229 0 -1 4202496 19800 0 0 0 15513 6 0 0 20 0 1 0 284541264 136654848 32295 33554432000 4194304 5208918 140733461722896 140733461720840 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32017/statm: 33363 32295 104 248 0 33112 0
Current children cumulated CPU time (s) 162.03
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/183 32224
/proc/meminfo: memFree=30788824/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
[pid=32004] ppid=32003 vsize=46896 CPUtime=6.84 cores=1,3,5,7
/proc/32004/stat : 32004 (npSolver-wbo) S 32003 32003 27229 0 -1 4202496 8397 52628 0 0 79 21 499 85 20 0 1 0 284540557 48021504 9276 33554432000 4194304 5990268 140736815031632 140736815023056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32004/statm: 11724 9276 164 439 0 11281 0
[pid=32016] ppid=32004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32016/stat : 32016 (satsolver.sh) S 32004 32003 27229 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284541264 9367552 267 33554432000 4194304 5064252 140737307792768 140737307791680 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32016/statm: 2287 267 226 213 0 72 0
[pid=32017] ppid=32016 vsize=226260 CPUtime=1354.99 cores=1,3,5,7
/proc/32017/stat : 32017 (glucose) R 32016 32003 27229 0 -1 4202496 36118 0 0 0 135463 36 0 0 20 0 1 0 284541264 231690240 49786 33554432000 4194304 5208918 140733461722896 140733461721048 4229145 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32017/statm: 56565 49786 104 248 0 56314 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 291452
[startup+1422.31 s]
/proc/loadavg: 2.02 2.05 2.00 3/183 32225
/proc/meminfo: memFree=30763380/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
[pid=32004] ppid=32003 vsize=46896 CPUtime=6.84 cores=1,3,5,7
/proc/32004/stat : 32004 (npSolver-wbo) S 32003 32003 27229 0 -1 4202496 8397 52628 0 0 79 21 499 85 20 0 1 0 284540557 48021504 9276 33554432000 4194304 5990268 140736815031632 140736815023056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32004/statm: 11724 9276 164 439 0 11281 0
[pid=32016] ppid=32004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32016/stat : 32016 (satsolver.sh) S 32004 32003 27229 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284541264 9367552 267 33554432000 4194304 5064252 140737307792768 140737307791680 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32016/statm: 2287 267 226 213 0 72 0
[pid=32017] ppid=32016 vsize=226260 CPUtime=1414.99 cores=1,3,5,7
/proc/32017/stat : 32017 (glucose) R 32016 32003 27229 0 -1 4202496 37173 0 0 0 141460 39 0 0 20 0 1 0 284541264 231690240 49274 33554432000 4194304 5208918 140733461722896 140733461721048 4229504 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32017/statm: 56565 49274 104 248 0 56314 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 291452
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 32225
/proc/meminfo: memFree=30759068/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
[pid=32004] ppid=32003 vsize=46896 CPUtime=6.84 cores=1,3,5,7
/proc/32004/stat : 32004 (npSolver-wbo) S 32003 32003 27229 0 -1 4202496 8397 52628 0 0 79 21 499 85 20 0 1 0 284540557 48021504 9276 33554432000 4194304 5990268 140736815031632 140736815023056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32004/statm: 11724 9276 164 439 0 11281 0
[pid=32016] ppid=32004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32016/stat : 32016 (satsolver.sh) S 32004 32003 27229 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284541264 9367552 267 33554432000 4194304 5064252 140737307792768 140737307791680 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32016/statm: 2287 267 226 213 0 72 0
[pid=32017] ppid=32016 vsize=195440 CPUtime=1474.96 cores=1,3,5,7
/proc/32017/stat : 32017 (glucose) R 32016 32003 27229 0 -1 4202496 37647 0 0 0 147456 40 0 0 20 0 1 0 284541264 200130560 47671 33554432000 4194304 5208918 140733461722896 140733461720888 4229538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32017/statm: 48860 47671 104 248 0 48609 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 260632
[startup+1542.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 32225
/proc/meminfo: memFree=30760192/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
[pid=32004] ppid=32003 vsize=46896 CPUtime=6.84 cores=1,3,5,7
/proc/32004/stat : 32004 (npSolver-wbo) S 32003 32003 27229 0 -1 4202496 8397 52628 0 0 79 21 499 85 20 0 1 0 284540557 48021504 9276 33554432000 4194304 5990268 140736815031632 140736815023056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32004/statm: 11724 9276 164 439 0 11281 0
[pid=32016] ppid=32004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32016/stat : 32016 (satsolver.sh) S 32004 32003 27229 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284541264 9367552 267 33554432000 4194304 5064252 140737307792768 140737307791680 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32016/statm: 2287 267 226 213 0 72 0
[pid=32017] ppid=32016 vsize=195440 CPUtime=1534.95 cores=1,3,5,7
/proc/32017/stat : 32017 (glucose) R 32016 32003 27229 0 -1 4202496 38685 0 0 0 153453 42 0 0 20 0 1 0 284541264 200130560 43575 33554432000 4194304 5208918 140733461722896 140733461720888 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32017/statm: 48860 43575 104 248 0 48609 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 260632
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 32225
/proc/meminfo: memFree=30739216/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
[pid=32004] ppid=32003 vsize=46896 CPUtime=6.84 cores=1,3,5,7
/proc/32004/stat : 32004 (npSolver-wbo) S 32003 32003 27229 0 -1 4202496 8397 52628 0 0 79 21 499 85 20 0 1 0 284540557 48021504 9276 33554432000 4194304 5990268 140736815031632 140736815023056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32004/statm: 11724 9276 164 439 0 11281 0
[pid=32016] ppid=32004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32016/stat : 32016 (satsolver.sh) S 32004 32003 27229 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284541264 9367552 267 33554432000 4194304 5064252 140737307792768 140737307791680 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32016/statm: 2287 267 226 213 0 72 0
[pid=32017] ppid=32016 vsize=226260 CPUtime=1594.94 cores=1,3,5,7
/proc/32017/stat : 32017 (glucose) R 32016 32003 27229 0 -1 4202496 39283 0 0 0 159451 43 0 0 20 0 1 0 284541264 231690240 49274 33554432000 4194304 5208918 140733461722896 140733461721048 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32017/statm: 56565 49274 104 248 0 56314 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 291452
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 32225
/proc/meminfo: memFree=30724524/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
[pid=32004] ppid=32003 vsize=46896 CPUtime=6.84 cores=1,3,5,7
/proc/32004/stat : 32004 (npSolver-wbo) S 32003 32003 27229 0 -1 4202496 8397 52628 0 0 79 21 499 85 20 0 1 0 284540557 48021504 9276 33554432000 4194304 5990268 140736815031632 140736815023056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32004/statm: 11724 9276 164 439 0 11281 0
[pid=32016] ppid=32004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32016/stat : 32016 (satsolver.sh) S 32004 32003 27229 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284541264 9367552 267 33554432000 4194304 5064252 140737307792768 140737307791680 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32016/statm: 2287 267 226 213 0 72 0
[pid=32017] ppid=32016 vsize=195440 CPUtime=1654.92 cores=1,3,5,7
/proc/32017/stat : 32017 (glucose) R 32016 32003 27229 0 -1 4202496 39769 0 0 0 165448 44 0 0 20 0 1 0 284541264 200130560 47697 33554432000 4194304 5208918 140733461722896 140733461720888 4229244 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32017/statm: 48860 47697 104 248 0 48609 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 260632
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 32226
/proc/meminfo: memFree=30696800/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
[pid=32004] ppid=32003 vsize=46896 CPUtime=6.84 cores=1,3,5,7
/proc/32004/stat : 32004 (npSolver-wbo) S 32003 32003 27229 0 -1 4202496 8397 52628 0 0 79 21 499 85 20 0 1 0 284540557 48021504 9276 33554432000 4194304 5990268 140736815031632 140736815023056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32004/statm: 11724 9276 164 439 0 11281 0
[pid=32016] ppid=32004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32016/stat : 32016 (satsolver.sh) S 32004 32003 27229 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284541264 9367552 267 33554432000 4194304 5064252 140737307792768 140737307791680 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32016/statm: 2287 267 226 213 0 72 0
[pid=32017] ppid=32016 vsize=195440 CPUtime=1714.89 cores=1,3,5,7
/proc/32017/stat : 32017 (glucose) R 32016 32003 27229 0 -1 4202496 40813 0 0 0 171443 46 0 0 20 0 1 0 284541264 200130560 45623 33554432000 4194304 5208918 140733461722896 140733461720888 4229538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32017/statm: 48860 45623 104 248 0 48609 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 260632
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 32226
/proc/meminfo: memFree=30672040/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
[pid=32004] ppid=32003 vsize=46896 CPUtime=6.84 cores=1,3,5,7
/proc/32004/stat : 32004 (npSolver-wbo) S 32003 32003 27229 0 -1 4202496 8397 52628 0 0 79 21 499 85 20 0 1 0 284540557 48021504 9276 33554432000 4194304 5990268 140736815031632 140736815023056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32004/statm: 11724 9276 164 439 0 11281 0
[pid=32016] ppid=32004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32016/stat : 32016 (satsolver.sh) S 32004 32003 27229 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284541264 9367552 267 33554432000 4194304 5064252 140737307792768 140737307791680 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32016/statm: 2287 267 226 213 0 72 0
[pid=32017] ppid=32016 vsize=226260 CPUtime=1774.88 cores=1,3,5,7
/proc/32017/stat : 32017 (glucose) R 32016 32003 27229 0 -1 4202496 41409 0 0 0 177441 47 0 0 20 0 1 0 284541264 231690240 51834 33554432000 4194304 5208918 140733461722896 140733461721048 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32017/statm: 56565 51834 104 248 0 56314 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 291452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 32226
/proc/meminfo: memFree=30724556/32873844 swapFree=6872/6872
[pid=32003] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32003/stat : 32003 (npSolver-wbo-It) S 32001 32003 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284540557 9367552 275 33554432000 4194304 5064252 140733523445184 140733523444096 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32003/statm: 2287 275 233 213 0 72 0
[pid=32004] ppid=32003 vsize=46896 CPUtime=6.84 cores=1,3,5,7
/proc/32004/stat : 32004 (npSolver-wbo) S 32003 32003 27229 0 -1 4202496 8397 52628 0 0 79 21 499 85 20 0 1 0 284540557 48021504 9276 33554432000 4194304 5990268 140736815031632 140736815023056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32004/statm: 11724 9276 164 439 0 11281 0
[pid=32016] ppid=32004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32016/stat : 32016 (satsolver.sh) S 32004 32003 27229 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284541264 9367552 267 33554432000 4194304 5064252 140737307792768 140737307791680 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32016/statm: 2287 267 226 213 0 72 0
[pid=32017] ppid=32016 vsize=195440 CPUtime=1793.2 cores=1,3,5,7
/proc/32017/stat : 32017 (glucose) R 32016 32003 27229 0 -1 4202496 41860 0 0 0 179271 49 0 0 20 0 1 0 284541264 200130560 45111 33554432000 4194304 5208918 140733461722896 140733461720888 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32017/statm: 48860 45111 104 248 0 48609 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 260632
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.08
CPU user time (s): 1798.51
CPU system time (s): 1.57276
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 291452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.51
system time used= 1.57276
maximum resident set size= 207336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103875
page faults= 0
swaps= 0
block input operations= 0
block output operations= 71184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 558
involuntary context switches= 1870
runsolver used 3.52746 second user time and 9.49056 second system time
The end