Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco-mini 1.12 | SAT (TO) | 67 | 2400.05 | 2400.6001 |
| Name | StillLife/StillLife-m1-s1/ StillLife-12-12.xml |
| MD5SUM | 34ffd54f86f79986491acf3630731ea6 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 67 |
| Best CPU time to get the best result obtained on this benchmark | 2400.04 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 288 |
| Number of constraints | 330 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 9 |
| Distribution of domain sizes | [{"size":2,"count":144},{"size":9,"count":144}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 10 |
| Distribution of variable degrees | [{"degree":2,"count":144},{"degree":8,"count":44},{"degree":10,"count":100}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 9 |
| Distribution of constraint arities | [{"arity":2,"count":146},{"arity":3,"count":40},{"arity":4,"count":4},{"arity":6,"count":40},{"arity":9,"count":100}] |
| Number of extensional constraints | 184 |
| Number of intensional constraints | 2 |
| Distribution of constraint types | [{"type":"extension","count":184},{"type":"intension","count":2},{"type":"sum","count":144}] |
| Optimization problem | YES |
| Type of objective | max SUM |
0.00/0.07 c intension x[0][0]>=x[11][11] using generic constraint 0.00/0.07 c intension x[0][11]>=x[11][0] using generic constraint 0.00/0.07 c best=?? lower=0 upper=144 0.00/0.07 c 0.00/0.07 c This is cosoco 1.12 -- 0.00/0.07 c 0.00/0.07 c command line: cosoco -lc -model -restarts HOME/instance-4267195-1502597122.xml 0.00/0.07 c enable optimization 0.00/0.07 c ========================================[ Problem Statistics ]=========================================== 0.00/0.07 c | 0.00/0.07 c | Parse time : 0.02 s 0.00/0.07 c | 0.00/0.07 c | Variables: 288 0.00/0.07 c | Domain Sizes: 2..9 0.00/0.07 c | 0.00/0.07 c | Constraints: 331 0.00/0.07 c | Arity: 2..144 -- Binary: 146 -- Ternary: 40 0.00/0.07 c | 0.00/0.07 c | Types: 0.00/0.07 c | (X -Y <= k): 2 0.00/0.07 c | Extension: 184 (nb tuples: 1..10) -- (shared: 179) 0.00/0.07 c | Sum: 145 0.00/0.07 c | 0.00/0.07 c ========================================================================================================= 0.00/0.07 o 0 0.00/0.07 c 1 calls to solver: best=0 lower=1 upper=144 0.00/0.08 o 4 0.00/0.08 o 6 0.00/0.08 c 3 calls to solver: best=6 lower=7 upper=144 0.00/0.08 o 7 0.00/0.09 o 8 0.00/0.09 c 5 calls to solver: best=8 lower=9 upper=144 0.00/0.09 o 10 0.00/0.10 o 14 0.00/0.10 c 7 calls to solver: best=14 lower=15 upper=144 0.05/0.11 o 16 0.05/0.12 o 18 0.05/0.12 c 9 calls to solver: best=18 lower=19 upper=144 0.05/0.13 o 19 0.05/0.16 o 20 0.05/0.16 c 11 calls to solver: best=20 lower=21 upper=144 0.05/0.16 o 22 0.26/0.41 o 23 0.26/0.41 c 13 calls to solver: best=23 lower=24 upper=144 0.36/0.45 o 24 0.36/0.46 o 26 0.36/0.46 c 15 calls to solver: best=26 lower=27 upper=144 0.36/0.50 o 28 0.64/0.70 o 29 0.64/0.70 c 17 calls to solver: best=29 lower=30 upper=144 0.84/1.00 o 30 0.95/1.03 o 32 0.95/1.03 c 19 calls to solver: best=32 lower=33 upper=144 0.95/1.07 o 34 3.05/3.14 o 36 3.05/3.14 c 21 calls to solver: best=36 lower=37 upper=144 3.05/3.18 o 38 10.74/10.85 o 39 10.74/10.85 c 23 calls to solver: best=39 lower=40 upper=144 12.14/12.21 o 40 13.94/14.04 o 41 13.94/14.04 c 25 calls to solver: best=41 lower=42 upper=144 15.23/15.33 o 42 15.43/15.55 o 43 15.43/15.55 c 27 calls to solver: best=43 lower=44 upper=144 16.33/16.40 o 44 16.63/16.72 o 45 16.63/16.72 c 29 calls to solver: best=45 lower=46 upper=144 18.94/19.07 o 46 203.90/204.05 o 47 203.90/204.05 c 31 calls to solver: best=47 lower=48 upper=144 228.49/228.62 o 48 234.00/234.18 o 49 234.00/234.18 c 33 calls to solver: best=49 lower=50 upper=144 240.59/240.72 o 50 298.18/298.36 o 51 298.18/298.36 c 35 calls to solver: best=51 lower=52 upper=144 316.57/316.79 o 52 334.37/334.55 o 53 334.37/334.55 c 37 calls to solver: best=53 lower=54 upper=144 339.37/339.52 o 54 365.66/365.82 o 55 365.66/365.82 c 39 calls to solver: best=55 lower=56 upper=144 369.36/369.55 o 56 374.16/374.36 o 57 374.16/374.36 c 41 calls to solver: best=57 lower=58 upper=144 377.06/377.29 o 58 392.46/392.65 o 59 392.46/392.65 c 43 calls to solver: best=59 lower=60 upper=144 1056.31/1056.66 o 60 1077.41/1077.79 o 61 1077.41/1077.79 c 45 calls to solver: best=61 lower=62 upper=144 1135.20/1135.58 o 62 1210.98/1211.38 o 63 1210.98/1211.38 c 47 calls to solver: best=63 lower=64 upper=144 1860.45/1860.97 o 64 2184.18/2184.74 o 65 2184.18/2184.74 c 49 calls to solver: best=65 lower=66 upper=144 2297.65/2298.28 o 66 2367.94/2368.59 o 67 2367.94/2368.59 c 51 calls to solver: best=67 lower=68 upper=144 2400.03/2400.60 2400.03/2400.60 c *** INTERRUPTED *** 2400.03/2400.60 c restarts : 105 2400.03/2400.60 c conflicts : 21616005 (9007 /sec) 2400.03/2400.60 c decisions : 111559467 (46482 /sec) 2400.03/2400.60 c propagations : 1963510034 (818116 /sec) 2400.03/2400.60 c root propagations : 140 2400.03/2400.60 c filter calls : 2660308719 (1108445 /sec) 2400.03/2400.60 c useless filter calls : 1588710948 (59 %) 2400.03/2400.60 c Memory used : 27.30 MB 2400.03/2400.60 c CPU time : 2400.04 s 2400.03/2400.60 2400.03/2400.60 c nb Solutions = 51 2400.03/2400.60 s SATISFIABLE 2400.03/2400.60 c Best value found: 67 2400.03/2400.60 2400.03/2400.60 2400.03/2400.60 v <instantiation type='solution' cost='67'> 2400.03/2400.60 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[10][0] s[10][10] s[10][11] 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[11][0] s[11][10] s[11][11] s[11][1] s[11][2] s[11][3] s[11][4] s[11][5] s[11][6] s[11][7] s[11][8] s[11][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[10][0] x[10][10] x[10][11] 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[11][0] x[11][10] x[11][11] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][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> 2400.03/2400.60 v <values>2 3 3 2 4 3 3 2 2 3 3 4 3 1 0 5 5 2 4 4 3 5 3 4 2 1 0 2 2 2 2 2 2 4 2 2 4 3 3 3 5 3 3 2 2 3 3 4 4 4 4 3 4 2 2 1 2 4 4 4 3 3 3 3 4 2 2 2 2 3 2 4 4 3 3 3 5 3 3 4 2 6 3 5 4 4 4 3 5 3 3 5 2 6 2 5 3 2 2 3 5 4 4 5 2 6 2 4 4 5 3 3 5 2 3 4 3 5 3 5 4 2 2 3 6 3 6 3 4 3 4 3 3 2 1 3 5 2 5 2 4 4 3 4 1 1 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 1 1 0 1 1 1 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 1 1 1 0 1 1 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 </values> 2400.03/2400.60 v </instantiation> 2400.03/2400.60
OK 67
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 (15439 MiB free)
memory of node 1: 16384 MiB (15645 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267195-1502597122/watcher-4267195-1502597122 -o /tmp/evaluation-result-4267195-1502597122/solver-4267195-1502597122 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502596287-9624 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267195-1502597122.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
solver pid=9654, runsolver pid=9651
[startup+0.100202 s]*
/proc/loadavg: 1.30 1.70 1.93 3/187 9655
/proc/meminfo: memFree=31828996/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4776 CPUtime=0.05 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 1368 0 0 0 5 0 0 0 20 0 1 0 107218563 28618752 1194 18446744073709551615 4194304 5748600 140728691529088 140728691526616 5000334 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1194 825 380 0 405 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4776 KiB
[startup+0.209606 s]*
/proc/loadavg: 1.30 1.70 1.93 2/185 9664
/proc/meminfo: memFree=31829424/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4776 CPUtime=0.16 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 1369 0 0 0 16 0 0 0 20 0 1 0 107218563 28618752 1194 18446744073709551615 4194304 5748600 140728691529088 140728691526616 4942913 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1194 825 380 0 405 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4776 KiB
[startup+0.309429 s]*
/proc/loadavg: 1.30 1.70 1.93 2/188 9669
/proc/meminfo: memFree=31829424/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4776 CPUtime=0.26 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 1369 0 0 0 26 0 0 0 20 0 1 0 107218563 28618752 1194 18446744073709551615 4194304 5748600 140728691529088 140728691526616 4940993 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1194 825 380 0 405 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4776 KiB
[startup+0.700338 s]
/proc/loadavg: 1.30 1.70 1.93 5/202 9684
/proc/meminfo: memFree=31803848/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4776 CPUtime=0.64 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 1369 0 0 0 64 0 0 0 20 0 1 0 107218563 28618752 1194 18446744073709551615 4194304 5748600 140728691529088 140728691526616 4940474 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1194 825 380 0 405 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4776 KiB
[startup+1.50034 s]
/proc/loadavg: 1.30 1.70 1.93 2/185 9699
/proc/meminfo: memFree=31829772/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4776 CPUtime=1.44 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 1370 0 0 0 144 0 0 0 20 0 1 0 107218563 28618752 1194 18446744073709551615 4194304 5748600 140728691529088 140728691526616 5025875 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1194 825 380 0 405 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4776 KiB
[startup+3.10937 s]
/proc/loadavg: 1.30 1.70 1.93 3/189 9719
/proc/meminfo: memFree=31827316/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=3.05 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 1675 0 0 0 305 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691526616 4947510 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+6.30033 s]
/proc/loadavg: 1.36 1.71 1.93 3/189 9719
/proc/meminfo: memFree=31827748/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=6.24 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 1995 0 0 0 624 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691526616 4947121 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+12.7003 s]
/proc/loadavg: 1.41 1.71 1.93 3/189 9719
/proc/meminfo: memFree=31827748/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=12.63 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 2315 0 0 0 1263 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691526616 5000378 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+25.5003 s]
/proc/loadavg: 1.54 1.73 1.93 3/185 9719
/proc/meminfo: memFree=31830928/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=25.43 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 2940 0 0 0 2543 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691526616 4947469 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+51.109 s]
/proc/loadavg: 1.70 1.75 1.93 3/185 9719
/proc/meminfo: memFree=31830804/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=51.04 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 3245 0 0 0 5104 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691526616 4940997 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+102.3 s]
/proc/loadavg: 1.87 1.79 1.94 3/185 9721
/proc/meminfo: memFree=31831176/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=102.22 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 3550 0 0 0 10222 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691526616 5144090 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+162.3 s]
/proc/loadavg: 2.10 1.86 1.95 3/186 9724
/proc/meminfo: memFree=31831036/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=162.2 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 3855 0 0 0 16220 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691526616 4940774 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 1.88 1.95 3/186 9728
/proc/meminfo: memFree=31830672/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=222.19 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 4175 0 0 0 22219 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691516360 5025692 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+282.3 s]
/proc/loadavg: 1.93 1.89 1.95 3/186 9730
/proc/meminfo: memFree=31830924/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=282.18 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 4493 0 0 0 28218 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691526616 5025687 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+342.3 s]
/proc/loadavg: 1.98 1.91 1.95 3/186 9732
/proc/meminfo: memFree=31831172/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=342.17 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 4813 0 0 0 34217 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691526616 4995426 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+402.3 s]
/proc/loadavg: 1.99 1.93 1.95 3/186 9735
/proc/meminfo: memFree=31830676/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=402.15 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 5133 0 0 0 40215 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691516360 4947475 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 402.15 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.94 1.95 3/185 9737
/proc/meminfo: memFree=31831064/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=462.14 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 5438 0 0 0 46214 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691516360 4948656 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 462.14 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
################
# More data... #
################
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 1601.9 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+1662.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/186 9837
/proc/meminfo: memFree=31830120/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=1661.89 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 11581 0 0 0 166189 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691516360 4947121 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 1661.89 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+1722.3 s]
/proc/loadavg: 2.16 2.09 2.06 3/190 9854
/proc/meminfo: memFree=31826436/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=1721.88 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 11886 0 0 0 172188 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691516360 4949223 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 1721.88 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+1782.3 s]
/proc/loadavg: 2.06 2.07 2.05 3/190 9856
/proc/meminfo: memFree=31826196/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=1781.86 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 12191 0 0 0 178186 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691516360 4947279 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 1781.86 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/186 9858
/proc/meminfo: memFree=31829980/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=1841.85 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 12494 0 0 0 184185 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691516360 4873248 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 1841.85 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/186 9860
/proc/meminfo: memFree=31830244/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=1901.84 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 12813 0 0 0 190184 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691526616 5025680 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 1901.84 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/185 9862
/proc/meminfo: memFree=31830260/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=1961.83 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 13118 0 0 0 196183 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691526616 4947518 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 1961.83 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 9866
/proc/meminfo: memFree=31829720/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=2021.81 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 13422 0 0 0 202181 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691526616 5025632 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 2021.81 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 9868
/proc/meminfo: memFree=31829720/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=2081.8 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 13726 0 0 0 208180 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691526616 4949171 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 2081.8 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 9870
/proc/meminfo: memFree=31829844/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=2141.79 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 14032 0 0 0 214179 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691526616 5122464 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 2141.79 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 9874
/proc/meminfo: memFree=31829772/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=2201.77 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 14352 0 0 0 220177 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691516360 4941906 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 2201.77 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 9876
/proc/meminfo: memFree=31829904/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=2261.76 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 14657 0 0 0 226176 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691516360 5144165 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 2261.76 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+2322.3 s]
/proc/loadavg: 2.15 2.05 2.06 3/188 9892
/proc/meminfo: memFree=31825440/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=2321.75 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 14975 0 0 0 232175 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691526616 5144182 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 2321.75 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
[startup+2382.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 9894
/proc/meminfo: memFree=31825316/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=2381.74 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 15295 0 0 0 238174 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691516360 4941017 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 2381.74 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.6 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 9894
/proc/meminfo: memFree=31825444/32770624 swapFree=67108764/67108860
[pid=9654] ppid=9651 vsize=27948 memory=4832 CPUtime=2400.03 cores=0,2,4,6
/proc/9654/stat : 9654 (cosoco) R 9651 9654 4674 0 -1 4202496 15600 0 0 0 240003 0 0 0 20 0 1 0 107218563 28618752 1208 18446744073709551615 4194304 5748600 140728691529088 140728691516360 4940968 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 39657472 140728691532233 140728691532328 140728691532328 140728691535822 0
/proc/9654/statm: 6987 1208 825 380 0 405 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 4832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.6 s]
# the end of solver process 9654 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.04 s, system=0.008998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.6
CPU time (s): 2400.05
CPU user time (s): 2400.04
CPU system time (s): 0.008998
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 27948
Max. memory (cumulated for all children) (KiB): 4832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.008998
maximum resident set size= 4896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15650
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= 12
involuntary context switches= 12606
# summary of solver processes directly reported to runsolver:
# pid: 9654
# total CPU time (s): 2400.05
# total CPU user time (s): 2400.04
# total CPU system time (s): 0.008998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.93784 second user time and 15.2845 second system time
The end
Begin job on node134 at 2017-08-13 05:51:27 IDJOB=4267195 IDBENCH=115958 IDSOLVER=2657 FILE ID=node134/4267195-1502597122 RUNJOBID= node134-1502596287-9624 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-mini 1.12 BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-12-12.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267195-1502597122/watcher-4267195-1502597122 -o /tmp/evaluation-result-4267195-1502597122/solver-4267195-1502597122 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502596287-9624 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267195-1502597122.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 34ffd54f86f79986491acf3630731ea6 RANDOM SEED=1403328734 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: 31831672 kB MemAvailable: 31964736 kB Buffers: 213188 kB Cached: 213040 kB SwapCached: 4 kB Active: 350024 kB Inactive: 136856 kB Active(anon): 7276 kB Inactive(anon): 94792 kB Active(file): 342748 kB Inactive(file): 42064 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108764 kB Dirty: 3960 kB Writeback: 4 kB AnonPages: 60600 kB Mapped: 56064 kB Shmem: 41564 kB Slab: 154640 kB SReclaimable: 128176 kB SUnreclaim: 26464 kB KernelStack: 3216 kB PageTables: 5164 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 321556 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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 06:31:28