2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	SAT (TO)	176	20077.3	2520.14

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297364-1532689640.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4297364-1532689640.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
5.54/1.61	c solve instance...
7.71/1.97	o 0 
7.71/1.98	o 9 
7.71/1.98	o 10 
7.71/1.99	o 11 
7.71/1.99	o 12 
7.71/1.99	o 13 
7.71/1.99	o 14 
7.71/1.99	o 15 
7.71/2.00	o 16 
7.71/2.00	o 17 
8.46/2.01	o 18 
8.46/2.08	o 19 
8.46/2.08	o 20 
8.46/2.08	o 21 
8.46/2.08	o 22 
8.46/2.09	o 23 
8.46/2.09	o 24 
8.46/2.09	o 25 
8.46/2.10	o 26 
8.46/2.10	o 27 
8.46/2.10	o 28 
8.46/2.10	o 29 
8.46/2.10	o 30 
8.46/2.11	o 31 
9.11/2.11	o 32 
9.11/2.11	o 33 
9.11/2.11	o 34 
9.11/2.11	o 35 
9.11/2.12	o 36 
9.11/2.14	o 37 
9.11/2.14	o 38 
9.11/2.15	o 39 
9.11/2.17	o 40 
9.11/2.17	o 41 
9.11/2.19	o 42 
9.11/2.19	o 43 
9.11/2.20	o 44 
9.11/2.20	o 45 
9.11/2.20	o 46 
9.69/2.20	o 47 
9.69/2.20	o 48 
9.69/2.21	o 49 
9.69/2.21	o 50 
9.69/2.22	o 51 
9.69/2.22	o 52 
9.69/2.22	o 53 
9.69/2.23	o 54 
9.69/2.25	o 55 
9.69/2.25	o 56 
9.69/2.26	o 57 
9.69/2.26	o 58 
9.69/2.26	o 59 
9.69/2.26	o 60 
9.69/2.27	o 61 
9.69/2.27	o 62 
9.69/2.27	o 63 
9.69/2.27	o 64 
9.69/2.28	o 65 
9.69/2.28	o 66 
9.69/2.28	o 67 
9.69/2.28	o 68 
9.69/2.29	o 69 
9.69/2.29	o 70 
9.69/2.29	o 71 
10.23/2.30	o 72 
10.23/2.30	o 73 
10.23/2.31	o 74 
10.23/2.31	o 75 
10.23/2.31	o 76 
10.23/2.31	o 77 
10.23/2.31	o 78 
10.23/2.32	o 79 
10.23/2.32	o 80 
10.23/2.32	o 81 
10.23/2.32	o 82 
10.23/2.33	o 83 
10.23/2.33	o 84 
10.23/2.33	o 85 
10.23/2.35	o 86 
10.23/2.36	o 87 
10.23/2.36	o 88 
10.23/2.36	o 89 
10.23/2.37	o 90 
10.23/2.38	o 91 
10.23/2.39	o 92 
10.23/2.39	o 93 
10.23/2.39	o 94 
10.23/2.39	o 95 
10.85/2.40	o 96 
10.85/2.40	o 97 
10.85/2.41	o 98 
10.85/2.43	o 99 
10.85/2.43	o 100 
10.85/2.43	o 101 
10.85/2.44	o 102 
10.85/2.44	o 103 
10.85/2.45	o 104 
10.85/2.45	o 105 
10.85/2.45	o 106 
10.85/2.45	o 107 
10.85/2.46	o 108 
10.85/2.46	o 109 
10.85/2.46	o 110 
10.85/2.47	o 111 
10.85/2.47	o 112 
10.85/2.47	o 113 
10.85/2.47	o 114 
10.85/2.48	o 115 
10.85/2.48	o 116 
10.85/2.49	o 117 
10.85/2.49	o 118 
10.85/2.50	o 119 
11.40/2.50	o 120 
11.40/2.50	o 121 
11.40/2.50	o 122 
11.40/2.51	o 123 
11.40/2.51	o 124 
11.40/2.51	o 125 
11.40/2.52	o 126 
11.40/2.52	o 127 
11.40/2.52	o 128 
11.40/2.53	o 129 
11.40/2.56	o 130 
11.40/2.56	o 131 
11.40/2.56	o 132 
11.40/2.57	o 133 
11.40/2.57	o 134 
11.40/2.57	o 135 
11.40/2.57	o 136 
11.40/2.58	o 137 
11.40/2.58	o 138 
11.40/2.58	o 139 
11.40/2.58	o 140 
11.40/2.59	o 141 
11.40/2.59	o 142 
11.40/2.59	o 143 
11.40/2.60	o 144 
11.94/2.60	o 145 
11.94/2.60	o 146 
11.94/2.61	o 147 
11.94/2.61	o 148 
11.94/2.62	o 149 
11.94/2.62	o 150 
11.94/2.62	o 151 
11.94/2.63	o 152 
11.94/2.63	o 153 
11.94/2.63	o 154 
11.94/2.63	o 155 
11.94/2.64	o 156 
11.94/2.64	o 157 
11.94/2.64	o 158 
11.94/2.65	o 159 
11.94/2.65	o 160 
11.94/2.65	o 161 
11.94/2.65	o 162 
11.94/2.66	o 163 
11.94/2.66	o 164 
11.94/2.67	o 165 
11.94/2.67	o 166 
11.94/2.68	o 167 
12.54/2.72	o 168 
12.54/2.74	o 169 
16.47/3.29	o 170 
175.18/23.15	o 171 
511.66/65.34	o 172 
515.60/65.87	o 173 
1267.83/160.12	o 174 
1522.25/192.01	o 175 
2368.65/298.11	o 176 
20076.52/2520.09	s SATISFIABLE
20076.52/2520.09	v <instantiation>
20076.52/2520.09	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] z </list>
20076.52/2520.09	v 	<values>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 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 1 1 1 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 0 1 1 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 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 1 2 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 1 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 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 2 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 1 1 1 2 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 1 1 1 2 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 2 2 1 0 0 0 0 1 1 2 2 2 0 2 0 0 2 0 0 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 7 10 13 19 24 24 24 26 27 27 29 29 34 36 37 43 53 64 69 86 94 176 </values>
20076.52/2520.09	v </instantiation>
20076.52/2520.09	c Unexpected resolution interruption!

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14391 MiB free)
  memory of node 1: 16384 MiB (13294 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297364-1532689640/watcher-4297364-1532689640 -o /tmp/evaluation-result-4297364-1532689640/solver-4297364-1532689640 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1532684358-16973 --watchdog 2580 HOME/xcsp3-exec -seed 1130328286 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297364-1532689640.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=18388, runsolver pid=18385

[startup+0.101073 s]*
/proc/loadavg: 8.50 8.59 8.69 2/202 18409
/proc/meminfo: memFree=28334212/32770624 swapFree=67108860/67108860
[pid=18388] ppid=18385 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18388/stat : 18388 (xcsp3-exec) S 18385 18388 16946 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86527203 115843072 364 33554432000 4194304 5098028 140723000867440 140723000865544 140342449676924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32190464 140723000874037 140723000874240 140723000874240 140723000877002 0
/proc/18388/statm: 28282 364 306 221 0 87 0
[pid=18390] ppid=18388 vsize=26104152 memory=28096 CPUtime=0.12 cores=0-7
/proc/18390/stat : 18390 (java) S 18388 18388 16946 0 -1 1077944320 5886 0 0 0 10 2 0 0 20 0 20 0 86527203 26730651648 7024 33554432000 4194304 4196468 140724696640400 140724696622944 139742036283127 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
/proc/18390/statm: 6526038 7024 3030 1 0 6488315 0
[pid=18390/tid=18391] ppid=18388 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/18390/task/18391/stat : 18391 (java) R 18388 18388 16946 0 -1 4202560 3904 0 0 0 8 1 0 0 20 0 20 0 86527204 26730651648 7024 33554432000 4194304 4196468 140724696640400 139742040499280 139742020363614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18392] ppid=18388 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18390/task/18392/stat : 18392 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527204 26730651648 7024 33554432000 4194304 4196468 140724696640400 139741997242768 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18393] ppid=18388 vsize=26104152 memory=140355008484992 CPUtime=0 cores=0-7
/proc/18390/task/18393/stat : 18393 (java) S 18388 18388 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86527204 26730651648 7024 33554432000 4194304 4196468 140724696640400 139741593254160 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18394] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18394/stat : 18394 (java) S 18388 18388 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86527204 26730651648 7024 33554432000 4194304 4196468 140724696640400 139741592201872 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18395] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18395/stat : 18395 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527204 26730651648 7024 33554432000 4194304 4196468 140724696640400 139741591149072 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18396] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18396/stat : 18396 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527204 26730651648 7024 33554432000 4194304 4196468 140724696640400 139741590096784 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18397] ppid=18388 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18390/task/18397/stat : 18397 (java) S 18388 18388 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86527204 26730651648 7024 33554432000 4194304 4196468 140724696640400 139741589043984 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18398] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18398/stat : 18398 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527204 26730651648 7024 33554432000 4194304 4196468 140724696640400 139741587991696 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18399] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18399/stat : 18399 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527204 26730651648 7024 33554432000 4194304 4196468 140724696640400 139741586938896 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18400] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18400/stat : 18400 (java) S 18388 18388 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86527206 26730651648 7024 33554432000 4194304 4196468 140724696640400 139740621977712 139742036294274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18401] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18401/stat : 18401 (java) S 18388 18388 16946 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86527206 26730651648 7024 33554432000 4194304 4196468 140724696640400 139740620923680 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18402] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18402/stat : 18402 (java) S 18388 18388 16946 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86527206 26730651648 7024 33554432000 4194304 4196468 140724696640400 139740619871344 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18403] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18403/stat : 18403 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527209 26730651648 7024 33554432000 4194304 4196468 140724696640400 139740618819664 139742036301723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18404] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18404/stat : 18404 (java) S 18388 18388 16946 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 20 0 86527209 26730651648 7024 33554432000 4194304 4196468 140724696640400 139740617767536 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18405] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18405/stat : 18405 (java) R 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527209 26730651648 7024 33554432000 4194304 4196468 140724696640400 139740616714736 139742036294274 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18406] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18406/stat : 18406 (java) S 18388 18388 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86527209 26730651648 7024 33554432000 4194304 4196468 140724696640400 139740615662448 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18407] ppid=18388 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18390/task/18407/stat : 18407 (java) R 18388 18388 16946 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 20 0 86527209 26730651648 7024 33554432000 4194304 4196468 140724696640400 139740614609648 139742036295062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18408] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18408/stat : 18408 (java) S 18388 18388 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86527209 26730651648 7024 33554432000 4194304 4196468 140724696640400 139740613556576 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18409] ppid=18388 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18390/task/18409/stat : 18409 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527209 26730651648 7024 33554432000 4194304 4196468 140724696640400 139740612503856 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29552 KiB

