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-3753700-1339190939/watcher-3753700-1339190939 -o /tmp/evaluation-result-3753700-1339190939/solver-3753700-1339190939 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753700-1339190939.wbo 785830053 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.06 2.02 2.00 3/179 13705
/proc/meminfo: memFree=30734232/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
[startup+0.046743 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 13705
/proc/meminfo: memFree=30734232/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100332 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 13705
/proc/meminfo: memFree=30734232/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300314 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 13705
/proc/meminfo: memFree=30734232/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700289 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 13705
/proc/meminfo: memFree=30734232/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 13709
/proc/meminfo: memFree=30649260/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
[pid=13706] ppid=13705 vsize=35480 CPUtime=1.4 cores=1,3,5,7
/proc/13706/stat : 13706 (npSolver-wbo) S 13705 13705 8594 0 -1 4202496 8650 12902 0 0 56 8 71 5 20 0 1 0 385219391 36331520 8163 33554432000 4194304 6006132 140733646972016 140733646966208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13706/statm: 8870 8163 158 443 0 8423 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 44628
[startup+3.10035 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 13717
/proc/meminfo: memFree=30645344/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
[pid=13706] ppid=13705 vsize=194416 CPUtime=3.08 cores=1,3,5,7
/proc/13706/stat : 13706 (npSolver-wbo) R 13705 13705 8594 0 -1 4202496 16243 21832 0 0 187 26 87 8 20 0 1 0 385219391 199081984 37077 33554432000 4194304 6006132 140733646972016 140733646964040 5056727 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13706/statm: 48604 37077 178 443 0 48157 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 203564
[startup+6.30044 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 13719
/proc/meminfo: memFree=30106328/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
[pid=13706] ppid=13705 vsize=194416 CPUtime=3.9 cores=1,3,5,7
/proc/13706/stat : 13706 (npSolver-wbo) S 13705 13705 8594 0 -1 4202496 16940 21832 0 0 247 48 87 8 20 0 1 0 385219391 199081984 47318 33554432000 4194304 6006132 140733646972016 140733646963408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/13706/statm: 48604 47318 179 443 0 48157 0
[pid=13718] ppid=13706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13718/stat : 13718 (satsolver.sh) S 13706 13705 8594 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385219784 9367552 266 33554432000 4194304 5064252 140737472965808 140737472964720 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13718/statm: 2287 266 226 213 0 72 0
[pid=13719] ppid=13718 vsize=358388 CPUtime=2.3 cores=1,3,5,7
/proc/13719/stat : 13719 (glucose) R 13718 13705 8594 0 -1 4202496 61257 0 0 0 209 21 0 0 20 0 1 0 385219784 366989312 80339 33554432000 4194304 5208918 140734354335344 140734354333512 4205139 0 0 4096 0 0 0 0 17 5 0 0 5 0 0
/proc/13719/statm: 89597 80339 95 248 0 89346 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 571100
[startup+12.7004 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 13726
/proc/meminfo: memFree=30087016/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
[pid=13706] ppid=13705 vsize=194416 CPUtime=3.9 cores=1,3,5,7
/proc/13706/stat : 13706 (npSolver-wbo) S 13705 13705 8594 0 -1 4202496 16940 21832 0 0 247 48 87 8 20 0 1 0 385219391 199081984 47318 33554432000 4194304 6006132 140733646972016 140733646963408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/13706/statm: 48604 47318 179 443 0 48157 0
[pid=13718] ppid=13706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13718/stat : 13718 (satsolver.sh) S 13706 13705 8594 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385219784 9367552 266 33554432000 4194304 5064252 140737472965808 140737472964720 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13718/statm: 2287 266 226 213 0 72 0
[pid=13719] ppid=13718 vsize=358944 CPUtime=8.7 cores=1,3,5,7
/proc/13719/stat : 13719 (glucose) R 13718 13705 8594 0 -1 4202496 61418 0 0 0 849 21 0 0 20 0 1 0 385219784 367558656 80500 33554432000 4194304 5208918 140734354335344 140734354333016 4211553 0 0 4096 0 0 0 0 17 5 0 0 5 0 0
/proc/13719/statm: 89736 80500 103 248 0 89485 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 571656
[startup+25.5004 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 13740
/proc/meminfo: memFree=30095600/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
[pid=13706] ppid=13705 vsize=194416 CPUtime=3.9 cores=1,3,5,7
/proc/13706/stat : 13706 (npSolver-wbo) S 13705 13705 8594 0 -1 4202496 16940 21832 0 0 247 48 87 8 20 0 1 0 385219391 199081984 47318 33554432000 4194304 6006132 140733646972016 140733646963408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/13706/statm: 48604 47318 179 443 0 48157 0
[pid=13718] ppid=13706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13718/stat : 13718 (satsolver.sh) S 13706 13705 8594 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385219784 9367552 266 33554432000 4194304 5064252 140737472965808 140737472964720 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13718/statm: 2287 266 226 213 0 72 0
[pid=13719] ppid=13718 vsize=358944 CPUtime=21.5 cores=1,3,5,7
/proc/13719/stat : 13719 (glucose) R 13718 13705 8594 0 -1 4202496 61418 0 0 0 2129 21 0 0 20 0 1 0 385219784 367558656 80500 33554432000 4194304 5208918 140734354335344 140734354333016 4211553 0 0 4096 0 0 0 0 17 5 0 0 5 0 0
/proc/13719/statm: 89736 80500 103 248 0 89485 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 571656
[startup+51.1005 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 13754
/proc/meminfo: memFree=30088404/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
[pid=13706] ppid=13705 vsize=194416 CPUtime=3.9 cores=1,3,5,7
/proc/13706/stat : 13706 (npSolver-wbo) S 13705 13705 8594 0 -1 4202496 16940 21832 0 0 247 48 87 8 20 0 1 0 385219391 199081984 47318 33554432000 4194304 6006132 140733646972016 140733646963408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/13706/statm: 48604 47318 179 443 0 48157 0
[pid=13718] ppid=13706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13718/stat : 13718 (satsolver.sh) S 13706 13705 8594 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385219784 9367552 266 33554432000 4194304 5064252 140737472965808 140737472964720 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13718/statm: 2287 266 226 213 0 72 0
[pid=13719] ppid=13718 vsize=358944 CPUtime=47.09 cores=1,3,5,7
/proc/13719/stat : 13719 (glucose) R 13718 13705 8594 0 -1 4202496 61427 0 0 0 4688 21 0 0 20 0 1 0 385219784 367558656 80509 33554432000 4194304 5208918 140734354335344 140734354333016 4229319 0 0 4096 0 0 0 0 17 5 0 0 5 0 0
/proc/13719/statm: 89736 80509 104 248 0 89485 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 571656
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/184 13792
/proc/meminfo: memFree=30090820/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
[pid=13706] ppid=13705 vsize=194416 CPUtime=3.9 cores=1,3,5,7
/proc/13706/stat : 13706 (npSolver-wbo) S 13705 13705 8594 0 -1 4202496 16940 21832 0 0 247 48 87 8 20 0 1 0 385219391 199081984 47318 33554432000 4194304 6006132 140733646972016 140733646963408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/13706/statm: 48604 47318 179 443 0 48157 0
[pid=13718] ppid=13706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13718/stat : 13718 (satsolver.sh) S 13706 13705 8594 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385219784 9367552 266 33554432000 4194304 5064252 140737472965808 140737472964720 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13718/statm: 2287 266 226 213 0 72 0
[pid=13719] ppid=13718 vsize=358944 CPUtime=98.29 cores=1,3,5,7
/proc/13719/stat : 13719 (glucose) R 13718 13705 8594 0 -1 4202496 61440 0 0 0 9808 21 0 0 20 0 1 0 385219784 367558656 81033 33554432000 4194304 5208918 140734354335344 140734354333016 4229319 0 0 4096 0 0 0 0 17 5 0 0 5 0 0
/proc/13719/statm: 89736 81033 104 248 0 89485 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 571656
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 13834
/proc/meminfo: memFree=30082972/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
[pid=13706] ppid=13705 vsize=194416 CPUtime=3.9 cores=1,3,5,7
/proc/13706/stat : 13706 (npSolver-wbo) S 13705 13705 8594 0 -1 4202496 16940 21832 0 0 247 48 87 8 20 0 1 0 385219391 199081984 47318 33554432000 4194304 6006132 140733646972016 140733646963408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/13706/statm: 48604 47318 179 443 0 48157 0
[pid=13718] ppid=13706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13718/stat : 13718 (satsolver.sh) S 13706 13705 8594 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385219784 9367552 266 33554432000 4194304 5064252 140737472965808 140737472964720 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13718/statm: 2287 266 226 213 0 72 0
[pid=13719] ppid=13718 vsize=358944 CPUtime=158.27 cores=1,3,5,7
/proc/13719/stat : 13719 (glucose) R 13718 13705 8594 0 -1 4202496 61444 0 0 0 15806 21 0 0 20 0 1 0 385219784 367558656 81036 33554432000 4194304 5208918 140734354335344 140734354333016 4229365 0 0 4096 0 0 0 0 17 5 0 0 5 0 0
/proc/13719/statm: 89736 81036 104 248 0 89485 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 571656
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13870
/proc/meminfo: memFree=30092072/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14056
/proc/meminfo: memFree=29880704/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
[pid=13706] ppid=13705 vsize=194416 CPUtime=3.9 cores=1,3,5,7
/proc/13706/stat : 13706 (npSolver-wbo) S 13705 13705 8594 0 -1 4202496 16940 21832 0 0 247 48 87 8 20 0 1 0 385219391 199081984 47318 33554432000 4194304 6006132 140733646972016 140733646963408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/13706/statm: 48604 47318 179 443 0 48157 0
[pid=13718] ppid=13706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13718/stat : 13718 (satsolver.sh) S 13706 13705 8594 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385219784 9367552 266 33554432000 4194304 5064252 140737472965808 140737472964720 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13718/statm: 2287 266 226 213 0 72 0
[pid=13719] ppid=13718 vsize=365984 CPUtime=1358.08 cores=1,3,5,7
/proc/13719/stat : 13719 (glucose) R 13718 13705 8594 0 -1 4202496 62605 0 0 0 135786 22 0 0 20 0 1 0 385219784 374767616 85241 33554432000 4194304 5208918 140734354335344 140734354333304 4205139 0 0 4096 0 0 0 0 17 5 0 0 5 0 0
/proc/13719/statm: 91496 85241 105 248 0 91245 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 578696
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14064
/proc/meminfo: memFree=29877268/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
[pid=13706] ppid=13705 vsize=194416 CPUtime=3.9 cores=1,3,5,7
/proc/13706/stat : 13706 (npSolver-wbo) S 13705 13705 8594 0 -1 4202496 16940 21832 0 0 247 48 87 8 20 0 1 0 385219391 199081984 47318 33554432000 4194304 6006132 140733646972016 140733646963408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/13706/statm: 48604 47318 179 443 0 48157 0
[pid=13718] ppid=13706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13718/stat : 13718 (satsolver.sh) S 13706 13705 8594 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385219784 9367552 266 33554432000 4194304 5064252 140737472965808 140737472964720 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13718/statm: 2287 266 226 213 0 72 0
[pid=13719] ppid=13718 vsize=365984 CPUtime=1418.08 cores=1,3,5,7
/proc/13719/stat : 13719 (glucose) R 13718 13705 8594 0 -1 4202496 62607 0 0 0 141786 22 0 0 20 0 1 0 385219784 374767616 85243 33554432000 4194304 5208918 140734354335344 140734354333304 4229888 0 0 4096 0 0 0 0 17 5 0 0 5 0 0
/proc/13719/statm: 91496 85243 105 248 0 91245 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 578696
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 14075
/proc/meminfo: memFree=29875896/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
[pid=13706] ppid=13705 vsize=194416 CPUtime=3.9 cores=1,3,5,7
/proc/13706/stat : 13706 (npSolver-wbo) S 13705 13705 8594 0 -1 4202496 16940 21832 0 0 247 48 87 8 20 0 1 0 385219391 199081984 47318 33554432000 4194304 6006132 140733646972016 140733646963408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/13706/statm: 48604 47318 179 443 0 48157 0
[pid=13718] ppid=13706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13718/stat : 13718 (satsolver.sh) S 13706 13705 8594 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385219784 9367552 266 33554432000 4194304 5064252 140737472965808 140737472964720 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13718/statm: 2287 266 226 213 0 72 0
[pid=13719] ppid=13718 vsize=365984 CPUtime=1478.07 cores=1,3,5,7
/proc/13719/stat : 13719 (glucose) R 13718 13705 8594 0 -1 4202496 62609 0 0 0 147785 22 0 0 20 0 1 0 385219784 374767616 85245 33554432000 4194304 5208918 140734354335344 140734354333304 4211147 0 0 4096 0 0 0 0 17 5 0 0 5 0 0
/proc/13719/statm: 91496 85245 105 248 0 91245 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 578696
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14075
/proc/meminfo: memFree=29875904/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
[pid=13706] ppid=13705 vsize=194416 CPUtime=3.9 cores=1,3,5,7
/proc/13706/stat : 13706 (npSolver-wbo) S 13705 13705 8594 0 -1 4202496 16940 21832 0 0 247 48 87 8 20 0 1 0 385219391 199081984 47318 33554432000 4194304 6006132 140733646972016 140733646963408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/13706/statm: 48604 47318 179 443 0 48157 0
[pid=13718] ppid=13706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13718/stat : 13718 (satsolver.sh) S 13706 13705 8594 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385219784 9367552 266 33554432000 4194304 5064252 140737472965808 140737472964720 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13718/statm: 2287 266 226 213 0 72 0
[pid=13719] ppid=13718 vsize=366116 CPUtime=1538.06 cores=1,3,5,7
/proc/13719/stat : 13719 (glucose) R 13718 13705 8594 0 -1 4202496 62669 0 0 0 153784 22 0 0 20 0 1 0 385219784 374902784 85305 33554432000 4194304 5208918 140734354335344 140734354333240 4211104 0 0 4096 0 0 0 0 17 5 0 0 5 0 0
/proc/13719/statm: 91529 85305 105 248 0 91278 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 578828
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14082
/proc/meminfo: memFree=29875644/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
[pid=13706] ppid=13705 vsize=194416 CPUtime=3.9 cores=1,3,5,7
/proc/13706/stat : 13706 (npSolver-wbo) S 13705 13705 8594 0 -1 4202496 16940 21832 0 0 247 48 87 8 20 0 1 0 385219391 199081984 47318 33554432000 4194304 6006132 140733646972016 140733646963408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/13706/statm: 48604 47318 179 443 0 48157 0
[pid=13718] ppid=13706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13718/stat : 13718 (satsolver.sh) S 13706 13705 8594 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385219784 9367552 266 33554432000 4194304 5064252 140737472965808 140737472964720 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13718/statm: 2287 266 226 213 0 72 0
[pid=13719] ppid=13718 vsize=366380 CPUtime=1598.05 cores=1,3,5,7
/proc/13719/stat : 13719 (glucose) R 13718 13705 8594 0 -1 4202496 62719 0 0 0 159783 22 0 0 20 0 1 0 385219784 375173120 85355 33554432000 4194304 5208918 140734354335344 140734354333192 4228997 0 0 4096 0 0 0 0 17 5 0 0 5 0 0
/proc/13719/statm: 91595 85355 105 248 0 91344 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 579092
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14089
/proc/meminfo: memFree=29877896/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
[pid=13706] ppid=13705 vsize=194416 CPUtime=3.9 cores=1,3,5,7
/proc/13706/stat : 13706 (npSolver-wbo) S 13705 13705 8594 0 -1 4202496 16940 21832 0 0 247 48 87 8 20 0 1 0 385219391 199081984 47318 33554432000 4194304 6006132 140733646972016 140733646963408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/13706/statm: 48604 47318 179 443 0 48157 0
[pid=13718] ppid=13706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13718/stat : 13718 (satsolver.sh) S 13706 13705 8594 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385219784 9367552 266 33554432000 4194304 5064252 140737472965808 140737472964720 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13718/statm: 2287 266 226 213 0 72 0
[pid=13719] ppid=13718 vsize=366520 CPUtime=1658.04 cores=1,3,5,7
/proc/13719/stat : 13719 (glucose) R 13718 13705 8594 0 -1 4202496 62783 0 0 0 165782 22 0 0 20 0 1 0 385219784 375316480 85418 33554432000 4194304 5208918 140734354335344 140734354333096 4229039 0 0 4096 0 0 0 0 17 5 0 0 5 0 0
/proc/13719/statm: 91630 85418 105 248 0 91379 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 579232
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14090
/proc/meminfo: memFree=29871444/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
[pid=13706] ppid=13705 vsize=194416 CPUtime=3.9 cores=1,3,5,7
/proc/13706/stat : 13706 (npSolver-wbo) S 13705 13705 8594 0 -1 4202496 16940 21832 0 0 247 48 87 8 20 0 1 0 385219391 199081984 47318 33554432000 4194304 6006132 140733646972016 140733646963408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/13706/statm: 48604 47318 179 443 0 48157 0
[pid=13718] ppid=13706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13718/stat : 13718 (satsolver.sh) S 13706 13705 8594 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385219784 9367552 266 33554432000 4194304 5064252 140737472965808 140737472964720 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13718/statm: 2287 266 226 213 0 72 0
[pid=13719] ppid=13718 vsize=366656 CPUtime=1718.03 cores=1,3,5,7
/proc/13719/stat : 13719 (glucose) R 13718 13705 8594 0 -1 4202496 62823 0 0 0 171781 22 0 0 20 0 1 0 385219784 375455744 85458 33554432000 4194304 5208918 140734354335344 140734354333096 4229319 0 0 4096 0 0 0 0 17 5 0 0 5 0 0
/proc/13719/statm: 91664 85458 105 248 0 91413 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 579368
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14097
/proc/meminfo: memFree=29866452/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
[pid=13706] ppid=13705 vsize=194416 CPUtime=3.9 cores=1,3,5,7
/proc/13706/stat : 13706 (npSolver-wbo) S 13705 13705 8594 0 -1 4202496 16940 21832 0 0 247 48 87 8 20 0 1 0 385219391 199081984 47318 33554432000 4194304 6006132 140733646972016 140733646963408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/13706/statm: 48604 47318 179 443 0 48157 0
[pid=13718] ppid=13706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13718/stat : 13718 (satsolver.sh) S 13706 13705 8594 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385219784 9367552 266 33554432000 4194304 5064252 140737472965808 140737472964720 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13718/statm: 2287 266 226 213 0 72 0
[pid=13719] ppid=13718 vsize=366656 CPUtime=1778.02 cores=1,3,5,7
/proc/13719/stat : 13719 (glucose) R 13718 13705 8594 0 -1 4202496 62836 0 0 0 177780 22 0 0 20 0 1 0 385219784 375455744 85471 33554432000 4194304 5208918 140734354335344 140734354333096 4229319 0 0 4096 0 0 0 0 17 5 0 0 5 0 0
/proc/13719/statm: 91664 85471 105 248 0 91413 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 579368
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14104
/proc/meminfo: memFree=29879576/32873844 swapFree=7896/7896
[pid=13705] ppid=13703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13705/stat : 13705 (npSolver-wbo-It) S 13703 13705 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385219391 9367552 275 33554432000 4194304 5064252 140734843782176 140734843781088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 2287 275 233 213 0 72 0
[pid=13706] ppid=13705 vsize=194416 CPUtime=3.9 cores=1,3,5,7
/proc/13706/stat : 13706 (npSolver-wbo) S 13705 13705 8594 0 -1 4202496 16940 21832 0 0 247 48 87 8 20 0 1 0 385219391 199081984 47318 33554432000 4194304 6006132 140733646972016 140733646963408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/13706/statm: 48604 47318 179 443 0 48157 0
[pid=13718] ppid=13706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13718/stat : 13718 (satsolver.sh) S 13706 13705 8594 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385219784 9367552 266 33554432000 4194304 5064252 140737472965808 140737472964720 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13718/statm: 2287 266 226 213 0 72 0
[pid=13719] ppid=13718 vsize=366656 CPUtime=1796.12 cores=1,3,5,7
/proc/13719/stat : 13719 (glucose) R 13718 13705 8594 0 -1 4202496 62840 0 0 0 179590 22 0 0 20 0 1 0 385219784 375455744 85475 33554432000 4194304 5208918 140734354335344 140734354333096 4211030 0 0 4096 0 0 0 0 17 5 0 0 5 0 0
/proc/13719/statm: 91664 85475 105 248 0 91413 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 579368
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.42
CPU time (s): 1800.06
CPU user time (s): 1799.25
CPU system time (s): 0.805877
CPU usage (%): 99.9802
Max. virtual memory (cumulated for all children) (KiB): 689536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 0.805877
maximum resident set size= 409932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102601
page faults= 0
swaps= 0
block input operations= 8
block output operations= 273496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 188
involuntary context switches= 1903
runsolver used 3.21651 second user time and 8.64569 second system time
The end