0.66/0.52
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Jul 26 08:10:00 CEST 2018
0.66/0.55 c PID: 6725
0.66/0.55 c IP: 172.20.3.150
0.66/0.55 c HOST: node150.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.39/0.98 c (0,0) Parsing End
1.39/0.99 c (0,0) CSP: 210 int (0 aux), 0 bool (0 aux), 114 ctr, max domain size 66
1.39/0.99 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.39/0.99 c (0,0) Constraint Name Generate Begin
1.39/1.00 c (0,0) Ctr:HOME/instance-4295805-1532585399.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.39/1.00 c (0,0) Constraint Name Generate End
1.39/1.00 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.39/1.00 c (0,0) CSP to CSPinCNF Begin
3.72/1.84 c (1,1) translated 12 (10%) constraints
4.68/2.11 c (1,1) translated 23 (20%) constraints
5.27/2.35 c (1,1) translated 35 (30%) constraints
5.86/2.55 c (2,2) translated 46 (40%) constraints
6.47/2.74 c (2,2) translated 57 (50%) constraints
7.45/3.10 c (2,2) translated 69 (60%) constraints
8.14/3.24 c (2,2) translated 80 (70%) constraints
9.07/3.53 c (3,2) translated 92 (80%) constraints
9.07/3.56 c (3,3) translated 103 (90%) constraints
9.38/3.64 c (3,3) translated 114 (100%) constraints
10.34/3.93 c (3,3) STATISTICS1:HOME/instance-4295805-1532585399.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,7086,30682,8388608,66,66,24,8388608:144;2097152:144;66:1770;32:22;11:798;1:375,66:19740;11:23160;2:46896;1:1980,66:2;12:222;11:66;10:66;9:66;8:66;7:66;6:66;5:66;4:7194;3:8262;2:14301;1:239,24:144;22:144;6:22;2:2943;1:82728;0:66,
10.34/3.93 c (3,3) ===========================================
10.34/3.93 c (3,3) Order
10.34/3.93 c (3,3) ===========================================
10.68/4.03 c (3,3) translated 3069 (10%) constraints
10.98/4.13 c (3,3) translated 6137 (20%) constraints
11.26/4.22 c (3,3) translated 9205 (30%) constraints
11.56/4.31 c (3,3) translated 12273 (40%) constraints
11.56/4.38 c (3,3) translated 15341 (50%) constraints
11.86/4.44 c (3,3) translated 18410 (60%) constraints
12.19/4.50 c (3,3) translated 21478 (70%) constraints
12.19/4.58 c (4,4) translated 24546 (80%) constraints
13.12/4.81 c (4,4) translated 27614 (90%) constraints
14.07/5.14 c (4,4) translated 30682 (100%) constraints
14.07/5.14 c (4,4) CSP to CSPinCNF End
14.07/5.15 c (4,4) CSP: 786 int (576 aux), 8670 bool (8670 aux), 35223 ctr, max domain size 64
14.07/5.15 c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
14.07/5.15 c (4,4) CSPinCNF Propagation Begin
15.27/5.59 c (5,5) 1764 values, 6351 unsatisfiable literals, and 4815 valid clauses are removed
15.27/5.59 c (5,5) CSPinCNF Propagation End
15.27/5.60 c (5,5) CSP: 2088 int (1878 aux), 7368 bool (7368 aux), 30408 ctr, max domain size 64
15.27/5.60 c (5,5) Heap : 1351 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
15.27/5.60 c (5,5) Simplify CSPinCNF Begin
16.18/5.81 c (5,5) Simplify CSPinCNF End
16.18/5.81 c (5,5) CSP: 2088 int (1878 aux), 12840 bool (12840 aux), 35880 ctr, max domain size 64
16.18/5.81 c (5,5) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
16.18/5.81 c (5,5) Calculate Precise Domain Begin
16.18/5.85 c (5,5) 6 values are removed by re-calculation
16.18/5.85 c (5,5) Calculate Precise Domain End
16.18/5.85 c (5,5) CSP: 2088 int (1878 aux), 12840 bool (12840 aux), 35880 ctr, max domain size 64
16.18/5.85 c (5,5) Heap : 1464 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
16.18/5.85 c (5,5) CSPinCNF to SatSolver Begin
16.47/5.99 c (5,5) 3588 (10 %) CSP clauses are encoded (19464 SAT variables, 9467 SAT clauses)
16.81/6.02 c (5,5) 7176 (20 %) CSP clauses are encoded (19464 SAT variables, 13055 SAT clauses)
16.81/6.05 c (5,5) 10764 (30 %) CSP clauses are encoded (19464 SAT variables, 16643 SAT clauses)
16.81/6.08 c (5,5) 14352 (40 %) CSP clauses are encoded (19464 SAT variables, 20231 SAT clauses)
16.81/6.10 c (5,5) 17940 (50 %) CSP clauses are encoded (19464 SAT variables, 23819 SAT clauses)
17.37/6.24 c (5,5) 21528 (60 %) CSP clauses are encoded (19464 SAT variables, 50402 SAT clauses)
17.96/6.63 c (6,6) 25116 (70 %) CSP clauses are encoded (19464 SAT variables, 184526 SAT clauses)
18.19/6.88 c (6,6) 28704 (80 %) CSP clauses are encoded (19464 SAT variables, 267505 SAT clauses)
18.65/7.06 c (6,6) 32292 (90 %) CSP clauses are encoded (19464 SAT variables, 285659 SAT clauses)
19.11/7.22 c (6,6) 35880 (100 %) CSP clauses are encoded (19464 SAT variables, 310063 SAT clauses)
19.11/7.22 c (6,6) CSPinCNF to SatSolver End
19.11/7.22 c (6,6) Heap : 2253 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.67/7.49 c (6,6) STATISTICS2:HOME/instance-4295805-1532585399.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,14928,35880,256,64,11,9,256:108;128:432;64:3648;32:32;21:45;16:96;14:5;12:15;11:438;10:1020;9:180;8:109;4:36;1:480,64:22908;11:19308;10:4620;8:104;7:104;5:11;4:57;3:1200;2:56592;1:1800,11:120;10:120;9:60;8:60;7:60;6:82;5:60;4:6540;3:6642;2:20964;1:1172,9:576;8:288;6:20;3:282;2:5478;1:87294,
19.67/7.49 c (6,6) SatSolver.solve Begin
19.67/7.49 c (6,6) 19464 bool, 310073 clause
19.67/7.49 c (6,6) 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-4295805-1532585399.xml-scop-6725.cnf HOME/instance-4295805-1532585399.xml-scop-6725.cnf.out
53.64/41.12 c (40,0) c This is COMiniSatPS.
53.64/41.12 c (40,0) c WARNING: for repeatability, setting FPU to use double precision
53.64/41.12 c (40,0) c ============================[ Problem Statistics ]=============================
53.64/41.12 c (40,0) c | |
53.64/41.12 c (40,0) c | Number of variables: 19464 |
53.64/41.12 c (40,0) c | Number of clauses: 310073 |
53.64/41.12 c (40,0) c | Parse time: 0.08 s |
53.64/41.12 c (40,0) c | Eliminated clauses: 0.31 Mb |
53.64/41.12 c (40,0) c Reduced to 10276 vars, 280959 cls (grow=0)
53.64/41.12 c (40,0) c No iterative elimination performed. (vars=10276, c/v ratio=27.3)
53.64/41.12 c (40,0) c | Simplification time: 0.46 s |
53.64/41.12 c (40,0) c | |
53.64/41.12 c (40,0) c ============================[ Search Statistics ]==============================
53.64/41.12 c (40,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
53.64/41.12 c (40,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
53.64/41.12 c (40,0) c ===============================================================================
53.64/41.12 c (40,0) c ===============================================================================
53.64/41.12 c (40,0) c restarts : 77
53.64/41.12 c (40,0) c conflicts : 123573 (3683 /sec)
53.64/41.12 c (40,0) c decisions : 223645 (0.00 % random) (6665 /sec)
53.64/41.12 c (40,0) c propagations : 97760043 (2913584 /sec)
53.64/41.12 c (40,0) c conflict literals : 11079891 (26.43 % deleted)
53.64/41.12 c (40,0) c CPU time : 33.5532 s
53.64/41.12 c (40,0)
53.64/41.12 c (40,0) s SATISFIABLE
53.64/41.15 c (40,7) SatSolver.solve End
53.64/41.15 c (40,7) Heap : 2647 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
53.64/41.15 c (40,7) Show results Begin
53.64/41.16 c (40,7) a[0][0] = 1
53.64/41.16 c (40,7) a[0][1] = 3
53.64/41.16 c (40,7) a[0][2] = 6
53.64/41.16 c (40,7) a[0][3] = 9
53.64/41.16 c (40,7) a[0][4] = 11
53.64/41.16 c (40,7) a[0][5] = 7
53.64/41.16 c (40,7) a[0][6] = 5
53.64/41.16 c (40,7) a[0][7] = 4
53.64/41.16 c (40,7) a[0][8] = 10
53.64/41.16 c (40,7) a[0][9] = 11
53.64/41.16 c (40,7) a[0][10] = 10
53.64/41.16 c (40,7) a[1][0] = 3
53.64/41.16 c (40,7) a[1][1] = 10
53.64/41.16 c (40,7) a[1][2] = 5
53.64/41.16 c (40,7) a[1][3] = 11
53.64/41.16 c (40,7) a[1][4] = 8
53.64/41.16 c (40,7) a[1][5] = 9
53.64/41.16 c (40,7) a[1][6] = 9
53.64/41.16 c (40,7) a[1][7] = 8
53.64/41.16 c (40,7) a[1][8] = 11
53.64/41.16 c (40,7) a[1][9] = 10
53.64/41.17 c (40,7) a[1][10] = 2
53.64/41.17 c (40,7) a[2][0] = 5
53.64/41.17 c (40,7) a[2][1] = 11
53.64/41.17 c (40,7) a[2][2] = 11
53.64/41.17 c (40,7) a[2][3] = 4
53.64/41.17 c (40,7) a[2][4] = 10
53.64/41.17 c (40,7) a[2][5] = 6
53.64/41.17 c (40,7) a[2][6] = 8
53.64/41.17 c (40,7) a[2][7] = 10
53.64/41.17 c (40,7) a[2][8] = 8
53.64/41.17 c (40,7) a[2][9] = 7
53.64/41.17 c (40,7) a[2][10] = 5
53.64/41.17 c (40,7) a[3][0] = 7
53.64/41.17 c (40,7) a[3][1] = 8
53.64/41.17 c (40,7) a[3][2] = 9
53.64/41.17 c (40,7) a[3][3] = 10
53.64/41.17 c (40,7) a[3][4] = 5
53.64/41.17 c (40,7) a[3][5] = 10
53.64/41.17 c (40,7) a[3][6] = 11
53.64/41.17 c (40,7) a[3][7] = 7
53.64/41.17 c (40,7) a[3][8] = 9
53.64/41.17 c (40,7) a[3][9] = 4
53.64/41.17 c (40,7) a[3][10] = 8
53.64/41.17 c (40,7) a[4][0] = 9
53.64/41.17 c (40,7) a[4][1] = 6
53.64/41.17 c (40,7) a[4][2] = 3
53.64/41.17 c (40,7) a[4][3] = 6
53.64/41.17 c (40,7) a[4][4] = 4
53.64/41.17 c (40,7) a[4][5] = 8
53.64/41.17 c (40,7) a[4][6] = 10
53.64/41.17 c (40,7) a[4][7] = 11
53.64/41.17 c (40,7) a[4][8] = 7
53.64/41.17 c (40,7) a[4][9] = 9
53.64/41.17 c (40,7) a[4][10] = 11
53.64/41.17 c (40,7) a[5][0] = 11
53.64/41.17 c (40,7) a[5][1] = 2
53.64/41.17 c (40,7) a[5][2] = 10
53.64/41.17 c (40,7) a[5][3] = 8
53.64/41.17 c (40,7) a[5][4] = 9
53.64/41.17 c (40,7) a[5][5] = 11
53.64/41.17 c (40,7) a[5][6] = 7
53.64/41.17 c (40,7) a[5][7] = 9
53.64/41.17 c (40,7) a[5][8] = 6
53.64/41.17 c (40,7) a[5][9] = 6
53.64/41.17 c (40,7) a[5][10] = 7
53.64/41.17 c (40,7) ad[0] = 8
53.64/41.17 c (40,7) ad[1] = 6
53.64/41.17 c (40,7) ad[2] = 9
53.64/41.17 c (40,7) ad[3] = 11
53.64/41.17 c (40,7) ad[4] = 10
53.64/41.17 c (40,7) ad[5] = 4
53.64/41.17 c (40,7) h[0][0] = 0
53.64/41.17 c (40,7) h[0][1] = 1
53.64/41.17 c (40,7) h[0][2] = 4
53.64/41.17 c (40,7) h[0][3] = 7
53.64/41.17 c (40,7) h[0][4] = 6
53.64/41.17 c (40,7) h[0][5] = 2
53.64/41.17 c (40,7) h[0][6] = 2
53.64/41.17 c (40,7) h[0][7] = 3
53.64/41.17 c (40,7) h[0][8] = 5
53.64/41.17 c (40,7) h[0][9] = 8
53.64/41.17 c (40,7) h[0][10] = 9
53.64/41.17 c (40,7) h[1][0] = 2
53.64/41.17 c (40,7) h[1][1] = 7
53.64/41.17 c (40,7) h[1][2] = 1
53.64/41.17 c (40,7) h[1][3] = 3
53.64/41.17 c (40,7) h[1][4] = 7
53.64/41.17 c (40,7) h[1][5] = 4
53.64/41.17 c (40,7) h[1][6] = 6
53.64/41.17 c (40,7) h[1][7] = 0
53.64/41.17 c (40,7) h[1][8] = 4
53.64/41.17 c (40,7) h[1][9] = 0
53.64/41.17 c (40,7) h[1][10] = 1
53.64/41.17 c (40,7) h[2][0] = 4
53.64/41.17 c (40,7) h[2][1] = 9
53.64/41.17 c (40,7) h[2][2] = 7
53.64/41.17 c (40,7) h[2][3] = 0
53.64/41.17 c (40,7) h[2][4] = 2
53.64/41.17 c (40,7) h[2][5] = 0
53.64/41.17 c (40,7) h[2][6] = 3
53.64/41.17 c (40,7) h[2][7] = 6
53.64/41.17 c (40,7) h[2][8] = 2
53.64/41.17 c (40,7) h[2][9] = 1
53.64/41.17 c (40,7) h[2][10] = 3
53.64/41.17 c (40,7) h[3][0] = 6
53.64/41.17 c (40,7) h[3][1] = 4
53.64/41.17 c (40,7) h[3][2] = 2
53.64/41.17 c (40,7) h[3][3] = 1
53.64/41.17 c (40,7) h[3][4] = 0
53.64/41.17 c (40,7) h[3][5] = 3
53.64/41.17 c (40,7) h[3][6] = 1
53.64/41.17 c (40,7) h[3][7] = 5
53.64/41.17 c (40,7) h[3][8] = 0
53.64/41.17 c (40,7) h[3][9] = 2
53.64/41.17 c (40,7) h[3][10] = 6
53.64/41.17 c (40,7) h[4][0] = 8
53.64/41.17 c (40,7) h[4][1] = 5
53.64/41.17 c (40,7) h[4][2] = 0
53.64/41.17 c (40,7) h[4][3] = 2
53.64/41.17 c (40,7) h[4][4] = 1
53.64/41.17 c (40,7) h[4][5] = 1
53.64/41.17 c (40,7) h[4][6] = 4
53.64/41.17 c (40,7) h[4][7] = 2
53.64/41.17 c (40,7) h[4][8] = 3
53.64/41.17 c (40,7) h[4][9] = 5
53.64/41.17 c (40,7) h[4][10] = 0
53.64/41.17 c (40,7) h[5][0] = 10
53.64/41.17 c (40,7) h[5][1] = 0
53.64/41.17 c (40,7) h[5][2] = 8
53.64/41.17 c (40,7) h[5][3] = 5
53.64/41.17 c (40,7) h[5][4] = 3
53.64/41.17 c (40,7) h[5][5] = 5
53.64/41.17 c (40,7) h[5][6] = 0
53.64/41.17 c (40,7) h[5][7] = 1
53.64/41.17 c (40,7) h[5][8] = 1
53.64/41.17 c (40,7) h[5][9] = 3
53.64/41.17 c (40,7) h[5][10] = 4
53.64/41.17 c (40,7) hd[0] = 0
53.64/41.17 c (40,7) hd[1] = 5
53.64/41.17 c (40,7) hd[2] = 1
53.64/41.17 c (40,7) hd[3] = 3
53.64/41.17 c (40,7) hd[4] = 7
53.64/41.17 c (40,7) hd[5] = 2
53.64/41.17 c (40,7) m[0][0] = 0
53.64/41.17 c (40,7) m[0][1] = 12
53.64/41.17 c (40,7) m[0][2] = 39
53.64/41.17 c (40,7) m[0][3] = 57
53.64/41.17 c (40,7) m[0][4] = 55
53.64/41.17 c (40,7) m[0][5] = 25
53.64/41.17 c (40,7) m[0][6] = 23
53.64/41.17 c (40,7) m[0][7] = 30
53.64/41.17 c (40,7) m[0][8] = 49
53.64/41.17 c (40,7) m[0][9] = 62
53.64/41.17 c (40,7) m[0][10] = 63
53.64/41.17 c (40,7) m[1][0] = 21
53.64/41.17 c (40,7) m[1][1] = 58
53.64/41.17 c (40,7) m[1][2] = 14
53.64/41.17 c (40,7) m[1][3] = 37
53.64/41.17 c (40,7) m[1][4] = 56
53.64/41.17 c (40,7) m[1][5] = 42
53.64/41.17 c (40,7) m[1][6] = 53
53.64/41.17 c (40,7) m[1][7] = 7
53.64/41.17 c (40,7) m[1][8] = 44
53.64/41.17 c (40,7) m[1][9] = 9
53.64/41.17 c (40,7) m[1][10] = 11
53.64/41.17 c (40,7) m[2][0] = 38
53.64/41.17 c (40,7) m[2][1] = 64
53.64/41.17 c (40,7) m[2][2] = 59
53.64/41.17 c (40,7) m[2][3] = 3
53.64/41.17 c (40,7) m[2][4] = 28
53.64/41.17 c (40,7) m[2][5] = 5
53.64/41.17 c (40,7) m[2][6] = 34
53.64/41.17 c (40,7) m[2][7] = 54
53.64/41.17 c (40,7) m[2][8] = 26
53.64/41.17 c (40,7) m[2][9] = 16
53.64/41.17 c (40,7) m[2][10] = 31
53.64/41.17 c (40,7) m[3][0] = 51
53.64/41.17 c (40,7) m[3][1] = 41
53.64/41.17 c (40,7) m[3][2] = 27
53.64/41.17 c (40,7) m[3][3] = 19
53.64/41.17 c (40,7) m[3][4] = 4
53.64/41.17 c (40,7) m[3][5] = 36
53.64/41.17 c (40,7) m[3][6] = 20
53.64/41.17 c (40,7) m[3][7] = 46
53.64/41.17 c (40,7) m[3][8] = 8
53.64/41.17 c (40,7) m[3][9] = 22
53.64/41.17 c (40,7) m[3][10] = 52
53.64/41.17 c (40,7) m[4][0] = 60
53.64/41.17 c (40,7) m[4][1] = 45
53.64/41.17 c (40,7) m[4][2] = 2
53.64/41.17 c (40,7) m[4][3] = 24
53.64/41.17 c (40,7) m[4][4] = 13
53.64/41.17 c (40,7) m[4][5] = 17
53.64/41.17 c (40,7) m[4][6] = 43
53.64/41.17 c (40,7) m[4][7] = 29
53.64/41.17 c (40,7) m[4][8] = 33
53.64/41.17 c (40,7) m[4][9] = 48
53.64/41.17 c (40,7) m[4][10] = 10
53.64/41.17 c (40,7) m[5][0] = 65
53.64/41.17 c (40,7) m[5][1] = 1
53.64/41.17 c (40,7) m[5][2] = 61
53.64/41.17 c (40,7) m[5][3] = 47
53.64/41.17 c (40,7) m[5][4] = 35
53.64/41.17 c (40,7) m[5][5] = 50
53.64/41.17 c (40,7) m[5][6] = 6
53.64/41.17 c (40,7) m[5][7] = 18
53.64/41.17 c (40,7) m[5][8] = 15
53.64/41.17 c (40,7) m[5][9] = 32
53.64/41.17 c (40,7) m[5][10] = 40
53.64/41.17 s SATISFIABLE
53.64/41.17 v <instantiation>
53.64/41.17 v <list>h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] m[0][0] m[0][1] m[0][2] m[0][3] m[0][4] m[0][5] m[0][6] m[0][7] m[0][8] m[0][9] m[0][10] m[1][0] m[1][1] m[1][2] m[1][3] m[1][4] m[1][5] m[1][6] m[1][7] m[1][8] m[1][9] m[1][10] m[2][0] m[2][1] m[2][2] m[2][3] m[2][4] m[2][5] m[2][6] m[2][7] m[2][8] m[2][9] m[2][10] m[3][0] m[3][1] m[3][2] m[3][3] m[3][4] m[3][5] m[3][6] m[3][7] m[3][8] m[3][9] m[3][10] m[4][0] m[4][1] m[4][2] m[4][3] m[4][4] m[4][5] m[4][6] m[4][7] m[4][8] m[4][9] m[4][10] m[5][0] m[5][1] m[5][2] m[5][3] m[5][4] m[5][5] m[5][6] m[5][7] m[5][8] m[5][9] m[5][10] hd[0] hd[1] hd[2] hd[3] hd[4] hd[5] ad[0] ad[1] ad[2] ad[3] ad[4] ad[5]</list>
53.64/41.17 v <values>0 1 4 7 6 2 2 3 5 8 9 2 7 1 3 7 4 6 0 4 0 1 4 9 7 0 2 0 3 6 2 1 3 6 4 2 1 0 3 1 5 0 2 6 8 5 0 2 1 1 4 2 3 5 0 10 0 8 5 3 5 0 1 1 3 4 1 3 6 9 11 7 5 4 10 11 10 3 10 5 11 8 9 9 8 11 10 2 5 11 11 4 10 6 8 10 8 7 5 7 8 9 10 5 10 11 7 9 4 8 9 6 3 6 4 8 10 11 7 9 11 11 2 10 8 9 11 7 9 6 6 7 0 12 39 57 55 25 23 30 49 62 63 21 58 14 37 56 42 53 7 44 9 11 38 64 59 3 28 5 34 54 26 16 31 51 41 27 19 4 36 20 46 8 22 52 60 45 2 24 13 17 43 29 33 48 10 65 1 61 47 35 50 6 18 15 32 40 0 5 1 3 7 2 8 6 9 11 10 4</values>
53.64/41.17 v </instantiation>
53.64/41.17 c (40,7) Show results End
53.64/41.17 c (40,7) Heap : 2647 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
53.64/41.17 c (40,7) 0,0,4,5,5,5,6,40,40,STOP-AFTER(ALL)
53.64/41.17 c END-Prog: Thu Jul 26 08:10:40 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 (5080 MiB free)
memory of node 1: 16384 MiB (13995 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295805-1532585399/watcher-4295805-1532585399 -o /tmp/evaluation-result-4295805-1532585399/solver-4295805-1532585399 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32681 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295805-1532585399.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=6725, runsolver pid=6722
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 2.38 2.20 2.10 4/215 6740
/proc/meminfo: memFree=19473996/32770624 swapFree=67108860/67108860
[pid=6725] ppid=6722 vsize=15011656 memory=71664 CPUtime=0.11 cores=1,3,5,7
/proc/6725/stat : 6725 (java) S 6722 6725 32649 0 -1 1077944320 7128 0 0 0 9 2 0 0 20 0 15 0 76103176 15371935744 17916 33554432000 4194304 4196468 140729159338656 140729159321200 140261114511095 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
/proc/6725/statm: 3752914 17916 2777 1 0 3715374 0
[pid=6725/tid=6727] ppid=6722 vsize=15011656 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (java) R 6722 6725 32649 0 -1 4202560 5236 0 0 0 8 1 0 0 20 0 15 0 76103177 15371935744 17916 33554432000 4194304 4196468 140729159338656 140261086297216 140261094786909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6728] ppid=6722 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6728/stat : 6728 (java) S 6722 6725 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76103178 15371935744 17982 33554432000 4194304 4196468 140729159338656 140261118753296 140261114521301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6729] ppid=6722 vsize=15011656 memory=140012830557824 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76103178 15371935744 17982 33554432000 4194304 4196468 140729159338656 140260950002320 140261114521301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6730] ppid=6722 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6730/stat : 6730 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76103178 15371935744 17982 33554432000 4194304 4196468 140729159338656 140260573993232 140261114521301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6731] ppid=6722 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (java) S 6722 6725 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76103178 15371935744 17982 33554432000 4194304 4196468 140729159338656 140260572940688 140261114521301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6732] ppid=6722 vsize=15011656 memory=140012830557824 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6732/stat : 6732 (java) S 6722 6725 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76103180 15371935744 17982 33554432000 4194304 4196468 140729159338656 140260152703728 140261114522242 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6733] ppid=6722 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6733/stat : 6733 (java) S 6722 6725 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76103180 15371935744 17982 33554432000 4194304 4196468 140729159338656 140259673237152 140261114521301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6734] ppid=6722 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6734/stat : 6734 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76103180 15371935744 17982 33554432000 4194304 4196468 140729159338656 140259404801264 140261114521301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6735] ppid=6722 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6735/stat : 6735 (java) S 6722 6725 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76103183 15371935744 17982 33554432000 4194304 4196468 140729159338656 140259030292944 140261114529691 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6736] ppid=6722 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6736/stat : 6736 (java) S 6722 6725 32649 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 76103183 15371935744 17982 33554432000 4194304 4196468 140729159338656 140260151650544 140261114522242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6737] ppid=6722 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6737/stat : 6737 (java) S 6722 6725 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76103183 15371935744 17982 33554432000 4194304 4196468 140729159338656 140260150598000 140261114522242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6738] ppid=6722 vsize=15011656 memory=140012830557824 CPUtime=0.01 cores=1,3,5,7
/proc/6725/task/6738/stat : 6738 (java) S 6722 6725 32649 0 -1 1077944384 295 0 0 0 1 0 0 0 20 0 15 0 76103183 15371935744 17982 33554432000 4194304 4196468 140729159338656 140260149544944 140261114522242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6739] ppid=6722 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6739/stat : 6739 (java) S 6722 6725 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76103183 15371935744 18048 33554432000 4194304 4196468 140729159338656 140258532387168 140261114521301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6740] ppid=6722 vsize=15011656 memory=140012830557824 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6740/stat : 6740 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76103183 15371935744 18048 33554432000 4194304 4196468 140729159338656 140260148493360 140261114522242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71664 KiB
[startup+0.210203 s]*
/proc/loadavg: 2.38 2.20 2.10 3/215 6740
/proc/meminfo: memFree=19457316/32770624 swapFree=67108860/67108860
[pid=6725] ppid=6722 vsize=15011656 memory=87264 CPUtime=0.24 cores=1,3,5,7
/proc/6725/stat : 6725 (java) S 6722 6725 32649 0 -1 1077944320 11293 0 0 0 22 2 0 0 20 0 15 0 76103176 15371935744 21816 33554432000 4194304 4196468 140729159338656 140729159321200 140261114511095 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
/proc/6725/statm: 3752914 21816 2875 1 0 3715374 0
[pid=6725/tid=6727] ppid=6722 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (java) R 6722 6725 32649 0 -1 4202560 9135 0 0 0 18 2 0 0 20 0 15 0 76103177 15371935744 21816 33554432000 4194304 4196468 140729159338656 140261086338592 140261114533021 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6728] ppid=6722 vsize=15011656 memory=4294967639 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6728/stat : 6728 (java) S 6722 6725 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76103178 15371935744 21816 33554432000 4194304 4196468 140729159338656 140261118753296 140261114521301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6729] ppid=6722 vsize=15011656 memory=4049219336757020320 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76103178 15371935744 21816 33554432000 4194304 4196468 140729159338656 140260950002320 140261114521301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6730] ppid=6722 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6730/stat : 6730 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76103178 15371935744 21816 33554432000 4194304 4196468 140729159338656 140260573993232 140261114521301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6731] ppid=6722 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (java) S 6722 6725 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76103178 15371935744 21816 33554432000 4194304 4196468 140729159338656 140260572940688 140261114521301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6732] ppid=6722 vsize=15011656 memory=140012830557824 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6732/stat : 6732 (java) S 6722 6725 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76103180 15371935744 21816 33554432000 4194304 4196468 140729159338656 140260152703728 140261114522242 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6733] ppid=6722 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6733/stat : 6733 (java) S 6722 6725 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76103180 15371935744 21816 33554432000 4194304 4196468 140729159338656 140259673237152 140261114521301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6734] ppid=6722 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6734/stat : 6734 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76103180 15371935744 21816 33554432000 4194304 4196468 140729159338656 140259404801264 140261114521301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6735] ppid=6722 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6735/stat : 6735 (java) S 6722 6725 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76103183 15371935744 21816 33554432000 4194304 4196468 140729159338656 140259030292944 140261114529691 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6736] ppid=6722 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6736/stat : 6736 (java) S 6722 6725 32649 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 15 0 76103183 15371935744 21816 33554432000 4194304 4196468 140729159338656 140260151650544 140261114522242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6737] ppid=6722 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6737/stat : 6737 (java) S 6722 6725 32649 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 76103183 15371935744 21816 33554432000 4194304 4196468 140729159338656 140260150598000 140261114522242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6738] ppid=6722 vsize=15011656 memory=140012830557824 CPUtime=0.03 cores=1,3,5,7
/proc/6725/task/6738/stat : 6738 (java) R 6722 6725 32649 0 -1 4202560 347 0 0 0 3 0 0 0 20 0 15 0 76103183 15371935744 21816 33554432000 4194304 4196468 140729159338656 140260149544944 140261106748222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6739] ppid=6722 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6739/stat : 6739 (java) S 6722 6725 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76103183 15371935744 21816 33554432000 4194304 4196468 140729159338656 140258532387168 140261114521301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6740] ppid=6722 vsize=15011656 memory=140012830557824 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6740/stat : 6740 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76103183 15371935744 21816 33554432000 4194304 4196468 140729159338656 140260148493360 140261114522242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87264 KiB
[startup+0.310189 s]*
/proc/loadavg: 2.38 2.20 2.10 6/215 6740
/proc/meminfo: memFree=19428328/32770624 swapFree=67108860/67108860
[pid=6725] ppid=6722 vsize=15011656 memory=91188 CPUtime=0.42 cores=1,3,5,7
/proc/6725/stat : 6725 (java) S 6722 6725 32649 0 -1 1077944320 11842 0 0 0 39 3 0 0 20 0 15 0 76103176 15371935744 22797 33554432000 4194304 4196468 140729159338656 140729159321200 140261114511095 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
/proc/6725/statm: 3752914 22797 3019 1 0 3715374 0
[pid=6725/tid=6727] ppid=6722 vsize=15011656 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (java) R 6722 6725 32649 0 -1 4202560 9437 0 0 0 27 2 0 0 20 0 15 0 76103177 15371935744 22797 33554432000 4194304 4196468 140729159338656 140261086315248 140261098591582 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6728] ppid=6722 vsize=15011656 memory=4294967363 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6728/stat : 6728 (java) S 6722 6725 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76103178 15371935744 22797 33554432000 4194304 4196468 140729159338656 140261118753296 140261114521301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6729] ppid=6722 vsize=15011656 memory=140012830557824 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76103178 15371935744 22797 33554432000 4194304 4196468 140729159338656 140260950002320 140261114521301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6730] ppid=6722 vsize=15011656 memory=280025425447840 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6730/stat : 6730 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76103178 15371935744 22797 33554432000 4194304 4196468 140729159338656 140260573993232 140261114521301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6731] ppid=6722 vsize=15011656 memory=67 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (java) S 6722 6725 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76103178 15371935744 22797 33554432000 4194304 4196468 140729159338656 140260572940688 140261114521301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6732] ppid=6722 vsize=15011656 memory=280025543284048 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6732/stat : 6732 (java) S 6722 6725 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76103180 15371935744 22797 33554432000 4194304 4196468 140729159338656 140260152703728 140261114522242 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6733] ppid=6722 vsize=15011656 memory=67 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6733/stat : 6733 (java) S 6722 6725 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76103180 15371935744 22797 33554432000 4194304 4196468 140729159338656 140259673237152 140261114521301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6734] ppid=6722 vsize=15011656 memory=64996 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6734/stat : 6734 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76103180 15371935744 22797 33554432000 4194304 4196468 140729159338656 140259404801264 140261114521301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6735] ppid=6722 vsize=15011656 memory=67300 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6735/stat : 6735 (java) S 6722 6725 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76103183 15371935744 22797 33554432000 4194304 4196468 140729159338656 140259030292944 140261114529691 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6736] ppid=6722 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6725/task/6736/stat : 6736 (java) S 6722 6725 32649 0 -1 1077944384 546 0 0 0 2 0 0 0 20 0 15 0 76103183 15371935744 22797 33554432000 4194304 4196468 140729159338656 140260151650544 140261114522242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6737] ppid=6722 vsize=15011656 memory=140012712760975 CPUtime=0.01 cores=1,3,5,7
/proc/6725/task/6737/stat : 6737 (java) R 6722 6725 32649 0 -1 4202560 94 0 0 0 1 0 0 0 20 0 15 0 76103183 15371935744 22797 33554432000 4194304 4196468 140729159338656 140260150598000 140261106752485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6738] ppid=6722 vsize=15011656 memory=280025543304800 CPUtime=0.07 cores=1,3,5,7
/proc/6725/task/6738/stat : 6738 (java) S 6722 6725 32649 0 -1 1077944384 434 0 0 0 7 0 0 0 20 0 15 0 76103183 15371935744 22797 33554432000 4194304 4196468 140729159338656 140260149544944 140261114522242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6739] ppid=6722 vsize=15011656 memory=140012712742415 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6739/stat : 6739 (java) S 6722 6725 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76103183 15371935744 22797 33554432000 4194304 4196468 140729159338656 140258532387168 140261114521301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6740] ppid=6722 vsize=15011656 memory=140012830557833 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6740/stat : 6740 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76103183 15371935744 22797 33554432000 4194304 4196468 140729159338656 140260148493360 140261114522242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 91188 KiB
[startup+0.702134 s]
/proc/loadavg: 2.67 2.26 2.12 6/215 6740
/proc/meminfo: memFree=19293736/32770624 swapFree=67108860/67108860
[pid=6725] ppid=6722 vsize=15020052 memory=130816 CPUtime=0.98 cores=1,3,5,7
/proc/6725/stat : 6725 (java) S 6722 6725 32649 0 -1 1077944320 18438 0 0 0 93 5 0 0 20 0 15 0 76103176 15380533248 32704 33554432000 4194304 4196468 140729159338656 140729159321200 140261114511095 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
/proc/6725/statm: 3755013 32704 3145 1 0 3716398 0
[pid=6725/tid=6727] ppid=6722 vsize=15020052 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (java) R 6722 6725 32649 0 -1 4202560 15527 0 0 0 63 4 0 0 20 0 15 0 76103177 15380533248 32704 33554432000 4194304 4196468 140729159338656 140261086344592 140261098591582 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6728] ppid=6722 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6728/stat : 6728 (java) S 6722 6725 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76103178 15380533248 32704 33554432000 4194304 4196468 140729159338656 140261118753296 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6729] ppid=6722 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76103178 15380533248 32704 33554432000 4194304 4196468 140729159338656 140260950002320 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6730] ppid=6722 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6730/stat : 6730 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76103178 15380533248 32704 33554432000 4194304 4196468 140729159338656 140260573993232 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6731] ppid=6722 vsize=15020052 memory=168926432472491 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (java) S 6722 6725 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76103178 15380533248 32704 33554432000 4194304 4196468 140729159338656 140260572940688 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6732] ppid=6722 vsize=15020052 memory=446415 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6732/stat : 6732 (java) S 6722 6725 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76103180 15380533248 32704 33554432000 4194304 4196468 140729159338656 140260152703728 140261114522242 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6733] ppid=6722 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6733/stat : 6733 (java) S 6722 6725 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76103180 15380533248 32704 33554432000 4194304 4196468 140729159338656 140259673237152 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6734] ppid=6722 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6734/stat : 6734 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76103180 15380533248 32704 33554432000 4194304 4196468 140729159338656 140259404801264 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6735] ppid=6722 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6735/stat : 6735 (java) S 6722 6725 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76103183 15380533248 32704 33554432000 4194304 4196468 140729159338656 140259030292944 140261114529691 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6736] ppid=6722 vsize=15020052 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/6725/task/6736/stat : 6736 (java) S 6722 6725 32649 0 -1 1077944384 568 0 0 0 5 0 0 0 20 0 15 0 76103183 15380533248 32704 33554432000 4194304 4196468 140729159338656 140260151650544 140261114522242 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6737] ppid=6722 vsize=15020052 memory=-3535359994705171810 CPUtime=0.07 cores=1,3,5,7
/proc/6725/task/6737/stat : 6737 (java) R 6722 6725 32649 0 -1 4202560 353 0 0 0 7 0 0 0 20 0 15 0 76103183 15380533248 32704 33554432000 4194304 4196468 140729159338656 140260150583888 140261099621176 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6738] ppid=6722 vsize=15020052 memory=8330969454845486047 CPUtime=0.16 cores=1,3,5,7
/proc/6725/task/6738/stat : 6738 (java) R 6722 6725 32649 0 -1 4202560 650 0 0 0 16 0 0 0 20 0 15 0 76103183 15380533248 32704 33554432000 4194304 4196468 140729159338656 140260149544944 140261114532442 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6739] ppid=6722 vsize=15020052 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6739/stat : 6739 (java) S 6722 6725 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76103183 15380533248 32704 33554432000 4194304 4196468 140729159338656 140258532387168 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6740] ppid=6722 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6740/stat : 6740 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76103183 15380533248 32704 33554432000 4194304 4196468 140729159338656 140260148493360 140261114522242 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 130816 KiB
[startup+1.50077 s]
/proc/loadavg: 2.67 2.26 2.12 4/215 6740
/proc/meminfo: memFree=19126868/32770624 swapFree=67108860/67108860
[pid=6725] ppid=6722 vsize=15024148 memory=173360 CPUtime=2.79 cores=1,3,5,7
/proc/6725/stat : 6725 (java) S 6722 6725 32649 0 -1 1077944320 22433 0 0 0 271 8 0 0 20 0 15 0 76103176 15384727552 43340 33554432000 4194304 4196468 140729159338656 140729159321200 140261114511095 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
/proc/6725/statm: 3756037 43340 3202 1 0 3717422 0
[pid=6725/tid=6727] ppid=6722 vsize=15024148 memory=7234862808299952230 CPUtime=1.47 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (java) R 6722 6725 32649 0 -1 4202560 16832 0 0 0 142 5 0 0 20 0 15 0 76103177 15384727552 43340 33554432000 4194304 4196468 140729159338656 140261086339504 140260621830407 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6728] ppid=6722 vsize=15024148 memory=7300730177659954539 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6728/stat : 6728 (java) S 6722 6725 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76103178 15384727552 43340 33554432000 4194304 4196468 140729159338656 140261118753296 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6729] ppid=6722 vsize=15024148 memory=7300723550542127204 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76103178 15384727552 43340 33554432000 4194304 4196468 140729159338656 140260950002320 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6730] ppid=6722 vsize=15024148 memory=55 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6730/stat : 6730 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76103178 15384727552 43340 33554432000 4194304 4196468 140729159338656 140260573993232 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6731] ppid=6722 vsize=15024148 memory=10799 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (java) S 6722 6725 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76103178 15384727552 43340 33554432000 4194304 4196468 140729159338656 140260572940688 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6732] ppid=6722 vsize=15024148 memory=6442213902160126816 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6732/stat : 6732 (java) S 6722 6725 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76103180 15384727552 43340 33554432000 4194304 4196468 140729159338656 140260152703728 140261114522242 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
################
# More data... #
################
/proc/6725/task/6740/stat : 6740 (java) S 6722 6725 32649 0 -1 1077944384 5 0 0 0 1 0 0 0 20 0 19 0 76103183 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260148493360 140261114522242 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6749] ppid=6722 vsize=15683912 memory=14220 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6749/stat : 6749 (java) S 6722 6725 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 76103927 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260948625216 140261114535705 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6751] ppid=6722 vsize=15683912 memory=2428952 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6751/stat : 6751 (java) S 6722 6725 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 76103928 16060325888 607238 33554432000 4194304 4196468 140729159338656 140257995501360 140261114533021 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6752] ppid=6722 vsize=15683912 memory=2428952 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6752/stat : 6752 (java) S 6722 6725 32649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 76103928 16060325888 607238 33554432000 4194304 4196468 140729159338656 140257727069616 140261114533021 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6753] ppid=6722 vsize=15683912 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6753/stat : 6753 (java) S 6722 6725 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 76103930 16060325888 607238 33554432000 4194304 4196468 140729159338656 140258129730848 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
Current children cumulated CPU time: 52.54 s
Current children cumulated vsize: 15789152 KiB
Current children cumulated memory: 2517076 KiB
[startup+40.8009 s]
/proc/loadavg: 2.53 2.28 2.13 2/220 6753
/proc/meminfo: memFree=16276560/32770624 swapFree=67108860/67108860
[pid=6725] ppid=6722 vsize=15683912 memory=2428952 CPUtime=20.06 cores=1,3,5,7
/proc/6725/stat : 6725 (java) S 6722 6725 32649 0 -1 1077944320 35048 0 0 0 1959 47 0 0 20 0 19 0 76103176 16060325888 607238 33554432000 4194304 4196468 140729159338656 140729159321200 140261114511095 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
/proc/6725/statm: 3920978 607238 3233 1 0 3881834 0
[pid=6748] ppid=6725 vsize=105240 memory=88124 CPUtime=33.27 cores=1,3,5,7
/proc/6748/stat : 6748 (minisat_release) R 6725 6725 32649 0 -1 4202496 44749 0 0 0 3322 5 0 0 20 0 1 0 76103927 107765760 22031 33554432000 4194304 4308513 140724123246448 140724123243448 4275941 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 16461824 140724123255473 140724123255982 140724123255982 140724123258821 0
/proc/6748/statm: 26310 22031 353 28 0 22550 0
[pid=6725/tid=6727] ppid=6722 vsize=15683912 memory=-5059952977386882957 CPUtime=7.51 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (java) S 6722 6725 32649 0 -1 1077944384 18924 0 0 0 711 40 0 0 20 0 19 0 76103177 16060325888 607238 33554432000 4194304 4196468 140729159338656 140261086350336 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6728] ppid=6722 vsize=15683912 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6728/stat : 6728 (java) S 6722 6725 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76103178 16060325888 607238 33554432000 4194304 4196468 140729159338656 140261118753296 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6729] ppid=6722 vsize=15683912 memory=956 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76103178 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260950002320 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6730] ppid=6722 vsize=15683912 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6730/stat : 6730 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76103178 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260573993232 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6731] ppid=6722 vsize=15683912 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (java) S 6722 6725 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76103178 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260572940688 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6732] ppid=6722 vsize=15683912 memory=928 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6732/stat : 6732 (java) S 6722 6725 32649 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 76103180 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260152703728 140261114522242 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6733] ppid=6722 vsize=15683912 memory=2428952 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6733/stat : 6733 (java) S 6722 6725 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 76103180 16060325888 607238 33554432000 4194304 4196468 140729159338656 140259673237152 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6734] ppid=6722 vsize=15683912 memory=88124 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6734/stat : 6734 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76103180 16060325888 607238 33554432000 4194304 4196468 140729159338656 140259404801264 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6735] ppid=6722 vsize=15683912 memory=2436 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6735/stat : 6735 (java) S 6722 6725 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76103183 16060325888 607238 33554432000 4194304 4196468 140729159338656 140259030292944 140261114529691 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6736] ppid=6722 vsize=15683912 memory=1728 CPUtime=5.5 cores=1,3,5,7
/proc/6725/task/6736/stat : 6736 (java) S 6722 6725 32649 0 -1 1077944384 4174 0 0 0 548 2 0 0 20 0 19 0 76103183 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260151650544 140261114522242 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6737] ppid=6722 vsize=15683912 memory=1708 CPUtime=5.5 cores=1,3,5,7
/proc/6725/task/6737/stat : 6737 (java) S 6722 6725 32649 0 -1 1077944384 6470 0 0 0 549 1 0 0 20 0 19 0 76103183 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260150598000 140261114522242 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6738] ppid=6722 vsize=15683912 memory=4136 CPUtime=1.49 cores=1,3,5,7
/proc/6725/task/6738/stat : 6738 (java) S 6722 6725 32649 0 -1 1077944384 4062 0 0 0 147 2 0 0 20 0 19 0 76103183 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260149544944 140261114522242 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6739] ppid=6722 vsize=15683912 memory=23032 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6739/stat : 6739 (java) S 6722 6725 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76103183 16060325888 607238 33554432000 4194304 4196468 140729159338656 140258532387168 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6740] ppid=6722 vsize=15683912 memory=1292 CPUtime=0.01 cores=1,3,5,7
/proc/6725/task/6740/stat : 6740 (java) S 6722 6725 32649 0 -1 1077944384 5 0 0 0 1 0 0 0 20 0 19 0 76103183 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260148493360 140261114522242 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6749] ppid=6722 vsize=15683912 memory=2436 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6749/stat : 6749 (java) S 6722 6725 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 76103927 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260948625216 140261114535705 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6751] ppid=6722 vsize=15683912 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6751/stat : 6751 (java) S 6722 6725 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 76103928 16060325888 607238 33554432000 4194304 4196468 140729159338656 140257995501360 140261114533021 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6752] ppid=6722 vsize=15683912 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6752/stat : 6752 (java) S 6722 6725 32649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 76103928 16060325888 607238 33554432000 4194304 4196468 140729159338656 140257727069616 140261114533021 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6753] ppid=6722 vsize=15683912 memory=5792 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6753/stat : 6753 (java) S 6722 6725 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 76103930 16060325888 607238 33554432000 4194304 4196468 140729159338656 140258129730848 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
Current children cumulated CPU time: 53.33 s
Current children cumulated vsize: 15789152 KiB
Current children cumulated memory: 2517076 KiB
[startup+41.0009 s]*
/proc/loadavg: 2.49 2.27 2.13 3/220 6753
/proc/meminfo: memFree=16279916/32770624 swapFree=67108860/67108860
[pid=6725] ppid=6722 vsize=15683912 memory=2428952 CPUtime=20.06 cores=1,3,5,7
/proc/6725/stat : 6725 (java) S 6722 6725 32649 0 -1 1077944320 35048 0 0 0 1959 47 0 0 20 0 19 0 76103176 16060325888 607238 33554432000 4194304 4196468 140729159338656 140729159321200 140261114511095 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
/proc/6725/statm: 3920978 607238 3233 1 0 3881834 0
[pid=6748] ppid=6725 vsize=105240 memory=88124 CPUtime=33.48 cores=1,3,5,7
/proc/6748/stat : 6748 (minisat_release) R 6725 6725 32649 0 -1 4202496 44750 0 0 0 3343 5 0 0 20 0 1 0 76103927 107765760 22031 33554432000 4194304 4308513 140724123246448 140724123243448 4275618 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 16461824 140724123255473 140724123255982 140724123255982 140724123258821 0
/proc/6748/statm: 26310 22031 353 28 0 22550 0
[pid=6725/tid=6727] ppid=6722 vsize=15683912 memory=608092894283300981 CPUtime=7.51 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (java) S 6722 6725 32649 0 -1 1077944384 18924 0 0 0 711 40 0 0 20 0 19 0 76103177 16060325888 607238 33554432000 4194304 4196468 140729159338656 140261086350336 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6728] ppid=6722 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6728/stat : 6728 (java) S 6722 6725 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76103178 16060325888 607238 33554432000 4194304 4196468 140729159338656 140261118753296 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6729] ppid=6722 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76103178 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260950002320 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6730] ppid=6722 vsize=15683912 memory=7945036255673856047 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6730/stat : 6730 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76103178 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260573993232 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6731] ppid=6722 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (java) S 6722 6725 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76103178 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260572940688 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6732] ppid=6722 vsize=15683912 memory=3471202396320837679 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6732/stat : 6732 (java) S 6722 6725 32649 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 76103180 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260152703728 140261114522242 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6733] ppid=6722 vsize=15683912 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6733/stat : 6733 (java) S 6722 6725 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 76103180 16060325888 607238 33554432000 4194304 4196468 140729159338656 140259673237152 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6734] ppid=6722 vsize=15683912 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6734/stat : 6734 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76103180 16060325888 607238 33554432000 4194304 4196468 140729159338656 140259404801264 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6735] ppid=6722 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6735/stat : 6735 (java) S 6722 6725 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76103183 16060325888 607238 33554432000 4194304 4196468 140729159338656 140259030292944 140261114529691 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6736] ppid=6722 vsize=15683912 memory=3761694498073096479 CPUtime=5.5 cores=1,3,5,7
/proc/6725/task/6736/stat : 6736 (java) S 6722 6725 32649 0 -1 1077944384 4174 0 0 0 548 2 0 0 20 0 19 0 76103183 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260151650544 140261114522242 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6737] ppid=6722 vsize=15683912 memory=3184237932906526384 CPUtime=5.5 cores=1,3,5,7
/proc/6725/task/6737/stat : 6737 (java) S 6722 6725 32649 0 -1 1077944384 6470 0 0 0 549 1 0 0 20 0 19 0 76103183 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260150598000 140261114522242 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6738] ppid=6722 vsize=15683912 memory=3688764892143165448 CPUtime=1.49 cores=1,3,5,7
/proc/6725/task/6738/stat : 6738 (java) S 6722 6725 32649 0 -1 1077944384 4062 0 0 0 147 2 0 0 20 0 19 0 76103183 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260149544944 140261114522242 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6739] ppid=6722 vsize=15683912 memory=3472468309058238128 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6739/stat : 6739 (java) S 6722 6725 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76103183 16060325888 607238 33554432000 4194304 4196468 140729159338656 140258532387168 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6740] ppid=6722 vsize=15683912 memory=3472328296227670329 CPUtime=0.01 cores=1,3,5,7
/proc/6725/task/6740/stat : 6740 (java) S 6722 6725 32649 0 -1 1077944384 5 0 0 0 1 0 0 0 20 0 19 0 76103183 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260148493360 140261114522242 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6749] ppid=6722 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6749/stat : 6749 (java) S 6722 6725 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 76103927 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260948625216 140261114535705 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6751] ppid=6722 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6751/stat : 6751 (java) S 6722 6725 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 76103928 16060325888 607238 33554432000 4194304 4196468 140729159338656 140257995501360 140261114533021 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6752] ppid=6722 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6752/stat : 6752 (java) S 6722 6725 32649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 76103928 16060325888 607238 33554432000 4194304 4196468 140729159338656 140257727069616 140261114533021 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6753] ppid=6722 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6753/stat : 6753 (java) S 6722 6725 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 76103930 16060325888 607238 33554432000 4194304 4196468 140729159338656 140258129730848 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
Current children cumulated CPU time: 53.54 s
Current children cumulated vsize: 15789152 KiB
Current children cumulated memory: 2517076 KiB
[startup+41.1101 s]
/proc/loadavg: 2.49 2.27 2.13 3/220 6753
/proc/meminfo: memFree=16279916/32770624 swapFree=67108860/67108860
[pid=6725] ppid=6722 vsize=15683912 memory=2428952 CPUtime=20.06 cores=1,3,5,7
/proc/6725/stat : 6725 (java) S 6722 6725 32649 0 -1 1077944320 35048 0 0 0 1959 47 0 0 20 0 19 0 76103176 16060325888 607238 33554432000 4194304 4196468 140729159338656 140729159321200 140261114511095 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
/proc/6725/statm: 3920978 607238 3233 1 0 3881834 0
[pid=6748] ppid=6725 vsize=105240 memory=88124 CPUtime=33.58 cores=1,3,5,7
/proc/6748/stat : 6748 (minisat_release) R 6725 6725 32649 0 -1 4202496 44750 0 0 0 3353 5 0 0 20 0 1 0 76103927 107765760 22031 33554432000 4194304 4308513 140724123246448 140724123243448 140457598883936 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 16461824 140724123255473 140724123255982 140724123255982 140724123258821 0
/proc/6748/statm: 26310 22031 353 28 0 22550 0
[pid=6725/tid=6727] ppid=6722 vsize=15683912 memory=2428952 CPUtime=7.51 cores=1,3,5,7
/proc/6725/task/6727/stat : 6727 (java) S 6722 6725 32649 0 -1 1077944384 18924 0 0 0 711 40 0 0 20 0 19 0 76103177 16060325888 607238 33554432000 4194304 4196468 140729159338656 140261086350336 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6728] ppid=6722 vsize=15683912 memory=2428952 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6728/stat : 6728 (java) S 6722 6725 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76103178 16060325888 607238 33554432000 4194304 4196468 140729159338656 140261118753296 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6729] ppid=6722 vsize=15683912 memory=2428952 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6729/stat : 6729 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76103178 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260950002320 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6730] ppid=6722 vsize=15683912 memory=2428952 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6730/stat : 6730 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76103178 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260573993232 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6731] ppid=6722 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6731/stat : 6731 (java) S 6722 6725 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76103178 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260572940688 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6732] ppid=6722 vsize=15683912 memory=87600 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6732/stat : 6732 (java) S 6722 6725 32649 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 76103180 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260152703728 140261114522242 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6733] ppid=6722 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6733/stat : 6733 (java) S 6722 6725 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 76103180 16060325888 607238 33554432000 4194304 4196468 140729159338656 140259673237152 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6734] ppid=6722 vsize=15683912 memory=23032 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6734/stat : 6734 (java) S 6722 6725 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76103180 16060325888 607238 33554432000 4194304 4196468 140729159338656 140259404801264 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6735] ppid=6722 vsize=15683912 memory=280025425514960 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6735/stat : 6735 (java) S 6722 6725 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76103183 16060325888 607238 33554432000 4194304 4196468 140729159338656 140259030292944 140261114529691 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6736] ppid=6722 vsize=15683912 memory=7662138554443129959 CPUtime=5.5 cores=1,3,5,7
/proc/6725/task/6736/stat : 6736 (java) S 6722 6725 32649 0 -1 1077944384 4174 0 0 0 548 2 0 0 20 0 19 0 76103183 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260151650544 140261114522242 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6737] ppid=6722 vsize=15683912 memory=2852 CPUtime=5.5 cores=1,3,5,7
/proc/6725/task/6737/stat : 6737 (java) S 6722 6725 32649 0 -1 1077944384 6470 0 0 0 549 1 0 0 20 0 19 0 76103183 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260150598000 140261114522242 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6738] ppid=6722 vsize=15683912 memory=2676 CPUtime=1.49 cores=1,3,5,7
/proc/6725/task/6738/stat : 6738 (java) S 6722 6725 32649 0 -1 1077944384 4062 0 0 0 147 2 0 0 20 0 19 0 76103183 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260149544944 140261114522242 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6739] ppid=6722 vsize=15683912 memory=2428952 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6739/stat : 6739 (java) S 6722 6725 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76103183 16060325888 607238 33554432000 4194304 4196468 140729159338656 140258532387168 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6740] ppid=6722 vsize=15683912 memory=74756 CPUtime=0.01 cores=1,3,5,7
/proc/6725/task/6740/stat : 6740 (java) S 6722 6725 32649 0 -1 1077944384 5 0 0 0 1 0 0 0 20 0 19 0 76103183 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260148493360 140261114522242 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6749] ppid=6722 vsize=15683912 memory=2428952 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6749/stat : 6749 (java) S 6722 6725 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 76103927 16060325888 607238 33554432000 4194304 4196468 140729159338656 140260948625216 140261114535705 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6751] ppid=6722 vsize=15683912 memory=2428952 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6751/stat : 6751 (java) S 6722 6725 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 76103928 16060325888 607238 33554432000 4194304 4196468 140729159338656 140257995501360 140261114533021 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6752] ppid=6722 vsize=15683912 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6752/stat : 6752 (java) S 6722 6725 32649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 76103928 16060325888 607238 33554432000 4194304 4196468 140729159338656 140257727069616 140261114533021 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
[pid=6725/tid=6753] ppid=6722 vsize=15683912 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/6725/task/6753/stat : 6753 (java) S 6722 6725 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 76103930 16060325888 607238 33554432000 4194304 4196468 140729159338656 140258129730848 140261114521301 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140729159341043 140729159341321 140729159341321 140729159344079 0
Current children cumulated CPU time: 53.64 s
Current children cumulated vsize: 15789152 KiB
Current children cumulated memory: 2517076 KiB
Child status: 0
Real time (s): 41.1969
CPU time (s): 53.8673
CPU user time (s): 53.3043
CPU system time (s): 0.562975
CPU usage (%): 130.756
Max. virtual memory (cumulated for all children) (KiB): 15789152
Max. memory (cumulated for all children) (KiB): 2517076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.3043
system time used= 0.562975
maximum resident set size= 2436832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80249
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6627
involuntary context switches= 98
# summary of solver processes directly reported to runsolver:
# pid: 6725
# total CPU time (s): 53.8673
# total CPU user time (s): 53.3043
# total CPU system time (s): 0.562975
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.299839 second user time and 0.464982 second system time
The end