0.55/0.52
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:54 CEST 2018
0.67/0.54 c PID: 11575
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
1.50/0.94 c (0,0) Parsing End
1.50/0.95 c (0,0) CSP: 144 int (0 aux), 0 bool (0 aux), 109 ctr, max domain size 12
1.50/0.95 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.50/0.95 c (0,0) Constraint Name Generate Begin
1.50/0.96 c (0,0) Ctr:HOME/instance-4294559-1532357393.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
1.50/0.96 c (0,0) Constraint Name Generate End
1.50/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.50/0.96 c (0,0) CSP to CSPinCNF Begin
2.32/1.24 c (0,0) translated 11 (10%) constraints
2.32/1.27 c (0,0) translated 22 (20%) constraints
2.88/1.42 c (0,0) translated 33 (30%) constraints
3.43/1.60 c (1,1) translated 44 (40%) constraints
3.43/1.64 c (1,1) translated 55 (50%) constraints
3.43/1.67 c (1,1) translated 66 (60%) constraints
3.75/1.70 c (1,1) translated 77 (70%) constraints
3.75/1.74 c (1,1) translated 88 (80%) constraints
3.75/1.76 c (1,1) translated 99 (90%) constraints
3.75/1.79 c (1,1) translated 109 (100%) constraints
4.06/1.85 c (1,1) STATISTICS1:HOME/instance-4294559-1532357393.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,427,2422,12,12,12,2,12:370;11:48;10:85;4:36;3:36,12:3085;11:207;10:306;4:360;3:288;2:1209,12:12;5:36;4:67;3:1141;2:1147;1:19,2:575;1:5169;0:72,
4.06/1.85 c (1,1) ===========================================
4.06/1.85 c (1,1) Order
4.06/1.85 c (1,1) ===========================================
4.06/1.88 c (1,1) translated 243 (10%) constraints
4.42/1.90 c (1,1) translated 485 (20%) constraints
4.42/1.95 c (1,1) translated 727 (30%) constraints
4.42/1.99 c (1,1) translated 969 (40%) constraints
4.81/2.04 c (1,1) translated 1211 (50%) constraints
4.81/2.07 c (1,1) translated 1454 (60%) constraints
4.81/2.08 c (1,1) translated 1696 (70%) constraints
4.81/2.09 c (1,1) translated 1938 (80%) constraints
4.81/2.10 c (1,1) translated 2180 (90%) constraints
5.13/2.11 c (1,1) translated 2422 (100%) constraints
5.13/2.11 c (1,1) CSP to CSPinCNF End
5.13/2.11 c (1,1) CSP: 144 int (0 aux), 1147 bool (1147 aux), 4150 ctr, max domain size 12
5.13/2.11 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
5.13/2.11 c (1,1) CSPinCNF Propagation Begin
5.13/2.19 c (1,1) 39 values, 326 unsatisfiable literals, and 234 valid clauses are removed
5.13/2.19 c (1,1) CSPinCNF Propagation End
5.45/2.20 c (1,1) CSP: 174 int (30 aux), 1117 bool (1117 aux), 3916 ctr, max domain size 12
5.45/2.20 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
5.45/2.20 c (1,1) Simplify CSPinCNF Begin
5.45/2.25 c (1,1) Simplify CSPinCNF End
5.45/2.25 c (1,1) CSP: 174 int (30 aux), 2110 bool (2110 aux), 4909 ctr, max domain size 12
5.45/2.25 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
5.45/2.25 c (1,1) Calculate Precise Domain Begin
5.45/2.25 c (1,1) 0 values are removed by re-calculation
5.45/2.25 c (1,1) Calculate Precise Domain End
5.45/2.25 c (1,1) CSP: 174 int (30 aux), 2110 bool (2110 aux), 4909 ctr, max domain size 12
5.45/2.25 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
5.45/2.25 c (1,1) CSPinCNF to SatSolver Begin
5.76/2.36 c (1,1) 491 (10 %) CSP clauses are encoded (3052 SAT variables, 4506 SAT clauses)
5.76/2.39 c (1,1) 982 (20 %) CSP clauses are encoded (3052 SAT variables, 8341 SAT clauses)
6.07/2.41 c (1,1) 1473 (30 %) CSP clauses are encoded (3052 SAT variables, 10712 SAT clauses)
6.07/2.42 c (1,1) 1964 (40 %) CSP clauses are encoded (3052 SAT variables, 11203 SAT clauses)
6.07/2.42 c (1,1) 2455 (50 %) CSP clauses are encoded (3052 SAT variables, 11694 SAT clauses)
6.07/2.43 c (1,1) 2946 (60 %) CSP clauses are encoded (3052 SAT variables, 12185 SAT clauses)
6.07/2.44 c (1,1) 3437 (70 %) CSP clauses are encoded (3052 SAT variables, 12676 SAT clauses)
6.07/2.45 c (1,1) 3928 (80 %) CSP clauses are encoded (3052 SAT variables, 13853 SAT clauses)
6.07/2.45 c (1,1) 4419 (90 %) CSP clauses are encoded (3052 SAT variables, 14700 SAT clauses)
6.07/2.46 c (1,1) 4909 (100 %) CSP clauses are encoded (3052 SAT variables, 15190 SAT clauses)
6.07/2.46 c (1,1) CSPinCNF to SatSolver End
6.07/2.46 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
6.07/2.50 c (1,1) STATISTICS2:HOME/instance-4294559-1532357393.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,2284,4909,12,12,12,2,12:526;11:78;10:295;4:72;3:72,12:4449;11:301;10:940;4:432;3:360;2:5585,12:3;10:8;8:1;4:67;3:991;2:3820;1:19,2:1043;1:9981,
6.07/2.50 c (1,1) SatSolver.solve Begin
6.07/2.50 c (1,1) 3052 bool, 15191 clause
6.07/2.50 c (1,1) 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-4294559-1532357393.xml-scop-11575.cnf HOME/instance-4294559-1532357393.xml-scop-11575.cnf.out
6.42/2.54 c (2,0) c This is COMiniSatPS.
6.42/2.54 c (2,0) c WARNING: for repeatability, setting FPU to use double precision
6.42/2.54 c (2,0) c ============================[ Problem Statistics ]=============================
6.42/2.54 c (2,0) c | |
6.42/2.54 c (2,0) c | Number of variables: 3052 |
6.42/2.54 c (2,0) c | Number of clauses: 15071 |
6.42/2.54 c (2,0) c | Parse time: 0.00 s |
6.42/2.54 c (2,0) c | Eliminated clauses: 0.03 Mb |
6.42/2.54 c (2,0) c Reduced to 1268 vars, 11306 cls (grow=0)
6.42/2.54 c (2,0) c No iterative elimination performed. (vars=1268, c/v ratio=8.9)
6.42/2.54 c (2,0) c | Simplification time: 0.01 s |
6.42/2.54 c (2,0) c | |
6.42/2.54 c (2,0) c ============================[ Search Statistics ]==============================
6.42/2.54 c (2,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
6.42/2.54 c (2,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
6.42/2.54 c (2,0) c ===============================================================================
6.42/2.54 c (2,0) c ===============================================================================
6.42/2.54 c (2,0) c restarts : 1
6.42/2.54 c (2,0) c conflicts : 62 (3071 /sec)
6.42/2.54 c (2,0) c decisions : 390 (0.00 % random) (19316 /sec)
6.42/2.54 c (2,0) c propagations : 10712 (530560 /sec)
6.42/2.54 c (2,0) c conflict literals : 398 (14.78 % deleted)
6.42/2.54 c (2,0) c CPU time : 0.02019 s
6.42/2.54 c (2,0)
6.42/2.54 c (2,0) s SATISFIABLE
6.42/2.57 c (2,2) SatSolver.solve End
6.42/2.57 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
6.42/2.57 c (2,2) Show results Begin
6.42/2.58 c (2,2) gve[0][0] = 0
6.42/2.58 c (2,2) gve[0][1] = 2
6.42/2.58 c (2,2) gve[0][2] = 1
6.42/2.58 c (2,2) gve[1][0] = 0
6.42/2.58 c (2,2) gve[1][1] = 3
6.42/2.58 c (2,2) gve[1][2] = 2
6.42/2.58 c (2,2) gve[2][0] = 0
6.42/2.58 c (2,2) gve[2][1] = 3
6.42/2.58 c (2,2) gve[2][2] = 2
6.42/2.58 c (2,2) gve[3][0] = 1
6.42/2.58 c (2,2) gve[3][1] = 3
6.42/2.58 c (2,2) gve[3][2] = 2
6.42/2.58 c (2,2) gve[4][0] = 1
6.42/2.58 c (2,2) gve[4][1] = 0
6.42/2.58 c (2,2) gve[4][2] = 2
6.42/2.58 c (2,2) gve[5][0] = 2
6.42/2.58 c (2,2) gve[5][1] = 0
6.42/2.58 c (2,2) gve[5][2] = 3
6.42/2.58 c (2,2) gve[6][0] = 2
6.42/2.58 c (2,2) gve[6][1] = 1
6.42/2.58 c (2,2) gve[6][2] = 3
6.42/2.58 c (2,2) gve[7][0] = 2
6.42/2.58 c (2,2) gve[7][1] = 0
6.42/2.58 c (2,2) gve[7][2] = 3
6.42/2.58 c (2,2) gve[8][0] = 2
6.42/2.58 c (2,2) gve[8][1] = 1
6.42/2.58 c (2,2) gve[8][2] = 0
6.42/2.58 c (2,2) gve[9][0] = 3
6.42/2.58 c (2,2) gve[9][1] = 2
6.42/2.58 c (2,2) gve[9][2] = 1
6.42/2.58 c (2,2) gve[10][0] = 3
6.42/2.58 c (2,2) gve[10][1] = 2
6.42/2.58 c (2,2) gve[10][2] = 0
6.42/2.58 c (2,2) gve[11][0] = 3
6.42/2.58 c (2,2) gve[11][1] = 2
6.42/2.58 c (2,2) gve[11][2] = 0
6.42/2.58 c (2,2) gvr[0][0] = 0
6.42/2.58 c (2,2) gvr[0][1] = 1
6.42/2.58 c (2,2) gvr[0][2] = 2
6.42/2.58 c (2,2) gvr[1][0] = 0
6.42/2.58 c (2,2) gvr[1][1] = 1
6.42/2.58 c (2,2) gvr[1][2] = 2
6.42/2.58 c (2,2) gvr[2][0] = 0
6.42/2.58 c (2,2) gvr[2][1] = 1
6.42/2.58 c (2,2) gvr[2][2] = 2
6.42/2.58 c (2,2) gvr[3][0] = 0
6.42/2.58 c (2,2) gvr[3][1] = 1
6.42/2.58 c (2,2) gvr[3][2] = 2
6.42/2.58 c (2,2) gvr[4][0] = 1
6.42/2.58 c (2,2) gvr[4][1] = 2
6.42/2.58 c (2,2) gvr[4][2] = 0
6.42/2.58 c (2,2) gvr[5][0] = 1
6.42/2.58 c (2,2) gvr[5][1] = 2
6.42/2.58 c (2,2) gvr[5][2] = 0
6.42/2.58 c (2,2) gvr[6][0] = 1
6.42/2.59 c (2,2) gvr[6][1] = 2
6.42/2.59 c (2,2) gvr[6][2] = 0
6.42/2.59 c (2,2) gvr[7][0] = 1
6.42/2.59 c (2,2) gvr[7][1] = 2
6.42/2.59 c (2,2) gvr[7][2] = 0
6.42/2.59 c (2,2) gvr[8][0] = 2
6.42/2.59 c (2,2) gvr[8][1] = 0
6.42/2.59 c (2,2) gvr[8][2] = 1
6.42/2.59 c (2,2) gvr[9][0] = 2
6.42/2.59 c (2,2) gvr[9][1] = 0
6.42/2.59 c (2,2) gvr[9][2] = 1
6.42/2.59 c (2,2) gvr[10][0] = 2
6.42/2.59 c (2,2) gvr[10][1] = 0
6.42/2.59 c (2,2) gvr[10][2] = 1
6.42/2.59 c (2,2) gvr[11][0] = 2
6.42/2.59 c (2,2) gvr[11][1] = 0
6.42/2.59 c (2,2) gvr[11][2] = 1
6.42/2.59 c (2,2) ve[0][0] = 0
6.42/2.59 c (2,2) ve[0][1] = 8
6.42/2.59 c (2,2) ve[0][2] = 4
6.42/2.59 c (2,2) ve[1][0] = 1
6.42/2.59 c (2,2) ve[1][1] = 9
6.42/2.59 c (2,2) ve[1][2] = 5
6.42/2.59 c (2,2) ve[2][0] = 2
6.42/2.59 c (2,2) ve[2][1] = 10
6.42/2.59 c (2,2) ve[2][2] = 6
6.42/2.59 c (2,2) ve[3][0] = 3
6.42/2.59 c (2,2) ve[3][1] = 11
6.42/2.59 c (2,2) ve[3][2] = 7
6.42/2.59 c (2,2) ve[4][0] = 4
6.42/2.59 c (2,2) ve[4][1] = 0
6.42/2.59 c (2,2) ve[4][2] = 8
6.42/2.59 c (2,2) ve[5][0] = 5
6.42/2.59 c (2,2) ve[5][1] = 2
6.42/2.59 c (2,2) ve[5][2] = 9
6.42/2.59 c (2,2) ve[6][0] = 6
6.42/2.59 c (2,2) ve[6][1] = 3
6.42/2.59 c (2,2) ve[6][2] = 10
6.42/2.59 c (2,2) ve[7][0] = 7
6.42/2.59 c (2,2) ve[7][1] = 1
6.42/2.59 c (2,2) ve[7][2] = 11
6.42/2.59 c (2,2) ve[8][0] = 8
6.42/2.59 c (2,2) ve[8][1] = 4
6.42/2.59 c (2,2) ve[8][2] = 0
6.42/2.59 c (2,2) ve[9][0] = 9
6.42/2.59 c (2,2) ve[9][1] = 6
6.42/2.59 c (2,2) ve[9][2] = 3
6.42/2.59 c (2,2) ve[10][0] = 10
6.42/2.59 c (2,2) ve[10][1] = 5
6.42/2.59 c (2,2) ve[10][2] = 2
6.42/2.59 c (2,2) ve[11][0] = 11
6.42/2.59 c (2,2) ve[11][1] = 7
6.42/2.59 c (2,2) ve[11][2] = 1
6.42/2.59 c (2,2) vr[0][0] = 0
6.42/2.59 c (2,2) vr[0][1] = 4
6.42/2.59 c (2,2) vr[0][2] = 8
6.42/2.59 c (2,2) vr[1][0] = 1
6.42/2.59 c (2,2) vr[1][1] = 7
6.42/2.59 c (2,2) vr[1][2] = 11
6.42/2.59 c (2,2) vr[2][0] = 2
6.42/2.59 c (2,2) vr[2][1] = 5
6.42/2.59 c (2,2) vr[2][2] = 10
6.42/2.59 c (2,2) vr[3][0] = 3
6.42/2.59 c (2,2) vr[3][1] = 6
6.42/2.59 c (2,2) vr[3][2] = 9
6.42/2.59 c (2,2) vr[4][0] = 4
6.42/2.59 c (2,2) vr[4][1] = 8
6.42/2.59 c (2,2) vr[4][2] = 0
6.42/2.59 c (2,2) vr[5][0] = 5
6.42/2.59 c (2,2) vr[5][1] = 10
6.42/2.59 c (2,2) vr[5][2] = 1
6.42/2.59 c (2,2) vr[6][0] = 6
6.42/2.59 c (2,2) vr[6][1] = 9
6.42/2.59 c (2,2) vr[6][2] = 2
6.42/2.59 c (2,2) vr[7][0] = 7
6.42/2.59 c (2,2) vr[7][1] = 11
6.42/2.59 c (2,2) vr[7][2] = 3
6.42/2.59 c (2,2) vr[8][0] = 8
6.42/2.59 c (2,2) vr[8][1] = 0
6.42/2.59 c (2,2) vr[8][2] = 4
6.42/2.59 c (2,2) vr[9][0] = 9
6.42/2.59 c (2,2) vr[9][1] = 1
6.42/2.59 c (2,2) vr[9][2] = 5
6.42/2.59 c (2,2) vr[10][0] = 10
6.42/2.59 c (2,2) vr[10][1] = 2
6.42/2.59 c (2,2) vr[10][2] = 6
6.42/2.59 c (2,2) vr[11][0] = 11
6.42/2.59 c (2,2) vr[11][1] = 3
6.42/2.59 c (2,2) vr[11][2] = 7
6.42/2.59 s SATISFIABLE
6.42/2.59 v <instantiation>
6.42/2.59 v <list>vr[0][0] vr[0][1] vr[0][2] vr[1][0] vr[1][1] vr[1][2] vr[2][0] vr[2][1] vr[2][2] vr[3][0] vr[3][1] vr[3][2] vr[4][0] vr[4][1] vr[4][2] vr[5][0] vr[5][1] vr[5][2] vr[6][0] vr[6][1] vr[6][2] vr[7][0] vr[7][1] vr[7][2] vr[8][0] vr[8][1] vr[8][2] vr[9][0] vr[9][1] vr[9][2] vr[10][0] vr[10][1] vr[10][2] vr[11][0] vr[11][1] vr[11][2] ve[0][0] ve[0][1] ve[0][2] ve[1][0] ve[1][1] ve[1][2] ve[2][0] ve[2][1] ve[2][2] ve[3][0] ve[3][1] ve[3][2] ve[4][0] ve[4][1] ve[4][2] ve[5][0] ve[5][1] ve[5][2] ve[6][0] ve[6][1] ve[6][2] ve[7][0] ve[7][1] ve[7][2] ve[8][0] ve[8][1] ve[8][2] ve[9][0] ve[9][1] ve[9][2] ve[10][0] ve[10][1] ve[10][2] ve[11][0] ve[11][1] ve[11][2] gvr[0][0] gvr[0][1] gvr[0][2] gvr[1][0] gvr[1][1] gvr[1][2] gvr[2][0] gvr[2][1] gvr[2][2] gvr[3][0] gvr[3][1] gvr[3][2] gvr[4][0] gvr[4][1] gvr[4][2] gvr[5][0] gvr[5][1] gvr[5][2] gvr[6][0] gvr[6][1] gvr[6][2] gvr[7][0] gvr[7][1] gvr[7][2] gvr[8][0] gvr[8][1] gvr[8][2] gvr[9][0] gvr[9][1] gvr[9][2] gvr[10][0] gvr[10][1] gvr[10][2] gvr[11][0] gvr[11][1] gvr[11][2] gve[0][0] gve[0][1] gve[0][2] gve[1][0] gve[1][1] gve[1][2] gve[2][0] gve[2][1] gve[2][2] gve[3][0] gve[3][1] gve[3][2] gve[4][0] gve[4][1] gve[4][2] gve[5][0] gve[5][1] gve[5][2] gve[6][0] gve[6][1] gve[6][2] gve[7][0] gve[7][1] gve[7][2] gve[8][0] gve[8][1] gve[8][2] gve[9][0] gve[9][1] gve[9][2] gve[10][0] gve[10][1] gve[10][2] gve[11][0] gve[11][1] gve[11][2]</list>
6.42/2.59 v <values>0 4 8 1 7 11 2 5 10 3 6 9 4 8 0 5 10 1 6 9 2 7 11 3 8 0 4 9 1 5 10 2 6 11 3 7 0 8 4 1 9 5 2 10 6 3 11 7 4 0 8 5 2 9 6 3 10 7 1 11 8 4 0 9 6 3 10 5 2 11 7 1 0 1 2 0 1 2 0 1 2 0 1 2 1 2 0 1 2 0 1 2 0 1 2 0 2 0 1 2 0 1 2 0 1 2 0 1 0 2 1 0 3 2 0 3 2 1 3 2 1 0 2 2 0 3 2 1 3 2 0 3 2 1 0 3 2 1 3 2 0 3 2 0</values>
6.42/2.59 v </instantiation>
6.42/2.59 c (2,2) Show results End
6.42/2.59 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
6.42/2.59 c (2,2) 0,0,1,1,1,1,1,2,2,STOP-AFTER(ALL)
6.42/2.59 c END-Prog: Mon Jul 23 16:49:56 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-4294559-1532357393/watcher-4294559-1532357393 -o /tmp/evaluation-result-4294559-1532357393/solver-4294559-1532357393 -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-4294559-1532357393.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
Current StackSize limit: 8192 KiB
solver pid=11575, runsolver pid=11572
[startup+0.100137 s]*
/proc/loadavg: 2.96 2.46 2.23 3/220 11590
/proc/meminfo: memFree=13834744/32770624 swapFree=67108860/67108860
[pid=11575] ppid=11572 vsize=15011656 memory=72456 CPUtime=0.12 cores=1,3,5,7
/proc/11575/stat : 11575 (java) S 11572 11575 2271 0 -1 1077944320 7315 0 0 0 10 2 0 0 20 0 15 0 53302496 15371935744 18114 33554432000 4194304 4196468 140734216551008 140734216533552 140269272010487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
/proc/11575/statm: 3752914 18114 2777 1 0 3715374 0
[pid=11575/tid=11577] ppid=11572 vsize=15011656 memory=-6871259845000215376 CPUtime=0.09 cores=1,3,5,7
/proc/11575/task/11577/stat : 11577 (java) R 11572 11575 2271 0 -1 4202560 5377 0 0 0 7 2 0 0 20 0 15 0 53302497 15371935744 18114 33554432000 4194304 4196468 140734216551008 140269243833552 140269272032413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11578] ppid=11572 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11578/stat : 11578 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302498 15371935744 18114 33554432000 4194304 4196468 140734216551008 140269276252432 140269272020693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11579] ppid=11572 vsize=15011656 memory=140492579845760 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11579/stat : 11579 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302498 15371935744 18114 33554432000 4194304 4196468 140734216551008 140269075028368 140269272020693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11580] ppid=11572 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11580/stat : 11580 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302498 15371935744 18114 33554432000 4194304 4196468 140734216551008 140269073975824 140269272020693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11581] ppid=11572 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11581/stat : 11581 (java) S 11572 11575 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302498 15371935744 18114 33554432000 4194304 4196468 140734216551008 140269072923280 140269272020693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11582] ppid=11572 vsize=15011656 memory=140492579845760 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11582/stat : 11582 (java) S 11572 11575 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302500 15371935744 18114 33554432000 4194304 4196468 140734216551008 140268679391728 140269272021634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11583] ppid=11572 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11583/stat : 11583 (java) S 11572 11575 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53302500 15371935744 18114 33554432000 4194304 4196468 140734216551008 140267860518304 140269272020693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11584] ppid=11572 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11584/stat : 11584 (java) S 11572 11575 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53302500 15371935744 18114 33554432000 4194304 4196468 140734216551008 140267726296560 140269272020693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11585] ppid=11572 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11585/stat : 11585 (java) S 11572 11575 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302503 15371935744 18114 33554432000 4194304 4196468 140734216551008 140267351792336 140269272029083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11586] ppid=11572 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11586/stat : 11586 (java) R 11572 11575 2271 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 53302503 15371935744 18114 33554432000 4194304 4196468 140734216551008 140268678338544 140269272021634 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11587] ppid=11572 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11587/stat : 11587 (java) R 11572 11575 2271 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 15 0 53302503 15371935744 18114 33554432000 4194304 4196468 140734216551008 140268677286000 140269256825024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11588] ppid=11572 vsize=15011656 memory=140492579845760 CPUtime=0.01 cores=1,3,5,7
/proc/11575/task/11588/stat : 11588 (java) R 11572 11575 2271 0 -1 4202560 287 0 0 0 1 0 0 0 20 0 15 0 53302503 15371935744 18114 33554432000 4194304 4196468 140734216551008 140268676233456 140269256090974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11589] ppid=11572 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11589/stat : 11589 (java) S 11572 11575 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302503 15371935744 18114 33554432000 4194304 4196468 140734216551008 140266853886560 140269272020693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11590] ppid=11572 vsize=15011656 memory=140492579845760 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11590/stat : 11590 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302503 15371935744 18125 33554432000 4194304 4196468 140734216551008 140268675181360 140269272021634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72456 KiB
[startup+0.210639 s]*
/proc/loadavg: 2.96 2.46 2.23 4/220 11590
/proc/meminfo: memFree=13821288/32770624 swapFree=67108860/67108860
[pid=11575] ppid=11572 vsize=15011656 memory=83720 CPUtime=0.26 cores=1,3,5,7
/proc/11575/stat : 11575 (java) S 11572 11575 2271 0 -1 1077944320 10406 0 0 0 24 2 0 0 20 0 15 0 53302496 15371935744 20930 33554432000 4194304 4196468 140734216551008 140734216533552 140269272010487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
/proc/11575/statm: 3752914 20930 2912 1 0 3715374 0
[pid=11575/tid=11577] ppid=11572 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/11575/task/11577/stat : 11577 (java) R 11572 11575 2271 0 -1 4202560 8261 0 0 0 18 2 0 0 20 0 15 0 53302497 15371935744 20930 33554432000 4194304 4196468 140734216551008 140269243836400 140269272022422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11578] ppid=11572 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11578/stat : 11578 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302498 15371935744 20930 33554432000 4194304 4196468 140734216551008 140269276252432 140269272020693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11579] ppid=11572 vsize=15011656 memory=288370868731557504 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11579/stat : 11579 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302498 15371935744 20930 33554432000 4194304 4196468 140734216551008 140269075028368 140269272020693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11580] ppid=11572 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11580/stat : 11580 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302498 15371935744 20930 33554432000 4194304 4196468 140734216551008 140269073975824 140269272020693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11581] ppid=11572 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11581/stat : 11581 (java) S 11572 11575 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302498 15371935744 20930 33554432000 4194304 4196468 140734216551008 140269072923280 140269272020693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11582] ppid=11572 vsize=15011656 memory=140492579845760 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11582/stat : 11582 (java) S 11572 11575 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302500 15371935744 20930 33554432000 4194304 4196468 140734216551008 140268679391728 140269272021634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11583] ppid=11572 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11583/stat : 11583 (java) S 11572 11575 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53302500 15371935744 20930 33554432000 4194304 4196468 140734216551008 140267860518304 140269272020693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11584] ppid=11572 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11584/stat : 11584 (java) S 11572 11575 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53302500 15371935744 20930 33554432000 4194304 4196468 140734216551008 140267726296560 140269272020693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11585] ppid=11572 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11585/stat : 11585 (java) S 11572 11575 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302503 15371935744 20930 33554432000 4194304 4196468 140734216551008 140267351792336 140269272029083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11586] ppid=11572 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11575/task/11586/stat : 11586 (java) S 11572 11575 2271 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 15 0 53302503 15371935744 20930 33554432000 4194304 4196468 140734216551008 140268678338544 140269272021634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11587] ppid=11572 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/11575/task/11587/stat : 11587 (java) S 11572 11575 2271 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 15 0 53302503 15371935744 20930 33554432000 4194304 4196468 140734216551008 140268677286000 140269272021634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11588] ppid=11572 vsize=15011656 memory=140492579845760 CPUtime=0.03 cores=1,3,5,7
/proc/11575/task/11588/stat : 11588 (java) R 11572 11575 2271 0 -1 4202560 313 0 0 0 3 0 0 0 20 0 15 0 53302503 15371935744 20930 33554432000 4194304 4196468 140734216551008 140268676233456 140269256090974 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11589] ppid=11572 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11589/stat : 11589 (java) S 11572 11575 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302503 15371935744 20930 33554432000 4194304 4196468 140734216551008 140266853886560 140269272020693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11590] ppid=11572 vsize=15011656 memory=140492579845760 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11590/stat : 11590 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302503 15371935744 20930 33554432000 4194304 4196468 140734216551008 140268675181360 140269272021634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 83720 KiB
[startup+0.310731 s]*
/proc/loadavg: 2.96 2.46 2.23 3/220 11590
/proc/meminfo: memFree=13817380/32770624 swapFree=67108860/67108860
[pid=11575] ppid=11572 vsize=15011656 memory=87604 CPUtime=0.44 cores=1,3,5,7
/proc/11575/stat : 11575 (java) S 11572 11575 2271 0 -1 1077944320 11002 0 0 0 41 3 0 0 20 0 15 0 53302496 15371935744 21901 33554432000 4194304 4196468 140734216551008 140734216533552 140269272010487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
/proc/11575/statm: 3752914 21901 2986 1 0 3715374 0
[pid=11575/tid=11577] ppid=11572 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/11575/task/11577/stat : 11577 (java) R 11572 11575 2271 0 -1 4202560 8692 0 0 0 27 2 0 0 20 0 15 0 53302497 15371935744 21901 33554432000 4194304 4196468 140734216551008 140269243814640 140269253574064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11578] ppid=11572 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11578/stat : 11578 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302498 15371935744 21901 33554432000 4194304 4196468 140734216551008 140269276252432 140269272020693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11579] ppid=11572 vsize=15011656 memory=288230376152078777 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11579/stat : 11579 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302498 15371935744 21901 33554432000 4194304 4196468 140734216551008 140269075028368 140269272020693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11580] ppid=11572 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11580/stat : 11580 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302498 15371935744 21901 33554432000 4194304 4196468 140734216551008 140269073975824 140269272020693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11581] ppid=11572 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11581/stat : 11581 (java) S 11572 11575 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302498 15371935744 21901 33554432000 4194304 4196468 140734216551008 140269072923280 140269272020693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11582] ppid=11572 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11582/stat : 11582 (java) S 11572 11575 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302500 15371935744 21901 33554432000 4194304 4196468 140734216551008 140268679391728 140269272021634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11583] ppid=11572 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11583/stat : 11583 (java) S 11572 11575 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53302500 15371935744 21901 33554432000 4194304 4196468 140734216551008 140267860518304 140269272020693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11584] ppid=11572 vsize=15011656 memory=140492579845760 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11584/stat : 11584 (java) S 11572 11575 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53302500 15371935744 21901 33554432000 4194304 4196468 140734216551008 140267726296560 140269272020693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11585] ppid=11572 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11585/stat : 11585 (java) S 11572 11575 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302503 15371935744 21901 33554432000 4194304 4196468 140734216551008 140267351792336 140269272029083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11586] ppid=11572 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11575/task/11586/stat : 11586 (java) S 11572 11575 2271 0 -1 1077944384 421 0 0 0 3 0 0 0 20 0 15 0 53302503 15371935744 21901 33554432000 4194304 4196468 140734216551008 140268678338544 140269272021634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11587] ppid=11572 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/11575/task/11587/stat : 11587 (java) S 11572 11575 2271 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 15 0 53302503 15371935744 21901 33554432000 4194304 4196468 140734216551008 140268677286000 140269272021634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11588] ppid=11572 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11575/task/11588/stat : 11588 (java) S 11572 11575 2271 0 -1 1077944384 358 0 0 0 7 0 0 0 20 0 15 0 53302503 15371935744 21901 33554432000 4194304 4196468 140734216551008 140268676233456 140269272021634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11589] ppid=11572 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11589/stat : 11589 (java) S 11572 11575 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302503 15371935744 21901 33554432000 4194304 4196468 140734216551008 140266853886560 140269272020693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11590] ppid=11572 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11590/stat : 11590 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302503 15371935744 21901 33554432000 4194304 4196468 140734216551008 140268675181360 140269272021634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87604 KiB
[startup+0.704971 s]
/proc/loadavg: 2.96 2.46 2.23 4/220 11590
/proc/meminfo: memFree=13793072/32770624 swapFree=67108860/67108860
[pid=11575] ppid=11572 vsize=15020052 memory=128092 CPUtime=1.04 cores=1,3,5,7
/proc/11575/stat : 11575 (java) S 11572 11575 2271 0 -1 1077944320 18295 0 0 0 99 5 0 0 20 0 15 0 53302496 15380533248 32023 33554432000 4194304 4196468 140734216551008 140734216533552 140269272010487 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
/proc/11575/statm: 3755013 32023 3156 1 0 3716398 0
[pid=11575/tid=11577] ppid=11572 vsize=15020052 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/11575/task/11577/stat : 11577 (java) R 11572 11575 2271 0 -1 4202560 15482 0 0 0 63 4 0 0 20 0 15 0 53302497 15380533248 32023 33554432000 4194304 4196468 140734216551008 140269243844048 140269272032413 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11578] ppid=11572 vsize=15020052 memory=796 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11578/stat : 11578 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302498 15380533248 32023 33554432000 4194304 4196468 140734216551008 140269276252432 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11579] ppid=11572 vsize=15020052 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11579/stat : 11579 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302498 15380533248 32023 33554432000 4194304 4196468 140734216551008 140269075028368 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11580] ppid=11572 vsize=15020052 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11580/stat : 11580 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302498 15380533248 32023 33554432000 4194304 4196468 140734216551008 140269073975824 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11581] ppid=11572 vsize=15020052 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11581/stat : 11581 (java) S 11572 11575 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302498 15380533248 32023 33554432000 4194304 4196468 140734216551008 140269072923280 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11582] ppid=11572 vsize=15020052 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11582/stat : 11582 (java) S 11572 11575 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53302500 15380533248 32023 33554432000 4194304 4196468 140734216551008 140268679391728 140269272021634 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11583] ppid=11572 vsize=15020052 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11583/stat : 11583 (java) S 11572 11575 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53302500 15380533248 32023 33554432000 4194304 4196468 140734216551008 140267860518304 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11584] ppid=11572 vsize=15020052 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11584/stat : 11584 (java) S 11572 11575 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53302500 15380533248 32023 33554432000 4194304 4196468 140734216551008 140267726296560 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11585] ppid=11572 vsize=15020052 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11585/stat : 11585 (java) S 11572 11575 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302503 15380533248 32023 33554432000 4194304 4196468 140734216551008 140267351792336 140269272029083 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11586] ppid=11572 vsize=15020052 memory=8384 CPUtime=0.11 cores=1,3,5,7
/proc/11575/task/11586/stat : 11586 (java) S 11572 11575 2271 0 -1 1077944384 649 0 0 0 11 0 0 0 20 0 15 0 53302503 15380533248 32023 33554432000 4194304 4196468 140734216551008 140268678338544 140269272021634 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11587] ppid=11572 vsize=15020052 memory=4616 CPUtime=0.06 cores=1,3,5,7
/proc/11575/task/11587/stat : 11587 (java) S 11572 11575 2271 0 -1 1077944384 281 0 0 0 6 0 0 0 20 0 15 0 53302503 15380533248 32023 33554432000 4194304 4196468 140734216551008 140268677286000 140269272021634 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11588] ppid=11572 vsize=15020052 memory=1424 CPUtime=0.17 cores=1,3,5,7
/proc/11575/task/11588/stat : 11588 (java) R 11572 11575 2271 0 -1 4202560 526 0 0 0 17 0 0 0 20 0 15 0 53302503 15380533248 32023 33554432000 4194304 4196468 140734216551008 140268676233456 140269264247614 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11589] ppid=11572 vsize=15020052 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11589/stat : 11589 (java) S 11572 11575 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302503 15380533248 32023 33554432000 4194304 4196468 140734216551008 140266853886560 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11590] ppid=11572 vsize=15020052 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11590/stat : 11590 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302503 15380533248 32023 33554432000 4194304 4196468 140734216551008 140268675181360 140269272021634 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 128092 KiB
[startup+1.50289 s]
/proc/loadavg: 2.96 2.46 2.23 4/220 11590
/proc/meminfo: memFree=13758200/32770624 swapFree=67108860/67108860
[pid=11575] ppid=11572 vsize=15022100 memory=179356 CPUtime=3.2 cores=1,3,5,7
/proc/11575/stat : 11575 (java) S 11572 11575 2271 0 -1 1077944320 23204 0 0 0 313 7 0 0 20 0 15 0 53302496 15382630400 44839 33554432000 4194304 4196468 140734216551008 140734216533552 140269272010487 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
/proc/11575/statm: 3755525 44839 3202 1 0 3716910 0
[pid=11575/tid=11577] ppid=11572 vsize=15022100 memory=13570392392808141 CPUtime=1.47 cores=1,3,5,7
/proc/11575/task/11577/stat : 11577 (java) R 11572 11575 2271 0 -1 4202560 16571 0 0 0 142 5 0 0 20 0 15 0 53302497 15382630400 44839 33554432000 4194304 4196468 140734216551008 140269243838320 140268749858673 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11578] ppid=11572 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11578/stat : 11578 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302498 15382630400 44839 33554432000 4194304 4196468 140734216551008 140269276252432 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11579] ppid=11572 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11579/stat : 11579 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302498 15382630400 44839 33554432000 4194304 4196468 140734216551008 140269075028368 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11580] ppid=11572 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11580/stat : 11580 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302498 15382630400 44839 33554432000 4194304 4196468 140734216551008 140269073975824 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11581] ppid=11572 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11581/stat : 11581 (java) S 11572 11575 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302498 15382630400 44839 33554432000 4194304 4196468 140734216551008 140269072923280 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11582] ppid=11572 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11582/stat : 11582 (java) S 11572 11575 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53302500 15382630400 44839 33554432000 4194304 4196468 140734216551008 140268679391728 140269272021634 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11583] ppid=11572 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11583/stat : 11583 (java) S 11572 11575 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53302500 15382630400 44839 33554432000 4194304 4196468 140734216551008 140267860518304 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11584] ppid=11572 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11584/stat : 11584 (java) S 11572 11575 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53302500 15382630400 44839 33554432000 4194304 4196468 140734216551008 140267726296560 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11585] ppid=11572 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11585/stat : 11585 (java) S 11572 11575 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302503 15382630400 44839 33554432000 4194304 4196468 140734216551008 140267351792336 140269272029083 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11586] ppid=11572 vsize=15022100 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/11575/task/11586/stat : 11586 (java) R 11572 11575 2271 0 -1 4202560 1929 0 0 0 60 0 0 0 20 0 15 0 53302503 15382630400 44839 33554432000 4194304 4196468 140734216551008 140268678331568 140269251727623 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11587] ppid=11572 vsize=15022100 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/11575/task/11587/stat : 11587 (java) R 11572 11575 2271 0 -1 1077944384 716 0 0 0 42 0 0 0 20 0 15 0 53302503 15382630400 44839 33554432000 4194304 4196468 140734216551008 140268677275792 140269272020693 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11588] ppid=11572 vsize=15022100 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/11575/task/11588/stat : 11588 (java) R 11572 11575 2271 0 -1 4202560 2629 0 0 0 67 0 0 0 20 0 15 0 53302503 15382630400 44839 33554432000 4194304 4196468 140734216551008 140268676233584 140269272022422 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11589] ppid=11572 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11589/stat : 11589 (java) S 11572 11575 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302503 15382630400 44839 33554432000 4194304 4196468 140734216551008 140266853886560 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11590] ppid=11572 vsize=15022100 memory=280984948135108 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11590/stat : 11590 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302503 15382630400 44839 33554432000 4194304 4196468 140734216551008 140268675181360 140269272021634 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
Current children cumulated CPU time: 3.2 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 179356 KiB
[startup+2.62074 s]
# the end of solver process 11575 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.56274 s, system=0.143961 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60238 s]
/proc/loadavg: 2.96 2.46 2.23 4/220 11590
/proc/meminfo: memFree=13758200/32770624 swapFree=67108860/67108860
[pid=11575] ppid=11572 vsize=15024148 memory=186904 CPUtime=3.43 cores=1,3,5,7
/proc/11575/stat : 11575 (java) S 11572 11575 2271 0 -1 1077944320 23572 0 0 0 336 7 0 0 20 0 15 0 53302496 15384727552 46726 33554432000 4194304 4196468 140734216551008 140734216533552 140269272010487 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
/proc/11575/statm: 3756037 46726 3202 1 0 3717422 0
[pid=11575/tid=11577] ppid=11572 vsize=15024148 memory=4282244239782474656 CPUtime=1.57 cores=1,3,5,7
/proc/11575/task/11577/stat : 11577 (java) R 11572 11575 2271 0 -1 4202560 16817 0 0 0 152 5 0 0 20 0 15 0 53302497 15384727552 46726 33554432000 4194304 4196468 140734216551008 140269243843712 140268758091820 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11578] ppid=11572 vsize=15024148 memory=-2971509717582823231 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11578/stat : 11578 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302498 15384727552 46726 33554432000 4194304 4196468 140734216551008 140269276252432 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11579] ppid=11572 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11579/stat : 11579 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302498 15384727552 46726 33554432000 4194304 4196468 140734216551008 140269075028368 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11580] ppid=11572 vsize=15024148 memory=7453004819949251694 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11580/stat : 11580 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302498 15384727552 46726 33554432000 4194304 4196468 140734216551008 140269073975824 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11581] ppid=11572 vsize=15024148 memory=7521688025519648612 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11581/stat : 11581 (java) S 11572 11575 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302498 15384727552 46726 33554432000 4194304 4196468 140734216551008 140269072923280 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11582] ppid=11572 vsize=15024148 memory=7306079293172636006 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11582/stat : 11582 (java) S 11572 11575 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53302500 15384727552 46726 33554432000 4194304 4196468 140734216551008 140268679391728 140269272021634 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11583] ppid=11572 vsize=15024148 memory=4638778415513030992 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11583/stat : 11583 (java) S 11572 11575 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53302500 15384727552 46726 33554432000 4194304 4196468 140734216551008 140267860518304 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11584] ppid=11572 vsize=15024148 memory=7445975659075429969 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11584/stat : 11584 (java) S 11572 11575 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53302500 15384727552 46726 33554432000 4194304 4196468 140734216551008 140267726296560 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11585] ppid=11572 vsize=15024148 memory=6083912736715466082 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11585/stat : 11585 (java) S 11572 11575 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302503 15384727552 46726 33554432000 4194304 4196468 140734216551008 140267351792336 140269272029083 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11586] ppid=11572 vsize=15024148 memory=7595128813976250469 CPUtime=0.64 cores=1,3,5,7
/proc/11575/task/11586/stat : 11586 (java) S 11572 11575 2271 0 -1 1077944384 1953 0 0 0 64 0 0 0 20 0 15 0 53302503 15384727552 46726 33554432000 4194304 4196468 140734216551008 140268678338544 140269272021634 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11587] ppid=11572 vsize=15024148 memory=2209 CPUtime=0.47 cores=1,3,5,7
/proc/11575/task/11587/stat : 11587 (java) S 11572 11575 2271 0 -1 1077944384 743 0 0 0 47 0 0 0 20 0 15 0 53302503 15384727552 46726 33554432000 4194304 4196468 140734216551008 140268677286000 140269272021634 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11588] ppid=11572 vsize=15024148 memory=13898514172380 CPUtime=0.72 cores=1,3,5,7
/proc/11575/task/11588/stat : 11588 (java) S 11572 11575 2271 0 -1 1077944384 2699 0 0 0 72 0 0 0 20 0 15 0 53302503 15384727552 46726 33554432000 4194304 4196468 140734216551008 140268676233456 140269272021634 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11589] ppid=11572 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11589/stat : 11589 (java) S 11572 11575 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302503 15384727552 46726 33554432000 4194304 4196468 140734216551008 140266853886560 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11590] ppid=11572 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11590/stat : 11590 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302503 15384727552 46726 33554432000 4194304 4196468 140734216551008 140268675181360 140269272021634 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
Current children cumulated CPU time: 3.43 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 186904 KiB
[startup+2.40151 s]
/proc/loadavg: 2.88 2.46 2.22 6/220 11590
/proc/meminfo: memFree=13667192/32770624 swapFree=67108860/67108860
[pid=11575] ppid=11572 vsize=15026264 memory=314268 CPUtime=6.07 cores=1,3,5,7
/proc/11575/stat : 11575 (java) S 11572 11575 2271 0 -1 1077944320 26622 0 0 0 596 11 0 0 20 0 15 0 53302496 15386894336 78567 33554432000 4194304 4196468 140734216551008 140734216533552 140269272010487 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
/proc/11575/statm: 3756566 78567 3220 1 0 3717422 0
[pid=11575/tid=11577] ppid=11572 vsize=15026264 memory=0 CPUtime=2.37 cores=1,3,5,7
/proc/11575/task/11577/stat : 11577 (java) R 11572 11575 2271 0 -1 4202560 17227 0 0 0 229 8 0 0 20 0 15 0 53302497 15386894336 78567 33554432000 4194304 4196468 140734216551008 140269243840880 140268750850655 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11578] ppid=11572 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11578/stat : 11578 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302498 15386894336 78567 33554432000 4194304 4196468 140734216551008 140269276252432 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11579] ppid=11572 vsize=15026264 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11579/stat : 11579 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302498 15386894336 78567 33554432000 4194304 4196468 140734216551008 140269075028368 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11580] ppid=11572 vsize=15026264 memory=190236785235357 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11580/stat : 11580 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302498 15386894336 78567 33554432000 4194304 4196468 140734216551008 140269073975824 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11581] ppid=11572 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11581/stat : 11581 (java) S 11572 11575 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53302498 15386894336 78567 33554432000 4194304 4196468 140734216551008 140269072923280 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11582] ppid=11572 vsize=15026264 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11582/stat : 11582 (java) S 11572 11575 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53302500 15386894336 78567 33554432000 4194304 4196468 140734216551008 140268679391728 140269272021634 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11583] ppid=11572 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11583/stat : 11583 (java) S 11572 11575 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53302500 15386894336 78567 33554432000 4194304 4196468 140734216551008 140267860518304 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11584] ppid=11572 vsize=15026264 memory=280984947785968 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11584/stat : 11584 (java) S 11572 11575 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53302500 15386894336 78567 33554432000 4194304 4196468 140734216551008 140267726296560 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11585] ppid=11572 vsize=15026264 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11585/stat : 11585 (java) S 11572 11575 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302503 15386894336 78567 33554432000 4194304 4196468 140734216551008 140267351792336 140269272029083 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11586] ppid=11572 vsize=15026264 memory=-3472574513799858009 CPUtime=1.36 cores=1,3,5,7
/proc/11575/task/11586/stat : 11586 (java) R 11572 11575 2271 0 -1 4202560 2232 0 0 0 136 0 0 0 20 0 15 0 53302503 15386894336 78567 33554432000 4194304 4196468 140734216551008 140268678324784 140269252740975 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11587] ppid=11572 vsize=15026264 memory=6656426216303648864 CPUtime=1.17 cores=1,3,5,7
/proc/11575/task/11587/stat : 11587 (java) R 11572 11575 2271 0 -1 4202560 1984 0 0 0 117 0 0 0 20 0 15 0 53302503 15386894336 78567 33554432000 4194304 4196468 140734216551008 140268677272320 140269272024351 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11588] ppid=11572 vsize=15026264 memory=6944656592455360604 CPUtime=1.13 cores=1,3,5,7
/proc/11575/task/11588/stat : 11588 (java) S 11572 11575 2271 0 -1 1077944384 3819 0 0 0 112 1 0 0 20 0 15 0 53302503 15386894336 78567 33554432000 4194304 4196468 140734216551008 140268676233456 140269272021634 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11589] ppid=11572 vsize=15026264 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11589/stat : 11589 (java) S 11572 11575 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53302503 15386894336 78567 33554432000 4194304 4196468 140734216551008 140266853886560 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11590] ppid=11572 vsize=15026264 memory=-4051592751533505334 CPUtime=0 cores=1,3,5,7
/proc/11575/task/11590/stat : 11590 (java) S 11572 11575 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53302503 15386894336 78567 33554432000 4194304 4196468 140734216551008 140268675181360 140269272021634 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
Current children cumulated CPU time: 6.07 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 314268 KiB
[startup+2.6007 s]
/proc/loadavg: 2.88 2.46 2.22 6/220 11590
/proc/meminfo: memFree=13667192/32770624 swapFree=67108860/67108860
[pid=11575] ppid=11572 vsize=15356224 memory=375400 CPUtime=6.68 cores=1,3,5,7
/proc/11575/stat : 11575 (java) S 11572 11575 2271 0 -1 1077944320 28693 1248 0 0 653 13 2 0 20 0 16 0 53302496 15724773376 93850 33554432000 4194304 4196468 140734216551008 140734216533552 140269272010487 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
/proc/11575/statm: 3839056 93850 3229 1 0 3799912 0
[pid=11575/tid=11577] ppid=11572 vsize=15356224 memory=6791534058613427641 CPUtime=2.57 cores=1,3,5,7
/proc/11575/task/11577/stat : 11577 (java) S 11572 11575 2271 0 -1 1077944384 18304 1248 0 0 246 9 2 0 20 0 16 0 53302497 15724773376 93850 33554432000 4194304 4196468 140734216551008 140269243853968 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11578] ppid=11572 vsize=15356224 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11575/task/11578/stat : 11578 (java) S 11572 11575 2271 0 -1 1077944384 1 1248 0 0 0 0 2 0 20 0 16 0 53302498 15724773376 93850 33554432000 4194304 4196468 140734216551008 140269276252432 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11579] ppid=11572 vsize=15356224 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11575/task/11579/stat : 11579 (java) S 11572 11575 2271 0 -1 1077944384 1 1248 0 0 0 0 2 0 20 0 16 0 53302498 15724773376 93850 33554432000 4194304 4196468 140734216551008 140269075028368 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11580] ppid=11572 vsize=15356224 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11575/task/11580/stat : 11580 (java) S 11572 11575 2271 0 -1 1077944384 1 1248 0 0 0 0 2 0 20 0 16 0 53302498 15724773376 93850 33554432000 4194304 4196468 140734216551008 140269073975824 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11581] ppid=11572 vsize=15356224 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11575/task/11581/stat : 11581 (java) S 11572 11575 2271 0 -1 1077944384 2 1248 0 0 0 0 2 0 20 0 16 0 53302498 15724773376 93850 33554432000 4194304 4196468 140734216551008 140269072923280 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11582] ppid=11572 vsize=15356224 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11575/task/11582/stat : 11582 (java) S 11572 11575 2271 0 -1 1077944384 5 1248 0 0 0 0 2 0 20 0 16 0 53302500 15724773376 93850 33554432000 4194304 4196468 140734216551008 140268679391936 140269272021634 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11583] ppid=11572 vsize=15356224 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11575/task/11583/stat : 11583 (java) S 11572 11575 2271 0 -1 1077944384 13 1248 0 0 0 0 2 0 20 0 16 0 53302500 15724773376 93850 33554432000 4194304 4196468 140734216551008 140267860518304 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11584] ppid=11572 vsize=15356224 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11575/task/11584/stat : 11584 (java) S 11572 11575 2271 0 -1 1077944384 21 1248 0 0 0 0 2 0 20 0 16 0 53302500 15724773376 93850 33554432000 4194304 4196468 140734216551008 140267726296560 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11585] ppid=11572 vsize=15356224 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11575/task/11585/stat : 11585 (java) S 11572 11575 2271 0 -1 1077944384 23 1248 0 0 0 0 2 0 20 0 16 0 53302503 15724773376 93850 33554432000 4194304 4196468 140734216551008 140267351791104 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11586] ppid=11572 vsize=15356224 memory=21 CPUtime=1.59 cores=1,3,5,7
/proc/11575/task/11586/stat : 11586 (java) R 11572 11575 2271 0 -1 4202560 3014 1248 0 0 156 1 2 0 20 0 16 0 53302503 15724773376 93850 33554432000 4194304 4196468 140734216551008 140268678319536 140269256932269 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11587] ppid=11572 vsize=15356224 memory=11 CPUtime=1.34 cores=1,3,5,7
/proc/11575/task/11587/stat : 11587 (java) S 11572 11575 2271 0 -1 1077944384 2032 1248 0 0 132 0 2 0 20 0 16 0 53302503 15724773376 93850 33554432000 4194304 4196468 140734216551008 140268677277760 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11588] ppid=11572 vsize=15356224 memory=29 CPUtime=1.19 cores=1,3,5,7
/proc/11575/task/11588/stat : 11588 (java) S 11572 11575 2271 0 -1 1077944384 3896 1248 0 0 116 1 2 0 20 0 16 0 53302503 15724773376 93850 33554432000 4194304 4196468 140734216551008 140268676233456 140269272021634 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
[pid=11575/tid=11589] ppid=11572 vsize=15356224 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11575/task/11589/stat : 11589 (java) S 11572 11575 2271 0 -1 1077944384 3 1248 0 0 0 0 2 0 20 0 16 0 53302503 15724773376 93850 33554432000 4194304 4196468 140734216551008 140266853886560 140269272020693 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25890816 140734216553459 140734216553737 140734216553737 140734216556495 0
Current children cumulated CPU time: 6.68 s
Current children cumulated vsize: 15356224 KiB
Current children cumulated memory: 375400 KiB
Child status: 0
Real time (s): 2.6208
CPU time (s): 6.7067
CPU user time (s): 6.56274
CPU system time (s): 0.143961
CPU usage (%): 255.903
Max. virtual memory (cumulated for all children) (KiB): 15356224
Max. memory (cumulated for all children) (KiB): 375400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.56273
system time used= 0.143961
maximum resident set size= 375980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29945
page faults= 0
swaps= 0
block input operations= 0
block output operations= 592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4076
involuntary context switches= 30
# summary of solver processes directly reported to runsolver:
# pid: 11575
# total CPU time (s): 6.7067
# total CPU user time (s): 6.56274
# total CPU system time (s): 0.143961
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041549 second user time and 0.070164 second system time
The end