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-3752944-1339200887/watcher-3752944-1339200887 -o /tmp/evaluation-result-3752944-1339200887/solver-3752944-1339200887 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752944-1339200887.wbo 411949330 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.97 1.99 1.99 3/179 9406
/proc/meminfo: memFree=30974176/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
[startup+0.02752 s]
/proc/loadavg: 1.97 1.99 1.99 3/179 9406
/proc/meminfo: memFree=30974176/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100301 s]
/proc/loadavg: 1.97 1.99 1.99 3/179 9406
/proc/meminfo: memFree=30974176/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300178 s]
/proc/loadavg: 1.97 1.99 1.99 3/179 9406
/proc/meminfo: memFree=30974176/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70018 s]
/proc/loadavg: 1.97 1.99 1.99 3/179 9406
/proc/meminfo: memFree=30974176/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 1.97 1.99 1.99 3/183 9413
/proc/meminfo: memFree=30966756/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
[pid=9407] ppid=9406 vsize=3092 CPUtime=0.19 cores=1,3,5,7
/proc/9407/stat : 9407 (npSolver-wbo) S 9406 9406 2649 0 -1 4202496 1957 2192 0 0 2 0 17 0 20 0 1 0 386155774 3166208 377 33554432000 4194304 6006132 140735070637200 140735070631392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9407/statm: 773 377 158 443 0 326 0
[pid=9412] ppid=9407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9412/stat : 9412 (satsolver.sh) S 9407 9406 2649 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386155796 9367552 267 33554432000 4194304 5064252 140735955221040 140735955219952 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9412/statm: 2287 267 226 213 0 72 0
[pid=9413] ppid=9412 vsize=9320 CPUtime=1.27 cores=1,3,5,7
/proc/9413/stat : 9413 (glucose) R 9412 9406 2649 0 -1 4202496 2455 0 0 0 127 0 0 0 20 0 1 0 386155796 9543680 1463 33554432000 4194304 5208918 140736893647744 140736893645592 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9413/statm: 2330 1463 96 248 0 2079 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30708
[startup+3.10035 s]
/proc/loadavg: 1.97 1.99 1.99 3/183 9413
/proc/meminfo: memFree=30956336/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
[pid=9407] ppid=9406 vsize=3092 CPUtime=0.19 cores=1,3,5,7
/proc/9407/stat : 9407 (npSolver-wbo) S 9406 9406 2649 0 -1 4202496 1957 2192 0 0 2 0 17 0 20 0 1 0 386155774 3166208 377 33554432000 4194304 6006132 140735070637200 140735070631392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9407/statm: 773 377 158 443 0 326 0
[pid=9412] ppid=9407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9412/stat : 9412 (satsolver.sh) S 9407 9406 2649 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386155796 9367552 267 33554432000 4194304 5064252 140735955221040 140735955219952 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9412/statm: 2287 267 226 213 0 72 0
[pid=9413] ppid=9412 vsize=10992 CPUtime=2.87 cores=1,3,5,7
/proc/9413/stat : 9413 (glucose) R 9412 9406 2649 0 -1 4202496 3444 0 0 0 287 0 0 0 20 0 1 0 386155796 11255808 2326 33554432000 4194304 5208918 140736893647744 140736893645608 4229776 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9413/statm: 2748 2326 96 248 0 2497 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 32380
[startup+6.3004 s]
/proc/loadavg: 1.97 1.99 1.99 3/183 9455
/proc/meminfo: memFree=30966520/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
[pid=9407] ppid=9406 vsize=3092 CPUtime=0.19 cores=1,3,5,7
/proc/9407/stat : 9407 (npSolver-wbo) S 9406 9406 2649 0 -1 4202496 1957 2192 0 0 2 0 17 0 20 0 1 0 386155774 3166208 377 33554432000 4194304 6006132 140735070637200 140735070631392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9407/statm: 773 377 158 443 0 326 0
[pid=9412] ppid=9407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9412/stat : 9412 (satsolver.sh) S 9407 9406 2649 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386155796 9367552 267 33554432000 4194304 5064252 140735955221040 140735955219952 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9412/statm: 2287 267 226 213 0 72 0
[pid=9413] ppid=9412 vsize=19192 CPUtime=6.07 cores=1,3,5,7
/proc/9413/stat : 9413 (glucose) R 9412 9406 2649 0 -1 4202496 3970 0 0 0 607 0 0 0 20 0 1 0 386155796 19652608 4376 33554432000 4194304 5208918 140736893647744 140736893645688 4229335 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9413/statm: 4798 4376 96 248 0 4547 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 40580
[startup+12.7003 s]
/proc/loadavg: 1.97 1.99 1.99 3/183 9465
/proc/meminfo: memFree=30952352/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
[pid=9407] ppid=9406 vsize=5016 CPUtime=9.06 cores=1,3,5,7
/proc/9407/stat : 9407 (npSolver-wbo) S 9406 9406 2649 0 -1 4202496 2538 9372 0 0 3 2 900 1 20 0 1 0 386155774 5136384 833 33554432000 4194304 6006132 140735070637200 140735070628560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9407/statm: 1254 833 177 443 0 807 0
[pid=9464] ppid=9407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9464/stat : 9464 (satsolver.sh) S 9407 9406 2649 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386156683 9367552 266 33554432000 4194304 5064252 140735120989952 140735120988864 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9464/statm: 2287 266 226 213 0 72 0
[pid=9465] ppid=9464 vsize=20244 CPUtime=3.6 cores=1,3,5,7
/proc/9465/stat : 9465 (glucose) R 9464 9406 2649 0 -1 4202496 5135 0 0 0 359 1 0 0 20 0 1 0 386156684 20729856 4589 33554432000 4194304 5208918 140736476805792 140736476803656 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 5061 4589 96 248 0 4810 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 43556
[startup+25.5003 s]
/proc/loadavg: 1.98 1.99 1.99 3/183 9479
/proc/meminfo: memFree=30952444/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
[pid=9407] ppid=9406 vsize=5016 CPUtime=24.54 cores=1,3,5,7
/proc/9407/stat : 9407 (npSolver-wbo) S 9406 9406 2649 0 -1 4202496 3107 19839 0 0 4 2 2443 5 20 0 1 0 386155774 5136384 833 33554432000 4194304 6006132 140735070637200 140735070628560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9407/statm: 1254 833 177 443 0 807 0
[pid=9478] ppid=9407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9478/stat : 9478 (satsolver.sh) S 9407 9406 2649 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386158232 9367552 267 33554432000 4194304 5064252 140736940230384 140736940229296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9478/statm: 2287 267 226 213 0 72 0
[pid=9479] ppid=9478 vsize=12880 CPUtime=0.9 cores=1,3,5,7
/proc/9479/stat : 9479 (glucose) R 9478 9406 2649 0 -1 4202496 3029 0 0 0 90 0 0 0 20 0 1 0 386158232 13189120 2779 33554432000 4194304 5208918 140736340077584 140736340075432 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9479/statm: 3220 2779 96 248 0 2969 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 36192
[startup+51.1003 s]
/proc/loadavg: 1.99 1.99 1.99 3/183 9507
/proc/meminfo: memFree=30946420/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
[pid=9407] ppid=9406 vsize=5016 CPUtime=39.75 cores=1,3,5,7
/proc/9407/stat : 9407 (npSolver-wbo) S 9406 9406 2649 0 -1 4202496 3676 29927 0 0 6 2 3958 9 20 0 1 0 386155774 5136384 833 33554432000 4194304 6006132 140735070637200 140735070628560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9407/statm: 1254 833 177 443 0 807 0
[pid=9499] ppid=9407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9499/stat : 9499 (satsolver.sh) S 9407 9406 2649 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386159753 9367552 267 33554432000 4194304 5064252 140736737570240 140736737569152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9499/statm: 2287 267 226 213 0 72 0
[pid=9500] ppid=9499 vsize=20288 CPUtime=11.29 cores=1,3,5,7
/proc/9500/stat : 9500 (glucose) R 9499 9406 2649 0 -1 4202496 6800 0 0 0 1129 0 0 0 20 0 1 0 386159753 20774912 4652 33554432000 4194304 5208918 140734674175392 140734674173400 4211561 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9500/statm: 5072 4652 96 248 0 4821 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 43600
[startup+102.307 s]
/proc/loadavg: 1.99 1.99 1.99 3/183 9556
/proc/meminfo: memFree=30946556/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
[pid=9407] ppid=9406 vsize=5016 CPUtime=86.81 cores=1,3,5,7
/proc/9407/stat : 9407 (npSolver-wbo) S 9406 9406 2649 0 -1 4202496 5383 60944 0 0 9 3 8647 22 20 0 1 0 386155774 5136384 833 33554432000 4194304 6006132 140735070637200 140735070628560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9407/statm: 1254 833 177 443 0 807 0
[pid=9548] ppid=9407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9548/stat : 9548 (satsolver.sh) S 9407 9406 2649 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386164460 9367552 267 33554432000 4194304 5064252 140736835204864 140736835203776 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9548/statm: 2287 267 226 213 0 72 0
[pid=9549] ppid=9548 vsize=20288 CPUtime=15.43 cores=1,3,5,7
/proc/9549/stat : 9549 (glucose) R 9548 9406 2649 0 -1 4202496 6583 0 0 0 1543 0 0 0 20 0 1 0 386164460 20774912 4652 33554432000 4194304 5208918 140733204544960 140733204543048 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9549/statm: 5072 4652 96 248 0 4821 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 43600
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/183 9619
/proc/meminfo: memFree=30939112/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
[pid=9407] ppid=9406 vsize=5016 CPUtime=147.84 cores=1,3,5,7
/proc/9407/stat : 9407 (npSolver-wbo) S 9406 9406 2649 0 -1 4202496 7659 98363 0 0 14 3 14727 40 20 0 1 0 386155774 5136384 833 33554432000 4194304 6006132 140735070637200 140735070628560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9407/statm: 1254 833 177 443 0 807 0
[pid=9611] ppid=9407 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 1.97 2.00 2.00 3/183 10947
/proc/meminfo: memFree=30947612/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
[pid=9407] ppid=9406 vsize=5016 CPUtime=1419.18 cores=1,3,5,7
/proc/9407/stat : 9407 (npSolver-wbo) S 9406 9406 2649 0 -1 4202496 54886 927104 0 0 119 18 141377 404 20 0 1 0 386155774 5136384 833 33554432000 4194304 6006132 140735070637200 140735070628560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9407/statm: 1254 833 177 443 0 807 0
[pid=10946] ppid=9407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10946/stat : 10946 (satsolver.sh) S 9407 9406 2649 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386297746 9367552 266 33554432000 4194304 5064252 140737048681248 140737048680160 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10946/statm: 2287 266 226 213 0 72 0
[pid=10947] ppid=10946 vsize=20244 CPUtime=2.58 cores=1,3,5,7
/proc/10947/stat : 10947 (glucose) R 10946 9406 2649 0 -1 4202496 4679 0 0 0 257 1 0 0 20 0 1 0 386297746 20729856 4529 33554432000 4194304 5208918 140735265246144 140735265244088 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10947/statm: 5061 4529 96 248 0 4810 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 43556
[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 11010
/proc/meminfo: memFree=30950792/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
[pid=9407] ppid=9406 vsize=5016 CPUtime=1480.5 cores=1,3,5,7
/proc/9407/stat : 9407 (npSolver-wbo) S 9406 9406 2649 0 -1 4202496 57162 964511 0 0 124 18 147486 422 20 0 1 0 386155774 5136384 833 33554432000 4194304 6006132 140735070637200 140735070628560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9407/statm: 1254 833 177 443 0 807 0
[pid=11009] ppid=9407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11009/stat : 11009 (satsolver.sh) S 9407 9406 2649 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386303881 9367552 267 33554432000 4194304 5064252 140737370720224 140737370719136 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11009/statm: 2287 267 226 213 0 72 0
[pid=11010] ppid=11009 vsize=13096 CPUtime=1.22 cores=1,3,5,7
/proc/11010/stat : 11010 (glucose) R 11009 9406 2649 0 -1 4202496 3764 0 0 0 122 0 0 0 20 0 1 0 386303881 13410304 2632 33554432000 4194304 5208918 140735850495840 140735850493688 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11010/statm: 3274 2632 96 248 0 3023 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 36408
[startup+1542.3 s]
/proc/loadavg: 2.07 2.01 2.00 3/184 11069
/proc/meminfo: memFree=30945736/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
[pid=9407] ppid=9406 vsize=5016 CPUtime=1526.66 cores=1,3,5,7
/proc/9407/stat : 9407 (npSolver-wbo) S 9406 9406 2649 0 -1 4202496 58869 993888 0 0 127 19 152085 435 20 0 1 0 386155774 5136384 833 33554432000 4194304 6006132 140735070637200 140735070628560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9407/statm: 1254 833 177 443 0 807 0
[pid=11061] ppid=9407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11061/stat : 11061 (satsolver.sh) S 9407 9406 2649 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386308500 9367552 266 33554432000 4194304 5064252 140735362707840 140735362706752 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11061/statm: 2287 266 226 213 0 72 0
[pid=11062] ppid=11061 vsize=20292 CPUtime=15.02 cores=1,3,5,7
/proc/11062/stat : 11062 (glucose) R 11061 9406 2649 0 -1 4202496 7264 0 0 0 1501 1 0 0 20 0 1 0 386308500 20779008 4654 33554432000 4194304 5208918 140733654291552 140733654289640 4211166 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11062/statm: 5073 4654 96 248 0 4822 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 43604
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 11132
/proc/meminfo: memFree=30929480/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
[pid=9407] ppid=9406 vsize=5016 CPUtime=1587.98 cores=1,3,5,7
/proc/9407/stat : 9407 (npSolver-wbo) S 9406 9406 2649 0 -1 4202496 61145 1035226 0 0 132 20 158193 453 20 0 1 0 386155774 5136384 833 33554432000 4194304 6006132 140735070637200 140735070628560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9407/statm: 1254 833 177 443 0 807 0
[pid=11124] ppid=9407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11124/stat : 11124 (satsolver.sh) S 9407 9406 2649 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386314633 9367552 267 33554432000 4194304 5064252 140734052510304 140734052509216 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11124/statm: 2287 267 226 213 0 72 0
[pid=11125] ppid=11124 vsize=31780 CPUtime=13.69 cores=1,3,5,7
/proc/11125/stat : 11125 (glucose) R 11124 9406 2649 0 -1 4202496 6983 0 0 0 1368 1 0 0 20 0 1 0 386314633 32542720 7001 33554432000 4194304 5208918 140735564298448 140735564296440 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11125/statm: 7945 7001 96 248 0 7694 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 55092
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 11195
/proc/meminfo: memFree=30946172/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
[pid=9407] ppid=9406 vsize=5016 CPUtime=1648.9 cores=1,3,5,7
/proc/9407/stat : 9407 (npSolver-wbo) S 9406 9406 2649 0 -1 4202496 63421 1074655 0 0 138 20 164261 471 20 0 1 0 386155774 5136384 833 33554432000 4194304 6006132 140735070637200 140735070628560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9407/statm: 1254 833 177 443 0 807 0
[pid=11187] ppid=9407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11187/stat : 11187 (satsolver.sh) S 9407 9406 2649 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386320728 9367552 266 33554432000 4194304 5064252 140736515018000 140736515016912 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11187/statm: 2287 266 226 213 0 72 0
[pid=11188] ppid=11187 vsize=31784 CPUtime=12.74 cores=1,3,5,7
/proc/11188/stat : 11188 (glucose) R 11187 9406 2649 0 -1 4202496 6215 0 0 0 1273 1 0 0 20 0 1 0 386320728 32546816 6648 33554432000 4194304 5208918 140734356641232 140734356639240 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11188/statm: 7946 6648 96 248 0 7695 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 55096
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11259
/proc/meminfo: memFree=30937852/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
[pid=9407] ppid=9406 vsize=5016 CPUtime=1710.41 cores=1,3,5,7
/proc/9407/stat : 9407 (npSolver-wbo) S 9406 9406 2649 0 -1 4202496 65697 1115109 0 0 142 21 170390 488 20 0 1 0 386155774 5136384 833 33554432000 4194304 6006132 140735070637200 140735070628560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9407/statm: 1254 833 177 443 0 807 0
[pid=11250] ppid=9407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11250/stat : 11250 (satsolver.sh) S 9407 9406 2649 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386326882 9367552 267 33554432000 4194304 5064252 140735032608816 140735032607728 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11250/statm: 2287 267 226 213 0 72 0
[pid=11251] ppid=11250 vsize=20288 CPUtime=11.2 cores=1,3,5,7
/proc/11251/stat : 11251 (glucose) R 11250 9406 2649 0 -1 4202496 6640 0 0 0 1119 1 0 0 20 0 1 0 386326882 20774912 4653 33554432000 4194304 5208918 140734893300928 140734893298936 4211918 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11251/statm: 5072 4653 96 248 0 4821 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 43600
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11322
/proc/meminfo: memFree=30941944/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
[pid=9407] ppid=9406 vsize=5016 CPUtime=1771.94 cores=1,3,5,7
/proc/9407/stat : 9407 (npSolver-wbo) S 9406 9406 2649 0 -1 4202496 67973 1154057 0 0 148 21 176520 505 20 0 1 0 386155774 5136384 833 33554432000 4194304 6006132 140735070637200 140735070628560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9407/statm: 1254 833 177 443 0 807 0
[pid=11314] ppid=9407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11314/stat : 11314 (satsolver.sh) S 9407 9406 2649 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386333037 9367552 266 33554432000 4194304 5064252 140735435309232 140735435308144 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11314/statm: 2287 266 226 213 0 72 0
[pid=11315] ppid=11314 vsize=24640 CPUtime=9.65 cores=1,3,5,7
/proc/11315/stat : 11315 (glucose) R 11314 9406 2649 0 -1 4202496 6202 0 0 0 964 1 0 0 20 0 1 0 386333037 25231360 5711 33554432000 4194304 5208918 140733788971280 140733788969144 4211558 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11315/statm: 6160 5711 96 248 0 5909 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 47952
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11343
/proc/meminfo: memFree=30947656/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
[pid=9407] ppid=9406 vsize=5016 CPUtime=1787.19 cores=1,3,5,7
/proc/9407/stat : 9407 (npSolver-wbo) S 9406 9406 2649 0 -1 4202496 68542 1164361 0 0 149 22 178038 510 20 0 1 0 386155774 5136384 833 33554432000 4194304 6006132 140735070637200 140735070628560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9407/statm: 1254 833 177 443 0 807 0
[pid=11335] ppid=9407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11335/stat : 11335 (satsolver.sh) S 9407 9406 2649 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386334562 9367552 267 33554432000 4194304 5064252 140736775142656 140736775141568 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11335/statm: 2287 267 226 213 0 72 0
[pid=11336] ppid=11335 vsize=20288 CPUtime=12.82 cores=1,3,5,7
/proc/11336/stat : 11336 (glucose) R 11335 9406 2649 0 -1 4202496 6348 0 0 0 1281 1 0 0 20 0 1 0 386334562 20774912 4652 33554432000 4194304 5208918 140736356498672 140736356496680 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11336/statm: 5072 4652 96 248 0 4821 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 43600
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11343
/proc/meminfo: memFree=30947656/32873844 swapFree=7128/7128
[pid=9406] ppid=9404 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (npSolver-wbo-It) S 9404 9406 2649 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386155774 9367552 275 33554432000 4194304 5064252 140734265384240 140734265383152 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9406/statm: 2287 275 233 213 0 72 0
[pid=9407] ppid=9406 vsize=5016 CPUtime=1787.19 cores=1,3,5,7
/proc/9407/stat : 9407 (npSolver-wbo) S 9406 9406 2649 0 -1 4202496 68542 1164361 0 0 149 22 178038 510 20 0 1 0 386155774 5136384 833 33554432000 4194304 6006132 140735070637200 140735070628560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9407/statm: 1254 833 177 443 0 807 0
[pid=11335] ppid=9407 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11335/stat : 11335 (satsolver.sh) S 9407 9406 2649 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386334562 9367552 267 33554432000 4194304 5064252 140736775142656 140736775141568 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11335/statm: 2287 267 226 213 0 72 0
[pid=11336] ppid=11335 vsize=20288 CPUtime=12.82 cores=1,3,5,7
/proc/11336/stat : 11336 (glucose) R 11335 9406 2649 0 -1 4202496 6348 0 0 0 1281 1 0 0 20 0 1 0 386334562 20774912 4652 33554432000 4194304 5208918 140736356498672 140736356496680 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11336/statm: 5072 4652 96 248 0 4821 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 43600
Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.04
CPU user time (s): 1794.7
CPU system time (s): 5.34119
CPU usage (%): 99.9625
Max. virtual memory (cumulated for all children) (KiB): 55100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.7
system time used= 5.34119
maximum resident set size= 29872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1240241
page faults= 0
swaps= 0
block input operations= 0
block output operations= 289064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5809
involuntary context switches= 3166
runsolver used 2.94855 second user time and 7.38188 second system time
The end