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) | 61 | 2519.79 | 2520.01 |
| Name | StillLife/StillLife-m1-s1/ StillLife-10-12.xml |
| MD5SUM | 20c15018e625ff04718a0750d7a9de92 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 64 |
| Best CPU time to get the best result obtained on this benchmark | 2400.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 240 |
| Number of constraints | 276 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 9 |
| Distribution of domain sizes | [{"size":2,"count":120},{"size":9,"count":120}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 10 |
| Distribution of variable degrees | [{"degree":2,"count":120},{"degree":7,"count":4},{"degree":8,"count":36},{"degree":10,"count":80}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 9 |
| Distribution of constraint arities | [{"arity":2,"count":120},{"arity":3,"count":36},{"arity":4,"count":4},{"arity":6,"count":36},{"arity":9,"count":80}] |
| Number of extensional constraints | 156 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":156},{"type":"sum","count":120}] |
| Optimization problem | YES |
| Type of objective | max SUM |
0.01/0.11 c SAT : Variables: 1320 -- Clauses: 4680 0.01/0.11 c best=?? lower=0 upper=120 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-4265917-1502568550.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.01 s 0.01/0.11 c | 0.01/0.11 c | Variables: 240 0.01/0.11 c | Domain Sizes: 2..9 0.01/0.11 c | 0.01/0.11 c | Constraints: 277 0.01/0.11 c | Arity: 2..120 -- Binary: 120 -- Ternary: 36 0.01/0.11 c | 0.01/0.11 c | Types: 0.01/0.11 c | Extension: 156 (nb tuples: 1..10) -- (shared: 151) 0.01/0.11 c | Sum: 121 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=120 0.01/0.11 o 4 0.01/0.11 o 8 0.01/0.11 c 3 calls to solver: best=8 lower=9 upper=120 0.01/0.12 o 9 0.01/0.13 o 10 0.01/0.13 c 5 calls to solver: best=10 lower=11 upper=120 0.11/0.31 o 12 0.21/0.33 o 13 0.21/0.33 c 7 calls to solver: best=13 lower=14 upper=120 0.31/0.42 o 14 0.31/0.50 o 16 0.31/0.50 c 9 calls to solver: best=16 lower=17 upper=120 0.41/0.56 conflict 102lvl : 101 bt101-47:0(837)X77350 0.60/0.73 conflict 97lvl : 98 bt98-25:0(814)X104381 0.60/0.73 conflict 100lvl : 101 bt100-229:0(829)X105703 1.20/1.31 conflict 86lvl : 97 bt97-79:0(805)X194887 1.30/1.40 conflict 88lvl : 101 bt98-145:0(831)X209919 1.30/1.48 o 18 1.30/1.49 o 20 1.30/1.49 c 11 calls to solver: best=20 lower=21 upper=120 1.30/1.49 o 24 1.40/1.50 o 26 1.40/1.50 c 13 calls to solver: best=26 lower=27 upper=120 1.40/1.51 o 28 1.40/1.57 o 30 1.40/1.57 c 15 calls to solver: best=30 lower=31 upper=120 1.80/1.99 o 32 3.01/3.16 o 33 3.01/3.16 c 17 calls to solver: best=33 lower=34 upper=120 3.30/3.47 o 34 3.50/3.66 o 35 3.50/3.66 c 19 calls to solver: best=35 lower=36 upper=120 6.30/6.46 o 36 7.50/7.61 o 37 7.50/7.61 c 21 calls to solver: best=37 lower=38 upper=120 7.90/8.02 o 38 7.90/8.08 o 39 7.90/8.08 c 23 calls to solver: best=39 lower=40 upper=120 8.10/8.25 o 40 8.20/8.33 o 41 8.20/8.33 c 25 calls to solver: best=41 lower=42 upper=120 8.50/8.68 o 42 9.00/9.10 o 43 9.00/9.10 c 27 calls to solver: best=43 lower=44 upper=120 21.20/21.33 o 44 21.20/21.35 o 45 21.20/21.35 c 29 calls to solver: best=45 lower=46 upper=120 21.20/21.39 o 46 22.20/22.32 o 48 22.20/22.32 c 31 calls to solver: best=48 lower=49 upper=120 23.40/23.56 o 49 23.60/23.76 o 50 23.60/23.76 c 33 calls to solver: best=50 lower=51 upper=120 23.80/23.96 conflict 47lvl : 49 bt48-109:0(457)X253004 36.39/36.56 o 51 38.00/38.14 o 52 38.00/38.14 c 35 calls to solver: best=52 lower=53 upper=120 38.69/38.89 o 53 39.19/39.39 o 54 39.19/39.39 c 37 calls to solver: best=54 lower=55 upper=120 40.09/40.29 o 55 255.18/255.31 o 56 255.18/255.31 c 39 calls to solver: best=56 lower=57 upper=120 568.17/568.38 o 57 583.26/583.49 o 59 583.26/583.49 c 41 calls to solver: best=59 lower=60 upper=120 733.16/733.39 o 60 870.55/870.70 o 61 870.55/870.70 c 43 calls to solver: best=61 lower=62 upper=120 2519.78/2520.00 2519.78/2520.00 c *** INTERRUPTED *** 2519.78/2520.00 c restarts : 605 2519.78/2520.00 c conflicts : 25032019 (9934 /sec) 2519.78/2520.00 c decisions : 123928600 (49182 /sec) 2519.78/2520.00 c propagations : 2230860807 (885339 /sec) 2519.78/2520.00 c root propagations : 128 2519.78/2520.00 c filter calls : 2879736027 (1142852 /sec) 2519.78/2520.00 c useless filter calls : 1719320188 (59 %) 2519.78/2520.00 c 2519.78/2520.00 c clauses : 7650 2519.78/2520.00 c SAT propagations : 516 2519.78/2520.00 c SAT conflicts : 0 (6 learnts) 2519.78/2520.00 c Memory used : 32.20 MB 2519.78/2520.00 c CPU time : 2519.78 s 2519.78/2520.00 2519.78/2520.00 c nb Solutions = 43 2519.78/2520.00 s SATISFIABLE 2519.78/2520.00 c Best value found: 61 2519.78/2520.00 2519.78/2520.00 2519.78/2520.00 v <instantiation type='solution' cost='61'> 2519.78/2520.00 v <list>s[0][0] s[0][10] s[0][11] 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[1][0] s[1][10] s[1][11] 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][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][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][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][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][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][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][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][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][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[1][0] x[1][10] x[1][11] 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][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][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][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][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][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][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][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][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> 2519.78/2520.00 v <values>3 3 3 3 4 3 3 2 2 3 3 4 3 3 3 3 4 3 3 2 2 3 3 4 4 5 4 4 4 4 5 4 4 5 5 5 2 3 2 2 4 2 3 2 2 2 2 2 4 5 2 3 4 3 5 4 4 4 5 4 3 4 2 5 4 4 3 4 4 2 4 2 2 3 2 3 2 4 3 3 3 3 5 3 4 4 2 5 5 3 5 5 5 5 3 5 2 3 4 3 5 3 5 2 3 5 3 5 2 2 2 4 3 2 4 2 4 3 2 4 1 1 1 1 0 1 1 0 0 1 1 0 1 1 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 1 0 1 1 0 1 0 1 1 0 </values> 2519.78/2520.00 v </instantiation> 2519.78/2520.00
OK 61
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 (15005 MiB free)
memory of node 1: 16384 MiB (13792 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265917-1502568550/watcher-4265917-1502568550 -o /tmp/evaluation-result-4265917-1502568550/solver-4265917-1502568550 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502565159-17156 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265917-1502568550.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=18023, runsolver pid=18020
Current StackSize limit: 8192 KiB
[startup+0.10016 s]*
/proc/loadavg: 1.92 2.00 1.89 3/181 18024
/proc/meminfo: memFree=29489324/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=27376 memory=3792 CPUtime=0.01 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 1112 0 0 0 1 0 0 0 20 0 1 0 59048347 28033024 948 18446744073709551615 4194304 5972588 140722700154032 140722700150680 5451082 0 0 1 0 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 6844 948 780 435 0 207 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 27376 KiB
Current children cumulated memory: 3792 KiB
[startup+0.209239 s]*
/proc/loadavg: 1.92 2.00 1.89 3/181 18024
/proc/meminfo: memFree=29488244/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32672 memory=5108 CPUtime=0.11 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 1445 0 0 0 11 0 0 0 20 0 1 0 59048347 33456128 1277 18446744073709551615 4194304 5972588 140722700154032 140722700150680 5139264 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8168 1277 837 435 0 1531 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 5108 KiB
[startup+0.308905 s]*
/proc/loadavg: 1.92 2.00 1.89 3/181 18024
/proc/meminfo: memFree=29488244/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32672 memory=5108 CPUtime=0.21 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 1457 0 0 0 21 0 0 0 20 0 1 0 59048347 33456128 1277 18446744073709551615 4194304 5972588 140722700154032 140722700150680 5045817 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8168 1277 837 435 0 1531 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 5108 KiB
[startup+0.700331 s]
/proc/loadavg: 1.92 2.00 1.89 3/181 18024
/proc/meminfo: memFree=29488244/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32672 memory=5372 CPUtime=0.6 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 1524 0 0 0 60 0 0 0 20 0 1 0 59048347 33456128 1343 18446744073709551615 4194304 5972588 140722700154032 140722700151256 5338173 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8168 1343 842 435 0 1531 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 5372 KiB
[startup+1.50033 s]
/proc/loadavg: 1.92 2.00 1.89 3/181 18024
/proc/meminfo: memFree=29487872/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32800 memory=5888 CPUtime=1.4 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 1684 0 0 0 140 0 0 0 20 0 1 0 59048347 33587200 1472 18446744073709551615 4194304 5972588 140722700154032 140722700151256 5338173 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8200 1472 842 435 0 1563 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 32800 KiB
Current children cumulated memory: 5888 KiB
[startup+3.10898 s]
/proc/loadavg: 1.92 2.00 1.89 3/181 18024
/proc/meminfo: memFree=29487128/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32800 memory=6108 CPUtime=3.01 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 2280 0 0 0 301 0 0 0 20 0 1 0 59048347 33587200 1527 18446744073709551615 4194304 5972588 140722700154032 140722700151256 5045833 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8200 1527 842 435 0 1563 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 32800 KiB
Current children cumulated memory: 6108 KiB
[startup+6.30032 s]
/proc/loadavg: 1.93 2.00 1.89 3/181 18024
/proc/meminfo: memFree=29487128/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32800 memory=6136 CPUtime=6.2 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 2887 0 0 0 620 0 0 0 20 0 1 0 59048347 33587200 1534 18446744073709551615 4194304 5972588 140722700154032 140722700141224 5040162 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8200 1534 842 435 0 1563 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 32800 KiB
Current children cumulated memory: 6136 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 1.89 3/181 18024
/proc/meminfo: memFree=29487144/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32800 memory=6164 CPUtime=12.6 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 3511 0 0 0 1260 0 0 0 20 0 1 0 59048347 33587200 1541 18446744073709551615 4194304 5972588 140722700154032 140722700141224 5328722 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8200 1541 842 435 0 1563 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 32800 KiB
Current children cumulated memory: 6164 KiB
[startup+25.5003 s]
/proc/loadavg: 2.11 2.03 1.90 2/177 18380
/proc/meminfo: memFree=31177756/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32800 memory=6212 CPUtime=25.4 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 4757 0 0 0 2540 0 0 0 20 0 1 0 59048347 33587200 1553 18446744073709551615 4194304 5972588 140722700154032 140722700151256 5046971 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8200 1553 842 435 0 1563 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 32800 KiB
Current children cumulated memory: 6212 KiB
[startup+51.1089 s]
/proc/loadavg: 2.02 2.01 1.90 3/181 18654
/proc/meminfo: memFree=31091612/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32800 memory=6224 CPUtime=51 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 5384 0 0 0 5100 0 0 0 20 0 1 0 59048347 33587200 1556 18446744073709551615 4194304 5972588 140722700154032 140722700151480 5139498 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8200 1556 842 435 0 1563 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 32800 KiB
Current children cumulated memory: 6224 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.03 1.91 3/181 18780
/proc/meminfo: memFree=31166888/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32800 memory=6236 CPUtime=102.19 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 6008 0 0 0 10219 0 0 0 20 0 1 0 59048347 33587200 1559 18446744073709551615 4194304 5972588 140722700154032 140722700151480 5139264 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8200 1559 842 435 0 1563 0
Current children cumulated CPU time: 102.19 s
Current children cumulated vsize: 32800 KiB
Current children cumulated memory: 6236 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 1.91 3/181 18782
/proc/meminfo: memFree=31167496/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32968 memory=6288 CPUtime=162.19 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 6655 0 0 0 16219 0 0 0 20 0 1 0 59048347 33759232 1572 18446744073709551615 4194304 5972588 140722700154032 140722700150664 5338173 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8242 1572 842 435 0 1605 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 6288 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 1.93 3/181 18785
/proc/meminfo: memFree=31167800/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32968 memory=6300 CPUtime=222.18 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 7292 0 0 0 22218 0 0 0 20 0 1 0 59048347 33759232 1575 18446744073709551615 4194304 5972588 140722700154032 140722700150664 5099668 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8242 1575 842 435 0 1605 0
Current children cumulated CPU time: 222.18 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 6300 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 1.93 3/181 18787
/proc/meminfo: memFree=31168348/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32968 memory=6308 CPUtime=282.18 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 7936 0 0 0 28218 0 0 0 20 0 1 0 59048347 33759232 1577 18446744073709551615 4194304 5972588 140722700154032 140722700141224 5338173 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8242 1577 842 435 0 1605 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 6308 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/184 18803
/proc/meminfo: memFree=31164088/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32968 memory=6320 CPUtime=342.18 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 8571 0 0 0 34218 0 0 0 20 0 1 0 59048347 33759232 1580 18446744073709551615 4194304 5972588 140722700154032 140722700141224 5039164 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8242 1580 842 435 0 1605 0
Current children cumulated CPU time: 342.18 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 6320 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/185 18830
/proc/meminfo: memFree=31163364/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32968 memory=6320 CPUtime=402.17 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 9206 0 0 0 40217 0 0 0 20 0 1 0 59048347 33759232 1580 18446744073709551615 4194304 5972588 140722700154032 140722700141224 5273261 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8242 1580 842 435 0 1605 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 6320 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/183 18832
/proc/meminfo: memFree=31166432/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32968 memory=6328 CPUtime=462.17 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 9847 0 0 0 46217 0 0 0 20 0 1 0 59048347 33759232 1582 18446744073709551615 4194304 5972588 140722700154032 140722700141224 5040653 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8242 1582 842 435 0 1605 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 6328 KiB
################
# More data... #
################
/proc/18023/statm: 8242 1597 842 435 0 1605 0
Current children cumulated CPU time: 1722.11 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 6388 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/182 18906
/proc/meminfo: memFree=31167680/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32968 memory=6388 CPUtime=1782.11 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 23992 0 0 0 178211 0 0 0 20 0 1 0 59048347 33759232 1597 18446744073709551615 4194304 5972588 140722700154032 140722700141224 5039159 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8242 1597 842 435 0 1605 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 6388 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/181 18909
/proc/meminfo: memFree=31167820/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32968 memory=6392 CPUtime=1842.1 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 24632 0 0 0 184210 0 0 0 20 0 1 0 59048347 33759232 1598 18446744073709551615 4194304 5972588 140722700154032 140722700141224 5139264 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8242 1598 842 435 0 1605 0
Current children cumulated CPU time: 1842.1 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 6392 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/181 18911
/proc/meminfo: memFree=31167944/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32968 memory=6392 CPUtime=1902.1 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 25232 0 0 0 190210 0 0 0 20 0 1 0 59048347 33759232 1598 18446744073709551615 4194304 5972588 140722700154032 140722700141224 5040642 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8242 1598 842 435 0 1605 0
Current children cumulated CPU time: 1902.1 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 6392 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/181 18913
/proc/meminfo: memFree=31167944/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32968 memory=6392 CPUtime=1962.11 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 25883 0 0 0 196210 1 0 0 20 0 1 0 59048347 33759232 1598 18446744073709551615 4194304 5972588 140722700154032 140722700141224 4908847 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8242 1598 842 435 0 1605 0
Current children cumulated CPU time: 1962.11 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 6392 KiB
[startup+2022.3 s]
/proc/loadavg: 2.34 2.09 1.98 3/181 18916
/proc/meminfo: memFree=31168192/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32968 memory=6396 CPUtime=2022.1 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 26516 0 0 0 202209 1 0 0 20 0 1 0 59048347 33759232 1599 18446744073709551615 4194304 5972588 140722700154032 140722700141224 5041538 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8242 1599 842 435 0 1605 0
Current children cumulated CPU time: 2022.1 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 6396 KiB
[startup+2082.3 s]
/proc/loadavg: 2.31 2.15 2.01 3/181 18918
/proc/meminfo: memFree=31168448/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32968 memory=6396 CPUtime=2082.1 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 27116 0 0 0 208209 1 0 0 20 0 1 0 59048347 33759232 1599 18446744073709551615 4194304 5972588 140722700154032 140722700141224 5328030 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8242 1599 842 435 0 1605 0
Current children cumulated CPU time: 2082.1 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 6396 KiB
[startup+2142.3 s]
/proc/loadavg: 2.11 2.12 2.01 3/184 18934
/proc/meminfo: memFree=31163704/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32968 memory=6396 CPUtime=2142.1 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 27767 0 0 0 214209 1 0 0 20 0 1 0 59048347 33759232 1599 18446744073709551615 4194304 5972588 140722700154032 140722700141224 5039358 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8242 1599 842 435 0 1605 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 6396 KiB
[startup+2202.3 s]
/proc/loadavg: 2.04 2.10 2.01 3/182 18936
/proc/meminfo: memFree=31166560/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32968 memory=6396 CPUtime=2202.09 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 28392 0 0 0 220208 1 0 0 20 0 1 0 59048347 33759232 1599 18446744073709551615 4194304 5972588 140722700154032 140722700141224 5139338 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8242 1599 842 435 0 1605 0
Current children cumulated CPU time: 2202.09 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 6396 KiB
[startup+2262.3 s]
/proc/loadavg: 2.06 2.10 2.01 3/181 18938
/proc/meminfo: memFree=31167692/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32968 memory=6396 CPUtime=2262.09 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 29013 0 0 0 226208 1 0 0 20 0 1 0 59048347 33759232 1599 18446744073709551615 4194304 5972588 140722700154032 140722700141224 4908987 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8242 1599 842 435 0 1605 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 6396 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.08 2.01 3/181 18940
/proc/meminfo: memFree=31167196/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32968 memory=6396 CPUtime=2322.09 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 29628 0 0 0 232208 1 0 0 20 0 1 0 59048347 33759232 1599 18446744073709551615 4194304 5972588 140722700154032 140722700141224 5040653 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8242 1599 842 435 0 1605 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 6396 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.07 2.01 3/181 18942
/proc/meminfo: memFree=31167568/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32968 memory=6400 CPUtime=2382.08 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 30281 0 0 0 238207 1 0 0 20 0 1 0 59048347 33759232 1600 18446744073709551615 4194304 5972588 140722700154032 140722700141224 4923600 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8242 1600 842 435 0 1605 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 6400 KiB
[startup+2442.3 s]
/proc/loadavg: 2.49 2.18 2.06 3/181 18944
/proc/meminfo: memFree=31167940/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32968 memory=6400 CPUtime=2442.08 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 30924 0 0 0 244207 1 0 0 20 0 1 0 59048347 33759232 1600 18446744073709551615 4194304 5972588 140722700154032 140722700141224 5139291 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8242 1600 842 435 0 1605 0
Current children cumulated CPU time: 2442.08 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 6400 KiB
[startup+2502.3 s]
/proc/loadavg: 2.24 2.17 2.06 3/181 18946
/proc/meminfo: memFree=31168072/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32968 memory=6400 CPUtime=2502.08 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 31573 0 0 0 250207 1 0 0 20 0 1 0 59048347 33759232 1600 18446744073709551615 4194304 5972588 140722700154032 140722700141224 5139324 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8242 1600 842 435 0 1605 0
Current children cumulated CPU time: 2502.08 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 6400 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.19 2.16 2.06 3/181 18946
/proc/meminfo: memFree=31168196/32770624 swapFree=67108860/67108860
[pid=18023] ppid=18020 vsize=32968 memory=6400 CPUtime=2519.78 cores=0,2,4,6
/proc/18023/stat : 18023 (cosoco) R 18020 18023 17093 0 -1 4202496 32191 0 0 0 251977 1 0 0 20 0 1 0 59048347 33759232 1600 18446744073709551615 4194304 5972588 140722700154032 140722700141224 5139338 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11608064 140722700161476 140722700161576 140722700161576 140722700165070 0
/proc/18023/statm: 8242 1600 842 435 0 1605 0
Current children cumulated CPU time: 2519.78 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 6400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 18023 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.78 s, system=0.012999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.79
CPU user time (s): 2519.78
CPU system time (s): 0.012999
CPU usage (%): 99.9914
Max. virtual memory (cumulated for all children) (KiB): 32968
Max. memory (cumulated for all children) (KiB): 6400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.78
system time used= 0.012999
maximum resident set size= 6472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32243
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= 10
involuntary context switches= 694
# summary of solver processes directly reported to runsolver:
# pid: 18023
# total CPU time (s): 2519.79
# total CPU user time (s): 2519.78
# total CPU system time (s): 0.012999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.42628 second user time and 15.3468 second system time
The end
Begin job on node127 at 2017-08-12 21:55:02 IDJOB=4265917 IDBENCH=115943 IDSOLVER=2655 FILE ID=node127/4265917-1502568550 RUNJOBID= node127-1502565159-17156 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-10-12.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265917-1502568550/watcher-4265917-1502568550 -o /tmp/evaluation-result-4265917-1502568550/solver-4265917-1502568550 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502565159-17156 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265917-1502568550.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 20c15018e625ff04718a0750d7a9de92 RANDOM SEED=309648331 node127.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.92 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.92 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.92 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.92 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: 29489216 kB MemAvailable: 30310344 kB Buffers: 275480 kB Cached: 834628 kB SwapCached: 0 kB Active: 2258432 kB Inactive: 594224 kB Active(anon): 1742968 kB Inactive(anon): 24908 kB Active(file): 515464 kB Inactive(file): 569316 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2292 kB Writeback: 0 kB AnonPages: 1742392 kB Mapped: 46904 kB Shmem: 25252 kB Slab: 129820 kB SReclaimable: 104368 kB SUnreclaim: 25452 kB KernelStack: 3248 kB PageTables: 8044 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2310544 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1681408 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62028 MiB End job on node127 at 2017-08-12 22:37:02