0.67/0.52
0.67/0.53 scop order+minisat_release (2018-06-13)
0.67/0.53
0.67/0.55 c BEGIN-Prog: Mon Jul 23 13:58:35 CEST 2018
0.67/0.55 c PID: 7349
0.67/0.55 c IP: 172.20.3.105
0.67/0.55 c HOST: node105.alineos.net
0.67/0.56 c (0,0) Parsing Begin
2.11/1.19 c (0,0) Parsing End
2.11/1.20 c (0,0) CSP: 0 int (0 aux), 784 bool (0 aux), 256 ctr, max domain size 2
2.11/1.20 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.43/1.20 c (0,0) Constraint Name Generate Begin
2.43/1.21 c (0,0) Ctr:HOME/instance-4293784-1532347115.xml,IntVar:Num:WeightedSum
2.43/1.21 c (0,0) Constraint Name Generate End
2.43/1.21 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.43/1.21 c (0,0) CSP to CSPinCNF Begin
2.97/1.41 c (0,0) translated 26 (10%) constraints
2.97/1.45 c (0,0) translated 52 (20%) constraints
2.97/1.48 c (0,0) translated 77 (30%) constraints
3.28/1.51 c (0,0) translated 103 (40%) constraints
3.28/1.54 c (1,1) translated 128 (50%) constraints
3.28/1.57 c (1,1) translated 154 (60%) constraints
3.28/1.60 c (1,1) translated 180 (70%) constraints
3.58/1.62 c (1,1) translated 205 (80%) constraints
3.58/1.65 c (1,1) translated 231 (90%) constraints
3.89/1.71 c (1,1) translated 256 (100%) constraints
4.21/1.85 c (1,1) STATISTICS1:HOME/instance-4293784-1532347115.xml,IntVar:Num:WeightedSum,784,256,281474976710656,2,1,49,281474976710656:32;134217728:224,2:7840,1:256,49:32;28:224,
4.21/1.85 c (1,1) ===========================================
4.21/1.85 c (1,1) Order
4.21/1.85 c (1,1) ===========================================
4.54/1.96 c (1,1) translated 26 (10%) constraints
4.95/2.03 c (1,1) translated 52 (20%) constraints
4.95/2.08 c (1,1) translated 77 (30%) constraints
4.95/2.11 c (1,1) translated 103 (40%) constraints
5.29/2.16 c (1,1) translated 128 (50%) constraints
5.29/2.20 c (1,1) translated 154 (60%) constraints
5.54/2.23 c (1,1) translated 180 (70%) constraints
5.54/2.26 c (1,1) translated 205 (80%) constraints
5.86/2.30 c (1,1) translated 231 (90%) constraints
5.86/2.38 c (1,1) translated 256 (100%) constraints
5.86/2.39 c (1,1) CSP to CSPinCNF End
5.86/2.39 c (1,1) CSP: 960 int (960 aux), 784 bool (0 aux), 1216 ctr, max domain size 11
5.86/2.39 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.86/2.39 c (1,1) CSPinCNF Propagation Begin
6.19/2.45 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
6.19/2.45 c (1,1) CSPinCNF Propagation End
6.19/2.45 c (1,1) CSP: 960 int (960 aux), 784 bool (0 aux), 1216 ctr, max domain size 11
6.19/2.45 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.19/2.45 c (1,1) Simplify CSPinCNF Begin
6.19/2.46 c (1,1) Simplify CSPinCNF End
6.19/2.46 c (1,1) CSP: 960 int (960 aux), 784 bool (0 aux), 1216 ctr, max domain size 11
6.19/2.46 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.19/2.46 c (1,1) Calculate Precise Domain Begin
6.50/2.54 c (2,1) 0 values are removed by re-calculation
6.50/2.54 c (2,1) Calculate Precise Domain End
6.50/2.54 c (2,1) CSP: 960 int (960 aux), 784 bool (0 aux), 1216 ctr, max domain size 11
6.50/2.54 c (2,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.50/2.54 c (2,1) CSPinCNF to SatSolver Begin
6.83/2.67 c (2,2) 122 (10 %) CSP clauses are encoded (4832 SAT variables, 7531 SAT clauses)
7.15/2.71 c (2,2) 244 (20 %) CSP clauses are encoded (4832 SAT variables, 12071 SAT clauses)
7.15/2.75 c (2,2) 365 (30 %) CSP clauses are encoded (4832 SAT variables, 16556 SAT clauses)
7.77/2.93 c (2,2) 487 (40 %) CSP clauses are encoded (4832 SAT variables, 39102 SAT clauses)
8.43/3.25 c (2,2) 608 (50 %) CSP clauses are encoded (4832 SAT variables, 100993 SAT clauses)
8.73/3.51 c (2,2) 730 (60 %) CSP clauses are encoded (4832 SAT variables, 162885 SAT clauses)
8.93/3.77 c (3,3) 852 (70 %) CSP clauses are encoded (4832 SAT variables, 225799 SAT clauses)
9.03/3.89 c (3,3) 973 (80 %) CSP clauses are encoded (4832 SAT variables, 253554 SAT clauses)
9.19/3.92 c (3,3) 1095 (90 %) CSP clauses are encoded (4832 SAT variables, 261057 SAT clauses)
9.19/3.95 c (3,3) 1216 (100 %) CSP clauses are encoded (4832 SAT variables, 268553 SAT clauses)
9.19/3.95 c (3,3) CSPinCNF to SatSolver End
9.19/3.95 c (3,3) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.19/4.00 c (3,3) STATISTICS2:HOME/instance-4293784-1532347115.xml,IntVar:Num:WeightedSum,1744,1216,1024,11,1,11,1024:224;512:480;256:160;100:112;9:128;4:112,11:224;10:448;3:576;2:8512,1:1216,11:224;10:480;9:160;3:352,
9.19/4.00 c (3,3) SatSolver.solve Begin
9.19/4.00 c (3,3) 4832 bool, 268560 clause
9.19/4.00 c (3,3) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4293784-1532347115.xml-scop-7349.cnf HOME/instance-4293784-1532347115.xml-scop-7349.cnf.out
9.59/4.52 c (3,0) c This is COMiniSatPS.
9.59/4.52 c (3,0) c WARNING: for repeatability, setting FPU to use double precision
9.59/4.52 c (3,0) c ============================[ Problem Statistics ]=============================
9.59/4.52 c (3,0) c | |
9.59/4.52 c (3,0) c | Number of variables: 4832 |
9.59/4.52 c (3,0) c | Number of clauses: 268560 |
9.59/4.52 c (3,0) c | Parse time: 0.08 s |
9.59/4.52 c (3,0) c | Eliminated clauses: 0.03 Mb |
9.59/4.52 c (3,0) c Reduced to 1808 vars, 32548 cls (grow=0)
9.59/4.52 c (3,0) c No iterative elimination performed. (vars=1808, c/v ratio=18.0)
9.59/4.52 c (3,0) c | Simplification time: 0.41 s |
9.59/4.52 c (3,0) c | |
9.59/4.52 c (3,0) c ============================[ Search Statistics ]==============================
9.59/4.52 c (3,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
9.59/4.52 c (3,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
9.59/4.52 c (3,0) c ===============================================================================
9.59/4.52 c (3,0) c ===============================================================================
9.59/4.52 c (3,0) c restarts : 1
9.59/4.52 c (3,0) c conflicts : 61 (124 /sec)
9.59/4.52 c (3,0) c decisions : 225 (0.00 % random) (457 /sec)
9.59/4.52 c (3,0) c propagations : 7488 (15217 /sec)
9.59/4.52 c (3,0) c conflict literals : 2569 (1.72 % deleted)
9.59/4.52 c (3,0) c CPU time : 0.492073 s
9.59/4.52 c (3,0)
9.59/4.52 c (3,0) s SATISFIABLE
9.59/4.54 c (4,3) SatSolver.solve End
9.59/4.54 c (4,3) Heap : 1633 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
9.59/4.54 c (4,3) Show results Begin
9.59/4.56 c (4,3) x[0] = 0
9.59/4.56 c (4,3) x[1] = 0
9.59/4.56 c (4,3) x[2] = 0
9.59/4.56 c (4,3) x[3] = 0
9.59/4.56 c (4,3) x[4] = 0
9.59/4.56 c (4,3) x[5] = 0
9.59/4.56 c (4,3) x[6] = 1
9.59/4.56 c (4,3) x[7] = 0
9.59/4.56 c (4,3) x[8] = 0
9.59/4.56 c (4,3) x[9] = 0
9.59/4.56 c (4,3) x[10] = 0
9.59/4.56 c (4,3) x[11] = 0
9.59/4.56 c (4,3) x[12] = 0
9.59/4.56 c (4,3) x[13] = 0
9.59/4.56 c (4,3) x[14] = 0
9.59/4.56 c (4,3) x[15] = 0
9.59/4.56 c (4,3) x[16] = 0
9.59/4.56 c (4,3) x[17] = 0
9.59/4.56 c (4,3) x[18] = 0
9.59/4.56 c (4,3) x[19] = 0
9.59/4.56 c (4,3) x[20] = 0
9.59/4.56 c (4,3) x[21] = 0
9.59/4.56 c (4,3) x[22] = 0
9.59/4.56 c (4,3) x[23] = 0
9.59/4.56 c (4,3) x[24] = 0
9.59/4.56 c (4,3) x[25] = 0
9.59/4.56 c (4,3) x[26] = 0
9.59/4.56 c (4,3) x[27] = 0
9.59/4.56 c (4,3) x[28] = 0
9.59/4.56 c (4,3) x[29] = 0
9.59/4.56 c (4,3) x[30] = 0
9.59/4.56 c (4,3) x[31] = 0
9.59/4.56 c (4,3) x[32] = 0
9.59/4.56 c (4,3) x[33] = 0
9.59/4.56 c (4,3) x[34] = 0
9.59/4.56 c (4,3) x[35] = 1
9.59/4.56 c (4,3) x[36] = 0
9.59/4.56 c (4,3) x[37] = 0
9.59/4.56 c (4,3) x[38] = 0
9.59/4.56 c (4,3) x[39] = 0
9.59/4.56 c (4,3) x[40] = 0
9.59/4.56 c (4,3) x[41] = 0
9.59/4.56 c (4,3) x[42] = 0
9.59/4.56 c (4,3) x[43] = 0
9.59/4.56 c (4,3) x[44] = 0
9.59/4.56 c (4,3) x[45] = 0
9.59/4.56 c (4,3) x[46] = 0
9.59/4.56 c (4,3) x[47] = 0
9.59/4.56 c (4,3) x[48] = 0
9.59/4.56 c (4,3) x[49] = 0
9.59/4.56 c (4,3) x[50] = 0
9.59/4.56 c (4,3) x[51] = 0
9.59/4.56 c (4,3) x[52] = 0
9.59/4.56 c (4,3) x[53] = 0
9.59/4.56 c (4,3) x[54] = 0
9.59/4.56 c (4,3) x[55] = 0
9.59/4.56 c (4,3) x[56] = 0
9.59/4.56 c (4,3) x[57] = 0
9.59/4.56 c (4,3) x[58] = 0
9.59/4.56 c (4,3) x[59] = 0
9.59/4.56 c (4,3) x[60] = 0
9.59/4.56 c (4,3) x[61] = 0
9.59/4.56 c (4,3) x[62] = 0
9.59/4.56 c (4,3) x[63] = 0
9.59/4.56 c (4,3) x[64] = 0
9.59/4.56 c (4,3) x[65] = 0
9.59/4.56 c (4,3) x[66] = 0
9.59/4.56 c (4,3) x[67] = 0
9.59/4.56 c (4,3) x[68] = 0
9.59/4.57 c (4,3) x[69] = 0
9.59/4.57 c (4,3) x[70] = 0
9.59/4.57 c (4,3) x[71] = 0
9.59/4.57 c (4,3) x[72] = 0
9.59/4.57 c (4,3) x[73] = 0
9.59/4.57 c (4,3) x[74] = 1
9.59/4.57 c (4,3) x[75] = 0
9.59/4.57 c (4,3) x[76] = 0
9.59/4.57 c (4,3) x[77] = 0
9.59/4.57 c (4,3) x[78] = 0
9.59/4.57 c (4,3) x[79] = 0
9.59/4.57 c (4,3) x[80] = 0
9.59/4.57 c (4,3) x[81] = 0
9.59/4.57 c (4,3) x[82] = 0
9.59/4.57 c (4,3) x[83] = 0
9.59/4.57 c (4,3) x[84] = 0
9.59/4.57 c (4,3) x[85] = 0
9.59/4.57 c (4,3) x[86] = 0
9.59/4.57 c (4,3) x[87] = 0
9.59/4.57 c (4,3) x[88] = 0
9.59/4.57 c (4,3) x[89] = 0
9.59/4.57 c (4,3) x[90] = 0
9.59/4.57 c (4,3) x[91] = 0
9.59/4.57 c (4,3) x[92] = 0
9.59/4.57 c (4,3) x[93] = 0
9.59/4.57 c (4,3) x[94] = 0
9.59/4.57 c (4,3) x[95] = 0
9.59/4.57 c (4,3) x[96] = 0
9.59/4.57 c (4,3) x[97] = 0
9.59/4.57 c (4,3) x[98] = 0
9.59/4.57 c (4,3) x[99] = 0
9.59/4.57 c (4,3) x[100] = 0
9.59/4.57 c (4,3) x[101] = 0
9.59/4.57 c (4,3) x[102] = 0
9.59/4.57 c (4,3) x[103] = 0
9.59/4.57 c (4,3) x[104] = 0
9.59/4.57 c (4,3) x[105] = 0
9.59/4.57 c (4,3) x[106] = 0
9.59/4.57 c (4,3) x[107] = 0
9.59/4.57 c (4,3) x[108] = 0
9.59/4.57 c (4,3) x[109] = 1
9.59/4.57 c (4,3) x[110] = 0
9.59/4.57 c (4,3) x[111] = 0
9.59/4.57 c (4,3) x[112] = 0
9.59/4.57 c (4,3) x[113] = 0
9.59/4.57 c (4,3) x[114] = 0
9.59/4.57 c (4,3) x[115] = 0
9.59/4.57 c (4,3) x[116] = 0
9.59/4.57 c (4,3) x[117] = 0
9.59/4.57 c (4,3) x[118] = 0
9.59/4.57 c (4,3) x[119] = 0
9.59/4.57 c (4,3) x[120] = 0
9.59/4.57 c (4,3) x[121] = 0
9.59/4.57 c (4,3) x[122] = 0
9.59/4.57 c (4,3) x[123] = 0
9.59/4.57 c (4,3) x[124] = 0
9.59/4.57 c (4,3) x[125] = 0
9.59/4.57 c (4,3) x[126] = 0
9.59/4.57 c (4,3) x[127] = 0
9.59/4.57 c (4,3) x[128] = 0
9.59/4.57 c (4,3) x[129] = 1
9.59/4.57 c (4,3) x[130] = 0
9.59/4.57 c (4,3) x[131] = 0
9.59/4.57 c (4,3) x[132] = 0
9.59/4.57 c (4,3) x[133] = 0
9.59/4.57 c (4,3) x[134] = 0
9.59/4.57 c (4,3) x[135] = 0
9.59/4.57 c (4,3) x[136] = 0
9.59/4.57 c (4,3) x[137] = 0
9.59/4.57 c (4,3) x[138] = 0
9.59/4.57 c (4,3) x[139] = 0
9.59/4.57 c (4,3) x[140] = 0
9.59/4.57 c (4,3) x[141] = 0
9.59/4.57 c (4,3) x[142] = 1
9.59/4.57 c (4,3) x[143] = 0
9.59/4.57 c (4,3) x[144] = 0
9.59/4.57 c (4,3) x[145] = 0
9.59/4.57 c (4,3) x[146] = 0
9.59/4.57 c (4,3) x[147] = 0
9.59/4.57 c (4,3) x[148] = 0
9.59/4.57 c (4,3) x[149] = 0
9.59/4.57 c (4,3) x[150] = 0
9.59/4.57 c (4,3) x[151] = 0
9.59/4.57 c (4,3) x[152] = 0
9.59/4.57 c (4,3) x[153] = 0
9.59/4.57 c (4,3) x[154] = 0
9.59/4.57 c (4,3) x[155] = 0
9.59/4.57 c (4,3) x[156] = 0
9.59/4.57 c (4,3) x[157] = 0
9.59/4.57 c (4,3) x[158] = 0
9.59/4.57 c (4,3) x[159] = 0
9.59/4.57 c (4,3) x[160] = 0
9.59/4.57 c (4,3) x[161] = 0
9.59/4.57 c (4,3) x[162] = 0
9.59/4.57 c (4,3) x[163] = 0
9.59/4.57 c (4,3) x[164] = 0
9.59/4.57 c (4,3) x[165] = 0
9.59/4.57 c (4,3) x[166] = 0
9.59/4.57 c (4,3) x[167] = 0
9.59/4.57 c (4,3) x[168] = 0
9.59/4.57 c (4,3) x[169] = 0
9.59/4.57 c (4,3) x[170] = 0
9.59/4.57 c (4,3) x[171] = 0
9.59/4.57 c (4,3) x[172] = 0
9.59/4.57 c (4,3) x[173] = 0
9.59/4.57 c (4,3) x[174] = 0
9.59/4.57 c (4,3) x[175] = 0
9.59/4.57 c (4,3) x[176] = 0
9.59/4.57 c (4,3) x[177] = 0
9.59/4.57 c (4,3) x[178] = 0
9.59/4.57 c (4,3) x[179] = 1
9.59/4.57 c (4,3) x[180] = 0
9.59/4.57 c (4,3) x[181] = 0
9.59/4.57 c (4,3) x[182] = 0
9.59/4.57 c (4,3) x[183] = 0
9.59/4.57 c (4,3) x[184] = 0
9.59/4.57 c (4,3) x[185] = 0
9.59/4.57 c (4,3) x[186] = 0
9.59/4.57 c (4,3) x[187] = 0
9.59/4.57 c (4,3) x[188] = 0
9.59/4.57 c (4,3) x[189] = 0
9.59/4.57 c (4,3) x[190] = 0
9.59/4.57 c (4,3) x[191] = 0
9.59/4.57 c (4,3) x[192] = 0
9.59/4.57 c (4,3) x[193] = 0
9.59/4.57 c (4,3) x[194] = 0
9.59/4.57 c (4,3) x[195] = 0
9.59/4.57 c (4,3) x[196] = 0
9.59/4.57 c (4,3) x[197] = 0
9.59/4.57 c (4,3) x[198] = 0
9.59/4.57 c (4,3) x[199] = 0
9.59/4.57 c (4,3) x[200] = 0
9.59/4.57 c (4,3) x[201] = 0
9.59/4.57 c (4,3) x[202] = 0
9.59/4.57 c (4,3) x[203] = 0
9.59/4.57 c (4,3) x[204] = 0
9.59/4.57 c (4,3) x[205] = 0
9.59/4.57 c (4,3) x[206] = 0
9.59/4.57 c (4,3) x[207] = 0
9.59/4.57 c (4,3) x[208] = 0
9.59/4.57 c (4,3) x[209] = 0
9.59/4.57 c (4,3) x[210] = 0
9.59/4.57 c (4,3) x[211] = 0
9.59/4.57 c (4,3) x[212] = 0
9.59/4.57 c (4,3) x[213] = 0
9.59/4.57 c (4,3) x[214] = 0
9.59/4.57 c (4,3) x[215] = 0
9.59/4.57 c (4,3) x[216] = 0
9.59/4.57 c (4,3) x[217] = 0
9.59/4.57 c (4,3) x[218] = 1
9.59/4.58 c (4,3) x[219] = 0
9.59/4.58 c (4,3) x[220] = 0
9.59/4.58 c (4,3) x[221] = 0
9.59/4.58 c (4,3) x[222] = 0
9.59/4.58 c (4,3) x[223] = 0
9.59/4.58 c (4,3) x[224] = 0
9.59/4.58 c (4,3) x[225] = 0
9.59/4.58 c (4,3) x[226] = 0
9.59/4.58 c (4,3) x[227] = 0
9.59/4.58 c (4,3) x[228] = 0
9.59/4.58 c (4,3) x[229] = 0
9.59/4.58 c (4,3) x[230] = 0
9.59/4.58 c (4,3) x[231] = 0
9.59/4.58 c (4,3) x[232] = 0
9.59/4.58 c (4,3) x[233] = 0
9.59/4.58 c (4,3) x[234] = 0
9.59/4.58 c (4,3) x[235] = 0
9.59/4.58 c (4,3) x[236] = 0
9.59/4.58 c (4,3) x[237] = 0
9.59/4.58 c (4,3) x[238] = 0
9.59/4.58 c (4,3) x[239] = 0
9.59/4.58 c (4,3) x[240] = 0
9.59/4.58 c (4,3) x[241] = 0
9.59/4.58 c (4,3) x[242] = 0
9.59/4.58 c (4,3) x[243] = 1
9.59/4.58 c (4,3) x[244] = 0
9.59/4.58 c (4,3) x[245] = 0
9.59/4.58 c (4,3) x[246] = 0
9.59/4.58 c (4,3) x[247] = 0
9.59/4.58 c (4,3) x[248] = 0
9.59/4.58 c (4,3) x[249] = 0
9.59/4.58 c (4,3) x[250] = 0
9.59/4.58 c (4,3) x[251] = 0
9.59/4.58 c (4,3) x[252] = 0
9.59/4.58 c (4,3) x[253] = 0
9.59/4.58 c (4,3) x[254] = 0
9.59/4.58 c (4,3) x[255] = 0
9.59/4.58 c (4,3) x[256] = 0
9.59/4.58 c (4,3) x[257] = 0
9.59/4.58 c (4,3) x[258] = 0
9.59/4.58 c (4,3) x[259] = 0
9.59/4.58 c (4,3) x[260] = 0
9.59/4.58 c (4,3) x[261] = 0
9.59/4.58 c (4,3) x[262] = 0
9.59/4.58 c (4,3) x[263] = 0
9.59/4.58 c (4,3) x[264] = 0
9.59/4.58 c (4,3) x[265] = 0
9.59/4.58 c (4,3) x[266] = 0
9.59/4.58 c (4,3) x[267] = 0
9.59/4.58 c (4,3) x[268] = 0
9.59/4.58 c (4,3) x[269] = 0
9.59/4.58 c (4,3) x[270] = 0
9.59/4.58 c (4,3) x[271] = 0
9.59/4.58 c (4,3) x[272] = 0
9.59/4.58 c (4,3) x[273] = 0
9.59/4.58 c (4,3) x[274] = 0
9.59/4.58 c (4,3) x[275] = 1
9.59/4.58 c (4,3) x[276] = 0
9.59/4.58 c (4,3) x[277] = 0
9.59/4.58 c (4,3) x[278] = 0
9.59/4.58 c (4,3) x[279] = 0
9.59/4.58 c (4,3) x[280] = 0
9.59/4.58 c (4,3) x[281] = 0
9.59/4.58 c (4,3) x[282] = 0
9.59/4.58 c (4,3) x[283] = 0
9.59/4.58 c (4,3) x[284] = 0
9.59/4.58 c (4,3) x[285] = 0
9.59/4.58 c (4,3) x[286] = 0
9.59/4.58 c (4,3) x[287] = 0
9.59/4.58 c (4,3) x[288] = 0
9.59/4.58 c (4,3) x[289] = 0
9.59/4.58 c (4,3) x[290] = 0
9.59/4.58 c (4,3) x[291] = 0
9.59/4.58 c (4,3) x[292] = 1
9.59/4.58 c (4,3) x[293] = 0
9.59/4.58 c (4,3) x[294] = 0
9.59/4.58 c (4,3) x[295] = 0
9.59/4.58 c (4,3) x[296] = 0
9.59/4.58 c (4,3) x[297] = 0
9.59/4.58 c (4,3) x[298] = 0
9.59/4.58 c (4,3) x[299] = 0
9.59/4.58 c (4,3) x[300] = 0
9.59/4.58 c (4,3) x[301] = 0
9.59/4.58 c (4,3) x[302] = 0
9.59/4.58 c (4,3) x[303] = 0
9.59/4.58 c (4,3) x[304] = 0
9.59/4.58 c (4,3) x[305] = 0
9.59/4.58 c (4,3) x[306] = 0
9.59/4.58 c (4,3) x[307] = 0
9.59/4.58 c (4,3) x[308] = 0
9.59/4.58 c (4,3) x[309] = 1
9.59/4.58 c (4,3) x[310] = 0
9.59/4.58 c (4,3) x[311] = 0
9.59/4.58 c (4,3) x[312] = 0
9.59/4.58 c (4,3) x[313] = 0
9.59/4.58 c (4,3) x[314] = 0
9.59/4.58 c (4,3) x[315] = 0
9.59/4.58 c (4,3) x[316] = 0
9.59/4.58 c (4,3) x[317] = 0
9.59/4.58 c (4,3) x[318] = 0
9.59/4.58 c (4,3) x[319] = 0
9.59/4.58 c (4,3) x[320] = 0
9.59/4.58 c (4,3) x[321] = 0
9.59/4.58 c (4,3) x[322] = 0
9.59/4.58 c (4,3) x[323] = 0
9.59/4.58 c (4,3) x[324] = 0
9.59/4.58 c (4,3) x[325] = 0
9.59/4.58 c (4,3) x[326] = 0
9.59/4.58 c (4,3) x[327] = 0
9.59/4.58 c (4,3) x[328] = 0
9.59/4.58 c (4,3) x[329] = 0
9.59/4.58 c (4,3) x[330] = 0
9.59/4.58 c (4,3) x[331] = 0
9.59/4.58 c (4,3) x[332] = 0
9.59/4.58 c (4,3) x[333] = 0
9.59/4.58 c (4,3) x[334] = 0
9.59/4.58 c (4,3) x[335] = 0
9.59/4.58 c (4,3) x[336] = 0
9.59/4.58 c (4,3) x[337] = 0
9.59/4.58 c (4,3) x[338] = 0
9.59/4.58 c (4,3) x[339] = 0
9.59/4.58 c (4,3) x[340] = 0
9.59/4.58 c (4,3) x[341] = 0
9.59/4.58 c (4,3) x[342] = 0
9.59/4.58 c (4,3) x[343] = 0
9.59/4.58 c (4,3) x[344] = 0
9.59/4.58 c (4,3) x[345] = 0
9.59/4.58 c (4,3) x[346] = 1
9.59/4.58 c (4,3) x[347] = 0
9.59/4.58 c (4,3) x[348] = 0
9.59/4.58 c (4,3) x[349] = 0
9.59/4.58 c (4,3) x[350] = 0
9.59/4.58 c (4,3) x[351] = 0
9.59/4.58 c (4,3) x[352] = 0
9.59/4.58 c (4,3) x[353] = 0
9.59/4.58 c (4,3) x[354] = 0
9.59/4.58 c (4,3) x[355] = 0
9.59/4.58 c (4,3) x[356] = 0
9.59/4.58 c (4,3) x[357] = 0
9.59/4.58 c (4,3) x[358] = 0
9.59/4.58 c (4,3) x[359] = 0
9.59/4.58 c (4,3) x[360] = 0
9.59/4.58 c (4,3) x[361] = 0
9.59/4.58 c (4,3) x[362] = 0
9.59/4.58 c (4,3) x[363] = 0
9.59/4.58 c (4,3) x[364] = 0
9.59/4.58 c (4,3) x[365] = 0
9.59/4.58 c (4,3) x[366] = 0
9.59/4.58 c (4,3) x[367] = 0
9.59/4.58 c (4,3) x[368] = 0
9.59/4.58 c (4,3) x[369] = 0
9.59/4.58 c (4,3) x[370] = 0
9.59/4.58 c (4,3) x[371] = 0
9.59/4.58 c (4,3) x[372] = 0
9.59/4.58 c (4,3) x[373] = 0
9.59/4.58 c (4,3) x[374] = 0
9.59/4.58 c (4,3) x[375] = 0
9.59/4.58 c (4,3) x[376] = 0
9.59/4.58 c (4,3) x[377] = 0
9.59/4.58 c (4,3) x[378] = 0
9.59/4.58 c (4,3) x[379] = 0
9.59/4.58 c (4,3) x[380] = 0
9.59/4.58 c (4,3) x[381] = 0
9.59/4.58 c (4,3) x[382] = 0
9.59/4.58 c (4,3) x[383] = 0
9.59/4.58 c (4,3) x[384] = 0
9.59/4.58 c (4,3) x[385] = 0
9.59/4.58 c (4,3) x[386] = 0
9.59/4.58 c (4,3) x[387] = 0
9.59/4.58 c (4,3) x[388] = 1
9.59/4.58 c (4,3) x[389] = 0
9.59/4.58 c (4,3) x[390] = 0
9.59/4.58 c (4,3) x[391] = 0
9.59/4.58 c (4,3) x[392] = 0
9.59/4.58 c (4,3) x[393] = 0
9.59/4.58 c (4,3) x[394] = 0
9.59/4.58 c (4,3) x[395] = 0
9.59/4.58 c (4,3) x[396] = 0
9.59/4.58 c (4,3) x[397] = 1
9.59/4.58 c (4,3) x[398] = 0
9.59/4.58 c (4,3) x[399] = 0
9.59/4.58 c (4,3) x[400] = 0
9.59/4.58 c (4,3) x[401] = 0
9.59/4.58 c (4,3) x[402] = 0
9.59/4.58 c (4,3) x[403] = 0
9.59/4.58 c (4,3) x[404] = 0
9.59/4.58 c (4,3) x[405] = 0
9.59/4.58 c (4,3) x[406] = 0
9.59/4.58 c (4,3) x[407] = 0
9.59/4.58 c (4,3) x[408] = 0
9.59/4.58 c (4,3) x[409] = 0
9.59/4.58 c (4,3) x[410] = 0
9.59/4.58 c (4,3) x[411] = 0
9.59/4.58 c (4,3) x[412] = 0
9.59/4.58 c (4,3) x[413] = 0
9.59/4.58 c (4,3) x[414] = 0
9.59/4.58 c (4,3) x[415] = 0
9.59/4.58 c (4,3) x[416] = 0
9.59/4.58 c (4,3) x[417] = 0
9.59/4.58 c (4,3) x[418] = 0
9.59/4.58 c (4,3) x[419] = 0
9.59/4.58 c (4,3) x[420] = 0
9.59/4.58 c (4,3) x[421] = 0
9.59/4.58 c (4,3) x[422] = 0
9.59/4.58 c (4,3) x[423] = 0
9.59/4.58 c (4,3) x[424] = 0
9.59/4.58 c (4,3) x[425] = 0
9.59/4.58 c (4,3) x[426] = 0
9.59/4.58 c (4,3) x[427] = 0
9.59/4.58 c (4,3) x[428] = 0
9.59/4.58 c (4,3) x[429] = 0
9.59/4.58 c (4,3) x[430] = 0
9.59/4.58 c (4,3) x[431] = 0
9.59/4.58 c (4,3) x[432] = 0
9.59/4.58 c (4,3) x[433] = 1
9.59/4.58 c (4,3) x[434] = 0
9.59/4.58 c (4,3) x[435] = 0
9.59/4.58 c (4,3) x[436] = 0
9.59/4.58 c (4,3) x[437] = 0
9.59/4.58 c (4,3) x[438] = 0
9.59/4.58 c (4,3) x[439] = 0
9.59/4.58 c (4,3) x[440] = 0
9.59/4.58 c (4,3) x[441] = 0
9.59/4.58 c (4,3) x[442] = 0
9.59/4.58 c (4,3) x[443] = 0
9.59/4.58 c (4,3) x[444] = 0
9.59/4.58 c (4,3) x[445] = 0
9.59/4.58 c (4,3) x[446] = 0
9.59/4.58 c (4,3) x[447] = 0
9.59/4.58 c (4,3) x[448] = 0
9.59/4.58 c (4,3) x[449] = 0
9.59/4.58 c (4,3) x[450] = 0
9.59/4.58 c (4,3) x[451] = 0
9.59/4.58 c (4,3) x[452] = 0
9.59/4.58 c (4,3) x[453] = 0
9.59/4.58 c (4,3) x[454] = 0
9.59/4.58 c (4,3) x[455] = 0
9.59/4.58 c (4,3) x[456] = 0
9.59/4.58 c (4,3) x[457] = 0
9.59/4.58 c (4,3) x[458] = 0
9.59/4.58 c (4,3) x[459] = 0
9.59/4.58 c (4,3) x[460] = 0
9.59/4.58 c (4,3) x[461] = 0
9.59/4.58 c (4,3) x[462] = 0
9.59/4.58 c (4,3) x[463] = 0
9.59/4.58 c (4,3) x[464] = 1
9.59/4.58 c (4,3) x[465] = 0
9.59/4.58 c (4,3) x[466] = 0
9.59/4.58 c (4,3) x[467] = 0
9.59/4.58 c (4,3) x[468] = 0
9.59/4.58 c (4,3) x[469] = 0
9.59/4.58 c (4,3) x[470] = 0
9.59/4.58 c (4,3) x[471] = 0
9.59/4.58 c (4,3) x[472] = 0
9.59/4.58 c (4,3) x[473] = 0
9.59/4.58 c (4,3) x[474] = 0
9.59/4.58 c (4,3) x[475] = 0
9.59/4.58 c (4,3) x[476] = 0
9.59/4.58 c (4,3) x[477] = 0
9.59/4.58 c (4,3) x[478] = 0
9.59/4.58 c (4,3) x[479] = 0
9.59/4.58 c (4,3) x[480] = 1
9.59/4.58 c (4,3) x[481] = 0
9.59/4.58 c (4,3) x[482] = 0
9.59/4.58 c (4,3) x[483] = 0
9.59/4.58 c (4,3) x[484] = 0
9.59/4.58 c (4,3) x[485] = 0
9.59/4.58 c (4,3) x[486] = 0
9.59/4.58 c (4,3) x[487] = 0
9.59/4.58 c (4,3) x[488] = 0
9.59/4.58 c (4,3) x[489] = 0
9.59/4.58 c (4,3) x[490] = 0
9.59/4.58 c (4,3) x[491] = 0
9.59/4.58 c (4,3) x[492] = 0
9.59/4.58 c (4,3) x[493] = 0
9.59/4.58 c (4,3) x[494] = 0
9.59/4.58 c (4,3) x[495] = 0
9.59/4.58 c (4,3) x[496] = 0
9.59/4.58 c (4,3) x[497] = 0
9.59/4.58 c (4,3) x[498] = 0
9.59/4.58 c (4,3) x[499] = 0
9.59/4.58 c (4,3) x[500] = 0
9.59/4.58 c (4,3) x[501] = 0
9.59/4.58 c (4,3) x[502] = 0
9.59/4.58 c (4,3) x[503] = 0
9.59/4.58 c (4,3) x[504] = 0
9.59/4.58 c (4,3) x[505] = 0
9.59/4.58 c (4,3) x[506] = 0
9.59/4.58 c (4,3) x[507] = 0
9.59/4.58 c (4,3) x[508] = 0
9.59/4.58 c (4,3) x[509] = 0
9.59/4.58 c (4,3) x[510] = 0
9.59/4.58 c (4,3) x[511] = 0
9.59/4.58 c (4,3) x[512] = 0
9.59/4.58 c (4,3) x[513] = 0
9.59/4.58 c (4,3) x[514] = 0
9.59/4.58 c (4,3) x[515] = 0
9.59/4.58 c (4,3) x[516] = 0
9.59/4.58 c (4,3) x[517] = 0
9.59/4.58 c (4,3) x[518] = 0
9.59/4.58 c (4,3) x[519] = 0
9.59/4.58 c (4,3) x[520] = 0
9.59/4.58 c (4,3) x[521] = 0
9.59/4.58 c (4,3) x[522] = 0
9.59/4.58 c (4,3) x[523] = 0
9.59/4.58 c (4,3) x[524] = 0
9.59/4.58 c (4,3) x[525] = 1
9.59/4.58 c (4,3) x[526] = 0
9.59/4.58 c (4,3) x[527] = 0
9.59/4.58 c (4,3) x[528] = 0
9.59/4.58 c (4,3) x[529] = 0
9.59/4.58 c (4,3) x[530] = 0
9.59/4.58 c (4,3) x[531] = 0
9.59/4.58 c (4,3) x[532] = 0
9.59/4.58 c (4,3) x[533] = 0
9.59/4.58 c (4,3) x[534] = 0
9.59/4.58 c (4,3) x[535] = 0
9.59/4.58 c (4,3) x[536] = 0
9.59/4.58 c (4,3) x[537] = 0
9.59/4.58 c (4,3) x[538] = 0
9.59/4.58 c (4,3) x[539] = 0
9.59/4.58 c (4,3) x[540] = 0
9.59/4.58 c (4,3) x[541] = 1
9.59/4.58 c (4,3) x[542] = 0
9.59/4.58 c (4,3) x[543] = 0
9.59/4.58 c (4,3) x[544] = 0
9.59/4.58 c (4,3) x[545] = 0
9.59/4.58 c (4,3) x[546] = 0
9.59/4.58 c (4,3) x[547] = 0
9.59/4.58 c (4,3) x[548] = 0
9.59/4.58 c (4,3) x[549] = 0
9.59/4.58 c (4,3) x[550] = 0
9.59/4.58 c (4,3) x[551] = 0
9.59/4.58 c (4,3) x[552] = 0
9.59/4.58 c (4,3) x[553] = 0
9.59/4.58 c (4,3) x[554] = 0
9.59/4.58 c (4,3) x[555] = 0
9.59/4.58 c (4,3) x[556] = 0
9.59/4.58 c (4,3) x[557] = 0
9.59/4.58 c (4,3) x[558] = 0
9.59/4.58 c (4,3) x[559] = 0
9.59/4.58 c (4,3) x[560] = 0
9.59/4.58 c (4,3) x[561] = 0
9.59/4.58 c (4,3) x[562] = 0
9.59/4.58 c (4,3) x[563] = 1
9.59/4.58 c (4,3) x[564] = 0
9.59/4.58 c (4,3) x[565] = 0
9.59/4.58 c (4,3) x[566] = 0
9.59/4.58 c (4,3) x[567] = 0
9.59/4.58 c (4,3) x[568] = 0
9.59/4.58 c (4,3) x[569] = 0
9.59/4.58 c (4,3) x[570] = 0
9.59/4.58 c (4,3) x[571] = 0
9.59/4.58 c (4,3) x[572] = 0
9.59/4.58 c (4,3) x[573] = 0
9.59/4.58 c (4,3) x[574] = 0
9.59/4.58 c (4,3) x[575] = 0
9.59/4.58 c (4,3) x[576] = 0
9.59/4.58 c (4,3) x[577] = 0
9.59/4.58 c (4,3) x[578] = 0
9.59/4.58 c (4,3) x[579] = 0
9.59/4.58 c (4,3) x[580] = 0
9.59/4.58 c (4,3) x[581] = 0
9.59/4.58 c (4,3) x[582] = 0
9.59/4.58 c (4,3) x[583] = 0
9.59/4.58 c (4,3) x[584] = 0
9.59/4.58 c (4,3) x[585] = 0
9.59/4.58 c (4,3) x[586] = 0
9.59/4.58 c (4,3) x[587] = 0
9.59/4.58 c (4,3) x[588] = 0
9.59/4.58 c (4,3) x[589] = 0
9.59/4.58 c (4,3) x[590] = 0
9.59/4.58 c (4,3) x[591] = 0
9.59/4.58 c (4,3) x[592] = 0
9.59/4.58 c (4,3) x[593] = 0
9.59/4.58 c (4,3) x[594] = 0
9.59/4.58 c (4,3) x[595] = 0
9.59/4.58 c (4,3) x[596] = 1
9.59/4.58 c (4,3) x[597] = 0
9.59/4.58 c (4,3) x[598] = 0
9.59/4.58 c (4,3) x[599] = 0
9.59/4.58 c (4,3) x[600] = 0
9.59/4.58 c (4,3) x[601] = 0
9.59/4.58 c (4,3) x[602] = 0
9.59/4.58 c (4,3) x[603] = 0
9.59/4.58 c (4,3) x[604] = 0
9.59/4.58 c (4,3) x[605] = 0
9.59/4.58 c (4,3) x[606] = 0
9.59/4.58 c (4,3) x[607] = 0
9.59/4.58 c (4,3) x[608] = 0
9.59/4.58 c (4,3) x[609] = 0
9.59/4.58 c (4,3) x[610] = 0
9.59/4.58 c (4,3) x[611] = 0
9.59/4.58 c (4,3) x[612] = 0
9.59/4.58 c (4,3) x[613] = 0
9.59/4.58 c (4,3) x[614] = 0
9.59/4.58 c (4,3) x[615] = 0
9.59/4.58 c (4,3) x[616] = 0
9.59/4.58 c (4,3) x[617] = 0
9.59/4.58 c (4,3) x[618] = 0
9.59/4.58 c (4,3) x[619] = 0
9.59/4.58 c (4,3) x[620] = 0
9.59/4.58 c (4,3) x[621] = 0
9.59/4.58 c (4,3) x[622] = 0
9.59/4.58 c (4,3) x[623] = 0
9.59/4.58 c (4,3) x[624] = 0
9.59/4.58 c (4,3) x[625] = 0
9.59/4.58 c (4,3) x[626] = 0
9.59/4.58 c (4,3) x[627] = 0
9.59/4.58 c (4,3) x[628] = 0
9.59/4.58 c (4,3) x[629] = 0
9.59/4.58 c (4,3) x[630] = 0
9.59/4.58 c (4,3) x[631] = 1
9.59/4.58 c (4,3) x[632] = 0
9.59/4.58 c (4,3) x[633] = 0
9.59/4.58 c (4,3) x[634] = 0
9.59/4.58 c (4,3) x[635] = 0
9.59/4.58 c (4,3) x[636] = 0
9.59/4.58 c (4,3) x[637] = 0
9.59/4.58 c (4,3) x[638] = 0
9.59/4.58 c (4,3) x[639] = 0
9.59/4.58 c (4,3) x[640] = 0
9.59/4.58 c (4,3) x[641] = 0
9.59/4.58 c (4,3) x[642] = 0
9.59/4.58 c (4,3) x[643] = 0
9.59/4.58 c (4,3) x[644] = 0
9.59/4.58 c (4,3) x[645] = 0
9.59/4.58 c (4,3) x[646] = 0
9.59/4.58 c (4,3) x[647] = 0
9.59/4.58 c (4,3) x[648] = 0
9.59/4.58 c (4,3) x[649] = 0
9.59/4.58 c (4,3) x[650] = 0
9.59/4.58 c (4,3) x[651] = 0
9.59/4.58 c (4,3) x[652] = 0
9.59/4.58 c (4,3) x[653] = 0
9.59/4.58 c (4,3) x[654] = 0
9.59/4.58 c (4,3) x[655] = 0
9.59/4.58 c (4,3) x[656] = 0
9.59/4.58 c (4,3) x[657] = 0
9.59/4.58 c (4,3) x[658] = 0
9.59/4.58 c (4,3) x[659] = 0
9.59/4.58 c (4,3) x[660] = 0
9.59/4.58 c (4,3) x[661] = 0
9.59/4.58 c (4,3) x[662] = 0
9.59/4.58 c (4,3) x[663] = 0
9.59/4.58 c (4,3) x[664] = 0
9.59/4.58 c (4,3) x[665] = 0
9.59/4.58 c (4,3) x[666] = 0
9.59/4.58 c (4,3) x[667] = 0
9.59/4.58 c (4,3) x[668] = 0
9.59/4.58 c (4,3) x[669] = 0
9.59/4.58 c (4,3) x[670] = 0
9.59/4.58 c (4,3) x[671] = 1
9.59/4.58 c (4,3) x[672] = 0
9.59/4.58 c (4,3) x[673] = 0
9.59/4.58 c (4,3) x[674] = 0
9.59/4.58 c (4,3) x[675] = 0
9.59/4.58 c (4,3) x[676] = 0
9.59/4.58 c (4,3) x[677] = 0
9.59/4.58 c (4,3) x[678] = 0
9.59/4.58 c (4,3) x[679] = 0
9.59/4.58 c (4,3) x[680] = 0
9.59/4.58 c (4,3) x[681] = 0
9.59/4.58 c (4,3) x[682] = 0
9.59/4.58 c (4,3) x[683] = 0
9.59/4.58 c (4,3) x[684] = 0
9.59/4.58 c (4,3) x[685] = 0
9.59/4.58 c (4,3) x[686] = 0
9.59/4.58 c (4,3) x[687] = 0
9.59/4.58 c (4,3) x[688] = 0
9.59/4.58 c (4,3) x[689] = 0
9.59/4.58 c (4,3) x[690] = 0
9.59/4.58 c (4,3) x[691] = 0
9.59/4.58 c (4,3) x[692] = 1
9.59/4.58 c (4,3) x[693] = 0
9.59/4.58 c (4,3) x[694] = 0
9.59/4.58 c (4,3) x[695] = 0
9.59/4.58 c (4,3) x[696] = 0
9.59/4.58 c (4,3) x[697] = 0
9.59/4.58 c (4,3) x[698] = 0
9.59/4.58 c (4,3) x[699] = 0
9.59/4.58 c (4,3) x[700] = 0
9.59/4.58 c (4,3) x[701] = 0
9.59/4.58 c (4,3) x[702] = 0
9.59/4.58 c (4,3) x[703] = 0
9.59/4.58 c (4,3) x[704] = 0
9.59/4.58 c (4,3) x[705] = 0
9.59/4.58 c (4,3) x[706] = 0
9.59/4.58 c (4,3) x[707] = 0
9.59/4.58 c (4,3) x[708] = 0
9.59/4.58 c (4,3) x[709] = 0
9.59/4.58 c (4,3) x[710] = 0
9.59/4.58 c (4,3) x[711] = 0
9.59/4.58 c (4,3) x[712] = 0
9.59/4.58 c (4,3) x[713] = 0
9.59/4.58 c (4,3) x[714] = 0
9.59/4.58 c (4,3) x[715] = 0
9.59/4.58 c (4,3) x[716] = 0
9.59/4.58 c (4,3) x[717] = 0
9.59/4.58 c (4,3) x[718] = 0
9.59/4.58 c (4,3) x[719] = 0
9.59/4.58 c (4,3) x[720] = 0
9.59/4.58 c (4,3) x[721] = 0
9.59/4.58 c (4,3) x[722] = 0
9.59/4.58 c (4,3) x[723] = 0
9.59/4.58 c (4,3) x[724] = 0
9.59/4.58 c (4,3) x[725] = 0
9.59/4.58 c (4,3) x[726] = 1
9.59/4.58 c (4,3) x[727] = 0
9.59/4.58 c (4,3) x[728] = 0
9.59/4.58 c (4,3) x[729] = 0
9.59/4.58 c (4,3) x[730] = 0
9.59/4.58 c (4,3) x[731] = 0
9.59/4.58 c (4,3) x[732] = 0
9.59/4.58 c (4,3) x[733] = 0
9.59/4.58 c (4,3) x[734] = 0
9.59/4.58 c (4,3) x[735] = 0
9.59/4.58 c (4,3) x[736] = 0
9.59/4.58 c (4,3) x[737] = 0
9.59/4.58 c (4,3) x[738] = 0
9.59/4.58 c (4,3) x[739] = 0
9.59/4.58 c (4,3) x[740] = 0
9.59/4.58 c (4,3) x[741] = 0
9.59/4.58 c (4,3) x[742] = 1
9.59/4.58 c (4,3) x[743] = 0
9.59/4.58 c (4,3) x[744] = 0
9.59/4.58 c (4,3) x[745] = 0
9.59/4.58 c (4,3) x[746] = 0
9.59/4.58 c (4,3) x[747] = 0
9.59/4.58 c (4,3) x[748] = 0
9.59/4.58 c (4,3) x[749] = 0
9.59/4.58 c (4,3) x[750] = 0
9.59/4.58 c (4,3) x[751] = 0
9.59/4.58 c (4,3) x[752] = 0
9.59/4.58 c (4,3) x[753] = 0
9.59/4.58 c (4,3) x[754] = 0
9.59/4.58 c (4,3) x[755] = 0
9.59/4.58 c (4,3) x[756] = 1
9.59/4.58 c (4,3) x[757] = 0
9.59/4.58 c (4,3) x[758] = 0
9.59/4.58 c (4,3) x[759] = 0
9.59/4.58 c (4,3) x[760] = 0
9.59/4.58 c (4,3) x[761] = 0
9.59/4.58 c (4,3) x[762] = 0
9.59/4.58 c (4,3) x[763] = 0
9.59/4.58 c (4,3) x[764] = 0
9.59/4.58 c (4,3) x[765] = 0
9.59/4.58 c (4,3) x[766] = 0
9.59/4.58 c (4,3) x[767] = 0
9.59/4.58 c (4,3) x[768] = 0
9.59/4.58 c (4,3) x[769] = 0
9.59/4.58 c (4,3) x[770] = 0
9.59/4.58 c (4,3) x[771] = 0
9.59/4.58 c (4,3) x[772] = 0
9.59/4.58 c (4,3) x[773] = 0
9.59/4.58 c (4,3) x[774] = 0
9.59/4.58 c (4,3) x[775] = 0
9.59/4.58 c (4,3) x[776] = 0
9.59/4.58 c (4,3) x[777] = 0
9.59/4.58 c (4,3) x[778] = 0
9.59/4.58 c (4,3) x[779] = 0
9.59/4.58 c (4,3) x[780] = 0
9.59/4.58 c (4,3) x[781] = 0
9.59/4.58 c (4,3) x[782] = 0
9.59/4.58 c (4,3) x[783] = 0
9.59/4.58 s SATISFIABLE
9.59/4.58 v <instantiation>
9.59/4.58 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783]</list>
9.59/4.58 v <values>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 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
9.59/4.58 v </instantiation>
9.59/4.58 c (4,3) Show results End
9.59/4.58 c (4,3) Heap : 1633 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
9.59/4.58 c (4,3) 0,0,1,1,1,2,3,4,4,STOP-AFTER(ALL)
9.59/4.58 c END-Prog: Mon Jul 23 13:58:39 CEST 2018
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 (4337 MiB free)
memory of node 1: 16384 MiB (10509 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293784-1532347115/watcher-4293784-1532347115 -o /tmp/evaluation-result-4293784-1532347115/solver-4293784-1532347115 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4293784-1532347115.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB
solver pid=7349, runsolver pid=7346
[startup+0.103871 s]*
/proc/loadavg: 2.01 2.06 2.09 3/220 7364
/proc/meminfo: memFree=15144636/32770624 swapFree=67108860/67108860
[pid=7349] ppid=7346 vsize=15011656 memory=72616 CPUtime=0.12 cores=0,2,4,6
/proc/7349/stat : 7349 (java) S 7346 7349 2271 0 -1 1077944320 7344 0 0 0 10 2 0 0 20 0 15 0 52274652 15371935744 18154 33554432000 4194304 4196468 140730035780352 140730035762896 140109138243319 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
/proc/7349/statm: 3752914 18154 2780 1 0 3715374 0
[pid=7349/tid=7351] ppid=7346 vsize=15011656 memory=4572176857547510675 CPUtime=0.09 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (java) R 7346 7349 2271 0 -1 4202560 5417 0 0 0 8 1 0 0 20 0 15 0 52274652 15371935744 18226 33554432000 4194304 4196468 140730035780352 140109110055304 140109122286949 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7352] ppid=7346 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (java) S 7346 7349 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52274654 15371935744 18226 33554432000 4194304 4196468 140730035780352 140109142485520 140109138253525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7353] ppid=7346 vsize=15011656 memory=139850082203264 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7353/stat : 7353 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52274654 15371935744 18226 33554432000 4194304 4196468 140730035780352 140108956641936 140109138253525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7354] ppid=7346 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7354/stat : 7354 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52274654 15371935744 18226 33554432000 4194304 4196468 140730035780352 140108955588880 140109138253525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7355] ppid=7346 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7355/stat : 7355 (java) S 7346 7349 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52274654 15371935744 18226 33554432000 4194304 4196468 140730035780352 140108954536336 140109138253525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7356] ppid=7346 vsize=15011656 memory=139850082203264 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7356/stat : 7356 (java) S 7346 7349 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52274656 15371935744 18226 33554432000 4194304 4196468 140730035780352 140108108880624 140109138254466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7357] ppid=7346 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7357/stat : 7357 (java) S 7346 7349 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52274656 15371935744 18226 33554432000 4194304 4196468 140730035780352 140107738769056 140109138253525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7358] ppid=7346 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7358/stat : 7358 (java) S 7346 7349 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52274656 15371935744 18226 33554432000 4194304 4196468 140730035780352 140107604546800 140109138253525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7359] ppid=7346 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7359/stat : 7359 (java) S 7346 7349 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52274659 15371935744 18226 33554432000 4194304 4196468 140730035780352 140107230042576 140109138261915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7360] ppid=7346 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7360/stat : 7360 (java) R 7346 7349 2271 0 -1 4202560 395 0 0 0 0 0 0 0 20 0 15 0 52274659 15371935744 18226 33554432000 4194304 4196468 140730035780352 140108107827736 140109118681149 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7361] ppid=7346 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7361/stat : 7361 (java) S 7346 7349 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52274659 15371935744 18292 33554432000 4194304 4196468 140730035780352 140108106774896 140109138254466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7362] ppid=7346 vsize=15011656 memory=139850082203264 CPUtime=0.01 cores=0,2,4,6
/proc/7349/task/7362/stat : 7362 (java) R 7346 7349 2271 0 -1 4202560 283 0 0 0 1 0 0 0 20 0 15 0 52274659 15371935744 18292 33554432000 4194304 4196468 140730035780352 140108105721840 140109117161891 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7363] ppid=7346 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7363/stat : 7363 (java) S 7346 7349 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52274659 15371935744 18292 33554432000 4194304 4196468 140730035780352 140106732136800 140109138253525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7364] ppid=7346 vsize=15011656 memory=139850082203264 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7364/stat : 7364 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52274659 15371935744 18292 33554432000 4194304 4196468 140730035780352 140108104670256 140109138254466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72616 KiB
[startup+0.210551 s]*
/proc/loadavg: 2.01 2.06 2.09 3/220 7364
/proc/meminfo: memFree=15132248/32770624 swapFree=67108860/67108860
[pid=7349] ppid=7346 vsize=15011656 memory=83600 CPUtime=0.26 cores=0,2,4,6
/proc/7349/stat : 7349 (java) S 7346 7349 2271 0 -1 1077944320 10381 0 0 0 23 3 0 0 20 0 15 0 52274652 15371935744 20900 33554432000 4194304 4196468 140730035780352 140730035762896 140109138243319 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
/proc/7349/statm: 3752914 20900 2891 1 0 3715374 0
[pid=7349/tid=7351] ppid=7346 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (java) R 7346 7349 2271 0 -1 4202560 8268 0 0 0 18 2 0 0 20 0 15 0 52274652 15371935744 20900 33554432000 4194304 4196468 140730035780352 140109110069712 140109122370279 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7352] ppid=7346 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (java) S 7346 7349 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52274654 15371935744 20900 33554432000 4194304 4196468 140730035780352 140109142485520 140109138253525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7353] ppid=7346 vsize=15011656 memory=139850082218330 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7353/stat : 7353 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52274654 15371935744 20900 33554432000 4194304 4196468 140730035780352 140108956641936 140109138253525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7354] ppid=7346 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7354/stat : 7354 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52274654 15371935744 20900 33554432000 4194304 4196468 140730035780352 140108955588880 140109138253525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7355] ppid=7346 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7355/stat : 7355 (java) S 7346 7349 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52274654 15371935744 20900 33554432000 4194304 4196468 140730035780352 140108954536336 140109138253525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7356] ppid=7346 vsize=15011656 memory=139850082203264 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7356/stat : 7356 (java) S 7346 7349 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52274656 15371935744 20900 33554432000 4194304 4196468 140730035780352 140108108880624 140109138254466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7357] ppid=7346 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7357/stat : 7357 (java) S 7346 7349 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52274656 15371935744 20900 33554432000 4194304 4196468 140730035780352 140107738769056 140109138253525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7358] ppid=7346 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7358/stat : 7358 (java) S 7346 7349 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52274656 15371935744 20900 33554432000 4194304 4196468 140730035780352 140107604546800 140109138253525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7359] ppid=7346 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7359/stat : 7359 (java) S 7346 7349 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52274659 15371935744 20900 33554432000 4194304 4196468 140730035780352 140107230042576 140109138261915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7360] ppid=7346 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7349/task/7360/stat : 7360 (java) S 7346 7349 2271 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 15 0 52274659 15371935744 20900 33554432000 4194304 4196468 140730035780352 140108107827440 140109138254466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7361] ppid=7346 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7361/stat : 7361 (java) S 7346 7349 2271 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 52274659 15371935744 20900 33554432000 4194304 4196468 140730035780352 140108106774896 140109138254466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7362] ppid=7346 vsize=15011656 memory=139850082203264 CPUtime=0.03 cores=0,2,4,6
/proc/7349/task/7362/stat : 7362 (java) S 7346 7349 2271 0 -1 1077944384 297 0 0 0 3 0 0 0 20 0 15 0 52274659 15371935744 20900 33554432000 4194304 4196468 140730035780352 140108105721840 140109138254466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7363] ppid=7346 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7363/stat : 7363 (java) S 7346 7349 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52274659 15371935744 20900 33554432000 4194304 4196468 140730035780352 140106732136800 140109138253525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7364] ppid=7346 vsize=15011656 memory=139850082203264 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7364/stat : 7364 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52274659 15371935744 20900 33554432000 4194304 4196468 140730035780352 140108104670256 140109138254466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 83600 KiB
[startup+0.310489 s]*
/proc/loadavg: 2.01 2.06 2.09 3/220 7364
/proc/meminfo: memFree=15128464/32770624 swapFree=67108860/67108860
[pid=7349] ppid=7346 vsize=15011656 memory=87668 CPUtime=0.43 cores=0,2,4,6
/proc/7349/stat : 7349 (java) S 7346 7349 2271 0 -1 1077944320 10993 0 0 0 40 3 0 0 20 0 15 0 52274652 15371935744 21917 33554432000 4194304 4196468 140730035780352 140730035762896 140109138243319 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
/proc/7349/statm: 3752914 21917 2990 1 0 3715374 0
[pid=7349/tid=7351] ppid=7346 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (java) R 7346 7349 2271 0 -1 4202560 8695 0 0 0 27 2 0 0 20 0 15 0 52274652 15371935744 21917 33554432000 4194304 4196468 140730035780352 140109110047472 140109122323806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7352] ppid=7346 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (java) S 7346 7349 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52274654 15371935744 21917 33554432000 4194304 4196468 140730035780352 140109142485520 140109138253525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7353] ppid=7346 vsize=15011656 memory=3977017336120228602 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7353/stat : 7353 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52274654 15371935744 21917 33554432000 4194304 4196468 140730035780352 140108956641936 140109138253525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7354] ppid=7346 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7354/stat : 7354 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52274654 15371935744 21917 33554432000 4194304 4196468 140730035780352 140108955588880 140109138253525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7355] ppid=7346 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7355/stat : 7355 (java) S 7346 7349 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52274654 15371935744 21917 33554432000 4194304 4196468 140730035780352 140108954536336 140109138253525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7356] ppid=7346 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7356/stat : 7356 (java) S 7346 7349 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52274656 15371935744 21917 33554432000 4194304 4196468 140730035780352 140108108880624 140109138254466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7357] ppid=7346 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7357/stat : 7357 (java) S 7346 7349 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52274656 15371935744 21917 33554432000 4194304 4196468 140730035780352 140107738769056 140109138253525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7358] ppid=7346 vsize=15011656 memory=139850082203264 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7358/stat : 7358 (java) S 7346 7349 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52274656 15371935744 21917 33554432000 4194304 4196468 140730035780352 140107604546800 140109138253525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7359] ppid=7346 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7359/stat : 7359 (java) S 7346 7349 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52274659 15371935744 21917 33554432000 4194304 4196468 140730035780352 140107230042576 140109138261915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7360] ppid=7346 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7349/task/7360/stat : 7360 (java) R 7346 7349 2271 0 -1 4202560 494 0 0 0 2 0 0 0 20 0 15 0 52274659 15371935744 21917 33554432000 4194304 4196468 140730035780352 140108107827440 140109119779459 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7361] ppid=7346 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/7349/task/7361/stat : 7361 (java) S 7346 7349 2271 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 15 0 52274659 15371935744 21917 33554432000 4194304 4196468 140730035780352 140108106774896 140109138254466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7362] ppid=7346 vsize=15011656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7349/task/7362/stat : 7362 (java) S 7346 7349 2271 0 -1 1077944384 339 0 0 0 7 0 0 0 20 0 15 0 52274659 15371935744 21917 33554432000 4194304 4196468 140730035780352 140108105721840 140109138254466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7363] ppid=7346 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7363/stat : 7363 (java) S 7346 7349 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52274659 15371935744 21917 33554432000 4194304 4196468 140730035780352 140106732136800 140109138253525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7364] ppid=7346 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7364/stat : 7364 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52274659 15371935744 21917 33554432000 4194304 4196468 140730035780352 140108104670256 140109138254466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87668 KiB
[startup+0.703866 s]
/proc/loadavg: 2.01 2.06 2.09 4/220 7364
/proc/meminfo: memFree=15104280/32770624 swapFree=67108860/67108860
[pid=7349] ppid=7346 vsize=15020052 memory=127608 CPUtime=1.02 cores=0,2,4,6
/proc/7349/stat : 7349 (java) S 7346 7349 2271 0 -1 1077944320 18107 0 0 0 97 5 0 0 20 0 15 0 52274652 15380533248 31902 33554432000 4194304 4196468 140730035780352 140730035762896 140109138243319 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
/proc/7349/statm: 3755013 31902 3168 1 0 3716398 0
[pid=7349/tid=7351] ppid=7346 vsize=15020052 memory=796 CPUtime=0.67 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (java) R 7346 7349 2271 0 -1 4202560 15342 0 0 0 63 4 0 0 20 0 15 0 52274652 15380533248 31902 33554432000 4194304 4196468 140730035780352 140109110075232 140109120098641 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7352] ppid=7346 vsize=15020052 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (java) S 7346 7349 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52274654 15380533248 31902 33554432000 4194304 4196468 140730035780352 140109142485520 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7353] ppid=7346 vsize=15020052 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7353/stat : 7353 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52274654 15380533248 31902 33554432000 4194304 4196468 140730035780352 140108956641936 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7354] ppid=7346 vsize=15020052 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7354/stat : 7354 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52274654 15380533248 31902 33554432000 4194304 4196468 140730035780352 140108955588880 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7355] ppid=7346 vsize=15020052 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7355/stat : 7355 (java) S 7346 7349 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52274654 15380533248 31902 33554432000 4194304 4196468 140730035780352 140108954536336 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7356] ppid=7346 vsize=15020052 memory=279699947562784 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7356/stat : 7356 (java) S 7346 7349 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52274656 15380533248 31902 33554432000 4194304 4196468 140730035780352 140108108880624 140109138254466 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7357] ppid=7346 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7357/stat : 7357 (java) S 7346 7349 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52274656 15380533248 31902 33554432000 4194304 4196468 140730035780352 140107738769056 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7358] ppid=7346 vsize=15020052 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7358/stat : 7358 (java) S 7346 7349 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52274656 15380533248 31902 33554432000 4194304 4196468 140730035780352 140107604546800 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7359] ppid=7346 vsize=15020052 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7359/stat : 7359 (java) S 7346 7349 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52274659 15380533248 31902 33554432000 4194304 4196468 140730035780352 140107230042576 140109138261915 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7360] ppid=7346 vsize=15020052 memory=8380 CPUtime=0.1 cores=0,2,4,6
/proc/7349/task/7360/stat : 7360 (java) R 7346 7349 2271 0 -1 4202560 736 0 0 0 10 0 0 0 20 0 15 0 52274659 15380533248 31902 33554432000 4194304 4196468 140730035780352 140108107814256 140109123369727 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7361] ppid=7346 vsize=15020052 memory=7307210974946176466 CPUtime=0.06 cores=0,2,4,6
/proc/7349/task/7361/stat : 7361 (java) S 7346 7349 2271 0 -1 1077944384 179 0 0 0 6 0 0 0 20 0 15 0 52274659 15380533248 31902 33554432000 4194304 4196468 140730035780352 140108106774896 140109138254466 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7362] ppid=7346 vsize=15020052 memory=7302135314614015847 CPUtime=0.16 cores=0,2,4,6
/proc/7349/task/7362/stat : 7362 (java) S 7346 7349 2271 0 -1 1077944384 490 0 0 0 16 0 0 0 20 0 15 0 52274659 15380533248 31902 33554432000 4194304 4196468 140730035780352 140108105721840 140109138254466 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7363] ppid=7346 vsize=15020052 memory=7885635084775281008 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7363/stat : 7363 (java) S 7346 7349 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52274659 15380533248 31902 33554432000 4194304 4196468 140730035780352 140106732136800 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7364] ppid=7346 vsize=15020052 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7364/stat : 7364 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52274659 15380533248 31902 33554432000 4194304 4196468 140730035780352 140108104670256 140109138254466 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 127608 KiB
[startup+1.50089 s]
/proc/loadavg: 2.01 2.06 2.09 4/220 7364
/proc/meminfo: memFree=15072268/32770624 swapFree=67108860/67108860
[pid=7349] ppid=7346 vsize=15022100 memory=200404 CPUtime=3.28 cores=0,2,4,6
/proc/7349/stat : 7349 (java) S 7346 7349 2271 0 -1 1077944320 21494 0 0 0 319 9 0 0 20 0 15 0 52274652 15382630400 50101 33554432000 4194304 4196468 140730035780352 140730035762896 140109138243319 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
/proc/7349/statm: 3755525 50101 3206 1 0 3716910 0
[pid=7349/tid=7351] ppid=7346 vsize=15022100 memory=288230377108275491 CPUtime=1.46 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (java) R 7346 7349 2271 0 -1 4202560 16288 0 0 0 140 6 0 0 20 0 15 0 52274652 15382630400 50101 33554432000 4194304 4196468 140730035780352 140109110079536 140108628001007 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7352] ppid=7346 vsize=15022100 memory=288293289789228285 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (java) S 7346 7349 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52274654 15382630400 50101 33554432000 4194304 4196468 140730035780352 140109142485520 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7353] ppid=7346 vsize=15022100 memory=288285580272600099 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7353/stat : 7353 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52274654 15382630400 50101 33554432000 4194304 4196468 140730035780352 140108956641936 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7354] ppid=7346 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7354/stat : 7354 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52274654 15382630400 50101 33554432000 4194304 4196468 140730035780352 140108955588880 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7355] ppid=7346 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7355/stat : 7355 (java) S 7346 7349 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52274654 15382630400 50101 33554432000 4194304 4196468 140730035780352 140108954536336 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7356] ppid=7346 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7356/stat : 7356 (java) S 7346 7349 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52274656 15382630400 50101 33554432000 4194304 4196468 140730035780352 140108108880624 140109138254466 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
################
# More data... #
################
/proc/7349/task/7351/stat : 7351 (java) R 7346 7349 2271 0 -1 4202560 17105 0 0 0 291 16 0 0 20 0 15 0 52274652 15386894336 176246 33554432000 4194304 4196468 140730035780352 140109110073632 140108635401234 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7352] ppid=7346 vsize=15026264 memory=279699947886720 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (java) S 7346 7349 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52274654 15386894336 176246 33554432000 4194304 4196468 140730035780352 140109142485520 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7353] ppid=7346 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7353/stat : 7353 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52274654 15386894336 176246 33554432000 4194304 4196468 140730035780352 140108956641936 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7354] ppid=7346 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7354/stat : 7354 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52274654 15386894336 176246 33554432000 4194304 4196468 140730035780352 140108955588880 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7355] ppid=7346 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7355/stat : 7355 (java) S 7346 7349 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52274654 15386894336 176246 33554432000 4194304 4196468 140730035780352 140108954536336 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7356] ppid=7346 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7356/stat : 7356 (java) S 7346 7349 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 52274656 15386894336 176758 33554432000 4194304 4196468 140730035780352 140108108880624 140109138254466 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7357] ppid=7346 vsize=15026264 memory=164 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7357/stat : 7357 (java) S 7346 7349 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52274656 15386894336 176758 33554432000 4194304 4196468 140730035780352 140107738769056 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7358] ppid=7346 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7358/stat : 7358 (java) S 7346 7349 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52274656 15386894336 176758 33554432000 4194304 4196468 140730035780352 140107604546800 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7359] ppid=7346 vsize=15026264 memory=7679927811743456362 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7359/stat : 7359 (java) S 7346 7349 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52274659 15386894336 176758 33554432000 4194304 4196468 140730035780352 140107230042576 140109138261915 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7360] ppid=7346 vsize=15026264 memory=-7740096080597194087 CPUtime=2.14 cores=0,2,4,6
/proc/7349/task/7360/stat : 7360 (java) R 7346 7349 2271 0 -1 4202560 3126 0 0 0 214 0 0 0 20 0 15 0 52274659 15386894336 176758 33554432000 4194304 4196468 140730035780352 140108107818272 140109119761201 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7361] ppid=7346 vsize=15026264 memory=167 CPUtime=2 cores=0,2,4,6
/proc/7349/task/7361/stat : 7361 (java) S 7346 7349 2271 0 -1 1077944384 1555 0 0 0 199 1 0 0 20 0 15 0 52274659 15386894336 176758 33554432000 4194304 4196468 140730035780352 140108106774896 140109138254466 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7362] ppid=7346 vsize=15026264 memory=0 CPUtime=1.03 cores=0,2,4,6
/proc/7349/task/7362/stat : 7362 (java) S 7346 7349 2271 0 -1 1077944384 2791 0 0 0 102 1 0 0 20 0 15 0 52274659 15386894336 176758 33554432000 4194304 4196468 140730035780352 140108105721840 140109138254466 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7363] ppid=7346 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7363/stat : 7363 (java) S 7346 7349 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52274659 15386894336 176758 33554432000 4194304 4196468 140730035780352 140106732136800 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7364] ppid=7346 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7364/stat : 7364 (java) S 7346 7349 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52274659 15386894336 176758 33554432000 4194304 4196468 140730035780352 140108104670256 140109138254466 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
Current children cumulated CPU time: 8.28 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 704984 KiB
[startup+4.611 s]
# the end of solver process 7349 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.95442 s, system=0.366182 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20091 s]
/proc/loadavg: 2.01 2.06 2.09 4/220 7364
/proc/meminfo: memFree=14582672/32770624 swapFree=67108860/67108860
[pid=7349] ppid=7346 vsize=15026264 memory=770828 CPUtime=8.43 cores=0,2,4,6
/proc/7349/stat : 7349 (java) S 7346 7349 2271 0 -1 1077944320 26030 0 0 0 822 21 0 0 20 0 15 0 52274652 15386894336 192707 33554432000 4194304 4196468 140730035780352 140730035762896 140109138243319 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
/proc/7349/statm: 3756566 192707 3228 1 0 3717422 0
[pid=7349/tid=7351] ppid=7346 vsize=15026264 memory=8112282956445269571 CPUtime=3.16 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (java) R 7346 7349 2271 0 -1 4202560 17137 0 0 0 299 17 0 0 20 0 15 0 52274652 15386894336 192707 33554432000 4194304 4196468 140730035780352 140109110075048 140108640322212 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7352] ppid=7346 vsize=15026264 memory=3 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (java) S 7346 7349 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52274654 15386894336 192707 33554432000 4194304 4196468 140730035780352 140109142485520 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7353] ppid=7346 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7353/stat : 7353 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52274654 15386894336 192707 33554432000 4194304 4196468 140730035780352 140108956641936 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7354] ppid=7346 vsize=15026264 memory=4350 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7354/stat : 7354 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52274654 15386894336 192707 33554432000 4194304 4196468 140730035780352 140108955588880 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7355] ppid=7346 vsize=15026264 memory=151 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7355/stat : 7355 (java) S 7346 7349 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52274654 15386894336 192707 33554432000 4194304 4196468 140730035780352 140108954536336 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7356] ppid=7346 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7356/stat : 7356 (java) S 7346 7349 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 52274656 15386894336 192707 33554432000 4194304 4196468 140730035780352 140108108880624 140109138254466 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7357] ppid=7346 vsize=15026264 memory=1 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7357/stat : 7357 (java) S 7346 7349 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52274656 15386894336 192707 33554432000 4194304 4196468 140730035780352 140107738769056 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7358] ppid=7346 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7358/stat : 7358 (java) S 7346 7349 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52274656 15386894336 192707 33554432000 4194304 4196468 140730035780352 140107604546800 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7359] ppid=7346 vsize=15026264 memory=1411 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7359/stat : 7359 (java) S 7346 7349 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52274659 15386894336 192707 33554432000 4194304 4196468 140730035780352 140107230042576 140109138261915 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7360] ppid=7346 vsize=15026264 memory=334 CPUtime=2.2 cores=0,2,4,6
/proc/7349/task/7360/stat : 7360 (java) S 7346 7349 2271 0 -1 1077944384 3184 0 0 0 220 0 0 0 20 0 15 0 52274659 15386894336 193219 33554432000 4194304 4196468 140730035780352 140108107827440 140109138254466 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7361] ppid=7346 vsize=15026264 memory=0 CPUtime=2 cores=0,2,4,6
/proc/7349/task/7361/stat : 7361 (java) S 7346 7349 2271 0 -1 1077944384 1555 0 0 0 199 1 0 0 20 0 15 0 52274659 15386894336 193219 33554432000 4194304 4196468 140730035780352 140108106774896 140109138254466 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7362] ppid=7346 vsize=15026264 memory=87 CPUtime=1.03 cores=0,2,4,6
/proc/7349/task/7362/stat : 7362 (java) S 7346 7349 2271 0 -1 1077944384 2791 0 0 0 102 1 0 0 20 0 15 0 52274659 15386894336 193219 33554432000 4194304 4196468 140730035780352 140108105721840 140109138254466 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7363] ppid=7346 vsize=15026264 memory=150 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7363/stat : 7363 (java) S 7346 7349 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52274659 15386894336 193219 33554432000 4194304 4196468 140730035780352 140106732136800 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7364] ppid=7346 vsize=15026264 memory=133924 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7364/stat : 7364 (java) S 7346 7349 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52274659 15386894336 193219 33554432000 4194304 4196468 140730035780352 140108104670256 140109138254466 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
Current children cumulated CPU time: 8.43 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 770828 KiB
[startup+4.0009 s]*
/proc/loadavg: 2.17 2.10 2.10 6/220 7364
/proc/meminfo: memFree=13763936/32770624 swapFree=67108860/67108860
[pid=7349] ppid=7346 vsize=15026264 memory=1445260 CPUtime=9.4 cores=0,2,4,6
/proc/7349/stat : 7349 (java) S 7346 7349 2271 0 -1 1077944320 26516 0 0 0 909 31 0 0 20 0 15 0 52274652 15386894336 361315 33554432000 4194304 4196468 140730035780352 140730035762896 140109138243319 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
/proc/7349/statm: 3756566 361315 3228 1 0 3717422 0
[pid=7349/tid=7351] ppid=7346 vsize=15026264 memory=-8968743237511111616 CPUtime=3.96 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (java) R 7346 7349 2271 0 -1 4202560 17559 0 0 0 369 27 0 0 20 0 15 0 52274652 15386894336 361315 33554432000 4194304 4196468 140730035780352 140109110071504 140109123410631 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7352] ppid=7346 vsize=15026264 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (java) S 7346 7349 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52274654 15386894336 361315 33554432000 4194304 4196468 140730035780352 140109142485520 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7353] ppid=7346 vsize=15026264 memory=139850082203264 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7353/stat : 7353 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52274654 15386894336 361315 33554432000 4194304 4196468 140730035780352 140108956641936 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7354] ppid=7346 vsize=15026264 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7354/stat : 7354 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52274654 15386894336 361315 33554432000 4194304 4196468 140730035780352 140108955588880 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7355] ppid=7346 vsize=15026264 memory=139849973888671 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7355/stat : 7355 (java) S 7346 7349 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52274654 15386894336 361315 33554432000 4194304 4196468 140730035780352 140108954536336 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7356] ppid=7346 vsize=15026264 memory=139850082203264 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7356/stat : 7356 (java) S 7346 7349 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 52274656 15386894336 361315 33554432000 4194304 4196468 140730035780352 140108108880624 140109138254466 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7357] ppid=7346 vsize=15026264 memory=139849973629047 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7357/stat : 7357 (java) S 7346 7349 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52274656 15386894336 361315 33554432000 4194304 4196468 140730035780352 140107738769056 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7358] ppid=7346 vsize=15026264 memory=2273 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7358/stat : 7358 (java) S 7346 7349 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52274656 15386894336 361315 33554432000 4194304 4196468 140730035780352 140107604546800 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7359] ppid=7346 vsize=15026264 memory=279699947694592 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7359/stat : 7359 (java) S 7346 7349 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52274659 15386894336 361315 33554432000 4194304 4196468 140730035780352 140107230042576 140109138261915 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7360] ppid=7346 vsize=15026264 memory=0 CPUtime=2.27 cores=0,2,4,6
/proc/7349/task/7360/stat : 7360 (java) R 7346 7349 2271 0 -1 4202560 3202 0 0 0 227 0 0 0 20 0 15 0 52274659 15386894336 361315 33554432000 4194304 4196468 140730035780352 140108107820632 140109131339784 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7361] ppid=7346 vsize=15026264 memory=139849973629047 CPUtime=2.07 cores=0,2,4,6
/proc/7349/task/7361/stat : 7361 (java) R 7346 7349 2271 0 -1 4202560 1565 0 0 0 206 1 0 0 20 0 15 0 52274659 15386894336 361315 33554432000 4194304 4196468 140730035780352 140108106764688 140109130580224 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7362] ppid=7346 vsize=15026264 memory=139850082203264 CPUtime=1.06 cores=0,2,4,6
/proc/7349/task/7362/stat : 7362 (java) R 7346 7349 2271 0 -1 4202560 2833 0 0 0 105 1 0 0 20 0 15 0 52274659 15386894336 361315 33554432000 4194304 4196468 140730035780352 140108105721840 140109116890220 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7363] ppid=7346 vsize=15026264 memory=2 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7363/stat : 7363 (java) S 7346 7349 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52274659 15386894336 361315 33554432000 4194304 4196468 140730035780352 140106732136800 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7364] ppid=7346 vsize=15026264 memory=279700055832312 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7364/stat : 7364 (java) S 7346 7349 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52274659 15386894336 361315 33554432000 4194304 4196468 140730035780352 140108104670256 140109138254466 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
Current children cumulated CPU time: 9.4 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 1445260 KiB
[startup+4.40068 s]
/proc/loadavg: 2.17 2.10 2.10 6/220 7364
/proc/meminfo: memFree=13763936/32770624 swapFree=67108860/67108860
[pid=7349] ppid=7346 vsize=15681864 memory=1458908 CPUtime=9.59 cores=0,2,4,6
/proc/7349/stat : 7349 (java) S 7346 7349 2271 0 -1 1077944320 26913 0 0 0 927 32 0 0 20 0 19 0 52274652 16058228736 364727 33554432000 4194304 4196468 140730035780352 140730035762896 140109138243319 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
/proc/7349/statm: 3920466 364727 3232 1 0 3881322 0
[pid=7349/tid=7351] ppid=7346 vsize=15681864 memory=8112282956445269571 CPUtime=4.02 cores=0,2,4,6
/proc/7349/task/7351/stat : 7351 (java) S 7346 7349 2271 0 -1 1077944384 17850 0 0 0 374 28 0 0 20 0 19 0 52274652 16058228736 364727 33554432000 4194304 4196468 140730035780352 140109110082560 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7352] ppid=7346 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7352/stat : 7352 (java) S 7346 7349 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52274654 16058228736 364727 33554432000 4194304 4196468 140730035780352 140109142485520 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7353] ppid=7346 vsize=15681864 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7353/stat : 7353 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52274654 16058228736 364727 33554432000 4194304 4196468 140730035780352 140108956641936 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7354] ppid=7346 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7354/stat : 7354 (java) S 7346 7349 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52274654 16058228736 364727 33554432000 4194304 4196468 140730035780352 140108955588880 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7355] ppid=7346 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7355/stat : 7355 (java) S 7346 7349 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52274654 16058228736 364727 33554432000 4194304 4196468 140730035780352 140108954536336 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7356] ppid=7346 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7356/stat : 7356 (java) S 7346 7349 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 52274656 16058228736 364727 33554432000 4194304 4196468 140730035780352 140108108880624 140109138254466 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7357] ppid=7346 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7357/stat : 7357 (java) S 7346 7349 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52274656 16058228736 364727 33554432000 4194304 4196468 140730035780352 140107738769056 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7358] ppid=7346 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7358/stat : 7358 (java) S 7346 7349 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52274656 16058228736 364727 33554432000 4194304 4196468 140730035780352 140107604546800 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7359] ppid=7346 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7359/stat : 7359 (java) S 7346 7349 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52274659 16058228736 364727 33554432000 4194304 4196468 140730035780352 140107230042576 140109138261915 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7360] ppid=7346 vsize=15681864 memory=0 CPUtime=2.34 cores=0,2,4,6
/proc/7349/task/7360/stat : 7360 (java) S 7346 7349 2271 0 -1 1077944384 3216 0 0 0 233 1 0 0 20 0 19 0 52274659 16058228736 364727 33554432000 4194304 4196468 140730035780352 140108107827440 140109138254466 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7361] ppid=7346 vsize=15681864 memory=0 CPUtime=2.13 cores=0,2,4,6
/proc/7349/task/7361/stat : 7361 (java) S 7346 7349 2271 0 -1 1077944384 1580 0 0 0 212 1 0 0 20 0 19 0 52274659 16058228736 364727 33554432000 4194304 4196468 140730035780352 140108106774896 140109138254466 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7362] ppid=7346 vsize=15681864 memory=0 CPUtime=1.07 cores=0,2,4,6
/proc/7349/task/7362/stat : 7362 (java) S 7346 7349 2271 0 -1 1077944384 2852 0 0 0 106 1 0 0 20 0 19 0 52274659 16058228736 364727 33554432000 4194304 4196468 140730035780352 140108105721840 140109138254466 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7363] ppid=7346 vsize=15681864 memory=7018111704192078695 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7363/stat : 7363 (java) S 7346 7349 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52274659 16058228736 364727 33554432000 4194304 4196468 140730035780352 140106732136800 140109138253525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
[pid=7349/tid=7364] ppid=7346 vsize=15681864 memory=279699947649960 CPUtime=0 cores=0,2,4,6
/proc/7349/task/7364/stat : 7364 (java) S 7346 7349 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52274659 16058228736 364727 33554432000 4194304 4196468 140730035780352 140108104670256 140109138254466 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140730035786739 140730035787017 140730035787017 140730035789775 0
Current children cumulated CPU time: 9.59 s
Current children cumulated vsize: 15681864 KiB
Current children cumulated memory: 1458908 KiB
[startup+4.60062 s]*
/proc/loadavg: 2.17 2.10 2.10 3/207 7370
/proc/meminfo: memFree=13811232/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 4.61103
CPU time (s): 10.3206
CPU user time (s): 9.95442
CPU system time (s): 0.366182
CPU usage (%): 223.824
Max. virtual memory (cumulated for all children) (KiB): 15681864
Max. memory (cumulated for all children) (KiB): 1458908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.95442
system time used= 0.366182
maximum resident set size= 1468756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36222
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3770
involuntary context switches= 54
# summary of solver processes directly reported to runsolver:
# pid: 7349
# total CPU time (s): 10.3206
# total CPU user time (s): 9.95442
# total CPU system time (s): 0.366182
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050747 second user time and 0.096717 second system time
The end