Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.1 | SAT (TO) | 4380016 | 251.97099 | 252.011 |
| 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.00/0.10 c best=?? lower=-205560396 upper=0 0.15/0.25 c 0.15/0.25 c This is cosoco 1.1 -- 0.15/0.25 c 0.15/0.25 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4258653-1502642574.xml 0.15/0.25 c enable optimization 0.15/0.25 c ========================================[ Problem Statistics ]=========================================== 0.15/0.25 c | 0.15/0.25 c | Parse time : 0.04 s 0.15/0.25 c | 0.15/0.25 c | Variables: 702 0.15/0.25 c | Domain Sizes: 26..280 0.15/0.25 c | 0.15/0.25 c | Constraints: 327 0.15/0.25 c | Arity: 3..325 -- Ternary: 325 0.15/0.25 c | 0.15/0.25 c | Types: 0.15/0.25 c | All Different: 1 0.15/0.25 c | Extension: 325 (nb tuples: 650..650) -- (shared: 324) 0.15/0.25 c | Sum: 1 0.15/0.25 c | 0.15/0.25 c ========================================================================================================= 0.15/0.25 o -4628577 0.15/0.25 c 1 calls to solver: best=-4628577 lower=-4628576 upper=0 1.24/1.30 o -4574309 3.64/3.77 o -4553156 3.64/3.77 c 3 calls to solver: best=-4553156 lower=-4553155 upper=0 15.44/15.54 o -4553090 44.24/44.33 o -4411683 44.24/44.33 c 5 calls to solver: best=-4411683 lower=-4411682 upper=0 48.34/48.49 o -4406561 234.75/234.84 o -4380016 234.75/234.84 c 7 calls to solver: best=-4380016 lower=-4380015 upper=0 251.96/252.01 251.96/252.01 c *** INTERRUPTED *** 251.96/252.01 c restarts : 56 251.96/252.01 c conflicts : 208928 (829 /sec) 251.96/252.01 c decisions : 1891670 (7508 /sec) 251.96/252.01 c propagations : 387546184 (1538137 /sec) 251.96/252.01 c root propagations : 3575 251.96/252.01 c filter calls : 32861176 (130423 /sec) 251.96/252.01 c useless filter calls : 25397717 (77 %) 251.96/252.01 c Memory used : 42.86 MB 251.96/252.01 c CPU time : 251.958 s 251.96/252.01 251.96/252.01 c nb Solutions = 7 251.96/252.01 s SATISFIABLE 251.96/252.01 c Best value found: -4380016 251.96/252.01 251.96/252.01 251.96/252.01 v <instantiation type='solution' cost='-4380016'> 251.96/252.01 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.96/252.01 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.96/252.01 v </instantiation> 251.96/252.01
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 (15077 MiB free)
memory of node 1: 16384 MiB (15265 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258653-1502642574/watcher-4258653-1502642574 -o /tmp/evaluation-result-4258653-1502642574/solver-4258653-1502642574 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502640979-4139 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4258653-1502642574.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4566, runsolver pid=4563
Current StackSize limit: 8192 KiB
[startup+0.100202 s]*
/proc/loadavg: 1.96 2.24 2.87 2/182 4570
/proc/meminfo: memFree=31058724/32770624 swapFree=67108860/67108860
[pid=4566] ppid=4563 vsize=42700 memory=19084 CPUtime=0.05 cores=0,2,4,6
/proc/4566/stat : 4566 (cosoco) R 4563 4566 12395 0 -1 4202496 4955 0 0 0 5 0 0 0 20 0 1 0 106168774 43724800 4771 18446744073709551615 4194304 5972556 140732551595328 140732551591976 4935443 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 29974528 140732551602603 140732551602733 140732551602733 140732551606222 0
/proc/4566/statm: 10675 4771 748 435 0 4038 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 42700 KiB
Current children cumulated memory: 19084 KiB
[startup+0.210061 s]*
/proc/loadavg: 1.96 2.24 2.87 2/180 4572
/proc/meminfo: memFree=31057752/32770624 swapFree=67108860/67108860
[pid=4566] ppid=4563 vsize=43096 memory=19348 CPUtime=0.15 cores=0,2,4,6
/proc/4566/stat : 4566 (cosoco) R 4563 4566 12395 0 -1 4202496 5054 0 0 0 15 0 0 0 20 0 1 0 106168774 44130304 4837 18446744073709551615 4194304 5972556 140732551595328 140732551591976 5325547 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 29974528 140732551602603 140732551602733 140732551602733 140732551606222 0
/proc/4566/statm: 10774 4837 778 435 0 4137 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 43096 KiB
Current children cumulated memory: 19348 KiB
[startup+0.309413 s]*
/proc/loadavg: 1.96 2.24 2.87 2/181 4573
/proc/meminfo: memFree=31057640/32770624 swapFree=67108860/67108860
[pid=4566] ppid=4563 vsize=43228 memory=19612 CPUtime=0.25 cores=0,2,4,6
/proc/4566/stat : 4566 (cosoco) R 4563 4566 12395 0 -1 4202496 5089 0 0 0 25 0 0 0 20 0 1 0 106168774 44265472 4903 18446744073709551615 4194304 5972556 140732551595328 140732551591976 5048658 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 29974528 140732551602603 140732551602733 140732551602733 140732551606222 0
/proc/4566/statm: 10807 4903 778 435 0 4170 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 43228 KiB
Current children cumulated memory: 19612 KiB
[startup+0.700378 s]
/proc/loadavg: 1.96 2.24 2.87 3/186 4587
/proc/meminfo: memFree=31052168/32770624 swapFree=67108860/67108860
[pid=4566] ppid=4563 vsize=43624 memory=19876 CPUtime=0.64 cores=0,2,4,6
/proc/4566/stat : 4566 (cosoco) R 4563 4566 12395 0 -1 4202496 5187 0 0 0 64 0 0 0 20 0 1 0 106168774 44670976 4969 18446744073709551615 4194304 5972556 140732551595328 140732551591928 5139248 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 29974528 140732551602603 140732551602733 140732551602733 140732551606222 0
/proc/4566/statm: 10906 4969 780 435 0 4269 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 43624 KiB
Current children cumulated memory: 19876 KiB
[startup+1.5004 s]
/proc/loadavg: 1.96 2.24 2.87 3/186 4587
/proc/meminfo: memFree=31051228/32770624 swapFree=67108860/67108860
[pid=4566] ppid=4563 vsize=43888 memory=20140 CPUtime=1.44 cores=0,2,4,6
/proc/4566/stat : 4566 (cosoco) R 4563 4566 12395 0 -1 4202496 5238 0 0 0 144 0 0 0 20 0 1 0 106168774 44941312 5035 18446744073709551615 4194304 5972556 140732551595328 140732551592040 5046264 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 29974528 140732551602603 140732551602733 140732551602733 140732551606222 0
/proc/4566/statm: 10972 5035 780 435 0 4335 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 43888 KiB
Current children cumulated memory: 20140 KiB
[startup+3.10959 s]
/proc/loadavg: 1.96 2.24 2.87 3/186 4587
/proc/meminfo: memFree=31051228/32770624 swapFree=67108860/67108860
[pid=4566] ppid=4563 vsize=43888 memory=20332 CPUtime=3.05 cores=0,2,4,6
/proc/4566/stat : 4566 (cosoco) R 4563 4566 12395 0 -1 4202496 8664 0 0 0 305 0 0 0 20 0 1 0 106168774 44941312 5083 18446744073709551615 4194304 5972556 140732551595328 140732551592040 4935618 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 29974528 140732551602603 140732551602733 140732551602733 140732551606222 0
/proc/4566/statm: 10972 5083 780 435 0 4335 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 43888 KiB
Current children cumulated memory: 20332 KiB
[startup+6.30034 s]
/proc/loadavg: 1.96 2.23 2.87 3/186 4587
/proc/meminfo: memFree=31051196/32770624 swapFree=67108860/67108860
[pid=4566] ppid=4563 vsize=43888 memory=20400 CPUtime=6.23 cores=0,2,4,6
/proc/4566/stat : 4566 (cosoco) R 4563 4566 12395 0 -1 4202496 12241 0 0 0 623 0 0 0 20 0 1 0 106168774 44941312 5100 18446744073709551615 4194304 5972556 140732551595328 140732551582520 5139311 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 29974528 140732551602603 140732551602733 140732551602733 140732551606222 0
/proc/4566/statm: 10972 5100 780 435 0 4335 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 43888 KiB
Current children cumulated memory: 20400 KiB
[startup+12.7004 s]
/proc/loadavg: 1.96 2.23 2.86 3/186 4587
/proc/meminfo: memFree=31050556/32770624 swapFree=67108860/67108860
[pid=4566] ppid=4563 vsize=43888 memory=20400 CPUtime=12.63 cores=0,2,4,6
/proc/4566/stat : 4566 (cosoco) R 4563 4566 12395 0 -1 4202496 15696 0 0 0 1263 0 0 0 20 0 1 0 106168774 44941312 5100 18446744073709551615 4194304 5972556 140732551595328 140732551582520 5139311 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 29974528 140732551602603 140732551602733 140732551602733 140732551606222 0
/proc/4566/statm: 10972 5100 780 435 0 4335 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 43888 KiB
Current children cumulated memory: 20400 KiB
[startup+25.5004 s]
/proc/loadavg: 1.97 2.22 2.85 3/186 4587
/proc/meminfo: memFree=31050264/32770624 swapFree=67108860/67108860
[pid=4566] ppid=4563 vsize=43888 memory=20404 CPUtime=25.44 cores=0,2,4,6
/proc/4566/stat : 4566 (cosoco) R 4563 4566 12395 0 -1 4202496 17516 0 0 0 2543 1 0 0 20 0 1 0 106168774 44941312 5101 18446744073709551615 4194304 5972556 140732551595328 140732551592776 4935148 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 29974528 140732551602603 140732551602733 140732551602733 140732551606222 0
/proc/4566/statm: 10972 5101 780 435 0 4335 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 43888 KiB
Current children cumulated memory: 20404 KiB
[startup+51.1093 s]
/proc/loadavg: 1.98 2.20 2.83 3/186 4588
/proc/meminfo: memFree=31050552/32770624 swapFree=67108860/67108860
[pid=4566] ppid=4563 vsize=43888 memory=20408 CPUtime=51.05 cores=0,2,4,6
/proc/4566/stat : 4566 (cosoco) R 4563 4566 12395 0 -1 4202496 18188 0 0 0 5104 1 0 0 20 0 1 0 106168774 44941312 5102 18446744073709551615 4194304 5972556 140732551595328 140732551592776 5048484 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 29974528 140732551602603 140732551602733 140732551602733 140732551606222 0
/proc/4566/statm: 10972 5102 780 435 0 4335 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 43888 KiB
Current children cumulated memory: 20408 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.17 2.78 3/189 4603
/proc/meminfo: memFree=31045592/32770624 swapFree=67108860/67108860
[pid=4566] ppid=4563 vsize=43888 memory=20412 CPUtime=102.24 cores=0,2,4,6
/proc/4566/stat : 4566 (cosoco) R 4563 4566 12395 0 -1 4202496 18838 0 0 0 10223 1 0 0 20 0 1 0 106168774 44941312 5103 18446744073709551615 4194304 5972556 140732551595328 140732551592776 5139311 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 29974528 140732551602603 140732551602733 140732551602733 140732551606222 0
/proc/4566/statm: 10972 5103 780 435 0 4335 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 43888 KiB
Current children cumulated memory: 20412 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.14 2.73 3/187 4605
/proc/meminfo: memFree=31047024/32770624 swapFree=67108860/67108860
[pid=4566] ppid=4563 vsize=43888 memory=20412 CPUtime=162.25 cores=0,2,4,6
/proc/4566/stat : 4566 (cosoco) R 4563 4566 12395 0 -1 4202496 19493 0 0 0 16224 1 0 0 20 0 1 0 106168774 44941312 5103 18446744073709551615 4194304 5972556 140732551595328 140732551592776 5048487 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 29974528 140732551602603 140732551602733 140732551602733 140732551606222 0
/proc/4566/statm: 10972 5103 780 435 0 4335 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 43888 KiB
Current children cumulated memory: 20412 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.11 2.69 3/186 4607
/proc/meminfo: memFree=31049144/32770624 swapFree=67108860/67108860
[pid=4566] ppid=4563 vsize=43888 memory=20412 CPUtime=222.25 cores=0,2,4,6
/proc/4566/stat : 4566 (cosoco) R 4563 4566 12395 0 -1 4202496 20143 0 0 0 22224 1 0 0 20 0 1 0 106168774 44941312 5103 18446744073709551615 4194304 5972556 140732551595328 140732551592776 5048008 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 29974528 140732551602603 140732551602733 140732551602733 140732551606222 0
/proc/4566/statm: 10972 5103 780 435 0 4335 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 43888 KiB
Current children cumulated memory: 20412 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 2.07 2.12 2.67 3/186 4609
/proc/meminfo: memFree=31049144/32770624 swapFree=67108860/67108860
[pid=4566] ppid=4563 vsize=43888 memory=20412 CPUtime=251.96 cores=0,2,4,6
/proc/4566/stat : 4566 (cosoco) R 4563 4566 12395 0 -1 4202496 20159 0 0 0 25195 1 0 0 20 0 1 0 106168774 44941312 5103 18446744073709551615 4194304 5972556 140732551595328 140732551582520 5139311 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 29974528 140732551602603 140732551602733 140732551602733 140732551606222 0
/proc/4566/statm: 10972 5103 780 435 0 4335 0
Current children cumulated CPU time: 251.96 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.011 s]
# the end of solver process 4566 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.958 s, system=0.013 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 252.011
CPU time (s): 251.971
CPU user time (s): 251.958
CPU system time (s): 0.013
CPU usage (%): 99.9843
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.958
system time used= 0.013
maximum resident set size= 20500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20201
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= 86
# summary of solver processes directly reported to runsolver:
# pid: 4566
# total CPU time (s): 251.971
# total CPU user time (s): 251.958
# total CPU system time (s): 0.013
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.830448 second user time and 1.8737 second system time
The end
Begin job on node135 at 2017-08-13 18:29:01 IDJOB=4258653 IDBENCH=123075 IDSOLVER=2644 FILE ID=node135/4258653-1502642574 RUNJOBID= node135-1502640979-4139 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-bur26g.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4258653-1502642574/watcher-4258653-1502642574 -o /tmp/evaluation-result-4258653-1502642574/solver-4258653-1502642574 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502640979-4139 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4258653-1502642574.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e15ea9448d462545754e2532d86d3e94 RANDOM SEED=1550453112 node135.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.21 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.21 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.21 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.21 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: 31072072 kB MemAvailable: 31973456 kB Buffers: 313048 kB Cached: 885784 kB SwapCached: 0 kB Active: 696596 kB Inactive: 558036 kB Active(anon): 56144 kB Inactive(anon): 41324 kB Active(file): 640452 kB Inactive(file): 516712 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2324 kB Writeback: 0 kB AnonPages: 56108 kB Mapped: 55304 kB Shmem: 41656 kB Slab: 147768 kB SReclaimable: 120108 kB SUnreclaim: 27660 kB KernelStack: 3232 kB PageTables: 4644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 315396 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 62028 MiB End job on node135 at 2017-08-13 18:33:13