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-3701761-1338075530/watcher-3701761-1338075530 -o /tmp/evaluation-result-3701761-1338075530/solver-3701761-1338075530 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701761-1338075530.opb 254654613 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: 1.98 2.01 2.19 3/179 14411
/proc/meminfo: memFree=31268764/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
[startup+0.066068 s]
/proc/loadavg: 1.98 2.01 2.19 3/179 14411
/proc/meminfo: memFree=31268764/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100346 s]
/proc/loadavg: 1.98 2.01 2.19 3/179 14411
/proc/meminfo: memFree=31268764/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300275 s]
/proc/loadavg: 1.98 2.01 2.19 3/179 14411
/proc/meminfo: memFree=31268764/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700223 s]
/proc/loadavg: 1.98 2.01 2.19 3/179 14411
/proc/meminfo: memFree=31268764/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.98 2.01 2.19 3/183 14432
/proc/meminfo: memFree=31258732/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
[pid=14412] ppid=14411 vsize=4412 CPUtime=0.37 cores=1,3,5,7
/proc/14412/stat : 14412 (npSolver-pbo) S 14411 14411 11113 0 -1 4202496 1431 13761 0 0 2 3 27 5 20 0 1 0 273677588 4517888 667 33554432000 4194304 5992684 140733415067632 140733415059952 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14412/statm: 1103 667 179 440 0 659 0
[pid=14431] ppid=14412 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14431/stat : 14431 (satsolver.sh) S 14412 14411 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273677627 9367552 267 33554432000 4194304 5064252 140733942970352 140733942969264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14431/statm: 2287 267 226 213 0 72 0
[pid=14432] ppid=14431 vsize=8344 CPUtime=1.1 cores=1,3,5,7
/proc/14432/stat : 14432 (glucose) R 14431 14411 11113 0 -1 4202496 2134 0 0 0 110 0 0 0 20 0 1 0 273677627 8544256 1513 33554432000 4194304 5208918 140733899122464 140733899120312 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14432/statm: 2086 1513 96 248 0 1835 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 31052
[startup+3.10033 s]
/proc/loadavg: 1.98 2.01 2.19 3/183 14432
/proc/meminfo: memFree=31258424/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
[pid=14412] ppid=14411 vsize=4412 CPUtime=0.37 cores=1,3,5,7
/proc/14412/stat : 14412 (npSolver-pbo) S 14411 14411 11113 0 -1 4202496 1431 13761 0 0 2 3 27 5 20 0 1 0 273677588 4517888 667 33554432000 4194304 5992684 140733415067632 140733415059952 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14412/statm: 1103 667 179 440 0 659 0
[pid=14431] ppid=14412 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14431/stat : 14431 (satsolver.sh) S 14412 14411 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273677627 9367552 267 33554432000 4194304 5064252 140733942970352 140733942969264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14431/statm: 2287 267 226 213 0 72 0
[pid=14432] ppid=14431 vsize=14572 CPUtime=2.69 cores=1,3,5,7
/proc/14432/stat : 14432 (glucose) R 14431 14411 11113 0 -1 4202496 3311 0 0 0 269 0 0 0 20 0 1 0 273677627 14921728 2655 33554432000 4194304 5208918 140733899122464 140733899120408 4229176 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14432/statm: 3643 2655 104 248 0 3392 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 37280
[startup+6.30034 s]
/proc/loadavg: 1.98 2.01 2.19 3/183 14432
/proc/meminfo: memFree=31211072/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
[pid=14412] ppid=14411 vsize=4412 CPUtime=0.37 cores=1,3,5,7
/proc/14412/stat : 14412 (npSolver-pbo) S 14411 14411 11113 0 -1 4202496 1431 13761 0 0 2 3 27 5 20 0 1 0 273677588 4517888 667 33554432000 4194304 5992684 140733415067632 140733415059952 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14412/statm: 1103 667 179 440 0 659 0
[pid=14431] ppid=14412 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14431/stat : 14431 (satsolver.sh) S 14412 14411 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273677627 9367552 267 33554432000 4194304 5064252 140733942970352 140733942969264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14431/statm: 2287 267 226 213 0 72 0
[pid=14432] ppid=14431 vsize=22532 CPUtime=5.89 cores=1,3,5,7
/proc/14432/stat : 14432 (glucose) R 14431 14411 11113 0 -1 4202496 3732 0 0 0 589 0 0 0 20 0 1 0 273677627 23072768 4539 33554432000 4194304 5208918 140733899122464 140733899120408 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14432/statm: 5633 4539 105 248 0 5382 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 45240
[startup+12.7004 s]
/proc/loadavg: 1.99 2.01 2.18 3/183 14432
/proc/meminfo: memFree=31198988/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
[pid=14412] ppid=14411 vsize=4412 CPUtime=0.37 cores=1,3,5,7
/proc/14412/stat : 14412 (npSolver-pbo) S 14411 14411 11113 0 -1 4202496 1431 13761 0 0 2 3 27 5 20 0 1 0 273677588 4517888 667 33554432000 4194304 5992684 140733415067632 140733415059952 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14412/statm: 1103 667 179 440 0 659 0
[pid=14431] ppid=14412 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14431/stat : 14431 (satsolver.sh) S 14412 14411 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273677627 9367552 267 33554432000 4194304 5064252 140733942970352 140733942969264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14431/statm: 2287 267 226 213 0 72 0
[pid=14432] ppid=14431 vsize=22532 CPUtime=12.29 cores=1,3,5,7
/proc/14432/stat : 14432 (glucose) R 14431 14411 11113 0 -1 4202496 3901 0 0 0 1229 0 0 0 20 0 1 0 273677627 23072768 5217 33554432000 4194304 5208918 140733899122464 140733899118840 4212869 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14432/statm: 5633 5217 105 248 0 5382 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 45240
[startup+25.5004 s]
/proc/loadavg: 1.99 2.01 2.18 3/183 14432
/proc/meminfo: memFree=31190612/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
[pid=14412] ppid=14411 vsize=4412 CPUtime=0.37 cores=1,3,5,7
/proc/14412/stat : 14412 (npSolver-pbo) S 14411 14411 11113 0 -1 4202496 1431 13761 0 0 2 3 27 5 20 0 1 0 273677588 4517888 667 33554432000 4194304 5992684 140733415067632 140733415059952 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14412/statm: 1103 667 179 440 0 659 0
[pid=14431] ppid=14412 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14431/stat : 14431 (satsolver.sh) S 14412 14411 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273677627 9367552 267 33554432000 4194304 5064252 140733942970352 140733942969264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14431/statm: 2287 267 226 213 0 72 0
[pid=14432] ppid=14431 vsize=22904 CPUtime=25.09 cores=1,3,5,7
/proc/14432/stat : 14432 (glucose) R 14431 14411 11113 0 -1 4202496 5235 0 0 0 2508 1 0 0 20 0 1 0 273677627 23453696 5217 33554432000 4194304 5208918 140733899122464 140733899120408 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14432/statm: 5726 5217 105 248 0 5475 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 45612
[startup+51.1004 s]
/proc/loadavg: 1.99 2.01 2.18 3/183 14432
/proc/meminfo: memFree=31170756/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
[pid=14412] ppid=14411 vsize=4412 CPUtime=0.37 cores=1,3,5,7
/proc/14412/stat : 14412 (npSolver-pbo) S 14411 14411 11113 0 -1 4202496 1431 13761 0 0 2 3 27 5 20 0 1 0 273677588 4517888 667 33554432000 4194304 5992684 140733415067632 140733415059952 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14412/statm: 1103 667 179 440 0 659 0
[pid=14431] ppid=14412 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14431/stat : 14431 (satsolver.sh) S 14412 14411 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273677627 9367552 267 33554432000 4194304 5064252 140733942970352 140733942969264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14431/statm: 2287 267 226 213 0 72 0
[pid=14432] ppid=14431 vsize=38860 CPUtime=50.69 cores=1,3,5,7
/proc/14432/stat : 14432 (glucose) R 14431 14411 11113 0 -1 4202496 6259 0 0 0 5067 2 0 0 20 0 1 0 273677627 39792640 9286 33554432000 4194304 5208918 140733899122464 140733899118840 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14432/statm: 9715 9286 105 248 0 9464 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 61568
[startup+102.307 s]
/proc/loadavg: 1.99 2.00 2.17 3/184 14435
/proc/meminfo: memFree=31209668/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
[pid=14412] ppid=14411 vsize=4412 CPUtime=0.37 cores=1,3,5,7
/proc/14412/stat : 14412 (npSolver-pbo) S 14411 14411 11113 0 -1 4202496 1431 13761 0 0 2 3 27 5 20 0 1 0 273677588 4517888 667 33554432000 4194304 5992684 140733415067632 140733415059952 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14412/statm: 1103 667 179 440 0 659 0
[pid=14431] ppid=14412 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14431/stat : 14431 (satsolver.sh) S 14412 14411 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273677627 9367552 267 33554432000 4194304 5064252 140733942970352 140733942969264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14431/statm: 2287 267 226 213 0 72 0
[pid=14432] ppid=14431 vsize=53420 CPUtime=101.88 cores=1,3,5,7
/proc/14432/stat : 14432 (glucose) R 14431 14411 11113 0 -1 4202496 6742 0 0 0 10186 2 0 0 20 0 1 0 273677627 54702080 12939 33554432000 4194304 5208918 140733899122464 140733899118840 4212485 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14432/statm: 13355 12939 105 248 0 13104 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 76128
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.16 3/183 14487
/proc/meminfo: memFree=31320076/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
[pid=14412] ppid=14411 vsize=4412 CPUtime=0.37 cores=1,3,5,7
/proc/14412/stat : 14412 (npSolver-pbo) S 14411 14411 11113 0 -1 4202496 1431 13761 0 0 2 3 27 5 20 0 1 0 273677588 4517888 667 33554432000 4194304 5992684 140733415067632 140733415059952 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14412/statm: 1103 667 179 440 0 659 0
[pid=14431] ppid=14412 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.12 2.03 2.03 3/184 14527
/proc/meminfo: memFree=31059072/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
[pid=14412] ppid=14411 vsize=4412 CPUtime=0.37 cores=1,3,5,7
/proc/14412/stat : 14412 (npSolver-pbo) S 14411 14411 11113 0 -1 4202496 1431 13761 0 0 2 3 27 5 20 0 1 0 273677588 4517888 667 33554432000 4194304 5992684 140733415067632 140733415059952 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14412/statm: 1103 667 179 440 0 659 0
[pid=14431] ppid=14412 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14431/stat : 14431 (satsolver.sh) S 14412 14411 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273677627 9367552 267 33554432000 4194304 5064252 140733942970352 140733942969264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14431/statm: 2287 267 226 213 0 72 0
[pid=14432] ppid=14431 vsize=207964 CPUtime=1361.68 cores=1,3,5,7
/proc/14432/stat : 14432 (glucose) R 14431 14411 11113 0 -1 4202496 18365 0 0 0 136150 18 0 0 20 0 1 0 273677627 212955136 48325 33554432000 4194304 5208918 140733899122464 140733899120456 4231342 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14432/statm: 51991 48325 105 248 0 51740 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 230672
[startup+1422.31 s]
/proc/loadavg: 2.04 2.02 2.03 3/183 14527
/proc/meminfo: memFree=31056720/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
[pid=14412] ppid=14411 vsize=4412 CPUtime=0.37 cores=1,3,5,7
/proc/14412/stat : 14412 (npSolver-pbo) S 14411 14411 11113 0 -1 4202496 1431 13761 0 0 2 3 27 5 20 0 1 0 273677588 4517888 667 33554432000 4194304 5992684 140733415067632 140733415059952 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14412/statm: 1103 667 179 440 0 659 0
[pid=14431] ppid=14412 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14431/stat : 14431 (satsolver.sh) S 14412 14411 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273677627 9367552 267 33554432000 4194304 5064252 140733942970352 140733942969264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14431/statm: 2287 267 226 213 0 72 0
[pid=14432] ppid=14431 vsize=158644 CPUtime=1421.68 cores=1,3,5,7
/proc/14432/stat : 14432 (glucose) R 14431 14411 11113 0 -1 4202496 18760 0 0 0 142149 19 0 0 20 0 1 0 273677627 162451456 39245 33554432000 4194304 5208918 140733899122464 140733899120552 4229244 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14432/statm: 39661 39245 105 248 0 39410 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 181352
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/183 14527
/proc/meminfo: memFree=31094996/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
[pid=14412] ppid=14411 vsize=4412 CPUtime=0.37 cores=1,3,5,7
/proc/14412/stat : 14412 (npSolver-pbo) S 14411 14411 11113 0 -1 4202496 1431 13761 0 0 2 3 27 5 20 0 1 0 273677588 4517888 667 33554432000 4194304 5992684 140733415067632 140733415059952 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14412/statm: 1103 667 179 440 0 659 0
[pid=14431] ppid=14412 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14431/stat : 14431 (satsolver.sh) S 14412 14411 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273677627 9367552 267 33554432000 4194304 5064252 140733942970352 140733942969264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14431/statm: 2287 267 226 213 0 72 0
[pid=14432] ppid=14431 vsize=158644 CPUtime=1481.66 cores=1,3,5,7
/proc/14432/stat : 14432 (glucose) R 14431 14411 11113 0 -1 4202496 19154 0 0 0 148146 20 0 0 20 0 1 0 273677627 162451456 39245 33554432000 4194304 5208918 140733899122464 140733899120552 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14432/statm: 39661 39245 105 248 0 39410 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 181352
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/183 14528
/proc/meminfo: memFree=31071552/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
[pid=14412] ppid=14411 vsize=4412 CPUtime=0.37 cores=1,3,5,7
/proc/14412/stat : 14412 (npSolver-pbo) S 14411 14411 11113 0 -1 4202496 1431 13761 0 0 2 3 27 5 20 0 1 0 273677588 4517888 667 33554432000 4194304 5992684 140733415067632 140733415059952 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14412/statm: 1103 667 179 440 0 659 0
[pid=14431] ppid=14412 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14431/stat : 14431 (satsolver.sh) S 14412 14411 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273677627 9367552 267 33554432000 4194304 5064252 140733942970352 140733942969264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14431/statm: 2287 267 226 213 0 72 0
[pid=14432] ppid=14431 vsize=207964 CPUtime=1541.65 cores=1,3,5,7
/proc/14432/stat : 14432 (glucose) R 14431 14411 11113 0 -1 4202496 19946 0 0 0 154144 21 0 0 20 0 1 0 273677627 212955136 49861 33554432000 4194304 5208918 140733899122464 140733899120456 4211558 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14432/statm: 51991 49861 105 248 0 51740 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 230672
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/183 14528
/proc/meminfo: memFree=31082800/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
[pid=14412] ppid=14411 vsize=4412 CPUtime=0.37 cores=1,3,5,7
/proc/14412/stat : 14412 (npSolver-pbo) S 14411 14411 11113 0 -1 4202496 1431 13761 0 0 2 3 27 5 20 0 1 0 273677588 4517888 667 33554432000 4194304 5992684 140733415067632 140733415059952 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14412/statm: 1103 667 179 440 0 659 0
[pid=14431] ppid=14412 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14431/stat : 14431 (satsolver.sh) S 14412 14411 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273677627 9367552 267 33554432000 4194304 5064252 140733942970352 140733942969264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14431/statm: 2287 267 226 213 0 72 0
[pid=14432] ppid=14431 vsize=158644 CPUtime=1601.65 cores=1,3,5,7
/proc/14432/stat : 14432 (glucose) R 14431 14411 11113 0 -1 4202496 20344 0 0 0 160142 23 0 0 20 0 1 0 273677627 162451456 39245 33554432000 4194304 5208918 140733899122464 140733899120552 4229483 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14432/statm: 39661 39245 105 248 0 39410 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 181352
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 14528
/proc/meminfo: memFree=31117912/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
[pid=14412] ppid=14411 vsize=4412 CPUtime=0.37 cores=1,3,5,7
/proc/14412/stat : 14412 (npSolver-pbo) S 14411 14411 11113 0 -1 4202496 1431 13761 0 0 2 3 27 5 20 0 1 0 273677588 4517888 667 33554432000 4194304 5992684 140733415067632 140733415059952 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14412/statm: 1103 667 179 440 0 659 0
[pid=14431] ppid=14412 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14431/stat : 14431 (satsolver.sh) S 14412 14411 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273677627 9367552 267 33554432000 4194304 5064252 140733942970352 140733942969264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14431/statm: 2287 267 226 213 0 72 0
[pid=14432] ppid=14431 vsize=158644 CPUtime=1661.63 cores=1,3,5,7
/proc/14432/stat : 14432 (glucose) R 14431 14411 11113 0 -1 4202496 20741 0 0 0 166140 23 0 0 20 0 1 0 273677627 162451456 39245 33554432000 4194304 5208918 140733899122464 140733899120552 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14432/statm: 39661 39245 105 248 0 39410 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 181352
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14528
/proc/meminfo: memFree=31049588/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
[pid=14412] ppid=14411 vsize=4412 CPUtime=0.37 cores=1,3,5,7
/proc/14412/stat : 14412 (npSolver-pbo) S 14411 14411 11113 0 -1 4202496 1431 13761 0 0 2 3 27 5 20 0 1 0 273677588 4517888 667 33554432000 4194304 5992684 140733415067632 140733415059952 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14412/statm: 1103 667 179 440 0 659 0
[pid=14431] ppid=14412 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14431/stat : 14431 (satsolver.sh) S 14412 14411 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273677627 9367552 267 33554432000 4194304 5064252 140733942970352 140733942969264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14431/statm: 2287 267 226 213 0 72 0
[pid=14432] ppid=14431 vsize=209972 CPUtime=1721.63 cores=1,3,5,7
/proc/14432/stat : 14432 (glucose) R 14431 14411 11113 0 -1 4202496 21850 0 0 0 172138 25 0 0 20 0 1 0 273677627 215011328 48133 33554432000 4194304 5208918 140733899122464 140733899120456 4211620 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14432/statm: 52493 48133 105 248 0 52242 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 232680
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14528
/proc/meminfo: memFree=31044176/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
[pid=14412] ppid=14411 vsize=4412 CPUtime=0.37 cores=1,3,5,7
/proc/14412/stat : 14412 (npSolver-pbo) S 14411 14411 11113 0 -1 4202496 1431 13761 0 0 2 3 27 5 20 0 1 0 273677588 4517888 667 33554432000 4194304 5992684 140733415067632 140733415059952 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14412/statm: 1103 667 179 440 0 659 0
[pid=14431] ppid=14412 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14431/stat : 14431 (satsolver.sh) S 14412 14411 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273677627 9367552 267 33554432000 4194304 5064252 140733942970352 140733942969264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14431/statm: 2287 267 226 213 0 72 0
[pid=14432] ppid=14431 vsize=239892 CPUtime=1781.61 cores=1,3,5,7
/proc/14432/stat : 14432 (glucose) R 14431 14411 11113 0 -1 4202496 22683 0 0 0 178135 26 0 0 20 0 1 0 273677627 245649408 57255 33554432000 4194304 5208918 140733899122464 140733899120456 4229338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14432/statm: 59973 57255 105 248 0 59722 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 262600
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14528
/proc/meminfo: memFree=31069684/32873844 swapFree=6080/6080
[pid=14411] ppid=14409 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14411/stat : 14411 (npSolver-pbo.sh) S 14409 14411 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273677588 9367552 275 33554432000 4194304 5064252 140734021850672 140734021849584 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14411/statm: 2287 275 233 213 0 72 0
[pid=14412] ppid=14411 vsize=4412 CPUtime=0.37 cores=1,3,5,7
/proc/14412/stat : 14412 (npSolver-pbo) S 14411 14411 11113 0 -1 4202496 1431 13761 0 0 2 3 27 5 20 0 1 0 273677588 4517888 667 33554432000 4194304 5992684 140733415067632 140733415059952 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14412/statm: 1103 667 179 440 0 659 0
[pid=14431] ppid=14412 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14431/stat : 14431 (satsolver.sh) S 14412 14411 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273677627 9367552 267 33554432000 4194304 5064252 140733942970352 140733942969264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14431/statm: 2287 267 226 213 0 72 0
[pid=14432] ppid=14431 vsize=190572 CPUtime=1799.72 cores=1,3,5,7
/proc/14432/stat : 14432 (glucose) R 14431 14411 11113 0 -1 4202496 22686 0 0 0 179945 27 0 0 20 0 1 0 273677627 195145728 47151 33554432000 4194304 5208918 140733899122464 140733899120552 4229512 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14432/statm: 47643 47151 105 248 0 47392 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 213280
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.41
CPU time (s): 1800.13
CPU user time (s): 1799.76
CPU system time (s): 0.367944
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 262600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.367944
maximum resident set size= 235164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38869
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65
involuntary context switches= 2006
runsolver used 2.92855 second user time and 8.5407 second system time
The end