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-3701724-1338077793/watcher-3701724-1338077793 -o /tmp/evaluation-result-3701724-1338077793/solver-3701724-1338077793 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701724-1338077793.opb 84643046 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.06 2.02 2.00 3/177 9244
/proc/meminfo: memFree=28847456/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (runsolver) D 9242 9244 3117 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 273904755 12095488 52 33554432000 4194304 5436572 140734117334272 140734117330568 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/9244/statm: 2953 52 31 304 0 2645 0
[startup+0.0385041 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 9244
/proc/meminfo: memFree=28847456/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (npSolver-pbo.sh) S 9242 9244 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273904755 9367552 275 33554432000 4194304 5064252 140733285306592 140733285305504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9244/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100175 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 9244
/proc/meminfo: memFree=28847456/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (npSolver-pbo.sh) S 9242 9244 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273904755 9367552 275 33554432000 4194304 5064252 140733285306592 140733285305504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9244/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300163 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 9244
/proc/meminfo: memFree=28847456/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (npSolver-pbo.sh) S 9242 9244 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273904755 9367552 275 33554432000 4194304 5064252 140733285306592 140733285305504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9244/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.7001 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 9244
/proc/meminfo: memFree=28847456/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (npSolver-pbo.sh) S 9242 9244 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273904755 9367552 275 33554432000 4194304 5064252 140733285306592 140733285305504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9244/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5002 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 9258
/proc/meminfo: memFree=28837728/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (npSolver-pbo.sh) S 9242 9244 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273904755 9367552 275 33554432000 4194304 5064252 140733285306592 140733285305504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9244/statm: 2287 275 233 213 0 72 0
[pid=9246] ppid=9244 vsize=4192 CPUtime=0.41 cores=0,2,4,6
/proc/9246/stat : 9246 (npSolver-pbo) S 9244 9244 3117 0 -1 4202496 1298 10155 0 0 3 4 29 5 20 0 1 0 273904756 4292608 663 33554432000 4194304 5992684 140736173055936 140736173048256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9246/statm: 1048 663 179 440 0 604 0
[pid=9257] ppid=9246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9257/stat : 9257 (satsolver.sh) S 9246 9244 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273904799 9367552 267 33554432000 4194304 5064252 140735978182960 140735978181872 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9257/statm: 2287 267 226 213 0 72 0
[pid=9258] ppid=9257 vsize=9152 CPUtime=1.05 cores=0,2,4,6
/proc/9258/stat : 9258 (glucose) R 9257 9244 3117 0 -1 4202496 2334 0 0 0 105 0 0 0 20 0 1 0 273904799 9371648 1825 33554432000 4194304 5208918 140734220720048 140734220718008 4229010 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9258/statm: 2288 1825 105 248 0 2037 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 31640
[startup+3.10021 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 9258
/proc/meminfo: memFree=28835612/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (npSolver-pbo.sh) S 9242 9244 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273904755 9367552 275 33554432000 4194304 5064252 140733285306592 140733285305504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9244/statm: 2287 275 233 213 0 72 0
[pid=9246] ppid=9244 vsize=4192 CPUtime=0.41 cores=0,2,4,6
/proc/9246/stat : 9246 (npSolver-pbo) S 9244 9244 3117 0 -1 4202496 1298 10155 0 0 3 4 29 5 20 0 1 0 273904756 4292608 663 33554432000 4194304 5992684 140736173055936 140736173048256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9246/statm: 1048 663 179 440 0 604 0
[pid=9257] ppid=9246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9257/stat : 9257 (satsolver.sh) S 9246 9244 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273904799 9367552 267 33554432000 4194304 5064252 140735978182960 140735978181872 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9257/statm: 2287 267 226 213 0 72 0
[pid=9258] ppid=9257 vsize=13696 CPUtime=2.65 cores=0,2,4,6
/proc/9258/stat : 9258 (glucose) R 9257 9244 3117 0 -1 4202496 3915 0 0 0 265 0 0 0 20 0 1 0 273904799 14024704 2863 33554432000 4194304 5208918 140734220720048 140734220716424 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9258/statm: 3424 2863 105 248 0 3173 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 36184
[startup+6.30035 s]
/proc/loadavg: 2.13 2.03 2.01 3/181 9258
/proc/meminfo: memFree=28837056/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (npSolver-pbo.sh) S 9242 9244 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273904755 9367552 275 33554432000 4194304 5064252 140733285306592 140733285305504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9244/statm: 2287 275 233 213 0 72 0
[pid=9246] ppid=9244 vsize=4192 CPUtime=0.41 cores=0,2,4,6
/proc/9246/stat : 9246 (npSolver-pbo) S 9244 9244 3117 0 -1 4202496 1298 10155 0 0 3 4 29 5 20 0 1 0 273904756 4292608 663 33554432000 4194304 5992684 140736173055936 140736173048256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9246/statm: 1048 663 179 440 0 604 0
[pid=9257] ppid=9246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9257/stat : 9257 (satsolver.sh) S 9246 9244 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273904799 9367552 267 33554432000 4194304 5064252 140735978182960 140735978181872 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9257/statm: 2287 267 226 213 0 72 0
[pid=9258] ppid=9257 vsize=15372 CPUtime=5.85 cores=0,2,4,6
/proc/9258/stat : 9258 (glucose) R 9257 9244 3117 0 -1 4202496 4473 0 0 0 585 0 0 0 20 0 1 0 273904799 15740928 3365 33554432000 4194304 5208918 140734220720048 140734220716360 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9258/statm: 3843 3365 105 248 0 3592 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 37860
[startup+12.7003 s]
/proc/loadavg: 2.12 2.03 2.01 3/181 9258
/proc/meminfo: memFree=28833552/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (npSolver-pbo.sh) S 9242 9244 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273904755 9367552 275 33554432000 4194304 5064252 140733285306592 140733285305504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9244/statm: 2287 275 233 213 0 72 0
[pid=9246] ppid=9244 vsize=4192 CPUtime=0.41 cores=0,2,4,6
/proc/9246/stat : 9246 (npSolver-pbo) S 9244 9244 3117 0 -1 4202496 1298 10155 0 0 3 4 29 5 20 0 1 0 273904756 4292608 663 33554432000 4194304 5992684 140736173055936 140736173048256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9246/statm: 1048 663 179 440 0 604 0
[pid=9257] ppid=9246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9257/stat : 9257 (satsolver.sh) S 9246 9244 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273904799 9367552 267 33554432000 4194304 5064252 140735978182960 140735978181872 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9257/statm: 2287 267 226 213 0 72 0
[pid=9258] ppid=9257 vsize=21044 CPUtime=12.25 cores=0,2,4,6
/proc/9258/stat : 9258 (glucose) R 9257 9244 3117 0 -1 4202496 5275 0 0 0 1225 0 0 0 20 0 1 0 273904799 21549056 4475 33554432000 4194304 5208918 140734220720048 140734220717912 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9258/statm: 5261 4475 105 248 0 5010 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 43532
[startup+25.5004 s]
/proc/loadavg: 2.17 2.04 2.01 3/181 9258
/proc/meminfo: memFree=28826768/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (npSolver-pbo.sh) S 9242 9244 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273904755 9367552 275 33554432000 4194304 5064252 140733285306592 140733285305504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9244/statm: 2287 275 233 213 0 72 0
[pid=9246] ppid=9244 vsize=4192 CPUtime=0.41 cores=0,2,4,6
/proc/9246/stat : 9246 (npSolver-pbo) S 9244 9244 3117 0 -1 4202496 1298 10155 0 0 3 4 29 5 20 0 1 0 273904756 4292608 663 33554432000 4194304 5992684 140736173055936 140736173048256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9246/statm: 1048 663 179 440 0 604 0
[pid=9257] ppid=9246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9257/stat : 9257 (satsolver.sh) S 9246 9244 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273904799 9367552 267 33554432000 4194304 5064252 140735978182960 140735978181872 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9257/statm: 2287 267 226 213 0 72 0
[pid=9258] ppid=9257 vsize=28116 CPUtime=25.05 cores=0,2,4,6
/proc/9258/stat : 9258 (glucose) R 9257 9244 3117 0 -1 4202496 5406 0 0 0 2505 0 0 0 20 0 1 0 273904799 28790784 5628 33554432000 4194304 5208918 140734220720048 140734220716424 4229748 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9258/statm: 7029 5628 105 248 0 6778 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 50604
[startup+51.1004 s]
/proc/loadavg: 2.25 2.07 2.02 3/181 9258
/proc/meminfo: memFree=28814388/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (npSolver-pbo.sh) S 9242 9244 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273904755 9367552 275 33554432000 4194304 5064252 140733285306592 140733285305504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9244/statm: 2287 275 233 213 0 72 0
[pid=9246] ppid=9244 vsize=4192 CPUtime=0.41 cores=0,2,4,6
/proc/9246/stat : 9246 (npSolver-pbo) S 9244 9244 3117 0 -1 4202496 1298 10155 0 0 3 4 29 5 20 0 1 0 273904756 4292608 663 33554432000 4194304 5992684 140736173055936 140736173048256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9246/statm: 1048 663 179 440 0 604 0
[pid=9257] ppid=9246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9257/stat : 9257 (satsolver.sh) S 9246 9244 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273904799 9367552 267 33554432000 4194304 5064252 140735978182960 140735978181872 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9257/statm: 2287 267 226 213 0 72 0
[pid=9258] ppid=9257 vsize=35256 CPUtime=50.64 cores=0,2,4,6
/proc/9258/stat : 9258 (glucose) R 9257 9244 3117 0 -1 4202496 6387 0 0 0 5064 0 0 0 20 0 1 0 273904799 36102144 8107 33554432000 4194304 5208918 140734220720048 140734220715816 4211501 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9258/statm: 8814 8107 105 248 0 8563 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 57744
[startup+102.306 s]
/proc/loadavg: 2.11 2.06 2.02 3/181 9265
/proc/meminfo: memFree=28779696/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (npSolver-pbo.sh) S 9242 9244 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273904755 9367552 275 33554432000 4194304 5064252 140733285306592 140733285305504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9244/statm: 2287 275 233 213 0 72 0
[pid=9246] ppid=9244 vsize=4192 CPUtime=60.82 cores=0,2,4,6
/proc/9246/stat : 9246 (npSolver-pbo) S 9244 9244 3117 0 -1 4202496 1449 20769 0 0 3 4 6068 7 20 0 1 0 273904756 4292608 664 33554432000 4194304 5992684 140736173055936 140736173048256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9246/statm: 1048 664 179 440 0 604 0
[pid=9264] ppid=9246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9264/stat : 9264 (satsolver.sh) S 9246 9244 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273910842 9367552 267 33554432000 4194304 5064252 140734820131040 140734820129952 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9264/statm: 2287 267 226 213 0 72 0
[pid=9265] ppid=9264 vsize=34348 CPUtime=41.43 cores=0,2,4,6
/proc/9265/stat : 9265 (glucose) R 9264 9244 3117 0 -1 4202496 8267 0 0 0 4141 2 0 0 20 0 1 0 273910842 35172352 7549 33554432000 4194304 5208918 140736997100224 140736997095992 4229225 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9265/statm: 8587 7549 104 248 0 8336 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 56836
[startup+162.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/181 9265
/proc/meminfo: memFree=28770324/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (npSolver-pbo.sh) S 9242 9244 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273904755 9367552 275 33554432000 4194304 5064252 140733285306592 140733285305504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9244/statm: 2287 275 233 213 0 72 0
[pid=9246] ppid=9244 vsize=4192 CPUtime=60.82 cores=0,2,4,6
/proc/9246/stat : 9246 (npSolver-pbo) S 9244 9244 3117 0 -1 4202496 1449 20769 0 0 3 4 6068 7 20 0 1 0 273904756 4292608 664 33554432000 4194304 5992684 140736173055936 140736173048256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9246/statm: 1048 664 179 440 0 604 0
[pid=9264] ppid=9246 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9276
/proc/meminfo: memFree=28644836/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (npSolver-pbo.sh) S 9242 9244 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273904755 9367552 275 33554432000 4194304 5064252 140733285306592 140733285305504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9244/statm: 2287 275 233 213 0 72 0
[pid=9246] ppid=9244 vsize=4192 CPUtime=60.82 cores=0,2,4,6
/proc/9246/stat : 9246 (npSolver-pbo) S 9244 9244 3117 0 -1 4202496 1449 20769 0 0 3 4 6068 7 20 0 1 0 273904756 4292608 664 33554432000 4194304 5992684 140736173055936 140736173048256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9246/statm: 1048 664 179 440 0 604 0
[pid=9264] ppid=9246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9264/stat : 9264 (satsolver.sh) S 9246 9244 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273910842 9367552 267 33554432000 4194304 5064252 140734820131040 140734820129952 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9264/statm: 2287 267 226 213 0 72 0
[pid=9265] ppid=9264 vsize=133344 CPUtime=1301.22 cores=0,2,4,6
/proc/9265/stat : 9265 (glucose) R 9264 9244 3117 0 -1 4202496 26207 0 0 0 130095 27 0 0 20 0 1 0 273910842 136544256 31697 33554432000 4194304 5208918 140736997100224 140736997096600 4229538 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9265/statm: 33336 31697 104 248 0 33085 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 155832
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9280
/proc/meminfo: memFree=28638440/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (npSolver-pbo.sh) S 9242 9244 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273904755 9367552 275 33554432000 4194304 5064252 140733285306592 140733285305504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9244/statm: 2287 275 233 213 0 72 0
[pid=9246] ppid=9244 vsize=4192 CPUtime=60.82 cores=0,2,4,6
/proc/9246/stat : 9246 (npSolver-pbo) S 9244 9244 3117 0 -1 4202496 1449 20769 0 0 3 4 6068 7 20 0 1 0 273904756 4292608 664 33554432000 4194304 5992684 140736173055936 140736173048256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9246/statm: 1048 664 179 440 0 604 0
[pid=9264] ppid=9246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9264/stat : 9264 (satsolver.sh) S 9246 9244 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273910842 9367552 267 33554432000 4194304 5064252 140734820131040 140734820129952 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9264/statm: 2287 267 226 213 0 72 0
[pid=9265] ppid=9264 vsize=133344 CPUtime=1361.22 cores=0,2,4,6
/proc/9265/stat : 9265 (glucose) R 9264 9244 3117 0 -1 4202496 27224 0 0 0 136093 29 0 0 20 0 1 0 273910842 136544256 31185 33554432000 4194304 5208918 140736997100224 140736997096600 4228975 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9265/statm: 33336 31185 104 248 0 33085 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 155832
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9280
/proc/meminfo: memFree=28624200/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (npSolver-pbo.sh) S 9242 9244 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273904755 9367552 275 33554432000 4194304 5064252 140733285306592 140733285305504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9244/statm: 2287 275 233 213 0 72 0
[pid=9246] ppid=9244 vsize=4192 CPUtime=60.82 cores=0,2,4,6
/proc/9246/stat : 9246 (npSolver-pbo) S 9244 9244 3117 0 -1 4202496 1449 20769 0 0 3 4 6068 7 20 0 1 0 273904756 4292608 664 33554432000 4194304 5992684 140736173055936 140736173048256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9246/statm: 1048 664 179 440 0 604 0
[pid=9264] ppid=9246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9264/stat : 9264 (satsolver.sh) S 9246 9244 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273910842 9367552 267 33554432000 4194304 5064252 140734820131040 140734820129952 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9264/statm: 2287 267 226 213 0 72 0
[pid=9265] ppid=9264 vsize=133344 CPUtime=1421.2 cores=0,2,4,6
/proc/9265/stat : 9265 (glucose) R 9264 9244 3117 0 -1 4202496 28310 0 0 0 142089 31 0 0 20 0 1 0 273910842 136544256 32789 33554432000 4194304 5208918 140736997100224 140736997096600 4231478 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9265/statm: 33336 32789 104 248 0 33085 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 155832
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9280
/proc/meminfo: memFree=28646828/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (npSolver-pbo.sh) S 9242 9244 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273904755 9367552 275 33554432000 4194304 5064252 140733285306592 140733285305504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9244/statm: 2287 275 233 213 0 72 0
[pid=9246] ppid=9244 vsize=4192 CPUtime=60.82 cores=0,2,4,6
/proc/9246/stat : 9246 (npSolver-pbo) S 9244 9244 3117 0 -1 4202496 1449 20769 0 0 3 4 6068 7 20 0 1 0 273904756 4292608 664 33554432000 4194304 5992684 140736173055936 140736173048256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9246/statm: 1048 664 179 440 0 604 0
[pid=9264] ppid=9246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9264/stat : 9264 (satsolver.sh) S 9246 9244 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273910842 9367552 267 33554432000 4194304 5064252 140734820131040 140734820129952 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9264/statm: 2287 267 226 213 0 72 0
[pid=9265] ppid=9264 vsize=133344 CPUtime=1481.19 cores=0,2,4,6
/proc/9265/stat : 9265 (glucose) R 9264 9244 3117 0 -1 4202496 29260 0 0 0 148087 32 0 0 20 0 1 0 273910842 136544256 31185 33554432000 4194304 5208918 140736997100224 140736997095912 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9265/statm: 33336 31185 104 248 0 33085 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 155832
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9280
/proc/meminfo: memFree=28640588/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (npSolver-pbo.sh) S 9242 9244 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273904755 9367552 275 33554432000 4194304 5064252 140733285306592 140733285305504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9244/statm: 2287 275 233 213 0 72 0
[pid=9246] ppid=9244 vsize=4192 CPUtime=60.82 cores=0,2,4,6
/proc/9246/stat : 9246 (npSolver-pbo) S 9244 9244 3117 0 -1 4202496 1449 20769 0 0 3 4 6068 7 20 0 1 0 273904756 4292608 664 33554432000 4194304 5992684 140736173055936 140736173048256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9246/statm: 1048 664 179 440 0 604 0
[pid=9264] ppid=9246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9264/stat : 9264 (satsolver.sh) S 9246 9244 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273910842 9367552 267 33554432000 4194304 5064252 140734820131040 140734820129952 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9264/statm: 2287 267 226 213 0 72 0
[pid=9265] ppid=9264 vsize=133344 CPUtime=1541.18 cores=0,2,4,6
/proc/9265/stat : 9265 (glucose) R 9264 9244 3117 0 -1 4202496 30278 0 0 0 154084 34 0 0 20 0 1 0 273910842 136544256 30673 33554432000 4194304 5208918 140736997100224 140736997096600 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9265/statm: 33336 30673 104 248 0 33085 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 155832
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9332
/proc/meminfo: memFree=28846720/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (npSolver-pbo.sh) S 9242 9244 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273904755 9367552 275 33554432000 4194304 5064252 140733285306592 140733285305504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9244/statm: 2287 275 233 213 0 72 0
[pid=9246] ppid=9244 vsize=4192 CPUtime=60.82 cores=0,2,4,6
/proc/9246/stat : 9246 (npSolver-pbo) S 9244 9244 3117 0 -1 4202496 1449 20769 0 0 3 4 6068 7 20 0 1 0 273904756 4292608 664 33554432000 4194304 5992684 140736173055936 140736173048256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9246/statm: 1048 664 179 440 0 604 0
[pid=9264] ppid=9246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9264/stat : 9264 (satsolver.sh) S 9246 9244 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273910842 9367552 267 33554432000 4194304 5064252 140734820131040 140734820129952 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9264/statm: 2287 267 226 213 0 72 0
[pid=9265] ppid=9264 vsize=84024 CPUtime=1601.17 cores=0,2,4,6
/proc/9265/stat : 9265 (glucose) R 9264 9244 3117 0 -1 4202496 30882 0 0 0 160081 36 0 0 20 0 1 0 273910842 86040576 20546 33554432000 4194304 5208918 140736997100224 140736997096600 4229712 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9265/statm: 21006 20546 104 248 0 20755 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 106512
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9332
/proc/meminfo: memFree=28842728/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (npSolver-pbo.sh) S 9242 9244 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273904755 9367552 275 33554432000 4194304 5064252 140733285306592 140733285305504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9244/statm: 2287 275 233 213 0 72 0
[pid=9246] ppid=9244 vsize=4192 CPUtime=60.82 cores=0,2,4,6
/proc/9246/stat : 9246 (npSolver-pbo) S 9244 9244 3117 0 -1 4202496 1449 20769 0 0 3 4 6068 7 20 0 1 0 273904756 4292608 664 33554432000 4194304 5992684 140736173055936 140736173048256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9246/statm: 1048 664 179 440 0 604 0
[pid=9264] ppid=9246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9264/stat : 9264 (satsolver.sh) S 9246 9244 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273910842 9367552 267 33554432000 4194304 5064252 140734820131040 140734820129952 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9264/statm: 2287 267 226 213 0 72 0
[pid=9265] ppid=9264 vsize=84024 CPUtime=1661.16 cores=0,2,4,6
/proc/9265/stat : 9265 (glucose) R 9264 9244 3117 0 -1 4202496 31904 0 0 0 166078 38 0 0 20 0 1 0 273910842 86040576 20546 33554432000 4194304 5208918 140736997100224 140736997096600 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9265/statm: 21006 20546 104 248 0 20755 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 106512
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 9333
/proc/meminfo: memFree=28760268/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (npSolver-pbo.sh) S 9242 9244 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273904755 9367552 275 33554432000 4194304 5064252 140733285306592 140733285305504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9244/statm: 2287 275 233 213 0 72 0
[pid=9246] ppid=9244 vsize=4192 CPUtime=60.82 cores=0,2,4,6
/proc/9246/stat : 9246 (npSolver-pbo) S 9244 9244 3117 0 -1 4202496 1449 20769 0 0 3 4 6068 7 20 0 1 0 273904756 4292608 664 33554432000 4194304 5992684 140736173055936 140736173048256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9246/statm: 1048 664 179 440 0 604 0
[pid=9264] ppid=9246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9264/stat : 9264 (satsolver.sh) S 9246 9244 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273910842 9367552 267 33554432000 4194304 5064252 140734820131040 140734820129952 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9264/statm: 2287 267 226 213 0 72 0
[pid=9265] ppid=9264 vsize=164164 CPUtime=1721.16 cores=0,2,4,6
/proc/9265/stat : 9265 (glucose) R 9264 9244 3117 0 -1 4202496 32922 0 0 0 172076 40 0 0 20 0 1 0 273910842 168103936 35348 33554432000 4194304 5208918 140736997100224 140736997096600 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9265/statm: 41041 35348 104 248 0 40790 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 186652
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.04 2.01 2.00 4/181 9333
/proc/meminfo: memFree=28747176/32873624 swapFree=7104/7104
[pid=9244] ppid=9242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9244/stat : 9244 (npSolver-pbo.sh) S 9242 9244 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273904755 9367552 275 33554432000 4194304 5064252 140733285306592 140733285305504 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9244/statm: 2287 275 233 213 0 72 0
[pid=9246] ppid=9244 vsize=4192 CPUtime=60.82 cores=0,2,4,6
/proc/9246/stat : 9246 (npSolver-pbo) S 9244 9244 3117 0 -1 4202496 1449 20769 0 0 3 4 6068 7 20 0 1 0 273904756 4292608 664 33554432000 4194304 5992684 140736173055936 140736173048256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9246/statm: 1048 664 179 440 0 604 0
[pid=9264] ppid=9246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9264/stat : 9264 (satsolver.sh) S 9246 9244 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273910842 9367552 267 33554432000 4194304 5064252 140734820131040 140734820129952 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9264/statm: 2287 267 226 213 0 72 0
[pid=9265] ppid=9264 vsize=164164 CPUtime=1739.26 cores=0,2,4,6
/proc/9265/stat : 9265 (glucose) R 9264 9244 3117 0 -1 4202496 32927 0 0 0 173886 40 0 0 20 0 1 0 273910842 168103936 37908 33554432000 4194304 5208918 140736997100224 140736997096600 4229328 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9265/statm: 41041 37908 104 248 0 40790 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 186652
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.59
CPU system time (s): 0.530919
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 186652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.530919
maximum resident set size= 151632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56136
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70
involuntary context switches= 2345
runsolver used 2.81557 second user time and 7.01593 second system time
The end