Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco-sat 1.12 | SAT (TO) | 52 | 251.86501 | 252.00999 |
| Name | StillLife/StillLife-m1-s1/ StillLife-11-15.xml |
| MD5SUM | afc31b27070f112a4983969306f0150c |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 86 |
| Best CPU time to get the best result obtained on this benchmark | 251.97 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 330 |
| Number of constraints | 374 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 9 |
| Distribution of domain sizes | [{"size":2,"count":165},{"size":9,"count":165}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 10 |
| Distribution of variable degrees | [{"degree":2,"count":165},{"degree":7,"count":4},{"degree":8,"count":44},{"degree":10,"count":117}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 9 |
| Distribution of constraint arities | [{"arity":2,"count":165},{"arity":3,"count":44},{"arity":4,"count":4},{"arity":6,"count":44},{"arity":9,"count":117}] |
| Number of extensional constraints | 209 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":209},{"type":"sum","count":165}] |
| Optimization problem | YES |
| Type of objective | max SUM |
0.01/0.11 c SAT : Variables: 1815 -- Clauses: 6435 0.01/0.11 c best=?? lower=0 upper=165 0.01/0.11 c 0.01/0.11 c This is cosoco 1.12 -- 0.01/0.11 c 0.01/0.11 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266911-1502643258.xml 0.01/0.11 c enable optimization 0.01/0.11 c ========================================[ Problem Statistics ]=========================================== 0.01/0.11 c | 0.01/0.11 c | Parse time : 0.02 s 0.01/0.11 c | 0.01/0.11 c | Variables: 330 0.01/0.11 c | Domain Sizes: 2..9 0.01/0.11 c | 0.01/0.11 c | Constraints: 375 0.01/0.11 c | Arity: 2..165 -- Binary: 165 -- Ternary: 44 0.01/0.11 c | 0.01/0.11 c | Types: 0.01/0.11 c | Extension: 209 (nb tuples: 1..10) -- (shared: 204) 0.01/0.11 c | Sum: 166 0.01/0.11 c | 0.01/0.11 c ========================================================================================================= 0.01/0.11 o 0 0.01/0.11 c 1 calls to solver: best=0 lower=1 upper=165 0.01/0.12 o 4 0.01/0.12 o 5 0.01/0.12 c 3 calls to solver: best=5 lower=6 upper=165 0.01/0.13 o 6 0.01/0.15 o 8 0.01/0.15 c 5 calls to solver: best=8 lower=9 upper=165 0.01/0.16 o 9 0.01/0.20 o 11 0.01/0.20 c 7 calls to solver: best=11 lower=12 upper=165 0.12/0.25 o 12 0.22/0.32 o 14 0.22/0.32 c 9 calls to solver: best=14 lower=15 upper=165 1.10/1.23 o 16 1.30/1.43 conflict 150lvl : 148 bt148-137:0(1215)X257620 1.60/1.75 conflict 137lvl : 144 bt141-313:0(1188)X307193 2.01/2.15 o 18 2.01/2.15 c 11 calls to solver: best=18 lower=19 upper=165 2.10/2.20 o 20 2.10/2.27 conflict 141lvl : 140 bt140-187:0(1153)X401205 2.10/2.29 o 24 2.10/2.29 c 13 calls to solver: best=24 lower=25 upper=165 2.20/2.30 o 26 2.20/2.30 o 28 2.20/2.30 c 15 calls to solver: best=28 lower=29 upper=165 2.20/2.31 o 32 2.20/2.32 o 34 2.20/2.32 c 17 calls to solver: best=34 lower=35 upper=165 2.20/2.36 o 36 2.20/2.38 o 38 2.20/2.38 c 19 calls to solver: best=38 lower=39 upper=165 3.01/3.11 o 40 3.10/3.27 o 41 3.10/3.27 c 21 calls to solver: best=41 lower=42 upper=165 4.20/4.34 o 42 4.30/4.43 o 44 4.30/4.43 c 23 calls to solver: best=44 lower=45 upper=165 4.30/4.46 o 45 4.40/4.50 o 46 4.40/4.50 c 25 calls to solver: best=46 lower=47 upper=165 7.40/7.58 o 47 11.10/11.28 o 48 11.10/11.28 c 27 calls to solver: best=48 lower=49 upper=165 11.20/11.32 conflict 102lvl : 104 bt104-91:0(914)X439974 19.01/19.18 o 49 49.19/49.30 o 50 49.19/49.30 c 29 calls to solver: best=50 lower=51 upper=165 53.00/53.14 o 51 54.19/54.35 o 52 54.19/54.35 c 31 calls to solver: best=52 lower=53 upper=165 251.86/252.00 251.86/252.00 c *** INTERRUPTED *** 251.86/252.00 c restarts : 580 251.86/252.00 c conflicts : 2242227 (8903 /sec) 251.86/252.00 c decisions : 10843750 (43054 /sec) 251.86/252.00 c propagations : 201776094 (801140 /sec) 251.86/252.00 c root propagations : 152 251.86/252.00 c filter calls : 267896723 (1063668 /sec) 251.86/252.00 c useless filter calls : 156109631 (58 %) 251.86/252.00 c 251.86/252.00 c clauses : 9637 251.86/252.00 c SAT propagations : 189 251.86/252.00 c SAT conflicts : 0 (4 learnts) 251.86/252.00 c Memory used : 32.97 MB 251.86/252.00 c CPU time : 251.861 s 251.86/252.00 251.86/252.00 c nb Solutions = 31 251.86/252.00 s SATISFIABLE 251.86/252.00 c Best value found: 52 251.86/252.00 251.86/252.00 251.86/252.00 v <instantiation type='solution' cost='52'> 251.86/252.00 v <list>s[0][0] s[0][10] s[0][11] s[0][12] s[0][13] s[0][14] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[10][0] s[10][10] s[10][11] s[10][12] s[10][13] s[10][14] s[10][1] s[10][2] s[10][3] s[10][4] s[10][5] s[10][6] s[10][7] s[10][8] s[10][9] s[1][0] s[1][10] s[1][11] s[1][12] s[1][13] s[1][14] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[2][0] s[2][10] s[2][11] s[2][12] s[2][13] s[2][14] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[3][0] s[3][10] s[3][11] s[3][12] s[3][13] s[3][14] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[4][0] s[4][10] s[4][11] s[4][12] s[4][13] s[4][14] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[5][0] s[5][10] s[5][11] s[5][12] s[5][13] s[5][14] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[6][0] s[6][10] s[6][11] s[6][12] s[6][13] s[6][14] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[7][0] s[7][10] s[7][11] s[7][12] s[7][13] s[7][14] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[8][0] s[8][10] s[8][11] s[8][12] s[8][13] s[8][14] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[9][0] s[9][10] s[9][11] s[9][12] s[9][13] s[9][14] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6] s[9][7] s[9][8] s[9][9] x[0][0] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[1][0] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[2][0] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list> 251.86/252.00 v <values>0 3 3 4 3 3 0 2 3 3 2 2 3 3 4 2 3 3 4 3 3 3 2 4 2 3 2 1 0 2 0 3 3 4 3 3 0 2 3 3 2 2 3 3 4 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 3 2 2 1 0 0 3 2 0 0 0 0 0 0 1 3 2 2 2 0 0 3 2 0 0 0 0 0 0 1 2 4 3 4 2 2 2 1 0 0 0 1 2 2 2 0 4 3 5 3 3 0 0 0 0 0 2 2 2 2 1 2 2 4 3 3 1 1 0 1 1 4 3 4 2 2 4 4 4 4 4 2 2 2 2 2 4 2 2 2 2 3 3 4 3 3 5 3 4 3 5 3 2 1 2 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 1 1 0 1 0 1 0 1 0 0 0 </values> 251.86/252.00 v </instantiation> 251.86/252.00
OK 52
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (3584 MiB free)
memory of node 1: 16384 MiB (13986 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266911-1502643258/watcher-4266911-1502643258 -o /tmp/evaluation-result-4266911-1502643258/solver-4266911-1502643258 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502642157-20628 --watchdog 312 cosoco -lc -model -restarts -sat HOME/instance-4266911-1502643258.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20804, runsolver pid=20799
Current StackSize limit: 8192 KiB
[startup+0.100104 s]*
/proc/loadavg: 5.78 3.70 2.68 4/192 20807
/proc/meminfo: memFree=17992416/32770624 swapFree=67108764/67108860
[pid=20804] ppid=20799 vsize=27508 memory=3928 CPUtime=0.01 cores=0,2,4,6
/proc/20804/stat : 20804 (cosoco) R 20799 20804 4674 0 -1 4202496 1159 0 0 0 1 0 0 0 20 0 1 0 111832424 28168192 982 18446744073709551615 4194304 5972588 140724008493408 140724008490056 5451082 0 0 1 0 0 0 0 17 0 0 0 8 0 0 8070896 8075904 24764416 140724008497609 140724008497709 140724008497709 140724008501198 0
/proc/20804/statm: 6877 982 780 435 0 240 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 27508 KiB
Current children cumulated memory: 3928 KiB
[startup+0.209887 s]*
/proc/loadavg: 5.78 3.70 2.68 4/192 20807
/proc/meminfo: memFree=17979784/32770624 swapFree=67108764/67108860
[pid=20804] ppid=20799 vsize=33500 memory=7840 CPUtime=0.12 cores=0,2,4,6
/proc/20804/stat : 20804 (cosoco) R 20799 20804 4674 0 -1 4202496 1614 0 0 0 12 0 0 0 20 0 1 0 111832424 34304000 1960 18446744073709551615 4194304 5972588 140724008493408 140724008490056 5322696 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 8070896 8075904 24764416 140724008497609 140724008497709 140724008497709 140724008501198 0
/proc/20804/statm: 8375 1960 837 435 0 1738 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 33500 KiB
Current children cumulated memory: 7840 KiB
[startup+0.309674 s]*
/proc/loadavg: 5.78 3.70 2.68 3/192 20807
/proc/meminfo: memFree=17924640/32770624 swapFree=67108764/67108860
[pid=20804] ppid=20799 vsize=33500 memory=7840 CPUtime=0.22 cores=0,2,4,6
/proc/20804/stat : 20804 (cosoco) R 20799 20804 4674 0 -1 4202496 1614 0 0 0 22 0 0 0 20 0 1 0 111832424 34304000 1960 18446744073709551615 4194304 5972588 140724008493408 140724008490056 5039508 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 8070896 8075904 24764416 140724008497609 140724008497709 140724008497709 140724008501198 0
/proc/20804/statm: 8375 1960 837 435 0 1738 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 33500 KiB
Current children cumulated memory: 7840 KiB
[startup+0.700235 s]
/proc/loadavg: 5.78 3.70 2.68 3/192 20807
/proc/meminfo: memFree=17879200/32770624 swapFree=67108764/67108860
[pid=20804] ppid=20799 vsize=33500 memory=7840 CPUtime=0.6 cores=0,2,4,6
/proc/20804/stat : 20804 (cosoco) R 20799 20804 4674 0 -1 4202496 1621 0 0 0 60 0 0 0 20 0 1 0 111832424 34304000 1960 18446744073709551615 4194304 5972588 140724008493408 140724008480600 5045967 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 8070896 8075904 24764416 140724008497609 140724008497709 140724008497709 140724008501198 0
/proc/20804/statm: 8375 1960 837 435 0 1738 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 33500 KiB
Current children cumulated memory: 7840 KiB
[startup+1.50023 s]
/proc/loadavg: 5.78 3.70 2.68 3/192 20807
/proc/meminfo: memFree=17878736/32770624 swapFree=67108764/67108860
[pid=20804] ppid=20799 vsize=33628 memory=7840 CPUtime=1.4 cores=0,2,4,6
/proc/20804/stat : 20804 (cosoco) R 20799 20804 4674 0 -1 4202496 1652 0 0 0 140 0 0 0 20 0 1 0 111832424 34435072 1960 18446744073709551615 4194304 5972588 140724008493408 140724008490632 4908987 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 8070896 8075904 24764416 140724008497609 140724008497709 140724008497709 140724008501198 0
/proc/20804/statm: 8407 1960 837 435 0 1770 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 33628 KiB
Current children cumulated memory: 7840 KiB
[startup+3.10951 s]
/proc/loadavg: 5.78 3.70 2.68 3/192 20807
/proc/meminfo: memFree=17878968/32770624 swapFree=67108764/67108860
[pid=20804] ppid=20799 vsize=33628 memory=8064 CPUtime=3.01 cores=0,2,4,6
/proc/20804/stat : 20804 (cosoco) R 20799 20804 4674 0 -1 4202496 2234 0 0 0 301 0 0 0 20 0 1 0 111832424 34435072 2016 18446744073709551615 4194304 5972588 140724008493408 140724008480600 5046159 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 8070896 8075904 24764416 140724008497609 140724008497709 140724008497709 140724008501198 0
/proc/20804/statm: 8407 2016 842 435 0 1770 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 33628 KiB
Current children cumulated memory: 8064 KiB
[startup+6.30022 s]
/proc/loadavg: 5.88 3.76 2.70 3/192 20807
/proc/meminfo: memFree=17877828/32770624 swapFree=67108764/67108860
[pid=20804] ppid=20799 vsize=33628 memory=8092 CPUtime=6.2 cores=0,2,4,6
/proc/20804/stat : 20804 (cosoco) R 20799 20804 4674 0 -1 4202496 2798 0 0 0 620 0 0 0 20 0 1 0 111832424 34435072 2023 18446744073709551615 4194304 5972588 140724008493408 140724008480600 5139329 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 8070896 8075904 24764416 140724008497609 140724008497709 140724008497709 140724008501198 0
/proc/20804/statm: 8407 2023 842 435 0 1770 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 33628 KiB
Current children cumulated memory: 8092 KiB
[startup+12.7003 s]
/proc/loadavg: 5.97 3.81 2.73 3/192 20807
/proc/meminfo: memFree=17878536/32770624 swapFree=67108764/67108860
[pid=20804] ppid=20799 vsize=33628 memory=8096 CPUtime=12.6 cores=0,2,4,6
/proc/20804/stat : 20804 (cosoco) R 20799 20804 4674 0 -1 4202496 3366 0 0 0 1260 0 0 0 20 0 1 0 111832424 34435072 2024 18446744073709551615 4194304 5972588 140724008493408 140724008490632 5046945 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24764416 140724008497609 140724008497709 140724008497709 140724008501198 0
/proc/20804/statm: 8407 2024 842 435 0 1770 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 33628 KiB
Current children cumulated memory: 8096 KiB
[startup+25.5004 s]
/proc/loadavg: 6.27 3.98 2.80 3/194 20809
/proc/meminfo: memFree=17876780/32770624 swapFree=67108764/67108860
[pid=20804] ppid=20799 vsize=33760 memory=8104 CPUtime=25.4 cores=0,2,4,6
/proc/20804/stat : 20804 (cosoco) R 20799 20804 4674 0 -1 4202496 4484 0 0 0 2540 0 0 0 20 0 1 0 111832424 34570240 2026 18446744073709551615 4194304 5972588 140724008493408 140724008490856 5045821 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24764416 140724008497609 140724008497709 140724008497709 140724008501198 0
/proc/20804/statm: 8440 2026 842 435 0 1803 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 33760 KiB
Current children cumulated memory: 8104 KiB
[startup+51.1096 s]
/proc/loadavg: 6.86 4.31 2.94 3/193 20809
/proc/meminfo: memFree=17872868/32770624 swapFree=67108764/67108860
[pid=20804] ppid=20799 vsize=33760 memory=8124 CPUtime=51 cores=0,2,4,6
/proc/20804/stat : 20804 (cosoco) R 20799 20804 4674 0 -1 4202496 5057 0 0 0 5100 0 0 0 20 0 1 0 111832424 34570240 2031 18446744073709551615 4194304 5972588 140724008493408 140724008480600 5139338 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24764416 140724008497609 140724008497709 140724008497709 140724008501198 0
/proc/20804/statm: 8440 2031 842 435 0 1803 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 33760 KiB
Current children cumulated memory: 8124 KiB
[startup+102.3 s]
/proc/loadavg: 5.10 4.29 3.01 3/191 20818
/proc/meminfo: memFree=31717948/32770624 swapFree=67108764/67108860
[pid=20804] ppid=20799 vsize=33760 memory=8160 CPUtime=102.18 cores=0,2,4,6
/proc/20804/stat : 20804 (cosoco) R 20799 20804 4674 0 -1 4202496 5157 0 0 0 10218 0 0 0 20 0 1 0 111832424 34570240 2040 18446744073709551615 4194304 5972588 140724008493408 140724008480600 4913377 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24764416 140724008497609 140724008497709 140724008497709 140724008501198 0
/proc/20804/statm: 8440 2040 842 435 0 1803 0
Current children cumulated CPU time: 102.18 s
Current children cumulated vsize: 33760 KiB
Current children cumulated memory: 8160 KiB
[startup+162.3 s]
/proc/loadavg: 3.17 3.89 2.95 3/190 20820
/proc/meminfo: memFree=31718752/32770624 swapFree=67108764/67108860
[pid=20804] ppid=20799 vsize=33760 memory=8160 CPUtime=162.17 cores=0,2,4,6
/proc/20804/stat : 20804 (cosoco) R 20799 20804 4674 0 -1 4202496 5255 0 0 0 16217 0 0 0 20 0 1 0 111832424 34570240 2040 18446744073709551615 4194304 5972588 140724008493408 140724008480600 5039193 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24764416 140724008497609 140724008497709 140724008497709 140724008501198 0
/proc/20804/statm: 8440 2040 842 435 0 1803 0
Current children cumulated CPU time: 162.17 s
Current children cumulated vsize: 33760 KiB
Current children cumulated memory: 8160 KiB
[startup+222.3 s]
/proc/loadavg: 2.43 3.54 2.89 3/187 20822
/proc/meminfo: memFree=31722536/32770624 swapFree=67108764/67108860
[pid=20804] ppid=20799 vsize=33760 memory=8160 CPUtime=222.15 cores=0,2,4,6
/proc/20804/stat : 20804 (cosoco) R 20799 20804 4674 0 -1 4202496 5353 0 0 0 22215 0 0 0 20 0 1 0 111832424 34570240 2040 18446744073709551615 4194304 5972588 140724008493408 140724008480600 5046945 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24764416 140724008497609 140724008497709 140724008497709 140724008501198 0
/proc/20804/statm: 8440 2040 842 435 0 1803 0
Current children cumulated CPU time: 222.15 s
Current children cumulated vsize: 33760 KiB
Current children cumulated memory: 8160 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 2.26 3.40 2.86 3/187 20824
/proc/meminfo: memFree=31722916/32770624 swapFree=67108764/67108860
[pid=20804] ppid=20799 vsize=33760 memory=8160 CPUtime=251.86 cores=0,2,4,6
/proc/20804/stat : 20804 (cosoco) R 20799 20804 4674 0 -1 4202496 5451 0 0 0 25186 0 0 0 20 0 1 0 111832424 34570240 2040 18446744073709551615 4194304 5972588 140724008493408 140724008480600 5139312 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24764416 140724008497609 140724008497709 140724008497709 140724008501198 0
/proc/20804/statm: 8440 2040 842 435 0 1803 0
Current children cumulated CPU time: 251.86 s
Current children cumulated vsize: 33760 KiB
Current children cumulated memory: 8160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.01 s]
# the end of solver process 20804 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.862 s, system=0.003 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 252.01
CPU time (s): 251.865
CPU user time (s): 251.862
CPU system time (s): 0.003
CPU usage (%): 99.9424
Max. virtual memory (cumulated for all children) (KiB): 33760
Max. memory (cumulated for all children) (KiB): 8160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.862
system time used= 0.003
maximum resident set size= 8232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5497
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 1310
# summary of solver processes directly reported to runsolver:
# pid: 20804
# total CPU time (s): 251.865
# total CPU user time (s): 251.862
# total CPU system time (s): 0.003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.779324 second user time and 1.91408 second system time
The end
Begin job on node134 at 2017-08-13 18:40:24 IDJOB=4266911 IDBENCH=115930 IDSOLVER=2656 FILE ID=node134/4266911-1502643258 RUNJOBID= node134-1502642157-20628 PBS_JOBID= Free space on /tmp= 54100 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-11-15.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266911-1502643258/watcher-4266911-1502643258 -o /tmp/evaluation-result-4266911-1502643258/solver-4266911-1502643258 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502642157-20628 --watchdog 312 cosoco -lc -model -restarts -sat HOME/instance-4266911-1502643258.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= afc31b27070f112a4983969306f0150c RANDOM SEED=377815528 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 17992128 kB MemAvailable: 31906616 kB Buffers: 215196 kB Cached: 13708332 kB SwapCached: 4 kB Active: 361052 kB Inactive: 13621896 kB Active(anon): 5468 kB Inactive(anon): 95556 kB Active(file): 355584 kB Inactive(file): 13526340 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108764 kB Dirty: 4139520 kB Writeback: 111040 kB AnonPages: 59428 kB Mapped: 56572 kB Shmem: 41596 kB Slab: 495180 kB SReclaimable: 461024 kB SUnreclaim: 34156 kB KernelStack: 3280 kB PageTables: 5512 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 322552 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62028 MiB End job on node134 at 2017-08-13 18:44:38