Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 4380016 | 251.91299 | 252.00999 |
| Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml |
| MD5SUM | e15ea9448d462545754e2532d86d3e94 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 3169398 |
| Best CPU time to get the best result obtained on this benchmark | 252.08501 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 702 |
| Number of constraints | 326 |
| Number of domains | 2 |
| Minimum domain size | 26 |
| Maximum domain size | 280 |
| Distribution of domain sizes | [{"size":26,"count":26},{"size":280,"count":325}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 26 |
| Distribution of variable degrees | [{"degree":0,"count":351},{"degree":2,"count":325},{"degree":26,"count":26}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 26 |
| Distribution of constraint arities | [{"arity":3,"count":325},{"arity":26,"count":1}] |
| Number of extensional constraints | 325 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":325},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.02/0.12 c best=?? lower=-205560396 upper=0 0.14/0.26 c 0.14/0.26 c This is cosoco 1.12 -- 0.14/0.26 c 0.14/0.26 c command line: cosoco -lc -model -restarts HOME/instance-4268709-1502652742.xml 0.14/0.26 c enable optimization 0.14/0.26 c ========================================[ Problem Statistics ]=========================================== 0.14/0.26 c | 0.14/0.26 c | Parse time : 0.04 s 0.14/0.26 c | 0.14/0.26 c | Variables: 702 0.14/0.26 c | Domain Sizes: 26..280 0.14/0.26 c | 0.14/0.26 c | Constraints: 327 0.14/0.26 c | Arity: 3..325 -- Ternary: 325 0.14/0.26 c | 0.14/0.26 c | Types: 0.14/0.26 c | All Different: 1 0.14/0.26 c | Extension: 325 (nb tuples: 650..650) -- (shared: 324) 0.14/0.26 c | Sum: 1 0.14/0.26 c | 0.14/0.26 c ========================================================================================================= 0.14/0.26 o -4628577 0.14/0.26 c 1 calls to solver: best=-4628577 lower=-4628576 upper=0 1.22/1.31 o -4574309 3.62/3.77 o -4553156 3.62/3.77 c 3 calls to solver: best=-4553156 lower=-4553155 upper=0 15.92/16.02 o -4553090 44.80/44.93 o -4411683 44.80/44.93 c 5 calls to solver: best=-4411683 lower=-4411682 upper=0 48.91/49.08 o -4406561 234.49/234.65 o -4380016 234.49/234.65 c 7 calls to solver: best=-4380016 lower=-4380015 upper=0 251.90/252.00 251.90/252.00 c *** INTERRUPTED *** 251.90/252.00 c restarts : 56 251.90/252.00 c conflicts : 209089 (830 /sec) 251.90/252.00 c decisions : 1894181 (7520 /sec) 251.90/252.00 c propagations : 387815275 (1539597 /sec) 251.90/252.00 c root propagations : 3575 251.90/252.00 c filter calls : 32889203 (130568 /sec) 251.90/252.00 c useless filter calls : 25417494 (77 %) 251.90/252.00 c Memory used : 42.86 MB 251.90/252.00 c CPU time : 251.894 s 251.90/252.00 251.90/252.00 c nb Solutions = 7 251.90/252.00 s SATISFIABLE 251.90/252.00 c Best value found: -4380016 251.90/252.00 251.90/252.00 251.90/252.00 v <instantiation type='solution' cost='-4380016'> 251.90/252.00 v <list>d[0][0] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][1] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[10][0] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][1] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[11][0] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][1] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[12][0] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][1] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[13][0] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][1] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[14][0] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][1] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[15][0] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][1] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[16][0] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][1] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[17][0] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][1] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[18][0] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][1] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[19][0] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][1] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[1][0] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][1] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[20][0] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][1] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[21][0] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][1] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[22][0] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][1] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[23][0] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][1] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[24][0] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][1] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[25][0] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][1] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[2][0] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][1] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[3][0] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][1] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[4][0] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][1] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][0] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][1] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[6][0] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][1] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][1] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][1] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][1] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list> 251.90/252.00 v <values>* 75 14 8 187 1009 131 318 1949 146 107 154 64 1212 768 47 2401 20 918 9 31 1012 116 533 140 2 * * 40 0 3 16 8 3 1 3 5 * 0 296 973 4 30 8 * * * * * * * * * * * 0 0 0 0 0 1 7 0 * 1 4 217 0 1 1 * * * * * * * * * * * * 0 0 0 0 0 0 0 * 0 0 0 0 0 0 * * * * * * * * * * * * * 352 28 169 177 5 22 * 69 1097 1170 106 512 43 * * * * * * * * * * * * * * 61 90 26 1005 51 * 89 301 154 20 70 339 * * * * * * * * * * * * * * * 0 1 1 0 * 5 222 2203 0 7 3 * * * * * * * * * * * * * * * * 5 0 79 * 24 228 379 7 3 2 * * * * * * * * * * * * * * * * * 5 61 * 21 331 336 0 216 3 * * * * * * * * * * * * * * * * * * 2151 * 2 148 83 1 3 3 * * * * * * * * * * * * * * * * * * * * 8 286 834 4 1 0 * * * * * * * * * 350 1 0 228 388 11 136 69 64 8 * 80 977 29 12 224 14 218 10 494 81 83 0 25 11 * * * * * * * * * * * * * 546 899 11 109 93 * * * * * * * * * * * * * * * * * * * * * * 188 46 735 75 * * * * * * * * * * * * * * * * * * * * * * * 294 516 247 * * * * * * * * * * * * * * * * * * * * * * * * 91 5 * * * * * * * * * * * * * * * * * * * * * * * * * 21 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 197 52 0 46 595 88 22 139 12 160 * 34 1256 770 6 60 12 * 24 622 3844 48 811 30 0 * 1 1 0 7 34 0 1 1 9 0 * 21 1 6 0 0 39 * * 17 9 2 5 0 0 * 175 9 1 427 869 187 476 301 39 165 * 234 1035 1140 13 1434 86 * * * 2129 190 1095 167 5 * 266 9 11 2717 1264 660 777 926 415 222 * 688 1061 115 515 1114 284 * * * * 331 46 518 56 * 0 2 0 256 5 3 1 0 0 0 * 0 140 200 0 1 0 * * * * * 313 0 0 * 74 5 0 566 237 454 270 528 242 8 * 856 49 63 291 239 955 * * * * * * 35 4 * 81 0 0 13 0 1 5 7 0 0 * 0 477 390 0 0 0 * * * * * * * 0 * 0 0 0 0 0 0 0 0 7 0 * 0 10 12 0 0 20 * * * * * * * * 13 22 9 16 11 18 21 10 6 2 7 20 12 8 0 5 3 15 19 24 17 4 1 14 25 23 </values> 251.90/252.00 v </instantiation> 251.90/252.00
OK 4380016
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 (15353 MiB free)
memory of node 1: 16384 MiB (15635 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268709-1502652742/watcher-4268709-1502652742 -o /tmp/evaluation-result-4268709-1502652742/solver-4268709-1502652742 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502644521-30671 --watchdog 312 cosoco -lc -model -restarts HOME/instance-4268709-1502652742.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2344, runsolver pid=2341
[startup+0.100162 s]*
/proc/loadavg: 2.00 1.98 2.02 3/181 2345
/proc/meminfo: memFree=31723332/32770624 swapFree=67108860/67108860
[pid=2344] ppid=2341 vsize=39004 memory=15128 CPUtime=0.02 cores=1,3,5,7
/proc/2344/stat : 2344 (cosoco) R 2341 2344 11586 0 -1 4202496 3958 0 0 0 2 0 0 0 20 0 1 0 53614848 39940096 3782 18446744073709551615 4194304 5972588 140726836788096 140726836784744 5674555 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 38944768 140726836793806 140726836793901 140726836793901 140726836797390 0
/proc/2344/statm: 9751 3782 711 435 0 3114 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 39004 KiB
Current children cumulated memory: 15128 KiB
[startup+0.20935 s]*
/proc/loadavg: 2.00 1.98 2.02 3/181 2345
/proc/meminfo: memFree=31716264/32770624 swapFree=67108860/67108860
[pid=2344] ppid=2341 vsize=43096 memory=19352 CPUtime=0.14 cores=1,3,5,7
/proc/2344/stat : 2344 (cosoco) R 2341 2344 11586 0 -1 4202496 5058 0 0 0 13 1 0 0 20 0 1 0 53614848 44130304 4838 18446744073709551615 4194304 5972588 140726836788096 140726836784744 4935582 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 38944768 140726836793806 140726836793901 140726836793901 140726836797390 0
/proc/2344/statm: 10774 4838 778 435 0 4137 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 43096 KiB
Current children cumulated memory: 19352 KiB
[startup+0.309166 s]*
/proc/loadavg: 2.00 1.98 2.02 3/181 2345
/proc/meminfo: memFree=31716264/32770624 swapFree=67108860/67108860
[pid=2344] ppid=2341 vsize=43228 memory=19616 CPUtime=0.24 cores=1,3,5,7
/proc/2344/stat : 2344 (cosoco) R 2341 2344 11586 0 -1 4202496 5093 0 0 0 23 1 0 0 20 0 1 0 53614848 44265472 4904 18446744073709551615 4194304 5972588 140726836788096 140726836784744 4931808 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 38944768 140726836793806 140726836793901 140726836793901 140726836797390 0
/proc/2344/statm: 10807 4904 778 435 0 4170 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 43228 KiB
Current children cumulated memory: 19616 KiB
[startup+0.700317 s]
/proc/loadavg: 2.00 1.98 2.02 3/181 2345
/proc/meminfo: memFree=31715892/32770624 swapFree=67108860/67108860
[pid=2344] ppid=2341 vsize=43624 memory=19880 CPUtime=0.62 cores=1,3,5,7
/proc/2344/stat : 2344 (cosoco) R 2341 2344 11586 0 -1 4202496 5191 0 0 0 61 1 0 0 20 0 1 0 53614848 44670976 4970 18446744073709551615 4194304 5972588 140726836788096 140726836784744 5099674 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 38944768 140726836793806 140726836793901 140726836793901 140726836797390 0
/proc/2344/statm: 10906 4970 780 435 0 4269 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 43624 KiB
Current children cumulated memory: 19880 KiB
[startup+1.50033 s]
/proc/loadavg: 2.00 1.98 2.02 2/179 2345
/proc/meminfo: memFree=31718124/32770624 swapFree=67108860/67108860
[pid=2344] ppid=2341 vsize=43888 memory=20144 CPUtime=1.42 cores=1,3,5,7
/proc/2344/stat : 2344 (cosoco) R 2341 2344 11586 0 -1 4202496 5242 0 0 0 141 1 0 0 20 0 1 0 53614848 44941312 5036 18446744073709551615 4194304 5972588 140726836788096 140726836784808 5139327 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 38944768 140726836793806 140726836793901 140726836793901 140726836797390 0
/proc/2344/statm: 10972 5036 780 435 0 4335 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 43888 KiB
Current children cumulated memory: 20144 KiB
[startup+3.10904 s]
/proc/loadavg: 2.00 1.98 2.02 2/177 2347
/proc/meminfo: memFree=31717972/32770624 swapFree=67108860/67108860
[pid=2344] ppid=2341 vsize=43888 memory=20324 CPUtime=3.03 cores=1,3,5,7
/proc/2344/stat : 2344 (cosoco) R 2341 2344 11586 0 -1 4202496 8668 0 0 0 302 1 0 0 20 0 1 0 53614848 44941312 5081 18446744073709551615 4194304 5972588 140726836788096 140726836785544 4935428 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 38944768 140726836793806 140726836793901 140726836793901 140726836797390 0
/proc/2344/statm: 10972 5081 780 435 0 4335 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 43888 KiB
Current children cumulated memory: 20324 KiB
[startup+6.30026 s]
/proc/loadavg: 2.08 2.00 2.03 2/177 2347
/proc/meminfo: memFree=31717552/32770624 swapFree=67108860/67108860
[pid=2344] ppid=2341 vsize=43888 memory=20392 CPUtime=6.22 cores=1,3,5,7
/proc/2344/stat : 2344 (cosoco) R 2341 2344 11586 0 -1 4202496 12244 0 0 0 621 1 0 0 20 0 1 0 53614848 44941312 5098 18446744073709551615 4194304 5972588 140726836788096 140726836775288 5139327 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 38944768 140726836793806 140726836793901 140726836793901 140726836797390 0
/proc/2344/statm: 10972 5098 780 435 0 4335 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 43888 KiB
Current children cumulated memory: 20392 KiB
[startup+12.7002 s]
/proc/loadavg: 2.07 2.00 2.03 3/181 2410
/proc/meminfo: memFree=31715468/32770624 swapFree=67108860/67108860
[pid=2344] ppid=2341 vsize=43888 memory=20392 CPUtime=12.62 cores=1,3,5,7
/proc/2344/stat : 2344 (cosoco) R 2341 2344 11586 0 -1 4202496 15693 0 0 0 1261 1 0 0 20 0 1 0 53614848 44941312 5098 18446744073709551615 4194304 5972588 140726836788096 140726836775288 5048473 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 38944768 140726836793806 140726836793901 140726836793901 140726836797390 0
/proc/2344/statm: 10972 5098 780 435 0 4335 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 43888 KiB
Current children cumulated memory: 20392 KiB
[startup+25.5002 s]
/proc/loadavg: 2.05 2.00 2.03 3/181 2410
/proc/meminfo: memFree=31715340/32770624 swapFree=67108860/67108860
[pid=2344] ppid=2341 vsize=43888 memory=20396 CPUtime=25.41 cores=1,3,5,7
/proc/2344/stat : 2344 (cosoco) R 2341 2344 11586 0 -1 4202496 21078 0 0 0 2540 1 0 0 20 0 1 0 53614848 44941312 5099 18446744073709551615 4194304 5972588 140726836788096 140726836785544 5328036 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 38944768 140726836793806 140726836793901 140726836793901 140726836797390 0
/proc/2344/statm: 10972 5099 780 435 0 4335 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 43888 KiB
Current children cumulated memory: 20396 KiB
[startup+51.1088 s]
/proc/loadavg: 2.04 2.00 2.03 3/181 2411
/proc/meminfo: memFree=31715644/32770624 swapFree=67108860/67108860
[pid=2344] ppid=2341 vsize=43888 memory=20400 CPUtime=51.01 cores=1,3,5,7
/proc/2344/stat : 2344 (cosoco) R 2341 2344 11586 0 -1 4202496 21755 0 0 0 5100 1 0 0 20 0 1 0 53614848 44941312 5100 18446744073709551615 4194304 5972588 140726836788096 140726836785544 5048503 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 38944768 140726836793806 140726836793901 140726836793901 140726836797390 0
/proc/2344/statm: 10972 5100 780 435 0 4335 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 43888 KiB
Current children cumulated memory: 20400 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.00 2.03 3/181 2413
/proc/meminfo: memFree=31715520/32770624 swapFree=67108860/67108860
[pid=2344] ppid=2341 vsize=43888 memory=20404 CPUtime=102.19 cores=1,3,5,7
/proc/2344/stat : 2344 (cosoco) R 2341 2344 11586 0 -1 4202496 22408 0 0 0 10218 1 0 0 20 0 1 0 53614848 44941312 5101 18446744073709551615 4194304 5972588 140726836788096 140726836785544 5048473 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 38944768 140726836793806 140726836793901 140726836793901 140726836797390 0
/proc/2344/statm: 10972 5101 780 435 0 4335 0
Current children cumulated CPU time: 102.19 s
Current children cumulated vsize: 43888 KiB
Current children cumulated memory: 20404 KiB
[startup+162.3 s]
/proc/loadavg: 1.94 1.98 2.02 3/184 2429
/proc/meminfo: memFree=31710580/32770624 swapFree=67108860/67108860
[pid=2344] ppid=2341 vsize=43888 memory=20404 CPUtime=162.19 cores=1,3,5,7
/proc/2344/stat : 2344 (cosoco) R 2341 2344 11586 0 -1 4202496 23066 0 0 0 16218 1 0 0 20 0 1 0 53614848 44941312 5101 18446744073709551615 4194304 5972588 140726836788096 140726836785544 5099674 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38944768 140726836793806 140726836793901 140726836793901 140726836797390 0
/proc/2344/statm: 10972 5101 780 435 0 4335 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 43888 KiB
Current children cumulated memory: 20404 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.99 2.02 3/181 2431
/proc/meminfo: memFree=31713740/32770624 swapFree=67108860/67108860
[pid=2344] ppid=2341 vsize=43888 memory=20404 CPUtime=222.19 cores=1,3,5,7
/proc/2344/stat : 2344 (cosoco) R 2341 2344 11586 0 -1 4202496 23719 0 0 0 22218 1 0 0 20 0 1 0 53614848 44941312 5101 18446744073709551615 4194304 5972588 140726836788096 140726836785544 5139327 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38944768 140726836793806 140726836793901 140726836793901 140726836797390 0
/proc/2344/statm: 10972 5101 780 435 0 4335 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 43888 KiB
Current children cumulated memory: 20404 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 1.92 1.97 2.02 3/181 2432
/proc/meminfo: memFree=31714220/32770624 swapFree=67108860/67108860
[pid=2344] ppid=2341 vsize=43888 memory=20412 CPUtime=251.9 cores=1,3,5,7
/proc/2344/stat : 2344 (cosoco) R 2341 2344 11586 0 -1 4202496 24388 0 0 0 25189 1 0 0 20 0 1 0 53614848 44941312 5103 18446744073709551615 4194304 5972588 140726836788096 140726836775288 5139327 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38944768 140726836793806 140726836793901 140726836793901 140726836797390 0
/proc/2344/statm: 10972 5103 780 435 0 4335 0
Current children cumulated CPU time: 251.9 s
Current children cumulated vsize: 43888 KiB
Current children cumulated memory: 20412 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.01 s]
# the end of solver process 2344 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.895 s, system=0.017998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 252.01
CPU time (s): 251.913
CPU user time (s): 251.895
CPU system time (s): 0.017998
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 43888
Max. memory (cumulated for all children) (KiB): 20412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.895
system time used= 0.017998
maximum resident set size= 20492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24442
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= 17
involuntary context switches= 247
# summary of solver processes directly reported to runsolver:
# pid: 2344
# total CPU time (s): 251.913
# total CPU user time (s): 251.895
# total CPU system time (s): 0.017998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.850404 second user time and 1.65273 second system time
The end
Begin job on node124 at 2017-08-13 21:18:06 IDJOB=4268709 IDBENCH=123075 IDSOLVER=2659 FILE ID=node124/4268709-1502652742 RUNJOBID= node124-1502644521-30671 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-bur26g.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268709-1502652742/watcher-4268709-1502652742 -o /tmp/evaluation-result-4268709-1502652742/solver-4268709-1502652742 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502644521-30671 --watchdog 312 cosoco -lc -model -restarts HOME/instance-4268709-1502652742.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e15ea9448d462545754e2532d86d3e94 RANDOM SEED=1652230586 node124.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.51 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.51 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.51 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.51 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: 31732908 kB MemAvailable: 32000340 kB Buffers: 174488 kB Cached: 382456 kB SwapCached: 0 kB Active: 422620 kB Inactive: 189324 kB Active(anon): 6256 kB Inactive(anon): 73804 kB Active(file): 416364 kB Inactive(file): 115520 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2336 kB Writeback: 0 kB AnonPages: 55024 kB Mapped: 45084 kB Shmem: 25320 kB Slab: 128788 kB SReclaimable: 102764 kB SUnreclaim: 26024 kB KernelStack: 3264 kB PageTables: 5232 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 327696 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62028 MiB End job on node124 at 2017-08-13 21:22:18