[startup+0.210523 s]*
/proc/loadavg: 8.50 8.59 8.69 3/202 18409
/proc/meminfo: memFree=28323296/32770624 swapFree=67108860/67108860
[pid=18388] ppid=18385 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18388/stat : 18388 (xcsp3-exec) S 18385 18388 16946 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86527203 115843072 364 33554432000 4194304 5098028 140723000867440 140723000865544 140342449676924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32190464 140723000874037 140723000874240 140723000874240 140723000877002 0
/proc/18388/statm: 28282 364 306 221 0 87 0
[pid=18390] ppid=18388 vsize=26104152 memory=39700 CPUtime=0.34 cores=0-7
/proc/18390/stat : 18390 (java) S 18388 18388 16946 0 -1 1077944320 8512 0 0 0 31 3 0 0 20 0 20 0 86527203 26730651648 9925 33554432000 4194304 4196468 140724696640400 140724696622944 139742036283127 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
/proc/18390/statm: 6526038 9925 3184 1 0 6488315 0
[pid=18390/tid=18391] ppid=18388 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/18390/task/18391/stat : 18391 (java) R 18388 18388 16946 0 -1 4202560 5621 0 0 0 18 1 0 0 20 0 20 0 86527204 26730651648 9925 33554432000 4194304 4196468 140724696640400 139742040518112 139742036305053 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18392] ppid=18388 vsize=26104152 memory=339 CPUtime=0 cores=0-7
/proc/18390/task/18392/stat : 18392 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527204 26730651648 9925 33554432000 4194304 4196468 140724696640400 139741997242768 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18393] ppid=18388 vsize=26104152 memory=140355008502299 CPUtime=0 cores=0-7
/proc/18390/task/18393/stat : 18393 (java) S 18388 18388 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86527204 26730651648 9925 33554432000 4194304 4196468 140724696640400 139741593254160 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18394] ppid=18388 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18390/task/18394/stat : 18394 (java) S 18388 18388 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86527204 26730651648 9925 33554432000 4194304 4196468 140724696640400 139741592201872 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18395] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18395/stat : 18395 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527204 26730651648 9925 33554432000 4194304 4196468 140724696640400 139741591149072 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18396] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18396/stat : 18396 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527204 26730651648 9925 33554432000 4194304 4196468 140724696640400 139741590096784 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18397] ppid=18388 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18390/task/18397/stat : 18397 (java) S 18388 18388 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86527204 26730651648 9925 33554432000 4194304 4196468 140724696640400 139741589043984 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18398] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18398/stat : 18398 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527204 26730651648 9925 33554432000 4194304 4196468 140724696640400 139741587991696 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18399] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18399/stat : 18399 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527204 26730651648 9925 33554432000 4194304 4196468 140724696640400 139741586938896 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18400] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18400/stat : 18400 (java) S 18388 18388 16946 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86527206 26730651648 9925 33554432000 4194304 4196468 140724696640400 139740621977712 139742036294274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18401] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18401/stat : 18401 (java) S 18388 18388 16946 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86527206 26730651648 9925 33554432000 4194304 4196468 140724696640400 139740620923680 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18402] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18402/stat : 18402 (java) S 18388 18388 16946 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86527206 26730651648 9925 33554432000 4194304 4196468 140724696640400 139740619871344 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18403] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18403/stat : 18403 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527209 26730651648 9925 33554432000 4194304 4196468 140724696640400 139740618819664 139742036301723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18404] ppid=18388 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18390/task/18404/stat : 18404 (java) S 18388 18388 16946 0 -1 1077944384 619 0 0 0 1 0 0 0 20 0 20 0 86527209 26730651648 9925 33554432000 4194304 4196468 140724696640400 139740617767536 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18405] ppid=18388 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18390/task/18405/stat : 18405 (java) S 18388 18388 16946 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 20 0 86527209 26730651648 9925 33554432000 4194304 4196468 140724696640400 139740616714736 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18406] ppid=18388 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18390/task/18406/stat : 18406 (java) S 18388 18388 16946 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 86527209 26730651648 9925 33554432000 4194304 4196468 140724696640400 139740615662448 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18407] ppid=18388 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7
/proc/18390/task/18407/stat : 18407 (java) S 18388 18388 16946 0 -1 1077944384 762 0 0 0 8 0 0 0 20 0 20 0 86527209 26730651648 9925 33554432000 4194304 4196468 140724696640400 139740614609648 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18408] ppid=18388 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18408/stat : 18408 (java) S 18388 18388 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86527209 26730651648 9925 33554432000 4194304 4196468 140724696640400 139740613556576 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18409] ppid=18388 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18390/task/18409/stat : 18409 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527209 26730651648 9925 33554432000 4194304 4196468 140724696640400 139740612503856 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41156 KiB

