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-3701837-1338098117/watcher-3701837-1338098117 -o /tmp/evaluation-result-3701837-1338098117/solver-3701837-1338098117 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701837-1338098117.opb 1044442337 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.02 2.04 1.96 3/172 14083
/proc/meminfo: memFree=28899060/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/statm: 2287 275 233 213 0 72 0
[startup+0.100894 s]
/proc/loadavg: 2.02 2.04 1.96 3/172 14083
/proc/meminfo: memFree=28899060/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200177 s]
/proc/loadavg: 2.02 2.04 1.96 3/172 14083
/proc/meminfo: memFree=28899060/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300209 s]
/proc/loadavg: 2.02 2.04 1.96 3/172 14083
/proc/meminfo: memFree=28899060/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700144 s]
/proc/loadavg: 2.02 2.04 1.96 3/172 14083
/proc/meminfo: memFree=28899060/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/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.02 2.04 1.96 3/181 14111
/proc/meminfo: memFree=28858456/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/statm: 2287 275 233 213 0 72 0
[pid=14085] ppid=14083 vsize=7636 CPUtime=0.65 cores=0,2,4,6
/proc/14085/stat : 14085 (npSolver-pbo) S 14083 14083 12793 0 -1 4202496 2814 11443 0 0 7 0 49 9 20 0 1 0 275936660 7819264 1428 33554432000 4194304 5992684 140733811838480 140733811833600 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14085/statm: 1909 1428 170 440 0 1465 0
[pid=14103] ppid=14085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14103/stat : 14103 (satsolver.sh) S 14085 14083 12793 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275936728 9367552 267 33554432000 4194304 5064252 140734513990896 140734513989808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14103/statm: 2287 267 226 213 0 72 0
[pid=14104] ppid=14103 vsize=18540 CPUtime=0.8 cores=0,2,4,6
/proc/14104/stat : 14104 (glucose) R 14103 14083 12793 0 -1 4202496 3240 0 0 0 80 0 0 0 20 0 1 0 275936728 18984960 3621 33554432000 4194304 5208918 140735535172576 140735535170536 4229251 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14104/statm: 4635 3621 103 248 0 4384 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 44472
[startup+3.10038 s]
/proc/loadavg: 2.02 2.04 1.96 3/183 14121
/proc/meminfo: memFree=28840884/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/statm: 2287 275 233 213 0 72 0
[pid=14085] ppid=14083 vsize=7636 CPUtime=0.65 cores=0,2,4,6
/proc/14085/stat : 14085 (npSolver-pbo) S 14083 14083 12793 0 -1 4202496 2814 11443 0 0 7 0 49 9 20 0 1 0 275936660 7819264 1428 33554432000 4194304 5992684 140733811838480 140733811833600 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14085/statm: 1909 1428 170 440 0 1465 0
[pid=14103] ppid=14085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14103/stat : 14103 (satsolver.sh) S 14085 14083 12793 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275936728 9367552 267 33554432000 4194304 5064252 140734513990896 140734513989808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14103/statm: 2287 267 226 213 0 72 0
[pid=14104] ppid=14103 vsize=17128 CPUtime=2.4 cores=0,2,4,6
/proc/14104/stat : 14104 (glucose) R 14103 14083 12793 0 -1 4202496 4107 0 0 0 239 1 0 0 20 0 1 0 275936728 17539072 3676 33554432000 4194304 5208918 140735535172576 140735535170424 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14104/statm: 4282 3676 104 248 0 4031 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 43060
[startup+6.30039 s]
/proc/loadavg: 2.02 2.04 1.96 3/183 14121
/proc/meminfo: memFree=28832636/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/statm: 2287 275 233 213 0 72 0
[pid=14085] ppid=14083 vsize=7636 CPUtime=0.65 cores=0,2,4,6
/proc/14085/stat : 14085 (npSolver-pbo) S 14083 14083 12793 0 -1 4202496 2814 11443 0 0 7 0 49 9 20 0 1 0 275936660 7819264 1428 33554432000 4194304 5992684 140733811838480 140733811833600 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14085/statm: 1909 1428 170 440 0 1465 0
[pid=14103] ppid=14085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14103/stat : 14103 (satsolver.sh) S 14085 14083 12793 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275936728 9367552 267 33554432000 4194304 5064252 140734513990896 140734513989808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14103/statm: 2287 267 226 213 0 72 0
[pid=14104] ppid=14103 vsize=21968 CPUtime=5.6 cores=0,2,4,6
/proc/14104/stat : 14104 (glucose) R 14103 14083 12793 0 -1 4202496 5432 0 0 0 559 1 0 0 20 0 1 0 275936728 22495232 4659 33554432000 4194304 5208918 140735535172576 140735535170520 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14104/statm: 5492 4659 105 248 0 5241 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 47900
[startup+12.7004 s]
/proc/loadavg: 2.02 2.04 1.96 3/183 14135
/proc/meminfo: memFree=28820856/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/statm: 2287 275 233 213 0 72 0
[pid=14085] ppid=14083 vsize=9296 CPUtime=8.74 cores=0,2,4,6
/proc/14085/stat : 14085 (npSolver-pbo) S 14083 14083 12793 0 -1 4202496 3763 29068 0 0 12 17 831 14 20 0 1 0 275936660 9519104 1842 33554432000 4194304 5992684 140733811838480 140733811830800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14085/statm: 2324 1842 180 440 0 1880 0
[pid=14134] ppid=14085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14134/stat : 14134 (satsolver.sh) S 14085 14083 12793 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 275937538 9367552 267 33554432000 4194304 5064252 140735960163040 140735960161952 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14134/statm: 2287 267 226 213 0 72 0
[pid=14135] ppid=14134 vsize=21844 CPUtime=3.9 cores=0,2,4,6
/proc/14135/stat : 14135 (glucose) R 14134 14083 12793 0 -1 4202496 6186 0 0 0 390 0 0 0 20 0 1 0 275937539 22368256 4969 33554432000 4194304 5208918 140733790213696 140733790211640 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14135/statm: 5461 4969 104 248 0 5210 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 49436
[startup+25.5004 s]
/proc/loadavg: 2.01 2.04 1.96 3/183 14135
/proc/meminfo: memFree=28812908/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/statm: 2287 275 233 213 0 72 0
[pid=14085] ppid=14083 vsize=9296 CPUtime=8.74 cores=0,2,4,6
/proc/14085/stat : 14085 (npSolver-pbo) S 14083 14083 12793 0 -1 4202496 3763 29068 0 0 12 17 831 14 20 0 1 0 275936660 9519104 1842 33554432000 4194304 5992684 140733811838480 140733811830800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14085/statm: 2324 1842 180 440 0 1880 0
[pid=14134] ppid=14085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14134/stat : 14134 (satsolver.sh) S 14085 14083 12793 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 275937538 9367552 267 33554432000 4194304 5064252 140735960163040 140735960161952 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14134/statm: 2287 267 226 213 0 72 0
[pid=14135] ppid=14134 vsize=28916 CPUtime=16.7 cores=0,2,4,6
/proc/14135/stat : 14135 (glucose) R 14134 14083 12793 0 -1 4202496 6784 0 0 0 1669 1 0 0 20 0 1 0 275937539 29609984 6763 33554432000 4194304 5208918 140733790213696 140733790211560 4211066 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14135/statm: 7229 6763 105 248 0 6978 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 56508
[startup+51.1004 s]
/proc/loadavg: 2.01 2.03 1.96 3/183 14136
/proc/meminfo: memFree=28793536/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/statm: 2287 275 233 213 0 72 0
[pid=14085] ppid=14083 vsize=9296 CPUtime=8.74 cores=0,2,4,6
/proc/14085/stat : 14085 (npSolver-pbo) S 14083 14083 12793 0 -1 4202496 3763 29068 0 0 12 17 831 14 20 0 1 0 275936660 9519104 1842 33554432000 4194304 5992684 140733811838480 140733811830800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14085/statm: 2324 1842 180 440 0 1880 0
[pid=14134] ppid=14085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14134/stat : 14134 (satsolver.sh) S 14085 14083 12793 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 275937538 9367552 267 33554432000 4194304 5064252 140735960163040 140735960161952 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14134/statm: 2287 267 226 213 0 72 0
[pid=14135] ppid=14134 vsize=36348 CPUtime=42.29 cores=0,2,4,6
/proc/14135/stat : 14135 (glucose) R 14134 14083 12793 0 -1 4202496 7259 0 0 0 4228 1 0 0 20 0 1 0 275937539 37220352 8248 33554432000 4194304 5208918 140733790213696 140733790210008 4229688 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14135/statm: 9087 8248 105 248 0 8836 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 63940
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 1.96 3/183 14136
/proc/meminfo: memFree=28782796/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/statm: 2287 275 233 213 0 72 0
[pid=14085] ppid=14083 vsize=9296 CPUtime=8.74 cores=0,2,4,6
/proc/14085/stat : 14085 (npSolver-pbo) S 14083 14083 12793 0 -1 4202496 3763 29068 0 0 12 17 831 14 20 0 1 0 275936660 9519104 1842 33554432000 4194304 5992684 140733811838480 140733811830800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14085/statm: 2324 1842 180 440 0 1880 0
[pid=14134] ppid=14085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14134/stat : 14134 (satsolver.sh) S 14085 14083 12793 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 275937538 9367552 267 33554432000 4194304 5064252 140735960163040 140735960161952 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14134/statm: 2287 267 226 213 0 72 0
[pid=14135] ppid=14134 vsize=36176 CPUtime=93.49 cores=0,2,4,6
/proc/14135/stat : 14135 (glucose) R 14134 14083 12793 0 -1 4202496 9124 0 0 0 9347 2 0 0 20 0 1 0 275937539 37044224 8610 33554432000 4194304 5208918 140733790213696 140733790211704 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14135/statm: 9044 8610 105 248 0 8793 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 63768
[startup+162.3 s]
/proc/loadavg: 2.08 2.04 1.97 3/183 14136
/proc/meminfo: memFree=28764548/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/statm: 2287 275 233 213 0 72 0
[pid=14085] ppid=14083 vsize=9296 CPUtime=8.74 cores=0,2,4,6
/proc/14085/stat : 14085 (npSolver-pbo) S 14083 14083 12793 0 -1 4202496 3763 29068 0 0 12 17 831 14 20 0 1 0 275936660 9519104 1842 33554432000 4194304 5992684 140733811838480 140733811830800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14085/statm: 2324 1842 180 440 0 1880 0
[pid=14134] ppid=14085 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 14169
/proc/meminfo: memFree=28682752/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/statm: 2287 275 233 213 0 72 0
[pid=14085] ppid=14083 vsize=9296 CPUtime=8.74 cores=0,2,4,6
/proc/14085/stat : 14085 (npSolver-pbo) S 14083 14083 12793 0 -1 4202496 3763 29068 0 0 12 17 831 14 20 0 1 0 275936660 9519104 1842 33554432000 4194304 5992684 140733811838480 140733811830800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14085/statm: 2324 1842 180 440 0 1880 0
[pid=14134] ppid=14085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14134/stat : 14134 (satsolver.sh) S 14085 14083 12793 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 275937538 9367552 267 33554432000 4194304 5064252 140735960163040 140735960161952 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14134/statm: 2287 267 226 213 0 72 0
[pid=14135] ppid=14134 vsize=93104 CPUtime=1353.29 cores=0,2,4,6
/proc/14135/stat : 14135 (glucose) R 14134 14083 12793 0 -1 4202496 10979 0 0 0 135325 4 0 0 20 0 1 0 275937539 95338496 22584 33554432000 4194304 5208918 140733790213696 140733790210072 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14135/statm: 23276 22584 105 248 0 23025 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 120696
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 14169
/proc/meminfo: memFree=28683000/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/statm: 2287 275 233 213 0 72 0
[pid=14085] ppid=14083 vsize=9296 CPUtime=8.74 cores=0,2,4,6
/proc/14085/stat : 14085 (npSolver-pbo) S 14083 14083 12793 0 -1 4202496 3763 29068 0 0 12 17 831 14 20 0 1 0 275936660 9519104 1842 33554432000 4194304 5992684 140733811838480 140733811830800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14085/statm: 2324 1842 180 440 0 1880 0
[pid=14134] ppid=14085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14134/stat : 14134 (satsolver.sh) S 14085 14083 12793 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 275937538 9367552 267 33554432000 4194304 5064252 140735960163040 140735960161952 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14134/statm: 2287 267 226 213 0 72 0
[pid=14135] ppid=14134 vsize=93104 CPUtime=1413.28 cores=0,2,4,6
/proc/14135/stat : 14135 (glucose) R 14134 14083 12793 0 -1 4202496 10979 0 0 0 141324 4 0 0 20 0 1 0 275937539 95338496 22584 33554432000 4194304 5208918 140733790213696 140733790210072 4229517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14135/statm: 23276 22584 105 248 0 23025 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 120696
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 14169
/proc/meminfo: memFree=28671336/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/statm: 2287 275 233 213 0 72 0
[pid=14085] ppid=14083 vsize=9296 CPUtime=8.74 cores=0,2,4,6
/proc/14085/stat : 14085 (npSolver-pbo) S 14083 14083 12793 0 -1 4202496 3763 29068 0 0 12 17 831 14 20 0 1 0 275936660 9519104 1842 33554432000 4194304 5992684 140733811838480 140733811830800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14085/statm: 2324 1842 180 440 0 1880 0
[pid=14134] ppid=14085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14134/stat : 14134 (satsolver.sh) S 14085 14083 12793 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 275937538 9367552 267 33554432000 4194304 5064252 140735960163040 140735960161952 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14134/statm: 2287 267 226 213 0 72 0
[pid=14135] ppid=14134 vsize=103344 CPUtime=1473.27 cores=0,2,4,6
/proc/14135/stat : 14135 (glucose) R 14134 14083 12793 0 -1 4202496 11753 0 0 0 147323 4 0 0 20 0 1 0 275937539 105824256 25371 33554432000 4194304 5208918 140733790213696 140733790211560 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14135/statm: 25836 25371 105 248 0 25585 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 130936
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/184 14172
/proc/meminfo: memFree=28671264/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/statm: 2287 275 233 213 0 72 0
[pid=14085] ppid=14083 vsize=9296 CPUtime=8.74 cores=0,2,4,6
/proc/14085/stat : 14085 (npSolver-pbo) S 14083 14083 12793 0 -1 4202496 3763 29068 0 0 12 17 831 14 20 0 1 0 275936660 9519104 1842 33554432000 4194304 5992684 140733811838480 140733811830800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14085/statm: 2324 1842 180 440 0 1880 0
[pid=14134] ppid=14085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14134/stat : 14134 (satsolver.sh) S 14085 14083 12793 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 275937538 9367552 267 33554432000 4194304 5064252 140735960163040 140735960161952 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14134/statm: 2287 267 226 213 0 72 0
[pid=14135] ppid=14134 vsize=103344 CPUtime=1533.26 cores=0,2,4,6
/proc/14135/stat : 14135 (glucose) R 14134 14083 12793 0 -1 4202496 11753 0 0 0 153322 4 0 0 20 0 1 0 275937539 105824256 25371 33554432000 4194304 5208918 140733790213696 140733790211560 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14135/statm: 25836 25371 105 248 0 25585 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 130936
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 14173
/proc/meminfo: memFree=28670900/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/statm: 2287 275 233 213 0 72 0
[pid=14085] ppid=14083 vsize=9296 CPUtime=8.74 cores=0,2,4,6
/proc/14085/stat : 14085 (npSolver-pbo) S 14083 14083 12793 0 -1 4202496 3763 29068 0 0 12 17 831 14 20 0 1 0 275936660 9519104 1842 33554432000 4194304 5992684 140733811838480 140733811830800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14085/statm: 2324 1842 180 440 0 1880 0
[pid=14134] ppid=14085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14134/stat : 14134 (satsolver.sh) S 14085 14083 12793 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 275937538 9367552 267 33554432000 4194304 5064252 140735960163040 140735960161952 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14134/statm: 2287 267 226 213 0 72 0
[pid=14135] ppid=14134 vsize=103344 CPUtime=1593.26 cores=0,2,4,6
/proc/14135/stat : 14135 (glucose) R 14134 14083 12793 0 -1 4202496 11879 0 0 0 159321 5 0 0 20 0 1 0 275937539 105824256 25371 33554432000 4194304 5208918 140733790213696 140733790211784 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14135/statm: 25836 25371 105 248 0 25585 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 130936
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 14173
/proc/meminfo: memFree=28638008/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/statm: 2287 275 233 213 0 72 0
[pid=14085] ppid=14083 vsize=9296 CPUtime=8.74 cores=0,2,4,6
/proc/14085/stat : 14085 (npSolver-pbo) S 14083 14083 12793 0 -1 4202496 3763 29068 0 0 12 17 831 14 20 0 1 0 275936660 9519104 1842 33554432000 4194304 5992684 140733811838480 140733811830800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14085/statm: 2324 1842 180 440 0 1880 0
[pid=14134] ppid=14085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14134/stat : 14134 (satsolver.sh) S 14085 14083 12793 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 275937538 9367552 267 33554432000 4194304 5064252 140735960163040 140735960161952 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14134/statm: 2287 267 226 213 0 72 0
[pid=14135] ppid=14134 vsize=152664 CPUtime=1653.24 cores=0,2,4,6
/proc/14135/stat : 14135 (glucose) R 14134 14083 12793 0 -1 4202496 12006 0 0 0 165319 5 0 0 20 0 1 0 275937539 156327936 33674 33554432000 4194304 5208918 140733790213696 140733790211688 4229338 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14135/statm: 38166 33674 105 248 0 37915 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 180256
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 14173
/proc/meminfo: memFree=28670900/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/statm: 2287 275 233 213 0 72 0
[pid=14085] ppid=14083 vsize=9296 CPUtime=8.74 cores=0,2,4,6
/proc/14085/stat : 14085 (npSolver-pbo) S 14083 14083 12793 0 -1 4202496 3763 29068 0 0 12 17 831 14 20 0 1 0 275936660 9519104 1842 33554432000 4194304 5992684 140733811838480 140733811830800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14085/statm: 2324 1842 180 440 0 1880 0
[pid=14134] ppid=14085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14134/stat : 14134 (satsolver.sh) S 14085 14083 12793 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 275937538 9367552 267 33554432000 4194304 5064252 140735960163040 140735960161952 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14134/statm: 2287 267 226 213 0 72 0
[pid=14135] ppid=14134 vsize=105452 CPUtime=1713.23 cores=0,2,4,6
/proc/14135/stat : 14135 (glucose) R 14134 14083 12793 0 -1 4202496 12007 0 0 0 171318 5 0 0 20 0 1 0 275937539 107982848 25372 33554432000 4194304 5208918 140733790213696 140733790211640 4229374 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14135/statm: 26363 25372 105 248 0 26112 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 133044
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 14173
/proc/meminfo: memFree=28668544/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/statm: 2287 275 233 213 0 72 0
[pid=14085] ppid=14083 vsize=9296 CPUtime=8.74 cores=0,2,4,6
/proc/14085/stat : 14085 (npSolver-pbo) S 14083 14083 12793 0 -1 4202496 3763 29068 0 0 12 17 831 14 20 0 1 0 275936660 9519104 1842 33554432000 4194304 5992684 140733811838480 140733811830800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14085/statm: 2324 1842 180 440 0 1880 0
[pid=14134] ppid=14085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14134/stat : 14134 (satsolver.sh) S 14085 14083 12793 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 275937538 9367552 267 33554432000 4194304 5064252 140735960163040 140735960161952 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14134/statm: 2287 267 226 213 0 72 0
[pid=14135] ppid=14134 vsize=105452 CPUtime=1773.23 cores=0,2,4,6
/proc/14135/stat : 14135 (glucose) R 14134 14083 12793 0 -1 4202496 12675 0 0 0 177317 6 0 0 20 0 1 0 275937539 107982848 25898 33554432000 4194304 5208918 140733790213696 140733790211784 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14135/statm: 26363 25898 105 248 0 26112 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 133044
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 14173
/proc/meminfo: memFree=28668356/32873844 swapFree=7116/7116
[pid=14083] ppid=14080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14083/stat : 14083 (npSolver-pbo.sh) S 14080 14083 12793 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275936660 9367552 275 33554432000 4194304 5064252 140736983273776 140736983272688 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14083/statm: 2287 275 233 213 0 72 0
[pid=14085] ppid=14083 vsize=9296 CPUtime=8.74 cores=0,2,4,6
/proc/14085/stat : 14085 (npSolver-pbo) S 14083 14083 12793 0 -1 4202496 3763 29068 0 0 12 17 831 14 20 0 1 0 275936660 9519104 1842 33554432000 4194304 5992684 140733811838480 140733811830800 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14085/statm: 2324 1842 180 440 0 1880 0
[pid=14134] ppid=14085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14134/stat : 14134 (satsolver.sh) S 14085 14083 12793 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 275937538 9367552 267 33554432000 4194304 5064252 140735960163040 140735960161952 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14134/statm: 2287 267 226 213 0 72 0
[pid=14135] ppid=14134 vsize=105452 CPUtime=1791.33 cores=0,2,4,6
/proc/14135/stat : 14135 (glucose) R 14134 14083 12793 0 -1 4202496 12675 0 0 0 179127 6 0 0 20 0 1 0 275937539 107982848 25898 33554432000 4194304 5208918 140733790213696 140733790211784 4229424 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14135/statm: 26363 25898 105 248 0 26112 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 133044
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.12
CPU user time (s): 1799.72
CPU system time (s): 0.395939
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 182364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.395939
maximum resident set size= 136804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46498
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 204
involuntary context switches= 1925
runsolver used 3.21551 second user time and 9.11261 second system time
The end