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-3752973-1339193692/watcher-3752973-1339193692 -o /tmp/evaluation-result-3752973-1339193692/solver-3752973-1339193692 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752973-1339193692.wbo 814382896 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.05 2.02 2.00 3/179 16699
/proc/meminfo: memFree=31330360/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
[startup+0.0520059 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 16699
/proc/meminfo: memFree=31330360/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10031 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 16699
/proc/meminfo: memFree=31330360/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300257 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 16699
/proc/meminfo: memFree=31330360/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700278 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 16699
/proc/meminfo: memFree=31330360/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50041 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 16713
/proc/meminfo: memFree=31307868/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
[pid=16700] ppid=16699 vsize=3380 CPUtime=0.09 cores=1,3,5,7
/proc/16700/stat : 16700 (npSolver-wbo) S 16699 16699 10289 0 -1 4202496 2017 2289 0 0 2 0 7 0 20 0 1 0 385495257 3461120 453 33554432000 4194304 6006132 140734132986512 140734132980704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16700/statm: 845 453 158 443 0 398 0
[pid=16705] ppid=16700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16705/stat : 16705 (satsolver.sh) S 16700 16699 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385495269 9367552 267 33554432000 4194304 5064252 140734529627728 140734529626640 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16705/statm: 2287 267 226 213 0 72 0
[pid=16706] ppid=16705 vsize=22724 CPUtime=1.37 cores=1,3,5,7
/proc/16706/stat : 16706 (glucose) R 16705 16699 10289 0 -1 4202496 3388 0 0 0 136 1 0 0 20 0 1 0 385495269 23269376 4488 33554432000 4194304 5208918 140733753787584 140733753785736 4229517 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16706/statm: 5681 4488 96 248 0 5430 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 44400
[startup+3.10039 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 16727
/proc/meminfo: memFree=31305696/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
[pid=16700] ppid=16699 vsize=5176 CPUtime=1.8 cores=1,3,5,7
/proc/16700/stat : 16700 (npSolver-wbo) S 16699 16699 10289 0 -1 4202496 2554 8731 0 0 3 2 173 2 20 0 1 0 385495257 5300224 824 33554432000 4194304 6006132 140734132986512 140734132977872 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16700/statm: 1294 824 177 443 0 847 0
[pid=16726] ppid=16700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16726/stat : 16726 (satsolver.sh) S 16700 16699 10289 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385495439 9367552 266 33554432000 4194304 5064252 140735788868416 140735788867328 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16726/statm: 2287 266 226 213 0 72 0
[pid=16727] ppid=16726 vsize=15196 CPUtime=1.26 cores=1,3,5,7
/proc/16727/stat : 16727 (glucose) R 16726 16699 10289 0 -1 4202496 2580 0 0 0 126 0 0 0 20 0 1 0 385495439 15560704 2977 33554432000 4194304 5208918 140734306286656 140734306284952 4211641 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16727/statm: 3799 2977 95 248 0 3548 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 38668
[startup+6.30039 s]
/proc/loadavg: 1.96 2.00 2.00 3/183 16758
/proc/meminfo: memFree=31303500/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
[pid=16700] ppid=16699 vsize=5176 CPUtime=1.8 cores=1,3,5,7
/proc/16700/stat : 16700 (npSolver-wbo) S 16699 16699 10289 0 -1 4202496 2554 8731 0 0 3 2 173 2 20 0 1 0 385495257 5300224 824 33554432000 4194304 6006132 140734132986512 140734132977872 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16700/statm: 1294 824 177 443 0 847 0
[pid=16726] ppid=16700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16726/stat : 16726 (satsolver.sh) S 16700 16699 10289 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385495439 9367552 266 33554432000 4194304 5064252 140735788868416 140735788867328 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16726/statm: 2287 266 226 213 0 72 0
[pid=16727] ppid=16726 vsize=15460 CPUtime=4.47 cores=1,3,5,7
/proc/16727/stat : 16727 (glucose) R 16726 16699 10289 0 -1 4202496 5302 0 0 0 446 1 0 0 20 0 1 0 385495439 15831040 3328 33554432000 4194304 5208918 140734306286656 140734306284808 4212445 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16727/statm: 3865 3328 96 248 0 3614 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 38932
[startup+12.7004 s]
/proc/loadavg: 1.97 2.00 2.00 3/183 16818
/proc/meminfo: memFree=31296860/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
[pid=16700] ppid=16699 vsize=5176 CPUtime=1.8 cores=1,3,5,7
/proc/16700/stat : 16700 (npSolver-wbo) S 16699 16699 10289 0 -1 4202496 2554 8731 0 0 3 2 173 2 20 0 1 0 385495257 5300224 824 33554432000 4194304 6006132 140734132986512 140734132977872 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16700/statm: 1294 824 177 443 0 847 0
[pid=16726] ppid=16700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16726/stat : 16726 (satsolver.sh) S 16700 16699 10289 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385495439 9367552 266 33554432000 4194304 5064252 140735788868416 140735788867328 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16726/statm: 2287 266 226 213 0 72 0
[pid=16727] ppid=16726 vsize=27376 CPUtime=10.87 cores=1,3,5,7
/proc/16727/stat : 16727 (glucose) R 16726 16699 10289 0 -1 4202496 7409 0 0 0 1085 2 0 0 20 0 1 0 385495439 28033024 5198 33554432000 4194304 5208918 140734306286656 140734306284600 4211561 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16727/statm: 6844 5198 96 248 0 6593 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 50848
[startup+25.5004 s]
/proc/loadavg: 1.97 2.00 2.00 3/183 16937
/proc/meminfo: memFree=31259480/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
[pid=16700] ppid=16699 vsize=5176 CPUtime=1.8 cores=1,3,5,7
/proc/16700/stat : 16700 (npSolver-wbo) S 16699 16699 10289 0 -1 4202496 2554 8731 0 0 3 2 173 2 20 0 1 0 385495257 5300224 824 33554432000 4194304 6006132 140734132986512 140734132977872 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16700/statm: 1294 824 177 443 0 847 0
[pid=16726] ppid=16700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16726/stat : 16726 (satsolver.sh) S 16700 16699 10289 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385495439 9367552 266 33554432000 4194304 5064252 140735788868416 140735788867328 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16726/statm: 2287 266 226 213 0 72 0
[pid=16727] ppid=16726 vsize=57940 CPUtime=23.66 cores=1,3,5,7
/proc/16727/stat : 16727 (glucose) R 16726 16699 10289 0 -1 4202496 7937 0 0 0 2364 2 0 0 20 0 1 0 385495439 59330560 13904 33554432000 4194304 5208918 140734306286656 140734306284600 4230008 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16727/statm: 14485 13904 96 248 0 14234 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 81412
[startup+51.1005 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 17175
/proc/meminfo: memFree=31260968/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
[pid=16700] ppid=16699 vsize=5176 CPUtime=32.58 cores=1,3,5,7
/proc/16700/stat : 16700 (npSolver-wbo) S 16699 16699 10289 0 -1 4202496 3083 20666 0 0 4 2 3244 8 20 0 1 0 385495257 5300224 824 33554432000 4194304 6006132 140734132986512 140734132977872 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16700/statm: 1294 824 177 443 0 847 0
[pid=17013] ppid=16700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17013/stat : 17013 (satsolver.sh) S 16700 16699 10289 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385498518 9367552 267 33554432000 4194304 5064252 140734680860192 140734680859104 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17013/statm: 2287 267 226 213 0 72 0
[pid=17014] ppid=17013 vsize=57940 CPUtime=18.48 cores=1,3,5,7
/proc/17014/stat : 17014 (glucose) R 17013 16699 10289 0 -1 4202496 8006 0 0 0 1844 4 0 0 20 0 1 0 385498518 59330560 13841 33554432000 4194304 5208918 140734362361808 140734362359752 4229504 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17014/statm: 14485 13841 96 248 0 14234 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 81412
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 17658
/proc/meminfo: memFree=31291976/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
[pid=16700] ppid=16699 vsize=5176 CPUtime=95.43 cores=1,3,5,7
/proc/16700/stat : 16700 (npSolver-wbo) S 16699 16699 10289 0 -1 4202496 4141 44477 0 0 6 2 9514 21 20 0 1 0 385495257 5300224 824 33554432000 4194304 6006132 140734132986512 140734132977872 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16700/statm: 1294 824 177 443 0 847 0
[pid=17594] ppid=16700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17594/stat : 17594 (satsolver.sh) S 16700 16699 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385504804 9367552 267 33554432000 4194304 5064252 140735674813040 140735674811952 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17594/statm: 2287 267 226 213 0 72 0
[pid=17595] ppid=17594 vsize=27192 CPUtime=6.81 cores=1,3,5,7
/proc/17595/stat : 17595 (glucose) R 17594 16699 10289 0 -1 4202496 4390 0 0 0 680 1 0 0 20 0 1 0 385504804 27844608 5833 33554432000 4194304 5208918 140734855039776 140734855037928 4211668 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17595/statm: 6798 5833 96 248 0 6547 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 50664
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18211
/proc/meminfo: memFree=31296436/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
[pid=16700] ppid=16699 vsize=5176 CPUtime=158.38 cores=1,3,5,7
/proc/16700/stat : 16700 (npSolver-wbo) S 16699 16699 10289 0 -1 4202496 5199 66991 0 0 8 2 15795 33 20 0 1 0 385495257 5300224 824 33554432000 4194304 6006132 140734132986512 140734132977872 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16700/statm: 1294 824 177 443 0 847 0
[pid=18182] ppid=16700 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 1.99 1.95 1.96 3/183 29381
/proc/meminfo: memFree=31288384/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
[pid=16700] ppid=16699 vsize=5176 CPUtime=1350.59 cores=1,3,5,7
/proc/16700/stat : 16700 (npSolver-wbo) S 16699 16699 10289 0 -1 4202496 25301 497289 0 0 45 8 134750 256 20 0 1 0 385495257 5300224 824 33554432000 4194304 6006132 140734132986512 140734132977872 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/16700/statm: 1294 824 177 443 0 847 0
[pid=29282] ppid=16700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29282/stat : 29282 (satsolver.sh) S 16700 16699 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385630353 9367552 266 33554432000 4194304 5064252 140735354346384 140735354345296 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29282/statm: 2287 266 226 213 0 72 0
[pid=29283] ppid=29282 vsize=27508 CPUtime=11.32 cores=1,3,5,7
/proc/29283/stat : 29283 (glucose) R 29282 16699 10289 0 -1 4202496 7425 0 0 0 1130 2 0 0 20 0 1 0 385630353 28168192 5222 33554432000 4194304 5208918 140734734914400 140734734912248 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29283/statm: 6877 5222 96 248 0 6626 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 50980
[startup+1422.3 s]
/proc/loadavg: 2.07 1.97 1.96 3/183 29949
/proc/meminfo: memFree=31287492/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
[pid=16700] ppid=16699 vsize=5176 CPUtime=1414.24 cores=1,3,5,7
/proc/16700/stat : 16700 (npSolver-wbo) S 16699 16699 10289 0 -1 4202496 26359 520735 0 0 46 8 141103 267 20 0 1 0 385495257 5300224 824 33554432000 4194304 6006132 140734132986512 140734132977872 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/16700/statm: 1294 824 177 443 0 847 0
[pid=29878] ppid=16700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29878/stat : 29878 (satsolver.sh) S 16700 16699 10289 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385636721 9367552 267 33554432000 4194304 5064252 140736485771808 140736485770720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29878/statm: 2287 267 226 213 0 72 0
[pid=29879] ppid=29878 vsize=27336 CPUtime=7.64 cores=1,3,5,7
/proc/29879/stat : 29879 (glucose) R 29878 16699 10289 0 -1 4202496 5316 0 0 0 763 1 0 0 20 0 1 0 385636722 27992064 5776 33554432000 4194304 5208918 140735021787456 140735021785416 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29879/statm: 6834 5776 96 248 0 6583 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 50808
[startup+1482.3 s]
/proc/loadavg: 1.99 1.96 1.96 3/183 30502
/proc/meminfo: memFree=31296076/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
[pid=16700] ppid=16699 vsize=5176 CPUtime=1476.44 cores=1,3,5,7
/proc/16700/stat : 16700 (npSolver-wbo) S 16699 16699 10289 0 -1 4202496 27417 543178 0 0 48 8 147308 280 20 0 1 0 385495257 5300224 824 33554432000 4194304 6006132 140734132986512 140734132977872 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/16700/statm: 1294 824 177 443 0 847 0
[pid=30459] ppid=16700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30459/stat : 30459 (satsolver.sh) S 16700 16699 10289 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 385642943 9367552 267 33554432000 4194304 5064252 140733944890080 140733944888992 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30459/statm: 2287 267 226 213 0 72 0
[pid=30460] ppid=30459 vsize=19880 CPUtime=5.43 cores=1,3,5,7
/proc/30460/stat : 30460 (glucose) R 30459 16699 10289 0 -1 4202496 4128 0 0 0 542 1 0 0 20 0 1 0 385642943 20357120 3575 33554432000 4194304 5208918 140735933430960 140735933429112 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30460/statm: 4970 3575 96 248 0 4719 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 43352
[startup+1542.31 s]
/proc/loadavg: 1.99 1.97 1.96 3/184 31065
/proc/meminfo: memFree=31255392/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
[pid=16700] ppid=16699 vsize=5176 CPUtime=1512.28 cores=1,3,5,7
/proc/16700/stat : 16700 (npSolver-wbo) S 16699 16699 10289 0 -1 4202496 27946 553444 0 0 49 8 150886 285 20 0 1 0 385495257 5300224 824 33554432000 4194304 6006132 140734132986512 140734132977872 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/16700/statm: 1294 824 177 443 0 847 0
[pid=30798] ppid=16700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30798/stat : 30798 (satsolver.sh) S 16700 16699 10289 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385646528 9367552 266 33554432000 4194304 5064252 140734874345664 140734874344576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30798/statm: 2287 266 226 213 0 72 0
[pid=30799] ppid=30798 vsize=57940 CPUtime=29.57 cores=1,3,5,7
/proc/30799/stat : 30799 (glucose) R 30798 16699 10289 0 -1 4202496 7205 0 0 0 2955 2 0 0 20 0 1 0 385646528 59330560 13639 33554432000 4194304 5208918 140735203958576 140735203956520 4230008 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30799/statm: 14485 13639 96 248 0 14234 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 81412
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.96 3/183 31618
/proc/meminfo: memFree=31254780/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
[pid=16700] ppid=16699 vsize=5176 CPUtime=1574.94 cores=1,3,5,7
/proc/16700/stat : 16700 (npSolver-wbo) S 16699 16699 10289 0 -1 4202496 29004 574725 0 0 51 8 157139 296 20 0 1 0 385495257 5300224 824 33554432000 4194304 6006132 140734132986512 140734132977872 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/16700/statm: 1294 824 177 443 0 847 0
[pid=31379] ppid=16700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31379/stat : 31379 (satsolver.sh) S 16700 16699 10289 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385652796 9367552 267 33554432000 4194304 5064252 140736278673360 140736278672272 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31379/statm: 2287 267 226 213 0 72 0
[pid=31380] ppid=31379 vsize=57944 CPUtime=26.89 cores=1,3,5,7
/proc/31380/stat : 31380 (glucose) R 31379 16699 10289 0 -1 4202496 7462 0 0 0 2687 2 0 0 20 0 1 0 385652796 59334656 13882 33554432000 4194304 5208918 140735400871920 140735400869864 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31380/statm: 14486 13882 96 248 0 14235 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 81416
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.96 3/183 32178
/proc/meminfo: memFree=31252028/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
[pid=16700] ppid=16699 vsize=5176 CPUtime=1637.27 cores=1,3,5,7
/proc/16700/stat : 16700 (npSolver-wbo) S 16699 16699 10289 0 -1 4202496 30062 598397 0 0 53 9 163357 308 20 0 1 0 385495257 5300224 824 33554432000 4194304 6006132 140734132986512 140734132977872 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/16700/statm: 1294 824 177 443 0 847 0
[pid=31960] ppid=16700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31960/stat : 31960 (satsolver.sh) S 16700 16699 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385659029 9367552 266 33554432000 4194304 5064252 140735758867760 140735758866672 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31960/statm: 2287 266 226 213 0 72 0
[pid=31961] ppid=31960 vsize=57940 CPUtime=24.56 cores=1,3,5,7
/proc/31961/stat : 31961 (glucose) R 31960 16699 10289 0 -1 4202496 8442 0 0 0 2454 2 0 0 20 0 1 0 385659029 59330560 14035 33554432000 4194304 5208918 140733373972240 140733373970184 4211577 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31961/statm: 14485 14035 96 248 0 14234 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 81412
[startup+1722.3 s]
/proc/loadavg: 1.93 1.96 1.95 3/183 32739
/proc/meminfo: memFree=31252792/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
[pid=16700] ppid=16699 vsize=5176 CPUtime=1698.58 cores=1,3,5,7
/proc/16700/stat : 16700 (npSolver-wbo) S 16699 16699 10289 0 -1 4202496 31120 620785 0 0 55 9 169474 320 20 0 1 0 385495257 5300224 824 33554432000 4194304 6006132 140734132986512 140734132977872 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/16700/statm: 1294 824 177 443 0 847 0
[pid=32528] ppid=16700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32528/stat : 32528 (satsolver.sh) S 16700 16699 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385665162 9367552 266 33554432000 4194304 5064252 140735646571344 140735646570256 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32528/statm: 2287 266 226 213 0 72 0
[pid=32529] ppid=32528 vsize=57944 CPUtime=23.23 cores=1,3,5,7
/proc/32529/stat : 32529 (glucose) R 32528 16699 10289 0 -1 4202496 6334 0 0 0 2320 3 0 0 20 0 1 0 385665162 59334656 14017 33554432000 4194304 5208918 140737221110448 140737221108392 4211834 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32529/statm: 14486 14017 96 248 0 14235 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 81416
[startup+1782.3 s]
/proc/loadavg: 2.01 1.97 1.96 3/183 841
/proc/meminfo: memFree=31252824/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
[pid=16700] ppid=16699 vsize=5176 CPUtime=1761.15 cores=1,3,5,7
/proc/16700/stat : 16700 (npSolver-wbo) S 16699 16699 10289 0 -1 4202496 32178 641844 0 0 57 9 175717 332 20 0 1 0 385495257 5300224 824 33554432000 4194304 6006132 140734132986512 140734132977872 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/16700/statm: 1294 824 177 443 0 847 0
[pid=653] ppid=16700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/653/stat : 653 (satsolver.sh) S 16700 16699 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385671420 9367552 267 33554432000 4194304 5064252 140735329349952 140735329348864 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/653/statm: 2287 267 226 213 0 72 0
[pid=654] ppid=653 vsize=57940 CPUtime=20.65 cores=1,3,5,7
/proc/654/stat : 654 (glucose) R 653 16699 10289 0 -1 4202496 7327 0 0 0 2062 3 0 0 20 0 1 0 385671420 59330560 13830 33554432000 4194304 5208918 140734825894912 140734825892856 4211871 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/654/statm: 14485 13830 96 248 0 14234 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 81412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 1.97 1.96 3/183 940
/proc/meminfo: memFree=31287844/32873844 swapFree=7380/7380
[pid=16699] ppid=16697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16699/stat : 16699 (npSolver-wbo-It) S 16697 16699 10289 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385495257 9367552 275 33554432000 4194304 5064252 140734504108800 140734504107712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16699/statm: 2287 275 233 213 0 72 0
[pid=16700] ppid=16699 vsize=5176 CPUtime=1791.76 cores=1,3,5,7
/proc/16700/stat : 16700 (npSolver-wbo) S 16699 16699 10289 0 -1 4202496 32707 652734 0 0 58 9 178771 338 20 0 1 0 385495257 5300224 824 33554432000 4194304 6006132 140734132986512 140734132977872 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/16700/statm: 1294 824 177 443 0 847 0
[pid=925] ppid=16700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/925/stat : 925 (satsolver.sh) S 16700 16699 10289 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385674481 9367552 267 33554432000 4194304 5064252 140734155798080 140734155796992 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/925/statm: 2287 267 226 213 0 72 0
[pid=926] ppid=925 vsize=27340 CPUtime=8.24 cores=1,3,5,7
/proc/926/stat : 926 (glucose) R 925 16699 10289 0 -1 4202496 4948 0 0 0 823 1 0 0 20 0 1 0 385674482 27996160 6382 33554432000 4194304 5208918 140734105531568 140734105529528 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/926/statm: 6835 6382 96 248 0 6584 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 50812
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.51
CPU time (s): 1800.04
CPU user time (s): 1796.53
CPU system time (s): 3.50947
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 130740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.53
system time used= 3.50947
maximum resident set size= 89724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 691384
page faults= 0
swaps= 0
block input operations= 0
block output operations= 118752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2393
involuntary context switches= 2444
runsolver used 5.69913 second user time and 19.649 second system time
The end