[startup+0.31064 s]*
/proc/loadavg: 8.50 8.59 8.69 6/202 18409
/proc/meminfo: memFree=28317092/32770624 swapFree=67108860/67108860
[pid=18388] ppid=18385 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18388/stat : 18388 (xcsp3-exec) S 18385 18388 16946 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86527203 115843072 364 33554432000 4194304 5098028 140723000867440 140723000865544 140342449676924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32190464 140723000874037 140723000874240 140723000874240 140723000877002 0
/proc/18388/statm: 28282 364 306 221 0 87 0
[pid=18390] ppid=18388 vsize=26108408 memory=46620 CPUtime=0.52 cores=0-7
/proc/18390/stat : 18390 (java) S 18388 18388 16946 0 -1 1077944320 9375 0 0 0 48 4 0 0 20 0 20 0 86527203 26735009792 11655 33554432000 4194304 4196468 140724696640400 140724696622944 139742036283127 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
/proc/18390/statm: 6527102 11655 3233 1 0 6488315 0
[pid=18390/tid=18391] ppid=18388 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18390/task/18391/stat : 18391 (java) R 18388 18388 16946 0 -1 4202560 6308 0 0 0 27 2 0 0 20 0 20 0 86527204 26735009792 11668 33554432000 4194304 4196468 140724696640400 139742040516912 139742020363614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18392] ppid=18388 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18392/stat : 18392 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527204 26735009792 11668 33554432000 4194304 4196468 140724696640400 139741997242768 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18393] ppid=18388 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18393/stat : 18393 (java) S 18388 18388 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86527204 26735009792 11668 33554432000 4194304 4196468 140724696640400 139741593254160 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18394] ppid=18388 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18394/stat : 18394 (java) S 18388 18388 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86527204 26735009792 11668 33554432000 4194304 4196468 140724696640400 139741592201872 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18395] ppid=18388 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18395/stat : 18395 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527204 26735009792 11668 33554432000 4194304 4196468 140724696640400 139741591149072 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18396] ppid=18388 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/18390/task/18396/stat : 18396 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527204 26735009792 11668 33554432000 4194304 4196468 140724696640400 139741590096784 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18397] ppid=18388 vsize=26108408 memory=140354900816815 CPUtime=0 cores=0-7
/proc/18390/task/18397/stat : 18397 (java) S 18388 18388 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86527204 26735009792 11668 33554432000 4194304 4196468 140724696640400 139741589043984 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18398] ppid=18388 vsize=26108408 memory=140354900819120 CPUtime=0 cores=0-7
/proc/18390/task/18398/stat : 18398 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527204 26735009792 11668 33554432000 4194304 4196468 140724696640400 139741587991696 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18399] ppid=18388 vsize=26108408 memory=140354900821424 CPUtime=0 cores=0-7
/proc/18390/task/18399/stat : 18399 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527204 26735009792 11668 33554432000 4194304 4196468 140724696640400 139741586938896 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18400] ppid=18388 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18400/stat : 18400 (java) S 18388 18388 16946 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86527206 26735009792 11668 33554432000 4194304 4196468 140724696640400 139740621977712 139742036294274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18401] ppid=18388 vsize=26108408 memory=280709801649808 CPUtime=0 cores=0-7
/proc/18390/task/18401/stat : 18401 (java) S 18388 18388 16946 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86527206 26735009792 11668 33554432000 4194304 4196468 140724696640400 139740620923680 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18402] ppid=18388 vsize=26108408 memory=280709801656720 CPUtime=0 cores=0-7
/proc/18390/task/18402/stat : 18402 (java) S 18388 18388 16946 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86527206 26735009792 11668 33554432000 4194304 4196468 140724696640400 139740619871344 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18403] ppid=18388 vsize=26108408 memory=280709801598000 CPUtime=0 cores=0-7
/proc/18390/task/18403/stat : 18403 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527209 26735009792 11668 33554432000 4194304 4196468 140724696640400 139740618819664 139742036301723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18404] ppid=18388 vsize=26108408 memory=280709801670544 CPUtime=0.03 cores=0-7
/proc/18390/task/18404/stat : 18404 (java) R 18388 18388 16946 0 -1 4202560 708 0 0 0 3 0 0 0 20 0 20 0 86527209 26735009792 11668 33554432000 4194304 4196468 140724696640400 139740617766720 139742021408160 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18405] ppid=18388 vsize=26108408 memory=280709801677456 CPUtime=0.03 cores=0-7
/proc/18390/task/18405/stat : 18405 (java) S 18388 18388 16946 0 -1 1077944384 172 0 0 0 3 0 0 0 20 0 20 0 86527209 26735009792 11668 33554432000 4194304 4196468 140724696640400 139740616714736 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18406] ppid=18388 vsize=26108408 memory=280709801675152 CPUtime=0.01 cores=0-7
/proc/18390/task/18406/stat : 18406 (java) S 18388 18388 16946 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 20 0 86527209 26735009792 11668 33554432000 4194304 4196468 140724696640400 139740615662448 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18407] ppid=18388 vsize=26108408 memory=280709801691312 CPUtime=0.12 cores=0-7
/proc/18390/task/18407/stat : 18407 (java) S 18388 18388 16946 0 -1 1077944384 839 0 0 0 12 0 0 0 20 0 20 0 86527209 26735009792 11668 33554432000 4194304 4196468 140724696640400 139740614609648 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18408] ppid=18388 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18408/stat : 18408 (java) S 18388 18388 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86527209 26735009792 11668 33554432000 4194304 4196468 140724696640400 139740613556576 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18409] ppid=18388 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/18390/task/18409/stat : 18409 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527209 26735009792 11668 33554432000 4194304 4196468 140724696640400 139740612503856 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48076 KiB

