0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Mon Jul 23 18:05:54 CEST 2018
0.67/0.55 c PID: 18407
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.56 c (0,0) Parsing Begin
1.49/0.95 c (0,0) Parsing End
1.49/0.96 c (0,0) CSP: 144 int (0 aux), 0 bool (0 aux), 109 ctr, max domain size 12
1.49/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.49/0.96 c (0,0) Constraint Name Generate Begin
1.49/0.96 c (0,0) Ctr:HOME/instance-4294558-1532361954.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
1.49/0.96 c (0,0) Constraint Name Generate End
1.49/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.49/0.96 c (0,0) CSP to CSPinCNF Begin
2.25/1.25 c (0,0) translated 11 (10%) constraints
2.25/1.27 c (0,0) translated 22 (20%) constraints
2.83/1.43 c (0,0) translated 33 (30%) constraints
3.41/1.62 c (1,1) translated 44 (40%) constraints
3.41/1.66 c (1,1) translated 55 (50%) constraints
3.41/1.69 c (1,1) translated 66 (60%) constraints
3.70/1.72 c (1,1) translated 77 (70%) constraints
3.70/1.75 c (1,1) translated 88 (80%) constraints
3.70/1.78 c (1,1) translated 99 (90%) constraints
4.03/1.81 c (1,1) translated 109 (100%) constraints
4.03/1.87 c (1,1) STATISTICS1:HOME/instance-4294558-1532361954.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.03/1.87 c (1,1) ===========================================
4.03/1.87 c (1,1) Both Encoding selects:
4.03/1.87 c (1,1) Order
4.03/1.87 c (1,1) ===========================================
4.38/1.91 c (1,1) translated 243 (10%) constraints
4.38/1.93 c (1,1) translated 485 (20%) constraints
4.38/1.98 c (1,1) translated 727 (30%) constraints
4.79/2.03 c (1,1) translated 969 (40%) constraints
4.79/2.07 c (1,1) translated 1211 (50%) constraints
4.79/2.10 c (1,1) translated 1454 (60%) constraints
5.09/2.12 c (1,1) translated 1696 (70%) constraints
5.09/2.13 c (1,1) translated 1938 (80%) constraints
5.09/2.14 c (1,1) translated 2180 (90%) constraints
5.09/2.15 c (1,1) translated 2422 (100%) constraints
5.09/2.15 c (1,1) CSP to CSPinCNF End
5.09/2.15 c (1,1) CSP: 144 int (0 aux), 1147 bool (1147 aux), 4150 ctr, max domain size 12
5.09/2.15 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
5.09/2.15 c (1,1) CSPinCNF Propagation Begin
5.39/2.23 c (1,1) 39 values, 326 unsatisfiable literals, and 234 valid clauses are removed
5.39/2.23 c (1,1) CSPinCNF Propagation End
5.39/2.23 c (1,1) CSP: 174 int (30 aux), 1117 bool (1117 aux), 3916 ctr, max domain size 12
5.39/2.23 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
5.39/2.23 c (1,1) Simplify CSPinCNF Begin
5.39/2.29 c (1,1) Simplify CSPinCNF End
5.39/2.29 c (1,1) CSP: 174 int (30 aux), 2110 bool (2110 aux), 4909 ctr, max domain size 12
5.39/2.29 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
5.39/2.29 c (1,1) Calculate Precise Domain Begin
5.39/2.29 c (1,1) 0 values are removed by re-calculation
5.39/2.29 c (1,1) Calculate Precise Domain End
5.39/2.29 c (1,1) CSP: 174 int (30 aux), 2110 bool (2110 aux), 4909 ctr, max domain size 12
5.39/2.29 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
5.39/2.29 c (1,1) CSPinCNF to SatSolver Begin
5.72/2.40 c (1,1) 491 (10 %) CSP clauses are encoded (3052 SAT variables, 4506 SAT clauses)
6.02/2.43 c (1,1) 982 (20 %) CSP clauses are encoded (3052 SAT variables, 8341 SAT clauses)
6.02/2.46 c (1,1) 1473 (30 %) CSP clauses are encoded (3052 SAT variables, 10712 SAT clauses)
6.02/2.46 c (1,1) 1964 (40 %) CSP clauses are encoded (3052 SAT variables, 11203 SAT clauses)
6.02/2.47 c (1,1) 2455 (50 %) CSP clauses are encoded (3052 SAT variables, 11694 SAT clauses)
6.02/2.47 c (1,1) 2946 (60 %) CSP clauses are encoded (3052 SAT variables, 12185 SAT clauses)
6.02/2.47 c (1,1) 3437 (70 %) CSP clauses are encoded (3052 SAT variables, 12676 SAT clauses)
6.02/2.48 c (1,1) 3928 (80 %) CSP clauses are encoded (3052 SAT variables, 13853 SAT clauses)
6.02/2.49 c (1,1) 4419 (90 %) CSP clauses are encoded (3052 SAT variables, 14700 SAT clauses)
6.32/2.50 c (1,1) 4909 (100 %) CSP clauses are encoded (3052 SAT variables, 15190 SAT clauses)
6.32/2.50 c (1,1) CSPinCNF to SatSolver End
6.32/2.50 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
6.32/2.54 c (2,1) STATISTICS2:HOME/instance-4294558-1532361954.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.32/2.54 c (2,1) SatSolver.solve Begin
6.32/2.54 c (2,1) 3052 bool, 15191 clause
6.32/2.54 c (2,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-4294558-1532361954.xml-scop-18407.cnf HOME/instance-4294558-1532361954.xml-scop-18407.cnf.out
6.32/2.58 c (2,0) c This is COMiniSatPS.
6.32/2.58 c (2,0) c WARNING: for repeatability, setting FPU to use double precision
6.32/2.58 c (2,0) c ============================[ Problem Statistics ]=============================
6.32/2.58 c (2,0) c | |
6.32/2.58 c (2,0) c | Number of variables: 3052 |
6.32/2.58 c (2,0) c | Number of clauses: 15071 |
6.32/2.58 c (2,0) c | Parse time: 0.00 s |
6.32/2.58 c (2,0) c | Eliminated clauses: 0.03 Mb |
6.32/2.58 c (2,0) c Reduced to 1268 vars, 11306 cls (grow=0)
6.32/2.58 c (2,0) c No iterative elimination performed. (vars=1268, c/v ratio=8.9)
6.32/2.58 c (2,0) c | Simplification time: 0.01 s |
6.32/2.58 c (2,0) c | |
6.32/2.58 c (2,0) c ============================[ Search Statistics ]==============================
6.32/2.58 c (2,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
6.32/2.58 c (2,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
6.32/2.58 c (2,0) c ===============================================================================
6.32/2.58 c (2,0) c ===============================================================================
6.32/2.58 c (2,0) c restarts : 1
6.32/2.58 c (2,0) c conflicts : 62 (2979 /sec)
6.32/2.58 c (2,0) c decisions : 390 (0.00 % random) (18739 /sec)
6.32/2.58 c (2,0) c propagations : 10712 (514703 /sec)
6.32/2.58 c (2,0) c conflict literals : 398 (14.78 % deleted)
6.32/2.58 c (2,0) c CPU time : 0.020812 s
6.32/2.58 c (2,0)
6.32/2.58 c (2,0) s SATISFIABLE
6.68/2.61 c (2,2) SatSolver.solve End
6.68/2.61 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
6.68/2.61 c (2,2) Show results Begin
6.68/2.62 c (2,2) gve[0][0] = 0
6.68/2.62 c (2,2) gve[0][1] = 2
6.68/2.62 c (2,2) gve[0][2] = 1
6.68/2.62 c (2,2) gve[1][0] = 0
6.68/2.62 c (2,2) gve[1][1] = 3
6.68/2.62 c (2,2) gve[1][2] = 2
6.68/2.62 c (2,2) gve[2][0] = 0
6.68/2.63 c (2,2) gve[2][1] = 3
6.68/2.63 c (2,2) gve[2][2] = 2
6.68/2.63 c (2,2) gve[3][0] = 1
6.68/2.63 c (2,2) gve[3][1] = 3
6.68/2.63 c (2,2) gve[3][2] = 2
6.68/2.63 c (2,2) gve[4][0] = 1
6.68/2.63 c (2,2) gve[4][1] = 0
6.68/2.63 c (2,2) gve[4][2] = 2
6.68/2.63 c (2,2) gve[5][0] = 2
6.68/2.63 c (2,2) gve[5][1] = 0
6.68/2.63 c (2,2) gve[5][2] = 3
6.68/2.63 c (2,2) gve[6][0] = 2
6.68/2.63 c (2,2) gve[6][1] = 1
6.68/2.63 c (2,2) gve[6][2] = 3
6.68/2.63 c (2,2) gve[7][0] = 2
6.68/2.63 c (2,2) gve[7][1] = 0
6.68/2.63 c (2,2) gve[7][2] = 3
6.68/2.63 c (2,2) gve[8][0] = 2
6.68/2.63 c (2,2) gve[8][1] = 1
6.68/2.63 c (2,2) gve[8][2] = 0
6.68/2.63 c (2,2) gve[9][0] = 3
6.68/2.63 c (2,2) gve[9][1] = 2
6.68/2.63 c (2,2) gve[9][2] = 1
6.68/2.63 c (2,2) gve[10][0] = 3
6.68/2.63 c (2,2) gve[10][1] = 2
6.68/2.63 c (2,2) gve[10][2] = 0
6.68/2.63 c (2,2) gve[11][0] = 3
6.68/2.63 c (2,2) gve[11][1] = 2
6.68/2.63 c (2,2) gve[11][2] = 0
6.68/2.63 c (2,2) gvr[0][0] = 0
6.68/2.63 c (2,2) gvr[0][1] = 1
6.68/2.63 c (2,2) gvr[0][2] = 2
6.68/2.63 c (2,2) gvr[1][0] = 0
6.68/2.63 c (2,2) gvr[1][1] = 1
6.68/2.63 c (2,2) gvr[1][2] = 2
6.68/2.63 c (2,2) gvr[2][0] = 0
6.68/2.63 c (2,2) gvr[2][1] = 1
6.68/2.63 c (2,2) gvr[2][2] = 2
6.68/2.63 c (2,2) gvr[3][0] = 0
6.68/2.63 c (2,2) gvr[3][1] = 1
6.68/2.63 c (2,2) gvr[3][2] = 2
6.68/2.63 c (2,2) gvr[4][0] = 1
6.68/2.63 c (2,2) gvr[4][1] = 2
6.68/2.63 c (2,2) gvr[4][2] = 0
6.68/2.63 c (2,2) gvr[5][0] = 1
6.68/2.63 c (2,2) gvr[5][1] = 2
6.68/2.63 c (2,2) gvr[5][2] = 0
6.68/2.63 c (2,2) gvr[6][0] = 1
6.68/2.63 c (2,2) gvr[6][1] = 2
6.68/2.63 c (2,2) gvr[6][2] = 0
6.68/2.63 c (2,2) gvr[7][0] = 1
6.68/2.63 c (2,2) gvr[7][1] = 2
6.68/2.63 c (2,2) gvr[7][2] = 0
6.68/2.63 c (2,2) gvr[8][0] = 2
6.68/2.63 c (2,2) gvr[8][1] = 0
6.68/2.63 c (2,2) gvr[8][2] = 1
6.68/2.63 c (2,2) gvr[9][0] = 2
6.68/2.63 c (2,2) gvr[9][1] = 0
6.68/2.63 c (2,2) gvr[9][2] = 1
6.68/2.63 c (2,2) gvr[10][0] = 2
6.68/2.63 c (2,2) gvr[10][1] = 0
6.68/2.63 c (2,2) gvr[10][2] = 1
6.68/2.63 c (2,2) gvr[11][0] = 2
6.68/2.63 c (2,2) gvr[11][1] = 0
6.68/2.63 c (2,2) gvr[11][2] = 1
6.68/2.63 c (2,2) ve[0][0] = 0
6.68/2.63 c (2,2) ve[0][1] = 8
6.68/2.63 c (2,2) ve[0][2] = 4
6.68/2.63 c (2,2) ve[1][0] = 1
6.68/2.63 c (2,2) ve[1][1] = 9
6.68/2.63 c (2,2) ve[1][2] = 5
6.68/2.63 c (2,2) ve[2][0] = 2
6.68/2.63 c (2,2) ve[2][1] = 10
6.68/2.63 c (2,2) ve[2][2] = 6
6.68/2.63 c (2,2) ve[3][0] = 3
6.68/2.63 c (2,2) ve[3][1] = 11
6.68/2.63 c (2,2) ve[3][2] = 7
6.68/2.63 c (2,2) ve[4][0] = 4
6.68/2.63 c (2,2) ve[4][1] = 0
6.68/2.63 c (2,2) ve[4][2] = 8
6.68/2.63 c (2,2) ve[5][0] = 5
6.68/2.63 c (2,2) ve[5][1] = 2
6.68/2.63 c (2,2) ve[5][2] = 9
6.68/2.63 c (2,2) ve[6][0] = 6
6.68/2.63 c (2,2) ve[6][1] = 3
6.68/2.63 c (2,2) ve[6][2] = 10
6.68/2.63 c (2,2) ve[7][0] = 7
6.68/2.63 c (2,2) ve[7][1] = 1
6.68/2.63 c (2,2) ve[7][2] = 11
6.68/2.63 c (2,2) ve[8][0] = 8
6.68/2.63 c (2,2) ve[8][1] = 4
6.68/2.63 c (2,2) ve[8][2] = 0
6.68/2.63 c (2,2) ve[9][0] = 9
6.68/2.63 c (2,2) ve[9][1] = 6
6.68/2.63 c (2,2) ve[9][2] = 3
6.68/2.63 c (2,2) ve[10][0] = 10
6.68/2.63 c (2,2) ve[10][1] = 5
6.68/2.63 c (2,2) ve[10][2] = 2
6.68/2.63 c (2,2) ve[11][0] = 11
6.68/2.63 c (2,2) ve[11][1] = 7
6.68/2.63 c (2,2) ve[11][2] = 1
6.68/2.63 c (2,2) vr[0][0] = 0
6.68/2.63 c (2,2) vr[0][1] = 4
6.68/2.63 c (2,2) vr[0][2] = 8
6.68/2.63 c (2,2) vr[1][0] = 1
6.68/2.63 c (2,2) vr[1][1] = 7
6.68/2.63 c (2,2) vr[1][2] = 11
6.68/2.63 c (2,2) vr[2][0] = 2
6.68/2.63 c (2,2) vr[2][1] = 5
6.68/2.63 c (2,2) vr[2][2] = 10
6.68/2.63 c (2,2) vr[3][0] = 3
6.68/2.63 c (2,2) vr[3][1] = 6
6.68/2.63 c (2,2) vr[3][2] = 9
6.68/2.63 c (2,2) vr[4][0] = 4
6.68/2.63 c (2,2) vr[4][1] = 8
6.68/2.63 c (2,2) vr[4][2] = 0
6.68/2.63 c (2,2) vr[5][0] = 5
6.68/2.63 c (2,2) vr[5][1] = 10
6.68/2.63 c (2,2) vr[5][2] = 1
6.68/2.63 c (2,2) vr[6][0] = 6
6.68/2.63 c (2,2) vr[6][1] = 9
6.68/2.63 c (2,2) vr[6][2] = 2
6.68/2.63 c (2,2) vr[7][0] = 7
6.68/2.63 c (2,2) vr[7][1] = 11
6.68/2.63 c (2,2) vr[7][2] = 3
6.68/2.63 c (2,2) vr[8][0] = 8
6.68/2.63 c (2,2) vr[8][1] = 0
6.68/2.63 c (2,2) vr[8][2] = 4
6.68/2.63 c (2,2) vr[9][0] = 9
6.68/2.63 c (2,2) vr[9][1] = 1
6.68/2.63 c (2,2) vr[9][2] = 5
6.68/2.63 c (2,2) vr[10][0] = 10
6.68/2.63 c (2,2) vr[10][1] = 2
6.68/2.63 c (2,2) vr[10][2] = 6
6.68/2.63 c (2,2) vr[11][0] = 11
6.68/2.63 c (2,2) vr[11][1] = 3
6.68/2.63 c (2,2) vr[11][2] = 7
6.68/2.63 s SATISFIABLE
6.68/2.63 v <instantiation>
6.68/2.63 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.68/2.63 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.68/2.63 v </instantiation>
6.68/2.63 c (2,2) Show results End
6.68/2.63 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
6.68/2.63 c (2,2) 0,0,1,1,1,1,1,2,2,STOP-AFTER(ALL)
6.68/2.63 c END-Prog: Mon Jul 23 18:05:57 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 (5804 MiB free)
memory of node 1: 16384 MiB (8098 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294558-1532361954/watcher-4294558-1532361954 -o /tmp/evaluation-result-4294558-1532361954/solver-4294558-1532361954 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294558-1532361954.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18407, runsolver pid=18404
Current StackSize limit: 8192 KiB
[startup+0.100173 s]*
/proc/loadavg: 2.86 2.37 2.17 3/221 18422
/proc/meminfo: memFree=14173064/32770624 swapFree=67108860/67108860
[pid=18407] ppid=18404 vsize=15011656 memory=75552 CPUtime=0.11 cores=0,2,4,6
/proc/18407/stat : 18407 (java) S 18404 18407 8919 0 -1 1077944320 6039 0 0 0 9 2 0 0 20 0 15 0 53758554 15371935744 18888 33554432000 4194304 4196468 140722625407728 140722625390272 140009699938039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
/proc/18407/statm: 3752914 18888 2778 1 0 3715374 0
[pid=18407/tid=18409] ppid=18404 vsize=15011656 memory=-6655087062886431568 CPUtime=0.09 cores=0,2,4,6
/proc/18407/task/18409/stat : 18409 (java) R 18404 18407 8919 0 -1 4202560 4275 0 0 0 8 1 0 0 20 0 15 0 53758554 15371935744 19020 33554432000 4194304 4196468 140722625407728 140009671750024 140009680213799 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18410] ppid=18404 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18410/stat : 18410 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758556 15371935744 19020 33554432000 4194304 4196468 140722625407728 140009704179984 140009699948245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18411] ppid=18404 vsize=15011656 memory=140370211010176 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18411/stat : 18411 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758556 15371935744 19020 33554432000 4194304 4196468 140722625407728 140009495263632 140009699948245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18412] ppid=18404 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18412/stat : 18412 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758556 15371935744 19020 33554432000 4194304 4196468 140722625407728 140009494211088 140009699948245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18413] ppid=18404 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18413/stat : 18413 (java) S 18404 18407 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758556 15371935744 19086 33554432000 4194304 4196468 140722625407728 140009493158544 140009699948245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18414] ppid=18404 vsize=15011656 memory=140370211010176 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18414/stat : 18414 (java) S 18404 18407 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758557 15371935744 19086 33554432000 4194304 4196468 140722625407728 140008905337328 140009699949186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18415] ppid=18404 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18415/stat : 18415 (java) S 18404 18407 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53758558 15371935744 19086 33554432000 4194304 4196468 140722625407728 140008350541216 140009699948245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18416] ppid=18404 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18416/stat : 18416 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758558 15371935744 19086 33554432000 4194304 4196468 140722625407728 140008082105840 140009699948245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18417] ppid=18404 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18417/stat : 18417 (java) S 18404 18407 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758561 15371935744 19086 33554432000 4194304 4196468 140722625407728 140007707597520 140009699956635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18418] ppid=18404 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18418/stat : 18418 (java) S 18404 18407 8919 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 53758561 15371935744 19086 33554432000 4194304 4196468 140722625407728 140008904284144 140009699949186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18419] ppid=18404 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18419/stat : 18419 (java) S 18404 18407 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758561 15371935744 19086 33554432000 4194304 4196468 140722625407728 140008903231600 140009699949186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18420] ppid=18404 vsize=15011656 memory=140370211010176 CPUtime=0.01 cores=0,2,4,6
/proc/18407/task/18420/stat : 18420 (java) S 18404 18407 8919 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 53758561 15371935744 19086 33554432000 4194304 4196468 140722625407728 140008902179056 140009699949186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18421] ppid=18404 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18421/stat : 18421 (java) S 18404 18407 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758561 15371935744 19086 33554432000 4194304 4196468 140722625407728 140007209691744 140009699948245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18422] ppid=18404 vsize=15011656 memory=140370211010176 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18422/stat : 18422 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758561 15371935744 19086 33554432000 4194304 4196468 140722625407728 140008901126960 140009699949186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 75552 KiB
[startup+0.21045 s]*
/proc/loadavg: 2.86 2.37 2.17 3/221 18422
/proc/meminfo: memFree=14157400/32770624 swapFree=67108860/67108860
[pid=18407] ppid=18404 vsize=15011656 memory=90872 CPUtime=0.25 cores=0,2,4,6
/proc/18407/stat : 18407 (java) S 18404 18407 8919 0 -1 1077944320 10149 0 0 0 23 2 0 0 20 0 15 0 53758554 15371935744 22718 33554432000 4194304 4196468 140722625407728 140722625390272 140009699938039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
/proc/18407/statm: 3752914 22718 2874 1 0 3715374 0
[pid=18407/tid=18409] ppid=18404 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/18407/task/18409/stat : 18409 (java) R 18404 18407 8919 0 -1 4202560 8054 0 0 0 18 2 0 0 20 0 15 0 53758554 15371935744 22718 33554432000 4194304 4196468 140722625407728 140009671757744 140009699949974 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18410] ppid=18404 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18410/stat : 18410 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758556 15371935744 22718 33554432000 4194304 4196468 140722625407728 140009704179984 140009699948245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18411] ppid=18404 vsize=15011656 memory=3906791182651651744 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18411/stat : 18411 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758556 15371935744 22718 33554432000 4194304 4196468 140722625407728 140009495263632 140009699948245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18412] ppid=18404 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18412/stat : 18412 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758556 15371935744 22718 33554432000 4194304 4196468 140722625407728 140009494211088 140009699948245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18413] ppid=18404 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18413/stat : 18413 (java) S 18404 18407 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758556 15371935744 22718 33554432000 4194304 4196468 140722625407728 140009493158544 140009699948245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18414] ppid=18404 vsize=15011656 memory=140370211010176 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18414/stat : 18414 (java) S 18404 18407 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758557 15371935744 22718 33554432000 4194304 4196468 140722625407728 140008905337328 140009699949186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18415] ppid=18404 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18415/stat : 18415 (java) S 18404 18407 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53758558 15371935744 22718 33554432000 4194304 4196468 140722625407728 140008350541216 140009699948245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18416] ppid=18404 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18416/stat : 18416 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758558 15371935744 22718 33554432000 4194304 4196468 140722625407728 140008082105840 140009699948245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18417] ppid=18404 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18417/stat : 18417 (java) S 18404 18407 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758561 15371935744 22718 33554432000 4194304 4196468 140722625407728 140007707597520 140009699956635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18418] ppid=18404 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18418/stat : 18418 (java) S 18404 18407 8919 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 15 0 53758561 15371935744 22718 33554432000 4194304 4196468 140722625407728 140008904284144 140009699949186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18419] ppid=18404 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18419/stat : 18419 (java) R 18404 18407 8919 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 53758561 15371935744 22718 33554432000 4194304 4196468 140722625407728 140008903231600 140009699949186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18420] ppid=18404 vsize=15011656 memory=140370211010176 CPUtime=0.03 cores=0,2,4,6
/proc/18407/task/18420/stat : 18420 (java) R 18404 18407 8919 0 -1 4202560 286 0 0 0 3 0 0 0 20 0 15 0 53758561 15371935744 22718 33554432000 4194304 4196468 140722625407728 140008902179056 140009699959386 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18421] ppid=18404 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18421/stat : 18421 (java) S 18404 18407 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758561 15371935744 22718 33554432000 4194304 4196468 140722625407728 140007209691744 140009699948245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18422] ppid=18404 vsize=15011656 memory=140370211010176 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18422/stat : 18422 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758561 15371935744 22718 33554432000 4194304 4196468 140722625407728 140008901126960 140009699949186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90872 KiB
[startup+0.31045 s]*
/proc/loadavg: 2.86 2.37 2.17 3/221 18422
/proc/meminfo: memFree=14153988/32770624 swapFree=67108860/67108860
[pid=18407] ppid=18404 vsize=15011656 memory=94500 CPUtime=0.43 cores=0,2,4,6
/proc/18407/stat : 18407 (java) S 18404 18407 8919 0 -1 1077944320 10612 0 0 0 40 3 0 0 20 0 15 0 53758554 15371935744 23625 33554432000 4194304 4196468 140722625407728 140722625390272 140009699938039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
/proc/18407/statm: 3752914 23625 3019 1 0 3715374 0
[pid=18407/tid=18409] ppid=18404 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/18407/task/18409/stat : 18409 (java) R 18404 18407 8919 0 -1 4202560 8352 0 0 0 27 2 0 0 20 0 15 0 53758554 15371935744 23625 33554432000 4194304 4196468 140722625407728 140009671761440 140009683318257 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18410] ppid=18404 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18410/stat : 18410 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758556 15371935744 23625 33554432000 4194304 4196468 140722625407728 140009704179984 140009699948245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18411] ppid=18404 vsize=15011656 memory=3834733588613723808 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18411/stat : 18411 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758556 15371935744 23625 33554432000 4194304 4196468 140722625407728 140009495263632 140009699948245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18412] ppid=18404 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18412/stat : 18412 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758556 15371935744 23625 33554432000 4194304 4196468 140722625407728 140009494211088 140009699948245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18413] ppid=18404 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18413/stat : 18413 (java) S 18404 18407 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758556 15371935744 23625 33554432000 4194304 4196468 140722625407728 140009493158544 140009699948245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18414] ppid=18404 vsize=15011656 memory=140370211010176 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18414/stat : 18414 (java) S 18404 18407 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758557 15371935744 23625 33554432000 4194304 4196468 140722625407728 140008905337328 140009699949186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18415] ppid=18404 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18415/stat : 18415 (java) S 18404 18407 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53758558 15371935744 23625 33554432000 4194304 4196468 140722625407728 140008350541216 140009699948245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18416] ppid=18404 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18416/stat : 18416 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758558 15371935744 23625 33554432000 4194304 4196468 140722625407728 140008082105840 140009699948245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18417] ppid=18404 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18417/stat : 18417 (java) S 18404 18407 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758561 15371935744 23625 33554432000 4194304 4196468 140722625407728 140007707597520 140009699956635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18418] ppid=18404 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18407/task/18418/stat : 18418 (java) R 18404 18407 8919 0 -1 4202560 483 0 0 0 2 0 0 0 20 0 15 0 53758561 15371935744 23625 33554432000 4194304 4196468 140722625407728 140008904284144 140009683406117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18419] ppid=18404 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/18407/task/18419/stat : 18419 (java) S 18404 18407 8919 0 -1 1077944384 137 0 0 0 2 0 0 0 20 0 15 0 53758561 15371935744 23625 33554432000 4194304 4196468 140722625407728 140008903231600 140009699949186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18420] ppid=18404 vsize=15011656 memory=140370211010176 CPUtime=0.07 cores=0,2,4,6
/proc/18407/task/18420/stat : 18420 (java) S 18404 18407 8919 0 -1 1077944384 305 0 0 0 7 0 0 0 20 0 15 0 53758561 15371935744 23625 33554432000 4194304 4196468 140722625407728 140008902179056 140009699949186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18421] ppid=18404 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18421/stat : 18421 (java) S 18404 18407 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758561 15371935744 23625 33554432000 4194304 4196468 140722625407728 140007209691744 140009699948245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18422] ppid=18404 vsize=15011656 memory=140370211010176 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18422/stat : 18422 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758561 15371935744 23625 33554432000 4194304 4196468 140722625407728 140008901126960 140009699949186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 94500 KiB
[startup+0.703203 s]
/proc/loadavg: 2.86 2.37 2.17 3/221 18422
/proc/meminfo: memFree=14132408/32770624 swapFree=67108860/67108860
[pid=18407] ppid=18404 vsize=15020052 memory=132036 CPUtime=1.01 cores=0,2,4,6
/proc/18407/stat : 18407 (java) S 18404 18407 8919 0 -1 1077944320 17188 0 0 0 96 5 0 0 20 0 15 0 53758554 15380533248 33009 33554432000 4194304 4196468 140722625407728 140722625390272 140009699938039 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
/proc/18407/statm: 3755013 33009 3172 1 0 3716398 0
[pid=18407/tid=18409] ppid=18404 vsize=15020052 memory=219457595136845 CPUtime=0.68 cores=0,2,4,6
/proc/18407/task/18409/stat : 18409 (java) R 18404 18407 8919 0 -1 4202560 14447 0 0 0 64 4 0 0 20 0 15 0 53758554 15380533248 33009 33554432000 4194304 4196468 140722625407728 140009671771424 140009699949974 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18410] ppid=18404 vsize=15020052 memory=298567 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18410/stat : 18410 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758556 15380533248 33009 33554432000 4194304 4196468 140722625407728 140009704179984 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18411] ppid=18404 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18411/stat : 18411 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758556 15380533248 33009 33554432000 4194304 4196468 140722625407728 140009495263632 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18412] ppid=18404 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18412/stat : 18412 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758556 15380533248 33009 33554432000 4194304 4196468 140722625407728 140009494211088 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18413] ppid=18404 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18413/stat : 18413 (java) S 18404 18407 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758556 15380533248 33009 33554432000 4194304 4196468 140722625407728 140009493158544 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18414] ppid=18404 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18414/stat : 18414 (java) S 18404 18407 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53758557 15380533248 33009 33554432000 4194304 4196468 140722625407728 140008905337328 140009699949186 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18415] ppid=18404 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18415/stat : 18415 (java) S 18404 18407 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53758558 15380533248 33009 33554432000 4194304 4196468 140722625407728 140008350541216 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18416] ppid=18404 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18416/stat : 18416 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758558 15380533248 33009 33554432000 4194304 4196468 140722625407728 140008082105840 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18417] ppid=18404 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18417/stat : 18417 (java) S 18404 18407 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758561 15380533248 33009 33554432000 4194304 4196468 140722625407728 140007707597520 140009699956635 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18418] ppid=18404 vsize=15020052 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18407/task/18418/stat : 18418 (java) S 18404 18407 8919 0 -1 1077944384 622 0 0 0 7 0 0 0 20 0 15 0 53758561 15380533248 33009 33554432000 4194304 4196468 140722625407728 140008904284144 140009699949186 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18419] ppid=18404 vsize=15020052 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18407/task/18419/stat : 18419 (java) S 18404 18407 8919 0 -1 1077944384 342 0 0 0 8 0 0 0 20 0 15 0 53758561 15380533248 33009 33554432000 4194304 4196468 140722625407728 140008903231600 140009699949186 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18420] ppid=18404 vsize=15020052 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/18407/task/18420/stat : 18420 (java) S 18404 18407 8919 0 -1 1077944384 438 0 0 0 16 0 0 0 20 0 15 0 53758561 15380533248 33009 33554432000 4194304 4196468 140722625407728 140008902179056 140009699949186 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18421] ppid=18404 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18421/stat : 18421 (java) S 18404 18407 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758561 15380533248 33009 33554432000 4194304 4196468 140722625407728 140007209691744 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18422] ppid=18404 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18422/stat : 18422 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758561 15380533248 33009 33554432000 4194304 4196468 140722625407728 140008901126960 140009699949186 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 132036 KiB
[startup+1.50082 s]
/proc/loadavg: 2.86 2.37 2.17 5/221 18422
/proc/meminfo: memFree=14097348/32770624 swapFree=67108860/67108860
[pid=18407] ppid=18404 vsize=15022100 memory=180428 CPUtime=3.16 cores=0,2,4,6
/proc/18407/stat : 18407 (java) S 18404 18407 8919 0 -1 1077944320 21955 0 0 0 307 9 0 0 20 0 15 0 53758554 15382630400 45107 33554432000 4194304 4196468 140722625407728 140722625390272 140009699938039 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
/proc/18407/statm: 3755525 45107 3201 1 0 3716910 0
[pid=18407/tid=18409] ppid=18404 vsize=15022100 memory=5794836780235446112 CPUtime=1.46 cores=0,2,4,6
/proc/18407/task/18409/stat : 18409 (java) R 18404 18407 8919 0 -1 4202560 15553 0 0 0 141 5 0 0 20 0 15 0 53758554 15382630400 45107 33554432000 4194304 4196468 140722625407728 140009671714896 140009683981669 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18410] ppid=18404 vsize=15022100 memory=6298673690012637024 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18410/stat : 18410 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758556 15382630400 45107 33554432000 4194304 4196468 140722625407728 140009704179984 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18411] ppid=18404 vsize=15022100 memory=7589518994083111783 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18411/stat : 18411 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758556 15382630400 45107 33554432000 4194304 4196468 140722625407728 140009495263632 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18412] ppid=18404 vsize=15022100 memory=7958247987902571865 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18412/stat : 18412 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758556 15382630400 45107 33554432000 4194304 4196468 140722625407728 140009494211088 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18413] ppid=18404 vsize=15022100 memory=4638778406922702160 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18413/stat : 18413 (java) S 18404 18407 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758556 15382630400 45107 33554432000 4194304 4196468 140722625407728 140009493158544 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18414] ppid=18404 vsize=15022100 memory=7594024891367056978 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18414/stat : 18414 (java) S 18404 18407 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53758557 15382630400 45107 33554432000 4194304 4196468 140722625407728 140008905337328 140009699949186 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18415] ppid=18404 vsize=15022100 memory=3546356228005193042 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18415/stat : 18415 (java) S 18404 18407 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53758558 15382630400 45107 33554432000 4194304 4196468 140722625407728 140008350541216 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18416] ppid=18404 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18416/stat : 18416 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758558 15382630400 45107 33554432000 4194304 4196468 140722625407728 140008082105840 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18417] ppid=18404 vsize=15022100 memory=280740134650096 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18417/stat : 18417 (java) S 18404 18407 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758561 15382630400 45107 33554432000 4194304 4196468 140722625407728 140007707597520 140009699956635 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18418] ppid=18404 vsize=15022100 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/18407/task/18418/stat : 18418 (java) R 18404 18407 8919 0 -1 4202560 1840 0 0 0 55 1 0 0 20 0 15 0 53758561 15382630400 45107 33554432000 4194304 4196468 140722625407728 140008904270704 140009680690475 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18419] ppid=18404 vsize=15022100 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/18407/task/18419/stat : 18419 (java) S 18404 18407 8919 0 -1 1077944384 679 0 0 0 41 0 0 0 20 0 15 0 53758561 15382630400 45107 33554432000 4194304 4196468 140722625407728 140008903231600 140009699949186 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18420] ppid=18404 vsize=15022100 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/18407/task/18420/stat : 18420 (java) S 18404 18407 8919 0 -1 1077944384 2544 0 0 0 68 0 0 0 20 0 15 0 53758561 15382630400 45107 33554432000 4194304 4196468 140722625407728 140008902179056 140009699949186 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18421] ppid=18404 vsize=15022100 memory=13773960120851 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18421/stat : 18421 (java) S 18404 18407 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758561 15382630400 45107 33554432000 4194304 4196468 140722625407728 140007209691744 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18422] ppid=18404 vsize=15022100 memory=1 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18422/stat : 18422 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758561 15382630400 45107 33554432000 4194304 4196468 140722625407728 140008901126960 140009699949186 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
Current children cumulated CPU time: 3.16 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 180428 KiB
[startup+2.65677 s]
# the end of solver process 18407 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.65272 s, system=0.151859 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60105 s]
/proc/loadavg: 2.86 2.37 2.17 5/221 18422
/proc/meminfo: memFree=14097348/32770624 swapFree=67108860/67108860
[pid=18407] ppid=18404 vsize=15024148 memory=190208 CPUtime=3.41 cores=0,2,4,6
/proc/18407/stat : 18407 (java) S 18404 18407 8919 0 -1 1077944320 22341 0 0 0 332 9 0 0 20 0 15 0 53758554 15384727552 47552 33554432000 4194304 4196468 140722625407728 140722625390272 140009699938039 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
/proc/18407/statm: 3756037 47552 3201 1 0 3717422 0
[pid=18407/tid=18409] ppid=18404 vsize=15024148 memory=0 CPUtime=1.56 cores=0,2,4,6
/proc/18407/task/18409/stat : 18409 (java) R 18404 18407 8919 0 -1 4202560 15814 0 0 0 151 5 0 0 20 0 15 0 53758554 15384727552 47552 33554432000 4194304 4196468 140722625407728 140009671772248 140009683312586 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18410] ppid=18404 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18410/stat : 18410 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758556 15384727552 47552 33554432000 4194304 4196468 140722625407728 140009704179984 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18411] ppid=18404 vsize=15024148 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18411/stat : 18411 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758556 15384727552 47552 33554432000 4194304 4196468 140722625407728 140009495263632 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18412] ppid=18404 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18412/stat : 18412 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758556 15384727552 47552 33554432000 4194304 4196468 140722625407728 140009494211088 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18413] ppid=18404 vsize=15024148 memory=12081 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18413/stat : 18413 (java) S 18404 18407 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758556 15384727552 47552 33554432000 4194304 4196468 140722625407728 140009493158544 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18414] ppid=18404 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18414/stat : 18414 (java) S 18404 18407 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53758557 15384727552 47552 33554432000 4194304 4196468 140722625407728 140008905337328 140009699949186 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18415] ppid=18404 vsize=15024148 memory=-2023959437020729679 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18415/stat : 18415 (java) S 18404 18407 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53758558 15384727552 47552 33554432000 4194304 4196468 140722625407728 140008350541216 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18416] ppid=18404 vsize=15024148 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18416/stat : 18416 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758558 15384727552 47552 33554432000 4194304 4196468 140722625407728 140008082105840 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18417] ppid=18404 vsize=15024148 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18417/stat : 18417 (java) S 18404 18407 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758561 15384727552 47552 33554432000 4194304 4196468 140722625407728 140007707597520 140009699956635 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18418] ppid=18404 vsize=15024148 memory=6656426216303648864 CPUtime=0.61 cores=0,2,4,6
/proc/18407/task/18418/stat : 18418 (java) S 18404 18407 8919 0 -1 1077944384 1864 0 0 0 60 1 0 0 20 0 15 0 53758561 15384727552 47552 33554432000 4194304 4196468 140722625407728 140008904284144 140009699949186 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18419] ppid=18404 vsize=15024148 memory=-3195349257566499689 CPUtime=0.47 cores=0,2,4,6
/proc/18407/task/18419/stat : 18419 (java) S 18404 18407 8919 0 -1 1077944384 714 0 0 0 47 0 0 0 20 0 15 0 53758561 15384727552 47552 33554432000 4194304 4196468 140722625407728 140008903231600 140009699949186 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18420] ppid=18404 vsize=15024148 memory=280740134792768 CPUtime=0.72 cores=0,2,4,6
/proc/18407/task/18420/stat : 18420 (java) R 18404 18407 8919 0 -1 4202560 2610 0 0 0 72 0 0 0 20 0 15 0 53758561 15384727552 47552 33554432000 4194304 4196468 140722625407728 140008902179056 140009683312105 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18421] ppid=18404 vsize=15024148 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18421/stat : 18421 (java) S 18404 18407 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758561 15384727552 47552 33554432000 4194304 4196468 140722625407728 140007209691744 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18422] ppid=18404 vsize=15024148 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18422/stat : 18422 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758561 15384727552 47552 33554432000 4194304 4196468 140722625407728 140008901126960 140009699949186 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
Current children cumulated CPU time: 3.41 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 190208 KiB
[startup+2.40462 s]
/proc/loadavg: 2.79 2.36 2.17 5/221 18422
/proc/meminfo: memFree=14010724/32770624 swapFree=67108860/67108860
[pid=18407] ppid=18404 vsize=15026264 memory=305508 CPUtime=6.02 cores=0,2,4,6
/proc/18407/stat : 18407 (java) S 18404 18407 8919 0 -1 1077944320 25394 0 0 0 590 12 0 0 20 0 15 0 53758554 15386894336 76377 33554432000 4194304 4196468 140722625407728 140722625390272 140009699938039 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
/proc/18407/statm: 3756566 76377 3219 1 0 3717422 0
[pid=18407/tid=18409] ppid=18404 vsize=15026264 memory=6003387811819110496 CPUtime=2.36 cores=0,2,4,6
/proc/18407/task/18409/stat : 18409 (java) R 18404 18407 8919 0 -1 4202560 16217 0 0 0 229 7 0 0 20 0 15 0 53758554 15386894336 76377 33554432000 4194304 4196468 140722625407728 140009671773728 140009185631004 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18410] ppid=18404 vsize=15026264 memory=-7453528518462155811 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18410/stat : 18410 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758556 15386894336 76889 33554432000 4194304 4196468 140722625407728 140009704179984 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18411] ppid=18404 vsize=15026264 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18411/stat : 18411 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758556 15386894336 76889 33554432000 4194304 4196468 140722625407728 140009495263632 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18412] ppid=18404 vsize=15026264 memory=21455 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18412/stat : 18412 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758556 15386894336 76889 33554432000 4194304 4196468 140722625407728 140009494211088 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18413] ppid=18404 vsize=15026264 memory=6298673690012637024 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18413/stat : 18413 (java) S 18404 18407 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53758556 15386894336 76889 33554432000 4194304 4196468 140722625407728 140009493158544 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18414] ppid=18404 vsize=15026264 memory=6298673690012637024 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18414/stat : 18414 (java) S 18404 18407 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53758557 15386894336 76889 33554432000 4194304 4196468 140722625407728 140008905337328 140009699949186 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18415] ppid=18404 vsize=15026264 memory=6298673690012637024 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18415/stat : 18415 (java) S 18404 18407 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53758558 15386894336 76889 33554432000 4194304 4196468 140722625407728 140008350541216 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18416] ppid=18404 vsize=15026264 memory=6298673690012637024 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18416/stat : 18416 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758558 15386894336 76889 33554432000 4194304 4196468 140722625407728 140008082105840 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18417] ppid=18404 vsize=15026264 memory=6298673690012637024 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18417/stat : 18417 (java) S 18404 18407 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758561 15386894336 76889 33554432000 4194304 4196468 140722625407728 140007707597520 140009699956635 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18418] ppid=18404 vsize=15026264 memory=6298673690012637024 CPUtime=1.29 cores=0,2,4,6
/proc/18407/task/18418/stat : 18418 (java) R 18404 18407 8919 0 -1 4202560 2266 0 0 0 128 1 0 0 20 0 15 0 53758561 15386894336 76889 33554432000 4194304 4196468 140722625407728 140008904267104 140009699959386 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18419] ppid=18404 vsize=15026264 memory=6298673690012637024 CPUtime=1.19 cores=0,2,4,6
/proc/18407/task/18419/stat : 18419 (java) R 18404 18407 8919 0 -1 1077944384 1879 0 0 0 118 1 0 0 20 0 15 0 53758561 15386894336 76889 33554432000 4194304 4196468 140722625407728 140008903231600 140009699949186 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18420] ppid=18404 vsize=15026264 memory=6298673690012637024 CPUtime=1.14 cores=0,2,4,6
/proc/18407/task/18420/stat : 18420 (java) S 18404 18407 8919 0 -1 1077944384 3693 0 0 0 113 1 0 0 20 0 15 0 53758561 15386894336 76889 33554432000 4194304 4196468 140722625407728 140008902179056 140009699949186 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18421] ppid=18404 vsize=15026264 memory=5794836780235446112 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18421/stat : 18421 (java) S 18404 18407 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53758561 15386894336 76889 33554432000 4194304 4196468 140722625407728 140007209691744 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18422] ppid=18404 vsize=15026264 memory=5794836780235446112 CPUtime=0 cores=0,2,4,6
/proc/18407/task/18422/stat : 18422 (java) S 18404 18407 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53758561 15386894336 76889 33554432000 4194304 4196468 140722625407728 140008901126960 140009699949186 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
Current children cumulated CPU time: 6.02 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 305508 KiB
[startup+2.60805 s]
/proc/loadavg: 2.79 2.36 2.17 5/221 18422
/proc/meminfo: memFree=14010724/32770624 swapFree=67108860/67108860
[pid=18407] ppid=18404 vsize=15552836 memory=371608 CPUtime=6.68 cores=0,2,4,6
/proc/18407/stat : 18407 (java) S 18404 18407 8919 0 -1 1077944320 26674 1248 0 0 653 13 2 0 20 0 17 0 53758554 15926104064 92902 33554432000 4194304 4196468 140722625407728 140722625390272 140009699938039 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
/proc/18407/statm: 3888209 92902 3226 1 0 3849065 0
[pid=18407/tid=18409] ppid=18404 vsize=15552836 memory=0 CPUtime=2.57 cores=0,2,4,6
/proc/18407/task/18409/stat : 18409 (java) R 18404 18407 8919 0 -1 4202560 16572 1248 0 0 247 8 2 0 20 0 17 0 53758554 15926104064 92902 33554432000 4194304 4196468 140722625407728 140009671741200 140009680577635 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18410] ppid=18404 vsize=15552836 memory=280740134663968 CPUtime=0.02 cores=0,2,4,6
/proc/18407/task/18410/stat : 18410 (java) S 18404 18407 8919 0 -1 1077944384 1 1248 0 0 0 0 2 0 20 0 17 0 53758556 15926104064 92902 33554432000 4194304 4196468 140722625407728 140009704179984 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18411] ppid=18404 vsize=15552836 memory=219412699320273 CPUtime=0.02 cores=0,2,4,6
/proc/18407/task/18411/stat : 18411 (java) S 18404 18407 8919 0 -1 1077944384 1 1248 0 0 0 0 2 0 20 0 17 0 53758556 15926104064 92902 33554432000 4194304 4196468 140722625407728 140009495263632 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18412] ppid=18404 vsize=15552836 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18407/task/18412/stat : 18412 (java) S 18404 18407 8919 0 -1 1077944384 1 1248 0 0 0 0 2 0 20 0 17 0 53758556 15926104064 92902 33554432000 4194304 4196468 140722625407728 140009494211088 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18413] ppid=18404 vsize=15552836 memory=140370067359392 CPUtime=0.02 cores=0,2,4,6
/proc/18407/task/18413/stat : 18413 (java) S 18404 18407 8919 0 -1 1077944384 2 1248 0 0 0 0 2 0 20 0 17 0 53758556 15926104064 92902 33554432000 4194304 4196468 140722625407728 140009493158544 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18414] ppid=18404 vsize=15552836 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18407/task/18414/stat : 18414 (java) S 18404 18407 8919 0 -1 1077944384 5 1248 0 0 0 0 2 0 20 0 17 0 53758557 15926104064 92902 33554432000 4194304 4196468 140722625407728 140008905337328 140009699949186 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18415] ppid=18404 vsize=15552836 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18407/task/18415/stat : 18415 (java) S 18404 18407 8919 0 -1 1077944384 13 1248 0 0 0 0 2 0 20 0 17 0 53758558 15926104064 92902 33554432000 4194304 4196468 140722625407728 140008350541216 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18416] ppid=18404 vsize=15552836 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18407/task/18416/stat : 18416 (java) S 18404 18407 8919 0 -1 1077944384 1 1248 0 0 0 0 2 0 20 0 17 0 53758558 15926104064 92902 33554432000 4194304 4196468 140722625407728 140008082105840 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18417] ppid=18404 vsize=15552836 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18407/task/18417/stat : 18417 (java) S 18404 18407 8919 0 -1 1077944384 3 1248 0 0 0 0 2 0 20 0 17 0 53758561 15926104064 92902 33554432000 4194304 4196468 140722625407728 140007707597520 140009699956635 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18418] ppid=18404 vsize=15552836 memory=0 CPUtime=1.52 cores=0,2,4,6
/proc/18407/task/18418/stat : 18418 (java) R 18404 18407 8919 0 -1 4202560 2990 1248 0 0 149 1 2 0 20 0 17 0 53758561 15926104064 92902 33554432000 4194304 4196468 140722625407728 140008904270024 140009681482295 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18419] ppid=18404 vsize=15552836 memory=2209 CPUtime=1.4 cores=0,2,4,6
/proc/18407/task/18419/stat : 18419 (java) R 18404 18407 8919 0 -1 4202560 1941 1248 0 0 137 1 2 0 20 0 17 0 53758561 15926104064 92902 33554432000 4194304 4196468 140722625407728 140008903221520 140009684324608 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18420] ppid=18404 vsize=15552836 memory=26660 CPUtime=1.2 cores=0,2,4,6
/proc/18407/task/18420/stat : 18420 (java) S 18404 18407 8919 0 -1 1077944384 3766 1248 0 0 117 1 2 0 20 0 17 0 53758561 15926104064 92902 33554432000 4194304 4196468 140722625407728 140008902179056 140009699949186 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18421] ppid=18404 vsize=15552836 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18407/task/18421/stat : 18421 (java) S 18404 18407 8919 0 -1 1077944384 3 1248 0 0 0 0 2 0 20 0 17 0 53758561 15926104064 92902 33554432000 4194304 4196468 140722625407728 140007209691744 140009699948245 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
[pid=18407/tid=18422] ppid=18404 vsize=15552836 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18407/task/18422/stat : 18422 (java) S 18404 18407 8919 0 -1 1077944384 1 1248 0 0 0 0 2 0 20 0 17 0 53758561 15926104064 92902 33554432000 4194304 4196468 140722625407728 140008901126960 140009699949186 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36884480 140722625410036 140722625410313 140722625410313 140722625413071 0
Current children cumulated CPU time: 6.68 s
Current children cumulated vsize: 15552836 KiB
Current children cumulated memory: 371608 KiB
Child status: 0
Real time (s): 2.65681
CPU time (s): 6.80457
CPU user time (s): 6.65272
CPU system time (s): 0.151859
CPU usage (%): 256.118
Max. virtual memory (cumulated for all children) (KiB): 15552836
Max. memory (cumulated for all children) (KiB): 371608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.65271
system time used= 0.151859
maximum resident set size= 379004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28744
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= 4134
involuntary context switches= 50
# summary of solver processes directly reported to runsolver:
# pid: 18407
# total CPU time (s): 6.80457
# total CPU user time (s): 6.65272
# total CPU system time (s): 0.151859
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038407 second user time and 0.072425 second system time
The end