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-3753250-1339208198/watcher-3753250-1339208198 -o /tmp/evaluation-result-3753250-1339208198/solver-3753250-1339208198 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753250-1339208198.wbo 832464310 HOME HOME
running on 4 cores: 0,2,4,6
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.10 2.07 2.02 3/179 21046
/proc/meminfo: memFree=25247912/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
[startup+0.00861407 s]
/proc/loadavg: 2.10 2.07 2.02 3/179 21046
/proc/meminfo: memFree=25247912/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100188 s]
/proc/loadavg: 2.10 2.07 2.02 3/179 21046
/proc/meminfo: memFree=25247912/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300116 s]
/proc/loadavg: 2.10 2.07 2.02 3/179 21046
/proc/meminfo: memFree=25247912/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700111 s]
/proc/loadavg: 2.10 2.07 2.02 3/179 21046
/proc/meminfo: memFree=25247912/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.10 2.07 2.02 3/183 21053
/proc/meminfo: memFree=25243260/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
[pid=21047] ppid=21046 vsize=3092 CPUtime=0.15 cores=0,2,4,6
/proc/21047/stat : 21047 (npSolver-wbo) S 21046 21046 19107 0 -1 4202496 1957 2705 0 0 1 0 14 0 20 0 1 0 386945227 3166208 378 33554432000 4194304 6006132 140734139480480 140734139474672 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21047/statm: 773 378 158 443 0 326 0
[pid=21052] ppid=21047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21052/stat : 21052 (satsolver.sh) S 21047 21046 19107 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386945245 9367552 267 33554432000 4194304 5064252 140735571234720 140735571233632 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21052/statm: 2287 267 226 213 0 72 0
[pid=21053] ppid=21052 vsize=12776 CPUtime=1.3 cores=0,2,4,6
/proc/21053/stat : 21053 (glucose) R 21052 21046 19107 0 -1 4202496 2884 0 0 0 130 0 0 0 20 0 1 0 386945245 13082624 1732 33554432000 4194304 5208918 140735959349520 140735959347464 4228945 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21053/statm: 3194 1732 96 248 0 2943 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 34164
[startup+3.10029 s]
/proc/loadavg: 2.09 2.07 2.02 3/183 21053
/proc/meminfo: memFree=25238672/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
[pid=21047] ppid=21046 vsize=3092 CPUtime=0.15 cores=0,2,4,6
/proc/21047/stat : 21047 (npSolver-wbo) S 21046 21046 19107 0 -1 4202496 1957 2705 0 0 1 0 14 0 20 0 1 0 386945227 3166208 378 33554432000 4194304 6006132 140734139480480 140734139474672 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21047/statm: 773 378 158 443 0 326 0
[pid=21052] ppid=21047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21052/stat : 21052 (satsolver.sh) S 21047 21046 19107 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386945245 9367552 267 33554432000 4194304 5064252 140735571234720 140735571233632 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21052/statm: 2287 267 226 213 0 72 0
[pid=21053] ppid=21052 vsize=12776 CPUtime=2.9 cores=0,2,4,6
/proc/21053/stat : 21053 (glucose) R 21052 21046 19107 0 -1 4202496 3424 0 0 0 290 0 0 0 20 0 1 0 386945245 13082624 2777 33554432000 4194304 5208918 140735959349520 140735959347464 4229296 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21053/statm: 3194 2777 96 248 0 2943 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 34164
[startup+6.30029 s]
/proc/loadavg: 2.09 2.07 2.02 3/183 21053
/proc/meminfo: memFree=25231976/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
[pid=21047] ppid=21046 vsize=3092 CPUtime=0.15 cores=0,2,4,6
/proc/21047/stat : 21047 (npSolver-wbo) S 21046 21046 19107 0 -1 4202496 1957 2705 0 0 1 0 14 0 20 0 1 0 386945227 3166208 378 33554432000 4194304 6006132 140734139480480 140734139474672 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21047/statm: 773 378 158 443 0 326 0
[pid=21052] ppid=21047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21052/stat : 21052 (satsolver.sh) S 21047 21046 19107 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386945245 9367552 267 33554432000 4194304 5064252 140735571234720 140735571233632 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21052/statm: 2287 267 226 213 0 72 0
[pid=21053] ppid=21052 vsize=15496 CPUtime=6.1 cores=0,2,4,6
/proc/21053/stat : 21053 (glucose) R 21052 21046 19107 0 -1 4202496 4112 0 0 0 610 0 0 0 20 0 1 0 386945245 15867904 3447 33554432000 4194304 5208918 140735959349520 140735959347384 4229748 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21053/statm: 3874 3447 96 248 0 3623 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 36884
[startup+12.7003 s]
/proc/loadavg: 2.07 2.07 2.02 3/183 21060
/proc/meminfo: memFree=25225116/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
[pid=21047] ppid=21046 vsize=3092 CPUtime=0.15 cores=0,2,4,6
/proc/21047/stat : 21047 (npSolver-wbo) S 21046 21046 19107 0 -1 4202496 1957 2705 0 0 1 0 14 0 20 0 1 0 386945227 3166208 378 33554432000 4194304 6006132 140734139480480 140734139474672 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21047/statm: 773 378 158 443 0 326 0
[pid=21052] ppid=21047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21052/stat : 21052 (satsolver.sh) S 21047 21046 19107 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386945245 9367552 267 33554432000 4194304 5064252 140735571234720 140735571233632 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21052/statm: 2287 267 226 213 0 72 0
[pid=21053] ppid=21052 vsize=25976 CPUtime=12.5 cores=0,2,4,6
/proc/21053/stat : 21053 (glucose) R 21052 21046 19107 0 -1 4202496 5935 0 0 0 1249 1 0 0 20 0 1 0 386945245 26599424 5804 33554432000 4194304 5208918 140735959349520 140735959347384 4211632 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21053/statm: 6494 5804 96 248 0 6243 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 47364
[startup+25.5004 s]
/proc/loadavg: 2.06 2.06 2.02 3/183 21081
/proc/meminfo: memFree=25227840/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
[pid=21047] ppid=21046 vsize=7128 CPUtime=18.6 cores=0,2,4,6
/proc/21047/stat : 21047 (npSolver-wbo) S 21046 21046 19107 0 -1 4202496 3079 11799 0 0 5 2 1851 2 20 0 1 0 386945227 7299072 1342 33554432000 4194304 6006132 140734139480480 140734139471840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21047/statm: 1782 1342 177 443 0 1335 0
[pid=21073] ppid=21047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21073/stat : 21073 (satsolver.sh) S 21047 21046 19107 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386947090 9367552 267 33554432000 4194304 5064252 140736910525984 140736910524896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21073/statm: 2287 267 226 213 0 72 0
[pid=21074] ppid=21073 vsize=36968 CPUtime=6.86 cores=0,2,4,6
/proc/21074/stat : 21074 (glucose) R 21073 21046 19107 0 -1 4202496 7202 0 0 0 685 1 0 0 20 0 1 0 386947090 37855232 8519 33554432000 4194304 5208918 140737081953392 140737081951256 4229307 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21074/statm: 9242 8519 96 248 0 8991 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 62392
[startup+51.1004 s]
/proc/loadavg: 2.04 2.06 2.02 3/183 21095
/proc/meminfo: memFree=25212212/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
[pid=21047] ppid=21046 vsize=7128 CPUtime=18.6 cores=0,2,4,6
/proc/21047/stat : 21047 (npSolver-wbo) S 21046 21046 19107 0 -1 4202496 3079 11799 0 0 5 2 1851 2 20 0 1 0 386945227 7299072 1342 33554432000 4194304 6006132 140734139480480 140734139471840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21047/statm: 1782 1342 177 443 0 1335 0
[pid=21073] ppid=21047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21073/stat : 21073 (satsolver.sh) S 21047 21046 19107 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386947090 9367552 267 33554432000 4194304 5064252 140736910525984 140736910524896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21073/statm: 2287 267 226 213 0 72 0
[pid=21074] ppid=21073 vsize=51292 CPUtime=32.45 cores=0,2,4,6
/proc/21074/stat : 21074 (glucose) R 21073 21046 19107 0 -1 4202496 8783 0 0 0 3244 1 0 0 20 0 1 0 386947090 52523008 11130 33554432000 4194304 5208918 140737081953392 140737081951400 4229311 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21074/statm: 12823 11130 96 248 0 12572 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 76716
[startup+102.307 s]
/proc/loadavg: 2.12 2.07 2.02 3/183 21144
/proc/meminfo: memFree=25212992/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
[pid=21047] ppid=21046 vsize=7128 CPUtime=78.37 cores=0,2,4,6
/proc/21047/stat : 21047 (npSolver-wbo) S 21046 21046 19107 0 -1 4202496 4189 24541 0 0 8 2 7818 9 20 0 1 0 386945227 7299072 1342 33554432000 4194304 6006132 140734139480480 140734139471840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21047/statm: 1782 1342 177 443 0 1335 0
[pid=21122] ppid=21047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21122/stat : 21122 (satsolver.sh) S 21047 21046 19107 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386953069 9367552 266 33554432000 4194304 5064252 140736146276272 140736146275184 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21122/statm: 2287 266 226 213 0 72 0
[pid=21123] ppid=21122 vsize=39692 CPUtime=23.87 cores=0,2,4,6
/proc/21123/stat : 21123 (glucose) R 21122 21046 19107 0 -1 4202496 7062 0 0 0 2386 1 0 0 20 0 1 0 386953069 40644608 9421 33554432000 4194304 5208918 140736880120064 140736880117928 4229757 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21123/statm: 9923 9421 96 248 0 9672 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 65116
[startup+162.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/183 21193
/proc/meminfo: memFree=25205324/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
[pid=21047] ppid=21046 vsize=7128 CPUtime=138.19 cores=0,2,4,6
/proc/21047/stat : 21047 (npSolver-wbo) S 21046 21046 19107 0 -1 4202496 5299 36894 0 0 11 3 13788 17 20 0 1 0 386945227 7299072 1342 33554432000 4194304 6006132 140734139480480 140734139471840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21047/statm: 1782 1342 177 443 0 1335 0
[pid=21178] ppid=21047 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 22299
/proc/meminfo: memFree=25217540/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
[pid=21047] ppid=21046 vsize=7128 CPUtime=1398.89 cores=0,2,4,6
/proc/21047/stat : 21047 (npSolver-wbo) S 21046 21046 19107 0 -1 4202496 28609 308327 0 0 72 10 139639 168 20 0 1 0 386945227 7299072 1342 33554432000 4194304 6006132 140734139480480 140734139471840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21047/statm: 1782 1342 177 443 0 1335 0
[pid=22274] ppid=21047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22274/stat : 22274 (satsolver.sh) S 21047 21046 19107 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387085152 9367552 266 33554432000 4194304 5064252 140737465885424 140737465884336 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22274/statm: 2287 266 226 213 0 72 0
[pid=22275] ppid=22274 vsize=39692 CPUtime=23.04 cores=0,2,4,6
/proc/22275/stat : 22275 (glucose) R 22274 21046 19107 0 -1 4202496 7345 0 0 0 2303 1 0 0 20 0 1 0 387085152 40644608 9421 33554432000 4194304 5208918 140734132944720 140734132942584 4229504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22275/statm: 9923 9421 96 248 0 9672 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 65116
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22349
/proc/meminfo: memFree=25203596/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
[pid=21047] ppid=21046 vsize=7128 CPUtime=1458.57 cores=0,2,4,6
/proc/21047/stat : 21047 (npSolver-wbo) S 21046 21046 19107 0 -1 4202496 29719 321288 0 0 75 10 145597 175 20 0 1 0 386945227 7299072 1342 33554432000 4194304 6006132 140734139480480 140734139471840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21047/statm: 1782 1342 177 443 0 1335 0
[pid=22327] ppid=21047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22327/stat : 22327 (satsolver.sh) S 21047 21046 19107 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387091122 9367552 267 33554432000 4194304 5064252 140736038115888 140736038114800 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22327/statm: 2287 267 226 213 0 72 0
[pid=22328] ppid=22327 vsize=39692 CPUtime=23.32 cores=0,2,4,6
/proc/22328/stat : 22328 (glucose) R 22327 21046 19107 0 -1 4202496 8291 0 0 0 2331 1 0 0 20 0 1 0 387091123 40644608 9420 33554432000 4194304 5208918 140733467593536 140733467591400 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22328/statm: 9923 9420 96 248 0 9672 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 65116
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22399
/proc/meminfo: memFree=25201108/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
[pid=21047] ppid=21046 vsize=7128 CPUtime=1518.89 cores=0,2,4,6
/proc/21047/stat : 21047 (npSolver-wbo) S 21046 21046 19107 0 -1 4202496 30829 335062 0 0 77 11 151619 182 20 0 1 0 386945227 7299072 1342 33554432000 4194304 6006132 140734139480480 140734139471840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21047/statm: 1782 1342 177 443 0 1335 0
[pid=22383] ppid=21047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22383/stat : 22383 (satsolver.sh) S 21047 21046 19107 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387097155 9367552 267 33554432000 4194304 5064252 140734330620160 140734330619072 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22383/statm: 2287 267 226 213 0 72 0
[pid=22384] ppid=22383 vsize=39688 CPUtime=23 cores=0,2,4,6
/proc/22384/stat : 22384 (glucose) R 22383 21046 19107 0 -1 4202496 8062 0 0 0 2299 1 0 0 20 0 1 0 387097155 40640512 9420 33554432000 4194304 5208918 140735364826112 140735364823976 4229688 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22384/statm: 9922 9420 96 248 0 9671 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 65112
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22455
/proc/meminfo: memFree=25215108/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
[pid=21047] ppid=21046 vsize=7128 CPUtime=1578.91 cores=0,2,4,6
/proc/21047/stat : 21047 (npSolver-wbo) S 21046 21046 19107 0 -1 4202496 31939 348559 0 0 80 11 157612 188 20 0 1 0 386945227 7299072 1342 33554432000 4194304 6006132 140734139480480 140734139471840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21047/statm: 1782 1342 177 443 0 1335 0
[pid=22433] ppid=21047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22433/stat : 22433 (satsolver.sh) S 21047 21046 19107 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387103160 9367552 267 33554432000 4194304 5064252 140736804610704 140736804609616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22433/statm: 2287 267 226 213 0 72 0
[pid=22434] ppid=22433 vsize=39692 CPUtime=22.94 cores=0,2,4,6
/proc/22434/stat : 22434 (glucose) R 22433 21046 19107 0 -1 4202496 7696 0 0 0 2293 1 0 0 20 0 1 0 387103160 40644608 9421 33554432000 4194304 5208918 140734607072544 140734607070408 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22434/statm: 9923 9421 96 248 0 9672 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 65116
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 22549
/proc/meminfo: memFree=25145520/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
[pid=21047] ppid=21046 vsize=7128 CPUtime=1638.88 cores=0,2,4,6
/proc/21047/stat : 21047 (npSolver-wbo) S 21046 21046 19107 0 -1 4202496 33049 361046 0 0 83 11 163598 196 20 0 1 0 386945227 7299072 1342 33554432000 4194304 6006132 140734139480480 140734139471840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21047/statm: 1782 1342 177 443 0 1335 0
[pid=22489] ppid=21047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22489/stat : 22489 (satsolver.sh) S 21047 21046 19107 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387109158 9367552 267 33554432000 4194304 5064252 140735208097312 140735208096224 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22489/statm: 2287 267 226 213 0 72 0
[pid=22490] ppid=22489 vsize=39692 CPUtime=22.96 cores=0,2,4,6
/proc/22490/stat : 22490 (glucose) R 22489 21046 19107 0 -1 4202496 8353 0 0 0 2295 1 0 0 20 0 1 0 387109159 40644608 9421 33554432000 4194304 5208918 140735618847952 140735618845816 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22490/statm: 9923 9421 96 248 0 9672 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 65116
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 22591
/proc/meminfo: memFree=25146024/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
[pid=21047] ppid=21046 vsize=7128 CPUtime=1698.8 cores=0,2,4,6
/proc/21047/stat : 21047 (npSolver-wbo) S 21046 21046 19107 0 -1 4202496 34159 374563 0 0 86 12 169579 203 20 0 1 0 386945227 7299072 1342 33554432000 4194304 6006132 140734139480480 140734139471840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21047/statm: 1782 1342 177 443 0 1335 0
[pid=22576] ppid=21047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22576/stat : 22576 (satsolver.sh) S 21047 21046 19107 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387115151 9367552 266 33554432000 4194304 5064252 140733369569744 140733369568656 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22576/statm: 2287 266 226 213 0 72 0
[pid=22577] ppid=22576 vsize=39688 CPUtime=23.03 cores=0,2,4,6
/proc/22577/stat : 22577 (glucose) R 22576 21046 19107 0 -1 4202496 7724 0 0 0 2302 1 0 0 20 0 1 0 387115152 40640512 9420 33554432000 4194304 5208918 140735126921648 140735126919512 4211561 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22577/statm: 9922 9420 96 248 0 9671 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 65112
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 22633
/proc/meminfo: memFree=25145700/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
[pid=21047] ppid=21046 vsize=7128 CPUtime=1758.99 cores=0,2,4,6
/proc/21047/stat : 21047 (npSolver-wbo) S 21046 21046 19107 0 -1 4202496 35269 387953 0 0 89 12 175588 210 20 0 1 0 386945227 7299072 1342 33554432000 4194304 6006132 140734139480480 140734139471840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21047/statm: 1782 1342 177 443 0 1335 0
[pid=22618] ppid=21047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22618/stat : 22618 (satsolver.sh) S 21047 21046 19107 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387121172 9367552 266 33554432000 4194304 5064252 140733538810736 140733538809648 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22618/statm: 2287 266 226 213 0 72 0
[pid=22619] ppid=22618 vsize=39696 CPUtime=22.82 cores=0,2,4,6
/proc/22619/stat : 22619 (glucose) R 22618 21046 19107 0 -1 4202496 8286 0 0 0 2281 1 0 0 20 0 1 0 387121172 40648704 9421 33554432000 4194304 5208918 140734235800768 140734235798632 4229780 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22619/statm: 9924 9421 96 248 0 9673 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 65120
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 22640
/proc/meminfo: memFree=25145188/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
[pid=21047] ppid=21046 vsize=7128 CPUtime=1758.99 cores=0,2,4,6
/proc/21047/stat : 21047 (npSolver-wbo) S 21046 21046 19107 0 -1 4202496 35269 387953 0 0 89 12 175588 210 20 0 1 0 386945227 7299072 1342 33554432000 4194304 6006132 140734139480480 140734139471840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21047/statm: 1782 1342 177 443 0 1335 0
[pid=22618] ppid=21047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22618/stat : 22618 (satsolver.sh) S 21047 21046 19107 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387121172 9367552 266 33554432000 4194304 5064252 140733538810736 140733538809648 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22618/statm: 2287 266 226 213 0 72 0
[pid=22619] ppid=22618 vsize=51300 CPUtime=41.03 cores=0,2,4,6
/proc/22619/stat : 22619 (glucose) R 22618 21046 19107 0 -1 4202496 9444 0 0 0 4101 2 0 0 20 0 1 0 387121172 52531200 9251 33554432000 4194304 5208918 140734235800768 140734235798712 4229720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22619/statm: 12825 9251 96 248 0 12574 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 76724
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 22640
/proc/meminfo: memFree=25145188/32873844 swapFree=7896/7896
[pid=21046] ppid=21044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21046/stat : 21046 (npSolver-wbo-It) S 21044 21046 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386945227 9367552 274 33554432000 4194304 5064252 140734153841952 140734153840864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21046/statm: 2287 274 233 213 0 72 0
[pid=21047] ppid=21046 vsize=7128 CPUtime=1758.99 cores=0,2,4,6
/proc/21047/stat : 21047 (npSolver-wbo) S 21046 21046 19107 0 -1 4202496 35269 387953 0 0 89 12 175588 210 20 0 1 0 386945227 7299072 1342 33554432000 4194304 6006132 140734139480480 140734139471840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21047/statm: 1782 1342 177 443 0 1335 0
[pid=22618] ppid=21047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22618/stat : 22618 (satsolver.sh) S 21047 21046 19107 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387121172 9367552 266 33554432000 4194304 5064252 140733538810736 140733538809648 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22618/statm: 2287 266 226 213 0 72 0
[pid=22619] ppid=22618 vsize=51300 CPUtime=41.03 cores=0,2,4,6
/proc/22619/stat : 22619 (glucose) R 22618 21046 19107 0 -1 4202496 9444 0 0 0 4101 2 0 0 20 0 1 0 387121172 52531200 9251 33554432000 4194304 5208918 140734235800768 140734235798712 4229720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22619/statm: 12825 9251 96 248 0 12574 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 76724
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1797.79
CPU system time (s): 2.26066
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 84160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.79
system time used= 2.26066
maximum resident set size= 56336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 433655
page faults= 0
swaps= 0
block input operations= 0
block output operations= 143200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2999
involuntary context switches= 2209
runsolver used 3.48147 second user time and 9.1906 second system time
The end