[startup+0.700946 s]
/proc/loadavg: 8.50 8.59 8.69 6/202 18409
/proc/meminfo: memFree=28299792/32770624 swapFree=67108860/67108860
[pid=18388] ppid=18385 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18388/stat : 18388 (xcsp3-exec) S 18385 18388 16946 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86527203 115843072 364 33554432000 4194304 5098028 140723000867440 140723000865544 140342449676924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32190464 140723000874037 140723000874240 140723000874240 140723000877002 0
/proc/18388/statm: 28282 364 306 221 0 87 0
[pid=18390] ppid=18388 vsize=26110532 memory=92976 CPUtime=1.58 cores=0-7
/proc/18390/stat : 18390 (java) S 18388 18388 16946 0 -1 1077944320 11810 0 0 0 152 6 0 0 20 0 20 0 86527203 26737184768 23244 33554432000 4194304 4196468 140724696640400 140724696622944 139742036283127 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
/proc/18390/statm: 6527633 23244 3355 1 0 6488827 0
[pid=18390/tid=18391] ppid=18388 vsize=26110532 memory=280709802049200 CPUtime=0.67 cores=0-7
/proc/18390/task/18391/stat : 18391 (java) R 18388 18388 16946 0 -1 4202560 7117 0 0 0 63 4 0 0 20 0 20 0 86527204 26737184768 23244 33554432000 4194304 4196468 140724696640400 139742040517008 139742020326757 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18392] ppid=18388 vsize=26110532 memory=140354901025648 CPUtime=0 cores=0-7
/proc/18390/task/18392/stat : 18392 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86527204 26737184768 23244 33554432000 4194304 4196468 140724696640400 139741997242768 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18393] ppid=18388 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/18390/task/18393/stat : 18393 (java) S 18388 18388 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86527204 26737184768 23244 33554432000 4194304 4196468 140724696640400 139741593254160 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18394] ppid=18388 vsize=26110532 memory=8496 CPUtime=0 cores=0-7
/proc/18390/task/18394/stat : 18394 (java) S 18388 18388 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86527204 26737184768 23244 33554432000 4194304 4196468 140724696640400 139741592201872 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0

