Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco-mini 1.12 | SAT (TO) | 4370447 | 2400.0901 | 2400.1101 |
| Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml |
| MD5SUM | e15ea9448d462545754e2532d86d3e94 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4370447 |
| Best CPU time to get the best result obtained on this benchmark | 2400.0901 |
| 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.03/0.11 c best=?? lower=-205560396 upper=0 0.14/0.25 c 0.14/0.25 c This is cosoco 1.12 -- 0.14/0.25 c 0.14/0.25 c command line: cosoco -lc -model -restarts HOME/instance-4267162-1502603160.xml 0.14/0.25 c enable optimization 0.14/0.25 c ========================================[ Problem Statistics ]=========================================== 0.14/0.25 c | 0.14/0.25 c | Parse time : 0.04 s 0.14/0.25 c | 0.14/0.25 c | Variables: 702 0.14/0.25 c | Domain Sizes: 26..280 0.14/0.25 c | 0.14/0.25 c | Constraints: 327 0.14/0.25 c | Arity: 3..325 -- Ternary: 325 0.14/0.25 c | 0.14/0.25 c | Types: 0.14/0.25 c | All Different: 1 0.14/0.25 c | Extension: 325 (nb tuples: 650..650) -- (shared: 324) 0.14/0.25 c | Sum: 1 0.14/0.25 c | 0.14/0.25 c ========================================================================================================= 0.14/0.25 o -4628577 0.14/0.25 c 1 calls to solver: best=-4628577 lower=-4628576 upper=0 1.22/1.30 o -4574309 3.62/3.76 o -4553156 3.62/3.76 c 3 calls to solver: best=-4553156 lower=-4553155 upper=0 15.93/16.06 o -4553090 48.22/48.33 o -4411683 48.22/48.33 c 5 calls to solver: best=-4411683 lower=-4411682 upper=0 52.42/52.50 o -4406561 238.32/238.46 o -4380016 238.32/238.46 c 7 calls to solver: best=-4380016 lower=-4380015 upper=0 487.83/487.95 o -4370447 2400.09/2400.10 2400.09/2400.10 c *** INTERRUPTED *** 2400.09/2400.10 c restarts : 78 2400.09/2400.10 c conflicts : 1780437 (742 /sec) 2400.09/2400.10 c decisions : 17301651 (7209 /sec) 2400.09/2400.10 c propagations : 3053322714 (1272180 /sec) 2400.09/2400.10 c root propagations : 3575 2400.09/2400.10 c filter calls : 277089255 (115450 /sec) 2400.09/2400.10 c useless filter calls : 222678969 (80 %) 2400.09/2400.10 c Memory used : 42.65 MB 2400.09/2400.10 c CPU time : 2400.07 s 2400.09/2400.10 2400.09/2400.10 c nb Solutions = 8 2400.09/2400.10 s SATISFIABLE 2400.09/2400.10 c Best value found: -4370447 2400.09/2400.10 2400.09/2400.10 2400.09/2400.10 v <instantiation type='solution' cost='-4370447'> 2400.09/2400.10 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> 2400.09/2400.10 v <values>* 770 52 0 12 34 60 160 88 46 22 1256 0 595 48 139 6 12 811 5 622 3844 197 280 30 24 * * 6 0 247 576 516 15 120 1531 507 * 3 500 57 610 294 495 * * * * * * * * * * * 0 1 1 1 0 0 0 0 * 0 0 0 1 0 7 * * * * * * * * * * * * 0 0 0 0 0 0 0 * 0 0 0 0 0 0 * * * * * * * * * * * * * 13 11 33 30 200 3 * 0 56 13 55 0 4 * * * * * * * * * * * * * * 109 6 16 23 3 * 0 140 55 17 11 1 * * * * * * * * * * * * * * * 54 24 8 15 * 0 405 28 19 9 1 * * * * * * * * * * * * * * * * 3 15 0 * 0 1 3 0 4 0 * * * * * * * * * * * * * * * * * 96 0 * 0 15 1 1 0 1 * * * * * * * * * * * * * * * * * * 169 * 0 352 23 177 106 5 * * * * * * * * * * * * * * * * * * * * 0 132 35 5 7 0 * * * * * * * * * 188 0 10 75 118 735 1 88 375 355 * 2 1522 21 896 46 462 142 3732 99 2755 0 18 33 0 * * * * * * * * * * * * * 0 0 0 0 7 * * * * * * * * * * * * * * * * * * * * * * 70 26 20 1005 * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * 12 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 63 5 0 955 856 239 8 454 566 270 * 4 237 62 528 291 242 * 1867 2113 1301 74 651 35 5 * 768 14 8 20 64 2401 107 131 187 318 * 2 1009 116 1949 47 146 * * 31 1012 75 154 140 9 * 1140 9 1 86 234 1434 165 187 427 476 * 5 869 190 301 13 39 * * * 2129 175 340 167 23 * 115 9 11 284 688 1114 222 660 2717 777 * 56 1264 331 926 515 415 * * * * 266 407 518 21 * 973 40 0 8 0 30 5 8 3 3 * 0 16 8 1 4 3 * * * * * 11 0 2 * 29 1 0 14 80 224 8 11 228 136 * 11 388 83 69 12 64 * * * * * * 25 10 * 390 0 0 0 0 0 0 1 13 5 * 0 0 0 7 0 0 * * * * * * * 0 * 6 1 0 39 21 0 0 0 7 1 * 0 34 2 1 0 9 * * * * * * * * 19 0 9 16 15 12 3 7 21 11 10 8 23 18 1 6 5 2 14 13 17 4 22 20 25 24 </values> 2400.09/2400.10 v </instantiation> 2400.09/2400.10
OK 4370447
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 (15402 MiB free)
memory of node 1: 16384 MiB (15660 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267162-1502603160/watcher-4267162-1502603160 -o /tmp/evaluation-result-4267162-1502603160/solver-4267162-1502603160 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502597167-15986 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267162-1502603160.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17594, runsolver pid=17591
Current StackSize limit: 8192 KiB
[startup+0.10012 s]*
/proc/loadavg: 2.00 2.01 2.04 3/182 17595
/proc/meminfo: memFree=31796620/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=39312 memory=15608 CPUtime=0.03 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 4112 0 0 0 3 0 0 0 20 0 1 0 48656655 40255488 3902 18446744073709551615 4194304 5748600 140729848506496 140729848503144 140296007089125 0 0 1 0 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 9828 3902 717 380 0 3246 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 39312 KiB
Current children cumulated memory: 15608 KiB
[startup+0.209542 s]*
/proc/loadavg: 2.00 2.01 2.04 3/182 17595
/proc/meminfo: memFree=31792528/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=42876 memory=19304 CPUtime=0.14 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 5044 0 0 0 14 0 0 0 20 0 1 0 48656655 43905024 4826 18446744073709551615 4194304 5748600 140729848506496 140729848493784 4894318 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10719 4826 765 380 0 4137 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 42876 KiB
Current children cumulated memory: 19304 KiB
[startup+0.309421 s]*
/proc/loadavg: 2.00 2.01 2.04 3/182 17595
/proc/meminfo: memFree=31792292/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43008 memory=19568 CPUtime=0.24 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 5078 0 0 0 24 0 0 0 20 0 1 0 48656655 44040192 4892 18446744073709551615 4194304 5748600 140729848506496 140729848493784 4947576 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10752 4892 765 380 0 4170 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 43008 KiB
Current children cumulated memory: 19568 KiB
[startup+0.70027 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 17595
/proc/meminfo: memFree=31791920/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43404 memory=19832 CPUtime=0.62 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 5176 0 0 0 62 0 0 0 20 0 1 0 48656655 44445696 4958 18446744073709551615 4194304 5748600 140729848506496 140729848493784 5025687 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10851 4958 766 380 0 4269 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 43404 KiB
Current children cumulated memory: 19832 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 17595
/proc/meminfo: memFree=31791976/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20096 CPUtime=1.42 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 5230 0 0 0 142 0 0 0 20 0 1 0 48656655 44716032 5024 18446744073709551615 4194304 5748600 140729848506496 140729848493784 4949804 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5024 766 380 0 4335 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20096 KiB
[startup+3.10909 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 17595
/proc/meminfo: memFree=31792604/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20272 CPUtime=3.03 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 8688 0 0 0 303 0 0 0 20 0 1 0 48656655 44716032 5068 18446744073709551615 4194304 5748600 140729848506496 140729848504024 4949769 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5068 766 380 0 4335 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20272 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 17595
/proc/meminfo: memFree=31792316/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20340 CPUtime=6.23 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 12292 0 0 0 622 1 0 0 20 0 1 0 48656655 44716032 5085 18446744073709551615 4194304 5748600 140729848506496 140729848493768 5025695 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5085 766 380 0 4335 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20340 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 17595
/proc/meminfo: memFree=31792556/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20340 CPUtime=12.63 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 15767 0 0 0 1262 1 0 0 20 0 1 0 48656655 44716032 5085 18446744073709551615 4194304 5748600 140729848506496 140729848493768 4894224 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5085 766 380 0 4335 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20340 KiB
[startup+25.5003 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 17595
/proc/meminfo: memFree=31792548/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20340 CPUtime=25.43 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 22822 0 0 0 2542 1 0 0 20 0 1 0 48656655 44716032 5085 18446744073709551615 4194304 5748600 140729848506496 140729848504024 5025695 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5085 766 380 0 4335 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20340 KiB
[startup+51.1087 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 17596
/proc/meminfo: memFree=31792188/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20348 CPUtime=51.03 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 26320 0 0 0 5102 1 0 0 20 0 1 0 48656655 44716032 5087 18446744073709551615 4194304 5748600 140729848506496 140729848493768 5025695 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5087 766 380 0 4335 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20348 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/181 17598
/proc/meminfo: memFree=31792532/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20356 CPUtime=102.22 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 26972 0 0 0 10221 1 0 0 20 0 1 0 48656655 44716032 5089 18446744073709551615 4194304 5748600 140729848506496 140729848504024 4894309 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5089 766 380 0 4335 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20356 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 17600
/proc/meminfo: memFree=31792664/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20356 CPUtime=162.22 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 27628 0 0 0 16221 1 0 0 20 0 1 0 48656655 44716032 5089 18446744073709551615 4194304 5748600 140729848506496 140729848504024 5025680 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5089 766 380 0 4335 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20356 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 17602
/proc/meminfo: memFree=31791800/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20356 CPUtime=222.22 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 28278 0 0 0 22221 1 0 0 20 0 1 0 48656655 44716032 5089 18446744073709551615 4194304 5748600 140729848506496 140729848504024 4890496 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5089 766 380 0 4335 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20356 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 17604
/proc/meminfo: memFree=31791932/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20356 CPUtime=282.22 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 28943 0 0 0 28221 1 0 0 20 0 1 0 48656655 44716032 5089 18446744073709551615 4194304 5748600 140729848506496 140729848493768 4948000 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5089 766 380 0 4335 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20356 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 17606
/proc/meminfo: memFree=31791260/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20356 CPUtime=342.22 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 29592 0 0 0 34221 1 0 0 20 0 1 0 48656655 44716032 5089 18446744073709551615 4194304 5748600 140729848506496 140729848493768 4949752 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5089 766 380 0 4335 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20356 KiB
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.04 3/181 17608
/proc/meminfo: memFree=31791020/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20356 CPUtime=402.23 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 30242 0 0 0 40222 1 0 0 20 0 1 0 48656655 44716032 5089 18446744073709551615 4194304 5748600 140729848506496 140729848493768 5025695 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5089 766 380 0 4335 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20356 KiB
[startup+462.3 s]
/proc/loadavg: 2.30 2.08 2.06 3/181 17610
/proc/meminfo: memFree=31791020/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20356 CPUtime=462.23 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 30891 0 0 0 46222 1 0 0 20 0 1 0 48656655 44716032 5089 18446744073709551615 4194304 5748600 140729848506496 140729848493768 4893105 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5089 766 380 0 4335 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20356 KiB
################
# More data... #
################
/proc/17594/statm: 10917 5090 766 380 0 4335 0
Current children cumulated CPU time: 1662.26 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20360 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/184 17697
/proc/meminfo: memFree=31785972/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20360 CPUtime=1722.26 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 44035 0 0 0 172224 2 0 0 20 0 1 0 48656655 44716032 5090 18446744073709551615 4194304 5748600 140729848506496 140729848504024 4947580 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5090 766 380 0 4335 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20360 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/185 17724
/proc/meminfo: memFree=31784348/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20360 CPUtime=1782.26 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 44687 0 0 0 178224 2 0 0 20 0 1 0 48656655 44716032 5090 18446744073709551615 4194304 5748600 140729848506496 140729848504024 5025697 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5090 766 380 0 4335 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20360 KiB
[startup+1842.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/185 17726
/proc/meminfo: memFree=31784580/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20360 CPUtime=1842.27 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 45309 0 0 0 184225 2 0 0 20 0 1 0 48656655 44716032 5090 18446744073709551615 4194304 5748600 140729848506496 140729848504024 4949796 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5090 766 380 0 4335 0
Current children cumulated CPU time: 1842.27 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20360 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/182 17728
/proc/meminfo: memFree=31788724/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20360 CPUtime=1902.27 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 45933 0 0 0 190225 2 0 0 20 0 1 0 48656655 44716032 5090 18446744073709551615 4194304 5748600 140729848506496 140729848504024 4949804 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5090 766 380 0 4335 0
Current children cumulated CPU time: 1902.27 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20360 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 17730
/proc/meminfo: memFree=31788848/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20360 CPUtime=1962.27 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 46558 0 0 0 196225 2 0 0 20 0 1 0 48656655 44716032 5090 18446744073709551615 4194304 5748600 140729848506496 140729848504024 5025695 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5090 766 380 0 4335 0
Current children cumulated CPU time: 1962.27 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20360 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 17732
/proc/meminfo: memFree=31788920/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20360 CPUtime=2022.27 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 47192 0 0 0 202225 2 0 0 20 0 1 0 48656655 44716032 5090 18446744073709551615 4194304 5748600 140729848506496 140729848504024 5025687 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5090 766 380 0 4335 0
Current children cumulated CPU time: 2022.27 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20360 KiB
[startup+2082.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 17734
/proc/meminfo: memFree=31789100/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20360 CPUtime=2082.27 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 47844 0 0 0 208225 2 0 0 20 0 1 0 48656655 44716032 5090 18446744073709551615 4194304 5748600 140729848506496 140729848504024 5000378 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5090 766 380 0 4335 0
Current children cumulated CPU time: 2082.27 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20360 KiB
[startup+2142.3 s]
/proc/loadavg: 2.13 2.06 2.05 3/181 17920
/proc/meminfo: memFree=31816576/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20360 CPUtime=2142.27 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 48428 0 0 0 214225 2 0 0 20 0 1 0 48656655 44716032 5090 18446744073709551615 4194304 5748600 140729848506496 140729848504024 5025695 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5090 766 380 0 4335 0
Current children cumulated CPU time: 2142.27 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20360 KiB
[startup+2202.3 s]
/proc/loadavg: 2.22 2.10 2.06 3/181 17922
/proc/meminfo: memFree=31816852/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20360 CPUtime=2202.27 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 49014 0 0 0 220225 2 0 0 20 0 1 0 48656655 44716032 5090 18446744073709551615 4194304 5748600 140729848506496 140729848504024 5000368 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5090 766 380 0 4335 0
Current children cumulated CPU time: 2202.27 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20360 KiB
[startup+2262.3 s]
/proc/loadavg: 2.08 2.08 2.06 3/181 17923
/proc/meminfo: memFree=31815984/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20360 CPUtime=2262.27 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 49666 0 0 0 226225 2 0 0 20 0 1 0 48656655 44716032 5090 18446744073709551615 4194304 5748600 140729848506496 140729848504024 5000368 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5090 766 380 0 4335 0
Current children cumulated CPU time: 2262.27 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20360 KiB
[startup+2322.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/184 17939
/proc/meminfo: memFree=31811044/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20360 CPUtime=2322.28 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 50267 0 0 0 232226 2 0 0 20 0 1 0 48656655 44716032 5090 18446744073709551615 4194304 5748600 140729848506496 140729848504024 5025695 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5090 766 380 0 4335 0
Current children cumulated CPU time: 2322.28 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20360 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/184 17941
/proc/meminfo: memFree=31810872/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20360 CPUtime=2382.28 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 50872 0 0 0 238226 2 0 0 20 0 1 0 48656655 44716032 5090 18446744073709551615 4194304 5748600 140729848506496 140729848504024 5025695 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5090 766 380 0 4335 0
Current children cumulated CPU time: 2382.28 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.01 2.05 2.05 3/182 17942
/proc/meminfo: memFree=31813260/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20360 CPUtime=2400.09 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 51466 0 0 0 240007 2 0 0 20 0 1 0 48656655 44716032 5090 18446744073709551615 4194304 5748600 140729848506496 140729848504024 4894279 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5090 766 380 0 4335 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 17594 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.07 s, system=0.022 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.01 2.05 2.05 3/182 17942
/proc/meminfo: memFree=31813260/32770624 swapFree=67108860/67108860
[pid=17594] ppid=17591 vsize=43668 memory=20360 CPUtime=2400.09 cores=1,3,5,7
/proc/17594/stat : 17594 (cosoco) R 17591 17594 11586 0 -1 4202496 51466 0 0 0 240007 2 0 0 20 0 1 0 48656655 44716032 5090 18446744073709551615 4194304 5748600 140729848506496 140729848504024 4894279 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7849824 7854664 34320384 140729848512969 140729848513064 140729848513064 140729848516558 0
/proc/17594/statm: 10917 5090 766 380 0 4335 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20360 KiB
Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.09
CPU user time (s): 2400.07
CPU system time (s): 0.022
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 43668
Max. memory (cumulated for all children) (KiB): 20360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.07
system time used= 0.022
maximum resident set size= 20436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51525
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= 629
# summary of solver processes directly reported to runsolver:
# pid: 17594
# total CPU time (s): 2400.09
# total CPU user time (s): 2400.07
# total CPU system time (s): 0.022
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.08066 second user time and 14.9399 second system time
The end
Begin job on node124 at 2017-08-13 07:31:44 IDJOB=4267162 IDBENCH=123075 IDSOLVER=2657 FILE ID=node124/4267162-1502603160 RUNJOBID= node124-1502597167-15986 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-mini 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-4267162-1502603160/watcher-4267162-1502603160 -o /tmp/evaluation-result-4267162-1502603160/solver-4267162-1502603160 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502597167-15986 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267162-1502603160.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e15ea9448d462545754e2532d86d3e94 RANDOM SEED=789009086 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: 31808492 kB MemAvailable: 31974460 kB Buffers: 151068 kB Cached: 305176 kB SwapCached: 0 kB Active: 387212 kB Inactive: 149244 kB Active(anon): 31272 kB Inactive(anon): 74136 kB Active(file): 355940 kB Inactive(file): 75108 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2028 kB Writeback: 0 kB AnonPages: 90028 kB Mapped: 43188 kB Shmem: 25320 kB Slab: 127584 kB SReclaimable: 101512 kB SUnreclaim: 26072 kB KernelStack: 3488 kB PageTables: 4976 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 352928 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 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 08:11:44