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-3749415-1339112598/watcher-3749415-1339112598 -o /tmp/evaluation-result-3749415-1339112598/solver-3749415-1339112598 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749415-1339112598.opb 420489871 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.80 1.20 1.24 3/181 10245
/proc/meminfo: memFree=25711828/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
[startup+0.041997 s]
/proc/loadavg: 1.80 1.20 1.24 3/181 10245
/proc/meminfo: memFree=25711828/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100186 s]
/proc/loadavg: 1.80 1.20 1.24 3/181 10245
/proc/meminfo: memFree=25711828/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300124 s]
/proc/loadavg: 1.80 1.20 1.24 3/181 10245
/proc/meminfo: memFree=25711828/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700117 s]
/proc/loadavg: 1.80 1.20 1.24 3/181 10245
/proc/meminfo: memFree=25711828/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 1.80 1.20 1.24 3/185 10252
/proc/meminfo: memFree=25693068/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
[pid=10246] ppid=10245 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/10246/stat : 10246 (npSolver-pbo) S 10245 10245 8372 0 -1 4202496 1763 2137 0 0 0 0 0 0 20 0 1 0 21227422 2306048 199 33554432000 4194304 6004724 140734247252016 140734247247152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10246/statm: 563 199 148 442 0 117 0
[pid=10251] ppid=10246 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 10246 10245 8372 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 21227424 9367552 266 33554432000 4194304 5064252 140733633646144 140733633645056 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10251/statm: 2287 266 226 213 0 72 0
[pid=10252] ppid=10251 vsize=12588 CPUtime=1.45 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 10245 8372 0 -1 4202496 2617 0 0 0 145 0 0 0 20 0 1 0 21227425 12890112 2704 33554432000 4194304 5208918 140734511622944 140734511620888 4229338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10252/statm: 3147 2704 105 248 0 2896 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 33136
[startup+3.1003 s]
/proc/loadavg: 1.80 1.20 1.24 3/185 10252
/proc/meminfo: memFree=25355088/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
[pid=10246] ppid=10245 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/10246/stat : 10246 (npSolver-pbo) S 10245 10245 8372 0 -1 4202496 1763 2137 0 0 0 0 0 0 20 0 1 0 21227422 2306048 199 33554432000 4194304 6004724 140734247252016 140734247247152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10246/statm: 563 199 148 442 0 117 0
[pid=10251] ppid=10246 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 10246 10245 8372 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 21227424 9367552 266 33554432000 4194304 5064252 140733633646144 140733633645056 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10251/statm: 2287 266 226 213 0 72 0
[pid=10252] ppid=10251 vsize=15308 CPUtime=3.05 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 10245 8372 0 -1 4202496 3303 0 0 0 305 0 0 0 20 0 1 0 21227425 15675392 3374 33554432000 4194304 5208918 140734511622944 140734511620888 4229307 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10252/statm: 3827 3374 105 248 0 3576 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 35856
[startup+6.3003 s]
/proc/loadavg: 1.89 1.23 1.25 3/185 10252
/proc/meminfo: memFree=24606424/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
[pid=10246] ppid=10245 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/10246/stat : 10246 (npSolver-pbo) S 10245 10245 8372 0 -1 4202496 1763 2137 0 0 0 0 0 0 20 0 1 0 21227422 2306048 199 33554432000 4194304 6004724 140734247252016 140734247247152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10246/statm: 563 199 148 442 0 117 0
[pid=10251] ppid=10246 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 10246 10245 8372 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 21227424 9367552 266 33554432000 4194304 5064252 140733633646144 140733633645056 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10251/statm: 2287 266 226 213 0 72 0
[pid=10252] ppid=10251 vsize=22384 CPUtime=6.25 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 10245 8372 0 -1 4202496 3756 0 0 0 625 0 0 0 20 0 1 0 21227425 22921216 4849 33554432000 4194304 5208918 140734511622944 140734511620936 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10252/statm: 5596 4849 105 248 0 5345 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 42932
[startup+12.7003 s]
/proc/loadavg: 1.98 1.26 1.26 3/185 10252
/proc/meminfo: memFree=24495788/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
[pid=10246] ppid=10245 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/10246/stat : 10246 (npSolver-pbo) S 10245 10245 8372 0 -1 4202496 1763 2137 0 0 0 0 0 0 20 0 1 0 21227422 2306048 199 33554432000 4194304 6004724 140734247252016 140734247247152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10246/statm: 563 199 148 442 0 117 0
[pid=10251] ppid=10246 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 10246 10245 8372 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 21227424 9367552 266 33554432000 4194304 5064252 140733633646144 140733633645056 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10251/statm: 2287 266 226 213 0 72 0
[pid=10252] ppid=10251 vsize=31308 CPUtime=12.66 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 10245 8372 0 -1 4202496 5338 0 0 0 1265 1 0 0 20 0 1 0 21227425 32059392 5176 33554432000 4194304 5208918 140734511622944 140734511620888 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10252/statm: 7827 5176 105 248 0 7576 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 51856
[startup+25.5003 s]
/proc/loadavg: 2.36 1.38 1.29 3/185 10252
/proc/meminfo: memFree=24191056/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
[pid=10246] ppid=10245 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/10246/stat : 10246 (npSolver-pbo) S 10245 10245 8372 0 -1 4202496 1763 2137 0 0 0 0 0 0 20 0 1 0 21227422 2306048 199 33554432000 4194304 6004724 140734247252016 140734247247152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10246/statm: 563 199 148 442 0 117 0
[pid=10251] ppid=10246 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 10246 10245 8372 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 21227424 9367552 266 33554432000 4194304 5064252 140733633646144 140733633645056 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10251/statm: 2287 266 226 213 0 72 0
[pid=10252] ppid=10251 vsize=31308 CPUtime=25.46 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 10245 8372 0 -1 4202496 5504 0 0 0 2545 1 0 0 20 0 1 0 21227425 32059392 7384 33554432000 4194304 5208918 140734511622944 140734511620888 4229745 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10252/statm: 7827 7384 105 248 0 7576 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 51856
[startup+51.1003 s]
/proc/loadavg: 2.91 1.59 1.37 2/185 10252
/proc/meminfo: memFree=23759896/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
[pid=10246] ppid=10245 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/10246/stat : 10246 (npSolver-pbo) S 10245 10245 8372 0 -1 4202496 1763 2137 0 0 0 0 0 0 20 0 1 0 21227422 2306048 199 33554432000 4194304 6004724 140734247252016 140734247247152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10246/statm: 563 199 148 442 0 117 0
[pid=10251] ppid=10246 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 10246 10245 8372 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 21227424 9367552 266 33554432000 4194304 5064252 140733633646144 140733633645056 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10251/statm: 2287 266 226 213 0 72 0
[pid=10252] ppid=10251 vsize=50164 CPUtime=51.05 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 10245 8372 0 -1 4202496 6685 0 0 0 5104 1 0 0 20 0 1 0 21227425 51367936 11362 33554432000 4194304 5208918 140734511622944 140734511620888 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10252/statm: 12541 11362 105 248 0 12290 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 70712
[startup+102.307 s]
/proc/loadavg: 2.60 1.72 1.42 3/185 10255
/proc/meminfo: memFree=23918972/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
[pid=10246] ppid=10245 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/10246/stat : 10246 (npSolver-pbo) S 10245 10245 8372 0 -1 4202496 1763 2137 0 0 0 0 0 0 20 0 1 0 21227422 2306048 199 33554432000 4194304 6004724 140734247252016 140734247247152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10246/statm: 563 199 148 442 0 117 0
[pid=10251] ppid=10246 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 10246 10245 8372 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 21227424 9367552 266 33554432000 4194304 5064252 140733633646144 140733633645056 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10251/statm: 2287 266 226 213 0 72 0
[pid=10252] ppid=10251 vsize=56828 CPUtime=102.25 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 10245 8372 0 -1 4202496 7682 0 0 0 10223 2 0 0 20 0 1 0 21227425 58191872 13764 33554432000 4194304 5208918 140734511622944 140734511621032 4229717 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10252/statm: 14207 13764 105 248 0 13956 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 77376
[startup+162.3 s]
/proc/loadavg: 2.22 1.77 1.46 3/185 10255
/proc/meminfo: memFree=23885180/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
[pid=10246] ppid=10245 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/10246/stat : 10246 (npSolver-pbo) S 10245 10245 8372 0 -1 4202496 1763 2137 0 0 0 0 0 0 20 0 1 0 21227422 2306048 199 33554432000 4194304 6004724 140734247252016 140734247247152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10246/statm: 563 199 148 442 0 117 0
[pid=10251] ppid=10246 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.12 2.02 1.83 3/185 10289
/proc/meminfo: memFree=23796992/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
[pid=10246] ppid=10245 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/10246/stat : 10246 (npSolver-pbo) S 10245 10245 8372 0 -1 4202496 1763 2137 0 0 0 0 0 0 20 0 1 0 21227422 2306048 199 33554432000 4194304 6004724 140734247252016 140734247247152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10246/statm: 563 199 148 442 0 117 0
[pid=10251] ppid=10246 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 10246 10245 8372 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 21227424 9367552 266 33554432000 4194304 5064252 140733633646144 140733633645056 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10251/statm: 2287 266 226 213 0 72 0
[pid=10252] ppid=10251 vsize=109192 CPUtime=1362.04 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 10245 8372 0 -1 4202496 13806 0 0 0 136190 14 0 0 20 0 1 0 21227425 111812608 22641 33554432000 4194304 5208918 140734511622944 140734511621032 4229717 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10252/statm: 27298 22641 105 248 0 27047 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 129740
[startup+1422.31 s]
/proc/loadavg: 2.08 2.03 1.84 3/185 10290
/proc/meminfo: memFree=23796108/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
[pid=10246] ppid=10245 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/10246/stat : 10246 (npSolver-pbo) S 10245 10245 8372 0 -1 4202496 1763 2137 0 0 0 0 0 0 20 0 1 0 21227422 2306048 199 33554432000 4194304 6004724 140734247252016 140734247247152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10246/statm: 563 199 148 442 0 117 0
[pid=10251] ppid=10246 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 10246 10245 8372 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 21227424 9367552 266 33554432000 4194304 5064252 140733633646144 140733633645056 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10251/statm: 2287 266 226 213 0 72 0
[pid=10252] ppid=10251 vsize=109192 CPUtime=1422.05 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 10245 8372 0 -1 4202496 14054 0 0 0 142190 15 0 0 20 0 1 0 21227425 111812608 22641 33554432000 4194304 5208918 140734511622944 140734511621032 4229717 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10252/statm: 27298 22641 105 248 0 27047 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 129740
[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 1.85 3/185 10290
/proc/meminfo: memFree=23795704/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
[pid=10246] ppid=10245 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/10246/stat : 10246 (npSolver-pbo) S 10245 10245 8372 0 -1 4202496 1763 2137 0 0 0 0 0 0 20 0 1 0 21227422 2306048 199 33554432000 4194304 6004724 140734247252016 140734247247152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10246/statm: 563 199 148 442 0 117 0
[pid=10251] ppid=10246 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 10246 10245 8372 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 21227424 9367552 266 33554432000 4194304 5064252 140733633646144 140733633645056 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10251/statm: 2287 266 226 213 0 72 0
[pid=10252] ppid=10251 vsize=109192 CPUtime=1482.03 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 10245 8372 0 -1 4202496 14302 0 0 0 148187 16 0 0 20 0 1 0 21227425 111812608 22641 33554432000 4194304 5208918 140734511622944 140734511621032 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10252/statm: 27298 22641 105 248 0 27047 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 129740
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.86 3/185 10290
/proc/meminfo: memFree=23780824/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
[pid=10246] ppid=10245 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/10246/stat : 10246 (npSolver-pbo) S 10245 10245 8372 0 -1 4202496 1763 2137 0 0 0 0 0 0 20 0 1 0 21227422 2306048 199 33554432000 4194304 6004724 140734247252016 140734247247152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10246/statm: 563 199 148 442 0 117 0
[pid=10251] ppid=10246 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 10246 10245 8372 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 21227424 9367552 266 33554432000 4194304 5064252 140733633646144 140733633645056 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10251/statm: 2287 266 226 213 0 72 0
[pid=10252] ppid=10251 vsize=109192 CPUtime=1542.02 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 10245 8372 0 -1 4202496 14317 0 0 0 154186 16 0 0 20 0 1 0 21227425 111812608 26225 33554432000 4194304 5208918 140734511622944 140734511621032 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10252/statm: 27298 26225 105 248 0 27047 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 129740
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/186 10293
/proc/meminfo: memFree=23778360/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
[pid=10246] ppid=10245 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/10246/stat : 10246 (npSolver-pbo) S 10245 10245 8372 0 -1 4202496 1763 2137 0 0 0 0 0 0 20 0 1 0 21227422 2306048 199 33554432000 4194304 6004724 140734247252016 140734247247152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10246/statm: 563 199 148 442 0 117 0
[pid=10251] ppid=10246 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 10246 10245 8372 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 21227424 9367552 266 33554432000 4194304 5064252 140733633646144 140733633645056 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10251/statm: 2287 266 226 213 0 72 0
[pid=10252] ppid=10251 vsize=158512 CPUtime=1602 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 10245 8372 0 -1 4202496 14679 0 0 0 160184 16 0 0 20 0 1 0 21227425 162316288 34767 33554432000 4194304 5208918 140734511622944 140734511618712 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10252/statm: 39628 34767 105 248 0 39377 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 179060
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/185 10293
/proc/meminfo: memFree=23777884/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
[pid=10246] ppid=10245 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/10246/stat : 10246 (npSolver-pbo) S 10245 10245 8372 0 -1 4202496 1763 2137 0 0 0 0 0 0 20 0 1 0 21227422 2306048 199 33554432000 4194304 6004724 140734247252016 140734247247152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10246/statm: 563 199 148 442 0 117 0
[pid=10251] ppid=10246 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 10246 10245 8372 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 21227424 9367552 266 33554432000 4194304 5064252 140733633646144 140733633645056 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10251/statm: 2287 266 226 213 0 72 0
[pid=10252] ppid=10251 vsize=109192 CPUtime=1661.99 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 10245 8372 0 -1 4202496 14680 0 0 0 166183 16 0 0 20 0 1 0 21227425 111812608 26855 33554432000 4194304 5208918 140734511622944 140734511621032 4229311 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10252/statm: 27298 26855 105 248 0 27047 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 129740
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/184 10293
/proc/meminfo: memFree=23778136/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
[pid=10246] ppid=10245 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/10246/stat : 10246 (npSolver-pbo) S 10245 10245 8372 0 -1 4202496 1763 2137 0 0 0 0 0 0 20 0 1 0 21227422 2306048 199 33554432000 4194304 6004724 140734247252016 140734247247152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10246/statm: 563 199 148 442 0 117 0
[pid=10251] ppid=10246 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 10246 10245 8372 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 21227424 9367552 266 33554432000 4194304 5064252 140733633646144 140733633645056 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10251/statm: 2287 266 226 213 0 72 0
[pid=10252] ppid=10251 vsize=109192 CPUtime=1721.99 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 10245 8372 0 -1 4202496 14927 0 0 0 172182 17 0 0 20 0 1 0 21227425 111812608 26855 33554432000 4194304 5208918 140734511622944 140734511621032 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10252/statm: 27298 26855 105 248 0 27047 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 129740
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 1.88 3/185 10346
/proc/meminfo: memFree=30563584/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
[pid=10246] ppid=10245 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/10246/stat : 10246 (npSolver-pbo) S 10245 10245 8372 0 -1 4202496 1763 2137 0 0 0 0 0 0 20 0 1 0 21227422 2306048 199 33554432000 4194304 6004724 140734247252016 140734247247152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10246/statm: 563 199 148 442 0 117 0
[pid=10251] ppid=10246 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 10246 10245 8372 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 21227424 9367552 266 33554432000 4194304 5064252 140733633646144 140733633645056 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10251/statm: 2287 266 226 213 0 72 0
[pid=10252] ppid=10251 vsize=109192 CPUtime=1781.98 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 10245 8372 0 -1 4202496 15174 0 0 0 178180 18 0 0 20 0 1 0 21227425 111812608 26855 33554432000 4194304 5208918 140734511622944 140734511621032 4229717 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10252/statm: 27298 26855 105 248 0 27047 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 129740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.06 2.01 1.89 3/185 10346
/proc/meminfo: memFree=30561860/32873844 swapFree=7120/7120
[pid=10245] ppid=10243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (npSolver-pbo.sh) S 10243 10245 8372 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 21227422 9367552 274 33554432000 4194304 5064252 140733562342160 140733562341072 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10245/statm: 2287 274 233 213 0 72 0
[pid=10246] ppid=10245 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/10246/stat : 10246 (npSolver-pbo) S 10245 10245 8372 0 -1 4202496 1763 2137 0 0 0 0 0 0 20 0 1 0 21227422 2306048 199 33554432000 4194304 6004724 140734247252016 140734247247152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10246/statm: 563 199 148 442 0 117 0
[pid=10251] ppid=10246 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 10246 10245 8372 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 21227424 9367552 266 33554432000 4194304 5064252 140733633646144 140733633645056 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10251/statm: 2287 266 226 213 0 72 0
[pid=10252] ppid=10251 vsize=109192 CPUtime=1800.09 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 10245 8372 0 -1 4202496 15174 0 0 0 179991 18 0 0 20 0 1 0 21227425 111812608 26855 33554432000 4194304 5208918 140734511622944 140734511621032 4229692 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10252/statm: 27298 26855 105 248 0 27047 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 129740
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.92
CPU system time (s): 0.200969
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 179060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.200969
maximum resident set size= 141116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20062
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 1875
runsolver used 6.95294 second user time and 18.0153 second system time
The end