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-3701341-1338066017/watcher-3701341-1338066017 -o /tmp/evaluation-result-3701341-1338066017/solver-3701341-1338066017 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701341-1338066017.opb 1032792547 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: 1.99 1.98 2.07 3/180 8158
/proc/meminfo: memFree=31125028/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
[startup+0.0610369 s]
/proc/loadavg: 1.99 1.98 2.07 3/180 8158
/proc/meminfo: memFree=31125028/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100298 s]
/proc/loadavg: 1.99 1.98 2.07 3/180 8158
/proc/meminfo: memFree=31125028/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300239 s]
/proc/loadavg: 1.99 1.98 2.07 3/180 8158
/proc/meminfo: memFree=31125028/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700239 s]
/proc/loadavg: 1.99 1.98 2.07 3/180 8158
/proc/meminfo: memFree=31125028/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 1.99 1.98 2.07 3/184 8172
/proc/meminfo: memFree=31118632/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
[pid=8159] ppid=8158 vsize=2660 CPUtime=0.01 cores=0,2,4,6
/proc/8159/stat : 8159 (npSolver-pbo) S 8158 8158 5140 0 -1 4202496 529 5870 0 0 0 0 1 0 20 0 1 0 272730259 2723840 369 33554432000 4194304 5992684 140735996189440 140735996181760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 665 369 178 440 0 221 0
[pid=8171] ppid=8159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8171/stat : 8171 (satsolver.sh) S 8159 8158 5140 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272730263 9367552 267 33554432000 4194304 5064252 140735435547136 140735435546048 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8171/statm: 2287 267 226 213 0 72 0
[pid=8172] ppid=8171 vsize=8748 CPUtime=1.45 cores=0,2,4,6
/proc/8172/stat : 8172 (glucose) R 8171 8158 5140 0 -1 4202496 2729 0 0 0 145 0 0 0 20 0 1 0 272730264 8957952 1625 33554432000 4194304 5208918 140733461428560 140733461426520 4211075 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 2187 1625 105 248 0 1936 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29704
[startup+3.10037 s]
/proc/loadavg: 1.99 1.98 2.07 3/184 8172
/proc/meminfo: memFree=31113600/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
[pid=8159] ppid=8158 vsize=2660 CPUtime=0.01 cores=0,2,4,6
/proc/8159/stat : 8159 (npSolver-pbo) S 8158 8158 5140 0 -1 4202496 529 5870 0 0 0 0 1 0 20 0 1 0 272730259 2723840 369 33554432000 4194304 5992684 140735996189440 140735996181760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 665 369 178 440 0 221 0
[pid=8171] ppid=8159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8171/stat : 8171 (satsolver.sh) S 8159 8158 5140 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272730263 9367552 267 33554432000 4194304 5064252 140735435547136 140735435546048 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8171/statm: 2287 267 226 213 0 72 0
[pid=8172] ppid=8171 vsize=13100 CPUtime=3.05 cores=0,2,4,6
/proc/8172/stat : 8172 (glucose) R 8171 8158 5140 0 -1 4202496 3444 0 0 0 305 0 0 0 20 0 1 0 272730264 13414400 2837 33554432000 4194304 5208918 140733461428560 140733461426504 4229473 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 3275 2837 105 248 0 3024 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 34056
[startup+6.30035 s]
/proc/loadavg: 1.99 1.98 2.07 3/184 8172
/proc/meminfo: memFree=31108580/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
[pid=8159] ppid=8158 vsize=2660 CPUtime=0.01 cores=0,2,4,6
/proc/8159/stat : 8159 (npSolver-pbo) S 8158 8158 5140 0 -1 4202496 529 5870 0 0 0 0 1 0 20 0 1 0 272730259 2723840 369 33554432000 4194304 5992684 140735996189440 140735996181760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 665 369 178 440 0 221 0
[pid=8171] ppid=8159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8171/stat : 8171 (satsolver.sh) S 8159 8158 5140 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272730263 9367552 267 33554432000 4194304 5064252 140735435547136 140735435546048 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8171/statm: 2287 267 226 213 0 72 0
[pid=8172] ppid=8171 vsize=15824 CPUtime=6.24 cores=0,2,4,6
/proc/8172/stat : 8172 (glucose) R 8171 8158 5140 0 -1 4202496 4036 0 0 0 624 0 0 0 20 0 1 0 272730264 16203776 3507 33554432000 4194304 5208918 140733461428560 140733461426648 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8172/statm: 3956 3507 105 248 0 3705 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 36780
[startup+12.7004 s]
/proc/loadavg: 1.99 1.98 2.07 3/184 8179
/proc/meminfo: memFree=31113124/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
[pid=8159] ppid=8158 vsize=2660 CPUtime=8.97 cores=0,2,4,6
/proc/8159/stat : 8159 (npSolver-pbo) S 8158 8158 5140 0 -1 4202496 704 13082 0 0 0 0 895 2 20 0 1 0 272730259 2723840 357 33554432000 4194304 5992684 140735996189440 140735996181760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 665 357 179 440 0 221 0
[pid=8178] ppid=8159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8178/stat : 8178 (satsolver.sh) S 8159 8158 5140 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272731159 9367552 266 33554432000 4194304 5064252 140734104513840 140734104512752 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8178/statm: 2287 266 226 213 0 72 0
[pid=8179] ppid=8178 vsize=9344 CPUtime=3.69 cores=0,2,4,6
/proc/8179/stat : 8179 (glucose) R 8178 8158 5140 0 -1 4202496 2255 0 0 0 369 0 0 0 20 0 1 0 272731160 9568256 1749 33554432000 4194304 5208918 140736367597488 140736367595432 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8179/statm: 2336 1749 103 248 0 2085 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 30300
[startup+25.5004 s]
/proc/loadavg: 1.99 1.98 2.07 3/184 8179
/proc/meminfo: memFree=31107988/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
[pid=8159] ppid=8158 vsize=2660 CPUtime=8.97 cores=0,2,4,6
/proc/8159/stat : 8159 (npSolver-pbo) S 8158 8158 5140 0 -1 4202496 704 13082 0 0 0 0 895 2 20 0 1 0 272730259 2723840 357 33554432000 4194304 5992684 140735996189440 140735996181760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 665 357 179 440 0 221 0
[pid=8178] ppid=8159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8178/stat : 8178 (satsolver.sh) S 8159 8158 5140 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272731159 9367552 266 33554432000 4194304 5064252 140734104513840 140734104512752 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8178/statm: 2287 266 226 213 0 72 0
[pid=8179] ppid=8178 vsize=16504 CPUtime=16.49 cores=0,2,4,6
/proc/8179/stat : 8179 (glucose) R 8178 8158 5140 0 -1 4202496 4312 0 0 0 1648 1 0 0 20 0 1 0 272731160 16900096 3664 33554432000 4194304 5208918 140736367597488 140736367595352 4229479 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8179/statm: 4126 3664 103 248 0 3875 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 37460
[startup+51.1004 s]
/proc/loadavg: 1.99 1.98 2.07 3/184 8202
/proc/meminfo: memFree=31074816/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
[pid=8159] ppid=8158 vsize=2660 CPUtime=8.97 cores=0,2,4,6
/proc/8159/stat : 8159 (npSolver-pbo) S 8158 8158 5140 0 -1 4202496 704 13082 0 0 0 0 895 2 20 0 1 0 272730259 2723840 357 33554432000 4194304 5992684 140735996189440 140735996181760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 665 357 179 440 0 221 0
[pid=8178] ppid=8159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8178/stat : 8178 (satsolver.sh) S 8159 8158 5140 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272731159 9367552 266 33554432000 4194304 5064252 140734104513840 140734104512752 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8178/statm: 2287 266 226 213 0 72 0
[pid=8179] ppid=8178 vsize=23864 CPUtime=42.08 cores=0,2,4,6
/proc/8179/stat : 8179 (glucose) R 8178 8158 5140 0 -1 4202496 7795 0 0 0 4206 2 0 0 20 0 1 0 272731160 24436736 5454 33554432000 4194304 5208918 140736367597488 140736367593864 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8179/statm: 5966 5454 103 248 0 5715 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 44820
[startup+102.307 s]
/proc/loadavg: 1.99 1.98 2.06 3/184 8209
/proc/meminfo: memFree=31067032/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
[pid=8159] ppid=8158 vsize=2660 CPUtime=80.48 cores=0,2,4,6
/proc/8159/stat : 8159 (npSolver-pbo) S 8158 8158 5140 0 -1 4202496 881 25661 0 0 1 0 8042 5 20 0 1 0 272730259 2723840 370 33554432000 4194304 5992684 140735996189440 140735996181760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 665 370 179 440 0 221 0
[pid=8208] ppid=8159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8208/stat : 8208 (satsolver.sh) S 8159 8158 5140 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272738312 9367552 265 33554432000 4194304 5064252 140735650337632 140735650336544 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8208/statm: 2287 265 226 213 0 72 0
[pid=8209] ppid=8208 vsize=28516 CPUtime=21.77 cores=0,2,4,6
/proc/8209/stat : 8209 (glucose) R 8208 8158 5140 0 -1 4202496 4689 0 0 0 2176 1 0 0 20 0 1 0 272738312 29200384 6179 33554432000 4194304 5208918 140734214983440 140734214981384 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8209/statm: 7129 6179 104 248 0 6878 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 49472
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 2.05 3/183 8209
/proc/meminfo: memFree=31042824/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
[pid=8159] ppid=8158 vsize=2660 CPUtime=80.48 cores=0,2,4,6
/proc/8159/stat : 8159 (npSolver-pbo) S 8158 8158 5140 0 -1 4202496 881 25661 0 0 1 0 8042 5 20 0 1 0 272730259 2723840 370 33554432000 4194304 5992684 140735996189440 140735996181760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 665 370 179 440 0 221 0
[pid=8208] ppid=8159 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8219
/proc/meminfo: memFree=30919320/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
[pid=8159] ppid=8158 vsize=2660 CPUtime=80.48 cores=0,2,4,6
/proc/8159/stat : 8159 (npSolver-pbo) S 8158 8158 5140 0 -1 4202496 881 25661 0 0 1 0 8042 5 20 0 1 0 272730259 2723840 370 33554432000 4194304 5992684 140735996189440 140735996181760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 665 370 179 440 0 221 0
[pid=8208] ppid=8159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8208/stat : 8208 (satsolver.sh) S 8159 8158 5140 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272738312 9367552 265 33554432000 4194304 5064252 140735650337632 140735650336544 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8208/statm: 2287 265 226 213 0 72 0
[pid=8209] ppid=8208 vsize=152424 CPUtime=1281.57 cores=0,2,4,6
/proc/8209/stat : 8209 (glucose) R 8208 8158 5140 0 -1 4202496 13387 0 0 0 128139 18 0 0 20 0 1 0 272738312 156082176 35819 33554432000 4194304 5208918 140734214983440 140734214981432 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8209/statm: 38106 35819 104 248 0 37855 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 173380
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8219
/proc/meminfo: memFree=30917272/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
[pid=8159] ppid=8158 vsize=2660 CPUtime=80.48 cores=0,2,4,6
/proc/8159/stat : 8159 (npSolver-pbo) S 8158 8158 5140 0 -1 4202496 881 25661 0 0 1 0 8042 5 20 0 1 0 272730259 2723840 370 33554432000 4194304 5992684 140735996189440 140735996181760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 665 370 179 440 0 221 0
[pid=8208] ppid=8159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8208/stat : 8208 (satsolver.sh) S 8159 8158 5140 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272738312 9367552 265 33554432000 4194304 5064252 140735650337632 140735650336544 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8208/statm: 2287 265 226 213 0 72 0
[pid=8209] ppid=8208 vsize=152424 CPUtime=1341.56 cores=0,2,4,6
/proc/8209/stat : 8209 (glucose) R 8208 8158 5140 0 -1 4202496 13900 0 0 0 134137 19 0 0 20 0 1 0 272738312 156082176 36331 33554432000 4194304 5208918 140734214983440 140734214981432 4229512 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8209/statm: 38106 36331 104 248 0 37855 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 173380
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8219
/proc/meminfo: memFree=30914992/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
[pid=8159] ppid=8158 vsize=2660 CPUtime=80.48 cores=0,2,4,6
/proc/8159/stat : 8159 (npSolver-pbo) S 8158 8158 5140 0 -1 4202496 881 25661 0 0 1 0 8042 5 20 0 1 0 272730259 2723840 370 33554432000 4194304 5992684 140735996189440 140735996181760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 665 370 179 440 0 221 0
[pid=8208] ppid=8159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8208/stat : 8208 (satsolver.sh) S 8159 8158 5140 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272738312 9367552 265 33554432000 4194304 5064252 140735650337632 140735650336544 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8208/statm: 2287 265 226 213 0 72 0
[pid=8209] ppid=8208 vsize=152424 CPUtime=1401.55 cores=0,2,4,6
/proc/8209/stat : 8209 (glucose) R 8208 8158 5140 0 -1 4202496 14588 0 0 0 140134 21 0 0 20 0 1 0 272738312 156082176 36843 33554432000 4194304 5208918 140734214983440 140734214981432 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8209/statm: 38106 36843 104 248 0 37855 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 173380
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8220
/proc/meminfo: memFree=30915132/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
[pid=8159] ppid=8158 vsize=2660 CPUtime=80.48 cores=0,2,4,6
/proc/8159/stat : 8159 (npSolver-pbo) S 8158 8158 5140 0 -1 4202496 881 25661 0 0 1 0 8042 5 20 0 1 0 272730259 2723840 370 33554432000 4194304 5992684 140735996189440 140735996181760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 665 370 179 440 0 221 0
[pid=8208] ppid=8159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8208/stat : 8208 (satsolver.sh) S 8159 8158 5140 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272738312 9367552 265 33554432000 4194304 5064252 140735650337632 140735650336544 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8208/statm: 2287 265 226 213 0 72 0
[pid=8209] ppid=8208 vsize=152424 CPUtime=1461.54 cores=0,2,4,6
/proc/8209/stat : 8209 (glucose) R 8208 8158 5140 0 -1 4202496 15394 0 0 0 146131 23 0 0 20 0 1 0 272738312 156082176 36843 33554432000 4194304 5208918 140734214983440 140734214981432 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8209/statm: 38106 36843 104 248 0 37855 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 173380
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8220
/proc/meminfo: memFree=30895724/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
[pid=8159] ppid=8158 vsize=2660 CPUtime=80.48 cores=0,2,4,6
/proc/8159/stat : 8159 (npSolver-pbo) S 8158 8158 5140 0 -1 4202496 881 25661 0 0 1 0 8042 5 20 0 1 0 272730259 2723840 370 33554432000 4194304 5992684 140735996189440 140735996181760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 665 370 179 440 0 221 0
[pid=8208] ppid=8159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8208/stat : 8208 (satsolver.sh) S 8159 8158 5140 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272738312 9367552 265 33554432000 4194304 5064252 140735650337632 140735650336544 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8208/statm: 2287 265 226 213 0 72 0
[pid=8209] ppid=8208 vsize=152424 CPUtime=1521.53 cores=0,2,4,6
/proc/8209/stat : 8209 (glucose) R 8208 8158 5140 0 -1 4202496 16201 0 0 0 152129 24 0 0 20 0 1 0 272738312 156082176 37355 33554432000 4194304 5208918 140734214983440 140734214981432 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8209/statm: 38106 37355 104 248 0 37855 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 173380
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8220
/proc/meminfo: memFree=30894872/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
[pid=8159] ppid=8158 vsize=2660 CPUtime=80.48 cores=0,2,4,6
/proc/8159/stat : 8159 (npSolver-pbo) S 8158 8158 5140 0 -1 4202496 881 25661 0 0 1 0 8042 5 20 0 1 0 272730259 2723840 370 33554432000 4194304 5992684 140735996189440 140735996181760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 665 370 179 440 0 221 0
[pid=8208] ppid=8159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8208/stat : 8208 (satsolver.sh) S 8159 8158 5140 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272738312 9367552 265 33554432000 4194304 5064252 140735650337632 140735650336544 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8208/statm: 2287 265 226 213 0 72 0
[pid=8209] ppid=8208 vsize=152424 CPUtime=1581.52 cores=0,2,4,6
/proc/8209/stat : 8209 (glucose) R 8208 8158 5140 0 -1 4202496 17008 0 0 0 158126 26 0 0 20 0 1 0 272738312 156082176 36843 33554432000 4194304 5208918 140734214983440 140734214981432 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8209/statm: 38106 36843 104 248 0 37855 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 173380
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 8220
/proc/meminfo: memFree=30894888/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
[pid=8159] ppid=8158 vsize=2660 CPUtime=80.48 cores=0,2,4,6
/proc/8159/stat : 8159 (npSolver-pbo) S 8158 8158 5140 0 -1 4202496 881 25661 0 0 1 0 8042 5 20 0 1 0 272730259 2723840 370 33554432000 4194304 5992684 140735996189440 140735996181760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 665 370 179 440 0 221 0
[pid=8208] ppid=8159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8208/stat : 8208 (satsolver.sh) S 8159 8158 5140 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272738312 9367552 265 33554432000 4194304 5064252 140735650337632 140735650336544 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8208/statm: 2287 265 226 213 0 72 0
[pid=8209] ppid=8208 vsize=152424 CPUtime=1641.51 cores=0,2,4,6
/proc/8209/stat : 8209 (glucose) R 8208 8158 5140 0 -1 4202496 17822 0 0 0 164124 27 0 0 20 0 1 0 272738312 156082176 36843 33554432000 4194304 5208918 140734214983440 140734214981432 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8209/statm: 38106 36843 104 248 0 37855 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 173380
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 8265
/proc/meminfo: memFree=31016716/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
[pid=8159] ppid=8158 vsize=2660 CPUtime=80.48 cores=0,2,4,6
/proc/8159/stat : 8159 (npSolver-pbo) S 8158 8158 5140 0 -1 4202496 881 25661 0 0 1 0 8042 5 20 0 1 0 272730259 2723840 370 33554432000 4194304 5992684 140735996189440 140735996181760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 665 370 179 440 0 221 0
[pid=8208] ppid=8159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8208/stat : 8208 (satsolver.sh) S 8159 8158 5140 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272738312 9367552 265 33554432000 4194304 5064252 140735650337632 140735650336544 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8208/statm: 2287 265 226 213 0 72 0
[pid=8209] ppid=8208 vsize=152424 CPUtime=1701.5 cores=0,2,4,6
/proc/8209/stat : 8209 (glucose) R 8208 8158 5140 0 -1 4202496 18635 0 0 0 170121 29 0 0 20 0 1 0 272738312 156082176 36843 33554432000 4194304 5208918 140734214983440 140734214981432 4229460 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8209/statm: 38106 36843 104 248 0 37855 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 173380
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.09 2.04 2.00 3/184 8268
/proc/meminfo: memFree=31005272/32873844 swapFree=7364/7364
[pid=8158] ppid=8156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8158/stat : 8158 (npSolver-pbo.sh) S 8156 8158 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272730259 9367552 275 33554432000 4194304 5064252 140733368246832 140733368245744 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8158/statm: 2287 275 233 213 0 72 0
[pid=8159] ppid=8158 vsize=2660 CPUtime=80.48 cores=0,2,4,6
/proc/8159/stat : 8159 (npSolver-pbo) S 8158 8158 5140 0 -1 4202496 881 25661 0 0 1 0 8042 5 20 0 1 0 272730259 2723840 370 33554432000 4194304 5992684 140735996189440 140735996181760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 665 370 179 440 0 221 0
[pid=8208] ppid=8159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8208/stat : 8208 (satsolver.sh) S 8159 8158 5140 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272738312 9367552 265 33554432000 4194304 5064252 140735650337632 140735650336544 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8208/statm: 2287 265 226 213 0 72 0
[pid=8209] ppid=8208 vsize=183244 CPUtime=1719.6 cores=0,2,4,6
/proc/8209/stat : 8209 (glucose) R 8208 8158 5140 0 -1 4202496 19228 0 0 0 171930 30 0 0 20 0 1 0 272738312 187641856 38958 33554432000 4194304 5208918 140734214983440 140734214981592 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8209/statm: 45811 38958 104 248 0 45560 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 204200
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.75
CPU system time (s): 0.374943
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 204200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.374943
maximum resident set size= 155832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46759
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80
involuntary context switches= 2156
runsolver used 12.4011 second user time and 11.9952 second system time
The end