Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j-CSP 2018-07-11 | SAT (TO) | 2070 | 2400.07 | 2392.52 |
| Name | NurseRostering/ NurseRostering-04_c18.xml |
| MD5SUM | 3e14d2a5b30f836b117ab38c1a042f13 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2070 |
| Best CPU time to get the best result obtained on this benchmark | 2400.07 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 589 |
| Number of constraints | 1410 |
| Number of domains | 13 |
| Minimum domain size | 1 |
| Maximum domain size | 29 |
| Distribution of domain sizes | [{"size":1,"count":30},{"size":2,"count":111},{"size":3,"count":280},{"size":11,"count":140},{"size":29,"count":28}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 21 |
| Distribution of variable degrees | [{"degree":2,"count":269},{"degree":3,"count":40},{"degree":11,"count":9},{"degree":12,"count":11},{"degree":14,"count":8},{"degree":15,"count":10},{"degree":16,"count":15},{"degree":17,"count":23},{"degree":18,"count":18},{"degree":19,"count":79},{"degree":20,"count":85},{"degree":21,"count":22}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 29 |
| Distribution of constraint arities | [{"arity":2,"count":525},{"arity":3,"count":530},{"arity":4,"count":10},{"arity":6,"count":230},{"arity":11,"count":84},{"arity":20,"count":1},{"arity":29,"count":30}] |
| Number of extensional constraints | 354 |
| Number of intensional constraints | 171 |
| Distribution of constraint types | [{"type":"extension","count":354},{"type":"intension","count":171},{"type":"regular","count":520},{"type":"sum","count":20},{"type":"count","count":344},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
3.20/1.11 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 3.20/1.11 c This is free software under the dual EPL/GNU LGPL licenses. 3.20/1.11 c See www.sat4j.org for details. 3.20/1.11 c That software uses the Rhino library from the Mozilla project. 3.20/1.11 c version 2.3.6-SNAPSHOT 3.20/1.11 c java.runtime.name Java(TM) SE Runtime Environment 3.20/1.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 3.20/1.11 c java.vm.version 25.131-b11 3.20/1.11 c java.vm.vendor Oracle Corporation 3.20/1.11 c sun.arch.data.model 64 3.20/1.11 c java.version 1.8.0_131 3.20/1.11 c os.name Linux 3.20/1.11 c os.version 3.10.0-514.16.1.el7.x86_64 3.20/1.11 c os.arch amd64 3.20/1.11 c Free memory 499604488 3.20/1.11 c Max memory 7247757312 3.20/1.11 c Total memory 504889344 3.20/1.11 c Number of processors 4 3.20/1.11 c c --- Begin Solver configuration --- 3.20/1.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 3.20/1.11 c Learn all clauses as in MiniSAT 3.20/1.11 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 3.20/1.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 3.20/1.11 c No reason simplification 3.20/1.11 c Glucose 2.1 dynamic restart strategy 3.20/1.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 3.20/1.11 c timeout=2147483s 3.20/1.11 c DB Simplification allowed=false 3.20/1.11 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 3.20/1.11 c --- End Solver configuration --- 3.20/1.11 c constraints type 3.20/1.11 c org.sat4j.minisat.constraints.card.MinWatchCard => 1118 3.20/1.11 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 74953 3.20/1.11 c org.sat4j.minisat.constraints.cnf.UnitClauses => 30 3.20/1.11 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 98162 3.20/1.11 c org.sat4j.specs.Constr$1 => 16146 3.20/1.11 c org.sat4j.minisat.constraints.cnf.UnitClause => 11508 3.20/1.11 c 201917 constraints processed. 11.29/6.88 o 5825 14.10/9.36 o 5734 17.25/12.20 o 5223 26.46/21.34 o 4935 29.89/24.78 o 4934 36.38/31.15 o 4923 48.77/43.46 o 4835 51.52/46.15 o 4825 51.96/46.54 o 4715 53.39/47.86 o 4627 54.70/49.17 o 4542 54.99/49.47 o 4523 57.79/52.24 o 4455 58.79/53.27 o 4448 59.39/53.80 o 4435 63.09/57.56 o 4434 68.60/63.03 o 4432 74.20/68.64 o 4428 74.50/68.91 o 4414 74.71/69.12 o 4400 78.61/73.05 o 4225 79.61/74.08 o 3926 83.11/77.57 o 3925 85.11/79.56 o 3924 85.31/79.71 o 3811 86.81/81.25 o 3807 87.01/81.44 o 3789 88.11/82.53 o 3733 88.51/82.98 o 3731 91.81/86.22 o 3730 92.21/86.69 o 3729 92.91/87.31 o 3728 93.51/87.99 o 3724 94.21/88.68 o 3716 94.51/88.96 o 3704 96.52/90.99 o 3623 98.32/92.76 o 3607 107.42/101.83 o 3606 113.33/107.79 o 3523 114.23/108.65 o 3522 116.03/110.47 o 3515 119.23/113.68 o 3514 119.43/113.83 o 3493 120.13/114.58 o 3447 121.63/116.07 o 3381 121.74/116.18 o 3304 122.23/116.63 o 3228 123.03/117.43 o 3217 123.93/118.37 o 3213 124.43/118.83 o 3212 128.74/123.19 o 3211 130.13/124.57 o 3210 134.53/128.97 o 3209 138.65/133.02 o 3207 141.35/135.73 o 3206 145.55/139.96 o 3190 146.78/141.10 o 3189 148.37/142.64 o 3188 149.67/143.91 o 3138 150.67/144.93 o 3115 151.18/145.48 o 3112 151.57/145.87 o 3111 153.48/147.73 o 3108 154.19/148.43 o 3093 163.69/158.00 o 3024 166.39/160.69 o 3023 167.29/161.58 o 3012 167.81/162.07 o 3001 168.60/162.86 o 2992 169.91/164.16 o 2926 171.40/165.64 o 2914 173.00/167.22 o 2913 174.70/168.90 o 2888 179.21/173.44 o 2887 181.01/175.22 o 2886 185.42/179.60 o 2877 185.62/179.89 o 2875 187.52/181.73 o 2816 188.32/182.51 o 2815 190.53/184.73 o 2807 190.94/185.12 o 2787 194.23/188.49 o 2786 198.63/192.81 o 2785 200.53/194.78 o 2784 210.73/204.91 o 2783 213.84/208.03 o 2712 214.53/208.70 o 2692 216.94/211.19 o 2691 218.13/212.38 o 2688 218.63/212.85 o 2687 219.63/213.87 o 2627 223.14/217.37 o 2616 226.34/220.57 o 2587 231.86/226.09 o 2586 235.05/229.29 o 2585 237.25/231.45 o 2584 247.86/242.01 o 2583 250.76/244.98 o 2505 251.99/246.02 o 2489 257.09/251.13 o 2488 261.68/255.78 o 2487 263.59/257.68 o 2486 265.29/259.38 o 2485 267.89/261.95 o 2484 276.80/270.84 o 2478 302.02/296.07 o 2477 319.52/313.56 o 2476 320.82/314.85 o 2475 322.52/316.59 o 2408 327.32/321.39 o 2407 332.92/326.95 o 2398 335.83/329.83 o 2396 336.73/330.73 o 2395 340.53/334.58 o 2394 344.33/338.30 o 2393 344.84/338.84 o 2387 351.54/345.55 o 2386 358.24/352.20 o 2385 371.34/365.31 o 2384 375.15/369.15 o 2383 384.26/378.28 o 2382 385.46/379.45 o 2381 388.17/382.19 o 2380 391.86/385.84 o 2379 393.26/387.27 o 2378 394.76/388.73 o 2377 397.26/391.21 o 2376 398.07/392.06 o 2375 399.76/393.70 o 2313 404.09/398.08 o 2308 419.92/413.86 o 2307 424.72/418.60 o 2306 427.32/421.24 o 2276 460.93/454.81 o 2275 462.83/456.78 o 2273 475.04/468.99 o 2270 479.44/473.37 o 2269 508.16/502.06 o 2268 524.46/518.35 o 2267 550.50/544.36 o 2266 558.53/552.31 o 2265 572.83/566.69 o 2264 632.36/626.17 o 2263 642.81/636.42 o 2262 666.82/660.40 o 2261 672.72/666.32 o 2260 692.73/686.39 o 2259 750.36/743.92 o 2258 765.07/758.60 o 2257 802.39/795.99 o 2256 815.79/809.38 o 2255 841.91/835.41 o 2224 880.32/873.86 o 2217 895.54/889.06 o 2201 903.43/896.90 o 2193 905.73/899.23 o 2192 916.13/909.60 o 2191 934.14/927.62 o 2189 937.75/931.24 o 2188 953.95/947.43 o 2187 956.85/950.36 o 2186 969.67/963.19 o 2185 988.59/982.02 o 2184 997.99/991.40 o 2183 999.80/993.25 o 2177 1051.26/1044.52 o 2175 1077.98/1071.20 o 2174 1089.08/1082.36 o 2173 1111.99/1105.21 o 2172 1139.92/1133.18 o 2171 1153.41/1146.67 o 2170 1166.21/1159.47 o 2169 1195.73/1188.97 o 2168 1203.34/1196.59 o 2167 1209.76/1202.98 o 2166 1235.68/1228.82 o 2165 1240.48/1233.67 o 2164 1297.70/1290.82 o 2163 1330.22/1323.33 o 2162 1367.53/1360.64 o 2161 1430.67/1423.66 o 2160 1445.97/1438.97 o 2159 1469.39/1462.39 o 2158 1485.00/1477.98 o 2157 1500.50/1493.40 o 2156 1513.60/1506.57 o 2155 1569.14/1562.07 o 2154 1600.05/1592.98 o 2153 1621.66/1614.57 o 2095 1628.66/1621.50 o 2094 1654.36/1647.24 o 2093 1699.58/1692.45 o 2092 1710.89/1703.74 o 2089 1732.00/1724.83 o 2088 1749.91/1742.75 o 2086 1811.83/1804.52 o 2085 1848.65/1841.30 o 2084 1849.74/1842.47 o 2083 1857.85/1850.54 o 2082 1881.26/1873.94 o 2081 1921.28/1913.98 o 2080 1952.28/1944.98 o 2079 1968.80/1961.41 o 2078 1974.60/1967.22 o 2077 1980.20/1972.80 o 2076 2091.25/2083.80 o 2075 2104.96/2097.58 o 2074 2197.43/2189.84 o 2073 2245.77/2238.12 o 2072 2301.17/2293.53 o 2071 2335.80/2328.19 o 2070 2400.05/2392.50 c starts : 33559 2400.05/2392.50 c conflicts : 6902708 2400.05/2392.50 c decisions : 15973290 2400.05/2392.50 c propagations : 7186919012 2400.05/2392.50 c inspects : 25240191796 2400.05/2392.50 c shortcuts : 0 2400.05/2392.50 c learnt literals : 146 2400.05/2392.50 c learnt binary clauses : 6141 2400.05/2392.50 c learnt ternary clauses : 20866 2400.05/2392.50 c learnt constraints : 6902562 2400.05/2392.50 c ignored constraints : 0 2400.05/2392.50 c root simplifications : 0 2400.05/2392.50 c removed literals (reason simplification) : 0 2400.05/2392.50 c reason swapping (by a shorter reason) : 0 2400.05/2392.50 c Calls to reduceDB : 749 2400.05/2392.50 c Number of update (reduction) of LBD : 2443540 2400.05/2392.50 c Imported unit clauses : 0 2400.05/2392.50 c number of reductions to clauses (during analyze) : 0 2400.05/2392.50 c number of learned constraints concerned by reduction : 0 2400.05/2392.50 c number of learning phase by resolution : 0 2400.05/2392.50 c number of learning phase by cutting planes : 0 2400.05/2392.50 c number of rounding to 1 operations : 0 2400.05/2392.50 c number of easy rounding to 1 operations (no literal elimination needed) : 0 2400.05/2392.50 c number of reductions of the coefficients by power 2 : 0 2400.05/2392.50 c number of right shift for reduction by power 2 : 0 2400.05/2392.50 c number of reductions of the coefficients by GCD over coefficients : 0 2400.05/2392.50 c number of ending skipping : 0 2400.05/2392.50 c number of internal skipping : 0 2400.05/2392.50 c number of derivation steps : 0 2400.05/2392.50 c number of skipped derivation steps : 0 2400.05/2392.50 c number of remaining unassigned : 0 2400.05/2392.50 c number of remaining assigned : 0 2400.05/2392.50 c speed (assignments/second) : 3005375.2002525763 2400.05/2392.50 c non guided choices : 1586322 2400.05/2392.50 s SATISFIABLE 2400.05/2392.50 v <instantiation type="solution"> 2400.05/2392.50 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] ps[0][0] ps[0][1] ps[0][2] ps[1][0] ps[1][1] ps[1][2] ps[2][0] ps[2][1] ps[2][2] ps[3][0] ps[3][1] ps[3][2] ps[4][0] ps[4][1] ps[4][2] ps[5][0] ps[5][1] ps[5][2] ps[6][0] ps[6][1] ps[6][2] ps[7][0] ps[7][1] ps[7][2] ps[8][0] ps[8][1] ps[8][2] ps[9][0] ps[9][1] ps[9][2] ds[0][0] ds[0][1] ds[0][2] ds[1][0] ds[1][1] ds[1][2] ds[2][0] ds[2][1] ds[2][2] ds[3][0] ds[3][1] ds[3][2] ds[4][0] ds[4][1] ds[4][2] ds[5][0] ds[5][1] ds[5][2] ds[6][0] ds[6][1] ds[6][2] ds[7][0] ds[7][1] ds[7][2] ds[8][0] ds[8][1] ds[8][2] ds[9][0] ds[9][1] ds[9][2] ds[10][0] ds[10][1] ds[10][2] ds[11][0] ds[11][1] ds[11][2] ds[12][0] ds[12][1] ds[12][2] ds[13][0] ds[13][1] ds[13][2] ds[14][0] ds[14][1] ds[14][2] ds[15][0] ds[15][1] ds[15][2] ds[16][0] ds[16][1] ds[16][2] ds[17][0] ds[17][1] ds[17][2] ds[18][0] ds[18][1] ds[18][2] ds[19][0] ds[19][1] ds[19][2] ds[20][0] ds[20][1] ds[20][2] ds[21][0] ds[21][1] ds[21][2] ds[22][0] ds[22][1] ds[22][2] ds[23][0] ds[23][1] ds[23][2] ds[24][0] ds[24][1] ds[24][2] ds[25][0] ds[25][1] ds[25][2] ds[26][0] ds[26][1] ds[26][2] ds[27][0] ds[27][1] ds[27][2] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cc[0][0] cc[0][1] cc[0][2] cc[1][0] cc[1][1] cc[1][2] cc[2][0] cc[2][1] cc[2][2] cc[3][0] cc[3][1] cc[3][2] cc[4][0] cc[4][1] cc[4][2] cc[5][0] cc[5][1] cc[5][2] cc[6][0] cc[6][1] cc[6][2] cc[7][0] cc[7][1] cc[7][2] cc[8][0] cc[8][1] cc[8][2] cc[9][0] cc[9][1] cc[9][2] cc[10][0] cc[10][1] cc[10][2] cc[11][0] cc[11][1] cc[11][2] cc[12][0] cc[12][1] cc[12][2] cc[13][0] cc[13][1] cc[13][2] cc[14][0] cc[14][1] cc[14][2] cc[15][0] cc[15][1] cc[15][2] cc[16][0] cc[16][1] cc[16][2] cc[17][0] cc[17][1] cc[17][2] cc[18][0] cc[18][1] cc[18][2] cc[19][0] cc[19][1] cc[19][2] cc[20][0] cc[20][1] cc[20][2] cc[21][0] cc[21][1] cc[21][2] cc[22][0] cc[22][1] cc[22][2] cc[23][0] cc[23][1] cc[23][2] cc[24][0] cc[24][1] cc[24][2] cc[25][0] cc[25][1] cc[25][2] cc[26][0] cc[26][1] cc[26][2] cc[27][0] cc[27][1] cc[27][2] </list> 2400.05/2392.51 v <values> 1 2 0 2 2 1 1 0 0 2 1 0 0 2 2 1 1 1 0 2 1 0 0 2 0 1 2 1 0 1 1 2 2 0 0 1 2 2 2 1 1 2 2 0 0 1 2 2 2 1 2 0 0 1 2 2 1 2 1 2 2 0 0 1 2 2 1 2 1 2 1 0 0 2 0 2 1 1 1 2 1 0 0 2 0 2 1 1 2 0 2 0 2 0 0 2 1 1 2 0 2 2 2 1 0 1 2 2 1 0 0 2 0 1 0 1 2 2 1 0 1 0 1 2 2 2 0 1 2 2 1 0 2 2 2 2 0 1 2 2 1 0 2 0 0 1 1 1 2 2 2 0 0 1 0 1 1 1 0 0 2 2 0 1 0 1 1 1 0 0 0 2 0 1 2 2 2 2 0 1 0 2 0 1 2 2 2 2 1 1 2 2 2 2 1 1 2 0 2 1 2 2 2 2 1 1 2 0 2 2 2 0 0 1 1 1 0 2 2 2 0 0 0 1 1 2 0 2 0 0 0 0 1 2 2 2 0 0 1 0 0 0 1 2 2 1 0 0 1 2 1 0 1 0 0 1 2 1 1 2 1 2 2 0 0 1 2 2 1 0 2 2 2 0 0 1 2 2 2 0 6 12 10 16 0 12 14 4 10 7 10 11 14 4 10 0 17 11 6 10 12 5 11 12 7 10 11 10 6 12 3 3 4 3 4 3 4 4 2 2 3 5 2 3 5 2 3 5 2 3 5 3 4 3 4 3 3 4 2 4 2 3 5 4 3 3 2 3 5 2 2 6 3 4 3 5 4 1 4 4 2 3 2 5 2 3 5 1 3 6 1 2 7 3 3 4 6 2 2 5 2 3 4 3 3 3 5 2 3 3 4 3 1 6 0 1 0 1 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 0 2 2 1 1 1 1 1 0 0 0 3 3 0 0 0 0 0 0 3 3 3 3 3 0 0 0 0 0 2 2 2 0 2 0 0 0 0 0 3 3 1 1 0 0 2 2 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 300 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 500 100 0 100 0 0 100 100 0 3 0 0 0 100 0 0 100 0 100 100 0 100 100 0 100 0 0 </values> 2400.05/2392.51 v </instantiation> 2400.05/2392.51
OK 2070
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 (11026 MiB free)
memory of node 1: 16384 MiB (9212 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289910-1532209720/watcher-4289910-1532209720 -o /tmp/evaluation-result-4289910-1532209720/solver-4289910-1532209720 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532209720-26949 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289910-1532209720.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26980, runsolver pid=26977
Current StackSize limit: 8192 KiB
[startup+0.10008 s]*
/proc/loadavg: 1.30 1.19 1.43 5/216 27008
/proc/meminfo: memFree=20688932/32770624 swapFree=67108860/67108860
[pid=26980] ppid=26977 vsize=10659012 memory=30084 CPUtime=0.12 cores=1,3,5,7
/proc/26980/stat : 26980 (java) S 26977 26980 24561 0 -1 1077944320 6600 0 0 0 11 1 0 0 20 0 15 0 38535233 10914828288 7521 33554432000 4194304 4196468 140725904676704 140725904659248 139731676937975 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
/proc/26980/statm: 2664753 7521 2829 1 0 2627263 0
[pid=26980/tid=26982] ppid=26977 vsize=10659012 memory=-8773748148829851011 CPUtime=0.09 cores=1,3,5,7
/proc/26980/task/26982/stat : 26982 (java) R 26977 26980 24561 0 -1 4202560 4427 0 0 0 9 0 0 0 20 0 15 0 38535234 10914828288 7521 33554432000 4194304 4196468 140725904676704 139731681151968 139731676959901 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26987] ppid=26977 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26987/stat : 26987 (java) S 26977 26980 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535234 10914828288 7521 33554432000 4194304 4196468 140725904676704 139731603012240 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26988] ppid=26977 vsize=10659012 memory=140353854764672 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26988/stat : 26988 (java) S 26977 26980 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38535234 10914828288 7521 33554432000 4194304 4196468 140725904676704 139731601959440 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26989] ppid=26977 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26989/stat : 26989 (java) S 26977 26980 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535234 10914828288 7521 33554432000 4194304 4196468 140725904676704 139731600906640 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26990] ppid=26977 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26990/stat : 26990 (java) S 26977 26980 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535234 10914828288 7521 33554432000 4194304 4196468 140725904676704 139731599853840 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26994] ppid=26977 vsize=10659012 memory=140353854764672 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26994/stat : 26994 (java) S 26977 26980 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38535236 10914828288 7521 33554432000 4194304 4196468 140725904676704 139730913024880 139731676949122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26995] ppid=26977 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26995/stat : 26995 (java) S 26977 26980 24561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38535236 10914828288 7521 33554432000 4194304 4196468 140725904676704 139730911970848 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26996] ppid=26977 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26996/stat : 26996 (java) S 26977 26980 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38535237 10914828288 7521 33554432000 4194304 4196468 140725904676704 139730910918000 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27003] ppid=26977 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27003/stat : 27003 (java) S 26977 26980 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38535239 10914828288 7521 33554432000 4194304 4196468 140725904676704 139730909866320 139731676956571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27004] ppid=26977 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27004/stat : 27004 (java) S 26977 26980 24561 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 15 0 38535239 10914828288 7521 33554432000 4194304 4196468 140725904676704 139730908813680 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27005] ppid=26977 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27005/stat : 27005 (java) S 26977 26980 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535239 10914828288 7521 33554432000 4194304 4196468 140725904676704 139730907760880 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27006] ppid=26977 vsize=10659012 memory=140353854764672 CPUtime=0.02 cores=1,3,5,7
/proc/26980/task/27006/stat : 27006 (java) S 26977 26980 24561 0 -1 1077944384 375 0 0 0 2 0 0 0 20 0 15 0 38535239 10914828288 7521 33554432000 4194304 4196468 140725904676704 139730906708080 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27007] ppid=26977 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27007/stat : 27007 (java) S 26977 26980 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38535239 10914828288 7521 33554432000 4194304 4196468 140725904676704 139730905655520 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27008] ppid=26977 vsize=10659012 memory=140353854764672 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27008/stat : 27008 (java) S 26977 26980 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535239 10914828288 7521 33554432000 4194304 4196468 140725904676704 139730904603824 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30084 KiB
[startup+0.21121 s]*
/proc/loadavg: 1.30 1.19 1.43 5/216 27008
/proc/meminfo: memFree=20667716/32770624 swapFree=67108860/67108860
[pid=26980] ppid=26977 vsize=10659012 memory=42288 CPUtime=0.33 cores=1,3,5,7
/proc/26980/stat : 26980 (java) S 26977 26980 24561 0 -1 1077944320 8141 0 0 0 31 2 0 0 20 0 15 0 38535233 10914828288 10572 33554432000 4194304 4196468 140725904676704 140725904659248 139731676937975 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
/proc/26980/statm: 2664753 10572 3007 1 0 2627263 0
[pid=26980/tid=26982] ppid=26977 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/26980/task/26982/stat : 26982 (java) R 26977 26980 24561 0 -1 4202560 5018 0 0 0 19 1 0 0 20 0 15 0 38535234 10914828288 10572 33554432000 4194304 4196468 140725904676704 139731681173088 139731661018462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26987] ppid=26977 vsize=10659012 memory=343 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26987/stat : 26987 (java) S 26977 26980 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535234 10914828288 10572 33554432000 4194304 4196468 140725904676704 139731603012240 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26988] ppid=26977 vsize=10659012 memory=288370730006476416 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26988/stat : 26988 (java) S 26977 26980 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38535234 10914828288 10572 33554432000 4194304 4196468 140725904676704 139731601959440 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26989] ppid=26977 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26989/stat : 26989 (java) S 26977 26980 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535234 10914828288 10572 33554432000 4194304 4196468 140725904676704 139731600906640 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26990] ppid=26977 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26990/stat : 26990 (java) S 26977 26980 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535234 10914828288 10572 33554432000 4194304 4196468 140725904676704 139731599853840 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26994] ppid=26977 vsize=10659012 memory=140353854764672 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26994/stat : 26994 (java) S 26977 26980 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38535236 10914828288 10572 33554432000 4194304 4196468 140725904676704 139730913024880 139731676949122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26995] ppid=26977 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26995/stat : 26995 (java) S 26977 26980 24561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38535236 10914828288 10572 33554432000 4194304 4196468 140725904676704 139730911970848 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26996] ppid=26977 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26996/stat : 26996 (java) S 26977 26980 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38535237 10914828288 10572 33554432000 4194304 4196468 140725904676704 139730910918000 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27003] ppid=26977 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27003/stat : 27003 (java) S 26977 26980 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38535239 10914828288 10572 33554432000 4194304 4196468 140725904676704 139730909866320 139731676956571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27004] ppid=26977 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26980/task/27004/stat : 27004 (java) S 26977 26980 24561 0 -1 1077944384 673 0 0 0 2 0 0 0 20 0 15 0 38535239 10914828288 10572 33554432000 4194304 4196468 140725904676704 139730908813680 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27005] ppid=26977 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/26980/task/27005/stat : 27005 (java) S 26977 26980 24561 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 15 0 38535239 10914828288 10572 33554432000 4194304 4196468 140725904676704 139730907760880 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27006] ppid=26977 vsize=10659012 memory=140353854764672 CPUtime=0.07 cores=1,3,5,7
/proc/26980/task/27006/stat : 27006 (java) S 26977 26980 24561 0 -1 1077944384 731 0 0 0 7 0 0 0 20 0 15 0 38535239 10914828288 10572 33554432000 4194304 4196468 140725904676704 139730906708080 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27007] ppid=26977 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27007/stat : 27007 (java) S 26977 26980 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38535239 10914828288 10572 33554432000 4194304 4196468 140725904676704 139730905655520 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27008] ppid=26977 vsize=10659012 memory=140353854764672 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27008/stat : 27008 (java) S 26977 26980 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535239 10914828288 10572 33554432000 4194304 4196468 140725904676704 139730904603824 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42288 KiB
[startup+0.314066 s]*
/proc/loadavg: 1.30 1.19 1.43 8/216 27008
/proc/meminfo: memFree=20645472/32770624 swapFree=67108860/67108860
[pid=26980] ppid=26977 vsize=10659088 memory=52792 CPUtime=0.57 cores=1,3,5,7
/proc/26980/stat : 26980 (java) S 26977 26980 24561 0 -1 1077944320 9735 0 0 0 54 3 0 0 20 0 15 0 38535233 10914906112 13198 33554432000 4194304 4196468 140725904676704 140725904659248 139731676937975 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
/proc/26980/statm: 2664772 13198 3065 1 0 2627263 0
[pid=26980/tid=26982] ppid=26977 vsize=10659088 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/26980/task/26982/stat : 26982 (java) R 26977 26980 24561 0 -1 4202560 5573 0 0 0 29 1 0 0 20 0 15 0 38535234 10914906112 13198 33554432000 4194304 4196468 140725904676704 139731681172880 139731277020231 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26987] ppid=26977 vsize=10659088 memory=288230609002954775 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26987/stat : 26987 (java) S 26977 26980 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535234 10914906112 13198 33554432000 4194304 4196468 140725904676704 139731603012240 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26988] ppid=26977 vsize=10659088 memory=288370730006476416 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26988/stat : 26988 (java) S 26977 26980 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38535234 10914906112 13198 33554432000 4194304 4196468 140725904676704 139731601959440 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26989] ppid=26977 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26989/stat : 26989 (java) S 26977 26980 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535234 10914906112 13198 33554432000 4194304 4196468 140725904676704 139731600906640 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26990] ppid=26977 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26990/stat : 26990 (java) S 26977 26980 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535234 10914906112 13198 33554432000 4194304 4196468 140725904676704 139731599853840 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26994] ppid=26977 vsize=10659088 memory=140353854764672 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26994/stat : 26994 (java) S 26977 26980 24561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 38535236 10914906112 13198 33554432000 4194304 4196468 140725904676704 139730913024880 139731676949122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26995] ppid=26977 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26995/stat : 26995 (java) S 26977 26980 24561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38535236 10914906112 13198 33554432000 4194304 4196468 140725904676704 139730911970848 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26996] ppid=26977 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26996/stat : 26996 (java) S 26977 26980 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38535237 10914906112 13198 33554432000 4194304 4196468 140725904676704 139730910918000 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27003] ppid=26977 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27003/stat : 27003 (java) S 26977 26980 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38535239 10914906112 13198 33554432000 4194304 4196468 140725904676704 139730909866320 139731676956571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27004] ppid=26977 vsize=10659088 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26980/task/27004/stat : 27004 (java) R 26977 26980 24561 0 -1 4202560 1197 0 0 0 7 0 0 0 20 0 15 0 38535239 10914906112 13198 33554432000 4194304 4196468 140725904676704 139730908799608 139731661331844 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27005] ppid=26977 vsize=10659088 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/26980/task/27005/stat : 27005 (java) R 26977 26980 24561 0 -1 4202560 628 0 0 0 4 0 0 0 20 0 15 0 38535239 10914906112 13198 33554432000 4194304 4196468 140725904676704 139730907746472 139731655329623 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27006] ppid=26977 vsize=10659088 memory=140353854764672 CPUtime=0.13 cores=1,3,5,7
/proc/26980/task/27006/stat : 27006 (java) R 26977 26980 24561 0 -1 4202560 981 0 0 0 13 0 0 0 20 0 15 0 38535239 10914906112 13198 33554432000 4194304 4196468 140725904676704 139730906702968 139731656073469 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27007] ppid=26977 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27007/stat : 27007 (java) S 26977 26980 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38535239 10914906112 13198 33554432000 4194304 4196468 140725904676704 139730905655520 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27008] ppid=26977 vsize=10659088 memory=140353854764672 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27008/stat : 27008 (java) S 26977 26980 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535239 10914906112 13198 33554432000 4194304 4196468 140725904676704 139730904603824 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 52792 KiB
[startup+0.700687 s]
/proc/loadavg: 1.30 1.19 1.43 9/216 27008
/proc/meminfo: memFree=20591576/32770624 swapFree=67108860/67108860
[pid=26980] ppid=26977 vsize=10661136 memory=127368 CPUtime=1.8 cores=1,3,5,7
/proc/26980/stat : 26980 (java) S 26977 26980 24561 0 -1 1077944320 12675 0 0 0 176 4 0 0 20 0 15 0 38535233 10917003264 31842 33554432000 4194304 4196468 140725904676704 140725904659248 139731676937975 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
/proc/26980/statm: 2665284 31842 3107 1 0 2627775 0
[pid=26980/tid=26982] ppid=26977 vsize=10661136 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/26980/task/26982/stat : 26982 (java) R 26977 26980 24561 0 -1 4202560 6080 0 0 0 65 2 0 0 20 0 15 0 38535234 10917003264 31842 33554432000 4194304 4196468 140725904676704 139731681175112 139731278998860 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26987] ppid=26977 vsize=10661136 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26987/stat : 26987 (java) S 26977 26980 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535234 10917003264 31842 33554432000 4194304 4196468 140725904676704 139731603012240 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26988] ppid=26977 vsize=10661136 memory=11956 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26988/stat : 26988 (java) S 26977 26980 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38535234 10917003264 31842 33554432000 4194304 4196468 140725904676704 139731601959440 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26989] ppid=26977 vsize=10661136 memory=5520 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26989/stat : 26989 (java) S 26977 26980 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535234 10917003264 31842 33554432000 4194304 4196468 140725904676704 139731600906640 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26990] ppid=26977 vsize=10661136 memory=792 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26990/stat : 26990 (java) S 26977 26980 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535234 10917003264 31842 33554432000 4194304 4196468 140725904676704 139731599853840 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26994] ppid=26977 vsize=10661136 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26994/stat : 26994 (java) S 26977 26980 24561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 38535236 10917003264 31842 33554432000 4194304 4196468 140725904676704 139730913024880 139731676949122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26995] ppid=26977 vsize=10661136 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26995/stat : 26995 (java) S 26977 26980 24561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38535236 10917003264 31842 33554432000 4194304 4196468 140725904676704 139730911970848 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26996] ppid=26977 vsize=10661136 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26996/stat : 26996 (java) S 26977 26980 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38535237 10917003264 31842 33554432000 4194304 4196468 140725904676704 139730910918000 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27003] ppid=26977 vsize=10661136 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27003/stat : 27003 (java) S 26977 26980 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38535239 10917003264 31842 33554432000 4194304 4196468 140725904676704 139730909866320 139731676956571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27004] ppid=26977 vsize=10661136 memory=7163631965283378496 CPUtime=0.37 cores=1,3,5,7
/proc/26980/task/27004/stat : 27004 (java) R 26977 26980 24561 0 -1 4202560 1824 0 0 0 37 0 0 0 20 0 15 0 38535239 10917003264 31842 33554432000 4194304 4196468 140725904676704 139730908813808 139731656194535 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27005] ppid=26977 vsize=10661136 memory=6083353102074538087 CPUtime=0.35 cores=1,3,5,7
/proc/26980/task/27005/stat : 27005 (java) R 26977 26980 24561 0 -1 4202560 1447 0 0 0 35 0 0 0 20 0 15 0 38535239 10917003264 31842 33554432000 4194304 4196468 140725904676704 139730907746760 139731658483226 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27006] ppid=26977 vsize=10661136 memory=7151830906713428048 CPUtime=0.38 cores=1,3,5,7
/proc/26980/task/27006/stat : 27006 (java) S 26977 26980 24561 0 -1 1077944384 1953 0 0 0 38 0 0 0 20 0 15 0 38535239 10917003264 31842 33554432000 4194304 4196468 140725904676704 139730906708080 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27007] ppid=26977 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27007/stat : 27007 (java) S 26977 26980 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38535239 10917003264 31842 33554432000 4194304 4196468 140725904676704 139730905655520 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27008] ppid=26977 vsize=10661136 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27008/stat : 27008 (java) S 26977 26980 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38535239 10917003264 31842 33554432000 4194304 4196468 140725904676704 139730904603824 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 127368 KiB
[startup+1.50074 s]
/proc/loadavg: 1.30 1.19 1.43 9/216 27008
/proc/meminfo: memFree=20360172/32770624 swapFree=67108860/67108860
[pid=26980] ppid=26977 vsize=10727700 memory=217796 CPUtime=4.42 cores=1,3,5,7
/proc/26980/stat : 26980 (java) S 26977 26980 24561 0 -1 1077944320 16460 0 0 0 434 8 0 0 20 0 16 0 38535233 10985164800 54449 33554432000 4194304 4196468 140725904676704 140725904659248 139731676937975 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
/proc/26980/statm: 2681925 54449 3140 1 0 2644416 0
[pid=26980/tid=26982] ppid=26977 vsize=10727700 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/26980/task/26982/stat : 26982 (java) R 26977 26980 24561 0 -1 4202560 6279 0 0 0 139 3 0 0 20 0 16 0 38535234 10985164800 54449 33554432000 4194304 4196468 140725904676704 139731681174376 139731281044416 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26987] ppid=26977 vsize=10727700 memory=-6951259422114956437 CPUtime=0.01 cores=1,3,5,7
/proc/26980/task/26987/stat : 26987 (java) S 26977 26980 24561 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 16 0 38535234 10985164800 54449 33554432000 4194304 4196468 140725904676704 139731603012240 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26988] ppid=26977 vsize=10727700 memory=-6509546260019855295 CPUtime=0.02 cores=1,3,5,7
/proc/26980/task/26988/stat : 26988 (java) S 26977 26980 24561 0 -1 1077944384 21 0 0 0 2 0 0 0 20 0 16 0 38535234 10985164800 54449 33554432000 4194304 4196468 140725904676704 139731601959440 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26989] ppid=26977 vsize=10727700 memory=-7390251449858225344 CPUtime=0.02 cores=1,3,5,7
/proc/26980/task/26989/stat : 26989 (java) S 26977 26980 24561 0 -1 1077944384 20 0 0 0 2 0 0 0 20 0 16 0 38535234 10985164800 54449 33554432000 4194304 4196468 140725904676704 139731600906640 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26990] ppid=26977 vsize=10727700 memory=-7096649868621430206 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26990/stat : 26990 (java) S 26977 26980 24561 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 38535234 10985164800 54449 33554432000 4194304 4196468 140725904676704 139731599853840 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26994] ppid=26977 vsize=10727700 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26994/stat : 26994 (java) S 26977 26980 24561 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 38535236 10985164800 54449 33554432000 4194304 4196468 140725904676704 139730913024880 139731676949122 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
################
# More data... #
################
/proc/26980/task/26988/stat : 26988 (java) S 26977 26980 24561 0 -1 1077944384 2967 0 0 0 25 9 0 0 20 0 16 0 38535234 10985164800 203874 33554432000 4194304 4196468 140725904676704 139731601959440 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26989] ppid=26977 vsize=10727700 memory=815496 CPUtime=0.34 cores=1,3,5,7
/proc/26980/task/26989/stat : 26989 (java) S 26977 26980 24561 0 -1 1077944384 1401 0 0 0 25 9 0 0 20 0 16 0 38535234 10985164800 203874 33554432000 4194304 4196468 140725904676704 139731600906640 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26990] ppid=26977 vsize=10727700 memory=6944656592455097440 CPUtime=0.33 cores=1,3,5,7
/proc/26980/task/26990/stat : 26990 (java) S 26977 26980 24561 0 -1 1077944384 1294 0 0 0 24 9 0 0 20 0 16 0 38535234 10985164800 203874 33554432000 4194304 4196468 140725904676704 139731599853840 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26994] ppid=26977 vsize=10727700 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/26980/task/26994/stat : 26994 (java) S 26977 26980 24561 0 -1 1077944384 3315 0 0 0 2 3 0 0 20 0 16 0 38535236 10985164800 203874 33554432000 4194304 4196468 140725904676704 139730913024880 139731676949122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26995] ppid=26977 vsize=10727700 memory=132 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26995/stat : 26995 (java) S 26977 26980 24561 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 38535236 10985164800 203874 33554432000 4194304 4196468 140725904676704 139730911970912 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26996] ppid=26977 vsize=10727700 memory=815496 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26996/stat : 26996 (java) S 26977 26980 24561 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 38535237 10985164800 203874 33554432000 4194304 4196468 140725904676704 139730910918016 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27003] ppid=26977 vsize=10727700 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27003/stat : 27003 (java) S 26977 26980 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38535239 10985164800 203874 33554432000 4194304 4196468 140725904676704 139730909866320 139731676956571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27004] ppid=26977 vsize=10727700 memory=815496 CPUtime=2.58 cores=1,3,5,7
/proc/26980/task/27004/stat : 27004 (java) S 26977 26980 24561 0 -1 1077944384 13754 0 0 0 256 2 0 0 20 0 16 0 38535239 10985164800 203874 33554432000 4194304 4196468 140725904676704 139730908813680 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27005] ppid=26977 vsize=10727700 memory=815496 CPUtime=2.37 cores=1,3,5,7
/proc/26980/task/27005/stat : 27005 (java) S 26977 26980 24561 0 -1 1077944384 15320 0 0 0 235 2 0 0 20 0 16 0 38535239 10985164800 203874 33554432000 4194304 4196468 140725904676704 139730907760880 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27006] ppid=26977 vsize=10727700 memory=815496 CPUtime=0.74 cores=1,3,5,7
/proc/26980/task/27006/stat : 27006 (java) S 26977 26980 24561 0 -1 1077944384 9194 0 0 0 71 3 0 0 20 0 16 0 38535239 10985164800 203874 33554432000 4194304 4196468 140725904676704 139730906708080 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27007] ppid=26977 vsize=10727700 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27007/stat : 27007 (java) S 26977 26980 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38535239 10985164800 203874 33554432000 4194304 4196468 140725904676704 139730905655520 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27008] ppid=26977 vsize=10727700 memory=5520 CPUtime=1.03 cores=1,3,5,7
/proc/26980/task/27008/stat : 27008 (java) S 26977 26980 24561 0 -1 1077944384 1802 0 0 0 41 62 0 0 20 0 16 0 38535239 10985164800 203874 33554432000 4194304 4196468 140725904676704 139730904603824 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27009] ppid=26977 vsize=10727700 memory=792 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27009/stat : 27009 (java) S 26977 26980 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38535349 10985164800 203874 33554432000 4194304 4196468 140725904676704 139730901452208 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
Current children cumulated CPU time: 2390.01 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 815496 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2392.3 s]
/proc/loadavg: 2.13 2.04 2.00 3/217 27225
/proc/meminfo: memFree=18673976/32770624 swapFree=67108860/67108860
[pid=26980] ppid=26977 vsize=10727700 memory=815496 CPUtime=2400.01 cores=1,3,5,7
/proc/26980/stat : 26980 (java) S 26977 26980 24561 0 -1 1077944320 89839 0 0 0 239885 116 0 0 20 0 16 0 38535233 10985164800 203874 33554432000 4194304 4196468 140725904676704 140725904659248 139731676937975 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
/proc/26980/statm: 2681925 203874 3168 1 0 2644416 0
[pid=26980/tid=26982] ppid=26977 vsize=10727700 memory=815496 CPUtime=2391.8 cores=1,3,5,7
/proc/26980/task/26982/stat : 26982 (java) R 26977 26980 24561 0 -1 4202560 36835 0 0 0 239166 14 0 0 20 0 16 0 38535234 10985164800 203874 33554432000 4194304 4196468 140725904676704 139731681169600 139731281168426 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26987] ppid=26977 vsize=10727700 memory=815496 CPUtime=0.33 cores=1,3,5,7
/proc/26980/task/26987/stat : 26987 (java) S 26977 26980 24561 0 -1 1077944384 2539 0 0 0 24 9 0 0 20 0 16 0 38535234 10985164800 203874 33554432000 4194304 4196468 140725904676704 139731603012240 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26988] ppid=26977 vsize=10727700 memory=815496 CPUtime=0.34 cores=1,3,5,7
/proc/26980/task/26988/stat : 26988 (java) S 26977 26980 24561 0 -1 1077944384 2967 0 0 0 25 9 0 0 20 0 16 0 38535234 10985164800 203874 33554432000 4194304 4196468 140725904676704 139731601959440 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26989] ppid=26977 vsize=10727700 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/26980/task/26989/stat : 26989 (java) S 26977 26980 24561 0 -1 1077944384 1401 0 0 0 25 9 0 0 20 0 16 0 38535234 10985164800 203874 33554432000 4194304 4196468 140725904676704 139731600906640 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26990] ppid=26977 vsize=10727700 memory=6944656592455097440 CPUtime=0.33 cores=1,3,5,7
/proc/26980/task/26990/stat : 26990 (java) S 26977 26980 24561 0 -1 1077944384 1294 0 0 0 24 9 0 0 20 0 16 0 38535234 10985164800 203874 33554432000 4194304 4196468 140725904676704 139731599853840 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26994] ppid=26977 vsize=10727700 memory=815496 CPUtime=0.05 cores=1,3,5,7
/proc/26980/task/26994/stat : 26994 (java) S 26977 26980 24561 0 -1 1077944384 3315 0 0 0 2 3 0 0 20 0 16 0 38535236 10985164800 203874 33554432000 4194304 4196468 140725904676704 139730913024880 139731676949122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26995] ppid=26977 vsize=10727700 memory=815496 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26995/stat : 26995 (java) S 26977 26980 24561 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 38535236 10985164800 203874 33554432000 4194304 4196468 140725904676704 139730911970912 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26996] ppid=26977 vsize=10727700 memory=815496 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26996/stat : 26996 (java) S 26977 26980 24561 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 38535237 10985164800 203874 33554432000 4194304 4196468 140725904676704 139730910918016 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27003] ppid=26977 vsize=10727700 memory=815496 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27003/stat : 27003 (java) S 26977 26980 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38535239 10985164800 203874 33554432000 4194304 4196468 140725904676704 139730909866320 139731676956571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27004] ppid=26977 vsize=10727700 memory=815496 CPUtime=2.58 cores=1,3,5,7
/proc/26980/task/27004/stat : 27004 (java) S 26977 26980 24561 0 -1 1077944384 13754 0 0 0 256 2 0 0 20 0 16 0 38535239 10985164800 203874 33554432000 4194304 4196468 140725904676704 139730908813680 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27005] ppid=26977 vsize=10727700 memory=2428 CPUtime=2.37 cores=1,3,5,7
/proc/26980/task/27005/stat : 27005 (java) S 26977 26980 24561 0 -1 1077944384 15320 0 0 0 235 2 0 0 20 0 16 0 38535239 10985164800 203874 33554432000 4194304 4196468 140725904676704 139730907760880 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27006] ppid=26977 vsize=10727700 memory=815496 CPUtime=0.74 cores=1,3,5,7
/proc/26980/task/27006/stat : 27006 (java) S 26977 26980 24561 0 -1 1077944384 9194 0 0 0 71 3 0 0 20 0 16 0 38535239 10985164800 203874 33554432000 4194304 4196468 140725904676704 139730906708080 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27007] ppid=26977 vsize=10727700 memory=815496 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27007/stat : 27007 (java) S 26977 26980 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38535239 10985164800 203874 33554432000 4194304 4196468 140725904676704 139730905655520 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27008] ppid=26977 vsize=10727700 memory=5520 CPUtime=1.03 cores=1,3,5,7
/proc/26980/task/27008/stat : 27008 (java) S 26977 26980 24561 0 -1 1077944384 1802 0 0 0 41 62 0 0 20 0 16 0 38535239 10985164800 203874 33554432000 4194304 4196468 140725904676704 139730904603824 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27009] ppid=26977 vsize=10727700 memory=792 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27009/stat : 27009 (java) S 26977 26980 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38535349 10985164800 203874 33554432000 4194304 4196468 140725904676704 139730901452208 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 815496 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2392.52 s]
# the end of solver process 26980 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.9 s, system=1.1761 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2392.41 s]
/proc/loadavg: 2.13 2.04 2.00 3/217 27225
/proc/meminfo: memFree=18673976/32770624 swapFree=67108860/67108860
[pid=26980] ppid=26977 vsize=10927392 memory=815720 CPUtime=2400.05 cores=1,3,5,7
/proc/26980/stat : 26980 (java) S 26977 26980 24561 0 -1 1077944320 91050 0 0 0 239889 116 0 0 20 0 17 0 38535233 11189649408 203930 33554432000 4194304 4196468 140725904676704 140725904659248 139731676937975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
/proc/26980/statm: 2731848 203930 3170 1 0 2694339 0
[pid=26980/tid=26982] ppid=26977 vsize=10927392 memory=2200 CPUtime=2391.83 cores=1,3,5,7
/proc/26980/task/26982/stat : 26982 (java) S 26977 26980 24561 0 -1 1077944384 37091 0 0 0 239169 14 0 0 20 0 17 0 38535234 11189649408 203930 33554432000 4194304 4196468 140725904676704 139731681180848 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26987] ppid=26977 vsize=10927392 memory=8148 CPUtime=0.33 cores=1,3,5,7
/proc/26980/task/26987/stat : 26987 (java) S 26977 26980 24561 0 -1 1077944384 2539 0 0 0 24 9 0 0 20 0 17 0 38535234 11189649408 203930 33554432000 4194304 4196468 140725904676704 139731603012240 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26988] ppid=26977 vsize=10927392 memory=848 CPUtime=0.34 cores=1,3,5,7
/proc/26980/task/26988/stat : 26988 (java) S 26977 26980 24561 0 -1 1077944384 2967 0 0 0 25 9 0 0 20 0 17 0 38535234 11189649408 203930 33554432000 4194304 4196468 140725904676704 139731601959440 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26989] ppid=26977 vsize=10927392 memory=6791534058613427641 CPUtime=0.34 cores=1,3,5,7
/proc/26980/task/26989/stat : 26989 (java) S 26977 26980 24561 0 -1 1077944384 1401 0 0 0 25 9 0 0 20 0 17 0 38535234 11189649408 203930 33554432000 4194304 4196468 140725904676704 139731600906640 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26990] ppid=26977 vsize=10927392 memory=2296 CPUtime=0.33 cores=1,3,5,7
/proc/26980/task/26990/stat : 26990 (java) S 26977 26980 24561 0 -1 1077944384 1294 0 0 0 24 9 0 0 20 0 17 0 38535234 11189649408 203930 33554432000 4194304 4196468 140725904676704 139731599853840 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26994] ppid=26977 vsize=10927392 memory=1408 CPUtime=0.05 cores=1,3,5,7
/proc/26980/task/26994/stat : 26994 (java) S 26977 26980 24561 0 -1 1077944384 3315 0 0 0 2 3 0 0 20 0 17 0 38535236 11189649408 203930 33554432000 4194304 4196468 140725904676704 139730913024880 139731676949122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26995] ppid=26977 vsize=10927392 memory=3300 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26995/stat : 26995 (java) S 26977 26980 24561 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 17 0 38535236 11189649408 203930 33554432000 4194304 4196468 140725904676704 139730911970912 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26996] ppid=26977 vsize=10927392 memory=815496 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26996/stat : 26996 (java) S 26977 26980 24561 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 17 0 38535237 11189649408 203930 33554432000 4194304 4196468 140725904676704 139730910918016 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27003] ppid=26977 vsize=10927392 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27003/stat : 27003 (java) S 26977 26980 24561 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 17 0 38535239 11189649408 203930 33554432000 4194304 4196468 140725904676704 139730909866320 139731676956571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27004] ppid=26977 vsize=10927392 memory=2668 CPUtime=2.59 cores=1,3,5,7
/proc/26980/task/27004/stat : 27004 (java) S 26977 26980 24561 0 -1 1077944384 13832 0 0 0 257 2 0 0 20 0 17 0 38535239 11189649408 203930 33554432000 4194304 4196468 140725904676704 139730908813680 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27005] ppid=26977 vsize=10927392 memory=1218472 CPUtime=2.37 cores=1,3,5,7
/proc/26980/task/27005/stat : 27005 (java) S 26977 26980 24561 0 -1 1077944384 15407 0 0 0 235 2 0 0 20 0 17 0 38535239 11189649408 203930 33554432000 4194304 4196468 140725904676704 139730907760880 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27006] ppid=26977 vsize=10927392 memory=6791534058613427641 CPUtime=0.74 cores=1,3,5,7
/proc/26980/task/27006/stat : 27006 (java) S 26977 26980 24561 0 -1 1077944384 9381 0 0 0 71 3 0 0 20 0 17 0 38535239 11189649408 203930 33554432000 4194304 4196468 140725904676704 139730906708080 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27007] ppid=26977 vsize=10927392 memory=8148 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27007/stat : 27007 (java) S 26977 26980 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38535239 11189649408 203930 33554432000 4194304 4196468 140725904676704 139730905655520 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27008] ppid=26977 vsize=10927392 memory=848 CPUtime=1.03 cores=1,3,5,7
/proc/26980/task/27008/stat : 27008 (java) S 26977 26980 24561 0 -1 1077944384 1802 0 0 0 41 62 0 0 20 0 17 0 38535239 11189649408 203930 33554432000 4194304 4196468 140725904676704 139730904603824 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 815720 KiB
[startup+2392.5 s]
/proc/loadavg: 2.13 2.04 2.00 3/217 27225
/proc/meminfo: memFree=18673976/32770624 swapFree=67108860/67108860
[pid=26980] ppid=26977 vsize=10927392 memory=815720 CPUtime=2400.05 cores=1,3,5,7
/proc/26980/stat : 26980 (java) S 26977 26980 24561 0 -1 1077944320 91050 0 0 0 239889 116 0 0 20 0 17 0 38535233 11189649408 203930 33554432000 4194304 4196468 140725904676704 140725904659248 139731676937975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
/proc/26980/statm: 2731848 203930 3170 1 0 2694339 0
[pid=26980/tid=26982] ppid=26977 vsize=10927392 memory=815496 CPUtime=2391.83 cores=1,3,5,7
/proc/26980/task/26982/stat : 26982 (java) S 26977 26980 24561 0 -1 1077944384 37091 0 0 0 239169 14 0 0 20 0 17 0 38535234 11189649408 203930 33554432000 4194304 4196468 140725904676704 139731681180848 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26987] ppid=26977 vsize=10927392 memory=815496 CPUtime=0.33 cores=1,3,5,7
/proc/26980/task/26987/stat : 26987 (java) S 26977 26980 24561 0 -1 1077944384 2539 0 0 0 24 9 0 0 20 0 17 0 38535234 11189649408 203930 33554432000 4194304 4196468 140725904676704 139731603012240 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26988] ppid=26977 vsize=10927392 memory=815496 CPUtime=0.34 cores=1,3,5,7
/proc/26980/task/26988/stat : 26988 (java) S 26977 26980 24561 0 -1 1077944384 2967 0 0 0 25 9 0 0 20 0 17 0 38535234 11189649408 203930 33554432000 4194304 4196468 140725904676704 139731601959440 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26989] ppid=26977 vsize=10927392 memory=6944656592455097440 CPUtime=0.34 cores=1,3,5,7
/proc/26980/task/26989/stat : 26989 (java) S 26977 26980 24561 0 -1 1077944384 1401 0 0 0 25 9 0 0 20 0 17 0 38535234 11189649408 203930 33554432000 4194304 4196468 140725904676704 139731600906640 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26990] ppid=26977 vsize=10927392 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/26980/task/26990/stat : 26990 (java) S 26977 26980 24561 0 -1 1077944384 1294 0 0 0 24 9 0 0 20 0 17 0 38535234 11189649408 203930 33554432000 4194304 4196468 140725904676704 139731599853840 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26994] ppid=26977 vsize=10927392 memory=815496 CPUtime=0.05 cores=1,3,5,7
/proc/26980/task/26994/stat : 26994 (java) S 26977 26980 24561 0 -1 1077944384 3315 0 0 0 2 3 0 0 20 0 17 0 38535236 11189649408 203930 33554432000 4194304 4196468 140725904676704 139730913024880 139731676949122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26995] ppid=26977 vsize=10927392 memory=815496 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26995/stat : 26995 (java) S 26977 26980 24561 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 17 0 38535236 11189649408 203930 33554432000 4194304 4196468 140725904676704 139730911970912 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=26996] ppid=26977 vsize=10927392 memory=815496 CPUtime=0 cores=1,3,5,7
/proc/26980/task/26996/stat : 26996 (java) S 26977 26980 24561 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 17 0 38535237 11189649408 203930 33554432000 4194304 4196468 140725904676704 139730910918016 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27003] ppid=26977 vsize=10927392 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27003/stat : 27003 (java) S 26977 26980 24561 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 17 0 38535239 11189649408 203930 33554432000 4194304 4196468 140725904676704 139730909866320 139731676956571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27004] ppid=26977 vsize=10927392 memory=815496 CPUtime=2.59 cores=1,3,5,7
/proc/26980/task/27004/stat : 27004 (java) S 26977 26980 24561 0 -1 1077944384 13832 0 0 0 257 2 0 0 20 0 17 0 38535239 11189649408 203930 33554432000 4194304 4196468 140725904676704 139730908813680 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27005] ppid=26977 vsize=10927392 memory=815496 CPUtime=2.37 cores=1,3,5,7
/proc/26980/task/27005/stat : 27005 (java) S 26977 26980 24561 0 -1 1077944384 15407 0 0 0 235 2 0 0 20 0 17 0 38535239 11189649408 203930 33554432000 4194304 4196468 140725904676704 139730907760880 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27006] ppid=26977 vsize=10927392 memory=5520 CPUtime=0.74 cores=1,3,5,7
/proc/26980/task/27006/stat : 27006 (java) S 26977 26980 24561 0 -1 1077944384 9381 0 0 0 71 3 0 0 20 0 17 0 38535239 11189649408 203930 33554432000 4194304 4196468 140725904676704 139730906708080 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27007] ppid=26977 vsize=10927392 memory=792 CPUtime=0 cores=1,3,5,7
/proc/26980/task/27007/stat : 27007 (java) S 26977 26980 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38535239 11189649408 203930 33554432000 4194304 4196468 140725904676704 139730905655520 139731676948181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
[pid=26980/tid=27008] ppid=26977 vsize=10927392 memory=815496 CPUtime=1.03 cores=1,3,5,7
/proc/26980/task/27008/stat : 27008 (java) S 26977 26980 24561 0 -1 1077944384 1802 0 0 0 41 62 0 0 20 0 17 0 38535239 11189649408 203930 33554432000 4194304 4196468 140725904676704 139730904603824 139731676949122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20381696 140725904684145 140725904684297 140725904684297 140725904687055 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 815720 KiB
Child status: 143
Real time (s): 2392.52
CPU time (s): 2400.07
CPU user time (s): 2398.9
CPU system time (s): 1.1761
CPU usage (%): 100.316
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 816512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.9
system time used= 1.1761
maximum resident set size= 841148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92185
page faults= 0
swaps= 0
block input operations= 920
block output operations= 1888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54767
involuntary context switches= 2395
# summary of solver processes directly reported to runsolver:
# pid: 26980
# total CPU time (s): 2400.07
# total CPU user time (s): 2398.9
# total CPU system time (s): 1.1761
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2802 second user time and 21.9312 second system time
The end
Begin job on node151 at 2018-07-21 23:48:40 IDJOB=4289910 IDBENCH=141042 IDSOLVER=2742 FILE ID=node151/4289910-1532209720 RUNJOBID= node151-1532209720-26949 PBS_JOBID= 21018924 Free space on /tmp= 55076 MiB SOLVER NAME= Sat4j-CSP 2018-07-11 BENCH NAME= XCSP18/NurseRostering/NurseRostering-04_c18.xml COMMAND LINE= java -DCompetitionOutput -jar DIR/sat4j-csp-final.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4289910-1532209720/watcher-4289910-1532209720 -o /tmp/evaluation-result-4289910-1532209720/solver-4289910-1532209720 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532209720-26949 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289910-1532209720.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3e14d2a5b30f836b117ab38c1a042f13 RANDOM SEED=1045816074 node151.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.87 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.87 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.87 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.87 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: 20728860 kB MemAvailable: 31941384 kB Buffers: 222232 kB Cached: 11142300 kB SwapCached: 0 kB Active: 924024 kB Inactive: 10494192 kB Active(anon): 56344 kB Inactive(anon): 16940 kB Active(file): 867680 kB Inactive(file): 10477252 kB Unevictable: 7940 kB Mlocked: 7940 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4972 kB Writeback: 0 kB AnonPages: 53696 kB Mapped: 34948 kB Shmem: 17032 kB Slab: 322160 kB SReclaimable: 296052 kB SUnreclaim: 26108 kB KernelStack: 3456 kB PageTables: 4816 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 320440 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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= 55072 MiB End job on node151 at 2018-07-22 00:28:33