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 | SAT (TO) | 10 | 2400.03 | 2399.8999 |
| Name | OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml |
| MD5SUM | 829564848108aadfa26cd1b017421761 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 9 |
| Best CPU time to get the best result obtained on this benchmark | 718.45502 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 725 |
| Number of constraints | 701 |
| Number of domains | 3 |
| Minimum domain size | 2 |
| Maximum domain size | 26 |
| Distribution of domain sizes | [{"size":2,"count":625},{"size":25,"count":75},{"size":26,"count":25}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 26 |
| Distribution of variable degrees | [{"degree":2,"count":650},{"degree":3,"count":8},{"degree":5,"count":5},{"degree":7,"count":6},{"degree":9,"count":4},{"degree":11,"count":1},{"degree":17,"count":1},{"degree":26,"count":50}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 26 |
| Distribution of constraint arities | [{"arity":2,"count":10},{"arity":3,"count":645},{"arity":4,"count":10},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":8,"count":2},{"arity":25,"count":1},{"arity":26,"count":25}] |
| Number of extensional constraints | 625 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":625},{"type":"allDifferent","count":1},{"type":"sum","count":25},{"type":"minimum","count":25},{"type":"maximum","count":25}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.01/0.18 c best=?? lower=0 upper=25 0.10/0.28 c 0.10/0.28 c This is cosoco 1.0 -- 0.10/0.28 c 0.10/0.28 c enable optimization 0.10/0.28 c ========================================[ Problem Statistics ]=========================================== 0.10/0.28 c | 0.10/0.28 c | Parse time : 0.08 s 0.10/0.28 c | 0.10/0.28 c | Variables: 725 0.10/0.28 c | Domain Sizes: 2..26 0.10/0.28 c | 0.10/0.28 c | Constraints: 702 0.10/0.28 c | Arity: 2..26 -- Binary: 10 -- Ternary: 645 0.10/0.28 c | 0.10/0.28 c | Types: 0.10/0.28 c | All Different: 1 0.10/0.28 c | Extension: 625 (nb tuples: 625..769) -- (shared: 600) 0.10/0.28 c | Max constant: 1 0.10/0.28 c | Minimum Variable: 50 0.10/0.28 c | Sum: 25 0.10/0.28 c | 0.10/0.28 c ========================================================================================================= 0.10/0.28 o 12 0.10/0.28 c 1 calls to solver: best=12 lower=0 upper=11 0.80/0.96 o 11 480.04/480.12 o 10 480.04/480.12 c 3 calls to solver: best=10 lower=0 upper=9 2400.03/2399.90 2400.03/2399.90 c *** INTERRUPTED *** 2400.03/2399.90 s SATISFIABLE 2400.03/2399.90 c Best value found: 10 2400.03/2399.90 2400.03/2399.90 2400.03/2399.90 v <instantiation type='solution' cost='10'> 2400.03/2399.90 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] min[0] min[1] min[2] min[3] min[4] min[5] min[6] min[7] min[8] min[9] min[10] min[11] min[12] min[13] min[14] min[15] min[16] min[17] min[18] min[19] min[20] min[21] min[22] min[23] min[24] max[0] max[1] max[2] max[3] max[4] max[5] max[6] max[7] max[8] max[9] max[10] max[11] max[12] max[13] max[14] max[15] max[16] max[17] max[18] max[19] max[20] max[21] max[22] max[23] max[24] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[16][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[17][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[18][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[19][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[20][0] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[20][15] o[20][16] o[20][17] o[20][18] o[20][19] o[20][20] o[20][21] o[20][22] o[20][23] o[20][24] o[21][0] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[21][15] o[21][16] o[21][17] o[21][18] o[21][19] o[21][20] o[21][21] o[21][22] o[21][23] o[21][24] o[22][0] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[22][15] o[22][16] o[22][17] o[22][18] o[22][19] o[22][20] o[22][21] o[22][22] o[22][23] o[22][24] o[23][0] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[23][15] o[23][16] o[23][17] o[23][18] o[23][19] o[23][20] o[23][21] o[23][22] o[23][23] o[23][24] o[24][0] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[24][15] o[24][16] o[24][17] o[24][18] o[24][19] o[24][20] o[24][21] o[24][22] o[24][23] o[24][24] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[20] so[21] so[22] so[23] so[24] </list> 2400.03/2399.90 v <values>16 7 21 24 8 5 9 18 4 22 2 13 23 11 20 19 10 14 12 6 1 3 0 15 17 2 9 17 1 0 23 3 8 1 3 9 1 12 0 17 13 0 6 3 4 7 3 0 10 10 21 13 17 20 2 23 11 13 7 6 14 4 16 1 24 13 14 6 8 5 7 12 3 22 23 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 4 7 7 10 10 9 9 8 7 8 10 10 10 10 7 5 5 6 5 5 5 4 3 3 1 </values> 2400.03/2399.90 v </instantiation> 2400.03/2399.90 2400.03/2399.90 c restarts : 87 2400.03/2399.90 c conflicts : 4056520 (1690 /sec) 2400.03/2399.90 c decisions
OK 10
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-4241340-1502081590/watcher-4241340-1502081590 -o /tmp/evaluation-result-4241340-1502081590/solver-4241340-1502081590 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16652 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241340-1502081590.xml pid=22155 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: 2.00 2.01 2.05 3/180 22158 /proc/meminfo: memFree=31703668/32770624 swapFree=0/396128 [pid=22158] ppid=22155 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/22158/stat : 22158 (runsolver) D 22155 22158 9955 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10379997 24240128 107 18446744073709551615 4194304 4338465 140729706382256 140729706379896 139762832249559 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 14557184 140729706389663 140729706390090 140729706390090 140729706393546 0 /proc/22158/statm: 5918 107 54 36 0 2156 0 [startup+0.107016 s] /proc/loadavg: 2.00 2.01 2.05 3/180 22158 /proc/meminfo: memFree=31703668/32770624 swapFree=0/396128 [pid=22158] ppid=22155 vsize=27908 CPUtime=0.01 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 1237 0 0 0 1 0 0 0 20 0 1 0 10379997 28577792 1075 18446744073709551615 4194304 5970956 140721062370048 140721062364664 5350821 0 0 1 0 0 0 0 17 6 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 6977 1075 783 434 0 341 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 27908 [startup+0.201064 s] /proc/loadavg: 2.00 2.01 2.05 3/180 22158 /proc/meminfo: memFree=31703668/32770624 swapFree=0/396128 [pid=22158] ppid=22155 vsize=34936 CPUtime=0.1 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 3065 0 0 0 10 0 0 0 20 0 1 0 10379997 35774464 2909 18446744073709551615 4194304 5970956 140721062370048 140721062357368 4934014 0 0 1 8405026 0 0 0 17 6 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 8734 2909 835 434 0 2098 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 34936 [startup+0.301052 s] /proc/loadavg: 2.00 2.01 2.05 3/180 22158 /proc/meminfo: memFree=31703668/32770624 swapFree=0/396128 [pid=22158] ppid=22155 vsize=37708 CPUtime=0.2 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 3763 0 0 0 20 0 0 0 20 0 1 0 10379997 38612992 3569 18446744073709551615 4194304 5970956 140721062370048 140721062357352 4934556 0 0 1 8405026 0 0 0 17 6 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9427 3569 839 434 0 2791 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 37708 [startup+0.700294 s] /proc/loadavg: 2.00 2.01 2.05 3/180 22158 /proc/meminfo: memFree=31703668/32770624 swapFree=0/396128 [pid=22158] ppid=22155 vsize=37708 CPUtime=0.6 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 3763 0 0 0 60 0 0 0 20 0 1 0 10379997 38612992 3569 18446744073709551615 4194304 5970956 140721062370048 140721062357352 5319216 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9427 3569 839 434 0 2791 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 37708 [startup+1.50029 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22159 /proc/meminfo: memFree=31692612/32770624 swapFree=0/396120 [pid=22158] ppid=22155 vsize=37972 CPUtime=1.4 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 3831 0 0 0 140 0 0 0 20 0 1 0 10379997 38883328 3635 18446744073709551615 4194304 5970956 140721062370048 140721062357352 4934318 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9493 3635 842 434 0 2857 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 37972 [startup+3.10029 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22159 /proc/meminfo: memFree=31692240/32770624 swapFree=0/396120 [pid=22158] ppid=22155 vsize=37972 CPUtime=2.99 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 6484 0 0 0 299 0 0 0 20 0 1 0 10379997 38883328 3679 18446744073709551615 4194304 5970956 140721062370048 140721062357352 4934432 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9493 3679 842 434 0 2857 0 Current children cumulated CPU time (s) 2.99 Current children cumulated vsize (KiB) 37972 [startup+6.30029 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22159 /proc/meminfo: memFree=31691772/32770624 swapFree=0/396128 [pid=22158] ppid=22155 vsize=37972 CPUtime=6.2 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 9131 0 0 0 620 0 0 0 20 0 1 0 10379997 38883328 3679 18446744073709551615 4194304 5970956 140721062370048 140721062367608 4934318 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9493 3679 842 434 0 2857 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 37972 [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22160 /proc/meminfo: memFree=31691400/32770624 swapFree=0/396132 [pid=22158] ppid=22155 vsize=37972 CPUtime=12.6 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 11783 0 0 0 1260 0 0 0 20 0 1 0 10379997 38883328 3679 18446744073709551615 4194304 5970956 140721062370048 140721062367608 4934318 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9493 3679 842 434 0 2857 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 37972 [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22160 /proc/meminfo: memFree=31691400/32770624 swapFree=0/396144 [pid=22158] ppid=22155 vsize=37972 CPUtime=25.4 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 17048 0 0 0 2540 0 0 0 20 0 1 0 10379997 38883328 3679 18446744073709551615 4194304 5970956 140721062370048 140721062367608 4934327 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9493 3679 842 434 0 2857 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 37972 [startup+51.1003 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22160 /proc/meminfo: memFree=31690848/32770624 swapFree=0/396152 [pid=22158] ppid=22155 vsize=37972 CPUtime=51.01 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 19763 0 0 0 5100 1 0 0 20 0 1 0 10379997 38883328 3679 18446744073709551615 4194304 5970956 140721062370048 140721062367608 4934389 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9493 3679 842 434 0 2857 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 37972 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/184 22176 /proc/meminfo: memFree=31687536/32770624 swapFree=0/396208 [pid=22158] ppid=22155 vsize=37972 CPUtime=102.21 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 19961 0 0 0 10220 1 0 0 20 0 1 0 10379997 38883328 3680 18446744073709551615 4194304 5970956 140721062370048 140721062367608 4934354 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9493 3680 842 434 0 2857 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 37972 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22178 /proc/meminfo: memFree=31690176/32770624 swapFree=0/396244 [pid=22158] ppid=22155 vsize=37972 CPUtime=162.21 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 20160 0 0 0 16220 1 0 0 20 0 1 0 10379997 38883328 3680 18446744073709551615 4194304 5970956 140721062370048 140721062367608 4934327 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9493 3680 842 434 0 2857 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 37972 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22180 /proc/meminfo: memFree=31690804/32770624 swapFree=0/396264 [pid=22158] ppid=22155 vsize=37972 CPUtime=222.22 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 20353 0 0 0 22221 1 0 0 20 0 1 0 10379997 38883328 3680 18446744073709551615 4194304 5970956 140721062370048 140721062367608 5322040 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9493 3680 842 434 0 2857 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 37972 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22182 /proc/meminfo: memFree=31690440/32770624 swapFree=0/396280 [pid=22158] ppid=22155 vsize=37972 CPUtime=282.22 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 20354 0 0 0 28221 1 0 0 20 0 1 0 10379997 38883328 3680 18446744073709551615 4194304 5970956 140721062370048 140721062367608 4934342 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9493 3680 842 434 0 2857 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 37972 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22184 /proc/meminfo: memFree=31690824/32770624 swapFree=0/396300 [pid=22158] ppid=22155 vsize=37972 CPUtime=342.23 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 20548 0 0 0 34222 1 0 0 20 0 1 0 10379997 38883328 3680 18446744073709551615 4194304 5970956 140721062370048 140721062367608 4934354 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9493 3680 842 434 0 2857 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 37972 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22186 /proc/meminfo: memFree=31690588/32770624 swapFree=0/396324 [pid=22158] ppid=22155 vsize=37972 CPUtime=402.24 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 20548 0 0 0 40223 1 0 0 20 0 1 0 10379997 38883328 3680 18446744073709551615 4194304 5970956 140721062370048 140721062367608 4934370 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9493 3680 842 434 0 2857 0 Current children cumulated CPU time (s) 402.24 Current children cumulated vsize (KiB) 37972 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22188 /proc/meminfo: memFree=31690492/32770624 swapFree=0/396356 [pid=22158] ppid=22155 vsize=37972 CPUtime=462.24 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 20727 0 0 0 46223 1 0 0 20 0 1 0 10379997 38883328 3680 18446744073709551615 4194304 5970956 140721062370048 140721062367608 4974452 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9493 3680 842 434 0 2857 0 Current children cumulated CPU time (s) 462.24 Current children cumulated vsize (KiB) 37972 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22190 /proc/meminfo: memFree=31690252/32770624 swapFree=0/396380 [pid=22158] ppid=22155 vsize=38236 CPUtime=522.25 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 20814 0 0 0 52224 1 0 0 20 0 1 0 10379997 39153664 3680 18446744073709551615 4194304 5970956 140721062370048 140721062357352 4934327 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9559 3680 842 434 0 2923 0 Current children cumulated CPU time (s) 522.25 Current children cumulated vsize (KiB) 38236 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22192 /proc/meminfo: memFree=31690620/32770624 swapFree=0/396404 [pid=22158] ppid=22155 vsize=38236 CPUtime=582.25 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 21054 0 0 0 58224 1 0 0 20 0 1 0 10379997 39153664 3734 18446744073709551615 4194304 5970956 140721062370048 140721062357352 4934327 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9559 3734 842 434 0 2923 0 Current children cumulated CPU time (s) 582.25 Current children cumulated vsize (KiB) 38236 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.01 2.01 2.04 3/182 22469 /proc/meminfo: memFree=31692040/32770624 swapFree=0/397004 [pid=22158] ppid=22155 vsize=38236 CPUtime=1542.35 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 22988 0 0 0 154234 1 0 0 20 0 1 0 10379997 39153664 3734 18446744073709551615 4194304 5970956 140721062370048 140721062357352 4934366 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9559 3734 842 434 0 2923 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 38236 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.04 3/181 22471 /proc/meminfo: memFree=31692176/32770624 swapFree=0/397032 [pid=22158] ppid=22155 vsize=38236 CPUtime=1602.35 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 22988 0 0 0 160234 1 0 0 20 0 1 0 10379997 39153664 3734 18446744073709551615 4194304 5970956 140721062370048 140721062357352 4933153 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9559 3734 842 434 0 2923 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 38236 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.04 3/181 22473 /proc/meminfo: memFree=31692428/32770624 swapFree=0/397064 [pid=22158] ppid=22155 vsize=38236 CPUtime=1662.36 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 23229 0 0 0 166235 1 0 0 20 0 1 0 10379997 39153664 3734 18446744073709551615 4194304 5970956 140721062370048 140721062357352 4934318 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9559 3734 842 434 0 2923 0 Current children cumulated CPU time (s) 1662.36 Current children cumulated vsize (KiB) 38236 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.04 3/181 22475 /proc/meminfo: memFree=31692188/32770624 swapFree=0/397092 [pid=22158] ppid=22155 vsize=38236 CPUtime=1722.36 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 23230 0 0 0 172235 1 0 0 20 0 1 0 10379997 39153664 3734 18446744073709551615 4194304 5970956 140721062370048 140721062357352 4934318 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9559 3734 842 434 0 2923 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 38236 [startup+1782.3 s] /proc/loadavg: 2.05 2.03 2.05 3/181 22477 /proc/meminfo: memFree=31692636/32770624 swapFree=0/397120 [pid=22158] ppid=22155 vsize=38236 CPUtime=1782.37 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 23438 0 0 0 178236 1 0 0 20 0 1 0 10379997 39153664 3734 18446744073709551615 4194304 5970956 140721062370048 140721062357352 4977138 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9559 3734 842 434 0 2923 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (KiB) 38236 [startup+1842.3 s] /proc/loadavg: 2.02 2.02 2.05 3/181 22479 /proc/meminfo: memFree=31692268/32770624 swapFree=0/397148 [pid=22158] ppid=22155 vsize=38236 CPUtime=1842.37 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 23460 0 0 0 184236 1 0 0 20 0 1 0 10379997 39153664 3734 18446744073709551615 4194304 5970956 140721062370048 140721062357352 4934318 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9559 3734 842 434 0 2923 0 Current children cumulated CPU time (s) 1842.37 Current children cumulated vsize (KiB) 38236 [startup+1902.3 s] /proc/loadavg: 2.01 2.02 2.05 3/185 22496 /proc/meminfo: memFree=31688848/32770624 swapFree=0/397212 [pid=22158] ppid=22155 vsize=38236 CPUtime=1902.38 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 23700 0 0 0 190237 1 0 0 20 0 1 0 10379997 39153664 3734 18446744073709551615 4194304 5970956 140721062370048 140721062357352 4934327 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9559 3734 842 434 0 2923 0 Current children cumulated CPU time (s) 1902.38 Current children cumulated vsize (KiB) 38236 [startup+1962.3 s] /proc/loadavg: 2.04 2.03 2.05 3/182 22498 /proc/meminfo: memFree=31691496/32770624 swapFree=0/397248 [pid=22158] ppid=22155 vsize=38236 CPUtime=1962.39 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 23700 0 0 0 196238 1 0 0 20 0 1 0 10379997 39153664 3734 18446744073709551615 4194304 5970956 140721062370048 140721062357352 4974724 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9559 3734 842 434 0 2923 0 Current children cumulated CPU time (s) 1962.39 Current children cumulated vsize (KiB) 38236 [startup+2022.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 22500 /proc/meminfo: memFree=31692352/32770624 swapFree=0/397276 [pid=22158] ppid=22155 vsize=38236 CPUtime=2022.39 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 23907 0 0 0 202238 1 0 0 20 0 1 0 10379997 39153664 3734 18446744073709551615 4194304 5970956 140721062370048 140721062357352 4934366 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9559 3734 842 434 0 2923 0 Current children cumulated CPU time (s) 2022.39 Current children cumulated vsize (KiB) 38236 [startup+2082.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 22502 /proc/meminfo: memFree=31692120/32770624 swapFree=0/397304 [pid=22158] ppid=22155 vsize=38236 CPUtime=2082.4 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 23914 0 0 0 208239 1 0 0 20 0 1 0 10379997 39153664 3734 18446744073709551615 4194304 5970956 140721062370048 140721062357352 4934366 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9559 3734 842 434 0 2923 0 Current children cumulated CPU time (s) 2082.4 Current children cumulated vsize (KiB) 38236 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 22504 /proc/meminfo: memFree=31691752/32770624 swapFree=0/397336 [pid=22158] ppid=22155 vsize=38236 CPUtime=2142.4 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 24161 0 0 0 214239 1 0 0 20 0 1 0 10379997 39153664 3734 18446744073709551615 4194304 5970956 140721062370048 140721062357352 4934498 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9559 3734 842 434 0 2923 0 Current children cumulated CPU time (s) 2142.4 Current children cumulated vsize (KiB) 38236 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22506 /proc/meminfo: memFree=31691980/32770624 swapFree=0/397372 [pid=22158] ppid=22155 vsize=38236 CPUtime=2202.41 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 24161 0 0 0 220240 1 0 0 20 0 1 0 10379997 39153664 3734 18446744073709551615 4194304 5970956 140721062370048 140721062357352 4934477 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9559 3734 842 434 0 2923 0 Current children cumulated CPU time (s) 2202.41 Current children cumulated vsize (KiB) 38236 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22508 /proc/meminfo: memFree=31692112/32770624 swapFree=0/397400 [pid=22158] ppid=22155 vsize=38236 CPUtime=2262.41 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 24403 0 0 0 226240 1 0 0 20 0 1 0 10379997 39153664 3734 18446744073709551615 4194304 5970956 140721062370048 140721062357352 4934272 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9559 3734 842 434 0 2923 0 Current children cumulated CPU time (s) 2262.41 Current children cumulated vsize (KiB) 38236 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22510 /proc/meminfo: memFree=31691868/32770624 swapFree=0/397432 [pid=22158] ppid=22155 vsize=38236 CPUtime=2322.42 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 24404 0 0 0 232241 1 0 0 20 0 1 0 10379997 39153664 3734 18446744073709551615 4194304 5970956 140721062370048 140721062357352 4933208 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9559 3734 842 434 0 2923 0 Current children cumulated CPU time (s) 2322.42 Current children cumulated vsize (KiB) 38236 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22512 /proc/meminfo: memFree=31692104/32770624 swapFree=0/397460 [pid=22158] ppid=22155 vsize=38236 CPUtime=2382.43 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 24613 0 0 0 238242 1 0 0 20 0 1 0 10379997 39153664 3734 18446744073709551615 4194304 5970956 140721062370048 140721062357352 4934357 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9559 3734 842 434 0 2923 0 Current children cumulated CPU time (s) 2382.43 Current children cumulated vsize (KiB) 38236 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2399.9 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22512 /proc/meminfo: memFree=31692108/32770624 swapFree=0/397472 [pid=22158] ppid=22155 vsize=38236 CPUtime=2400.03 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 24613 0 0 0 240002 1 0 0 20 0 1 0 10379997 39153664 3734 18446744073709551615 4194304 5970956 140721062370048 140721062357352 5136560 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9559 3734 842 434 0 2923 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 38236 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 22158 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2399.9 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22512 /proc/meminfo: memFree=31692108/32770624 swapFree=0/397472 [pid=22158] ppid=22155 vsize=38236 CPUtime=2400.03 cores=0,2,4,6 /proc/22158/stat : 22158 (cosoco) R 22155 22158 9955 0 -1 4202496 24613 0 0 0 240002 1 0 0 20 0 1 0 10379997 39153664 3734 18446744073709551615 4194304 5970956 140721062370048 140721062357352 5136560 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18153472 140721062371788 140721062371918 140721062371918 140721062375374 0 /proc/22158/statm: 9559 3734 842 434 0 2923 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 38236 Child status: 1 Real time (s): 2399.9 CPU time (s): 2400.03 CPU user time (s): 2400.02 CPU system time (s): 0.011001 CPU usage (%): 100.006 Max. virtual memory (cumulated for all children) (KiB): 38236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.02 system time used= 0.011001 maximum resident set size= 14984 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24647 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= 611 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.80432 second user time and 8.25865 second system time The end
Begin job on node125 at 2017-08-07 06:39:07 IDJOB=4241340 IDBENCH=140517 IDSOLVER=2620 FILE ID=node125/4241340-1502081590 RUNJOBID= node125-1502042574-16652 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m2c-s1/OpenStacks-m2c-sp-4-1.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241340-1502081590/watcher-4241340-1502081590 -o /tmp/evaluation-result-4241340-1502081590/solver-4241340-1502081590 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16652 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241340-1502081590.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 829564848108aadfa26cd1b017421761 RANDOM SEED=1372740203 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: 31703408 kB MemAvailable: 32021972 kB Buffers: 136120 kB Cached: 463312 kB SwapCached: 0 kB Active: 254040 kB Inactive: 404660 kB Active(anon): 59744 kB Inactive(anon): 8532 kB Active(file): 194296 kB Inactive(file): 396128 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2264 kB Writeback: 0 kB AnonPages: 59432 kB Mapped: 32868 kB Shmem: 8868 kB Slab: 112604 kB SReclaimable: 87948 kB SUnreclaim: 24656 kB KernelStack: 3232 kB PageTables: 4692 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 305576 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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= 62028 MiB End job on node125 at 2017-08-07 07:19:07