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-3753245-1339208368/watcher-3753245-1339208368 -o /tmp/evaluation-result-3753245-1339208368/solver-3753245-1339208368 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753245-1339208368.wbo 1129030890 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.89 1.92 1.91 4/179 12358
/proc/meminfo: memFree=29486492/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
[startup+0.01085 s]
/proc/loadavg: 1.89 1.92 1.91 4/179 12358
/proc/meminfo: memFree=29486492/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100277 s]
/proc/loadavg: 1.89 1.92 1.91 4/179 12358
/proc/meminfo: memFree=29486492/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300123 s]
/proc/loadavg: 1.89 1.92 1.91 4/179 12358
/proc/meminfo: memFree=29486492/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700111 s]
/proc/loadavg: 1.89 1.92 1.91 4/179 12358
/proc/meminfo: memFree=29486492/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 1.89 1.92 1.91 3/183 12365
/proc/meminfo: memFree=29481236/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
[pid=12359] ppid=12358 vsize=3096 CPUtime=0.17 cores=1,3,5,7
/proc/12359/stat : 12359 (npSolver-wbo) S 12358 12358 1058 0 -1 4202496 1449 2210 0 0 2 0 15 0 20 0 1 0 386961213 3170304 381 33554432000 4194304 6006132 140733641861456 140733641855648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12359/statm: 774 381 158 443 0 327 0
[pid=12364] ppid=12359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12364/stat : 12364 (satsolver.sh) S 12359 12358 1058 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386961232 9367552 267 33554432000 4194304 5064252 140734225348848 140734225347760 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12364/statm: 2287 267 226 213 0 72 0
[pid=12365] ppid=12364 vsize=9436 CPUtime=1.3 cores=1,3,5,7
/proc/12365/stat : 12365 (glucose) R 12364 12358 1058 0 -1 4202496 2708 0 0 0 130 0 0 0 20 0 1 0 386961232 9662464 1567 33554432000 4194304 5208918 140735391605056 140735391603000 4231508 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12365/statm: 2359 1567 96 248 0 2108 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30828
[startup+3.10036 s]
/proc/loadavg: 1.90 1.92 1.91 3/183 12365
/proc/meminfo: memFree=29476272/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
[pid=12359] ppid=12358 vsize=3096 CPUtime=0.17 cores=1,3,5,7
/proc/12359/stat : 12359 (npSolver-wbo) S 12358 12358 1058 0 -1 4202496 1449 2210 0 0 2 0 15 0 20 0 1 0 386961213 3170304 381 33554432000 4194304 6006132 140733641861456 140733641855648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12359/statm: 774 381 158 443 0 327 0
[pid=12364] ppid=12359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12364/stat : 12364 (satsolver.sh) S 12359 12358 1058 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386961232 9367552 267 33554432000 4194304 5064252 140734225348848 140734225347760 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12364/statm: 2287 267 226 213 0 72 0
[pid=12365] ppid=12364 vsize=11112 CPUtime=2.9 cores=1,3,5,7
/proc/12365/stat : 12365 (glucose) R 12364 12358 1058 0 -1 4202496 3646 0 0 0 290 0 0 0 20 0 1 0 386961232 11378688 2361 33554432000 4194304 5208918 140735391605056 140735391603144 4229748 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12365/statm: 2778 2361 96 248 0 2527 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 32504
[startup+6.30035 s]
/proc/loadavg: 1.90 1.92 1.91 3/183 12365
/proc/meminfo: memFree=29470564/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
[pid=12359] ppid=12358 vsize=3096 CPUtime=0.17 cores=1,3,5,7
/proc/12359/stat : 12359 (npSolver-wbo) S 12358 12358 1058 0 -1 4202496 1449 2210 0 0 2 0 15 0 20 0 1 0 386961213 3170304 381 33554432000 4194304 6006132 140733641861456 140733641855648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12359/statm: 774 381 158 443 0 327 0
[pid=12364] ppid=12359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12364/stat : 12364 (satsolver.sh) S 12359 12358 1058 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386961232 9367552 267 33554432000 4194304 5064252 140734225348848 140734225347760 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12364/statm: 2287 267 226 213 0 72 0
[pid=12365] ppid=12364 vsize=16644 CPUtime=6.09 cores=1,3,5,7
/proc/12365/stat : 12365 (glucose) R 12364 12358 1058 0 -1 4202496 3843 0 0 0 609 0 0 0 20 0 1 0 386961232 17043456 3580 33554432000 4194304 5208918 140735391605056 140735391603000 4229504 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12365/statm: 4161 3580 96 248 0 3910 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 38036
[startup+12.7004 s]
/proc/loadavg: 2.00 1.94 1.91 3/183 12372
/proc/meminfo: memFree=29454392/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
[pid=12359] ppid=12358 vsize=6012 CPUtime=8.92 cores=1,3,5,7
/proc/12359/stat : 12359 (npSolver-wbo) S 12358 12358 1058 0 -1 4202496 2331 9825 0 0 4 1 885 2 20 0 1 0 386961213 6156288 1122 33554432000 4194304 6006132 140733641861456 140733641852816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12359/statm: 1503 1122 177 443 0 1056 0
[pid=12371] ppid=12359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12371/stat : 12371 (satsolver.sh) S 12359 12358 1058 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386962107 9367552 267 33554432000 4194304 5064252 140734247985760 140734247984672 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12371/statm: 2287 267 226 213 0 72 0
[pid=12372] ppid=12371 vsize=18008 CPUtime=3.74 cores=1,3,5,7
/proc/12372/stat : 12372 (glucose) R 12371 12358 1058 0 -1 4202496 5369 0 0 0 373 1 0 0 20 0 1 0 386962108 18440192 4165 33554432000 4194304 5208918 140733930098528 140733930096520 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12372/statm: 4502 4165 96 248 0 4251 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 42316
[startup+25.5003 s]
/proc/loadavg: 2.00 1.94 1.91 3/183 12380
/proc/meminfo: memFree=29453876/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
[pid=12359] ppid=12358 vsize=6012 CPUtime=8.92 cores=1,3,5,7
/proc/12359/stat : 12359 (npSolver-wbo) S 12358 12358 1058 0 -1 4202496 2331 9825 0 0 4 1 885 2 20 0 1 0 386961213 6156288 1122 33554432000 4194304 6006132 140733641861456 140733641852816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12359/statm: 1503 1122 177 443 0 1056 0
[pid=12371] ppid=12359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12371/stat : 12371 (satsolver.sh) S 12359 12358 1058 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386962107 9367552 267 33554432000 4194304 5064252 140734247985760 140734247984672 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12371/statm: 2287 267 226 213 0 72 0
[pid=12372] ppid=12371 vsize=29500 CPUtime=16.54 cores=1,3,5,7
/proc/12372/stat : 12372 (glucose) R 12371 12358 1058 0 -1 4202496 6194 0 0 0 1652 2 0 0 20 0 1 0 386962108 30208000 7022 33554432000 4194304 5208918 140733930098528 140733930096392 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12372/statm: 7375 7022 96 248 0 7124 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 53808
[startup+51.1004 s]
/proc/loadavg: 2.08 1.96 1.92 3/184 12390
/proc/meminfo: memFree=29445284/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
[pid=12359] ppid=12358 vsize=6012 CPUtime=8.92 cores=1,3,5,7
/proc/12359/stat : 12359 (npSolver-wbo) S 12358 12358 1058 0 -1 4202496 2331 9825 0 0 4 1 885 2 20 0 1 0 386961213 6156288 1122 33554432000 4194304 6006132 140733641861456 140733641852816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12359/statm: 1503 1122 177 443 0 1056 0
[pid=12371] ppid=12359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12371/stat : 12371 (satsolver.sh) S 12359 12358 1058 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386962107 9367552 267 33554432000 4194304 5064252 140734247985760 140734247984672 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12371/statm: 2287 267 226 213 0 72 0
[pid=12372] ppid=12371 vsize=46624 CPUtime=42.13 cores=1,3,5,7
/proc/12372/stat : 12372 (glucose) R 12371 12358 1058 0 -1 4202496 7590 0 0 0 4211 2 0 0 20 0 1 0 386962108 47742976 10172 33554432000 4194304 5208918 140733930098528 140733930096392 4229247 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12372/statm: 11656 10172 96 248 0 11405 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 70932
[startup+102.307 s]
/proc/loadavg: 2.07 1.98 1.92 3/183 12411
/proc/meminfo: memFree=29451360/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
[pid=12359] ppid=12358 vsize=6012 CPUtime=71.78 cores=1,3,5,7
/proc/12359/stat : 12359 (npSolver-wbo) S 12358 12358 1058 0 -1 4202496 3200 21071 0 0 5 2 7163 8 20 0 1 0 386961213 6156288 1122 33554432000 4194304 6006132 140733641861456 140733641852816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12359/statm: 1503 1122 177 443 0 1056 0
[pid=12403] ppid=12359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12403/stat : 12403 (satsolver.sh) S 12359 12358 1058 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386968394 9367552 267 33554432000 4194304 5064252 140734984273728 140734984272640 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12403/statm: 2287 267 226 213 0 72 0
[pid=12404] ppid=12403 vsize=39440 CPUtime=30.47 cores=1,3,5,7
/proc/12404/stat : 12404 (glucose) R 12403 12358 1058 0 -1 4202496 6932 0 0 0 3046 1 0 0 20 0 1 0 386968394 40386560 8532 33554432000 4194304 5208918 140735552013712 140735552011656 4211712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12404/statm: 9860 8532 96 248 0 9609 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 63748
[startup+162.3 s]
/proc/loadavg: 2.07 1.99 1.93 3/183 12432
/proc/meminfo: memFree=29452276/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
[pid=12359] ppid=12358 vsize=6012 CPUtime=135.18 cores=1,3,5,7
/proc/12359/stat : 12359 (npSolver-wbo) S 12358 12358 1058 0 -1 4202496 4069 31379 0 0 7 2 13496 13 20 0 1 0 386961213 6156288 1122 33554432000 4194304 6006132 140733641861456 140733641852816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12359/statm: 1503 1122 177 443 0 1056 0
[pid=12424] ppid=12359 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.05 2.02 1.95 3/183 12919
/proc/meminfo: memFree=29446604/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
[pid=12359] ppid=12358 vsize=6012 CPUtime=1385.67 cores=1,3,5,7
/proc/12359/stat : 12359 (npSolver-wbo) S 12358 12358 1058 0 -1 4202496 21449 243950 0 0 37 6 138406 118 20 0 1 0 386961213 6156288 1122 33554432000 4194304 6006132 140733641861456 140733641852816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12359/statm: 1503 1122 177 443 0 1056 0
[pid=12911] ppid=12359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12911/stat : 12911 (satsolver.sh) S 12359 12358 1058 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387099812 9367552 266 33554432000 4194304 5064252 140733966840432 140733966839344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12911/statm: 2287 266 226 213 0 72 0
[pid=12912] ppid=12911 vsize=39440 CPUtime=36.29 cores=1,3,5,7
/proc/12912/stat : 12912 (glucose) R 12911 12358 1058 0 -1 4202496 6923 0 0 0 3627 2 0 0 20 0 1 0 387099812 40386560 8188 33554432000 4194304 5208918 140736459502560 140736459500504 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12912/statm: 9860 8188 96 248 0 9609 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 63748
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/183 12940
/proc/meminfo: memFree=29438456/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
[pid=12359] ppid=12358 vsize=6012 CPUtime=1448.57 cores=1,3,5,7
/proc/12359/stat : 12359 (npSolver-wbo) S 12358 12358 1058 0 -1 4202496 22318 254767 0 0 38 6 144689 124 20 0 1 0 386961213 6156288 1122 33554432000 4194304 6006132 140733641861456 140733641852816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12359/statm: 1503 1122 177 443 0 1056 0
[pid=12932] ppid=12359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12932/stat : 12932 (satsolver.sh) S 12359 12358 1058 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387106103 9367552 267 33554432000 4194304 5064252 140733874853248 140733874852160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12932/statm: 2287 267 226 213 0 72 0
[pid=12933] ppid=12932 vsize=39440 CPUtime=33.37 cores=1,3,5,7
/proc/12933/stat : 12933 (glucose) R 12932 12358 1058 0 -1 4202496 7491 0 0 0 3335 2 0 0 20 0 1 0 387106104 40386560 8254 33554432000 4194304 5208918 140733995596320 140733995594264 4211537 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12933/statm: 9860 8254 96 248 0 9609 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 63748
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/182 12968
/proc/meminfo: memFree=29458548/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
[pid=12359] ppid=12358 vsize=6012 CPUtime=1510.69 cores=1,3,5,7
/proc/12359/stat : 12359 (npSolver-wbo) S 12358 12358 1058 0 -1 4202496 23187 266160 0 0 40 7 150892 130 20 0 1 0 386961213 6156288 1122 33554432000 4194304 6006132 140733641861456 140733641852816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12359/statm: 1503 1122 177 443 0 1056 0
[pid=12953] ppid=12359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12953/stat : 12953 (satsolver.sh) S 12359 12358 1058 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387112316 9367552 267 33554432000 4194304 5064252 140736868881520 140736868880432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12953/statm: 2287 267 226 213 0 72 0
[pid=12954] ppid=12953 vsize=39436 CPUtime=31.25 cores=1,3,5,7
/proc/12954/stat : 12954 (glucose) R 12953 12358 1058 0 -1 4202496 6424 0 0 0 3124 1 0 0 20 0 1 0 387112316 40382464 8238 33554432000 4194304 5208918 140737337098288 140737337096232 4229999 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12954/statm: 9859 8238 96 248 0 9608 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 63744
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 12990
/proc/meminfo: memFree=29449524/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
[pid=12359] ppid=12358 vsize=6012 CPUtime=1572.93 cores=1,3,5,7
/proc/12359/stat : 12359 (npSolver-wbo) S 12358 12358 1058 0 -1 4202496 24056 276481 0 0 41 7 157110 135 20 0 1 0 386961213 6156288 1122 33554432000 4194304 6006132 140733641861456 140733641852816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12359/statm: 1503 1122 177 443 0 1056 0
[pid=12982] ppid=12359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12982/stat : 12982 (satsolver.sh) S 12359 12358 1058 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387118541 9367552 267 33554432000 4194304 5064252 140737189229008 140737189227920 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12982/statm: 2287 267 226 213 0 72 0
[pid=12983] ppid=12982 vsize=39440 CPUtime=28.99 cores=1,3,5,7
/proc/12983/stat : 12983 (glucose) R 12982 12358 1058 0 -1 4202496 6613 0 0 0 2898 1 0 0 20 0 1 0 387118542 40386560 8244 33554432000 4194304 5208918 140735979576640 140735979574584 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12983/statm: 9860 8244 96 248 0 9609 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 63748
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 13011
/proc/meminfo: memFree=29451172/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
[pid=12359] ppid=12358 vsize=6012 CPUtime=1634.94 cores=1,3,5,7
/proc/12359/stat : 12359 (npSolver-wbo) S 12358 12358 1058 0 -1 4202496 24925 286480 0 0 43 7 163305 139 20 0 1 0 386961213 6156288 1122 33554432000 4194304 6006132 140733641861456 140733641852816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12359/statm: 1503 1122 177 443 0 1056 0
[pid=13003] ppid=12359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (satsolver.sh) S 12359 12358 1058 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387124744 9367552 266 33554432000 4194304 5064252 140735364771808 140735364770720 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13003/statm: 2287 266 226 213 0 72 0
[pid=13004] ppid=13003 vsize=39440 CPUtime=26.97 cores=1,3,5,7
/proc/13004/stat : 13004 (glucose) R 13003 12358 1058 0 -1 4202496 6548 0 0 0 2695 2 0 0 20 0 1 0 387124745 40386560 7554 33554432000 4194304 5208918 140733654434096 140733654432184 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13004/statm: 9860 7554 96 248 0 9609 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 63748
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 13032
/proc/meminfo: memFree=29440716/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
[pid=12359] ppid=12358 vsize=6012 CPUtime=1697.8 cores=1,3,5,7
/proc/12359/stat : 12359 (npSolver-wbo) S 12358 12358 1058 0 -1 4202496 25794 297861 0 0 44 7 169583 146 20 0 1 0 386961213 6156288 1122 33554432000 4194304 6006132 140733641861456 140733641852816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12359/statm: 1503 1122 177 443 0 1056 0
[pid=13031] ppid=12359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13031/stat : 13031 (satsolver.sh) S 12359 12358 1058 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387131032 9367552 266 33554432000 4194304 5064252 140735159833408 140735159832320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13031/statm: 2287 266 226 213 0 72 0
[pid=13032] ppid=13031 vsize=40992 CPUtime=24.09 cores=1,3,5,7
/proc/13032/stat : 13032 (glucose) R 13031 12358 1058 0 -1 4202496 7166 0 0 0 2407 2 0 0 20 0 1 0 387131032 41975808 9681 33554432000 4194304 5208918 140736441370608 140736441368600 4229483 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13032/statm: 10248 9681 96 248 0 9997 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 65300
[startup+1782.3 s]
/proc/loadavg: 1.79 1.94 1.93 3/181 18025
/proc/meminfo: memFree=29472180/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
[pid=12359] ppid=12358 vsize=6012 CPUtime=1760.03 cores=1,3,5,7
/proc/12359/stat : 12359 (npSolver-wbo) S 12358 12358 1058 0 -1 4202496 26663 309485 0 0 46 7 175799 151 20 0 1 0 386961213 6156288 1122 33554432000 4194304 6006132 140733641861456 140733641852816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12359/statm: 1503 1122 177 443 0 1056 0
[pid=16119] ppid=12359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16119/stat : 16119 (satsolver.sh) S 12359 12358 1058 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387137255 9367552 267 33554432000 4194304 5064252 140733295509008 140733295507920 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16119/statm: 2287 267 226 213 0 72 0
[pid=16121] ppid=16119 vsize=40996 CPUtime=21.85 cores=1,3,5,7
/proc/16121/stat : 16121 (glucose) R 16119 12358 1058 0 -1 4202496 5695 0 0 0 2184 1 0 0 20 0 1 0 387137256 41979904 9111 33554432000 4194304 5208918 140734723695872 140734723693736 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16121/statm: 10249 9111 96 248 0 9998 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 65304
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.78 1.92 1.93 3/183 19619
/proc/meminfo: memFree=29462388/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
[pid=12359] ppid=12358 vsize=6012 CPUtime=1760.03 cores=1,3,5,7
/proc/12359/stat : 12359 (npSolver-wbo) S 12358 12358 1058 0 -1 4202496 26663 309485 0 0 46 7 175799 151 20 0 1 0 386961213 6156288 1122 33554432000 4194304 6006132 140733641861456 140733641852816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12359/statm: 1503 1122 177 443 0 1056 0
[pid=16119] ppid=12359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16119/stat : 16119 (satsolver.sh) S 12359 12358 1058 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387137255 9367552 267 33554432000 4194304 5064252 140733295509008 140733295507920 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16119/statm: 2287 267 226 213 0 72 0
[pid=16121] ppid=16119 vsize=46624 CPUtime=40.05 cores=1,3,5,7
/proc/16121/stat : 16121 (glucose) R 16119 12358 1058 0 -1 4202496 6930 0 0 0 4004 1 0 0 20 0 1 0 387137256 47742976 10566 33554432000 4194304 5208918 140734723695872 140734723693736 4211732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16121/statm: 11656 10566 96 248 0 11405 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 70932
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 1.78 1.92 1.93 3/183 19619
/proc/meminfo: memFree=29462388/32873844 swapFree=7628/7628
[pid=12358] ppid=12356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (npSolver-wbo-It) S 12356 12358 1058 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386961213 9367552 275 33554432000 4194304 5064252 140733977812176 140733977811088 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12358/statm: 2287 275 233 213 0 72 0
[pid=12359] ppid=12358 vsize=6012 CPUtime=1760.03 cores=1,3,5,7
/proc/12359/stat : 12359 (npSolver-wbo) S 12358 12358 1058 0 -1 4202496 26663 309485 0 0 46 7 175799 151 20 0 1 0 386961213 6156288 1122 33554432000 4194304 6006132 140733641861456 140733641852816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12359/statm: 1503 1122 177 443 0 1056 0
[pid=16119] ppid=12359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16119/stat : 16119 (satsolver.sh) S 12359 12358 1058 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387137255 9367552 267 33554432000 4194304 5064252 140733295509008 140733295507920 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16119/statm: 2287 267 226 213 0 72 0
[pid=16121] ppid=16119 vsize=46624 CPUtime=40.05 cores=1,3,5,7
/proc/16121/stat : 16121 (glucose) R 16119 12358 1058 0 -1 4202496 6930 0 0 0 4004 1 0 0 20 0 1 0 387137256 47742976 10566 33554432000 4194304 5208918 140734723695872 140734723693736 4211732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16121/statm: 11656 10566 96 248 0 11405 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 70932
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.12
CPU user time (s): 1798.51
CPU system time (s): 1.61575
CPU usage (%): 99.9785
Max. virtual memory (cumulated for all children) (KiB): 70936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.51
system time used= 1.61575
maximum resident set size= 45328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344067
page faults= 0
swaps= 0
block input operations= 0
block output operations= 82656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1871
involuntary context switches= 2284
runsolver used 3.57945 second user time and 8.93264 second system time
The end