Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: cosoco-sat 1.1 | No Cert. | 2400.04 | 2400.31 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml |
| MD5SUM | 72502af2971f560ebaea982d6c1ff669 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 684 |
| Best CPU time to get the best result obtained on this benchmark | 2400.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 992 |
| Number of constraints | 960 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":31},{"size":2,"count":930},{"size":101,"count":30}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 59 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":31},{"degree":2,"count":60},{"degree":4,"count":870},{"degree":59,"count":30}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":1,"count":30},{"arity":3,"count":870},{"arity":30,"count":60}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 30 |
| Distribution of constraint types | [{"type":"intension","count":30},{"type":"sum","count":870},{"type":"count","count":60}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.09/0.15 c SAT : Variables: 4922 -- Clauses: 153390 0.09/0.15 c best=?? lower=0 upper=31352 0.28/0.34 c 0.28/0.34 c This is cosoco 1.0 -- 0.28/0.34 c 0.28/0.34 c enable optimization 0.28/0.34 c ========================================[ Problem Statistics ]=========================================== 0.28/0.34 c | 0.28/0.34 c | Parse time : 0.14 s 0.28/0.34 c | 0.28/0.34 c | Variables: 992 0.28/0.34 c | Domain Sizes: 1..101 0.28/0.34 c | 0.28/0.34 c | Constraints: 961 0.28/0.34 c | Arity: 1..926 -- Unary: 30 -- Ternary: 870 0.28/0.34 c | 0.28/0.34 c | Types: 0.28/0.34 c | Exactly K: 60 0.28/0.34 c | Intension: 30 0.28/0.34 c | Sum: 871 0.28/0.34 c | 0.28/0.34 c ========================================================================================================= 0.28/0.34 o 1473 0.28/0.34 c 1 calls to solver: best=1473 lower=0 upper=1472 0.38/0.42 o 1386 0.48/0.58 o 1284 0.48/0.58 c 3 calls to solver: best=1284 lower=0 upper=1283 0.88/0.91 o 1274 2400.03/2400.30 2400.03/2400.30 c *** INTERRUPTED *** 2400.03/2400.30 s SATISFIABLE 2400.03/2400.30 c Best value found: 1274 2400.03/2400.30 2400.03/2400.30 2400.03/2400.30 v <instantiation type='solution' cost='1274'> 2400.03/2400.30 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[0][30] 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[1][30] 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[2][30] 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[3][30] 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[4][30] 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[5][30] 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[6][30] 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[7][30] 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[8][30] 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[9][30] 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[10][30] 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[11][30] 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[12][30] 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[13][30] 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[14][30] 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[15][30] 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[16][30] 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[17][30] 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[18][30] 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[19][30] 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[20][30] 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[21][30] 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[22][30] 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[23][30] 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[24][30] 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[25][30] 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[26][30] 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
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-4240929-1500641306/watcher-4240929-1500641306 -o /tmp/evaluation-result-4240929-1500641306/solver-4240929-1500641306 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500623789-5345 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240929-1500641306.xml pid=12036 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.05 2.04 2.05 3/186 12039 /proc/meminfo: memFree=31775200/32770624 swapFree=6300/32820 [pid=12039] ppid=12036 vsize=26992 CPUtime=0 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 947 0 0 0 0 0 0 0 20 0 1 0 18877635 27639808 766 33554432000 4194304 5970956 140723369594144 140723369590792 140285117311973 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 6748 766 684 434 0 112 0 [startup+0.100114 s] /proc/loadavg: 2.05 2.04 2.05 3/186 12039 /proc/meminfo: memFree=31775200/32770624 swapFree=6300/32820 [pid=12039] ppid=12036 vsize=31940 CPUtime=0.09 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 2289 0 0 0 9 0 0 0 20 0 1 0 18877635 32706560 2102 33554432000 4194304 5970956 140723369594144 140723369587976 140285117311973 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 7985 2102 794 434 0 1349 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 31940 [startup+0.200318 s] /proc/loadavg: 2.05 2.04 2.05 3/186 12039 /proc/meminfo: memFree=31775200/32770624 swapFree=6300/32820 [pid=12039] ppid=12036 vsize=42316 CPUtime=0.18 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 4243 0 0 0 18 0 0 0 20 0 1 0 18877635 43331584 4576 33554432000 4194304 5970956 140723369594144 140723369591176 140285117311973 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 10579 4576 843 434 0 3943 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 42316 [startup+0.300253 s] /proc/loadavg: 2.05 2.04 2.05 3/186 12039 /proc/meminfo: memFree=31775200/32770624 swapFree=6300/32820 [pid=12039] ppid=12036 vsize=44564 CPUtime=0.28 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 4802 0 0 0 28 0 0 0 20 0 1 0 18877635 45633536 5104 33554432000 4194304 5970956 140723369594144 140723369590920 5045736 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 11141 5104 843 434 0 4505 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 44564 [startup+0.700167 s] /proc/loadavg: 2.05 2.04 2.05 3/186 12039 /proc/meminfo: memFree=31775200/32770624 swapFree=6300/32820 [pid=12039] ppid=12036 vsize=45240 CPUtime=0.68 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 4980 0 0 0 68 0 0 0 20 0 1 0 18877635 46325760 5302 33554432000 4194304 5970956 140723369594144 140723369581448 5272605 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 11310 5302 844 434 0 4674 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 45240 [startup+1.50018 s] /proc/loadavg: 2.05 2.04 2.05 3/187 12040 /proc/meminfo: memFree=31757140/32770624 swapFree=6300/32840 [pid=12039] ppid=12036 vsize=45904 CPUtime=1.48 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 5149 0 0 0 148 0 0 0 20 0 1 0 18877635 47005696 5434 33554432000 4194304 5970956 140723369594144 140723369590920 5136577 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 11476 5434 844 434 0 4840 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 45904 [startup+3.10018 s] /proc/loadavg: 2.05 2.04 2.05 3/187 12040 /proc/meminfo: memFree=31756768/32770624 swapFree=6300/32840 [pid=12039] ppid=12036 vsize=46024 CPUtime=3.09 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 7768 0 0 0 308 1 0 0 20 0 1 0 18877635 47128576 5515 33554432000 4194304 5970956 140723369594144 140723369591480 5047698 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 11506 5515 844 434 0 4870 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 46024 [startup+6.30018 s] /proc/loadavg: 2.05 2.04 2.05 3/187 12040 /proc/meminfo: memFree=31756480/32770624 swapFree=6300/32840 [pid=12039] ppid=12036 vsize=46024 CPUtime=6.29 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 10389 0 0 0 628 1 0 0 20 0 1 0 18877635 47128576 5517 33554432000 4194304 5970956 140723369594144 140723369591480 5045333 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 11506 5517 844 434 0 4870 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46024 [startup+12.7002 s] /proc/loadavg: 2.12 2.06 2.05 3/187 12040 /proc/meminfo: memFree=31753844/32770624 swapFree=6300/32840 [pid=12039] ppid=12036 vsize=46024 CPUtime=12.68 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 12977 0 0 0 1267 1 0 0 20 0 1 0 18877635 47128576 5532 33554432000 4194304 5970956 140723369594144 140723369591480 5136608 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 11506 5532 844 434 0 4870 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 46024 [startup+25.5002 s] /proc/loadavg: 2.10 2.06 2.05 3/187 12040 /proc/meminfo: memFree=31754768/32770624 swapFree=6300/32868 [pid=12039] ppid=12036 vsize=46024 CPUtime=25.48 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 14771 0 0 0 2547 1 0 0 20 0 1 0 18877635 47128576 5535 33554432000 4194304 5970956 140723369594144 140723369591480 5047048 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 11506 5535 844 434 0 4870 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 46024 [startup+51.1002 s] /proc/loadavg: 2.14 2.07 2.05 3/187 12040 /proc/meminfo: memFree=31750308/32770624 swapFree=6300/32876 [pid=12039] ppid=12036 vsize=48744 CPUtime=51.08 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 16018 0 0 0 5107 1 0 0 20 0 1 0 18877635 49913856 6280 33554432000 4194304 5970956 140723369594144 140723369591416 5047066 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12186 6280 844 434 0 5550 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 48744 [startup+102.3 s] /proc/loadavg: 2.06 2.06 2.05 3/187 12048 /proc/meminfo: memFree=31749588/32770624 swapFree=6300/32924 [pid=12039] ppid=12036 vsize=48744 CPUtime=102.28 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 17082 0 0 0 10227 1 0 0 20 0 1 0 18877635 49913856 6284 33554432000 4194304 5970956 140723369594144 140723369591416 5136560 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12186 6284 844 434 0 5550 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 48744 [startup+162.3 s] /proc/loadavg: 2.02 2.05 2.05 3/187 12049 /proc/meminfo: memFree=31745788/32770624 swapFree=6300/32948 [pid=12039] ppid=12036 vsize=48744 CPUtime=162.26 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 18129 0 0 0 16225 1 0 0 20 0 1 0 18877635 49913856 6284 33554432000 4194304 5970956 140723369594144 140723369591416 5045304 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12186 6284 844 434 0 5550 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 48744 [startup+222.306 s] /proc/loadavg: 2.01 2.04 2.05 3/187 12050 /proc/meminfo: memFree=31742460/32770624 swapFree=6300/32968 [pid=12039] ppid=12036 vsize=48744 CPUtime=222.26 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 19192 0 0 0 22225 1 0 0 20 0 1 0 18877635 49913856 6288 33554432000 4194304 5970956 140723369594144 140723369591416 5045692 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12186 6288 844 434 0 5550 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 48744 [startup+282.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 12051 /proc/meminfo: memFree=31743104/32770624 swapFree=6300/32996 [pid=12039] ppid=12036 vsize=48744 CPUtime=282.25 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 19638 0 0 0 28224 1 0 0 20 0 1 0 18877635 49913856 6288 33554432000 4194304 5970956 140723369594144 140723369591416 5045304 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12186 6288 844 434 0 5550 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 48744 [startup+342.3 s] /proc/loadavg: 2.06 2.04 2.05 3/187 12052 /proc/meminfo: memFree=31739528/32770624 swapFree=6300/33020 [pid=12039] ppid=12036 vsize=48744 CPUtime=342.24 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 20092 0 0 0 34223 1 0 0 20 0 1 0 18877635 49913856 6289 33554432000 4194304 5970956 140723369594144 140723369591416 5136608 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12186 6289 844 434 0 5550 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 48744 [startup+402.3 s] /proc/loadavg: 2.02 2.04 2.05 3/187 12054 /proc/meminfo: memFree=31739580/32770624 swapFree=6300/33048 [pid=12039] ppid=12036 vsize=48744 CPUtime=402.24 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 20535 0 0 0 40223 1 0 0 20 0 1 0 18877635 49913856 6290 33554432000 4194304 5970956 140723369594144 140723369591416 5136608 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12186 6290 844 434 0 5550 0 Current children cumulated CPU time (s) 402.24 Current children cumulated vsize (KiB) 48744 [startup+462.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 12055 /proc/meminfo: memFree=31737424/32770624 swapFree=6300/33072 [pid=12039] ppid=12036 vsize=48744 CPUtime=462.23 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 20983 0 0 0 46222 1 0 0 20 0 1 0 18877635 49913856 6290 33554432000 4194304 5970956 140723369594144 140723369591416 5136625 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12186 6290 844 434 0 5550 0 Current children cumulated CPU time (s) 462.23 Current children cumulated vsize (KiB) 48744 [startup+522.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 12056 /proc/meminfo: memFree=31737248/32770624 swapFree=6300/33092 [pid=12039] ppid=12036 vsize=48744 CPUtime=522.22 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 21432 0 0 0 52221 1 0 0 20 0 1 0 18877635 49913856 6290 33554432000 4194304 5970956 140723369594144 140723369591416 5136577 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12186 6290 844 434 0 5550 0 Current children cumulated CPU time (s) 522.22 Current children cumulated vsize (KiB) 48744 [startup+582.3 s] /proc/loadavg: 2.10 2.05 2.05 3/187 12058 /proc/meminfo: memFree=31734704/32770624 swapFree=6300/33116 [pid=12039] ppid=12036 vsize=48744 CPUtime=582.22 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 21876 0 0 0 58221 1 0 0 20 0 1 0 18877635 49913856 6291 33554432000 4194304 5970956 140723369594144 140723369591416 5136608 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12186 6291 844 434 0 5550 0 Current children cumulated CPU time (s) 582.22 Current children cumulated vsize (KiB) 48744 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.08 2.03 2.05 3/187 12111 /proc/meminfo: memFree=31726244/32770624 swapFree=6300/33512 [pid=12039] ppid=12036 vsize=48864 CPUtime=1542.12 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 28528 0 0 0 154211 1 0 0 20 0 1 0 18877635 50036736 6296 33554432000 4194304 5970956 140723369594144 140723369591480 5047698 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12216 6296 844 434 0 5580 0 Current children cumulated CPU time (s) 1542.12 Current children cumulated vsize (KiB) 48864 [startup+1602.3 s] /proc/loadavg: 2.03 2.03 2.05 3/187 12112 /proc/meminfo: memFree=31726032/32770624 swapFree=6300/33528 [pid=12039] ppid=12036 vsize=48864 CPUtime=1602.11 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 28979 0 0 0 160210 1 0 0 20 0 1 0 18877635 50036736 6296 33554432000 4194304 5970956 140723369594144 140723369591480 5136560 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12216 6296 844 434 0 5580 0 Current children cumulated CPU time (s) 1602.11 Current children cumulated vsize (KiB) 48864 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 2.05 3/187 12113 /proc/meminfo: memFree=31726008/32770624 swapFree=6300/33548 [pid=12039] ppid=12036 vsize=48864 CPUtime=1662.1 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 29331 0 0 0 166209 1 0 0 20 0 1 0 18877635 50036736 6296 33554432000 4194304 5970956 140723369594144 140723369591480 5045648 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12216 6296 844 434 0 5580 0 Current children cumulated CPU time (s) 1662.1 Current children cumulated vsize (KiB) 48864 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 12114 /proc/meminfo: memFree=31725476/32770624 swapFree=6300/33572 [pid=12039] ppid=12036 vsize=48864 CPUtime=1722.1 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 29776 0 0 0 172209 1 0 0 20 0 1 0 18877635 50036736 6296 33554432000 4194304 5970956 140723369594144 140723369591480 5136608 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12216 6296 844 434 0 5580 0 Current children cumulated CPU time (s) 1722.1 Current children cumulated vsize (KiB) 48864 [startup+1782.3 s] /proc/loadavg: 2.07 2.03 2.05 3/187 12115 /proc/meminfo: memFree=31725696/32770624 swapFree=6300/33600 [pid=12039] ppid=12036 vsize=48864 CPUtime=1782.09 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 30135 0 0 0 178208 1 0 0 20 0 1 0 18877635 50036736 6296 33554432000 4194304 5970956 140723369594144 140723369591480 5045308 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12216 6296 844 434 0 5580 0 Current children cumulated CPU time (s) 1782.09 Current children cumulated vsize (KiB) 48864 [startup+1842.3 s] /proc/loadavg: 2.14 2.06 2.06 3/187 12116 /proc/meminfo: memFree=31725944/32770624 swapFree=6300/33620 [pid=12039] ppid=12036 vsize=48864 CPUtime=1842.08 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 30584 0 0 0 184207 1 0 0 20 0 1 0 18877635 50036736 6296 33554432000 4194304 5970956 140723369594144 140723369591480 5136608 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12216 6296 844 434 0 5580 0 Current children cumulated CPU time (s) 1842.08 Current children cumulated vsize (KiB) 48864 [startup+1902.3 s] /proc/loadavg: 2.05 2.04 2.05 3/187 12124 /proc/meminfo: memFree=31724836/32770624 swapFree=6300/33656 [pid=12039] ppid=12036 vsize=48864 CPUtime=1902.08 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 30962 0 0 0 190207 1 0 0 20 0 1 0 18877635 50036736 6296 33554432000 4194304 5970956 140723369594144 140723369591480 5045308 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12216 6296 844 434 0 5580 0 Current children cumulated CPU time (s) 1902.08 Current children cumulated vsize (KiB) 48864 [startup+1962.3 s] /proc/loadavg: 2.02 2.04 2.05 3/187 12125 /proc/meminfo: memFree=31725684/32770624 swapFree=6300/33676 [pid=12039] ppid=12036 vsize=48864 CPUtime=1962.07 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 31343 0 0 0 196206 1 0 0 20 0 1 0 18877635 50036736 6296 33554432000 4194304 5970956 140723369594144 140723369591480 5045304 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12216 6296 844 434 0 5580 0 Current children cumulated CPU time (s) 1962.07 Current children cumulated vsize (KiB) 48864 [startup+2022.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 12126 /proc/meminfo: memFree=31725612/32770624 swapFree=6300/33696 [pid=12039] ppid=12036 vsize=48864 CPUtime=2022.06 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 31798 0 0 0 202205 1 0 0 20 0 1 0 18877635 50036736 6298 33554432000 4194304 5970956 140723369594144 140723369591480 5045308 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12216 6298 844 434 0 5580 0 Current children cumulated CPU time (s) 2022.06 Current children cumulated vsize (KiB) 48864 [startup+2082.3 s] /proc/loadavg: 2.12 2.06 2.05 3/187 12127 /proc/meminfo: memFree=31726148/32770624 swapFree=6300/33724 [pid=12039] ppid=12036 vsize=48864 CPUtime=2082.06 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 32158 0 0 0 208205 1 0 0 20 0 1 0 18877635 50036736 6298 33554432000 4194304 5970956 140723369594144 140723369591480 5045736 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12216 6298 844 434 0 5580 0 Current children cumulated CPU time (s) 2082.06 Current children cumulated vsize (KiB) 48864 [startup+2142.3 s] /proc/loadavg: 2.05 2.05 2.05 3/187 12128 /proc/meminfo: memFree=31725628/32770624 swapFree=6300/33744 [pid=12039] ppid=12036 vsize=48864 CPUtime=2142.05 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 32536 0 0 0 214204 1 0 0 20 0 1 0 18877635 50036736 6298 33554432000 4194304 5970956 140723369594144 140723369591480 5136608 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12216 6298 844 434 0 5580 0 Current children cumulated CPU time (s) 2142.05 Current children cumulated vsize (KiB) 48864 [startup+2202.31 s] /proc/loadavg: 2.02 2.04 2.05 3/187 12130 /proc/meminfo: memFree=31726008/32770624 swapFree=6300/33772 [pid=12039] ppid=12036 vsize=48864 CPUtime=2202.05 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 32908 0 0 0 220204 1 0 0 20 0 1 0 18877635 50036736 6298 33554432000 4194304 5970956 140723369594144 140723369591480 5045311 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12216 6298 844 434 0 5580 0 Current children cumulated CPU time (s) 2202.05 Current children cumulated vsize (KiB) 48864 [startup+2262.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 12131 /proc/meminfo: memFree=31725240/32770624 swapFree=6300/33796 [pid=12039] ppid=12036 vsize=48864 CPUtime=2262.04 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 33366 0 0 0 226203 1 0 0 20 0 1 0 18877635 50036736 6301 33554432000 4194304 5970956 140723369594144 140723369591480 5045304 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12216 6301 844 434 0 5580 0 Current children cumulated CPU time (s) 2262.04 Current children cumulated vsize (KiB) 48864 [startup+2322.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 12192 /proc/meminfo: memFree=29254028/32770624 swapFree=6300/33868 [pid=12039] ppid=12036 vsize=48864 CPUtime=2322.03 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 33721 0 0 0 232202 1 0 0 20 0 1 0 18877635 50036736 6301 33554432000 4194304 5970956 140723369594144 140723369591480 5047083 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12216 6301 844 434 0 5580 0 Current children cumulated CPU time (s) 2322.03 Current children cumulated vsize (KiB) 48864 [startup+2382.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 12194 /proc/meminfo: memFree=28980604/32770624 swapFree=6300/33928 [pid=12039] ppid=12036 vsize=48864 CPUtime=2382.02 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 34077 0 0 0 238201 1 0 0 20 0 1 0 18877635 50036736 6301 33554432000 4194304 5970956 140723369594144 140723369591480 5047066 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12216 6301 844 434 0 5580 0 Current children cumulated CPU time (s) 2382.02 Current children cumulated vsize (KiB) 48864 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.31 s] /proc/loadavg: 2.00 2.02 2.05 3/187 12194 /proc/meminfo: memFree=28974260/32770624 swapFree=6300/33932 [pid=12039] ppid=12036 vsize=48864 CPUtime=2400.03 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 34399 0 0 0 240002 1 0 0 20 0 1 0 18877635 50036736 6301 33554432000 4194304 5970956 140723369594144 140723369591480 5045486 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12216 6301 844 434 0 5580 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 48864 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 12039 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.31 s] /proc/loadavg: 2.00 2.02 2.05 3/187 12194 /proc/meminfo: memFree=28974260/32770624 swapFree=6300/33932 [pid=12039] ppid=12036 vsize=48864 CPUtime=2400.03 cores=1,3,5,7 /proc/12039/stat : 12039 (cosoco) R 12036 12039 5313 0 -1 4202496 34399 0 0 0 240002 1 0 0 20 0 1 0 18877635 50036736 6301 33554432000 4194304 5970956 140723369594144 140723369591480 5045486 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41000960 140723369596092 140723369596227 140723369596227 140723369598926 0 /proc/12039/statm: 12216 6301 844 434 0 5580 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 48864 Child status: 1 Real time (s): 2400.31 CPU time (s): 2400.04 CPU user time (s): 2400.02 CPU system time (s): 0.017998 CPU usage (%): 99.989 Max. virtual memory (cumulated for all children) (KiB): 48864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.02 system time used= 0.017998 maximum resident set size= 25248 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34433 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= 18 involuntary context switches= 120659 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.57799 second user time and 10.2993 second system time The end
Begin job on node104 at 2017-07-21 14:48:26 IDJOB=4240929 IDBENCH=124448 IDSOLVER=2621 FILE ID=node104/4240929-1500641306 RUNJOBID= node104-1500623789-5345 PBS_JOBID= 20623023 Free space on /tmp= 62020 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n31-k5.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240929-1500641306/watcher-4240929-1500641306 -o /tmp/evaluation-result-4240929-1500641306/solver-4240929-1500641306 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500623789-5345 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240929-1500641306.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 72502af2971f560ebaea982d6c1ff669 RANDOM SEED=175326336 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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.50 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 : 1600.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 : 1600.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.50 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 : 1600.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 : 1600.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.50 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 : 1600.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 : 1600.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.50 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 : 2267.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: 31776000 kB MemAvailable: 31781704 kB Buffers: 133824 kB Cached: 158028 kB SwapCached: 0 kB Active: 463824 kB Inactive: 103700 kB Active(anon): 224532 kB Inactive(anon): 70880 kB Active(file): 239292 kB Inactive(file): 32820 kB Unevictable: 6300 kB Mlocked: 6300 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2364 kB Writeback: 0 kB AnonPages: 265652 kB Mapped: 34844 kB Shmem: 17044 kB Slab: 124844 kB SReclaimable: 98856 kB SUnreclaim: 25988 kB KernelStack: 3344 kB PageTables: 5596 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 561540 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 194560 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= 62016 MiB End job on node104 at 2017-07-21 15:28:26