Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: cosoco-sat 1.1 | No Cert. | 2400.1001 | 2400.3101 |
| Name | OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-30-1.xml |
| MD5SUM | c6a062133c2754337f0ab1bb59bcc4d1 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 6 |
| Best CPU time to get the best result obtained on this benchmark | 1109.65 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 540 |
| Number of constraints | 511 |
| Number of domains | 3 |
| Minimum domain size | 2 |
| Maximum domain size | 31 |
| Distribution of domain sizes | [{"size":2,"count":450},{"size":30,"count":60},{"size":31,"count":30}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 31 |
| Distribution of variable degrees | [{"degree":2,"count":480},{"degree":3,"count":10},{"degree":5,"count":12},{"degree":7,"count":6},{"degree":9,"count":2},{"degree":31,"count":30}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":3,"count":450},{"arity":5,"count":30},{"arity":16,"count":30},{"arity":30,"count":1}] |
| Number of extensional constraints | 450 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"minimum","count":15},{"type":"maximum","count":15}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.10/0.22 c SAT : Variables: 3630 -- Clauses: 41040 0.10/0.22 c best=?? lower=0 upper=30 0.20/0.36 c 0.20/0.36 c This is cosoco 1.0 -- 0.20/0.36 c 0.20/0.36 c enable optimization 0.20/0.36 c ========================================[ Problem Statistics ]=========================================== 0.20/0.36 c | 0.20/0.36 c | Parse time : 0.13 s 0.20/0.36 c | 0.20/0.36 c | Variables: 540 0.20/0.36 c | Domain Sizes: 2..31 0.20/0.36 c | 0.20/0.36 c | Constraints: 512 0.20/0.36 c | Arity: 3..30 -- Ternary: 450 0.20/0.36 c | 0.20/0.36 c | Types: 0.20/0.36 c | All Different: 1 0.20/0.36 c | Extension: 450 (nb tuples: 900..1110) -- (shared: 420) 0.20/0.36 c | Max constant: 1 0.20/0.36 c | Minimum Variable: 30 0.20/0.36 c | Sum: 30 0.20/0.36 c | 0.20/0.36 c ========================================================================================================= 0.20/0.36 o 10 0.20/0.36 c 1 calls to solver: best=10 lower=0 upper=9 0.50/0.60 o 9 0.60/0.72 o 8 0.60/0.72 c 3 calls to solver: best=8 lower=0 upper=7 1761.11/1761.36 o 7 2400.09/2400.30 2400.09/2400.30 c *** INTERRUPTED *** 2400.09/2400.30 s SATISFIABLE 2400.09/2400.30 c Best value found: 7 2400.09/2400.30 2400.09/2400.30 2400.09/2400.30 v <instantiation type='solution' cost='7'> 2400.09/2400.30 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] min[0] min[1] min[2] min[3] min[4] min[5] min[6] min[7] min[8] min[9] min[10] min[11] min[12] min[13] min[14] max[0] max[1] max[2] max[3] max[4] max[5] max[6] max[7] max[8] max[9] max[10] max[11] max[12] max[13] max[14] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13
ERROR: no instantiation found
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241302-1502087970/watcher-4241302-1502087970 -o /tmp/evaluation-result-4241302-1502087970/solver-4241302-1502087970 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502042680-29187 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241302-1502087970.xml pid=3339 running on 4 cores: 1,3,5,7 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.08 2.04 2.05 2/180 3342 /proc/meminfo: memFree=31636668/32770624 swapFree=0/382528 [pid=3342] ppid=3339 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/3342/stat : 3342 (runsolver) D 3339 3342 21827 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10992748 24240128 108 18446744073709551615 4194304 4338465 140722937974384 140722937972024 140127770710743 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 19488768 140722937983130 140722937983562 140722937983562 140722937987018 0 /proc/3342/statm: 5918 108 54 36 0 2156 0 [startup+0.100109 s] /proc/loadavg: 2.08 2.04 2.05 2/180 3342 /proc/meminfo: memFree=31636668/32770624 swapFree=0/382528 [pid=3342] ppid=3339 vsize=27640 CPUtime=0 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 1177 0 0 0 0 0 0 0 20 0 1 0 10992748 28303360 979 18446744073709551615 4194304 5970956 140733805299664 140733805296312 4940752 0 0 1 0 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 6910 979 777 434 0 274 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 27640 [startup+0.200221 s] /proc/loadavg: 2.08 2.04 2.05 2/180 3342 /proc/meminfo: memFree=31636668/32770624 swapFree=0/382528 [pid=3342] ppid=3339 vsize=30116 CPUtime=0.1 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 1791 0 0 0 10 0 0 0 20 0 1 0 10992748 30838784 1582 18446744073709551615 4194304 5970956 140733805299664 140733805296312 5417044 0 0 1 0 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 7529 1582 783 434 0 893 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 30116 [startup+0.300227 s] /proc/loadavg: 2.08 2.04 2.05 2/180 3342 /proc/meminfo: memFree=31636668/32770624 swapFree=0/382528 [pid=3342] ppid=3339 vsize=41280 CPUtime=0.2 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 3676 0 0 0 20 0 0 0 20 0 1 0 10992748 42270720 3460 18446744073709551615 4194304 5970956 140733805299664 140733805297464 4934327 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10320 3460 845 434 0 3684 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 41280 [startup+0.700243 s] /proc/loadavg: 2.08 2.04 2.05 2/180 3342 /proc/meminfo: memFree=31636668/32770624 swapFree=0/382528 [pid=3342] ppid=3339 vsize=42476 CPUtime=0.6 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 3974 0 0 0 60 0 0 0 20 0 1 0 10992748 43495424 4302 18446744073709551615 4194304 5970956 140733805299664 140733805297224 4934366 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10619 4302 848 434 0 3983 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 42476 [startup+1.50022 s] /proc/loadavg: 2.08 2.04 2.05 3/181 3343 /proc/meminfo: memFree=31622980/32770624 swapFree=0/382288 [pid=3342] ppid=3339 vsize=42476 CPUtime=1.4 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 3980 0 0 0 140 0 0 0 20 0 1 0 10992748 43495424 4302 18446744073709551615 4194304 5970956 140733805299664 140733805286968 4934354 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10619 4302 848 434 0 3983 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 42476 [startup+3.10022 s] /proc/loadavg: 2.08 2.04 2.05 3/181 3343 /proc/meminfo: memFree=31622484/32770624 swapFree=0/382288 [pid=3342] ppid=3339 vsize=42476 CPUtime=3 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 6621 0 0 0 300 0 0 0 20 0 1 0 10992748 43495424 4339 18446744073709551615 4194304 5970956 140733805299664 140733805286968 4934327 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10619 4339 848 434 0 3983 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 42476 [startup+6.30022 s] /proc/loadavg: 1.99 2.02 2.05 3/181 3343 /proc/meminfo: memFree=31622196/32770624 swapFree=0/382296 [pid=3342] ppid=3339 vsize=42476 CPUtime=6.2 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 9292 0 0 0 620 0 0 0 20 0 1 0 10992748 43495424 4340 18446744073709551615 4194304 5970956 140733805299664 140733805286968 5136795 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10619 4340 848 434 0 3983 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 42476 [startup+12.7002 s] /proc/loadavg: 2.07 2.04 2.05 3/181 3343 /proc/meminfo: memFree=31621912/32770624 swapFree=0/382296 [pid=3342] ppid=3339 vsize=42476 CPUtime=12.61 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 11967 0 0 0 1260 1 0 0 20 0 1 0 10992748 43495424 4340 18446744073709551615 4194304 5970956 140733805299664 140733805286968 4934366 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10619 4340 848 434 0 3983 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 42476 [startup+25.5002 s] /proc/loadavg: 2.06 2.04 2.05 3/181 3344 /proc/meminfo: memFree=31621160/32770624 swapFree=0/382312 [pid=3342] ppid=3339 vsize=42476 CPUtime=25.4 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 15367 0 0 0 2539 1 0 0 20 0 1 0 10992748 43495424 4356 18446744073709551615 4194304 5970956 140733805299664 140733805286968 4934327 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10619 4356 848 434 0 3983 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 42476 [startup+51.1003 s] /proc/loadavg: 2.04 2.04 2.05 3/181 3344 /proc/meminfo: memFree=31621160/32770624 swapFree=0/382304 [pid=3342] ppid=3339 vsize=42476 CPUtime=51 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 16218 0 0 0 5099 1 0 0 20 0 1 0 10992748 43495424 4357 18446744073709551615 4194304 5970956 140733805299664 140733805286968 4930611 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10619 4357 848 434 0 3983 0 Current children cumulated CPU time (s) 51 Current children cumulated vsize (KiB) 42476 [startup+102.3 s] /proc/loadavg: 2.02 2.03 2.05 3/181 3346 /proc/meminfo: memFree=31620788/32770624 swapFree=0/382336 [pid=3342] ppid=3339 vsize=42476 CPUtime=102.2 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 16866 0 0 0 10219 1 0 0 20 0 1 0 10992748 43495424 4358 18446744073709551615 4194304 5970956 140733805299664 140733805286968 4934327 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10619 4358 848 434 0 3983 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 42476 [startup+162.3 s] /proc/loadavg: 2.01 2.03 2.05 3/181 3349 /proc/meminfo: memFree=31620568/32770624 swapFree=0/382364 [pid=3342] ppid=3339 vsize=42476 CPUtime=162.19 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 17799 0 0 0 16218 1 0 0 20 0 1 0 10992748 43495424 4359 18446744073709551615 4194304 5970956 140733805299664 140733805286968 5038163 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10619 4359 848 434 0 3983 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 42476 [startup+222.306 s] /proc/loadavg: 2.00 2.02 2.05 3/181 3351 /proc/meminfo: memFree=31620188/32770624 swapFree=0/382388 [pid=3342] ppid=3339 vsize=42476 CPUtime=222.19 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 18598 0 0 0 22218 1 0 0 20 0 1 0 10992748 43495424 4361 18446744073709551615 4194304 5970956 140733805299664 140733805286968 4934327 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10619 4361 848 434 0 3983 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 42476 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 3368 /proc/meminfo: memFree=31615860/32770624 swapFree=0/382448 [pid=3342] ppid=3339 vsize=42476 CPUtime=282.19 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 19301 0 0 0 28218 1 0 0 20 0 1 0 10992748 43495424 4361 18446744073709551615 4194304 5970956 140733805299664 140733805286968 4934354 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10619 4361 848 434 0 3983 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 42476 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 3370 /proc/meminfo: memFree=31615524/32770624 swapFree=0/382484 [pid=3342] ppid=3339 vsize=42476 CPUtime=342.18 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 20085 0 0 0 34217 1 0 0 20 0 1 0 10992748 43495424 4361 18446744073709551615 4194304 5970956 140733805299664 140733805286968 4934335 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10619 4361 848 434 0 3983 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 42476 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 3372 /proc/meminfo: memFree=31619308/32770624 swapFree=0/382504 [pid=3342] ppid=3339 vsize=42476 CPUtime=402.18 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 20815 0 0 0 40217 1 0 0 20 0 1 0 10992748 43495424 4362 18446744073709551615 4194304 5970956 140733805299664 140733805286968 4934366 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10619 4362 848 434 0 3983 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 42476 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 3374 /proc/meminfo: memFree=31619308/32770624 swapFree=0/382524 [pid=3342] ppid=3339 vsize=42476 CPUtime=462.18 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 21340 0 0 0 46217 1 0 0 20 0 1 0 10992748 43495424 4362 18446744073709551615 4194304 5970956 140733805299664 140733805286968 4934327 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10619 4362 848 434 0 3983 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 42476 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 3376 /proc/meminfo: memFree=31619556/32770624 swapFree=0/382548 [pid=3342] ppid=3339 vsize=42476 CPUtime=522.18 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 21979 0 0 0 52217 1 0 0 20 0 1 0 10992748 43495424 4362 18446744073709551615 4194304 5970956 140733805299664 140733805286968 4934327 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10619 4362 848 434 0 3983 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 42476 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 3378 /proc/meminfo: memFree=31619156/32770624 swapFree=0/382568 [pid=3342] ppid=3339 vsize=42476 CPUtime=582.17 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 22554 0 0 0 58216 1 0 0 20 0 1 0 10992748 43495424 4362 18446744073709551615 4194304 5970956 140733805299664 140733805286968 4934354 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10619 4362 848 434 0 3983 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 42476 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/184 3438 /proc/meminfo: memFree=31614532/32770624 swapFree=0/382936 [pid=3342] ppid=3339 vsize=42476 CPUtime=1542.13 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 33909 0 0 0 154212 1 0 0 20 0 1 0 10992748 43495424 4369 18446744073709551615 4194304 5970956 140733805299664 140733805286968 4934651 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10619 4369 848 434 0 3983 0 Current children cumulated CPU time (s) 1542.13 Current children cumulated vsize (KiB) 42476 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 3440 /proc/meminfo: memFree=31617176/32770624 swapFree=0/382952 [pid=3342] ppid=3339 vsize=42476 CPUtime=1602.12 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 34637 0 0 0 160211 1 0 0 20 0 1 0 10992748 43495424 4369 18446744073709551615 4194304 5970956 140733805299664 140733805286968 4934366 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10619 4369 848 434 0 3983 0 Current children cumulated CPU time (s) 1602.12 Current children cumulated vsize (KiB) 42476 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 3442 /proc/meminfo: memFree=31617688/32770624 swapFree=0/382956 [pid=3342] ppid=3339 vsize=42476 CPUtime=1662.12 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 35265 0 0 0 166211 1 0 0 20 0 1 0 10992748 43495424 4369 18446744073709551615 4194304 5970956 140733805299664 140733805286968 4934327 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10619 4369 848 434 0 3983 0 Current children cumulated CPU time (s) 1662.12 Current children cumulated vsize (KiB) 42476 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 3444 /proc/meminfo: memFree=31617668/32770624 swapFree=0/382960 [pid=3342] ppid=3339 vsize=42476 CPUtime=1722.12 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 36035 0 0 0 172211 1 0 0 20 0 1 0 10992748 43495424 4370 18446744073709551615 4194304 5970956 140733805299664 140733805286968 4930672 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10619 4370 848 434 0 3983 0 Current children cumulated CPU time (s) 1722.12 Current children cumulated vsize (KiB) 42476 [startup+1782.3 s] /proc/loadavg: 2.05 2.03 2.05 3/181 3447 /proc/meminfo: memFree=31616888/32770624 swapFree=0/383000 [pid=3342] ppid=3339 vsize=42608 CPUtime=1782.11 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 36901 0 0 0 178210 1 0 0 20 0 1 0 10992748 43630592 4393 18446744073709551615 4194304 5970956 140733805299664 140733805297224 4934320 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10652 4393 848 434 0 4016 0 Current children cumulated CPU time (s) 1782.11 Current children cumulated vsize (KiB) 42608 [startup+1842.3 s] /proc/loadavg: 2.02 2.02 2.05 3/181 3449 /proc/meminfo: memFree=31617632/32770624 swapFree=0/383028 [pid=3342] ppid=3339 vsize=42608 CPUtime=1842.11 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 37533 0 0 0 184210 1 0 0 20 0 1 0 10992748 43630592 4402 18446744073709551615 4194304 5970956 140733805299664 140733805297224 4933182 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10652 4402 848 434 0 4016 0 Current children cumulated CPU time (s) 1842.11 Current children cumulated vsize (KiB) 42608 [startup+1902.3 s] /proc/loadavg: 2.01 2.02 2.05 3/181 3451 /proc/meminfo: memFree=31617512/32770624 swapFree=0/383036 [pid=3342] ppid=3339 vsize=42608 CPUtime=1902.11 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 38095 0 0 0 190210 1 0 0 20 0 1 0 10992748 43630592 4402 18446744073709551615 4194304 5970956 140733805299664 140733805297224 4934327 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10652 4402 848 434 0 4016 0 Current children cumulated CPU time (s) 1902.11 Current children cumulated vsize (KiB) 42608 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 3454 /proc/meminfo: memFree=31616520/32770624 swapFree=0/383048 [pid=3342] ppid=3339 vsize=42608 CPUtime=1962.1 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 38673 0 0 0 196209 1 0 0 20 0 1 0 10992748 43630592 4402 18446744073709551615 4194304 5970956 140733805299664 140733805297224 4934527 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10652 4402 848 434 0 4016 0 Current children cumulated CPU time (s) 1962.1 Current children cumulated vsize (KiB) 42608 [startup+2022.3 s] /proc/loadavg: 2.07 2.03 2.05 3/181 3456 /proc/meminfo: memFree=31617424/32770624 swapFree=0/383064 [pid=3342] ppid=3339 vsize=42608 CPUtime=2022.1 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 39249 0 0 0 202209 1 0 0 20 0 1 0 10992748 43630592 4402 18446744073709551615 4194304 5970956 140733805299664 140733805297224 4934292 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10652 4402 848 434 0 4016 0 Current children cumulated CPU time (s) 2022.1 Current children cumulated vsize (KiB) 42608 [startup+2082.3 s] /proc/loadavg: 2.03 2.02 2.05 3/185 3473 /proc/meminfo: memFree=31613524/32770624 swapFree=0/383108 [pid=3342] ppid=3339 vsize=42608 CPUtime=2082.1 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 40011 0 0 0 208209 1 0 0 20 0 1 0 10992748 43630592 4402 18446744073709551615 4194304 5970956 140733805299664 140733805297224 4933153 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10652 4402 848 434 0 4016 0 Current children cumulated CPU time (s) 2082.1 Current children cumulated vsize (KiB) 42608 [startup+2142.3 s] /proc/loadavg: 2.01 2.02 2.05 3/185 3499 /proc/meminfo: memFree=31612028/32770624 swapFree=0/383164 [pid=3342] ppid=3339 vsize=42608 CPUtime=2142.1 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 40717 0 0 0 214209 1 0 0 20 0 1 0 10992748 43630592 4402 18446744073709551615 4194304 5970956 140733805299664 140733805297224 4934389 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10652 4402 848 434 0 4016 0 Current children cumulated CPU time (s) 2142.1 Current children cumulated vsize (KiB) 42608 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/189 3522 /proc/meminfo: memFree=31610684/32770624 swapFree=0/383188 [pid=3342] ppid=3339 vsize=42608 CPUtime=2202.1 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 41523 0 0 0 220209 1 0 0 20 0 1 0 10992748 43630592 4403 18446744073709551615 4194304 5970956 140733805299664 140733805297224 5039666 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10652 4403 848 434 0 4016 0 Current children cumulated CPU time (s) 2202.1 Current children cumulated vsize (KiB) 42608 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 3525 /proc/meminfo: memFree=31616056/32770624 swapFree=0/383228 [pid=3342] ppid=3339 vsize=42608 CPUtime=2262.09 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 42342 0 0 0 226208 1 0 0 20 0 1 0 10992748 43630592 4403 18446744073709551615 4194304 5970956 140733805299664 140733805297224 4934327 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10652 4403 848 434 0 4016 0 Current children cumulated CPU time (s) 2262.09 Current children cumulated vsize (KiB) 42608 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 3527 /proc/meminfo: memFree=31616428/32770624 swapFree=0/383248 [pid=3342] ppid=3339 vsize=42608 CPUtime=2322.09 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 43145 0 0 0 232208 1 0 0 20 0 1 0 10992748 43630592 4403 18446744073709551615 4194304 5970956 140733805299664 140733805297224 4934318 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10652 4403 848 434 0 4016 0 Current children cumulated CPU time (s) 2322.09 Current children cumulated vsize (KiB) 42608 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 3653 /proc/meminfo: memFree=31618496/32770624 swapFree=0/383340 [pid=3342] ppid=3339 vsize=42608 CPUtime=2382.08 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 43884 0 0 0 238207 1 0 0 20 0 1 0 10992748 43630592 4405 18446744073709551615 4194304 5970956 140733805299664 140733805297224 5322909 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10652 4405 848 434 0 4016 0 Current children cumulated CPU time (s) 2382.08 Current children cumulated vsize (KiB) 42608 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.31 s] /proc/loadavg: 2.00 2.01 2.05 3/181 3653 /proc/meminfo: memFree=31618512/32770624 swapFree=0/383356 [pid=3342] ppid=3339 vsize=42608 CPUtime=2400.09 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 44581 0 0 0 240008 1 0 0 20 0 1 0 10992748 43630592 4405 18446744073709551615 4194304 5970956 140733805299664 140733805297224 4934465 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10652 4405 848 434 0 4016 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 42608 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 3342 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.31 s] /proc/loadavg: 2.00 2.01 2.05 3/181 3653 /proc/meminfo: memFree=31618512/32770624 swapFree=0/383356 [pid=3342] ppid=3339 vsize=42608 CPUtime=2400.09 cores=1,3,5,7 /proc/3342/stat : 3342 (cosoco) R 3339 3342 21827 0 -1 4202496 44581 0 0 0 240008 1 0 0 20 0 1 0 10992748 43630592 4405 18446744073709551615 4194304 5970956 140733805299664 140733805297224 4934465 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32088064 140733805302215 140733805302350 140733805302350 140733805305806 0 /proc/3342/statm: 10652 4405 848 434 0 4016 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 42608 Child status: 1 Real time (s): 2400.31 CPU time (s): 2400.1 CPU user time (s): 2400.08 CPU system time (s): 0.018999 CPU usage (%): 99.9915 Max. virtual memory (cumulated for all children) (KiB): 42608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.08 system time used= 0.018999 maximum resident set size= 17668 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44615 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= 650 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.83825 second user time and 7.74016 second system time The end
Begin job on node126 at 2017-08-07 08:25:32 IDJOB=4241302 IDBENCH=140543 IDSOLVER=2621 FILE ID=node126/4241302-1502087970 RUNJOBID= node126-1502042680-29187 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m2c-s1/OpenStacks-m2c-wbp-15-30-1.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241302-1502087970/watcher-4241302-1502087970 -o /tmp/evaluation-result-4241302-1502087970/solver-4241302-1502087970 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502042680-29187 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241302-1502087970.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c6a062133c2754337f0ab1bb59bcc4d1 RANDOM SEED=14929563 node126.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.81 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.81 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.81 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.81 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: 31636408 kB MemAvailable: 32012056 kB Buffers: 149456 kB Cached: 513864 kB SwapCached: 0 kB Active: 326704 kB Inactive: 399244 kB Active(anon): 62832 kB Inactive(anon): 16716 kB Active(file): 263872 kB Inactive(file): 382528 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2944 kB Writeback: 0 kB AnonPages: 62344 kB Mapped: 33108 kB Shmem: 17060 kB Slab: 114936 kB SReclaimable: 90168 kB SUnreclaim: 24768 kB KernelStack: 3264 kB PageTables: 4768 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 316628 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 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 node126 at 2017-08-07 09:05:32