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-3700738-1338072276/watcher-3700738-1338072276 -o /tmp/evaluation-result-3700738-1338072276/solver-3700738-1338072276 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700738-1338072276.opb 1394048354 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: 2.00 2.00 2.00 3/179 8778
/proc/meminfo: memFree=31255568/32873844 swapFree=7364/7364
[pid=8778] ppid=8776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8778/stat : 8778 (npSolver-pbo.sh) S 8776 8778 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273356185 9367552 275 33554432000 4194304 5064252 140735929924224 140735929923136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8778/statm: 2287 275 233 213 0 72 0
[startup+0.0224931 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8778
/proc/meminfo: memFree=31255568/32873844 swapFree=7364/7364
[pid=8778] ppid=8776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8778/stat : 8778 (npSolver-pbo.sh) S 8776 8778 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273356185 9367552 275 33554432000 4194304 5064252 140735929924224 140735929923136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8778/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100265 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8778
/proc/meminfo: memFree=31255568/32873844 swapFree=7364/7364
[pid=8778] ppid=8776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8778/stat : 8778 (npSolver-pbo.sh) S 8776 8778 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273356185 9367552 275 33554432000 4194304 5064252 140735929924224 140735929923136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8778/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300269 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8778
/proc/meminfo: memFree=31255568/32873844 swapFree=7364/7364
[pid=8778] ppid=8776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8778/stat : 8778 (npSolver-pbo.sh) S 8776 8778 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273356185 9367552 275 33554432000 4194304 5064252 140735929924224 140735929923136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8778/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700303 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8778
/proc/meminfo: memFree=31255568/32873844 swapFree=7364/7364
[pid=8778] ppid=8776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8778/stat : 8778 (npSolver-pbo.sh) S 8776 8778 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273356185 9367552 275 33554432000 4194304 5064252 140735929924224 140735929923136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8778/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8792
/proc/meminfo: memFree=31194796/32873844 swapFree=7364/7364
[pid=8778] ppid=8776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8778/stat : 8778 (npSolver-pbo.sh) S 8776 8778 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273356185 9367552 275 33554432000 4194304 5064252 140735929924224 140735929923136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8778/statm: 2287 275 233 213 0 72 0
[pid=8779] ppid=8778 vsize=20776 CPUtime=0.33 cores=1,3,5,7
/proc/8779/stat : 8779 (npSolver-pbo) S 8778 8778 5140 0 -1 4202496 3927 5807 0 0 22 3 7 1 20 0 1 0 273356186 21274624 3636 33554432000 4194304 5992684 140737027307504 140737027299824 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8779/statm: 5194 3636 181 440 0 4750 0
[pid=8791] ppid=8779 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8791/stat : 8791 (satsolver.sh) S 8779 8778 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273356220 9367552 267 33554432000 4194304 5064252 140733895386896 140733895385808 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8791/statm: 2287 267 226 213 0 72 0
[pid=8792] ppid=8791 vsize=40896 CPUtime=1.14 cores=1,3,5,7
/proc/8792/stat : 8792 (glucose) R 8791 8778 5140 0 -1 4202496 9017 0 0 0 112 2 0 0 20 0 1 0 273356221 41877504 8082 33554432000 4194304 5208918 140735839603280 140735839601128 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8792/statm: 10224 8082 104 248 0 9973 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 79968
[startup+3.10041 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8792
/proc/meminfo: memFree=31191876/32873844 swapFree=7364/7364
[pid=8778] ppid=8776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8778/stat : 8778 (npSolver-pbo.sh) S 8776 8778 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273356185 9367552 275 33554432000 4194304 5064252 140735929924224 140735929923136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8778/statm: 2287 275 233 213 0 72 0
[pid=8779] ppid=8778 vsize=20776 CPUtime=0.33 cores=1,3,5,7
/proc/8779/stat : 8779 (npSolver-pbo) S 8778 8778 5140 0 -1 4202496 3927 5807 0 0 22 3 7 1 20 0 1 0 273356186 21274624 3636 33554432000 4194304 5992684 140737027307504 140737027299824 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8779/statm: 5194 3636 181 440 0 4750 0
[pid=8791] ppid=8779 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8791/stat : 8791 (satsolver.sh) S 8779 8778 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273356220 9367552 267 33554432000 4194304 5064252 140733895386896 140733895385808 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8791/statm: 2287 267 226 213 0 72 0
[pid=8792] ppid=8791 vsize=42188 CPUtime=2.74 cores=1,3,5,7
/proc/8792/stat : 8792 (glucose) R 8791 8778 5140 0 -1 4202496 9425 0 0 0 272 2 0 0 20 0 1 0 273356221 43200512 8996 33554432000 4194304 5208918 140735839603280 140735839601128 4211670 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8792/statm: 10547 8996 104 248 0 10296 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 81260
[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8792
/proc/meminfo: memFree=31180900/32873844 swapFree=7364/7364
[pid=8778] ppid=8776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8778/stat : 8778 (npSolver-pbo.sh) S 8776 8778 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273356185 9367552 275 33554432000 4194304 5064252 140735929924224 140735929923136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8778/statm: 2287 275 233 213 0 72 0
[pid=8779] ppid=8778 vsize=20776 CPUtime=0.33 cores=1,3,5,7
/proc/8779/stat : 8779 (npSolver-pbo) S 8778 8778 5140 0 -1 4202496 3927 5807 0 0 22 3 7 1 20 0 1 0 273356186 21274624 3636 33554432000 4194304 5992684 140737027307504 140737027299824 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8779/statm: 5194 3636 181 440 0 4750 0
[pid=8791] ppid=8779 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8791/stat : 8791 (satsolver.sh) S 8779 8778 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273356220 9367552 267 33554432000 4194304 5064252 140733895386896 140733895385808 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8791/statm: 2287 267 226 213 0 72 0
[pid=8792] ppid=8791 vsize=44240 CPUtime=5.94 cores=1,3,5,7
/proc/8792/stat : 8792 (glucose) R 8791 8778 5140 0 -1 4202496 10822 0 0 0 591 3 0 0 20 0 1 0 273356221 45301760 9966 33554432000 4194304 5208918 140735839603280 140735839601032 4205681 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8792/statm: 11060 9966 104 248 0 10809 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 83312
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8799
/proc/meminfo: memFree=31165576/32873844 swapFree=7364/7364
[pid=8778] ppid=8776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8778/stat : 8778 (npSolver-pbo.sh) S 8776 8778 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273356185 9367552 275 33554432000 4194304 5064252 140735929924224 140735929923136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8778/statm: 2287 275 233 213 0 72 0
[pid=8779] ppid=8778 vsize=20776 CPUtime=0.33 cores=1,3,5,7
/proc/8779/stat : 8779 (npSolver-pbo) S 8778 8778 5140 0 -1 4202496 3927 5807 0 0 22 3 7 1 20 0 1 0 273356186 21274624 3636 33554432000 4194304 5992684 140737027307504 140737027299824 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8779/statm: 5194 3636 181 440 0 4750 0
[pid=8791] ppid=8779 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8791/stat : 8791 (satsolver.sh) S 8779 8778 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273356220 9367552 267 33554432000 4194304 5064252 140733895386896 140733895385808 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8791/statm: 2287 267 226 213 0 72 0
[pid=8792] ppid=8791 vsize=86012 CPUtime=12.34 cores=1,3,5,7
/proc/8792/stat : 8792 (glucose) R 8791 8778 5140 0 -1 4202496 12491 0 0 0 1230 4 0 0 20 0 1 0 273356221 88076288 17282 33554432000 4194304 5208918 140735839603280 140735839599048 4205203 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8792/statm: 21503 17282 104 248 0 21252 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 125084
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8799
/proc/meminfo: memFree=31142500/32873844 swapFree=7364/7364
[pid=8778] ppid=8776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8778/stat : 8778 (npSolver-pbo.sh) S 8776 8778 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273356185 9367552 275 33554432000 4194304 5064252 140735929924224 140735929923136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8778/statm: 2287 275 233 213 0 72 0
[pid=8779] ppid=8778 vsize=20776 CPUtime=0.33 cores=1,3,5,7
/proc/8779/stat : 8779 (npSolver-pbo) S 8778 8778 5140 0 -1 4202496 3927 5807 0 0 22 3 7 1 20 0 1 0 273356186 21274624 3636 33554432000 4194304 5992684 140737027307504 140737027299824 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8779/statm: 5194 3636 181 440 0 4750 0
[pid=8791] ppid=8779 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8791/stat : 8791 (satsolver.sh) S 8779 8778 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273356220 9367552 267 33554432000 4194304 5064252 140733895386896 140733895385808 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8791/statm: 2287 267 226 213 0 72 0
[pid=8792] ppid=8791 vsize=86012 CPUtime=25.13 cores=1,3,5,7
/proc/8792/stat : 8792 (glucose) R 8791 8778 5140 0 -1 4202496 12610 0 0 0 2509 4 0 0 20 0 1 0 273356221 88076288 19438 33554432000 4194304 5208918 140735839603280 140735839599656 4211147 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8792/statm: 21503 19438 104 248 0 21252 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 125084
[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 8813
/proc/meminfo: memFree=31146700/32873844 swapFree=7364/7364
[pid=8778] ppid=8776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8778/stat : 8778 (npSolver-pbo.sh) S 8776 8778 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273356185 9367552 275 33554432000 4194304 5064252 140735929924224 140735929923136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8778/statm: 2287 275 233 213 0 72 0
[pid=8779] ppid=8778 vsize=20776 CPUtime=0.33 cores=1,3,5,7
/proc/8779/stat : 8779 (npSolver-pbo) S 8778 8778 5140 0 -1 4202496 3927 5807 0 0 22 3 7 1 20 0 1 0 273356186 21274624 3636 33554432000 4194304 5992684 140737027307504 140737027299824 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8779/statm: 5194 3636 181 440 0 4750 0
[pid=8791] ppid=8779 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8791/stat : 8791 (satsolver.sh) S 8779 8778 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273356220 9367552 267 33554432000 4194304 5064252 140733895386896 140733895385808 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8791/statm: 2287 267 226 213 0 72 0
[pid=8792] ppid=8791 vsize=93376 CPUtime=50.73 cores=1,3,5,7
/proc/8792/stat : 8792 (glucose) R 8791 8778 5140 0 -1 4202496 13947 0 0 0 5067 6 0 0 20 0 1 0 273356221 95617024 19747 33554432000 4194304 5208918 140735839603280 140735839599656 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8792/statm: 23344 19747 104 248 0 23093 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 132448
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 8848
/proc/meminfo: memFree=31134276/32873844 swapFree=7364/7364
[pid=8778] ppid=8776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8778/stat : 8778 (npSolver-pbo.sh) S 8776 8778 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273356185 9367552 275 33554432000 4194304 5064252 140735929924224 140735929923136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8778/statm: 2287 275 233 213 0 72 0
[pid=8779] ppid=8778 vsize=20776 CPUtime=0.33 cores=1,3,5,7
/proc/8779/stat : 8779 (npSolver-pbo) S 8778 8778 5140 0 -1 4202496 3927 5807 0 0 22 3 7 1 20 0 1 0 273356186 21274624 3636 33554432000 4194304 5992684 140737027307504 140737027299824 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8779/statm: 5194 3636 181 440 0 4750 0
[pid=8791] ppid=8779 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8791/stat : 8791 (satsolver.sh) S 8779 8778 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273356220 9367552 267 33554432000 4194304 5064252 140733895386896 140733895385808 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8791/statm: 2287 267 226 213 0 72 0
[pid=8792] ppid=8791 vsize=123872 CPUtime=101.93 cores=1,3,5,7
/proc/8792/stat : 8792 (glucose) R 8791 8778 5140 0 -1 4202496 14482 0 0 0 10186 7 0 0 20 0 1 0 273356221 126844928 24852 33554432000 4194304 5208918 140735839603280 140735839599656 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8792/statm: 30968 24852 104 248 0 30717 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 162944
[startup+162.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/183 8926
/proc/meminfo: memFree=31104864/32873844 swapFree=7364/7364
[pid=8778] ppid=8776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8778/stat : 8778 (npSolver-pbo.sh) S 8776 8778 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273356185 9367552 275 33554432000 4194304 5064252 140735929924224 140735929923136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8778/statm: 2287 275 233 213 0 72 0
[pid=8779] ppid=8778 vsize=20776 CPUtime=0.33 cores=1,3,5,7
/proc/8779/stat : 8779 (npSolver-pbo) S 8778 8778 5140 0 -1 4202496 3927 5807 0 0 22 3 7 1 20 0 1 0 273356186 21274624 3636 33554432000 4194304 5992684 140737027307504 140737027299824 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8779/statm: 5194 3636 181 440 0 4750 0
[pid=8791] ppid=8779 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/8792/stat : 8792 (glucose) R 8791 8778 5140 0 -1 4202496 37975 0 0 0 136113 59 0 0 20 0 1 0 273356221 208908288 44222 33554432000 4194304 5208918 140735839603280 140735839599656 4213000 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8792/statm: 51003 44222 104 248 0 50752 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 243084
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9193
/proc/meminfo: memFree=29961560/32873844 swapFree=7364/7364
[pid=8778] ppid=8776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8778/stat : 8778 (npSolver-pbo.sh) S 8776 8778 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273356185 9367552 275 33554432000 4194304 5064252 140735929924224 140735929923136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8778/statm: 2287 275 233 213 0 72 0
[pid=8779] ppid=8778 vsize=20776 CPUtime=0.33 cores=1,3,5,7
/proc/8779/stat : 8779 (npSolver-pbo) S 8778 8778 5140 0 -1 4202496 3927 5807 0 0 22 3 7 1 20 0 1 0 273356186 21274624 3636 33554432000 4194304 5992684 140737027307504 140737027299824 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8779/statm: 5194 3636 181 440 0 4750 0
[pid=8791] ppid=8779 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8791/stat : 8791 (satsolver.sh) S 8779 8778 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273356220 9367552 267 33554432000 4194304 5064252 140733895386896 140733895385808 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8791/statm: 2287 267 226 213 0 72 0
[pid=8792] ppid=8791 vsize=254100 CPUtime=1421.71 cores=1,3,5,7
/proc/8792/stat : 8792 (glucose) R 8791 8778 5140 0 -1 4202496 38297 0 0 0 142111 60 0 0 20 0 1 0 273356221 260198400 53227 33554432000 4194304 5208918 140735839603280 140735839599656 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8792/statm: 63525 53227 104 248 0 63274 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 293172
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9193
/proc/meminfo: memFree=29986308/32873844 swapFree=7364/7364
[pid=8778] ppid=8776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8778/stat : 8778 (npSolver-pbo.sh) S 8776 8778 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273356185 9367552 275 33554432000 4194304 5064252 140735929924224 140735929923136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8778/statm: 2287 275 233 213 0 72 0
[pid=8779] ppid=8778 vsize=20776 CPUtime=0.33 cores=1,3,5,7
/proc/8779/stat : 8779 (npSolver-pbo) S 8778 8778 5140 0 -1 4202496 3927 5807 0 0 22 3 7 1 20 0 1 0 273356186 21274624 3636 33554432000 4194304 5992684 140737027307504 140737027299824 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8779/statm: 5194 3636 181 440 0 4750 0
[pid=8791] ppid=8779 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8791/stat : 8791 (satsolver.sh) S 8779 8778 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273356220 9367552 267 33554432000 4194304 5064252 140733895386896 140733895385808 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8791/statm: 2287 267 226 213 0 72 0
[pid=8792] ppid=8791 vsize=254100 CPUtime=1481.7 cores=1,3,5,7
/proc/8792/stat : 8792 (glucose) R 8791 8778 5140 0 -1 4202496 39026 0 0 0 148107 63 0 0 20 0 1 0 273356221 260198400 47041 33554432000 4194304 5208918 140735839603280 140735839601432 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8792/statm: 63525 47041 104 248 0 63274 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 293172
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/184 9196
/proc/meminfo: memFree=30007944/32873844 swapFree=7364/7364
[pid=8778] ppid=8776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8778/stat : 8778 (npSolver-pbo.sh) S 8776 8778 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273356185 9367552 275 33554432000 4194304 5064252 140735929924224 140735929923136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8778/statm: 2287 275 233 213 0 72 0
[pid=8779] ppid=8778 vsize=20776 CPUtime=0.33 cores=1,3,5,7
/proc/8779/stat : 8779 (npSolver-pbo) S 8778 8778 5140 0 -1 4202496 3927 5807 0 0 22 3 7 1 20 0 1 0 273356186 21274624 3636 33554432000 4194304 5992684 140737027307504 140737027299824 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8779/statm: 5194 3636 181 440 0 4750 0
[pid=8791] ppid=8779 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8791/stat : 8791 (satsolver.sh) S 8779 8778 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273356220 9367552 267 33554432000 4194304 5064252 140733895386896 140733895385808 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8791/statm: 2287 267 226 213 0 72 0
[pid=8792] ppid=8791 vsize=204012 CPUtime=1541.69 cores=1,3,5,7
/proc/8792/stat : 8792 (glucose) R 8791 8778 5140 0 -1 4202496 39446 0 0 0 154104 65 0 0 20 0 1 0 273356221 208908288 40596 33554432000 4194304 5208918 140735839603280 140735839599656 4211521 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8792/statm: 51003 40596 104 248 0 50752 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 243084
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 9196
/proc/meminfo: memFree=29968172/32873844 swapFree=7364/7364
[pid=8778] ppid=8776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8778/stat : 8778 (npSolver-pbo.sh) S 8776 8778 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273356185 9367552 275 33554432000 4194304 5064252 140735929924224 140735929923136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8778/statm: 2287 275 233 213 0 72 0
[pid=8779] ppid=8778 vsize=20776 CPUtime=0.33 cores=1,3,5,7
/proc/8779/stat : 8779 (npSolver-pbo) S 8778 8778 5140 0 -1 4202496 3927 5807 0 0 22 3 7 1 20 0 1 0 273356186 21274624 3636 33554432000 4194304 5992684 140737027307504 140737027299824 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8779/statm: 5194 3636 181 440 0 4750 0
[pid=8791] ppid=8779 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8791/stat : 8791 (satsolver.sh) S 8779 8778 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273356220 9367552 267 33554432000 4194304 5064252 140733895386896 140733895385808 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8791/statm: 2287 267 226 213 0 72 0
[pid=8792] ppid=8791 vsize=254100 CPUtime=1601.68 cores=1,3,5,7
/proc/8792/stat : 8792 (glucose) R 8791 8778 5140 0 -1 4202496 39770 0 0 0 160102 66 0 0 20 0 1 0 273356221 260198400 51137 33554432000 4194304 5208918 140735839603280 140735839599592 4211916 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8792/statm: 63525 51137 104 248 0 63274 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 293172
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 9196
/proc/meminfo: memFree=29989444/32873844 swapFree=7364/7364
[pid=8778] ppid=8776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8778/stat : 8778 (npSolver-pbo.sh) S 8776 8778 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273356185 9367552 275 33554432000 4194304 5064252 140735929924224 140735929923136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8778/statm: 2287 275 233 213 0 72 0
[pid=8779] ppid=8778 vsize=20776 CPUtime=0.33 cores=1,3,5,7
/proc/8779/stat : 8779 (npSolver-pbo) S 8778 8778 5140 0 -1 4202496 3927 5807 0 0 22 3 7 1 20 0 1 0 273356186 21274624 3636 33554432000 4194304 5992684 140737027307504 140737027299824 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8779/statm: 5194 3636 181 440 0 4750 0
[pid=8791] ppid=8779 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8791/stat : 8791 (satsolver.sh) S 8779 8778 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273356220 9367552 267 33554432000 4194304 5064252 140733895386896 140733895385808 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8791/statm: 2287 267 226 213 0 72 0
[pid=8792] ppid=8791 vsize=204012 CPUtime=1661.68 cores=1,3,5,7
/proc/8792/stat : 8792 (glucose) R 8791 8778 5140 0 -1 4202496 40188 0 0 0 166099 69 0 0 20 0 1 0 273356221 208908288 44180 33554432000 4194304 5208918 140735839603280 140735839599048 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8792/statm: 51003 44180 104 248 0 50752 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 243084
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9197
/proc/meminfo: memFree=29947296/32873844 swapFree=7364/7364
[pid=8778] ppid=8776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8778/stat : 8778 (npSolver-pbo.sh) S 8776 8778 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273356185 9367552 275 33554432000 4194304 5064252 140735929924224 140735929923136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8778/statm: 2287 275 233 213 0 72 0
[pid=8779] ppid=8778 vsize=20776 CPUtime=0.33 cores=1,3,5,7
/proc/8779/stat : 8779 (npSolver-pbo) S 8778 8778 5140 0 -1 4202496 3927 5807 0 0 22 3 7 1 20 0 1 0 273356186 21274624 3636 33554432000 4194304 5992684 140737027307504 140737027299824 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8779/statm: 5194 3636 181 440 0 4750 0
[pid=8791] ppid=8779 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8791/stat : 8791 (satsolver.sh) S 8779 8778 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273356220 9367552 267 33554432000 4194304 5064252 140733895386896 140733895385808 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8791/statm: 2287 267 226 213 0 72 0
[pid=8792] ppid=8791 vsize=254100 CPUtime=1721.66 cores=1,3,5,7
/proc/8792/stat : 8792 (glucose) R 8791 8778 5140 0 -1 4202496 40508 0 0 0 172096 70 0 0 20 0 1 0 273356221 260198400 53697 33554432000 4194304 5208918 140735839603280 140735839599656 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8792/statm: 63525 53697 104 248 0 63274 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 293172
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 9197
/proc/meminfo: memFree=29974092/32873844 swapFree=7364/7364
[pid=8778] ppid=8776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8778/stat : 8778 (npSolver-pbo.sh) S 8776 8778 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273356185 9367552 275 33554432000 4194304 5064252 140735929924224 140735929923136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8778/statm: 2287 275 233 213 0 72 0
[pid=8779] ppid=8778 vsize=20776 CPUtime=0.33 cores=1,3,5,7
/proc/8779/stat : 8779 (npSolver-pbo) S 8778 8778 5140 0 -1 4202496 3927 5807 0 0 22 3 7 1 20 0 1 0 273356186 21274624 3636 33554432000 4194304 5992684 140737027307504 140737027299824 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8779/statm: 5194 3636 181 440 0 4750 0
[pid=8791] ppid=8779 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8791/stat : 8791 (satsolver.sh) S 8779 8778 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273356220 9367552 267 33554432000 4194304 5064252 140733895386896 140733895385808 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8791/statm: 2287 267 226 213 0 72 0
[pid=8792] ppid=8791 vsize=254100 CPUtime=1781.66 cores=1,3,5,7
/proc/8792/stat : 8792 (glucose) R 8791 8778 5140 0 -1 4202496 41228 0 0 0 178092 74 0 0 20 0 1 0 273356221 260198400 46529 33554432000 4194304 5208918 140735839603280 140735839601432 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8792/statm: 63525 46529 104 248 0 63274 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 293172
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 2.00 4/183 9197
/proc/meminfo: memFree=29961556/32873844 swapFree=7364/7364
[pid=8778] ppid=8776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8778/stat : 8778 (npSolver-pbo.sh) S 8776 8778 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273356185 9367552 275 33554432000 4194304 5064252 140735929924224 140735929923136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8778/statm: 2287 275 233 213 0 72 0
[pid=8779] ppid=8778 vsize=20776 CPUtime=0.33 cores=1,3,5,7
/proc/8779/stat : 8779 (npSolver-pbo) S 8778 8778 5140 0 -1 4202496 3927 5807 0 0 22 3 7 1 20 0 1 0 273356186 21274624 3636 33554432000 4194304 5992684 140737027307504 140737027299824 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8779/statm: 5194 3636 181 440 0 4750 0
[pid=8791] ppid=8779 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8791/stat : 8791 (satsolver.sh) S 8779 8778 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273356220 9367552 267 33554432000 4194304 5064252 140733895386896 140733895385808 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8791/statm: 2287 267 226 213 0 72 0
[pid=8792] ppid=8791 vsize=254100 CPUtime=1799.76 cores=1,3,5,7
/proc/8792/stat : 8792 (glucose) R 8791 8778 5140 0 -1 4202496 41234 0 0 0 179902 74 0 0 20 0 1 0 273356221 260198400 49601 33554432000 4194304 5208918 140735839603280 140735839599656 4211897 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8792/statm: 63525 49601 104 248 0 63274 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 293172
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8778 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=297954
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=51992
# CPU time returned by wait4() is 0.349946
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.31
CPU system time (s): 0.78
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 373312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.297954
system time used= 0.051992
maximum resident set size= 25300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10712
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28
involuntary context switches= 18
runsolver used 3.42048 second user time and 8.79166 second system time
The end