################
# More data... #
################

[pid=18390/tid=19774] ppid=18388 vsize=26779248 memory=7070720 CPUtime=2134 cores=0-7
/proc/18390/task/19774/stat : 19774 (java) R 18388 18388 16946 0 -1 4202560 65005 0 0 0 213226 174 0 0 20 0 28 0 86557015 27421949952 1767680 33554432000 4194304 4196468 140724696640400 139740596359168 139741681491770 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
Current children cumulated CPU time: 19458.8 s
Current children cumulated vsize: 26892376 KiB
Current children cumulated memory: 7072176 KiB

[startup+2502.3 s]
/proc/loadavg: 8.03 8.23 8.33 10/207 19799
/proc/meminfo: memFree=21469196/32770624 swapFree=67108860/67108860
[pid=18388] ppid=18385 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18388/stat : 18388 (xcsp3-exec) S 18385 18388 16946 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86527203 115843072 364 33554432000 4194304 5098028 140723000867440 140723000865544 140342449676924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32190464 140723000874037 140723000874240 140723000874240 140723000877002 0
/proc/18388/statm: 28282 364 306 221 0 87 0
[pid=18390] ppid=18388 vsize=26779248 memory=6878732 CPUtime=19935.7 cores=0-7
/proc/18390/stat : 18390 (java) S 18388 18388 16946 0 -1 1077944320 654891 0 0 0 1992520 1045 0 0 20 0 28 0 86527203 27421949952 1719683 33554432000 4194304 4196468 140724696640400 140724696622944 139742036283127 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
/proc/18390/statm: 6694812 1719683 3466 1 0 6656006 0
[pid=18390/tid=18391] ppid=18388 vsize=26779248 memory=6882836 CPUtime=1.59 cores=0-7
/proc/18390/task/18391/stat : 18391 (java) S 18388 18388 16946 0 -1 1077944384 10250 0 0 0 153 6 0 0 20 0 28 0 86527204 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139742040523904 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18392] ppid=18388 vsize=26779248 memory=6878732 CPUtime=3.38 cores=0-7
/proc/18390/task/18392/stat : 18392 (java) S 18388 18388 16946 0 -1 1077944384 16570 0 0 0 323 15 0 0 20 0 28 0 86527204 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139741997242768 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18393] ppid=18388 vsize=26779248 memory=1456 CPUtime=3.39 cores=0-7
/proc/18390/task/18393/stat : 18393 (java) S 18388 18388 16946 0 -1 1077944384 20399 0 0 0 324 15 0 0 20 0 28 0 86527204 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139741593254160 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18394] ppid=18388 vsize=26779248 memory=6945420 CPUtime=3.4 cores=0-7
/proc/18390/task/18394/stat : 18394 (java) S 18388 18388 16946 0 -1 1077944384 14780 0 0 0 321 19 0 0 20 0 28 0 86527204 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139741592201872 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18395] ppid=18388 vsize=26779248 memory=6916180 CPUtime=3.41 cores=0-7
/proc/18390/task/18395/stat : 18395 (java) S 18388 18388 16946 0 -1 1077944384 15136 0 0 0 324 17 0 0 20 0 28 0 86527204 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139741591149072 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18396] ppid=18388 vsize=26779248 memory=1004 CPUtime=3.38 cores=0-7
/proc/18390/task/18396/stat : 18396 (java) S 18388 18388 16946 0 -1 1077944384 19024 0 0 0 321 17 0 0 20 0 28 0 86527204 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139741590096784 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18397] ppid=18388 vsize=26779248 memory=12060 CPUtime=3.46 cores=0-7
/proc/18390/task/18397/stat : 18397 (java) S 18388 18388 16946 0 -1 1077944384 17750 0 0 0 330 16 0 0 20 0 28 0 86527204 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139741589043984 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18398] ppid=18388 vsize=26779248 memory=140354901227637 CPUtime=3.42 cores=0-7
/proc/18390/task/18398/stat : 18398 (java) S 18388 18388 16946 0 -1 1077944384 18200 0 0 0 325 17 0 0 20 0 28 0 86527204 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139741587991696 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18399] ppid=18388 vsize=26779248 memory=0 CPUtime=3.42 cores=0-7
/proc/18390/task/18399/stat : 18399 (java) S 18388 18388 16946 0 -1 1077944384 18074 0 0 0 326 16 0 0 20 0 28 0 86527204 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139741586938896 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18400] ppid=18388 vsize=26779248 memory=280709803809600 CPUtime=1.22 cores=0-7
/proc/18390/task/18400/stat : 18400 (java) S 18388 18388 16946 0 -1 1077944384 70805 0 0 0 94 28 0 0 20 0 28 0 86527206 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139740621977712 139742036294274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18401] ppid=18388 vsize=26779248 memory=7680491646476186387 CPUtime=0 cores=0-7
/proc/18390/task/18401/stat : 18401 (java) S 18388 18388 16946 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 86527206 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139740620923744 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18402] ppid=18388 vsize=26779248 memory=1456 CPUtime=0 cores=0-7
/proc/18390/task/18402/stat : 18402 (java) S 18388 18388 16946 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 86527206 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139740619871360 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18403] ppid=18388 vsize=26779248 memory=1456 CPUtime=0 cores=0-7
/proc/18390/task/18403/stat : 18403 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86527209 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139740618819664 139742036301723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18404] ppid=18388 vsize=26779248 memory=1456 CPUtime=2.36 cores=0-7
/proc/18390/task/18404/stat : 18404 (java) S 18388 18388 16946 0 -1 1077944384 11009 0 0 0 233 3 0 0 20 0 28 0 86527209 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139740617767536 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18405] ppid=18388 vsize=26779248 memory=1456 CPUtime=2.49 cores=0-7
/proc/18390/task/18405/stat : 18405 (java) S 18388 18388 16946 0 -1 1077944384 11239 0 0 0 248 1 0 0 20 0 28 0 86527209 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139740616714736 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18406] ppid=18388 vsize=26779248 memory=928 CPUtime=2.38 cores=0-7
/proc/18390/task/18406/stat : 18406 (java) S 18388 18388 16946 0 -1 1077944384 14710 0 0 0 235 3 0 0 20 0 28 0 86527209 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139740615662448 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18407] ppid=18388 vsize=26779248 memory=1572 CPUtime=1.09 cores=0-7
/proc/18390/task/18407/stat : 18407 (java) S 18388 18388 16946 0 -1 1077944384 14580 0 0 0 106 3 0 0 20 0 28 0 86527209 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139740614609648 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18408] ppid=18388 vsize=26779248 memory=1456 CPUtime=0 cores=0-7
/proc/18390/task/18408/stat : 18408 (java) S 18388 18388 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86527209 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139740613556576 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18409] ppid=18388 vsize=26779248 memory=6925416 CPUtime=0.91 cores=0-7
/proc/18390/task/18409/stat : 18409 (java) S 18388 18388 16946 0 -1 1077944384 5632 0 0 0 0 91 0 0 20 0 28 0 86527209 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139740612503856 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=19767] ppid=18388 vsize=26779248 memory=18248 CPUtime=2193.7 cores=0-7
/proc/18390/task/19767/stat : 19767 (java) R 18388 18388 16946 0 -1 4202560 19381 0 0 0 219347 23 0 0 20 0 28 0 86557015 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139740592147992 139741681118728 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=19768] ppid=18388 vsize=26779248 memory=640 CPUtime=2197.95 cores=0-7
/proc/18390/task/19768/stat : 19768 (java) R 18388 18388 16946 0 -1 4202560 17529 0 0 0 219767 28 0 0 20 0 28 0 86557015 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139740600570240 139741681690438 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=19769] ppid=18388 vsize=26779248 memory=6947988 CPUtime=2194.28 cores=0-7
/proc/18390/task/19769/stat : 19769 (java) R 18388 18388 16946 0 -1 4202560 20282 0 0 0 219403 25 0 0 20 0 28 0 86557015 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139740601622320 139741681810865 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=19770] ppid=18388 vsize=26779248 memory=1456 CPUtime=2197.64 cores=0-7
/proc/18390/task/19770/stat : 19770 (java) R 18388 18388 16946 0 -1 4202560 43013 0 0 0 219636 128 0 0 20 0 28 0 86557015 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139740593201024 139741678889046 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=19771] ppid=18388 vsize=26779248 memory=6791534058613427641 CPUtime=2186.41 cores=0-7
/proc/18390/task/19771/stat : 19771 (java) R 18388 18388 16946 0 -1 4202560 40873 0 0 0 218552 89 0 0 20 0 28 0 86557015 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139740594254008 139741681190639 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=19772] ppid=18388 vsize=26779248 memory=792 CPUtime=2188.4 cores=0-7
/proc/18390/task/19772/stat : 19772 (java) R 18388 18388 16946 0 -1 4202560 20261 0 0 0 218815 25 0 0 20 0 28 0 86557015 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139740599517208 139741680080621 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=19773] ppid=18388 vsize=26779248 memory=1228 CPUtime=2187.57 cores=0-7
/proc/18390/task/19773/stat : 19773 (java) R 18388 18388 16946 0 -1 4202560 19631 0 0 0 218739 18 0 0 20 0 28 0 86557015 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139740591096656 139741682297319 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=19774] ppid=18388 vsize=26779248 memory=1944 CPUtime=2193.39 cores=0-7
/proc/18390/task/19774/stat : 19774 (java) R 18388 18388 16946 0 -1 4202560 68278 0 0 0 219156 183 0 0 20 0 28 0 86557015 27421949952 1719683 33554432000 4194304 4196468 140724696640400 139740596362208 139741681750987 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
Current children cumulated CPU time: 19935.6 s
Current children cumulated vsize: 26892376 KiB
Current children cumulated memory: 6880188 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.09 8.23 8.33 9/207 19799
/proc/meminfo: memFree=21484524/32770624 swapFree=67108860/67108860
[pid=18388] ppid=18385 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18388/stat : 18388 (xcsp3-exec) S 18385 18388 16946 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86527203 115843072 364 33554432000 4194304 5098028 140723000867440 140723000865544 140342449676924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32190464 140723000874037 140723000874240 140723000874240 140723000877002 0
/proc/18388/statm: 28282 364 306 221 0 87 0
[pid=18390] ppid=18388 vsize=26779248 memory=6863556 CPUtime=20076.5 cores=0-7
/proc/18390/stat : 18390 (java) S 18388 18388 16946 0 -1 1077944320 661772 0 0 0 2006605 1047 0 0 20 0 28 0 86527203 27421949952 1715889 33554432000 4194304 4196468 140724696640400 140724696622944 139742036283127 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
/proc/18390/statm: 6694812 1715889 3466 1 0 6656006 0
[pid=18390/tid=18391] ppid=18388 vsize=26779248 memory=6791534058613427641 CPUtime=1.59 cores=0-7
/proc/18390/task/18391/stat : 18391 (java) S 18388 18388 16946 0 -1 1077944384 10250 0 0 0 153 6 0 0 20 0 28 0 86527204 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139742040523904 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18392] ppid=18388 vsize=26779248 memory=4872558044660077418 CPUtime=3.49 cores=0-7
/proc/18390/task/18392/stat : 18392 (java) S 18388 18388 16946 0 -1 1077944384 16613 0 0 0 334 15 0 0 20 0 28 0 86527204 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139741997242768 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18393] ppid=18388 vsize=26779248 memory=15252670952770799 CPUtime=3.48 cores=0-7
/proc/18390/task/18393/stat : 18393 (java) S 18388 18388 16946 0 -1 1077944384 20443 0 0 0 333 15 0 0 20 0 28 0 86527204 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139741593254160 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18394] ppid=18388 vsize=26779248 memory=6868684 CPUtime=3.5 cores=0-7
/proc/18390/task/18394/stat : 18394 (java) S 18388 18388 16946 0 -1 1077944384 14844 0 0 0 331 19 0 0 20 0 28 0 86527204 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139741592201872 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18395] ppid=18388 vsize=26779248 memory=1456 CPUtime=3.5 cores=0-7
/proc/18390/task/18395/stat : 18395 (java) S 18388 18388 16946 0 -1 1077944384 15225 0 0 0 333 17 0 0 20 0 28 0 86527204 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139741591149072 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18396] ppid=18388 vsize=26779248 memory=6868684 CPUtime=3.47 cores=0-7
/proc/18390/task/18396/stat : 18396 (java) S 18388 18388 16946 0 -1 1077944384 19373 0 0 0 330 17 0 0 20 0 28 0 86527204 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139741590096784 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18397] ppid=18388 vsize=26779248 memory=5788 CPUtime=3.55 cores=0-7
/proc/18390/task/18397/stat : 18397 (java) S 18388 18388 16946 0 -1 1077944384 17951 0 0 0 339 16 0 0 20 0 28 0 86527204 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139741589043984 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18398] ppid=18388 vsize=26779248 memory=792 CPUtime=3.53 cores=0-7
/proc/18390/task/18398/stat : 18398 (java) S 18388 18388 16946 0 -1 1077944384 18418 0 0 0 336 17 0 0 20 0 28 0 86527204 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139741587991696 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18399] ppid=18388 vsize=26779248 memory=1228 CPUtime=3.53 cores=0-7
/proc/18390/task/18399/stat : 18399 (java) S 18388 18388 16946 0 -1 1077944384 18169 0 0 0 336 17 0 0 20 0 28 0 86527204 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139741586938896 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18400] ppid=18388 vsize=26779248 memory=8148 CPUtime=1.25 cores=0-7
/proc/18390/task/18400/stat : 18400 (java) S 18388 18388 16946 0 -1 1077944384 75577 0 0 0 96 29 0 0 20 0 28 0 86527206 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139740621977712 139742036294274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18401] ppid=18388 vsize=26779248 memory=844 CPUtime=0 cores=0-7
/proc/18390/task/18401/stat : 18401 (java) S 18388 18388 16946 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 86527206 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139740620923744 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18402] ppid=18388 vsize=26779248 memory=1692 CPUtime=0 cores=0-7
/proc/18390/task/18402/stat : 18402 (java) S 18388 18388 16946 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 86527206 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139740619871360 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18403] ppid=18388 vsize=26779248 memory=916 CPUtime=0 cores=0-7
/proc/18390/task/18403/stat : 18403 (java) S 18388 18388 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86527209 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139740618819664 139742036301723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18404] ppid=18388 vsize=26779248 memory=5752 CPUtime=2.36 cores=0-7
/proc/18390/task/18404/stat : 18404 (java) S 18388 18388 16946 0 -1 1077944384 11012 0 0 0 233 3 0 0 20 0 28 0 86527209 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139740617767536 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18405] ppid=18388 vsize=26779248 memory=4100 CPUtime=2.49 cores=0-7
/proc/18390/task/18405/stat : 18405 (java) S 18388 18388 16946 0 -1 1077944384 11247 0 0 0 248 1 0 0 20 0 28 0 86527209 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139740616714736 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18406] ppid=18388 vsize=26779248 memory=1408 CPUtime=2.38 cores=0-7
/proc/18390/task/18406/stat : 18406 (java) S 18388 18388 16946 0 -1 1077944384 14713 0 0 0 235 3 0 0 20 0 28 0 86527209 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139740615662448 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18407] ppid=18388 vsize=26779248 memory=3892 CPUtime=1.09 cores=0-7
/proc/18390/task/18407/stat : 18407 (java) S 18388 18388 16946 0 -1 1077944384 14583 0 0 0 106 3 0 0 20 0 28 0 86527209 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139740614609648 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18408] ppid=18388 vsize=26779248 memory=1456 CPUtime=0 cores=0-7
/proc/18390/task/18408/stat : 18408 (java) S 18388 18388 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86527209 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139740613556576 139742036293333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=18409] ppid=18388 vsize=26779248 memory=6866632 CPUtime=0.91 cores=0-7
/proc/18390/task/18409/stat : 18409 (java) S 18388 18388 16946 0 -1 1077944384 5650 0 0 0 0 91 0 0 20 0 28 0 86527209 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139740612503856 139742036294274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=19767] ppid=18388 vsize=26779248 memory=6791534058613427641 CPUtime=2211.16 cores=0-7
/proc/18390/task/19767/stat : 19767 (java) R 18388 18388 16946 0 -1 4202560 19456 0 0 0 221093 23 0 0 20 0 28 0 86557015 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139740592150608 139741682228067 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=19768] ppid=18388 vsize=26779248 memory=1416 CPUtime=2215.5 cores=0-7
/proc/18390/task/19768/stat : 19768 (java) R 18388 18388 16946 0 -1 4202560 17611 0 0 0 221522 28 0 0 20 0 28 0 86557015 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139740600570320 139741680616180 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=19769] ppid=18388 vsize=26779248 memory=4028 CPUtime=2211.83 cores=0-7
/proc/18390/task/19769/stat : 19769 (java) R 18388 18388 16946 0 -1 4202560 20367 0 0 0 221158 25 0 0 20 0 28 0 86557015 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139740601622384 139741680616116 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=19770] ppid=18388 vsize=26779248 memory=1456 CPUtime=2215.14 cores=0-7
/proc/18390/task/19770/stat : 19770 (java) R 18388 18388 16946 0 -1 4202560 43189 0 0 0 221386 128 0 0 20 0 28 0 86557015 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139740593200960 139741680616004 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=19771] ppid=18388 vsize=26779248 memory=6868684 CPUtime=2203.8 cores=0-7
/proc/18390/task/19771/stat : 19771 (java) R 18388 18388 16946 0 -1 4202560 40980 0 0 0 220291 89 0 0 20 0 28 0 86557015 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139740594254152 139741681190628 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=19772] ppid=18388 vsize=26779248 memory=2424 CPUtime=2205.95 cores=0-7
/proc/18390/task/19772/stat : 19772 (java) R 18388 18388 16946 0 -1 4202560 20400 0 0 0 220570 25 0 0 20 0 28 0 86557015 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139740599517760 139741682257856 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=19773] ppid=18388 vsize=26779248 memory=1840 CPUtime=2205.05 cores=0-7
/proc/18390/task/19773/stat : 19773 (java) R 18388 18388 16946 0 -1 4202560 19677 0 0 0 220487 18 0 0 20 0 28 0 86557015 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139740591096064 139741681810892 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
[pid=18390/tid=19774] ppid=18388 vsize=26779248 memory=1004 CPUtime=2210.93 cores=0-7
/proc/18390/task/19774/stat : 19774 (java) R 18388 18388 16946 0 -1 4202560 68539 0 0 0 220910 183 0 0 20 0 28 0 86557015 27421949952 1715889 33554432000 4194304 4196468 140724696640400 139740596359512 139741681118804 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 27631616 140724696646785 140724696646957 140724696646957 140724696649679 0
Current children cumulated CPU time: 20076.5 s
Current children cumulated vsize: 26892376 KiB
Current children cumulated memory: 6865012 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.04 s]
# the end of solver process 18388 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001153 s, system=0.001153 s

