Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: cosoco 1.1 | No Cert. | 2400.8701 | 2400.74 |
| Name | ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml |
| MD5SUM | ee8f46aa30558cd8981f6f6871151079 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 8 |
| Best CPU time to get the best result obtained on this benchmark | 2520.8999 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 840 |
| Number of constraints | 164431 |
| Number of domains | 1 |
| Minimum domain size | 840 |
| Maximum domain size | 840 |
| Distribution of domain sizes | [{"size":840,"count":840}] |
| Minimum variable degree | 785 |
| Maximum variable degree | 785 |
| Distribution of variable degrees | [{"degree":785,"count":840}] |
| Minimum constraint arity | 4 |
| Maximum constraint arity | 840 |
| Distribution of constraint arities | [{"arity":4,"count":164430},{"arity":840,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 164430 |
| Distribution of constraint types | [{"type":"intension","count":164430},{"type":"lex","count":1}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
190.23/190.40 c best=?? lower=0 upper=839 249.63/249.72 c 249.63/249.72 c This is cosoco 1.0 -- 249.63/249.72 c 249.63/249.72 c enable optimization 249.63/249.72 c ========================================[ Problem Statistics ]=========================================== 249.63/249.72 c | 249.63/249.72 c | Parse time : 186.90 s 249.63/249.72 c | 249.63/249.72 c | Variables: 840 249.63/249.72 c | Domain Sizes: 840..840 249.63/249.72 c | 249.63/249.72 c | Constraints: 164487 249.63/249.72 c | Arity: 4..840 249.63/249.72 c | 249.63/249.72 c | Types: 249.63/249.72 c | Intension: 164430 249.63/249.72 c | Lex: 56 249.63/249.72 c | Max constant: 1 249.63/249.72 c | 249.63/249.72 c ========================================================================================================= 249.63/249.72 o 18 249.63/249.72 c 1 calls to solver: best=18 lower=0 upper=17 268.73/268.83 o 12 279.13/279.22 o 11 279.13/279.22 c 3 calls to solver: best=11 lower=0 upper=10 289.24/289.34 o 10 299.43/299.56 o 9 299.43/299.56 c 5 calls to solver: best=9 lower=0 upper=8 316.83/316.97 o 8 2400.01/2399.90 2400.01/2399.90 c *** INTERRUPTED *** 2400.01/2399.90 s SATISFIABLE 2400.01/2399.90 c Best value found: 8 2400.01/2399.90 2400.01/2399.90 2400.01/2399.90 v <instantiation type='solution' cost='8'> 2400.01/2399.90 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] </list> 2400.01/2399.90 v <values>0 0 0 0 0 0 0 0 0 0 1 2 3 3 3 3 3 4 5 6 6 6 6 6 6 7 7 7 7 8 0 1 1 2 3 4 4 4 5 5 0 0 0 0 2 2 4 1 2 3 5 6 7 7 7 2 2 4 8 6 1 1 3 1 5 0 2 3 6 6 6 4 2 5 5 5 7 4 2 1 5 6 0 3 3 6 6 4 7 8 1 2 2 3 6 0 2 5 2 5 6 4 1 1 7 7 1 1 6 6 4 2 2 4 4 5 5 5 4 8 1
ERROR: no instantiation found
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242704-1502053245/watcher-4242704-1502053245 -o /tmp/evaluation-result-4242704-1502053245/solver-4242704-1502053245 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16652 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242704-1502053245.xml pid=18027 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.95 2.00 2.04 2/180 18030 /proc/meminfo: memFree=30290180/32770624 swapFree=0/377756 [pid=18030] ppid=18027 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/18030/stat : 18030 (runsolver) D 18027 18030 9955 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 7545464 24240128 108 18446744073709551615 4194304 4338465 140722271616912 140722271614552 140260570092247 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 31821824 140722271621279 140722271621706 140722271621706 140722271625162 0 /proc/18030/statm: 5918 108 54 36 0 2156 0 [startup+0.10017 s] /proc/loadavg: 1.95 2.00 2.04 2/180 18030 /proc/meminfo: memFree=30290180/32770624 swapFree=0/377756 [pid=18030] ppid=18027 vsize=32928 CPUtime=0.01 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 2448 0 0 0 1 0 0 0 20 0 1 0 7545464 33718272 2253 18446744073709551615 4194304 5970956 140736556849104 140736556845752 5408652 0 0 1 0 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 8232 2253 703 434 0 1596 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 32928 [startup+0.200383 s] /proc/loadavg: 1.95 2.00 2.04 2/180 18030 /proc/meminfo: memFree=30290180/32770624 swapFree=0/377756 [pid=18030] ppid=18027 vsize=33432 CPUtime=0.11 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 2538 0 0 0 11 0 0 0 20 0 1 0 7545464 34234368 2385 18446744073709551615 4194304 5970956 140736556849104 140736556845752 5496067 0 0 1 0 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 8358 2385 711 434 0 1722 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 33432 [startup+0.300313 s] /proc/loadavg: 1.95 2.00 2.04 2/180 18030 /proc/meminfo: memFree=30290180/32770624 swapFree=0/377756 [pid=18030] ppid=18027 vsize=33756 CPUtime=0.21 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 2654 0 0 0 21 0 0 0 20 0 1 0 7545464 34566144 2428 18446744073709551615 4194304 5970956 140736556849104 140736556845752 140202495171557 0 0 1 0 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 8439 2428 711 434 0 1803 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 33756 [startup+0.700277 s] /proc/loadavg: 1.95 2.00 2.04 2/180 18030 /proc/meminfo: memFree=30290180/32770624 swapFree=0/377756 [pid=18030] ppid=18027 vsize=35064 CPUtime=0.61 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 3074 0 0 0 61 0 0 0 20 0 1 0 7545464 35905536 2769 18446744073709551615 4194304 5970956 140736556849104 140736556845752 140202495609856 0 0 1 0 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 8766 2769 711 434 0 2130 0 Current children cumulated CPU time (s) 0.61 Current children cumulated vsize (KiB) 35064 [startup+1.50028 s] /proc/loadavg: 1.87 1.98 2.03 3/181 18031 /proc/meminfo: memFree=30239068/32770624 swapFree=0/377608 [pid=18030] ppid=18027 vsize=37548 CPUtime=1.42 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 3909 0 0 0 141 1 0 0 20 0 1 0 7545464 38449152 3387 18446744073709551615 4194304 5970956 140736556849104 140736556845704 5496067 0 0 1 0 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 9387 3387 711 434 0 2751 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 37548 [startup+3.1003 s] /proc/loadavg: 1.87 1.98 2.03 3/181 18031 /proc/meminfo: memFree=30192504/32770624 swapFree=0/377608 [pid=18030] ppid=18027 vsize=45456 CPUtime=3.01 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 5391 0 0 0 300 1 0 0 20 0 1 0 7545464 46546944 5009 18446744073709551615 4194304 5970956 140736556849104 140736556845704 5524563 0 0 1 0 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 11364 5009 711 434 0 4728 0 Current children cumulated CPU time (s) 3.01 Current children cumulated vsize (KiB) 45456 [startup+6.30029 s] /proc/loadavg: 1.88 1.98 2.03 3/181 18031 /proc/meminfo: memFree=29963928/32770624 swapFree=0/377616 [pid=18030] ppid=18027 vsize=186644 CPUtime=6.22 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 41161 0 0 0 615 7 0 0 20 0 1 0 7545464 191123456 40368 18446744073709551615 4194304 5970956 140736556849104 140736556842696 140202495171557 0 0 1 0 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 46661 40368 783 434 0 40025 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 186644 [startup+12.7003 s] /proc/loadavg: 1.89 1.98 2.03 3/181 18031 /proc/meminfo: memFree=29351944/32770624 swapFree=0/377616 [pid=18030] ppid=18027 vsize=533336 CPUtime=12.61 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 128464 0 0 0 1242 19 0 0 20 0 1 0 7545464 546136064 127066 18446744073709551615 4194304 5970956 140736556849104 140736556840712 4966541 0 0 1 0 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 133334 127066 783 434 0 126698 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 533336 [startup+25.5003 s] /proc/loadavg: 1.91 1.98 2.03 3/181 18032 /proc/meminfo: memFree=28129316/32770624 swapFree=0/377632 [pid=18030] ppid=18027 vsize=1226660 CPUtime=25.42 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 302886 0 0 0 2500 42 0 0 20 0 1 0 7545464 1256099840 300386 18446744073709551615 4194304 5970956 140736556849104 140736556842696 140202495171557 0 0 1 0 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 306665 300386 783 434 0 300029 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 1226660 [startup+51.1003 s] /proc/loadavg: 1.94 1.99 2.03 3/181 18032 /proc/meminfo: memFree=25637760/32770624 swapFree=0/377640 [pid=18030] ppid=18027 vsize=2613388 CPUtime=51.02 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 650008 0 0 0 5015 87 0 0 20 0 1 0 7545464 2676109312 647042 18446744073709551615 4194304 5970956 140736556849104 140736556842696 140202495171557 0 0 1 0 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 653347 647042 783 434 0 646711 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (KiB) 2613388 [startup+102.3 s] /proc/loadavg: 2.02 2.00 2.04 3/181 18034 /proc/meminfo: memFree=21619084/32770624 swapFree=0/377688 [pid=18030] ppid=18027 vsize=5387516 CPUtime=102.22 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 1344269 0 0 0 10046 176 0 0 20 0 1 0 7545464 5516816384 1340529 18446744073709551615 4194304 5970956 140736556849104 140736556842696 140202495171557 0 0 1 0 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 1346879 1340529 783 434 0 1340243 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 5387516 [startup+162.3 s] /proc/loadavg: 2.01 2.00 2.04 3/181 18036 /proc/meminfo: memFree=18394224/32770624 swapFree=0/377728 [pid=18030] ppid=18027 vsize=8637572 CPUtime=162.22 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 2157585 0 0 0 15943 279 0 0 20 0 1 0 7545464 8844873728 2153018 18446744073709551615 4194304 5970956 140736556849104 140736556842696 140202495171557 0 0 1 0 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 2159393 2153018 783 434 0 2152757 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 8637572 [startup+222.306 s] /proc/loadavg: 2.00 2.00 2.04 3/185 18053 /proc/meminfo: memFree=14602524/32770624 swapFree=0/377792 [pid=18030] ppid=18027 vsize=12385228 CPUtime=222.23 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 3862967 0 0 0 21785 438 0 0 20 0 1 0 7545464 12682473472 3090424 18446744073709551615 4194304 5970956 140736556849104 140736556846072 140202495171557 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 3096307 3090424 832 434 0 3089671 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 12385228 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.04 3/185 18055 /proc/meminfo: memFree=12144956/32770624 swapFree=0/377848 [pid=18030] ppid=18027 vsize=14837524 CPUtime=282.23 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 5154129 0 0 0 27677 546 0 0 20 0 1 0 7545464 15193624576 3703509 18446744073709551615 4194304 5970956 140736556849104 140736556846072 140202495171557 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 3709381 3703509 834 434 0 3702745 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 14837524 [startup+342.3 s] /proc/loadavg: 2.08 2.02 2.04 3/182 18057 /proc/meminfo: memFree=12133732/32770624 swapFree=0/377896 [pid=18030] ppid=18027 vsize=14850460 CPUtime=342.23 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 5301174 0 0 0 33670 553 0 0 20 0 1 0 7545464 15206871040 3706747 18446744073709551615 4194304 5970956 140736556849104 140736556846664 5098928 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 3712615 3706747 834 434 0 3705979 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 14850460 [startup+402.3 s] /proc/loadavg: 2.08 2.03 2.05 3/182 18059 /proc/meminfo: memFree=12133960/32770624 swapFree=0/377928 [pid=18030] ppid=18027 vsize=14850460 CPUtime=402.23 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 6287873 0 0 0 39624 599 0 0 20 0 1 0 7545464 15206871040 3706766 18446744073709551615 4194304 5970956 140736556849104 140736556846664 5052118 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 3712615 3706766 834 434 0 3705979 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 14850460 [startup+462.3 s] /proc/loadavg: 2.03 2.02 2.05 3/182 18061 /proc/meminfo: memFree=12134100/32770624 swapFree=0/377960 [pid=18030] ppid=18027 vsize=14850592 CPUtime=462.24 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 7342955 0 0 0 45574 650 0 0 20 0 1 0 7545464 15207006208 3706775 18446744073709551615 4194304 5970956 140736556849104 140736556845960 4964363 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 3712648 3706775 834 434 0 3706012 0 Current children cumulated CPU time (s) 462.24 Current children cumulated vsize (KiB) 14850592 [startup+522.3 s] /proc/loadavg: 2.01 2.02 2.05 3/181 18064 /proc/meminfo: memFree=12134024/32770624 swapFree=0/378004 [pid=18030] ppid=18027 vsize=14850592 CPUtime=522.25 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 8547474 0 0 0 51521 704 0 0 20 0 1 0 7545464 15207006208 3706796 18446744073709551615 4194304 5970956 140736556849104 140736556845960 5070304 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 3712648 3706796 834 434 0 3706012 0 Current children cumulated CPU time (s) 522.25 Current children cumulated vsize (KiB) 14850592 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 18066 /proc/meminfo: memFree=12134188/32770624 swapFree=0/378032 [pid=18030] ppid=18027 vsize=14850856 CPUtime=582.25 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 9685975 0 0 0 57467 758 0 0 20 0 1 0 7545464 15207276544 3706863 18446744073709551615 4194304 5970956 140736556849104 140736556845816 4964386 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 3712714 3706863 834 434 0 3706078 0 Current children cumulated CPU time (s) 582.25 Current children cumulated vsize (KiB) 14850856 ################ # More data... # ################ [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 18160 /proc/meminfo: memFree=12132348/32770624 swapFree=0/378728 [pid=18030] ppid=18027 vsize=14851384 CPUtime=1722.36 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 27988463 0 0 0 170629 1607 0 0 20 0 1 0 7545464 15207817216 3706990 18446744073709551615 4194304 5970956 140736556849104 140736556845816 4908971 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 3712846 3706990 834 434 0 3706210 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 14851384 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 18162 /proc/meminfo: memFree=12132288/32770624 swapFree=0/378760 [pid=18030] ppid=18027 vsize=14851384 CPUtime=1782.36 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 29290644 0 0 0 176566 1670 0 0 20 0 1 0 7545464 15207817216 3706996 18446744073709551615 4194304 5970956 140736556849104 140736556845816 4964254 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 3712846 3706996 834 434 0 3706210 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 14851384 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 18164 /proc/meminfo: memFree=12131876/32770624 swapFree=0/378784 [pid=18030] ppid=18027 vsize=14851516 CPUtime=1842.37 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 29513781 0 0 0 182557 1680 0 0 20 0 1 0 7545464 15207952384 3707007 18446744073709551615 4194304 5970956 140736556849104 140736556845816 5070976 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 3712879 3707007 834 434 0 3706243 0 Current children cumulated CPU time (s) 1842.37 Current children cumulated vsize (KiB) 14851516 [startup+1902.3 s] /proc/loadavg: 2.05 2.03 2.05 3/181 18166 /proc/meminfo: memFree=12132276/32770624 swapFree=0/378816 [pid=18030] ppid=18027 vsize=14851516 CPUtime=1902.37 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 29670205 0 0 0 188551 1686 0 0 20 0 1 0 7545464 15207952384 3707007 18446744073709551615 4194304 5970956 140736556849104 140736556845816 4964366 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 3712879 3707007 834 434 0 3706243 0 Current children cumulated CPU time (s) 1902.37 Current children cumulated vsize (KiB) 14851516 [startup+1962.3 s] /proc/loadavg: 2.02 2.02 2.05 3/181 18168 /proc/meminfo: memFree=12131808/32770624 swapFree=0/378840 [pid=18030] ppid=18027 vsize=14851516 CPUtime=1962.38 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 30599985 0 0 0 194509 1729 0 0 20 0 1 0 7545464 15207952384 3707007 18446744073709551615 4194304 5970956 140736556849104 140736556845816 4964366 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 3712879 3707007 834 434 0 3706243 0 Current children cumulated CPU time (s) 1962.38 Current children cumulated vsize (KiB) 14851516 [startup+2022.3 s] /proc/loadavg: 2.01 2.02 2.05 3/184 18184 /proc/meminfo: memFree=12127484/32770624 swapFree=0/378912 [pid=18030] ppid=18027 vsize=14851516 CPUtime=2022.38 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 30769153 0 0 0 200500 1738 0 0 20 0 1 0 7545464 15207952384 3707007 18446744073709551615 4194304 5970956 140736556849104 140736556845816 4964363 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 3712879 3707007 834 434 0 3706243 0 Current children cumulated CPU time (s) 2022.38 Current children cumulated vsize (KiB) 14851516 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/184 18186 /proc/meminfo: memFree=12126596/32770624 swapFree=0/378948 [pid=18030] ppid=18027 vsize=14851516 CPUtime=2082.39 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 31977994 0 0 0 206443 1796 0 0 20 0 1 0 7545464 15207952384 3707007 18446744073709551615 4194304 5970956 140736556849104 140736556845816 4908588 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 3712879 3707007 834 434 0 3706243 0 Current children cumulated CPU time (s) 2082.39 Current children cumulated vsize (KiB) 14851516 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 18188 /proc/meminfo: memFree=12129704/32770624 swapFree=0/378980 [pid=18030] ppid=18027 vsize=14851516 CPUtime=2142.4 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 32478886 0 0 0 212420 1820 0 0 20 0 1 0 7545464 15207952384 3707007 18446744073709551615 4194304 5970956 140736556849104 140736556845816 5052121 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 3712879 3707007 834 434 0 3706243 0 Current children cumulated CPU time (s) 2142.4 Current children cumulated vsize (KiB) 14851516 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/181 18190 /proc/meminfo: memFree=12130664/32770624 swapFree=0/379008 [pid=18030] ppid=18027 vsize=14851516 CPUtime=2202.41 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 32682461 0 0 0 218412 1829 0 0 20 0 1 0 7545464 15207952384 3707007 18446744073709551615 4194304 5970956 140736556849104 140736556845816 5052080 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 3712879 3707007 834 434 0 3706243 0 Current children cumulated CPU time (s) 2202.41 Current children cumulated vsize (KiB) 14851516 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 18192 /proc/meminfo: memFree=12130872/32770624 swapFree=0/379036 [pid=18030] ppid=18027 vsize=14851516 CPUtime=2262.41 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 33855443 0 0 0 224357 1884 0 0 20 0 1 0 7545464 15207952384 3707009 18446744073709551615 4194304 5970956 140736556849104 140736556845816 4964701 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 3712879 3707009 834 434 0 3706243 0 Current children cumulated CPU time (s) 2262.41 Current children cumulated vsize (KiB) 14851516 [startup+2322.3 s] /proc/loadavg: 2.05 2.03 2.05 3/181 18195 /proc/meminfo: memFree=12130156/32770624 swapFree=0/379076 [pid=18030] ppid=18027 vsize=14851516 CPUtime=2322.42 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 34009484 0 0 0 230351 1891 0 0 20 0 1 0 7545464 15207952384 3707010 18446744073709551615 4194304 5970956 140736556849104 140736556845816 5071023 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 3712879 3707010 834 434 0 3706243 0 Current children cumulated CPU time (s) 2322.42 Current children cumulated vsize (KiB) 14851516 [startup+2382.3 s] /proc/loadavg: 2.05 2.04 2.05 3/181 18386 /proc/meminfo: memFree=16864760/32770624 swapFree=0/379184 [pid=18030] ppid=18027 vsize=14851516 CPUtime=2382.41 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 35177209 0 0 0 236294 1947 0 0 20 0 1 0 7545464 15207952384 3707010 18446744073709551615 4194304 5970956 140736556849104 140736556845816 5071023 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 3712879 3707010 834 434 0 3706243 0 Current children cumulated CPU time (s) 2382.41 Current children cumulated vsize (KiB) 14851516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2399.9 s] /proc/loadavg: 2.04 2.04 2.05 3/181 18386 /proc/meminfo: memFree=16864852/32770624 swapFree=0/379216 [pid=18030] ppid=18027 vsize=14851516 CPUtime=2400.01 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202496 35220968 0 0 0 238052 1949 0 0 20 0 1 0 7545464 15207952384 3707010 18446744073709551615 4194304 5970956 140736556849104 140736556845816 4961194 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 25800704 140736556855756 140736556855886 140736556855886 140736556859342 0 /proc/18030/statm: 3712879 3707010 834 434 0 3706243 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 14851516 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 18030 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400 s] /proc/loadavg: 2.04 2.04 2.05 3/181 18386 /proc/meminfo: memFree=16864852/32770624 swapFree=0/379216 [pid=18030] ppid=18027 vsize=0 CPUtime=2400.11 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202500 35221003 0 0 0 238052 1959 0 0 20 0 1 0 7545464 0 0 18446744073709551615 0 0 0 0 0 0 16384 1 8405026 18446744073709551615 0 0 17 2 0 0 7 0 0 0 0 0 0 0 0 0 0 /proc/18030/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 2400.11 Current children cumulated vsize (KiB) 0 [startup+2400.4 s] /proc/loadavg: 2.04 2.04 2.05 3/181 18386 /proc/meminfo: memFree=22151388/32770624 swapFree=0/379216 [pid=18030] ppid=18027 vsize=0 CPUtime=2400.51 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202500 35221003 0 0 0 238052 1999 0 0 20 0 1 0 7545464 0 0 18446744073709551615 0 0 0 0 0 0 16384 1 8405026 18446744073709551615 0 0 17 2 0 0 7 0 0 0 0 0 0 0 0 0 0 /proc/18030/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 2400.51 Current children cumulated vsize (KiB) 0 [startup+2400.6 s] /proc/loadavg: 2.04 2.04 2.05 3/181 18386 /proc/meminfo: memFree=22151388/32770624 swapFree=0/379216 [pid=18030] ppid=18027 vsize=0 CPUtime=2400.71 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202500 35221003 0 0 0 238052 2019 0 0 20 0 1 0 7545464 0 0 18446744073709551615 0 0 0 0 0 0 16384 1 8405026 18446744073709551615 0 0 17 2 0 0 7 0 0 0 0 0 0 0 0 0 0 /proc/18030/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 2400.71 Current children cumulated vsize (KiB) 0 [startup+2400.7 s] /proc/loadavg: 2.04 2.04 2.05 3/181 18386 /proc/meminfo: memFree=22151388/32770624 swapFree=0/379216 [pid=18030] ppid=18027 vsize=0 CPUtime=2400.81 cores=0,2,4,6 /proc/18030/stat : 18030 (cosoco) R 18027 18030 9955 0 -1 4202500 35221003 0 0 0 238052 2029 0 0 20 0 1 0 7545464 0 0 18446744073709551615 0 0 0 0 0 0 16384 1 8405026 18446744073709551615 0 0 17 2 0 0 7 0 0 0 0 0 0 0 0 0 0 /proc/18030/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 2400.81 Current children cumulated vsize (KiB) 0 Child status: 1 Real time (s): 2400.74 CPU time (s): 2400.87 CPU user time (s): 2380.53 CPU system time (s): 20.3397 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 14851516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2380.53 system time used= 20.3397 maximum resident set size= 14828080 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35221003 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= 15 involuntary context switches= 1121 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.48162 second user time and 10.4895 second system time The end
Begin job on node125 at 2017-08-06 22:46:42 IDJOB=4242704 IDBENCH=139757 IDSOLVER=2620 FILE ID=node125/4242704-1502053245 RUNJOBID= node125-1502042574-16652 PBS_JOBID= Free space on /tmp= 62016 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-28-30.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242704-1502053245/watcher-4242704-1502053245 -o /tmp/evaluation-result-4242704-1502053245/solver-4242704-1502053245 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16652 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242704-1502053245.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ee8f46aa30558cd8981f6f6871151079 RANDOM SEED=1734938187 node125.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.07 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.07 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.07 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.07 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: 30290292 kB MemAvailable: 30599916 kB Buffers: 123404 kB Cached: 467100 kB SwapCached: 0 kB Active: 1685832 kB Inactive: 386288 kB Active(anon): 1481996 kB Inactive(anon): 8532 kB Active(file): 203836 kB Inactive(file): 377756 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 11720 kB Writeback: 0 kB AnonPages: 1647976 kB Mapped: 32124 kB Shmem: 8868 kB Slab: 112180 kB SReclaimable: 87732 kB SUnreclaim: 24448 kB KernelStack: 3472 kB PageTables: 7496 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1729276 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 172032 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62016 MiB End job on node125 at 2017-08-06 23:26:43