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-3752952-1339200896/watcher-3752952-1339200896 -o /tmp/evaluation-result-3752952-1339200896/solver-3752952-1339200896 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752952-1339200896.wbo 540668310 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.02 2.01 2.00 3/179 7393
/proc/meminfo: memFree=31299444/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
[startup+0.105976 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 7393
/proc/meminfo: memFree=31299444/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.20029 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 7393
/proc/meminfo: memFree=31299444/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300252 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 7393
/proc/meminfo: memFree=31299444/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700226 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 7393
/proc/meminfo: memFree=31299444/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 7400
/proc/meminfo: memFree=31291952/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
[pid=7394] ppid=7393 vsize=3088 CPUtime=0.17 cores=1,3,5,7
/proc/7394/stat : 7394 (npSolver-wbo) S 7393 7393 10289 0 -1 4202496 1444 2165 0 0 2 0 15 0 20 0 1 0 386215662 3162112 374 33554432000 4194304 6006132 140734708357056 140734708351248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7394/statm: 772 374 158 443 0 325 0
[pid=7399] ppid=7394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7399/stat : 7399 (satsolver.sh) S 7394 7393 10289 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386215682 9367552 267 33554432000 4194304 5064252 140737343305968 140737343304880 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7399/statm: 2287 267 226 213 0 72 0
[pid=7400] ppid=7399 vsize=9352 CPUtime=1.29 cores=1,3,5,7
/proc/7400/stat : 7400 (glucose) R 7399 7393 10289 0 -1 4202496 2401 0 0 0 129 0 0 0 20 0 1 0 386215682 9576448 1921 33554432000 4194304 5208918 140735941020608 140735941018552 4229296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 2338 1921 96 248 0 2087 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30736
[startup+3.10035 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 7400
/proc/meminfo: memFree=31286928/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
[pid=7394] ppid=7393 vsize=3088 CPUtime=0.17 cores=1,3,5,7
/proc/7394/stat : 7394 (npSolver-wbo) S 7393 7393 10289 0 -1 4202496 1444 2165 0 0 2 0 15 0 20 0 1 0 386215662 3162112 374 33554432000 4194304 6006132 140734708357056 140734708351248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7394/statm: 772 374 158 443 0 325 0
[pid=7399] ppid=7394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7399/stat : 7399 (satsolver.sh) S 7394 7393 10289 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386215682 9367552 267 33554432000 4194304 5064252 140737343305968 140737343304880 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7399/statm: 2287 267 226 213 0 72 0
[pid=7400] ppid=7399 vsize=18792 CPUtime=2.89 cores=1,3,5,7
/proc/7400/stat : 7400 (glucose) R 7399 7393 10289 0 -1 4202496 3047 0 0 0 288 1 0 0 20 0 1 0 386215682 19243008 4078 33554432000 4194304 5208918 140735941020608 140735941018600 4229688 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 4698 4078 96 248 0 4447 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 40176
[startup+6.30038 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 7407
/proc/meminfo: memFree=31294276/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
[pid=7394] ppid=7393 vsize=3088 CPUtime=0.17 cores=1,3,5,7
/proc/7394/stat : 7394 (npSolver-wbo) S 7393 7393 10289 0 -1 4202496 1444 2165 0 0 2 0 15 0 20 0 1 0 386215662 3162112 374 33554432000 4194304 6006132 140734708357056 140734708351248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7394/statm: 772 374 158 443 0 325 0
[pid=7399] ppid=7394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7399/stat : 7399 (satsolver.sh) S 7394 7393 10289 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386215682 9367552 267 33554432000 4194304 5064252 140737343305968 140737343304880 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7399/statm: 2287 267 226 213 0 72 0
[pid=7400] ppid=7399 vsize=18792 CPUtime=6.09 cores=1,3,5,7
/proc/7400/stat : 7400 (glucose) R 7399 7393 10289 0 -1 4202496 3685 0 0 0 608 1 0 0 20 0 1 0 386215682 19243008 4154 33554432000 4194304 5208918 140735941020608 140735941018552 4229648 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 4698 4154 96 248 0 4447 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 40176
[startup+12.7004 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 7407
/proc/meminfo: memFree=31276344/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
[pid=7394] ppid=7393 vsize=3088 CPUtime=0.17 cores=1,3,5,7
/proc/7394/stat : 7394 (npSolver-wbo) S 7393 7393 10289 0 -1 4202496 1444 2165 0 0 2 0 15 0 20 0 1 0 386215662 3162112 374 33554432000 4194304 6006132 140734708357056 140734708351248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7394/statm: 772 374 158 443 0 325 0
[pid=7399] ppid=7394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7399/stat : 7399 (satsolver.sh) S 7394 7393 10289 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386215682 9367552 267 33554432000 4194304 5064252 140737343305968 140737343304880 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7399/statm: 2287 267 226 213 0 72 0
[pid=7400] ppid=7399 vsize=21536 CPUtime=12.48 cores=1,3,5,7
/proc/7400/stat : 7400 (glucose) R 7399 7393 10289 0 -1 4202496 4519 0 0 0 1247 1 0 0 20 0 1 0 386215682 22052864 4961 33554432000 4194304 5208918 140735941020608 140735941018472 4229692 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7400/statm: 5384 4961 96 248 0 5133 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 42920
[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 7421
/proc/meminfo: memFree=31272752/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
[pid=7394] ppid=7393 vsize=5920 CPUtime=15.43 cores=1,3,5,7
/proc/7394/stat : 7394 (npSolver-wbo) S 7393 7393 10289 0 -1 4202496 2288 10562 0 0 3 2 1535 3 20 0 1 0 386215662 6062080 1073 33554432000 4194304 6006132 140734708357056 140734708348416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7394/statm: 1480 1073 177 443 0 1033 0
[pid=7413] ppid=7394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7413/stat : 7413 (satsolver.sh) S 7394 7393 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386217207 9367552 267 33554432000 4194304 5064252 140735603476784 140735603475696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7413/statm: 2287 267 226 213 0 72 0
[pid=7414] ppid=7413 vsize=24828 CPUtime=10.03 cores=1,3,5,7
/proc/7414/stat : 7414 (glucose) R 7413 7393 10289 0 -1 4202496 5804 0 0 0 1002 1 0 0 20 0 1 0 386217208 25423872 4969 33554432000 4194304 5208918 140736096720432 140736096718376 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7414/statm: 6207 4969 96 248 0 5956 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 49044
[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 7456
/proc/meminfo: memFree=31285668/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
[pid=7394] ppid=7393 vsize=5920 CPUtime=50.3 cores=1,3,5,7
/proc/7394/stat : 7394 (npSolver-wbo) S 7393 7393 10289 0 -1 4202496 4748 39648 0 0 7 3 5002 18 20 0 1 0 386215662 6062080 1073 33554432000 4194304 6006132 140734708357056 140734708348416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7394/statm: 1480 1073 177 443 0 1033 0
[pid=7455] ppid=7394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7455/stat : 7455 (satsolver.sh) S 7394 7393 10289 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386220694 9367552 266 33554432000 4194304 5064252 140734886006176 140734886005088 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7455/statm: 2287 266 226 213 0 72 0
[pid=7456] ppid=7455 vsize=12904 CPUtime=0.76 cores=1,3,5,7
/proc/7456/stat : 7456 (glucose) R 7455 7393 10289 0 -1 4202496 3196 0 0 0 76 0 0 0 20 0 1 0 386220695 13213696 2735 33554432000 4194304 5208918 140733603438336 140733603436488 4229532 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7456/statm: 3226 2735 96 248 0 2975 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 37120
[startup+102.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 7519
/proc/meminfo: memFree=31271316/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
[pid=7394] ppid=7393 vsize=5920 CPUtime=96.99 cores=1,3,5,7
/proc/7394/stat : 7394 (npSolver-wbo) S 7393 7393 10289 0 -1 4202496 8028 77942 0 0 12 4 9647 36 20 0 1 0 386215662 6062080 1073 33554432000 4194304 6006132 140734708357056 140734708348416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7394/statm: 1480 1073 177 443 0 1033 0
[pid=7518] ppid=7394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7518/stat : 7518 (satsolver.sh) S 7394 7393 10289 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386225364 9367552 267 33554432000 4194304 5064252 140736692230032 140736692228944 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7518/statm: 2287 267 226 213 0 72 0
[pid=7519] ppid=7518 vsize=24804 CPUtime=5.28 cores=1,3,5,7
/proc/7519/stat : 7519 (glucose) R 7518 7393 10289 0 -1 4202496 5176 0 0 0 527 1 0 0 20 0 1 0 386225364 25399296 5687 33554432000 4194304 5208918 140737394245024 140737394242968 4205203 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7519/statm: 6201 5687 96 248 0 5950 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49020
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 7589
/proc/meminfo: memFree=31261636/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
[pid=7394] ppid=7393 vsize=5920 CPUtime=155.36 cores=1,3,5,7
/proc/7394/stat : 7394 (npSolver-wbo) S 7393 7393 10289 0 -1 4202496 12128 124485 0 0 19 5 15454 58 20 0 1 0 386215662 6062080 1073 33554432000 4194304 6006132 140734708357056 140734708348416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7394/statm: 1480 1073 177 443 0 1033 0
[pid=7588] ppid=7394 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 9055
/proc/meminfo: memFree=31268232/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
[pid=7394] ppid=7393 vsize=5920 CPUtime=1356.15 cores=1,3,5,7
/proc/7394/stat : 7394 (npSolver-wbo) S 7393 7393 10289 0 -1 4202496 96588 1108020 0 0 156 27 134903 529 20 0 1 0 386215662 6062080 1073 33554432000 4194304 6006132 140734708357056 140734708348416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7394/statm: 1480 1073 177 443 0 1033 0
[pid=9054] ppid=7394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9054/stat : 9054 (satsolver.sh) S 7394 7393 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386351306 9367552 267 33554432000 4194304 5064252 140735661975600 140735661974512 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9054/statm: 2287 267 226 213 0 72 0
[pid=9055] ppid=9054 vsize=31876 CPUtime=5.85 cores=1,3,5,7
/proc/9055/stat : 9055 (glucose) R 9054 7393 10289 0 -1 4202496 5439 0 0 0 584 1 0 0 20 0 1 0 386351306 32641024 6879 33554432000 4194304 5208918 140735320219376 140735320217320 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9055/statm: 7969 6879 96 248 0 7718 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 56092
[startup+1422.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 9125
/proc/meminfo: memFree=31277596/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
[pid=7394] ppid=7393 vsize=5920 CPUtime=1414.31 cores=1,3,5,7
/proc/7394/stat : 7394 (npSolver-wbo) S 7393 7393 10289 0 -1 4202496 100688 1157072 0 0 162 28 140689 552 20 0 1 0 386215662 6062080 1073 33554432000 4194304 6006132 140734708357056 140734708348416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7394/statm: 1480 1073 177 443 0 1033 0
[pid=9124] ppid=7394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9124/stat : 9124 (satsolver.sh) S 7394 7393 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386357124 9367552 267 33554432000 4194304 5064252 140735505828288 140735505827200 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9124/statm: 2287 267 226 213 0 72 0
[pid=9125] ppid=9124 vsize=17752 CPUtime=7.67 cores=1,3,5,7
/proc/9125/stat : 9125 (glucose) R 9124 7393 10289 0 -1 4202496 5315 0 0 0 766 1 0 0 20 0 1 0 386357124 18178048 4059 33554432000 4194304 5208918 140734310680368 140734310678344 4229311 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9125/statm: 4438 4059 96 248 0 4187 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 41968
[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 9202
/proc/meminfo: memFree=31279764/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
[pid=7394] ppid=7393 vsize=5920 CPUtime=1473.1 cores=1,3,5,7
/proc/7394/stat : 7394 (npSolver-wbo) S 7393 7393 10289 0 -1 4202496 104788 1203941 0 0 169 29 146538 574 20 0 1 0 386215662 6062080 1073 33554432000 4194304 6006132 140734708357056 140734708348416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7394/statm: 1480 1073 177 443 0 1033 0
[pid=9194] ppid=7394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9194/stat : 9194 (satsolver.sh) S 7394 7393 10289 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386363005 9367552 267 33554432000 4194304 5064252 140736204871152 140736204870064 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9194/statm: 2287 267 226 213 0 72 0
[pid=9195] ppid=9194 vsize=24824 CPUtime=8.86 cores=1,3,5,7
/proc/9195/stat : 9195 (glucose) R 9194 7393 10289 0 -1 4202496 5740 0 0 0 886 0 0 0 20 0 1 0 386363005 25419776 4949 33554432000 4194304 5208918 140734176129296 140734176127240 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9195/statm: 6206 4949 96 248 0 5955 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 49040
[startup+1542.31 s]
/proc/loadavg: 1.99 2.00 2.00 3/184 9276
/proc/meminfo: memFree=31268332/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
[pid=7394] ppid=7393 vsize=5920 CPUtime=1531.2 cores=1,3,5,7
/proc/7394/stat : 7394 (npSolver-wbo) S 7393 7393 10289 0 -1 4202496 108888 1251433 0 0 176 30 152317 597 20 0 1 0 386215662 6062080 1073 33554432000 4194304 6006132 140734708357056 140734708348416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7394/statm: 1480 1073 177 443 0 1033 0
[pid=9268] ppid=7394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9268/stat : 9268 (satsolver.sh) S 7394 7393 10289 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386368815 9367552 266 33554432000 4194304 5064252 140735998712640 140735998711552 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9268/statm: 2287 266 226 213 0 72 0
[pid=9269] ppid=9268 vsize=29244 CPUtime=10.76 cores=1,3,5,7
/proc/9269/stat : 9269 (glucose) R 9268 7393 10289 0 -1 4202496 6373 0 0 0 1075 1 0 0 20 0 1 0 386368815 29945856 6076 33554432000 4194304 5208918 140734293383904 140734293381768 4211620 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9269/statm: 7311 6077 96 248 0 7060 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 53460
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 9353
/proc/meminfo: memFree=31283484/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
[pid=7394] ppid=7393 vsize=5920 CPUtime=1601.17 cores=1,3,5,7
/proc/7394/stat : 7394 (npSolver-wbo) S 7393 7393 10289 0 -1 4202496 113808 1309785 0 0 184 31 159277 625 20 0 1 0 386215662 6062080 1073 33554432000 4194304 6006132 140734708357056 140734708348416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7394/statm: 1480 1073 177 443 0 1033 0
[pid=9352] ppid=7394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9352/stat : 9352 (satsolver.sh) S 7394 7393 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386375814 9367552 267 33554432000 4194304 5064252 140736373613952 140736373612864 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9352/statm: 2287 267 226 213 0 72 0
[pid=9353] ppid=9352 vsize=12908 CPUtime=0.76 cores=1,3,5,7
/proc/9353/stat : 9353 (glucose) R 9352 7393 10289 0 -1 4202496 3398 0 0 0 76 0 0 0 20 0 1 0 386375814 13217792 2732 33554432000 4194304 5208918 140734660122720 140734660120872 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9353/statm: 3227 2732 96 248 0 2976 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 37124
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 9423
/proc/meminfo: memFree=31277188/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
[pid=7394] ppid=7393 vsize=5920 CPUtime=1659.58 cores=1,3,5,7
/proc/7394/stat : 7394 (npSolver-wbo) S 7393 7393 10289 0 -1 4202496 117908 1357604 0 0 190 32 165088 648 20 0 1 0 386215662 6062080 1073 33554432000 4194304 6006132 140734708357056 140734708348416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7394/statm: 1480 1073 177 443 0 1033 0
[pid=9422] ppid=7394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9422/stat : 9422 (satsolver.sh) S 7394 7393 10289 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386381656 9367552 267 33554432000 4194304 5064252 140735462510160 140735462509072 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9422/statm: 2287 267 226 213 0 72 0
[pid=9423] ppid=9422 vsize=17732 CPUtime=2.35 cores=1,3,5,7
/proc/9423/stat : 9423 (glucose) R 9422 7393 10289 0 -1 4202496 4056 0 0 0 234 1 0 0 20 0 1 0 386381657 18157568 3955 33554432000 4194304 5208918 140737149544608 140737149542552 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9423/statm: 4433 3955 96 248 0 4182 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 41948
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/183 9493
/proc/meminfo: memFree=31274780/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
[pid=7394] ppid=7393 vsize=5920 CPUtime=1718.08 cores=1,3,5,7
/proc/7394/stat : 7394 (npSolver-wbo) S 7393 7393 10289 0 -1 4202496 122008 1404324 0 0 197 33 170907 671 20 0 1 0 386215662 6062080 1073 33554432000 4194304 6006132 140734708357056 140734708348416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7394/statm: 1480 1073 177 443 0 1033 0
[pid=9492] ppid=7394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9492/stat : 9492 (satsolver.sh) S 7394 7393 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386387509 9367552 267 33554432000 4194304 5064252 140736890564752 140736890563664 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9492/statm: 2287 267 226 213 0 72 0
[pid=9493] ppid=9492 vsize=24800 CPUtime=3.82 cores=1,3,5,7
/proc/9493/stat : 9493 (glucose) R 9492 7393 10289 0 -1 4202496 4644 0 0 0 381 1 0 0 20 0 1 0 386387509 25395200 4580 33554432000 4194304 5208918 140735904146096 140735904144184 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9493/statm: 6200 4580 96 248 0 5949 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 49016
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 9667
/proc/meminfo: memFree=31263992/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
[pid=7394] ppid=7393 vsize=5920 CPUtime=1776.43 cores=1,3,5,7
/proc/7394/stat : 7394 (npSolver-wbo) S 7393 7393 10289 0 -1 4202496 126108 1450497 0 0 204 34 176708 697 20 0 1 0 386215662 6062080 1073 33554432000 4194304 6006132 140734708357056 140734708348416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7394/statm: 1480 1073 177 443 0 1033 0
[pid=9621] ppid=7394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9621/stat : 9621 (satsolver.sh) S 7394 7393 10289 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386393344 9367552 266 33554432000 4194304 5064252 140734941727696 140734941726608 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9621/statm: 2287 266 226 213 0 72 0
[pid=9622] ppid=9621 vsize=31876 CPUtime=5.47 cores=1,3,5,7
/proc/9622/stat : 9622 (glucose) R 9621 7393 10289 0 -1 4202496 4961 0 0 0 546 1 0 0 20 0 1 0 386393345 32641024 6328 33554432000 4194304 5208918 140735647596624 140735647594568 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9622/statm: 7969 6328 96 248 0 7718 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 56092
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 9837
/proc/meminfo: memFree=31289596/32873844 swapFree=7380/7380
[pid=7393] ppid=7391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7393/stat : 7393 (npSolver-wbo-It) S 7391 7393 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386215662 9367552 274 33554432000 4194304 5064252 140733256084576 140733256083488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7393/statm: 2287 274 233 213 0 72 0
[pid=7394] ppid=7393 vsize=5920 CPUtime=1799.83 cores=1,3,5,7
/proc/7394/stat : 7394 (npSolver-wbo) S 7393 7393 10289 0 -1 4202496 127748 1469259 0 0 206 35 179036 706 20 0 1 0 386215662 6062080 1073 33554432000 4194304 6006132 140734708357056 140734708348416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7394/statm: 1480 1073 177 443 0 1033 0
[pid=9831] ppid=7394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9831/stat : 9831 (satsolver.sh) S 7394 7393 10289 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386395685 9367552 267 33554432000 4194304 5064252 140734734059168 140734734058080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9831/statm: 2287 267 226 213 0 72 0
[pid=9832] ppid=9831 vsize=11752 CPUtime=0.46 cores=1,3,5,7
/proc/9832/stat : 9832 (glucose) R 9831 7393 10289 0 -1 4202496 3163 0 0 0 46 0 0 0 20 0 1 0 386395685 12034048 2542 33554432000 4194304 5208918 140733662561808 140734734058104 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9832/statm: 2938 2542 96 248 0 2687 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 35968
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.72
CPU time (s): 1800.33
CPU user time (s): 1792.9
CPU system time (s): 7.43087
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 56096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.9
system time used= 7.43087
maximum resident set size= 29860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1601158
page faults= 0
swaps= 0
block input operations= 0
block output operations= 399912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7612
involuntary context switches= 3497
runsolver used 3.07853 second user time and 8.66868 second system time
The end