[startup+2520.14 s]
# the end of solver process 18390 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20066.8 s, system=10.5132 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2520.14
CPU time (s): 20077.3
CPU user time (s): 20066.8
CPU system time (s): 10.5132
CPU usage (%): 796.675
Max. virtual memory (cumulated for all children) (KiB): 26892376
Max. memory (cumulated for all children) (KiB): 7575408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20066.8
system time used= 10.5132
maximum resident set size= 7579068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 662819
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 140234
involuntary context switches= 210165


# summary of solver processes directly reported to runsolver:
#   pid: 18388,18390
#   total CPU time (s): 20077.3
#   total CPU user time (s): 20066.8
#   total CPU system time (s): 10.5132

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.3143 second user time and 23.6979 second system time

The end

Name	StillLife/ StillLife-wastage-19_c18.xml
MD5SUM	bc316652a8a0d5c7d33934cb88eaeb44
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	176
Best CPU time to get the best result obtained on this benchmark	20077.3
Satisfiable
(Un)Satisfiability was proved
Number of variables	904
Number of constraints	559
Number of domains	4
Minimum domain size	2
Maximum domain size	883
Distribution of domain sizes	[{"size":2,"count":441},{"size":3,"count":441},{"size":362,"count":1},{"size":883,"count":21}]
Minimum variable degree	1
Maximum variable degree	22
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":438},{"degree":3,"count":24},{"degree":4,"count":76},{"degree":8,"count":72},{"degree":9,"count":289},{"degree":22,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	23
Distribution of constraint arities	[{"arity":2,"count":97},{"arity":3,"count":76},{"arity":10,"count":361},{"arity":21,"count":4},{"arity":22,"count":1},{"arity":23,"count":20}]
Number of extensional constraints	437
Number of intensional constraints	96
Distribution of constraint types	[{"type":"extension","count":437},{"type":"intension","count":96},{"type":"sum","count":22},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4297364

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data