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-3714201-1338174445/watcher-3714201-1338174445 -o /tmp/evaluation-result-3714201-1338174445/solver-3714201-1338174445 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714201-1338174445.wbo 1127696156 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.00 2.00 2.00 3/177 15694
/proc/meminfo: memFree=29759200/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15694/stat : 15694 (npSolver-wbo-I.) S 15692 15694 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283573067 9367552 274 33554432000 4194304 5064252 140736559000720 140736558999632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15694/statm: 2287 274 233 213 0 72 0
[startup+0.0103179 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15694
/proc/meminfo: memFree=29759200/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15694/stat : 15694 (npSolver-wbo-I.) S 15692 15694 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283573067 9367552 274 33554432000 4194304 5064252 140736559000720 140736558999632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15694/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100271 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15694
/proc/meminfo: memFree=29759200/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15694/stat : 15694 (npSolver-wbo-I.) S 15692 15694 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283573067 9367552 274 33554432000 4194304 5064252 140736559000720 140736558999632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15694/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300237 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15694
/proc/meminfo: memFree=29759200/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15694/stat : 15694 (npSolver-wbo-I.) S 15692 15694 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283573067 9367552 274 33554432000 4194304 5064252 140736559000720 140736558999632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15694/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15694
/proc/meminfo: memFree=29759200/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15694/stat : 15694 (npSolver-wbo-I.) S 15692 15694 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283573067 9367552 274 33554432000 4194304 5064252 140736559000720 140736558999632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15694/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15698
/proc/meminfo: memFree=29676860/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15694/stat : 15694 (npSolver-wbo-I.) S 15692 15694 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283573067 9367552 274 33554432000 4194304 5064252 140736559000720 140736558999632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15694/statm: 2287 274 233 213 0 72 0
[pid=15695] ppid=15694 vsize=10548 CPUtime=0.3 cores=1,3,5,7
/proc/15695/stat : 15695 (npSolver-wbo) S 15694 15694 14387 0 -1 4202496 3795 0 0 0 29 1 0 0 20 0 1 0 283573067 10801152 2145 33554432000 4194304 5990268 140737225397408 140737225390560 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15695/statm: 2637 2145 156 439 0 2194 0
[pid=15697] ppid=15695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15697/stat : 15697 (cp2_pre.sh) S 15695 15694 14387 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 283573098 9367552 277 33554432000 4194304 5064252 140733638042672 140733638041376 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15697/statm: 2287 277 234 213 0 72 0
[pid=15698] ppid=15697 vsize=73260 CPUtime=1.17 cores=1,3,5,7
/proc/15698/stat : 15698 (coprocessor) R 15697 15694 14387 0 -1 4202496 14499 0 0 0 115 2 0 0 20 0 1 0 283573098 75018240 17639 33554432000 4194304 6586260 140735060113616 140735060108936 5599298 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/15698/statm: 18315 17639 191 584 0 17727 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 102104
[startup+3.10015 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 15728
/proc/meminfo: memFree=29853316/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15694/stat : 15694 (npSolver-wbo-I.) S 15692 15694 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283573067 9367552 274 33554432000 4194304 5064252 140736559000720 140736558999632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15694/statm: 2287 274 233 213 0 72 0
[pid=15695] ppid=15694 vsize=10548 CPUtime=2.66 cores=1,3,5,7
/proc/15695/stat : 15695 (npSolver-wbo) S 15694 15694 14387 0 -1 4202496 3805 18210 0 0 29 1 205 31 20 0 1 0 283573067 10801152 2146 33554432000 4194304 5990268 140737225397408 140737225391648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15695/statm: 2637 2146 157 439 0 2194 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 19696
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 2/182 15767
/proc/meminfo: memFree=29847876/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15694/stat : 15694 (npSolver-wbo-I.) S 15692 15694 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283573067 9367552 274 33554432000 4194304 5064252 140736559000720 140736558999632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15694/statm: 2287 274 233 213 0 72 0
[pid=15695] ppid=15694 vsize=20296 CPUtime=5.76 cores=1,3,5,7
/proc/15695/stat : 15695 (npSolver-wbo) S 15694 15694 14387 0 -1 4202496 11614 71478 0 0 52 12 455 57 20 0 1 0 283573067 20783104 4469 33554432000 4194304 5990268 140737225397408 140737225388848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15695/statm: 5074 4469 170 439 0 4631 0
Current children cumulated CPU time (s) 5.76
Current children cumulated vsize (KiB) 29444
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15819
/proc/meminfo: memFree=29818388/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15694/stat : 15694 (npSolver-wbo-I.) S 15692 15694 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283573067 9367552 274 33554432000 4194304 5064252 140736559000720 140736558999632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15694/statm: 2287 274 233 213 0 72 0
[pid=15695] ppid=15694 vsize=20296 CPUtime=9.08 cores=1,3,5,7
/proc/15695/stat : 15695 (npSolver-wbo) S 15694 15694 14387 0 -1 4202496 15323 125053 0 0 56 13 761 78 20 0 1 0 283573067 20783104 4469 33554432000 4194304 5990268 140737225397408 140737225388848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15695/statm: 5074 4469 170 439 0 4631 0
[pid=15815] ppid=15695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15815/stat : 15815 (satsolver.sh) S 15695 15694 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283573977 9367552 267 33554432000 4194304 5064252 140735568193136 140735568192048 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15815/statm: 2287 267 226 213 0 72 0
[pid=15816] ppid=15815 vsize=29504 CPUtime=3.58 cores=1,3,5,7
/proc/15816/stat : 15816 (glucose) R 15815 15694 14387 0 -1 4202496 7753 0 0 0 357 1 0 0 20 0 1 0 283573978 30212096 6720 33554432000 4194304 5208918 140734218706656 140734218704600 4222322 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15816/statm: 7376 6720 105 248 0 7125 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 68096
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15851
/proc/meminfo: memFree=29830916/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15694/stat : 15694 (npSolver-wbo-I.) S 15692 15694 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283573067 9367552 274 33554432000 4194304 5064252 140736559000720 140736558999632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15694/statm: 2287 274 233 213 0 72 0
[pid=15695] ppid=15694 vsize=20296 CPUtime=9.08 cores=1,3,5,7
/proc/15695/stat : 15695 (npSolver-wbo) S 15694 15694 14387 0 -1 4202496 15323 125053 0 0 56 13 761 78 20 0 1 0 283573067 20783104 4469 33554432000 4194304 5990268 140737225397408 140737225388848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15695/statm: 5074 4469 170 439 0 4631 0
[pid=15815] ppid=15695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15815/stat : 15815 (satsolver.sh) S 15695 15694 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283573977 9367552 267 33554432000 4194304 5064252 140735568193136 140735568192048 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15815/statm: 2287 267 226 213 0 72 0
[pid=15816] ppid=15815 vsize=31404 CPUtime=16.38 cores=1,3,5,7
/proc/15816/stat : 15816 (glucose) R 15815 15694 14387 0 -1 4202496 9183 0 0 0 1636 2 0 0 20 0 1 0 283573978 32157696 6834 33554432000 4194304 5208918 140734218706656 140734218703032 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15816/statm: 7851 6834 105 248 0 7600 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 69996
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15865
/proc/meminfo: memFree=29796916/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15694/stat : 15694 (npSolver-wbo-I.) S 15692 15694 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283573067 9367552 274 33554432000 4194304 5064252 140736559000720 140736558999632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15694/statm: 2287 274 233 213 0 72 0
[pid=15695] ppid=15694 vsize=20296 CPUtime=9.08 cores=1,3,5,7
/proc/15695/stat : 15695 (npSolver-wbo) S 15694 15694 14387 0 -1 4202496 15323 125053 0 0 56 13 761 78 20 0 1 0 283573067 20783104 4469 33554432000 4194304 5990268 140737225397408 140737225388848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15695/statm: 5074 4469 170 439 0 4631 0
[pid=15815] ppid=15695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15815/stat : 15815 (satsolver.sh) S 15695 15694 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283573977 9367552 267 33554432000 4194304 5064252 140735568193136 140735568192048 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15815/statm: 2287 267 226 213 0 72 0
[pid=15816] ppid=15815 vsize=50332 CPUtime=41.97 cores=1,3,5,7
/proc/15816/stat : 15816 (glucose) R 15815 15694 14387 0 -1 4202496 10776 0 0 0 4194 3 0 0 20 0 1 0 283573978 51539968 11957 33554432000 4194304 5208918 140734218706656 140734218703032 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15816/statm: 12583 11957 105 248 0 12332 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 88924
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15866
/proc/meminfo: memFree=29747816/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15694/stat : 15694 (npSolver-wbo-I.) S 15692 15694 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283573067 9367552 274 33554432000 4194304 5064252 140736559000720 140736558999632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15694/statm: 2287 274 233 213 0 72 0
[pid=15695] ppid=15694 vsize=20296 CPUtime=9.08 cores=1,3,5,7
/proc/15695/stat : 15695 (npSolver-wbo) S 15694 15694 14387 0 -1 4202496 15323 125053 0 0 56 13 761 78 20 0 1 0 283573067 20783104 4469 33554432000 4194304 5990268 140737225397408 140737225388848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15695/statm: 5074 4469 170 439 0 4631 0
[pid=15815] ppid=15695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15815/stat : 15815 (satsolver.sh) S 15695 15694 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283573977 9367552 267 33554432000 4194304 5064252 140735568193136 140735568192048 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15815/statm: 2287 267 226 213 0 72 0
[pid=15816] ppid=15815 vsize=69008 CPUtime=93.17 cores=1,3,5,7
/proc/15816/stat : 15816 (glucose) R 15815 15694 14387 0 -1 4202496 11293 0 0 0 9313 4 0 0 20 0 1 0 283573978 70664192 16821 33554432000 4194304 5208918 140734218706656 140734218703032 4229876 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15816/statm: 17252 16821 105 248 0 17001 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 107600
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15869
/proc/meminfo: memFree=29721640/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15694/stat : 15694 (npSolver-wbo-I.) S 15692 15694 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283573067 9367552 274 33554432000 4194304 5064252 140736559000720 140736558999632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15694/statm: 2287 274 233 213 0 72 0
[pid=15695] ppid=15694 vsize=20296 CPUtime=9.08 cores=1,3,5,7
/proc/15695/stat : 15695 (npSolver-wbo) S 15694 15694 14387 0 -1 4202496 15323 125053 0 0 56 13 761 78 20 0 1 0 283573067 20783104 4469 33554432000 4194304 5990268 140737225397408 140737225388848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15695/statm: 5074 4469 170 439 0 4631 0
[pid=15815] ppid=15695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15815/stat : 15815 (satsolver.sh) S 15695 15694 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283573977 9367552 267 33554432000 4194304 5064252 140735568193136 140735568192048 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15815/statm: 2287 267 226 213 0 72 0
[pid=15816] ppid=15815 vsize=99820 CPUtime=153.15 cores=1,3,5,7
/proc/15816/stat : 15816 (glucose) R 15815 15694 14387 0 -1 4202496 13230 0 0 0 15310 5 0 0 20 0 1 0 283573978 102215680 19849 33554432000 4194304 5208918 140734218706656 140734218703032 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15816/statm: 24955 19849 105 248 0 24704 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 138412
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15869
/proc/meminfo: memFree=29675708/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/15816/stat : 15816 (glucose) R 15815 15694 14387 0 -1 4202496 40961 0 0 0 135217 78 0 0 20 0 1 0 283573978 250281984 49549 33554432000 4194304 5208918 140734218706656 140734218704808 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15816/statm: 61104 49549 105 248 0 60853 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 283008
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15879
/proc/meminfo: memFree=29530364/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15694/stat : 15694 (npSolver-wbo-I.) S 15692 15694 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283573067 9367552 274 33554432000 4194304 5064252 140736559000720 140736558999632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15694/statm: 2287 274 233 213 0 72 0
[pid=15695] ppid=15694 vsize=20296 CPUtime=9.08 cores=1,3,5,7
/proc/15695/stat : 15695 (npSolver-wbo) S 15694 15694 14387 0 -1 4202496 15323 125053 0 0 56 13 761 78 20 0 1 0 283573067 20783104 4469 33554432000 4194304 5990268 140737225397408 140737225388848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15695/statm: 5074 4469 170 439 0 4631 0
[pid=15815] ppid=15695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15815/stat : 15815 (satsolver.sh) S 15695 15694 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283573977 9367552 267 33554432000 4194304 5064252 140735568193136 140735568192048 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15815/statm: 2287 267 226 213 0 72 0
[pid=15816] ppid=15815 vsize=163508 CPUtime=1412.95 cores=1,3,5,7
/proc/15816/stat : 15816 (glucose) R 15815 15694 14387 0 -1 4202496 42041 0 0 0 141214 81 0 0 20 0 1 0 283573978 167432192 36791 33554432000 4194304 5208918 140734218706656 140734218704744 4212476 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15816/statm: 40877 36791 105 248 0 40626 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 202100
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15879
/proc/meminfo: memFree=29519428/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15694/stat : 15694 (npSolver-wbo-I.) S 15692 15694 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283573067 9367552 274 33554432000 4194304 5064252 140736559000720 140736558999632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15694/statm: 2287 274 233 213 0 72 0
[pid=15695] ppid=15694 vsize=20296 CPUtime=9.08 cores=1,3,5,7
/proc/15695/stat : 15695 (npSolver-wbo) S 15694 15694 14387 0 -1 4202496 15323 125053 0 0 56 13 761 78 20 0 1 0 283573067 20783104 4469 33554432000 4194304 5990268 140737225397408 140737225388848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15695/statm: 5074 4469 170 439 0 4631 0
[pid=15815] ppid=15695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15815/stat : 15815 (satsolver.sh) S 15695 15694 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283573977 9367552 267 33554432000 4194304 5064252 140735568193136 140735568192048 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15815/statm: 2287 267 226 213 0 72 0
[pid=15816] ppid=15815 vsize=166612 CPUtime=1472.94 cores=1,3,5,7
/proc/15816/stat : 15816 (glucose) R 15815 15694 14387 0 -1 4202496 43991 0 0 0 147210 84 0 0 20 0 1 0 283573978 170610688 38693 33554432000 4194304 5208918 140734218706656 140734218703032 4229728 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15816/statm: 41653 38693 105 248 0 41402 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 205204
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15879
/proc/meminfo: memFree=29499856/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15694/stat : 15694 (npSolver-wbo-I.) S 15692 15694 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283573067 9367552 274 33554432000 4194304 5064252 140736559000720 140736558999632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15694/statm: 2287 274 233 213 0 72 0
[pid=15695] ppid=15694 vsize=20296 CPUtime=9.08 cores=1,3,5,7
/proc/15695/stat : 15695 (npSolver-wbo) S 15694 15694 14387 0 -1 4202496 15323 125053 0 0 56 13 761 78 20 0 1 0 283573067 20783104 4469 33554432000 4194304 5990268 140737225397408 140737225388848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15695/statm: 5074 4469 170 439 0 4631 0
[pid=15815] ppid=15695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15815/stat : 15815 (satsolver.sh) S 15695 15694 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283573977 9367552 267 33554432000 4194304 5064252 140735568193136 140735568192048 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15815/statm: 2287 267 226 213 0 72 0
[pid=15816] ppid=15815 vsize=198148 CPUtime=1532.92 cores=1,3,5,7
/proc/15816/stat : 15816 (glucose) R 15815 15694 14387 0 -1 4202496 46310 0 0 0 153205 87 0 0 20 0 1 0 283573978 202903552 42534 33554432000 4194304 5208918 140734218706656 140734218704808 4229757 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15816/statm: 49537 42534 105 248 0 49286 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 236740
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15880
/proc/meminfo: memFree=29423812/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15694/stat : 15694 (npSolver-wbo-I.) S 15692 15694 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283573067 9367552 274 33554432000 4194304 5064252 140736559000720 140736558999632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15694/statm: 2287 274 233 213 0 72 0
[pid=15695] ppid=15694 vsize=20296 CPUtime=9.08 cores=1,3,5,7
/proc/15695/stat : 15695 (npSolver-wbo) S 15694 15694 14387 0 -1 4202496 15323 125053 0 0 56 13 761 78 20 0 1 0 283573067 20783104 4469 33554432000 4194304 5990268 140737225397408 140737225388848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15695/statm: 5074 4469 170 439 0 4631 0
[pid=15815] ppid=15695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15815/stat : 15815 (satsolver.sh) S 15695 15694 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283573977 9367552 267 33554432000 4194304 5064252 140735568193136 140735568192048 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15815/statm: 2287 267 226 213 0 72 0
[pid=15816] ppid=15815 vsize=148408 CPUtime=1592.91 cores=1,3,5,7
/proc/15816/stat : 15816 (glucose) R 15815 15694 14387 0 -1 4202496 47710 0 0 0 159200 91 0 0 20 0 1 0 283573978 151969792 35719 33554432000 4194304 5208918 140734218706656 140734218704744 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15816/statm: 37102 35719 105 248 0 36851 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 187000
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15880
/proc/meminfo: memFree=29404676/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15694/stat : 15694 (npSolver-wbo-I.) S 15692 15694 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283573067 9367552 274 33554432000 4194304 5064252 140736559000720 140736558999632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15694/statm: 2287 274 233 213 0 72 0
[pid=15695] ppid=15694 vsize=20296 CPUtime=9.08 cores=1,3,5,7
/proc/15695/stat : 15695 (npSolver-wbo) S 15694 15694 14387 0 -1 4202496 15323 125053 0 0 56 13 761 78 20 0 1 0 283573067 20783104 4469 33554432000 4194304 5990268 140737225397408 140737225388848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15695/statm: 5074 4469 170 439 0 4631 0
[pid=15815] ppid=15695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15815/stat : 15815 (satsolver.sh) S 15695 15694 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283573977 9367552 267 33554432000 4194304 5064252 140735568193136 140735568192048 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15815/statm: 2287 267 226 213 0 72 0
[pid=15816] ppid=15815 vsize=278636 CPUtime=1652.91 cores=1,3,5,7
/proc/15816/stat : 15816 (glucose) R 15815 15694 14387 0 -1 4202496 49686 0 0 0 165197 94 0 0 20 0 1 0 283573978 285323264 64758 33554432000 4194304 5208918 140734218706656 140734218703032 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15816/statm: 69659 64758 105 248 0 69408 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 317228
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15880
/proc/meminfo: memFree=29473584/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15694/stat : 15694 (npSolver-wbo-I.) S 15692 15694 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283573067 9367552 274 33554432000 4194304 5064252 140736559000720 140736558999632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15694/statm: 2287 274 233 213 0 72 0
[pid=15695] ppid=15694 vsize=20296 CPUtime=9.08 cores=1,3,5,7
/proc/15695/stat : 15695 (npSolver-wbo) S 15694 15694 14387 0 -1 4202496 15323 125053 0 0 56 13 761 78 20 0 1 0 283573067 20783104 4469 33554432000 4194304 5990268 140737225397408 140737225388848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15695/statm: 5074 4469 170 439 0 4631 0
[pid=15815] ppid=15695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15815/stat : 15815 (satsolver.sh) S 15695 15694 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283573977 9367552 267 33554432000 4194304 5064252 140735568193136 140735568192048 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15815/statm: 2287 267 226 213 0 72 0
[pid=15816] ppid=15815 vsize=197728 CPUtime=1712.89 cores=1,3,5,7
/proc/15816/stat : 15816 (glucose) R 15815 15694 14387 0 -1 4202496 51314 0 0 0 171191 98 0 0 20 0 1 0 283573978 202473472 47494 33554432000 4194304 5208918 140734218706656 140734218704648 4228982 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15816/statm: 49432 47494 105 248 0 49181 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 236320
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15881
/proc/meminfo: memFree=29502292/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15694/stat : 15694 (npSolver-wbo-I.) S 15692 15694 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283573067 9367552 274 33554432000 4194304 5064252 140736559000720 140736558999632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15694/statm: 2287 274 233 213 0 72 0
[pid=15695] ppid=15694 vsize=20296 CPUtime=9.08 cores=1,3,5,7
/proc/15695/stat : 15695 (npSolver-wbo) S 15694 15694 14387 0 -1 4202496 15323 125053 0 0 56 13 761 78 20 0 1 0 283573067 20783104 4469 33554432000 4194304 5990268 140737225397408 140737225388848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15695/statm: 5074 4469 170 439 0 4631 0
[pid=15815] ppid=15695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15815/stat : 15815 (satsolver.sh) S 15695 15694 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283573977 9367552 267 33554432000 4194304 5064252 140735568193136 140735568192048 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15815/statm: 2287 267 226 213 0 72 0
[pid=15816] ppid=15815 vsize=148408 CPUtime=1772.87 cores=1,3,5,7
/proc/15816/stat : 15816 (glucose) R 15815 15694 14387 0 -1 4202496 53292 0 0 0 177185 102 0 0 20 0 1 0 283573978 151969792 36671 33554432000 4194304 5208918 140734218706656 140734218704744 4229125 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15816/statm: 37102 36671 105 248 0 36851 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 187000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15881
/proc/meminfo: memFree=29432344/32873844 swapFree=7112/7112
[pid=15694] ppid=15692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15694/stat : 15694 (npSolver-wbo-I.) S 15692 15694 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283573067 9367552 274 33554432000 4194304 5064252 140736559000720 140736558999632 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15694/statm: 2287 274 233 213 0 72 0
[pid=15695] ppid=15694 vsize=20296 CPUtime=9.08 cores=1,3,5,7
/proc/15695/stat : 15695 (npSolver-wbo) S 15694 15694 14387 0 -1 4202496 15323 125053 0 0 56 13 761 78 20 0 1 0 283573067 20783104 4469 33554432000 4194304 5990268 140737225397408 140737225388848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15695/statm: 5074 4469 170 439 0 4631 0
[pid=15815] ppid=15695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15815/stat : 15815 (satsolver.sh) S 15695 15694 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283573977 9367552 267 33554432000 4194304 5064252 140735568193136 140735568192048 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15815/statm: 2287 267 226 213 0 72 0
[pid=15816] ppid=15815 vsize=228548 CPUtime=1790.97 cores=1,3,5,7
/proc/15816/stat : 15816 (glucose) R 15815 15694 14387 0 -1 4202496 53974 0 0 0 178994 103 0 0 20 0 1 0 283573978 234033152 51659 33554432000 4194304 5208918 140734218706656 140734218704808 4211455 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15816/statm: 57137 51659 105 248 0 56886 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 267140
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15694 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=180756
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=924859
# CPU time returned by wait4() is 9.10562
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1798.11
CPU system time (s): 1.94
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 413716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.18076
system time used= 0.924859
maximum resident set size= 89600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141353
page faults= 0
swaps= 0
block input operations= 0
block output operations= 95696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2069
involuntary context switches= 125
runsolver used 3.20051 second user time and 7.60784 second system time
The end