0.55/0.51
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Mon Jul 23 16:49:57 CEST 2018
0.67/0.54 c PID: 11659
0.67/0.54 c IP: 172.20.3.105
0.67/0.54 c HOST: node105.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.03/1.09 c (0,0) Parsing End
2.03/1.09 c (0,0) CSP: 384 int (0 aux), 0 bool (0 aux), 257 ctr, max domain size 24
2.03/1.09 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.03/1.10 c (0,0) Constraint Name Generate Begin
2.03/1.10 c (0,0) Ctr:HOME/instance-4294568-1532357397.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
2.03/1.10 c (0,0) Constraint Name Generate End
2.03/1.10 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.03/1.10 c (0,0) CSP to CSPinCNF Begin
3.49/1.55 c (1,1) translated 26 (10%) constraints
3.49/1.57 c (1,1) translated 52 (20%) constraints
6.07/2.31 c (1,1) translated 78 (30%) constraints
6.41/2.40 c (1,1) translated 103 (40%) constraints
6.41/2.45 c (1,1) translated 129 (50%) constraints
6.74/2.50 c (1,1) translated 155 (60%) constraints
6.74/2.55 c (2,2) translated 180 (70%) constraints
7.07/2.61 c (2,2) translated 206 (80%) constraints
7.07/2.66 c (2,2) translated 232 (90%) constraints
7.38/2.81 c (2,2) translated 257 (100%) constraints
7.72/2.95 c (2,2) STATISTICS1:HOME/instance-4294568-1532357397.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,1360,10768,24,24,24,2,24:2094;23:116;22:101;21:211;5:144;4:144,24:15766;23:461;22:374;21:731;5:1248;4:1056;2:4272,24:16;6:96;5:96;4:208;3:5594;2:4720;1:38,2:2810;1:22896;0:192,
7.72/2.95 c (2,2) ===========================================
7.72/2.95 c (2,2) Order
7.72/2.95 c (2,2) ===========================================
8.06/3.03 c (2,2) translated 1077 (10%) constraints
8.06/3.09 c (2,2) translated 2154 (20%) constraints
8.42/3.19 c (2,2) translated 3231 (30%) constraints
9.00/3.31 c (2,2) translated 4308 (40%) constraints
9.30/3.43 c (2,2) translated 5384 (50%) constraints
9.60/3.54 c (3,2) translated 6461 (60%) constraints
9.90/3.63 c (3,2) translated 7538 (70%) constraints
9.90/3.66 c (3,3) translated 8615 (80%) constraints
9.90/3.69 c (3,3) translated 9692 (90%) constraints
10.22/3.72 c (3,3) translated 10768 (100%) constraints
10.22/3.72 c (3,3) CSP to CSPinCNF End
10.22/3.72 c (3,3) CSP: 384 int (0 aux), 5584 bool (5584 aux), 19984 ctr, max domain size 24
10.22/3.72 c (3,3) Heap : 619 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
10.22/3.73 c (3,3) CSPinCNF Propagation Begin
10.86/3.91 c (3,3) 95 values, 827 unsatisfiable literals, and 597 valid clauses are removed
10.86/3.91 c (3,3) CSPinCNF Propagation End
10.86/3.92 c (3,3) CSP: 455 int (71 aux), 5513 bool (5513 aux), 19387 ctr, max domain size 24
10.86/3.92 c (3,3) Heap : 675 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
10.86/3.92 c (3,3) Simplify CSPinCNF Begin
11.19/4.10 c (3,3) Simplify CSPinCNF End
11.19/4.10 c (3,3) CSP: 455 int (71 aux), 10669 bool (10669 aux), 24543 ctr, max domain size 24
11.19/4.10 c (3,3) Heap : 732 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
11.19/4.10 c (3,3) Calculate Precise Domain Begin
11.19/4.11 c (3,3) 0 values are removed by re-calculation
11.19/4.11 c (3,3) Calculate Precise Domain End
11.50/4.11 c (3,3) CSP: 455 int (71 aux), 10669 bool (10669 aux), 24543 ctr, max domain size 24
11.50/4.11 c (3,3) Heap : 732 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
11.50/4.11 c (3,3) CSPinCNF to SatSolver Begin
12.47/4.41 c (3,3) 2455 (10 %) CSP clauses are encoded (15686 SAT variables, 43137 SAT clauses)
12.70/4.53 c (4,3) 4909 (20 %) CSP clauses are encoded (15686 SAT variables, 82020 SAT clauses)
12.81/4.63 c (4,3) 7363 (30 %) CSP clauses are encoded (15686 SAT variables, 111855 SAT clauses)
12.81/4.64 c (4,3) 9818 (40 %) CSP clauses are encoded (15686 SAT variables, 114882 SAT clauses)
12.81/4.65 c (4,4) 12272 (50 %) CSP clauses are encoded (15686 SAT variables, 117336 SAT clauses)
12.81/4.67 c (4,4) 14726 (60 %) CSP clauses are encoded (15686 SAT variables, 119790 SAT clauses)
12.81/4.68 c (4,4) 17181 (70 %) CSP clauses are encoded (15686 SAT variables, 122245 SAT clauses)
12.81/4.69 c (4,4) 19635 (80 %) CSP clauses are encoded (15686 SAT variables, 124699 SAT clauses)
12.93/4.73 c (4,4) 22089 (90 %) CSP clauses are encoded (15686 SAT variables, 134027 SAT clauses)
12.93/4.75 c (4,4) 24543 (100 %) CSP clauses are encoded (15686 SAT variables, 136481 SAT clauses)
12.93/4.75 c (4,4) CSPinCNF to SatSolver End
12.93/4.75 c (4,4) Heap : 1126 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
13.21/4.89 c (4,4) STATISTICS2:HOME/instance-4294568-1532357397.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,11124,24543,24,24,24,2,24:3374;23:208;22:391;21:757;5:288;4:288,24:25466;23:756;22:1338;21:2314;5:1536;4:1344;2:27926,24:4;21:11;19:1;5:96;4:304;3:5116;2:18973;1:38,2:5306;1:50068,
13.21/4.89 c (4,4) SatSolver.solve Begin
13.21/4.89 c (4,4) 15686 bool, 136482 clause
13.21/4.89 c (4,4) 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-4294568-1532357397.xml-scop-11659.cnf HOME/instance-4294568-1532357397.xml-scop-11659.cnf.out
13.84/5.12 c (4,0) c This is COMiniSatPS.
13.84/5.12 c (4,0) c WARNING: for repeatability, setting FPU to use double precision
13.84/5.12 c (4,0) c ============================[ Problem Statistics ]=============================
13.84/5.12 c (4,0) c | |
13.84/5.12 c (4,0) c | Number of variables: 15686 |
13.84/5.12 c (4,0) c | Number of clauses: 136126 |
13.84/5.12 c (4,0) c | Parse time: 0.04 s |
13.84/5.12 c (4,0) c | Eliminated clauses: 0.17 Mb |
13.84/5.12 c (4,0) c Reduced to 7193 vars, 115965 cls (grow=0)
13.84/5.12 c (4,0) c No iterative elimination performed. (vars=7193, c/v ratio=16.1)
13.84/5.12 c (4,0) c | Simplification time: 0.13 s |
13.84/5.13 c (4,0) c | |
13.84/5.13 c (4,0) c ============================[ Search Statistics ]==============================
13.84/5.13 c (4,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
13.84/5.13 c (4,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
13.84/5.13 c (4,0) c ===============================================================================
13.84/5.13 c (4,0) c ===============================================================================
13.84/5.13 c (4,0) c restarts : 4
13.84/5.13 c (4,0) c conflicts : 479 (2359 /sec)
13.84/5.13 c (4,0) c decisions : 4215 (0.00 % random) (20754 /sec)
13.84/5.13 c (4,0) c propagations : 165676 (815764 /sec)
13.84/5.13 c (4,0) c conflict literals : 3794 (7.03 % deleted)
13.84/5.13 c (4,0) c CPU time : 0.203093 s
13.84/5.13 c (4,0)
13.84/5.13 c (4,0) s SATISFIABLE
13.84/5.15 c (4,4) SatSolver.solve End
13.84/5.15 c (4,4) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
13.84/5.15 c (4,4) Show results Begin
13.84/5.17 c (4,4) gve[0][0] = 0
13.84/5.17 c (4,4) gve[0][1] = 1
13.84/5.17 c (4,4) gve[0][2] = 3
13.84/5.17 c (4,4) gve[0][3] = 2
13.84/5.17 c (4,4) gve[1][0] = 0
13.84/5.17 c (4,4) gve[1][1] = 4
13.84/5.17 c (4,4) gve[1][2] = 2
13.84/5.17 c (4,4) gve[1][3] = 3
13.84/5.17 c (4,4) gve[2][0] = 0
13.84/5.17 c (4,4) gve[2][1] = 3
13.84/5.17 c (4,4) gve[2][2] = 1
13.84/5.17 c (4,4) gve[2][3] = 2
13.84/5.17 c (4,4) gve[3][0] = 0
13.84/5.17 c (4,4) gve[3][1] = 4
13.84/5.17 c (4,4) gve[3][2] = 3
13.84/5.17 c (4,4) gve[3][3] = 2
13.84/5.17 c (4,4) gve[4][0] = 0
13.84/5.17 c (4,4) gve[4][1] = 4
13.84/5.17 c (4,4) gve[4][2] = 2
13.84/5.17 c (4,4) gve[4][3] = 1
13.84/5.17 c (4,4) gve[5][0] = 1
13.84/5.17 c (4,4) gve[5][1] = 4
13.84/5.17 c (4,4) gve[5][2] = 3
13.84/5.17 c (4,4) gve[5][3] = 2
13.84/5.17 c (4,4) gve[6][0] = 1
13.84/5.17 c (4,4) gve[6][1] = 3
13.84/5.17 c (4,4) gve[6][2] = 0
13.84/5.17 c (4,4) gve[6][3] = 2
13.84/5.17 c (4,4) gve[7][0] = 1
13.84/5.17 c (4,4) gve[7][1] = 3
13.84/5.17 c (4,4) gve[7][2] = 2
13.84/5.17 c (4,4) gve[7][3] = 4
13.84/5.17 c (4,4) gve[8][0] = 1
13.84/5.17 c (4,4) gve[8][1] = 0
13.84/5.17 c (4,4) gve[8][2] = 2
13.84/5.17 c (4,4) gve[8][3] = 4
13.84/5.17 c (4,4) gve[9][0] = 2
13.84/5.17 c (4,4) gve[9][1] = 0
13.84/5.17 c (4,4) gve[9][2] = 3
13.84/5.17 c (4,4) gve[9][3] = 4
13.84/5.17 c (4,4) gve[10][0] = 2
13.84/5.17 c (4,4) gve[10][1] = 3
13.84/5.17 c (4,4) gve[10][2] = 0
13.84/5.17 c (4,4) gve[10][3] = 4
13.84/5.17 c (4,4) gve[11][0] = 2
13.84/5.17 c (4,4) gve[11][1] = 1
13.84/5.17 c (4,4) gve[11][2] = 3
13.84/5.17 c (4,4) gve[11][3] = 0
13.84/5.17 c (4,4) gve[12][0] = 2
13.84/5.17 c (4,4) gve[12][1] = 0
13.84/5.17 c (4,4) gve[12][2] = 4
13.84/5.17 c (4,4) gve[12][3] = 3
13.84/5.17 c (4,4) gve[13][0] = 2
13.84/5.17 c (4,4) gve[13][1] = 1
13.84/5.17 c (4,4) gve[13][2] = 4
13.84/5.17 c (4,4) gve[13][3] = 0
13.84/5.17 c (4,4) gve[14][0] = 2
13.84/5.17 c (4,4) gve[14][1] = 0
13.84/5.17 c (4,4) gve[14][2] = 1
13.84/5.17 c (4,4) gve[14][3] = 3
13.84/5.17 c (4,4) gve[15][0] = 3
13.84/5.17 c (4,4) gve[15][1] = 2
13.84/5.17 c (4,4) gve[15][2] = 0
13.84/5.17 c (4,4) gve[15][3] = 1
13.84/5.17 c (4,4) gve[16][0] = 3
13.84/5.17 c (4,4) gve[16][1] = 2
13.84/5.17 c (4,4) gve[16][2] = 4
13.84/5.17 c (4,4) gve[16][3] = 0
13.84/5.17 c (4,4) gve[17][0] = 3
13.84/5.17 c (4,4) gve[17][1] = 2
13.84/5.17 c (4,4) gve[17][2] = 4
13.84/5.17 c (4,4) gve[17][3] = 1
13.84/5.17 c (4,4) gve[18][0] = 3
13.84/5.17 c (4,4) gve[18][1] = 1
13.84/5.17 c (4,4) gve[18][2] = 0
13.84/5.17 c (4,4) gve[18][3] = 2
13.84/5.17 c (4,4) gve[19][0] = 3
13.84/5.17 c (4,4) gve[19][1] = 2
13.84/5.17 c (4,4) gve[19][2] = 1
13.84/5.17 c (4,4) gve[19][3] = 0
13.84/5.17 c (4,4) gve[20][0] = 4
13.84/5.17 c (4,4) gve[20][1] = 3
13.84/5.17 c (4,4) gve[20][2] = 2
13.84/5.17 c (4,4) gve[20][3] = 1
13.84/5.17 c (4,4) gve[21][0] = 4
13.84/5.17 c (4,4) gve[21][1] = 2
13.84/5.17 c (4,4) gve[21][2] = 0
13.84/5.17 c (4,4) gve[21][3] = 3
13.84/5.17 c (4,4) gve[22][0] = 4
13.84/5.17 c (4,4) gve[22][1] = 0
13.84/5.17 c (4,4) gve[22][2] = 2
13.84/5.17 c (4,4) gve[22][3] = 3
13.84/5.17 c (4,4) gve[23][0] = 4
13.84/5.17 c (4,4) gve[23][1] = 2
13.84/5.17 c (4,4) gve[23][2] = 1
13.84/5.17 c (4,4) gve[23][3] = 0
13.84/5.17 c (4,4) gvr[0][0] = 0
13.84/5.17 c (4,4) gvr[0][1] = 1
13.84/5.17 c (4,4) gvr[0][2] = 2
13.84/5.17 c (4,4) gvr[0][3] = 3
13.84/5.17 c (4,4) gvr[1][0] = 0
13.84/5.17 c (4,4) gvr[1][1] = 2
13.84/5.17 c (4,4) gvr[1][2] = 1
13.84/5.17 c (4,4) gvr[1][3] = 3
13.84/5.17 c (4,4) gvr[2][0] = 0
13.84/5.17 c (4,4) gvr[2][1] = 2
13.84/5.17 c (4,4) gvr[2][2] = 3
13.84/5.17 c (4,4) gvr[2][3] = 1
13.84/5.17 c (4,4) gvr[3][0] = 0
13.84/5.17 c (4,4) gvr[3][1] = 1
13.84/5.17 c (4,4) gvr[3][2] = 3
13.84/5.17 c (4,4) gvr[3][3] = 2
13.84/5.17 c (4,4) gvr[4][0] = 0
13.84/5.17 c (4,4) gvr[4][1] = 3
13.84/5.17 c (4,4) gvr[4][2] = 1
13.84/5.17 c (4,4) gvr[4][3] = 2
13.84/5.17 c (4,4) gvr[5][0] = 0
13.84/5.17 c (4,4) gvr[5][1] = 1
13.84/5.17 c (4,4) gvr[5][2] = 3
13.84/5.17 c (4,4) gvr[5][3] = 2
13.84/5.17 c (4,4) gvr[6][0] = 1
13.84/5.17 c (4,4) gvr[6][1] = 2
13.84/5.17 c (4,4) gvr[6][2] = 3
13.84/5.17 c (4,4) gvr[6][3] = 0
13.84/5.17 c (4,4) gvr[7][0] = 1
13.84/5.17 c (4,4) gvr[7][1] = 3
13.84/5.17 c (4,4) gvr[7][2] = 0
13.84/5.17 c (4,4) gvr[7][3] = 2
13.84/5.17 c (4,4) gvr[8][0] = 1
13.84/5.17 c (4,4) gvr[8][1] = 0
13.84/5.17 c (4,4) gvr[8][2] = 2
13.84/5.17 c (4,4) gvr[8][3] = 3
13.84/5.17 c (4,4) gvr[9][0] = 1
13.84/5.17 c (4,4) gvr[9][1] = 2
13.84/5.17 c (4,4) gvr[9][2] = 3
13.84/5.17 c (4,4) gvr[9][3] = 0
13.84/5.17 c (4,4) gvr[10][0] = 1
13.84/5.17 c (4,4) gvr[10][1] = 2
13.84/5.17 c (4,4) gvr[10][2] = 3
13.84/5.17 c (4,4) gvr[10][3] = 0
13.84/5.17 c (4,4) gvr[11][0] = 1
13.84/5.17 c (4,4) gvr[11][1] = 2
13.84/5.17 c (4,4) gvr[11][2] = 0
13.84/5.17 c (4,4) gvr[11][3] = 3
13.84/5.17 c (4,4) gvr[12][0] = 2
13.84/5.17 c (4,4) gvr[12][1] = 3
13.84/5.17 c (4,4) gvr[12][2] = 1
13.84/5.17 c (4,4) gvr[12][3] = 0
13.84/5.17 c (4,4) gvr[13][0] = 2
13.84/5.17 c (4,4) gvr[13][1] = 3
13.84/5.17 c (4,4) gvr[13][2] = 1
13.84/5.17 c (4,4) gvr[13][3] = 0
13.84/5.17 c (4,4) gvr[14][0] = 2
13.84/5.17 c (4,4) gvr[14][1] = 3
13.84/5.17 c (4,4) gvr[14][2] = 0
13.84/5.17 c (4,4) gvr[14][3] = 1
13.84/5.17 c (4,4) gvr[15][0] = 2
13.84/5.17 c (4,4) gvr[15][1] = 3
13.84/5.17 c (4,4) gvr[15][2] = 1
13.84/5.17 c (4,4) gvr[15][3] = 0
13.84/5.17 c (4,4) gvr[16][0] = 2
13.84/5.17 c (4,4) gvr[16][1] = 0
13.84/5.17 c (4,4) gvr[16][2] = 1
13.84/5.17 c (4,4) gvr[16][3] = 3
13.84/5.17 c (4,4) gvr[17][0] = 2
13.84/5.17 c (4,4) gvr[17][1] = 1
13.84/5.17 c (4,4) gvr[17][2] = 0
13.84/5.17 c (4,4) gvr[17][3] = 3
13.84/5.17 c (4,4) gvr[18][0] = 3
13.84/5.17 c (4,4) gvr[18][1] = 1
13.84/5.17 c (4,4) gvr[18][2] = 0
13.84/5.17 c (4,4) gvr[18][3] = 2
13.84/5.17 c (4,4) gvr[19][0] = 3
13.84/5.17 c (4,4) gvr[19][1] = 1
13.84/5.17 c (4,4) gvr[19][2] = 0
13.84/5.17 c (4,4) gvr[19][3] = 2
13.84/5.17 c (4,4) gvr[20][0] = 3
13.84/5.17 c (4,4) gvr[20][1] = 0
13.84/5.17 c (4,4) gvr[20][2] = 2
13.84/5.17 c (4,4) gvr[20][3] = 1
13.84/5.17 c (4,4) gvr[21][0] = 3
13.84/5.17 c (4,4) gvr[21][1] = 0
13.84/5.17 c (4,4) gvr[21][2] = 2
13.84/5.17 c (4,4) gvr[21][3] = 1
13.84/5.17 c (4,4) gvr[22][0] = 3
13.84/5.17 c (4,4) gvr[22][1] = 0
13.84/5.17 c (4,4) gvr[22][2] = 2
13.84/5.17 c (4,4) gvr[22][3] = 1
13.84/5.17 c (4,4) gvr[23][0] = 3
13.84/5.17 c (4,4) gvr[23][1] = 0
13.84/5.17 c (4,4) gvr[23][2] = 2
13.84/5.17 c (4,4) gvr[23][3] = 1
13.84/5.17 c (4,4) ve[0][0] = 0
13.84/5.17 c (4,4) ve[0][1] = 8
13.84/5.17 c (4,4) ve[0][2] = 19
13.84/5.17 c (4,4) ve[0][3] = 10
13.84/5.17 c (4,4) ve[1][0] = 1
13.84/5.17 c (4,4) ve[1][1] = 20
13.84/5.17 c (4,4) ve[1][2] = 14
13.84/5.17 c (4,4) ve[1][3] = 15
13.84/5.17 c (4,4) ve[2][0] = 2
13.84/5.17 c (4,4) ve[2][1] = 16
13.84/5.17 c (4,4) ve[2][2] = 7
13.84/5.17 c (4,4) ve[2][3] = 13
13.84/5.17 c (4,4) ve[3][0] = 3
13.84/5.17 c (4,4) ve[3][1] = 21
13.84/5.17 c (4,4) ve[3][2] = 17
13.84/5.17 c (4,4) ve[3][3] = 9
13.84/5.17 c (4,4) ve[4][0] = 4
13.84/5.17 c (4,4) ve[4][1] = 22
13.84/5.17 c (4,4) ve[4][2] = 11
13.84/5.17 c (4,4) ve[4][3] = 6
13.84/5.17 c (4,4) ve[5][0] = 5
13.84/5.17 c (4,4) ve[5][1] = 23
13.84/5.17 c (4,4) ve[5][2] = 18
13.84/5.17 c (4,4) ve[5][3] = 12
13.84/5.17 c (4,4) ve[6][0] = 6
13.84/5.17 c (4,4) ve[6][1] = 17
13.84/5.17 c (4,4) ve[6][2] = 1
13.84/5.17 c (4,4) ve[6][3] = 14
13.84/5.17 c (4,4) ve[7][0] = 7
13.84/5.17 c (4,4) ve[7][1] = 18
13.84/5.17 c (4,4) ve[7][2] = 13
13.84/5.17 c (4,4) ve[7][3] = 20
13.84/5.17 c (4,4) ve[8][0] = 8
13.84/5.17 c (4,4) ve[8][1] = 3
13.84/5.17 c (4,4) ve[8][2] = 12
13.84/5.17 c (4,4) ve[8][3] = 21
13.84/5.17 c (4,4) ve[9][0] = 9
13.84/5.17 c (4,4) ve[9][1] = 0
13.84/5.17 c (4,4) ve[9][2] = 15
13.84/5.17 c (4,4) ve[9][3] = 22
13.84/5.17 c (4,4) ve[10][0] = 10
13.84/5.17 c (4,4) ve[10][1] = 19
13.84/5.17 c (4,4) ve[10][2] = 4
13.84/5.17 c (4,4) ve[10][3] = 23
13.84/5.17 c (4,4) ve[11][0] = 11
13.84/5.17 c (4,4) ve[11][1] = 5
13.84/5.17 c (4,4) ve[11][2] = 16
13.84/5.17 c (4,4) ve[11][3] = 2
13.84/5.17 c (4,4) ve[12][0] = 12
13.84/5.17 c (4,4) ve[12][1] = 2
13.84/5.17 c (4,4) ve[12][2] = 20
13.84/5.17 c (4,4) ve[12][3] = 18
13.84/5.17 c (4,4) ve[13][0] = 13
13.84/5.17 c (4,4) ve[13][1] = 6
13.84/5.17 c (4,4) ve[13][2] = 21
13.84/5.17 c (4,4) ve[13][3] = 3
13.84/5.17 c (4,4) ve[14][0] = 14
13.84/5.17 c (4,4) ve[14][1] = 1
13.84/5.17 c (4,4) ve[14][2] = 8
13.84/5.17 c (4,4) ve[14][3] = 19
13.84/5.17 c (4,4) ve[15][0] = 15
13.84/5.17 c (4,4) ve[15][1] = 10
13.84/5.17 c (4,4) ve[15][2] = 0
13.84/5.17 c (4,4) ve[15][3] = 7
13.84/5.17 c (4,4) ve[16][0] = 16
13.84/5.17 c (4,4) ve[16][1] = 11
13.84/5.17 c (4,4) ve[16][2] = 22
13.84/5.17 c (4,4) ve[16][3] = 4
13.84/5.17 c (4,4) ve[17][0] = 17
13.84/5.17 c (4,4) ve[17][1] = 9
13.84/5.17 c (4,4) ve[17][2] = 23
13.84/5.17 c (4,4) ve[17][3] = 5
13.84/5.17 c (4,4) ve[18][0] = 18
13.84/5.17 c (4,4) ve[18][1] = 7
13.84/5.17 c (4,4) ve[18][2] = 3
13.84/5.17 c (4,4) ve[18][3] = 11
13.84/5.17 c (4,4) ve[19][0] = 19
13.84/5.17 c (4,4) ve[19][1] = 14
13.84/5.17 c (4,4) ve[19][2] = 6
13.84/5.17 c (4,4) ve[19][3] = 0
13.84/5.17 c (4,4) ve[20][0] = 20
13.84/5.17 c (4,4) ve[20][1] = 15
13.84/5.17 c (4,4) ve[20][2] = 9
13.84/5.17 c (4,4) ve[20][3] = 8
13.84/5.17 c (4,4) ve[21][0] = 21
13.84/5.17 c (4,4) ve[21][1] = 12
13.84/5.17 c (4,4) ve[21][2] = 2
13.84/5.17 c (4,4) ve[21][3] = 16
13.84/5.17 c (4,4) ve[22][0] = 22
13.84/5.17 c (4,4) ve[22][1] = 4
13.84/5.17 c (4,4) ve[22][2] = 10
13.84/5.17 c (4,4) ve[22][3] = 17
13.84/5.17 c (4,4) ve[23][0] = 23
13.84/5.17 c (4,4) ve[23][1] = 13
13.84/5.17 c (4,4) ve[23][2] = 5
13.84/5.17 c (4,4) ve[23][3] = 1
13.84/5.17 c (4,4) vr[0][0] = 0
13.84/5.17 c (4,4) vr[0][1] = 9
13.84/5.17 c (4,4) vr[0][2] = 15
13.84/5.17 c (4,4) vr[0][3] = 19
13.84/5.17 c (4,4) vr[1][0] = 1
13.84/5.17 c (4,4) vr[1][1] = 14
13.84/5.17 c (4,4) vr[1][2] = 6
13.84/5.17 c (4,4) vr[1][3] = 23
13.84/5.17 c (4,4) vr[2][0] = 2
13.84/5.17 c (4,4) vr[2][1] = 12
13.84/5.17 c (4,4) vr[2][2] = 21
13.84/5.17 c (4,4) vr[2][3] = 11
13.84/5.17 c (4,4) vr[3][0] = 3
13.84/5.17 c (4,4) vr[3][1] = 8
13.84/5.17 c (4,4) vr[3][2] = 18
13.84/5.17 c (4,4) vr[3][3] = 13
13.84/5.17 c (4,4) vr[4][0] = 4
13.84/5.17 c (4,4) vr[4][1] = 22
13.84/5.17 c (4,4) vr[4][2] = 10
13.84/5.17 c (4,4) vr[4][3] = 16
13.84/5.17 c (4,4) vr[5][0] = 5
13.84/5.17 c (4,4) vr[5][1] = 11
13.84/5.17 c (4,4) vr[5][2] = 23
13.84/5.17 c (4,4) vr[5][3] = 17
13.84/5.17 c (4,4) vr[6][0] = 6
13.84/5.17 c (4,4) vr[6][1] = 13
13.84/5.17 c (4,4) vr[6][2] = 19
13.84/5.17 c (4,4) vr[6][3] = 4
13.84/5.17 c (4,4) vr[7][0] = 7
13.84/5.17 c (4,4) vr[7][1] = 18
13.84/5.17 c (4,4) vr[7][2] = 2
13.84/5.17 c (4,4) vr[7][3] = 15
13.84/5.17 c (4,4) vr[8][0] = 8
13.84/5.17 c (4,4) vr[8][1] = 0
13.84/5.17 c (4,4) vr[8][2] = 14
13.84/5.17 c (4,4) vr[8][3] = 20
13.84/5.17 c (4,4) vr[9][0] = 9
13.84/5.17 c (4,4) vr[9][1] = 17
13.84/5.17 c (4,4) vr[9][2] = 20
13.84/5.17 c (4,4) vr[9][3] = 3
13.84/5.17 c (4,4) vr[10][0] = 10
13.84/5.17 c (4,4) vr[10][1] = 15
13.84/5.17 c (4,4) vr[10][2] = 22
13.84/5.17 c (4,4) vr[10][3] = 0
13.84/5.17 c (4,4) vr[11][0] = 11
13.84/5.17 c (4,4) vr[11][1] = 16
13.84/5.17 c (4,4) vr[11][2] = 4
13.84/5.17 c (4,4) vr[11][3] = 18
13.84/5.17 c (4,4) vr[12][0] = 12
13.84/5.17 c (4,4) vr[12][1] = 21
13.84/5.17 c (4,4) vr[12][2] = 8
13.84/5.17 c (4,4) vr[12][3] = 5
13.84/5.17 c (4,4) vr[13][0] = 13
13.84/5.17 c (4,4) vr[13][1] = 23
13.84/5.17 c (4,4) vr[13][2] = 7
13.84/5.17 c (4,4) vr[13][3] = 2
13.84/5.17 c (4,4) vr[14][0] = 14
13.84/5.17 c (4,4) vr[14][1] = 19
13.84/5.17 c (4,4) vr[14][2] = 1
13.84/5.17 c (4,4) vr[14][3] = 6
13.84/5.17 c (4,4) vr[15][0] = 15
13.84/5.17 c (4,4) vr[15][1] = 20
13.84/5.17 c (4,4) vr[15][2] = 9
13.84/5.17 c (4,4) vr[15][3] = 1
13.84/5.17 c (4,4) vr[16][0] = 16
13.84/5.17 c (4,4) vr[16][1] = 2
13.84/5.17 c (4,4) vr[16][2] = 11
13.84/5.17 c (4,4) vr[16][3] = 21
13.84/5.17 c (4,4) vr[17][0] = 17
13.84/5.17 c (4,4) vr[17][1] = 6
13.84/5.17 c (4,4) vr[17][2] = 3
13.84/5.17 c (4,4) vr[17][3] = 22
13.84/5.17 c (4,4) vr[18][0] = 18
13.84/5.17 c (4,4) vr[18][1] = 7
13.84/5.17 c (4,4) vr[18][2] = 5
13.84/5.17 c (4,4) vr[18][3] = 12
13.84/5.17 c (4,4) vr[19][0] = 19
13.84/5.17 c (4,4) vr[19][1] = 10
13.84/5.17 c (4,4) vr[19][2] = 0
13.84/5.17 c (4,4) vr[19][3] = 14
13.84/5.17 c (4,4) vr[20][0] = 20
13.84/5.17 c (4,4) vr[20][1] = 1
13.84/5.17 c (4,4) vr[20][2] = 12
13.84/5.17 c (4,4) vr[20][3] = 7
13.84/5.17 c (4,4) vr[21][0] = 21
13.84/5.17 c (4,4) vr[21][1] = 3
13.84/5.17 c (4,4) vr[21][2] = 13
13.84/5.17 c (4,4) vr[21][3] = 8
13.84/5.17 c (4,4) vr[22][0] = 22
13.84/5.17 c (4,4) vr[22][1] = 4
13.84/5.17 c (4,4) vr[22][2] = 16
13.84/5.17 c (4,4) vr[22][3] = 9
13.84/5.17 c (4,4) vr[23][0] = 23
13.84/5.17 c (4,4) vr[23][1] = 5
13.84/5.17 c (4,4) vr[23][2] = 17
13.84/5.17 c (4,4) vr[23][3] = 10
13.84/5.17 s SATISFIABLE
13.84/5.17 v <instantiation>
13.84/5.17 v <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[23][0] vr[23][1] vr[23][2] vr[23][3] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[23][0] ve[23][1] ve[23][2] ve[23][3] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[23][0] gve[23][1] gve[23][2] gve[23][3]</list>
13.84/5.17 v <values>0 9 15 19 1 14 6 23 2 12 21 11 3 8 18 13 4 22 10 16 5 11 23 17 6 13 19 4 7 18 2 15 8 0 14 20 9 17 20 3 10 15 22 0 11 16 4 18 12 21 8 5 13 23 7 2 14 19 1 6 15 20 9 1 16 2 11 21 17 6 3 22 18 7 5 12 19 10 0 14 20 1 12 7 21 3 13 8 22 4 16 9 23 5 17 10 0 8 19 10 1 20 14 15 2 16 7 13 3 21 17 9 4 22 11 6 5 23 18 12 6 17 1 14 7 18 13 20 8 3 12 21 9 0 15 22 10 19 4 23 11 5 16 2 12 2 20 18 13 6 21 3 14 1 8 19 15 10 0 7 16 11 22 4 17 9 23 5 18 7 3 11 19 14 6 0 20 15 9 8 21 12 2 16 22 4 10 17 23 13 5 1 0 1 2 3 0 2 1 3 0 2 3 1 0 1 3 2 0 3 1 2 0 1 3 2 1 2 3 0 1 3 0 2 1 0 2 3 1 2 3 0 1 2 3 0 1 2 0 3 2 3 1 0 2 3 1 0 2 3 0 1 2 3 1 0 2 0 1 3 2 1 0 3 3 1 0 2 3 1 0 2 3 0 2 1 3 0 2 1 3 0 2 1 3 0 2 1 0 1 3 2 0 4 2 3 0 3 1 2 0 4 3 2 0 4 2 1 1 4 3 2 1 3 0 2 1 3 2 4 1 0 2 4 2 0 3 4 2 3 0 4 2 1 3 0 2 0 4 3 2 1 4 0 2 0 1 3 3 2 0 1 3 2 4 0 3 2 4 1 3 1 0 2 3 2 1 0 4 3 2 1 4 2 0 3 4 0 2 3 4 2 1 0</values>
13.84/5.17 v </instantiation>
13.84/5.17 c (4,4) Show results End
13.84/5.17 c (4,4) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
13.84/5.17 c (4,4) 0,0,3,3,3,3,4,4,4,STOP-AFTER(ALL)
13.84/5.17 c END-Prog: Mon Jul 23 16:50:02 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 (1990 MiB free)
memory of node 1: 16384 MiB (11577 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294568-1532357397/watcher-4294568-1532357397 -o /tmp/evaluation-result-4294568-1532357397/solver-4294568-1532357397 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2303 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294568-1532357397.xml
running on 4 cores: 1,3,5,7
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
solver pid=11659, runsolver pid=11656
Current StackSize limit: 8192 KiB
[startup+0.100139 s]*
/proc/loadavg: 2.88 2.46 2.22 3/220 11674
/proc/meminfo: memFree=13831848/32770624 swapFree=67108860/67108860
[pid=11659] ppid=11656 vsize=15011656 memory=75220 CPUtime=0.11 cores=1,3,5,7
/proc/11659/stat : 11659 (java) S 11656 11659 2271 0 -1 1077944320 6489 0 0 0 9 2 0 0 20 0 15 0 53302828 15371935744 18805 33554432000 4194304 4196468 140721540162432 140721540144976 140695891259127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
/proc/11659/statm: 3752914 18805 2782 1 0 3715374 0
[pid=11659/tid=11661] ppid=11656 vsize=15011656 memory=-6655087062886431568 CPUtime=0.09 cores=1,3,5,7
/proc/11659/task/11661/stat : 11661 (java) R 11656 11659 2271 0 -1 4202560 4732 0 0 0 8 1 0 0 20 0 15 0 53302829 15371935744 19003 33554432000 4194304 4196468 140721540162432 140695863071112 140695875339614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11662] ppid=11656 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11662/stat : 11662 (java) S 11656 11659 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302830 15371935744 19003 33554432000 4194304 4196468 140721540162432 140695895501584 140695891269333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11663] ppid=11656 vsize=15011656 memory=139984672274048 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11663/stat : 11663 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302830 15371935744 19003 33554432000 4194304 4196468 140721540162432 140695686585232 140695891269333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11664] ppid=11656 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11664/stat : 11664 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302830 15371935744 19003 33554432000 4194304 4196468 140721540162432 140695685532688 140695891269333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11665] ppid=11656 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11665/stat : 11665 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302830 15371935744 19003 33554432000 4194304 4196468 140721540162432 140695684480144 140695891269333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11666] ppid=11656 vsize=15011656 memory=139984672274048 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11666/stat : 11666 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302832 15371935744 19003 33554432000 4194304 4196468 140721540162432 140695230679024 140695891270274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11667] ppid=11656 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11667/stat : 11667 (java) S 11656 11659 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53302832 15371935744 19003 33554432000 4194304 4196468 140721540162432 140694505120672 140695891269333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11668] ppid=11656 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11668/stat : 11668 (java) S 11656 11659 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302832 15371935744 19003 33554432000 4194304 4196468 140721540162432 140694270239728 140695891269333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11669] ppid=11656 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11669/stat : 11669 (java) S 11656 11659 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302835 15371935744 19003 33554432000 4194304 4196468 140721540162432 140693895731408 140695891277723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11670] ppid=11656 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11670/stat : 11670 (java) R 11656 11659 2271 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 53302835 15371935744 19003 33554432000 4194304 4196468 140721540162432 140695229626864 140695891270274 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11671] ppid=11656 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11671/stat : 11671 (java) S 11656 11659 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302835 15371935744 19003 33554432000 4194304 4196468 140721540162432 140695228574320 140695891270274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11672] ppid=11656 vsize=15011656 memory=139984672274048 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11672/stat : 11672 (java) R 11656 11659 2271 0 -1 4202560 273 0 0 0 0 0 0 0 20 0 15 0 53302835 15371935744 19003 33554432000 4194304 4196468 140721540162432 140695227521776 140695891280474 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11673] ppid=11656 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11673/stat : 11673 (java) S 11656 11659 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302835 15371935744 19003 33554432000 4194304 4196468 140721540162432 140693397826656 140695891269333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11674] ppid=11656 vsize=15011656 memory=139984672274048 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11674/stat : 11674 (java) S 11656 11659 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302835 15371935744 19003 33554432000 4194304 4196468 140721540162432 140695226468656 140695891270274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 75220 KiB
[startup+0.210446 s]*
/proc/loadavg: 2.88 2.46 2.22 3/220 11674
/proc/meminfo: memFree=13815540/32770624 swapFree=67108860/67108860
[pid=11659] ppid=11656 vsize=15011656 memory=89228 CPUtime=0.26 cores=1,3,5,7
/proc/11659/stat : 11659 (java) S 11656 11659 2271 0 -1 1077944320 10189 0 0 0 23 3 0 0 20 0 15 0 53302828 15371935744 22307 33554432000 4194304 4196468 140721540162432 140721540144976 140695891259127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
/proc/11659/statm: 3752914 22307 2945 1 0 3715374 0
[pid=11659/tid=11661] ppid=11656 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/11659/task/11661/stat : 11661 (java) R 11656 11659 2271 0 -1 4202560 8093 0 0 0 18 2 0 0 20 0 15 0 53302829 15371935744 22307 33554432000 4194304 4196468 140721540162432 140695863087088 140695891280474 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11662] ppid=11656 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11662/stat : 11662 (java) S 11656 11659 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302830 15371935744 22307 33554432000 4194304 4196468 140721540162432 140695895501584 140695891269333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11663] ppid=11656 vsize=15011656 memory=288370360823985792 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11663/stat : 11663 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302830 15371935744 22307 33554432000 4194304 4196468 140721540162432 140695686585232 140695891269333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11664] ppid=11656 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11664/stat : 11664 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302830 15371935744 22307 33554432000 4194304 4196468 140721540162432 140695685532688 140695891269333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11665] ppid=11656 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11665/stat : 11665 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302830 15371935744 22307 33554432000 4194304 4196468 140721540162432 140695684480144 140695891269333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11666] ppid=11656 vsize=15011656 memory=139984672274048 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11666/stat : 11666 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302832 15371935744 22307 33554432000 4194304 4196468 140721540162432 140695230679024 140695891270274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11667] ppid=11656 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11667/stat : 11667 (java) S 11656 11659 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53302832 15371935744 22307 33554432000 4194304 4196468 140721540162432 140694505120672 140695891269333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11668] ppid=11656 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11668/stat : 11668 (java) S 11656 11659 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302832 15371935744 22307 33554432000 4194304 4196468 140721540162432 140694270239728 140695891269333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11669] ppid=11656 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11669/stat : 11669 (java) S 11656 11659 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302835 15371935744 22307 33554432000 4194304 4196468 140721540162432 140693895731408 140695891277723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11670] ppid=11656 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11670/stat : 11670 (java) R 11656 11659 2271 0 -1 4202560 336 0 0 0 0 0 0 0 20 0 15 0 53302835 15371935744 22307 33554432000 4194304 4196468 140721540162432 140695229626864 140695870422288 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11671] ppid=11656 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/11659/task/11671/stat : 11671 (java) R 11656 11659 2271 0 -1 1077944384 136 0 0 0 1 0 0 0 20 0 15 0 53302835 15371935744 22307 33554432000 4194304 4196468 140721540162432 140695228567552 140695891269333 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11672] ppid=11656 vsize=15011656 memory=139984672274048 CPUtime=0.03 cores=1,3,5,7
/proc/11659/task/11672/stat : 11672 (java) R 11656 11659 2271 0 -1 4202560 294 0 0 0 3 0 0 0 20 0 15 0 53302835 15371935744 22307 33554432000 4194304 4196468 140721540162432 140695227521776 140695891271062 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11673] ppid=11656 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11673/stat : 11673 (java) S 11656 11659 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302835 15371935744 22307 33554432000 4194304 4196468 140721540162432 140693397826656 140695891269333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11674] ppid=11656 vsize=15011656 memory=139984672274048 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11674/stat : 11674 (java) S 11656 11659 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302835 15371935744 22307 33554432000 4194304 4196468 140721540162432 140695226468656 140695891270274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89228 KiB
[startup+0.310608 s]*
/proc/loadavg: 2.88 2.46 2.22 3/220 11674
/proc/meminfo: memFree=13812996/32770624 swapFree=67108860/67108860
[pid=11659] ppid=11656 vsize=15011656 memory=92332 CPUtime=0.43 cores=1,3,5,7
/proc/11659/stat : 11659 (java) S 11656 11659 2271 0 -1 1077944320 10656 0 0 0 40 3 0 0 20 0 15 0 53302828 15371935744 23083 33554432000 4194304 4196468 140721540162432 140721540144976 140695891259127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
/proc/11659/statm: 3752914 23083 2988 1 0 3715374 0
[pid=11659/tid=11661] ppid=11656 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/11659/task/11661/stat : 11661 (java) R 11656 11659 2271 0 -1 4202560 8401 0 0 0 27 2 0 0 20 0 15 0 53302829 15371935744 23083 33554432000 4194304 4196468 140721540162432 140695863063280 140695875339614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11662] ppid=11656 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11662/stat : 11662 (java) S 11656 11659 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302830 15371935744 23083 33554432000 4194304 4196468 140721540162432 140695895501584 140695891269333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11663] ppid=11656 vsize=15011656 memory=288230376152078777 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11663/stat : 11663 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302830 15371935744 23083 33554432000 4194304 4196468 140721540162432 140695686585232 140695891269333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11664] ppid=11656 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11664/stat : 11664 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302830 15371935744 23083 33554432000 4194304 4196468 140721540162432 140695685532688 140695891269333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11665] ppid=11656 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11665/stat : 11665 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302830 15371935744 23083 33554432000 4194304 4196468 140721540162432 140695684480144 140695891269333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11666] ppid=11656 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11666/stat : 11666 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302832 15371935744 23083 33554432000 4194304 4196468 140721540162432 140695230679024 140695891270274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11667] ppid=11656 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11667/stat : 11667 (java) S 11656 11659 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53302832 15371935744 23083 33554432000 4194304 4196468 140721540162432 140694505120672 140695891269333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11668] ppid=11656 vsize=15011656 memory=139984672274048 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11668/stat : 11668 (java) S 11656 11659 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302832 15371935744 23083 33554432000 4194304 4196468 140721540162432 140694270239728 140695891269333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11669] ppid=11656 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11669/stat : 11669 (java) S 11656 11659 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302835 15371935744 23083 33554432000 4194304 4196468 140721540162432 140693895731408 140695891277723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11670] ppid=11656 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11659/task/11670/stat : 11670 (java) S 11656 11659 2271 0 -1 1077944384 425 0 0 0 3 0 0 0 20 0 15 0 53302835 15371935744 23083 33554432000 4194304 4196468 140721540162432 140695229626864 140695891270274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11671] ppid=11656 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11659/task/11671/stat : 11671 (java) S 11656 11659 2271 0 -1 1077944384 183 0 0 0 2 0 0 0 20 0 15 0 53302835 15371935744 23083 33554432000 4194304 4196468 140721540162432 140695228574320 140695891270274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11672] ppid=11656 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11659/task/11672/stat : 11672 (java) S 11656 11659 2271 0 -1 1077944384 313 0 0 0 7 0 0 0 20 0 15 0 53302835 15371935744 23083 33554432000 4194304 4196468 140721540162432 140695227521776 140695891270274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11673] ppid=11656 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11673/stat : 11673 (java) S 11656 11659 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302835 15371935744 23083 33554432000 4194304 4196468 140721540162432 140693397826656 140695891269333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11674] ppid=11656 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11674/stat : 11674 (java) S 11656 11659 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302835 15371935744 23083 33554432000 4194304 4196468 140721540162432 140695226468656 140695891270274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 92332 KiB
[startup+0.700723 s]
/proc/loadavg: 2.88 2.46 2.22 3/220 11674
/proc/meminfo: memFree=13789820/32770624 swapFree=67108860/67108860
[pid=11659] ppid=11656 vsize=15020052 memory=130136 CPUtime=1.01 cores=1,3,5,7
/proc/11659/stat : 11659 (java) S 11656 11659 2271 0 -1 1077944320 17233 0 0 0 95 6 0 0 20 0 15 0 53302828 15380533248 32534 33554432000 4194304 4196468 140721540162432 140721540144976 140695891259127 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
/proc/11659/statm: 3755013 32534 3158 1 0 3716398 0
[pid=11659/tid=11661] ppid=11656 vsize=15020052 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/11659/task/11661/stat : 11661 (java) R 11656 11659 2271 0 -1 4202560 14473 0 0 0 62 5 0 0 20 0 15 0 53302829 15380533248 32534 33554432000 4194304 4196468 140721540162432 140695863075744 140695875339614 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11662] ppid=11656 vsize=15020052 memory=796 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11662/stat : 11662 (java) S 11656 11659 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302830 15380533248 32537 33554432000 4194304 4196468 140721540162432 140695895501584 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11663] ppid=11656 vsize=15020052 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11663/stat : 11663 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302830 15380533248 32537 33554432000 4194304 4196468 140721540162432 140695686585232 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11664] ppid=11656 vsize=15020052 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11664/stat : 11664 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302830 15380533248 32537 33554432000 4194304 4196468 140721540162432 140695685532688 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11665] ppid=11656 vsize=15020052 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11665/stat : 11665 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302830 15380533248 32537 33554432000 4194304 4196468 140721540162432 140695684480144 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11666] ppid=11656 vsize=15020052 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11666/stat : 11666 (java) S 11656 11659 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53302832 15380533248 32537 33554432000 4194304 4196468 140721540162432 140695230679024 140695891270274 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11667] ppid=11656 vsize=15020052 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11667/stat : 11667 (java) S 11656 11659 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53302832 15380533248 32537 33554432000 4194304 4196468 140721540162432 140694505120672 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11668] ppid=11656 vsize=15020052 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11668/stat : 11668 (java) S 11656 11659 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302832 15380533248 32537 33554432000 4194304 4196468 140721540162432 140694270239728 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11669] ppid=11656 vsize=15020052 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11669/stat : 11669 (java) S 11656 11659 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302835 15380533248 32537 33554432000 4194304 4196468 140721540162432 140693895731408 140695891277723 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11670] ppid=11656 vsize=15020052 memory=8384 CPUtime=0.07 cores=1,3,5,7
/proc/11659/task/11670/stat : 11670 (java) R 11656 11659 2271 0 -1 4202560 525 0 0 0 7 0 0 0 20 0 15 0 53302835 15380533248 32537 33554432000 4194304 4196468 140721540162432 140695229626864 140695874743145 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11671] ppid=11656 vsize=15020052 memory=4616 CPUtime=0.08 cores=1,3,5,7
/proc/11659/task/11671/stat : 11671 (java) R 11656 11659 2271 0 -1 1077944384 429 0 0 0 8 0 0 0 20 0 15 0 53302835 15380533248 32537 33554432000 4194304 4196468 140721540162432 140695228574320 140695891270274 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11672] ppid=11656 vsize=15020052 memory=1424 CPUtime=0.16 cores=1,3,5,7
/proc/11659/task/11672/stat : 11672 (java) R 11656 11659 2271 0 -1 4202560 465 0 0 0 16 0 0 0 20 0 15 0 53302835 15380533248 32537 33554432000 4194304 4196468 140721540162432 140695227521776 140695884355836 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11673] ppid=11656 vsize=15020052 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11673/stat : 11673 (java) S 11656 11659 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302835 15380533248 32537 33554432000 4194304 4196468 140721540162432 140693397826656 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11674] ppid=11656 vsize=15020052 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11674/stat : 11674 (java) S 11656 11659 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302835 15380533248 32537 33554432000 4194304 4196468 140721540162432 140695226468656 140695891270274 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 130136 KiB
[startup+1.50072 s]
/proc/loadavg: 2.88 2.46 2.22 5/220 11674
/proc/meminfo: memFree=13751980/32770624 swapFree=67108860/67108860
[pid=11659] ppid=11656 vsize=15022100 memory=189496 CPUtime=3.49 cores=1,3,5,7
/proc/11659/stat : 11659 (java) S 11656 11659 2271 0 -1 1077944320 23124 0 0 0 340 9 0 0 20 0 15 0 53302828 15382630400 47374 33554432000 4194304 4196468 140721540162432 140721540144976 140695891259127 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
/proc/11659/statm: 3755525 47374 3204 1 0 3716910 0
[pid=11659/tid=11661] ppid=11656 vsize=15022100 memory=13570392392808141 CPUtime=1.47 cores=1,3,5,7
/proc/11659/task/11661/stat : 11661 (java) R 11656 11659 2271 0 -1 4202560 15477 0 0 0 141 6 0 0 20 0 15 0 53302829 15382630400 47374 33554432000 4194304 4196468 140721540162432 140695863095424 140695366531770 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11662] ppid=11656 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11662/stat : 11662 (java) S 11656 11659 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302830 15382630400 47374 33554432000 4194304 4196468 140721540162432 140695895501584 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11663] ppid=11656 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11663/stat : 11663 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302830 15382630400 47374 33554432000 4194304 4196468 140721540162432 140695686585232 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11664] ppid=11656 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11664/stat : 11664 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302830 15382630400 47374 33554432000 4194304 4196468 140721540162432 140695685532688 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11665] ppid=11656 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11665/stat : 11665 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302830 15382630400 47374 33554432000 4194304 4196468 140721540162432 140695684480144 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11666] ppid=11656 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11666/stat : 11666 (java) S 11656 11659 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53302832 15382630400 47374 33554432000 4194304 4196468 140721540162432 140695230679024 140695891270274 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
################
# More data... #
################
[pid=11659/tid=11665] ppid=11656 vsize=15024148 memory=3467824628015314744 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11665/stat : 11665 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302830 15384727552 186698 33554432000 4194304 4196468 140721540162432 140695684480144 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11666] ppid=11656 vsize=15024148 memory=139984672287296 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11666/stat : 11666 (java) S 11656 11659 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53302832 15384727552 186698 33554432000 4194304 4196468 140721540162432 140695230679024 140695891270274 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11667] ppid=11656 vsize=15024148 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11667/stat : 11667 (java) S 11656 11659 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53302832 15384727552 186698 33554432000 4194304 4196468 140721540162432 140694505120672 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11668] ppid=11656 vsize=15024148 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11668/stat : 11668 (java) S 11656 11659 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302832 15384727552 186698 33554432000 4194304 4196468 140721540162432 140694270239728 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11669] ppid=11656 vsize=15024148 memory=7813587196152657717 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11669/stat : 11669 (java) S 11656 11659 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302835 15384727552 186698 33554432000 4194304 4196468 140721540162432 140693895731408 140695891277723 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11670] ppid=11656 vsize=15024148 memory=0 CPUtime=3.02 cores=1,3,5,7
/proc/11659/task/11670/stat : 11670 (java) R 11656 11659 2271 0 -1 4202560 4789 0 0 0 301 1 0 0 20 0 15 0 53302835 15384727552 186698 33554432000 4194304 4196468 140721540162432 140695229614064 140695877281581 0 4 0 25189583 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11671] ppid=11656 vsize=15024148 memory=3833746495650148383 CPUtime=2.97 cores=1,3,5,7
/proc/11659/task/11671/stat : 11671 (java) R 11656 11659 2271 0 -1 4202560 2028 0 0 0 296 1 0 0 20 0 15 0 53302835 15384727552 186698 33554432000 4194304 4196468 140721540162432 140695228556592 140695884355880 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11672] ppid=11656 vsize=15024148 memory=279969199273384 CPUtime=1.31 cores=1,3,5,7
/proc/11659/task/11672/stat : 11672 (java) R 11656 11659 2271 0 -1 1077944384 4101 0 0 0 129 2 0 0 20 0 15 0 53302835 15384727552 186698 33554432000 4194304 4196468 140721540162432 140695227521776 140695891270274 0 4 0 25189583 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11673] ppid=11656 vsize=15024148 memory=3472592187692757535 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11673/stat : 11673 (java) S 11656 11659 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302835 15384727552 186698 33554432000 4194304 4196468 140721540162432 140693397826656 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11674] ppid=11656 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11674/stat : 11674 (java) S 11656 11659 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302835 15384727552 186698 33554432000 4194304 4196468 140721540162432 140695226468656 140695891270274 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
Current children cumulated CPU time: 11.19 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 746792 KiB
[startup+4.80066 s]
/proc/loadavg: 2.97 2.48 2.23 5/220 11674
/proc/meminfo: memFree=13161804/32770624 swapFree=67108860/67108860
[pid=11659] ppid=11656 vsize=15028312 memory=1157148 CPUtime=13.21 cores=1,3,5,7
/proc/11659/stat : 11659 (java) S 11656 11659 2271 0 -1 1077944320 29629 0 0 0 1295 26 0 0 20 0 15 0 53302828 15388991488 289287 33554432000 4194304 4196468 140721540162432 140721540144976 140695891259127 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
/proc/11659/statm: 3757078 289287 3224 1 0 3717934 0
[pid=11659/tid=11661] ppid=11656 vsize=15028312 memory=6791534058613427641 CPUtime=4.65 cores=1,3,5,7
/proc/11659/task/11661/stat : 11661 (java) R 11656 11659 2271 0 -1 4202560 17305 0 0 0 444 21 0 0 20 0 15 0 53302829 15388991488 289287 33554432000 4194304 4196468 140721540162432 140695863095232 140695375012964 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11662] ppid=11656 vsize=15028312 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11662/stat : 11662 (java) S 11656 11659 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302830 15388991488 289287 33554432000 4194304 4196468 140721540162432 140695895501584 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11663] ppid=11656 vsize=15028312 memory=16098156739823870 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11663/stat : 11663 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302830 15388991488 289287 33554432000 4194304 4196468 140721540162432 140695686585232 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11664] ppid=11656 vsize=15028312 memory=9198851636692493723 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11664/stat : 11664 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302830 15388991488 289287 33554432000 4194304 4196468 140721540162432 140695685532688 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11665] ppid=11656 vsize=15028312 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11665/stat : 11665 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302830 15388991488 289287 33554432000 4194304 4196468 140721540162432 140695684480144 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11666] ppid=11656 vsize=15028312 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11666/stat : 11666 (java) S 11656 11659 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53302832 15388991488 289287 33554432000 4194304 4196468 140721540162432 140695230679024 140695891270274 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11667] ppid=11656 vsize=15028312 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11667/stat : 11667 (java) S 11656 11659 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53302832 15388991488 289287 33554432000 4194304 4196468 140721540162432 140694505120672 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11668] ppid=11656 vsize=15028312 memory=-4051592751533505334 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11668/stat : 11668 (java) S 11656 11659 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302832 15388991488 289287 33554432000 4194304 4196468 140721540162432 140694270239728 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11669] ppid=11656 vsize=15028312 memory=8475934422144292502 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11669/stat : 11669 (java) S 11656 11659 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302835 15388991488 289287 33554432000 4194304 4196468 140721540162432 140693895731408 140695891277723 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11670] ppid=11656 vsize=15028312 memory=8761640388318109335 CPUtime=3.57 cores=1,3,5,7
/proc/11659/task/11670/stat : 11670 (java) R 11656 11659 2271 0 -1 4202560 4805 0 0 0 356 1 0 0 20 0 15 0 53302835 15388991488 289287 33554432000 4194304 4196468 140721540162432 140695229613408 140695874753301 0 4 0 25189583 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11671] ppid=11656 vsize=15028312 memory=6944656592387989600 CPUtime=3.5 cores=1,3,5,7
/proc/11659/task/11671/stat : 11671 (java) R 11656 11659 2271 0 -1 4202560 2045 0 0 0 349 1 0 0 20 0 15 0 53302835 15388991488 289287 33554432000 4194304 4196468 140721540162432 140695228561552 140695872780298 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11672] ppid=11656 vsize=15028312 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/11659/task/11672/stat : 11672 (java) S 11656 11659 2271 0 -1 1077944384 4130 0 0 0 143 2 0 0 20 0 15 0 53302835 15388991488 289287 33554432000 4194304 4196468 140721540162432 140695227521776 140695891270274 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11673] ppid=11656 vsize=15028312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11673/stat : 11673 (java) S 11656 11659 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302835 15388991488 289287 33554432000 4194304 4196468 140721540162432 140693397826656 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11674] ppid=11656 vsize=15028312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11674/stat : 11674 (java) S 11656 11659 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302835 15388991488 289287 33554432000 4194304 4196468 140721540162432 140695226468656 140695891270274 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
Current children cumulated CPU time: 13.21 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 1157148 KiB
[startup+5.00072 s]*
/proc/loadavg: 2.97 2.48 2.23 3/225 11687
/proc/meminfo: memFree=12647700/32770624 swapFree=67108860/67108860
[pid=11659] ppid=11656 vsize=15683912 memory=1235996 CPUtime=13.66 cores=1,3,5,7
/proc/11659/stat : 11659 (java) S 11656 11659 2271 0 -1 1077944320 29995 0 0 0 1338 28 0 0 20 0 19 0 53302828 16060325888 308999 33554432000 4194304 4196468 140721540162432 140721540144976 140695891259127 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
/proc/11659/statm: 3920978 308999 3229 1 0 3881834 0
[pid=11682] ppid=11659 vsize=33784 memory=17188 CPUtime=0.08 cores=1,3,5,7
/proc/11682/stat : 11682 (minisat_release) R 11659 11659 2271 0 -1 4202496 3943 0 0 0 8 0 0 0 20 0 1 0 53303320 34594816 4297 33554432000 4194304 4308513 140726915189632 140726915186776 140613187125192 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6409496 6410680 39661568 140726915191471 140726915191982 140726915191982 140726915194821 0
/proc/11682/statm: 8446 4297 333 28 0 4686 0
[pid=11659/tid=11661] ppid=11656 vsize=15683912 memory=-7824251494390454373 CPUtime=4.81 cores=1,3,5,7
/proc/11659/task/11661/stat : 11661 (java) S 11656 11659 2271 0 -1 1077944384 17610 0 0 0 459 22 0 0 20 0 19 0 53302829 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695863098368 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11662] ppid=11656 vsize=15683912 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11662/stat : 11662 (java) S 11656 11659 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53302830 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695895501584 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11663] ppid=11656 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11663/stat : 11663 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53302830 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695686585232 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11664] ppid=11656 vsize=15683912 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11664/stat : 11664 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53302830 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695685532688 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11665] ppid=11656 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11665/stat : 11665 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53302830 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695684480144 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11666] ppid=11656 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11666/stat : 11666 (java) S 11656 11659 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 53302832 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695230679024 140695891270274 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11667] ppid=11656 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11667/stat : 11667 (java) S 11656 11659 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53302832 16060325888 308999 33554432000 4194304 4196468 140721540162432 140694505120672 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11668] ppid=11656 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11668/stat : 11668 (java) S 11656 11659 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53302832 16060325888 308999 33554432000 4194304 4196468 140721540162432 140694270239728 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11669] ppid=11656 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11669/stat : 11669 (java) S 11656 11659 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53302835 16060325888 308999 33554432000 4194304 4196468 140721540162432 140693895731408 140695891277723 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11670] ppid=11656 vsize=15683912 memory=0 CPUtime=3.67 cores=1,3,5,7
/proc/11659/task/11670/stat : 11670 (java) S 11656 11659 2271 0 -1 1077944384 4805 0 0 0 366 1 0 0 20 0 19 0 53302835 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695229626864 140695891270274 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11671] ppid=11656 vsize=15683912 memory=0 CPUtime=3.66 cores=1,3,5,7
/proc/11659/task/11671/stat : 11671 (java) S 11656 11659 2271 0 -1 1077944384 2046 0 0 0 365 1 0 0 20 0 19 0 53302835 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695228574320 140695891270274 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11672] ppid=11656 vsize=15683912 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/11659/task/11672/stat : 11672 (java) S 11656 11659 2271 0 -1 1077944384 4135 0 0 0 145 2 0 0 20 0 19 0 53302835 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695227521776 140695891270274 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11673] ppid=11656 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11673/stat : 11673 (java) S 11656 11659 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53302835 16060325888 308999 33554432000 4194304 4196468 140721540162432 140693397826656 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11674] ppid=11656 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11674/stat : 11674 (java) S 11656 11659 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53302835 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695226468656 140695891270274 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11683] ppid=11656 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11683/stat : 11683 (java) S 11656 11659 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53303320 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695679931456 140695891283737 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11685] ppid=11656 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11685/stat : 11685 (java) S 11656 11659 2271 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 53303320 16060325888 308999 33554432000 4194304 4196468 140721540162432 140692860939824 140695891281053 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11686] ppid=11656 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11686/stat : 11686 (java) S 11656 11659 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53303320 16060325888 308999 33554432000 4194304 4196468 140721540162432 140692592508592 140695891281053 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11687] ppid=11656 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11687/stat : 11687 (java) S 11656 11659 2271 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 53303322 16060325888 308999 33554432000 4194304 4196468 140721540162432 140692995169824 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
Current children cumulated CPU time: 13.74 s
Current children cumulated vsize: 15717696 KiB
Current children cumulated memory: 1253184 KiB
[startup+5.11065 s]
/proc/loadavg: 2.97 2.48 2.23 3/225 11687
/proc/meminfo: memFree=12647700/32770624 swapFree=67108860/67108860
[pid=11659] ppid=11656 vsize=15683912 memory=1235996 CPUtime=13.66 cores=1,3,5,7
/proc/11659/stat : 11659 (java) S 11656 11659 2271 0 -1 1077944320 29995 0 0 0 1338 28 0 0 20 0 19 0 53302828 16060325888 308999 33554432000 4194304 4196468 140721540162432 140721540144976 140695891259127 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
/proc/11659/statm: 3920978 308999 3229 1 0 3881834 0
[pid=11682] ppid=11659 vsize=37064 memory=19300 CPUtime=0.18 cores=1,3,5,7
/proc/11682/stat : 11682 (minisat_release) R 11659 11659 2271 0 -1 4202496 4844 0 0 0 18 0 0 0 20 0 1 0 53303320 37953536 4825 33554432000 4194304 4308513 140726915189632 140726915186776 4275992 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 39661568 140726915191471 140726915191982 140726915191982 140726915194821 0
/proc/11682/statm: 9266 4825 334 28 0 5506 0
[pid=11659/tid=11661] ppid=11656 vsize=15683912 memory=288230621787206961 CPUtime=4.81 cores=1,3,5,7
/proc/11659/task/11661/stat : 11661 (java) S 11656 11659 2271 0 -1 1077944384 17610 0 0 0 459 22 0 0 20 0 19 0 53302829 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695863098368 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11662] ppid=11656 vsize=15683912 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11662/stat : 11662 (java) S 11656 11659 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53302830 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695895501584 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11663] ppid=11656 vsize=15683912 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11663/stat : 11663 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53302830 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695686585232 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11664] ppid=11656 vsize=15683912 memory=355272 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11664/stat : 11664 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53302830 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695685532688 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11665] ppid=11656 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11665/stat : 11665 (java) S 11656 11659 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53302830 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695684480144 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11666] ppid=11656 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11666/stat : 11666 (java) S 11656 11659 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 53302832 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695230679024 140695891270274 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11667] ppid=11656 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11667/stat : 11667 (java) S 11656 11659 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53302832 16060325888 308999 33554432000 4194304 4196468 140721540162432 140694505120672 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11668] ppid=11656 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11668/stat : 11668 (java) S 11656 11659 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53302832 16060325888 308999 33554432000 4194304 4196468 140721540162432 140694270239728 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11669] ppid=11656 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11669/stat : 11669 (java) S 11656 11659 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53302835 16060325888 308999 33554432000 4194304 4196468 140721540162432 140693895731408 140695891277723 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11670] ppid=11656 vsize=15683912 memory=0 CPUtime=3.67 cores=1,3,5,7
/proc/11659/task/11670/stat : 11670 (java) S 11656 11659 2271 0 -1 1077944384 4805 0 0 0 366 1 0 0 20 0 19 0 53302835 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695229626864 140695891270274 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11671] ppid=11656 vsize=15683912 memory=231 CPUtime=3.66 cores=1,3,5,7
/proc/11659/task/11671/stat : 11671 (java) S 11656 11659 2271 0 -1 1077944384 2046 0 0 0 365 1 0 0 20 0 19 0 53302835 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695228574320 140695891270274 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11672] ppid=11656 vsize=15683912 memory=227 CPUtime=1.47 cores=1,3,5,7
/proc/11659/task/11672/stat : 11672 (java) S 11656 11659 2271 0 -1 1077944384 4135 0 0 0 145 2 0 0 20 0 19 0 53302835 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695227521776 140695891270274 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11673] ppid=11656 vsize=15683912 memory=301741373374332954 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11673/stat : 11673 (java) S 11656 11659 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53302835 16060325888 308999 33554432000 4194304 4196468 140721540162432 140693397826656 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11674] ppid=11656 vsize=15683912 memory=311593044870955319 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11674/stat : 11674 (java) S 11656 11659 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53302835 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695226468656 140695891270274 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11683] ppid=11656 vsize=15683912 memory=16098156739823870 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11683/stat : 11683 (java) S 11656 11659 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53303320 16060325888 308999 33554432000 4194304 4196468 140721540162432 140695679931456 140695891283737 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11685] ppid=11656 vsize=15683912 memory=-8253362664378450576 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11685/stat : 11685 (java) S 11656 11659 2271 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 53303320 16060325888 308999 33554432000 4194304 4196468 140721540162432 140692860939824 140695891281053 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11686] ppid=11656 vsize=15683912 memory=7679937479730885434 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11686/stat : 11686 (java) S 11656 11659 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53303320 16060325888 308999 33554432000 4194304 4196468 140721540162432 140692592508592 140695891281053 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
[pid=11659/tid=11687] ppid=11656 vsize=15683912 memory=8326441112148417179 CPUtime=0 cores=1,3,5,7
/proc/11659/task/11687/stat : 11687 (java) S 11656 11659 2271 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 53303322 16060325888 308999 33554432000 4194304 4196468 140721540162432 140692995169824 140695891269333 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7688192 140721540166643 140721540166921 140721540166921 140721540169679 0
Current children cumulated CPU time: 13.84 s
Current children cumulated vsize: 15720976 KiB
Current children cumulated memory: 1255296 KiB
Child status: 0
Real time (s): 5.20087
CPU time (s): 14.0836
CPU user time (s): 13.7784
CPU system time (s): 0.305234
CPU usage (%): 270.793
Max. virtual memory (cumulated for all children) (KiB): 15720976
Max. memory (cumulated for all children) (KiB): 1255296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.7784
system time used= 0.305234
maximum resident set size= 1242820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34930
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4247
involuntary context switches= 42
# summary of solver processes directly reported to runsolver:
# pid: 11659
# total CPU time (s): 14.0836
# total CPU user time (s): 13.7784
# total CPU system time (s): 0.305234
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054292 second user time and 0.102435 second system time
The end