0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-7564-serial-file.bin HOME/instance-4305521-1534075032.xml
0.55/0.52
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 13:57:13 CEST 2018
0.66/0.54 c PID: 7567
0.66/0.54 c IP: 172.20.3.151
0.66/0.54 c HOST: node151.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.33/1.19 c (0,0) Parsing End
2.67/1.20 c (0,0) CSP: 640 int (0 aux), 0 bool (0 aux), 417 ctr, max domain size 40
2.67/1.20 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.67/1.20 c (0,0) Constraint Name Generate Begin
2.67/1.21 c (0,0) Ctr:HOME/instance-4305521-1534075032.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
2.67/1.21 c (0,0) Constraint Name Generate End
2.67/1.21 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.67/1.21 c (0,0) CSP to CSPinCNF Begin
4.54/1.87 c (1,1) translated 42 (10%) constraints
4.54/1.90 c (1,1) translated 84 (20%) constraints
8.97/3.32 c (2,2) translated 126 (30%) constraints
9.31/3.42 c (2,2) translated 167 (40%) constraints
9.66/3.50 c (2,2) translated 209 (50%) constraints
9.66/3.58 c (3,3) translated 251 (60%) constraints
9.98/3.67 c (3,3) translated 292 (70%) constraints
10.28/3.75 c (3,3) translated 334 (80%) constraints
10.61/3.82 c (3,3) translated 376 (90%) constraints
10.61/3.90 c (3,3) translated 417 (100%) constraints
11.59/4.18 c (3,3) STATISTICS1:HOME/instance-4305521-1534075032.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,2272,25620,40,40,40,2,40:5910;39:191;38:161;37:165;36:339;5:240;4:240,40:41304;39:701;38:566;37:566;36:1115;5:2080;4:1760;2:7136,40:16;6:160;5:160;4:352;3:14442;2:10432;1:58,2:7246;1:53536;0:320,
11.59/4.18 c (3,3) ==========================================
11.59/4.18 c (3,3) Order
11.59/4.18 c (3,3) ==========================================
12.22/4.31 c (3,3) translated 2562 (10%) constraints
12.45/4.40 c (3,3) translated 5124 (20%) constraints
12.90/4.61 c (4,3) translated 7686 (30%) constraints
13.48/4.87 c (4,4) translated 10248 (40%) constraints
14.41/5.15 c (4,4) translated 12810 (50%) constraints
14.84/5.34 c (4,4) translated 15372 (60%) constraints
15.06/5.54 c (5,4) translated 17934 (70%) constraints
15.17/5.69 c (5,5) translated 20496 (80%) constraints
15.36/5.76 c (5,5) translated 23058 (90%) constraints
15.67/5.82 c (5,5) translated 25620 (100%) constraints
15.67/5.82 c (5,5) CSP to CSPinCNF End
15.67/5.83 c (5,5) CSP: 640 int (0 aux), 14432 bool (14432 aux), 51220 ctr, max domain size 40
15.67/5.83 c (5,5) Heap : 1351 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
15.67/5.83 c (5,5) CSPinCNF Propagation Begin
16.86/6.29 c (5,5) 151 values, 1343 unsatisfiable literals, and 973 valid clauses are removed
16.86/6.29 c (5,5) CSPinCNF Propagation End
17.16/6.30 c (5,5) CSP: 751 int (111 aux), 14321 bool (14321 aux), 50247 ctr, max domain size 40
17.16/6.30 c (5,5) Heap : 1520 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
17.16/6.30 c (5,5) Simplify CSPinCNF Begin
18.29/6.70 c (6,6) Simplify CSPinCNF End
18.29/6.71 c (6,6) CSP: 751 int (111 aux), 28037 bool (28037 aux), 63963 ctr, max domain size 40
18.29/6.71 c (6,6) Heap : 1689 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
18.29/6.71 c (6,6) Calculate Precise Domain Begin
18.29/6.71 c (6,6) 0 values are removed by re-calculation
18.29/6.71 c (6,6) Calculate Precise Domain End
18.29/6.72 c (6,6) CSP: 751 int (111 aux), 28037 bool (28037 aux), 63963 ctr, max domain size 40
18.29/6.72 c (6,6) Heap : 1689 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
18.29/6.72 c (6,6) CSPinCNF to SatSolver Begin
19.85/7.43 c (6,6) 6397 (10 %) CSP clauses are encoded (41526 SAT variables, 181992 SAT clauses)
20.46/7.94 c (7,7) 12793 (20 %) CSP clauses are encoded (41526 SAT variables, 351078 SAT clauses)
21.34/8.51 c (7,7) 19189 (30 %) CSP clauses are encoded (41526 SAT variables, 511171 SAT clauses)
21.34/8.55 c (8,7) 25586 (40 %) CSP clauses are encoded (41526 SAT variables, 520112 SAT clauses)
21.34/8.58 c (8,7) 31982 (50 %) CSP clauses are encoded (41526 SAT variables, 526508 SAT clauses)
21.45/8.61 c (8,7) 38378 (60 %) CSP clauses are encoded (41526 SAT variables, 532904 SAT clauses)
21.45/8.64 c (8,7) 44775 (70 %) CSP clauses are encoded (41526 SAT variables, 539301 SAT clauses)
21.45/8.68 c (8,7) 51171 (80 %) CSP clauses are encoded (41526 SAT variables, 545697 SAT clauses)
21.55/8.71 c (8,7) 57567 (90 %) CSP clauses are encoded (41526 SAT variables, 552093 SAT clauses)
21.72/8.80 c (8,8) 63963 (100 %) CSP clauses are encoded (41526 SAT variables, 578447 SAT clauses)
21.72/8.80 c (8,8) Launch Command will be: minisat_release
21.72/8.80 c (8,8) CSPinCNF to SatSolver End
21.72/8.80 c (8,8) Heap : 426 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.27/9.01 c (8,8) STATISTICS2:HOME/instance-4305521-1534075032.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,28788,63963,40,40,40,2,40:10109;39:358;38:661;37:609;36:1269;5:480;4:480,40:71408;39:1236;38:2202;37:1926;36:3786;5:2560;4:2240;2:72198,40:4;36:11;34:1;5:160;4:512;3:13660;2:49557;1:58,2:13966;1:129624,
22.27/9.01 c (8,8) 41526 bool, 578448 clause
22.27/9.01 c (8,8) Export Begin
22.46/9.14 c (8,8) Export to HOME/scop-7564-serial-file.bin
22.46/9.14 c (8,8) Export End
22.46/9.14 c (8,8) Export File Size: 0.13 MB
22.46/9.14 c (8,8) 0,0,5,5,6,6,8,STOP-AFTER(DIMACS)
22.46/9.14 c END-Prog: Sun Aug 12 13:57:21 CEST 2018
22.46/9.18 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-7564-serial-file.bin
22.59/9.81 c (0,0) Read Serial File Begin
22.59/9.81 c (0,0) HOME/scop-7564-serial-file.bin
23.61/10.03 c (0,0) Read Serial File End
23.61/10.04
23.61/10.04 scop order+minisat_release (2018-07-31)
23.61/10.04 (Solving Process)
23.61/10.04
23.61/10.06 c BEGIN-Prog: Sun Aug 12 13:57:22 CEST 2018
23.61/10.06 c PID: 7582
23.61/10.06 c IP: 172.20.3.151
23.61/10.06 c HOST: node151.alineos.net
23.61/10.07 c (0,0) SatSolver.solve Begin
23.61/10.07 c (0,0) 0 bool, 0 clause
23.61/10.07 c (0,0) minisat_release HOME/instance-4305521-1534075032.xml-scop-7567.cnf
24.90/11.19 c (1,0) c This is COMiniSatPS.
24.90/11.19 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
24.90/11.19 c (1,0) c ============================[ Problem Statistics ]=============================
24.90/11.19 c (1,0) c | |
24.90/11.19 c (1,0) c | Number of variables: 41526 |
24.90/11.19 c (1,0) c | Number of clauses: 577715 |
24.90/11.19 c (1,0) c | Parse time: 0.16 s |
24.90/11.19 c (1,0) c | Eliminated clauses: 0.44 Mb |
24.90/11.19 c (1,0) c Reduced to 19458 vars, 514938 cls (grow=0)
24.90/11.19 c (1,0) c No iterative elimination performed. (vars=19458, c/v ratio=26.5)
24.90/11.19 c (1,0) c | Simplification time: 0.65 s |
24.90/11.19 c (1,0) c | |
24.90/11.19 c (1,0) c ============================[ Search Statistics ]==============================
24.90/11.19 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
24.90/11.19 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
24.90/11.19 c (1,0) c ===============================================================================
24.90/11.19 c (1,0) c ===============================================================================
24.90/11.19 c (1,0) c restarts : 17
24.90/11.19 c (1,0) c conflicts : 1811 (1695 /sec)
24.90/11.19 c (1,0) c decisions : 18709 (0.00 % random) (17505 /sec)
24.90/11.19 c (1,0) c propagations : 976466 (913652 /sec)
24.90/11.19 c (1,0) c conflict literals : 16482 (8.67 % deleted)
24.90/11.19 c (1,0) c CPU time : 1.06875 s
24.90/11.19 c (1,0)
24.90/11.19 c (1,0) s SATISFIABLE
25.07/11.25 c (1,0) SatSolver.solve End
25.07/11.25 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
25.07/11.25 c (1,0) Show results Begin
25.26/11.33 s SATISFIABLE
25.26/11.36 v <instantiation>
25.26/11.36 v <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[30][0] vr[30][1] vr[30][2] vr[30][3] vr[31][0] vr[31][1] vr[31][2] vr[31][3] vr[32][0] vr[32][1] vr[32][2] vr[32][3] vr[33][0] vr[33][1] vr[33][2] vr[33][3] vr[34][0] vr[34][1] vr[34][2] vr[34][3] vr[35][0] vr[35][1] vr[35][2] vr[35][3] vr[36][0] vr[36][1] vr[36][2] vr[36][3] vr[37][0] vr[37][1] vr[37][2] vr[37][3] vr[38][0] vr[38][1] vr[38][2] vr[38][3] vr[39][0] vr[39][1] vr[39][2] vr[39][3] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[30][0] ve[30][1] ve[30][2] ve[30][3] ve[31][0] ve[31][1] ve[31][2] ve[31][3] ve[32][0] ve[32][1] ve[32][2] ve[32][3] ve[33][0] ve[33][1] ve[33][2] ve[33][3] ve[34][0] ve[34][1] ve[34][2] ve[34][3] ve[35][0] ve[35][1] ve[35][2] ve[35][3] ve[36][0] ve[36][1] ve[36][2] ve[36][3] ve[37][0] ve[37][1] ve[37][2] ve[37][3] ve[38][0] ve[38][1] ve[38][2] ve[38][3] ve[39][0] ve[39][1] ve[39][2] ve[39][3] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[30][0] gvr[30][1] gvr[30][2] gvr[30][3] gvr[31][0] gvr[31][1] gvr[31][2] gvr[31][3] gvr[32][0] gvr[32][1] gvr[32][2] gvr[32][3] gvr[33][0] gvr[33][1] gvr[33][2] gvr[33][3] gvr[34][0] gvr[34][1] gvr[34][2] gvr[34][3] gvr[35][0] gvr[35][1] gvr[35][2] gvr[35][3] gvr[36][0] gvr[36][1] gvr[36][2] gvr[36][3] gvr[37][0] gvr[37][1] gvr[37][2] gvr[37][3] gvr[38][0] gvr[38][1] gvr[38][2] gvr[38][3] gvr[39][0] gvr[39][1] gvr[39][2] gvr[39][3] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[30][0] gve[30][1] gve[30][2] gve[30][3] gve[31][0] gve[31][1] gve[31][2] gve[31][3] gve[32][0] gve[32][1] gve[32][2] gve[32][3] gve[33][0] gve[33][1] gve[33][2] gve[33][3] gve[34][0] gve[34][1] gve[34][2] gve[34][3] gve[35][0] gve[35][1] gve[35][2] gve[35][3] gve[36][0] gve[36][1] gve[36][2] gve[36][3] gve[37][0] gve[37][1] gve[37][2] gve[37][3] gve[38][0] gve[38][1] gve[38][2] gve[38][3] gve[39][0] gve[39][1] gve[39][2] gve[39][3]</list>
25.26/11.36 v <values>0 18 29 37 1 39 19 21 2 16 26 33 3 31 14 22 4 20 36 12 5 15 34 25 6 11 32 27 7 23 17 38 8 24 10 35 9 13 30 28 10 34 22 1 11 33 23 8 12 38 28 9 13 37 25 6 14 3 24 31 15 26 7 30 16 32 5 20 17 0 33 29 18 6 39 26 19 36 27 2 20 14 1 32 21 10 31 7 22 30 3 11 23 5 16 34 24 35 12 4 25 19 37 3 26 8 35 14 27 4 18 39 28 2 13 36 29 7 38 16 30 1 21 10 31 17 6 24 32 12 20 5 33 9 11 23 34 22 15 0 35 21 0 13 36 25 2 15 37 27 4 17 38 28 8 18 39 29 9 19 0 17 35 34 1 30 20 10 2 28 36 19 3 14 22 25 4 27 37 24 5 23 16 32 6 18 31 13 7 29 15 21 8 26 38 11 9 33 39 12 10 21 8 30 11 6 33 22 12 32 24 4 13 9 28 35 14 20 3 26 15 5 34 36 16 2 23 29 17 31 7 37 18 0 27 38 19 25 1 39 20 4 32 16 21 35 30 1 22 34 10 3 23 7 11 33 24 8 14 31 25 36 13 5 26 15 2 18 27 37 19 6 28 38 12 9 29 39 0 17 30 22 9 15 31 3 21 14 32 16 6 20 33 11 17 2 34 10 5 23 35 24 26 8 36 19 4 28 37 13 25 0 38 12 29 7 39 1 18 27 0 1 2 3 0 3 1 2 0 1 2 3 0 3 1 2 0 2 3 1 0 1 3 2 0 1 3 2 0 2 1 3 0 2 1 3 0 1 3 2 1 3 2 0 1 3 2 0 1 3 2 0 1 3 2 0 1 0 2 3 1 2 0 3 1 3 0 2 1 0 3 2 1 0 3 2 1 3 2 0 2 1 0 3 2 1 3 0 2 3 0 1 2 0 1 3 2 3 1 0 2 1 3 0 2 0 3 1 2 0 1 3 2 0 1 3 2 0 3 1 3 0 2 1 3 1 0 2 3 1 2 0 3 0 1 2 3 2 1 0 3 2 0 1 3 2 0 1 3 2 0 1 3 2 0 1 3 2 0 1 0 2 4 3 0 3 2 1 0 3 4 2 0 1 2 3 0 3 4 2 0 2 1 3 0 2 3 1 0 3 1 2 0 3 4 1 0 3 4 1 1 2 0 3 1 0 3 2 1 3 2 0 1 0 3 4 1 2 0 3 1 0 3 4 1 0 2 3 2 3 0 4 2 0 3 4 2 3 0 4 2 0 3 1 2 4 3 0 2 3 1 0 2 0 1 3 2 0 1 3 3 4 1 0 3 1 0 2 3 4 2 0 3 4 1 0 3 4 0 2 3 2 0 1 3 0 2 1 3 1 0 2 3 1 2 0 3 1 0 2 4 2 3 0 4 2 0 3 4 1 3 0 4 1 3 0 4 0 2 3</values>
25.26/11.36 v </instantiation>
25.26/11.36 c (1,0) Show results End
25.26/11.36 c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
25.26/11.36 c (1,0) 1,1,STOP-AFTER(ALL)
25.26/11.36 c END-Prog: Sun Aug 12 13:57:23 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 (3043 MiB free)
memory of node 1: 16384 MiB (5517 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305521-1534075032/watcher-4305521-1534075032 -o /tmp/evaluation-result-4305521-1534075032/solver-4305521-1534075032 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3793 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305521-1534075032.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7564, runsolver pid=7561
[startup+0.100117 s]*
/proc/loadavg: 2.03 2.07 2.06 3/222 7581
/proc/meminfo: memFree=8707340/32770624 swapFree=67108860/67108860
[pid=7564] ppid=7561 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7564/stat : 7564 (scop.sh) S 7561 7564 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225066397 115843072 349 33554432000 4194304 5098028 140721841532688 140721841529944 140030574981756 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27680768 140721841538112 140721841538311 140721841538311 140721841541069 0
/proc/7564/statm: 28282 349 296 221 0 87 0
[pid=7567] ppid=7564 vsize=15012476 memory=72204 CPUtime=0.1 cores=0,2,4,6
/proc/7567/stat : 7567 (java) S 7564 7564 3762 0 -1 1077944320 6166 0 0 0 9 1 0 0 20 0 15 0 225066397 15372775424 18051 33554432000 4194304 4196468 140729849323520 140729849306064 139664295071479 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
/proc/7567/statm: 3753119 18051 2769 1 0 3715579 0
[pid=7567/tid=7568] ppid=7564 vsize=15012476 memory=-6526411401870300574 CPUtime=0.08 cores=0,2,4,6
/proc/7567/task/7568/stat : 7568 (java) R 7564 7564 3762 0 -1 4202560 4249 0 0 0 7 1 0 0 20 0 15 0 225066397 15372775424 18051 33554432000 4194304 4196468 140729849323520 139664266883464 139664295092826 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7569] ppid=7564 vsize=15012476 memory=3472468824022853296 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7569/stat : 7569 (java) S 7564 7564 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225066399 15372775424 18051 33554432000 4194304 4196468 140729849323520 139664299313424 139664295081685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7570] ppid=7564 vsize=15012476 memory=140527795172992 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7570/stat : 7570 (java) S 7564 7564 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225066399 15372775424 18051 33554432000 4194304 4196468 140729849323520 139664090397072 139664295081685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7571] ppid=7564 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7571/stat : 7571 (java) S 7564 7564 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225066399 15372775424 18051 33554432000 4194304 4196468 140729849323520 139664089344528 139664295081685 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7572] ppid=7564 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7572/stat : 7572 (java) S 7564 7564 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225066399 15372775424 18051 33554432000 4194304 4196468 140729849323520 139664088291984 139664295081685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7573] ppid=7564 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7573/stat : 7573 (java) S 7564 7564 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225066400 15372775424 18051 33554432000 4194304 4196468 140729849323520 139663265184240 139664295082626 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7574] ppid=7564 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7574/stat : 7574 (java) S 7564 7564 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225066401 15372775424 18051 33554432000 4194304 4196468 140729849323520 139662874109344 139664295081685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7575] ppid=7564 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7575/stat : 7575 (java) S 7564 7564 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225066401 15372775424 18051 33554432000 4194304 4196468 140729849323520 139662605673968 139664295081685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7576] ppid=7564 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7576/stat : 7576 (java) S 7564 7564 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225066403 15372775424 18051 33554432000 4194304 4196468 140729849323520 139662231165648 139664295090075 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7577] ppid=7564 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7577/stat : 7577 (java) S 7564 7564 3762 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 225066403 15372775424 18051 33554432000 4194304 4196468 140729849323520 139663264131056 139664295082626 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7578] ppid=7564 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7578/stat : 7578 (java) S 7564 7564 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225066403 15372775424 18051 33554432000 4194304 4196468 140729849323520 139663263078512 139664295082626 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7579] ppid=7564 vsize=15012476 memory=140527795172992 CPUtime=0.01 cores=0,2,4,6
/proc/7567/task/7579/stat : 7579 (java) S 7564 7564 3762 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 15 0 225066403 15372775424 18051 33554432000 4194304 4196468 140729849323520 139663262025968 139664295082626 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7580] ppid=7564 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7580/stat : 7580 (java) S 7564 7564 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225066404 15372775424 18051 33554432000 4194304 4196468 140729849323520 139661733259872 139664295081685 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7581] ppid=7564 vsize=15012476 memory=140527795172992 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7581/stat : 7581 (java) S 7564 7564 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225066404 15372775424 18051 33554432000 4194304 4196468 140729849323520 139663260973872 139664295082626 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73600 KiB
[startup+0.210556 s]*
/proc/loadavg: 2.03 2.07 2.06 4/222 7581
/proc/meminfo: memFree=8693084/32770624 swapFree=67108860/67108860
[pid=7564] ppid=7561 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7564/stat : 7564 (scop.sh) S 7561 7564 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225066397 115843072 349 33554432000 4194304 5098028 140721841532688 140721841529944 140030574981756 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27680768 140721841538112 140721841538311 140721841538311 140721841541069 0
/proc/7564/statm: 28282 349 296 221 0 87 0
[pid=7567] ppid=7564 vsize=15012476 memory=85748 CPUtime=0.25 cores=0,2,4,6
/proc/7567/stat : 7567 (java) S 7564 7564 3762 0 -1 1077944320 9755 0 0 0 23 2 0 0 20 0 15 0 225066397 15372775424 21437 33554432000 4194304 4196468 140729849323520 140729849306064 139664295071479 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
/proc/7567/statm: 3753119 21437 2921 1 0 3715579 0
[pid=7567/tid=7568] ppid=7564 vsize=15012476 memory=-8976644418600983157 CPUtime=0.2 cores=0,2,4,6
/proc/7567/task/7568/stat : 7568 (java) R 7564 7564 3762 0 -1 4202560 7653 0 0 0 18 2 0 0 20 0 15 0 225066397 15372775424 21437 33554432000 4194304 4196468 140729849323520 139664266897136 139663763409351 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7569] ppid=7564 vsize=15012476 memory=3472468824022853296 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7569/stat : 7569 (java) S 7564 7564 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225066399 15372775424 21437 33554432000 4194304 4196468 140729849323520 139664299313424 139664295081685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7570] ppid=7564 vsize=15012476 memory=140527795172992 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7570/stat : 7570 (java) S 7564 7564 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225066399 15372775424 21437 33554432000 4194304 4196468 140729849323520 139664090397072 139664295081685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7571] ppid=7564 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7571/stat : 7571 (java) S 7564 7564 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225066399 15372775424 21437 33554432000 4194304 4196468 140729849323520 139664089344528 139664295081685 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7572] ppid=7564 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7572/stat : 7572 (java) S 7564 7564 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225066399 15372775424 21437 33554432000 4194304 4196468 140729849323520 139664088291984 139664295081685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7573] ppid=7564 vsize=15012476 memory=140527795172992 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7573/stat : 7573 (java) S 7564 7564 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225066400 15372775424 21437 33554432000 4194304 4196468 140729849323520 139663265184240 139664295082626 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7574] ppid=7564 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7574/stat : 7574 (java) S 7564 7564 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225066401 15372775424 21437 33554432000 4194304 4196468 140729849323520 139662874109344 139664295081685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7575] ppid=7564 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7575/stat : 7575 (java) S 7564 7564 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225066401 15372775424 21437 33554432000 4194304 4196468 140729849323520 139662605673968 139664295081685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7576] ppid=7564 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7576/stat : 7576 (java) S 7564 7564 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225066403 15372775424 21437 33554432000 4194304 4196468 140729849323520 139662231165648 139664295090075 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7577] ppid=7564 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7577/stat : 7577 (java) S 7564 7564 3762 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 225066403 15372775424 21437 33554432000 4194304 4196468 140729849323520 139663264131056 139664295082626 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7578] ppid=7564 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7578/stat : 7578 (java) S 7564 7564 3762 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 225066403 15372775424 21437 33554432000 4194304 4196468 140729849323520 139663263078512 139664295082626 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7579] ppid=7564 vsize=15012476 memory=140527795172992 CPUtime=0.03 cores=0,2,4,6
/proc/7567/task/7579/stat : 7579 (java) R 7564 7564 3762 0 -1 4202560 298 0 0 0 3 0 0 0 20 0 15 0 225066403 15372775424 21437 33554432000 4194304 4196468 140729849323520 139663262025968 139664276299840 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7580] ppid=7564 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7580/stat : 7580 (java) S 7564 7564 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225066404 15372775424 21437 33554432000 4194304 4196468 140729849323520 139661733259872 139664295081685 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7581] ppid=7564 vsize=15012476 memory=140527795172992 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7581/stat : 7581 (java) S 7564 7564 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225066404 15372775424 21437 33554432000 4194304 4196468 140729849323520 139663260973872 139664295082626 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87144 KiB
[startup+0.310592 s]*
/proc/loadavg: 2.03 2.07 2.06 3/222 7581
/proc/meminfo: memFree=8689300/32770624 swapFree=67108860/67108860
[pid=7564] ppid=7561 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7564/stat : 7564 (scop.sh) S 7561 7564 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225066397 115843072 349 33554432000 4194304 5098028 140721841532688 140721841529944 140030574981756 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27680768 140721841538112 140721841538311 140721841538311 140721841541069 0
/proc/7564/statm: 28282 349 296 221 0 87 0
[pid=7567] ppid=7564 vsize=15012476 memory=89640 CPUtime=0.42 cores=0,2,4,6
/proc/7567/stat : 7567 (java) S 7564 7564 3762 0 -1 1077944320 10366 0 0 0 40 2 0 0 20 0 15 0 225066397 15372775424 22410 33554432000 4194304 4196468 140729849323520 140729849306064 139664295071479 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
/proc/7567/statm: 3753119 22410 2978 1 0 3715579 0
[pid=7567/tid=7568] ppid=7564 vsize=15012476 memory=-8976644418600983157 CPUtime=0.3 cores=0,2,4,6
/proc/7567/task/7568/stat : 7568 (java) R 7564 7564 3762 0 -1 4202560 8093 0 0 0 28 2 0 0 20 0 15 0 225066397 15372775424 22410 33554432000 4194304 4196468 140729849323520 139664266866480 139664295093405 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7569] ppid=7564 vsize=15012476 memory=3472468824022853296 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7569/stat : 7569 (java) S 7564 7564 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225066399 15372775424 22410 33554432000 4194304 4196468 140729849323520 139664299313424 139664295081685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7570] ppid=7564 vsize=15012476 memory=281055434226560 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7570/stat : 7570 (java) S 7564 7564 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225066399 15372775424 22410 33554432000 4194304 4196468 140729849323520 139664090397072 139664295081685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7571] ppid=7564 vsize=15012476 memory=281055278139424 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7571/stat : 7571 (java) S 7564 7564 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225066399 15372775424 22410 33554432000 4194304 4196468 140729849323520 139664089344528 139664295081685 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7572] ppid=7564 vsize=15012476 memory=140527639053583 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7572/stat : 7572 (java) S 7564 7564 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225066399 15372775424 22410 33554432000 4194304 4196468 140729849323520 139664088291984 139664295081685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7573] ppid=7564 vsize=15012476 memory=281055434233472 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7573/stat : 7573 (java) S 7564 7564 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225066400 15372775424 22410 33554432000 4194304 4196468 140729849323520 139663265184240 139664295082626 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7574] ppid=7564 vsize=15012476 memory=140527639058191 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7574/stat : 7574 (java) S 7564 7564 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225066401 15372775424 22410 33554432000 4194304 4196468 140729849323520 139662874109344 139664295081685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7575] ppid=7564 vsize=15012476 memory=140527639067952 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7575/stat : 7575 (java) S 7564 7564 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225066401 15372775424 22410 33554432000 4194304 4196468 140729849323520 139662605673968 139664295081685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7576] ppid=7564 vsize=15012476 memory=281055278148640 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7576/stat : 7576 (java) S 7564 7564 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225066403 15372775424 22410 33554432000 4194304 4196468 140729849323520 139662231165648 139664295090075 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7577] ppid=7564 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7567/task/7577/stat : 7577 (java) R 7564 7564 3762 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 15 0 225066403 15372775424 22410 33554432000 4194304 4196468 140729849323520 139663264131056 139664295082626 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7578] ppid=7564 vsize=15012476 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/7567/task/7578/stat : 7578 (java) R 7564 7564 3762 0 -1 4202560 159 0 0 0 1 0 0 0 20 0 15 0 225066403 15372775424 22410 33554432000 4194304 4196468 140729849323520 139663263078512 139664275771776 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7579] ppid=7564 vsize=15012476 memory=140527795172992 CPUtime=0.07 cores=0,2,4,6
/proc/7567/task/7579/stat : 7579 (java) R 7564 7564 3762 0 -1 4202560 340 0 0 0 7 0 0 0 20 0 15 0 225066403 15372775424 22410 33554432000 4194304 4196468 140729849323520 139663262025968 139664279151966 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7580] ppid=7564 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7580/stat : 7580 (java) S 7564 7564 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225066404 15372775424 22410 33554432000 4194304 4196468 140729849323520 139661733259872 139664295081685 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7581] ppid=7564 vsize=15012476 memory=140527795174388 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7581/stat : 7581 (java) S 7564 7564 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225066404 15372775424 22410 33554432000 4194304 4196468 140729849323520 139663260973872 139664295082626 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91036 KiB
[startup+0.700822 s]
/proc/loadavg: 2.03 2.07 2.06 3/222 7581
/proc/meminfo: memFree=8665116/32770624 swapFree=67108860/67108860
[pid=7564] ppid=7561 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7564/stat : 7564 (scop.sh) S 7561 7564 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225066397 115843072 349 33554432000 4194304 5098028 140721841532688 140721841529944 140030574981756 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27680768 140721841538112 140721841538311 140721841538311 140721841541069 0
/proc/7564/statm: 28282 349 296 221 0 87 0
[pid=7567] ppid=7564 vsize=15020872 memory=129768 CPUtime=1.02 cores=0,2,4,6
/proc/7567/stat : 7567 (java) S 7564 7564 3762 0 -1 1077944320 17545 0 0 0 97 5 0 0 20 0 15 0 225066397 15381372928 32442 33554432000 4194304 4196468 140729849323520 140729849306064 139664295071479 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
/proc/7567/statm: 3755218 32442 3141 1 0 3716603 0
[pid=7567/tid=7568] ppid=7564 vsize=15020872 memory=54 CPUtime=0.66 cores=0,2,4,6
/proc/7567/task/7568/stat : 7568 (java) R 7564 7564 3762 0 -1 4202560 14742 0 0 0 62 4 0 0 20 0 15 0 225066397 15381372928 32442 33554432000 4194304 4196468 140729849323520 139664266907568 139664295083414 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7569] ppid=7564 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7569/stat : 7569 (java) S 7564 7564 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225066399 15381372928 32442 33554432000 4194304 4196468 140729849323520 139664299313424 139664295081685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7570] ppid=7564 vsize=15020872 memory=8751464017575360309 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7570/stat : 7570 (java) S 7564 7564 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225066399 15381372928 32442 33554432000 4194304 4196468 140729849323520 139664090397072 139664295081685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7571] ppid=7564 vsize=15020872 memory=5788902676991533888 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7571/stat : 7571 (java) S 7564 7564 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225066399 15381372928 32442 33554432000 4194304 4196468 140729849323520 139664089344528 139664295081685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7572] ppid=7564 vsize=15020872 memory=6440526044186890340 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7572/stat : 7572 (java) S 7564 7564 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225066399 15381372928 32442 33554432000 4194304 4196468 140729849323520 139664088291984 139664295081685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7573] ppid=7564 vsize=15020872 memory=170926128 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7573/stat : 7573 (java) S 7564 7564 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225066400 15381372928 32442 33554432000 4194304 4196468 140729849323520 139663265184240 139664295082626 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7574] ppid=7564 vsize=15020872 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7574/stat : 7574 (java) S 7564 7564 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225066401 15381372928 32442 33554432000 4194304 4196468 140729849323520 139662874109344 139664295081685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7575] ppid=7564 vsize=15020872 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7575/stat : 7575 (java) S 7564 7564 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225066401 15381372928 32442 33554432000 4194304 4196468 140729849323520 139662605673968 139664295081685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7576] ppid=7564 vsize=15020872 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7576/stat : 7576 (java) S 7564 7564 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225066403 15381372928 32442 33554432000 4194304 4196468 140729849323520 139662231165648 139664295090075 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7577] ppid=7564 vsize=15020872 memory=4536 CPUtime=0.09 cores=0,2,4,6
/proc/7567/task/7577/stat : 7577 (java) S 7564 7564 3762 0 -1 1077944384 676 0 0 0 9 0 0 0 20 0 15 0 225066403 15381372928 32442 33554432000 4194304 4196468 140729849323520 139663264131056 139664295082626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7578] ppid=7564 vsize=15020872 memory=8448 CPUtime=0.06 cores=0,2,4,6
/proc/7567/task/7578/stat : 7578 (java) S 7564 7564 3762 0 -1 1077944384 267 0 0 0 6 0 0 0 20 0 15 0 225066403 15381372928 32442 33554432000 4194304 4196468 140729849323520 139663263078512 139664295082626 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7579] ppid=7564 vsize=15020872 memory=1628 CPUtime=0.18 cores=0,2,4,6
/proc/7567/task/7579/stat : 7579 (java) R 7564 7564 3762 0 -1 4202560 526 0 0 0 18 0 0 0 20 0 15 0 225066403 15381372928 32442 33554432000 4194304 4196468 140729849323520 139663262025968 139664280440576 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7580] ppid=7564 vsize=15020872 memory=1144 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7580/stat : 7580 (java) S 7564 7564 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225066404 15381372928 32442 33554432000 4194304 4196468 140729849323520 139661733259872 139664295081685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
[pid=7567/tid=7581] ppid=7564 vsize=15020872 memory=15244 CPUtime=0 cores=0,2,4,6
/proc/7567/task/7581/stat : 7581 (java) S 7564 7564 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225066404 15381372928 32442 33554432000 4194304 4196468 140729849323520 139663260973872 139664295082626 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31330304 140729849328647 140729849328945 140729849328945 140729849331663 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131164 KiB
[startup+1.50085 s]
/proc/loadavg: 2.03 2.07 2.06 6/222 7581
/proc/meminfo: memFree=8621280/32770624 swapFree=67108860/67108860
[pid=7564] ppid=7561 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7564/stat : 7564 (scop.sh) S 7561 7564 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225066397 115843072 349 33554432000 4194304 5098028 140721841532688 140721841529944 140030574981756 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27680768 140721841538112 140721841538311 140721841538311 140721841541069 0
/proc/7564/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/7582/task/7585/stat : 7585 (java) S 7564 7564 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225067317 8261857280 29108 33554432000 4194304 4196468 140732559493264 140453914376464 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7586] ppid=7564 vsize=8068220 memory=2196 CPUtime=0 cores=0,2,4,6
/proc/7582/task/7586/stat : 7586 (java) S 7564 7564 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225067317 8261857280 29108 33554432000 4194304 4196468 140732559493264 140453913324176 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7587] ppid=7564 vsize=8068220 memory=1776 CPUtime=0 cores=0,2,4,6
/proc/7582/task/7587/stat : 7587 (java) S 7564 7564 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225067317 8261857280 29108 33554432000 4194304 4196468 140732559493264 140453912271376 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7588] ppid=7564 vsize=8068220 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/7582/task/7588/stat : 7588 (java) S 7564 7564 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225067318 8261857280 29108 33554432000 4194304 4196468 140732559493264 140453556456048 140454109977218 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7589] ppid=7564 vsize=8068220 memory=11764 CPUtime=0 cores=0,2,4,6
/proc/7582/task/7589/stat : 7589 (java) S 7564 7564 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225067319 8261857280 29108 33554432000 4194304 4196468 140732559493264 140452946765088 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7590] ppid=7564 vsize=8068220 memory=5712 CPUtime=0 cores=0,2,4,6
/proc/7582/task/7590/stat : 7590 (java) S 7564 7564 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225067319 8261857280 29108 33554432000 4194304 4196468 140732559493264 140452812543600 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7591] ppid=7564 vsize=8068220 memory=792 CPUtime=0 cores=0,2,4,6
/proc/7582/task/7591/stat : 7591 (java) S 7564 7564 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225067321 8261857280 29108 33554432000 4194304 4196468 140732559493264 140452438039120 140454109984667 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7592] ppid=7564 vsize=8068220 memory=1224 CPUtime=0.15 cores=0,2,4,6
/proc/7582/task/7592/stat : 7592 (java) S 7564 7564 3762 0 -1 1077944384 1023 0 0 0 15 0 0 0 20 0 19 0 225067321 8261857280 29108 33554432000 4194304 4196468 140732559493264 140453555402864 140454109977218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7593] ppid=7564 vsize=8068220 memory=1944 CPUtime=0.11 cores=0,2,4,6
/proc/7582/task/7593/stat : 7593 (java) S 7564 7564 3762 0 -1 1077944384 263 0 0 0 11 0 0 0 20 0 19 0 225067321 8261857280 29108 33554432000 4194304 4196468 140732559493264 140453554350064 140454109977218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7594] ppid=7564 vsize=8068220 memory=1384 CPUtime=0.23 cores=0,2,4,6
/proc/7582/task/7594/stat : 7594 (java) S 7564 7564 3762 0 -1 1077944384 667 0 0 0 23 0 0 0 20 0 19 0 225067321 8261857280 29108 33554432000 4194304 4196468 140732559493264 140453553297776 140454109977218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7595] ppid=7564 vsize=8068220 memory=4536 CPUtime=0 cores=0,2,4,6
/proc/7582/task/7595/stat : 7595 (java) S 7564 7564 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225067321 8261857280 29108 33554432000 4194304 4196468 140732559493264 140451940133344 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7596] ppid=7564 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7582/task/7596/stat : 7596 (java) S 7564 7564 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225067322 8261857280 29108 33554432000 4194304 4196468 140732559493264 140453552245680 140454109977218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
Current children cumulated CPU time: 23.9 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 117904 KiB
[startup+10.8008 s]
/proc/loadavg: 2.26 2.12 2.07 5/222 7596
/proc/meminfo: memFree=8669556/32770624 swapFree=67108860/67108860
[pid=7564] ppid=7561 vsize=113128 memory=1472 CPUtime=22.59 cores=0,2,4,6
/proc/7564/stat : 7564 (scop.sh) S 7561 7564 3762 0 -1 4202496 590 39916 0 0 0 0 2185 74 20 0 1 0 225066397 115843072 368 33554432000 4194304 5098028 140721841532688 140721841529432 140030574981756 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27680768 140721841538112 140721841538311 140721841538311 140721841541069 0
/proc/7564/statm: 28282 368 311 221 0 87 0
[pid=7582] ppid=7564 vsize=8068220 memory=116432 CPUtime=1.31 cores=0,2,4,6
/proc/7582/stat : 7582 (java) S 7564 7564 3762 0 -1 1077944320 18390 0 0 0 123 8 0 0 20 0 19 0 225067315 8261857280 29108 33554432000 4194304 4196468 140732559493264 140732559475808 140454109966071 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
/proc/7582/statm: 2017055 29108 3143 1 0 1978454 0
[pid=7582/tid=7583] ppid=7564 vsize=8068220 memory=20057 CPUtime=0.78 cores=0,2,4,6
/proc/7582/task/7583/stat : 7583 (java) S 7564 7564 3762 0 -1 1077944384 15008 0 0 0 72 6 0 0 20 0 19 0 225067316 8261857280 29108 33554432000 4194304 4196468 140732559493264 140454081806224 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7584] ppid=7564 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7582/task/7584/stat : 7584 (java) S 7564 7564 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225067317 8261857280 29108 33554432000 4194304 4196468 140732559493264 140454114208144 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7585] ppid=7564 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7582/task/7585/stat : 7585 (java) S 7564 7564 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225067317 8261857280 29108 33554432000 4194304 4196468 140732559493264 140453914376464 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7586] ppid=7564 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7582/task/7586/stat : 7586 (java) S 7564 7564 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225067317 8261857280 29108 33554432000 4194304 4196468 140732559493264 140453913324176 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7587] ppid=7564 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7582/task/7587/stat : 7587 (java) S 7564 7564 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225067317 8261857280 29108 33554432000 4194304 4196468 140732559493264 140453912271376 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7588] ppid=7564 vsize=8068220 memory=-3535470213243961690 CPUtime=0 cores=0,2,4,6
/proc/7582/task/7588/stat : 7588 (java) S 7564 7564 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225067318 8261857280 29108 33554432000 4194304 4196468 140732559493264 140453556456048 140454109977218 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7589] ppid=7564 vsize=8068220 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/7582/task/7589/stat : 7589 (java) S 7564 7564 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225067319 8261857280 29108 33554432000 4194304 4196468 140732559493264 140452946765088 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7590] ppid=7564 vsize=8068220 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/7582/task/7590/stat : 7590 (java) S 7564 7564 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225067319 8261857280 29108 33554432000 4194304 4196468 140732559493264 140452812543600 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7591] ppid=7564 vsize=8068220 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/7582/task/7591/stat : 7591 (java) S 7564 7564 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225067321 8261857280 29108 33554432000 4194304 4196468 140732559493264 140452438039120 140454109984667 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7592] ppid=7564 vsize=8068220 memory=7896318971486248851 CPUtime=0.15 cores=0,2,4,6
/proc/7582/task/7592/stat : 7592 (java) S 7564 7564 3762 0 -1 1077944384 1023 0 0 0 15 0 0 0 20 0 19 0 225067321 8261857280 29108 33554432000 4194304 4196468 140732559493264 140453555402864 140454109977218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7593] ppid=7564 vsize=8068220 memory=4495525236634183778 CPUtime=0.11 cores=0,2,4,6
/proc/7582/task/7593/stat : 7593 (java) S 7564 7564 3762 0 -1 1077944384 263 0 0 0 11 0 0 0 20 0 19 0 225067321 8261857280 29108 33554432000 4194304 4196468 140732559493264 140453554350064 140454109977218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7594] ppid=7564 vsize=8068220 memory=6944656591801720471 CPUtime=0.23 cores=0,2,4,6
/proc/7582/task/7594/stat : 7594 (java) S 7564 7564 3762 0 -1 1077944384 667 0 0 0 23 0 0 0 20 0 19 0 225067321 8261857280 29108 33554432000 4194304 4196468 140732559493264 140453553297776 140454109977218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7595] ppid=7564 vsize=8068220 memory=4638778415512636752 CPUtime=0 cores=0,2,4,6
/proc/7582/task/7595/stat : 7595 (java) S 7564 7564 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225067321 8261857280 29108 33554432000 4194304 4196468 140732559493264 140451940133344 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7596] ppid=7564 vsize=8068220 memory=8029470009072117330 CPUtime=0 cores=0,2,4,6
/proc/7582/task/7596/stat : 7596 (java) S 7564 7564 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225067322 8261857280 29108 33554432000 4194304 4196468 140732559493264 140453552245680 140454109977218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
Current children cumulated CPU time: 23.9 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 117904 KiB
[startup+11.2183 s]
/proc/loadavg: 2.26 2.12 2.07 3/227 7602
/proc/meminfo: memFree=8593900/32770624 swapFree=67108860/67108860
[pid=7564] ppid=7561 vsize=113128 memory=1472 CPUtime=22.59 cores=0,2,4,6
/proc/7564/stat : 7564 (scop.sh) S 7561 7564 3762 0 -1 4202496 590 39916 0 0 0 0 2185 74 20 0 1 0 225066397 115843072 368 33554432000 4194304 5098028 140721841532688 140721841529432 140030574981756 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27680768 140721841538112 140721841538311 140721841538311 140721841541069 0
/proc/7564/statm: 28282 368 311 221 0 87 0
[pid=7582] ppid=7564 vsize=8068220 memory=120680 CPUtime=2.48 cores=0,2,4,6
/proc/7582/stat : 7582 (java) S 7564 7564 3762 0 -1 1077944320 18484 16898 0 0 130 8 107 3 20 0 18 0 225067315 8261857280 30170 33554432000 4194304 4196468 140732559493264 140732559475808 140454109966071 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
/proc/7582/statm: 2017055 30170 3143 1 0 1978454 0
[pid=7582/tid=7583] ppid=7564 vsize=8068220 memory=18232 CPUtime=1.88 cores=0,2,4,6
/proc/7582/task/7583/stat : 7583 (java) S 7564 7564 3762 0 -1 1077944384 15008 16898 0 0 72 6 107 3 20 0 18 0 225067316 8261857280 30170 33554432000 4194304 4196468 140732559493264 140454081806224 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7584] ppid=7564 vsize=8068220 memory=1004 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7584/stat : 7584 (java) S 7564 7564 3762 0 -1 1077944384 1 16898 0 0 0 0 107 3 20 0 18 0 225067317 8261857280 30170 33554432000 4194304 4196468 140732559493264 140454114208144 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7585] ppid=7564 vsize=8068220 memory=11764 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7585/stat : 7585 (java) S 7564 7564 3762 0 -1 1077944384 1 16898 0 0 0 0 107 3 20 0 18 0 225067317 8261857280 30170 33554432000 4194304 4196468 140732559493264 140453914376464 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7586] ppid=7564 vsize=8068220 memory=5712 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7586/stat : 7586 (java) S 7564 7564 3762 0 -1 1077944384 1 16898 0 0 0 0 107 3 20 0 18 0 225067317 8261857280 30170 33554432000 4194304 4196468 140732559493264 140453913324176 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7587] ppid=7564 vsize=8068220 memory=1396 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7587/stat : 7587 (java) S 7564 7564 3762 0 -1 1077944384 2 16898 0 0 0 0 107 3 20 0 18 0 225067317 8261857280 30170 33554432000 4194304 4196468 140732559493264 140453912271376 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7588] ppid=7564 vsize=8068220 memory=3092768 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7588/stat : 7588 (java) S 7564 7564 3762 0 -1 1077944384 5 16898 0 0 0 0 107 3 20 0 18 0 225067318 8261857280 30170 33554432000 4194304 4196468 140732559493264 140453556456048 140454109977218 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7589] ppid=7564 vsize=8068220 memory=6944656575208382560 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7589/stat : 7589 (java) S 7564 7564 3762 0 -1 1077944384 13 16898 0 0 0 0 107 3 20 0 18 0 225067319 8261857280 30170 33554432000 4194304 4196468 140732559493264 140452946765088 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7590] ppid=7564 vsize=8068220 memory=640 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7590/stat : 7590 (java) S 7564 7564 3762 0 -1 1077944384 21 16898 0 0 0 0 107 3 20 0 18 0 225067319 8261857280 30170 33554432000 4194304 4196468 140732559493264 140452812543600 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7591] ppid=7564 vsize=8068220 memory=1764 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7591/stat : 7591 (java) S 7564 7564 3762 0 -1 1077944384 3 16898 0 0 0 0 107 3 20 0 18 0 225067321 8261857280 30170 33554432000 4194304 4196468 140732559493264 140452438039120 140454109984667 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7592] ppid=7564 vsize=8068220 memory=1236 CPUtime=1.28 cores=0,2,4,6
/proc/7582/task/7592/stat : 7592 (java) R 7564 7564 3762 0 -1 4202560 1030 16898 0 0 18 0 107 3 20 0 18 0 225067321 8261857280 30170 33554432000 4194304 4196468 140732559493264 140453555403160 140454095090112 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7593] ppid=7564 vsize=8068220 memory=960 CPUtime=1.22 cores=0,2,4,6
/proc/7582/task/7593/stat : 7593 (java) R 7564 7564 3762 0 -1 4202560 269 16898 0 0 12 0 107 3 20 0 18 0 225067321 8261857280 30170 33554432000 4194304 4196468 140732559493264 140453554350064 140454091483959 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7594] ppid=7564 vsize=8068220 memory=2452 CPUtime=1.34 cores=0,2,4,6
/proc/7582/task/7594/stat : 7594 (java) S 7564 7564 3762 0 -1 1077944384 707 16898 0 0 24 0 107 3 20 0 18 0 225067321 8261857280 30170 33554432000 4194304 4196468 140732559493264 140453553297776 140454109977218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7595] ppid=7564 vsize=8068220 memory=928 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7595/stat : 7595 (java) S 7564 7564 3762 0 -1 1077944384 3 16898 0 0 0 0 107 3 20 0 18 0 225067321 8261857280 30170 33554432000 4194304 4196468 140732559493264 140451940133344 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7596] ppid=7564 vsize=8068220 memory=1472 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7596/stat : 7596 (java) S 7564 7564 3762 0 -1 1077944384 3 16898 0 0 0 0 107 3 20 0 18 0 225067322 8261857280 30170 33554432000 4194304 4196468 140732559493264 140453552245680 140454109977218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7598] ppid=7564 vsize=8068220 memory=1572 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7598/stat : 7598 (java) S 7564 7564 3762 0 -1 1077944384 24 16898 0 0 0 0 107 3 20 0 18 0 225067406 8261857280 30170 33554432000 4194304 4196468 140732559493264 140453477212816 140454109977218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7600] ppid=7564 vsize=8068220 memory=2244 CPUtime=1.12 cores=0,2,4,6
/proc/7582/task/7600/stat : 7600 (java) R 7564 7564 3762 0 -1 4202560 62 16898 0 0 2 0 107 3 20 0 18 0 225067406 8261857280 30170 33554432000 4194304 4196468 140732559493264 140451403251760 140454102207461 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7602] ppid=7564 vsize=8068220 memory=2092 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7602/stat : 7602 (java) S 7564 7564 3762 0 -1 1077944384 3 16898 0 0 0 0 107 3 20 0 18 0 225067409 8261857280 30170 33554432000 4194304 4196468 140732559493264 140451134823088 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
Current children cumulated CPU time: 25.07 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 122152 KiB
[startup+11.3015 s]
/proc/loadavg: 2.26 2.12 2.07 3/227 7602
/proc/meminfo: memFree=8593900/32770624 swapFree=67108860/67108860
[pid=7564] ppid=7561 vsize=113128 memory=1472 CPUtime=22.59 cores=0,2,4,6
/proc/7564/stat : 7564 (scop.sh) S 7561 7564 3762 0 -1 4202496 590 39916 0 0 0 0 2185 74 20 0 1 0 225066397 115843072 368 33554432000 4194304 5098028 140721841532688 140721841529432 140030574981756 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27680768 140721841538112 140721841538311 140721841538311 140721841541069 0
/proc/7564/statm: 28282 368 311 221 0 87 0
[pid=7582] ppid=7564 vsize=7937144 memory=130300 CPUtime=2.67 cores=0,2,4,6
/proc/7582/stat : 7582 (java) S 7564 7564 3762 0 -1 1077944320 18763 16898 0 0 149 8 107 3 20 0 17 0 225067315 8127635456 32575 33554432000 4194304 4196468 140732559493264 140732559475808 140454109966071 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
/proc/7582/statm: 1984286 32575 3174 1 0 1945685 0
[pid=7582/tid=7583] ppid=7564 vsize=7937144 memory=57024 CPUtime=1.93 cores=0,2,4,6
/proc/7582/task/7583/stat : 7583 (java) R 7564 7564 3762 0 -1 4202560 15144 16898 0 0 77 6 107 3 20 0 17 0 225067316 8127635456 32575 33554432000 4194304 4196468 140732559493264 140454081804304 140453567625264 0 4 2 25189581 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7584] ppid=7564 vsize=7937144 memory=55 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7584/stat : 7584 (java) S 7564 7564 3762 0 -1 1077944384 1 16898 0 0 0 0 107 3 20 0 17 0 225067317 8127635456 32575 33554432000 4194304 4196468 140732559493264 140454114208144 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7585] ppid=7564 vsize=7937144 memory=281055278910208 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7585/stat : 7585 (java) S 7564 7564 3762 0 -1 1077944384 1 16898 0 0 0 0 107 3 20 0 17 0 225067317 8127635456 32575 33554432000 4194304 4196468 140732559493264 140453914376464 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7586] ppid=7564 vsize=7937144 memory=61116 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7586/stat : 7586 (java) S 7564 7564 3762 0 -1 1077944384 1 16898 0 0 0 0 107 3 20 0 17 0 225067317 8127635456 32575 33554432000 4194304 4196468 140732559493264 140453913324176 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7587] ppid=7564 vsize=7937144 memory=1240 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7587/stat : 7587 (java) S 7564 7564 3762 0 -1 1077944384 2 16898 0 0 0 0 107 3 20 0 17 0 225067317 8127635456 32575 33554432000 4194304 4196468 140732559493264 140453912271376 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7588] ppid=7564 vsize=7937144 memory=8448 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7588/stat : 7588 (java) S 7564 7564 3762 0 -1 1077944384 5 16898 0 0 0 0 107 3 20 0 17 0 225067318 8127635456 32575 33554432000 4194304 4196468 140732559493264 140453556456048 140454109977218 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7589] ppid=7564 vsize=7937144 memory=1628 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7589/stat : 7589 (java) S 7564 7564 3762 0 -1 1077944384 13 16898 0 0 0 0 107 3 20 0 17 0 225067319 8127635456 32575 33554432000 4194304 4196468 140732559493264 140452946765088 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7590] ppid=7564 vsize=7937144 memory=1472 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7590/stat : 7590 (java) S 7564 7564 3762 0 -1 1077944384 21 16898 0 0 0 0 107 3 20 0 17 0 225067319 8127635456 32575 33554432000 4194304 4196468 140732559493264 140452812543600 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7591] ppid=7564 vsize=7937144 memory=8448 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7591/stat : 7591 (java) S 7564 7564 3762 0 -1 1077944384 3 16898 0 0 0 0 107 3 20 0 17 0 225067321 8127635456 32575 33554432000 4194304 4196468 140732559493264 140452438039120 140454109984667 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7592] ppid=7564 vsize=7937144 memory=1628 CPUtime=1.31 cores=0,2,4,6
/proc/7582/task/7592/stat : 7592 (java) R 7564 7564 3762 0 -1 4202560 1058 16898 0 0 21 0 107 3 20 0 17 0 225067321 8127635456 32575 33554432000 4194304 4196468 140732559493264 140453555391216 140454109978006 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7593] ppid=7564 vsize=7937144 memory=1396 CPUtime=1.25 cores=0,2,4,6
/proc/7582/task/7593/stat : 7593 (java) R 7564 7564 3762 0 -1 1077944384 279 16898 0 0 15 0 107 3 20 0 17 0 225067321 8127635456 32575 33554432000 4194304 4196468 140732559493264 140453554339328 140454109976277 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7594] ppid=7564 vsize=7937144 memory=4536 CPUtime=1.38 cores=0,2,4,6
/proc/7582/task/7594/stat : 7594 (java) R 7564 7564 3762 0 -1 4202560 797 16898 0 0 28 0 107 3 20 0 17 0 225067321 8127635456 32575 33554432000 4194304 4196468 140732559493264 140453553295568 140454094046558 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7595] ppid=7564 vsize=7937144 memory=8448 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7595/stat : 7595 (java) S 7564 7564 3762 0 -1 1077944384 3 16898 0 0 0 0 107 3 20 0 17 0 225067321 8127635456 32575 33554432000 4194304 4196468 140732559493264 140451940133344 140454109976277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7596] ppid=7564 vsize=7937144 memory=1628 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7596/stat : 7596 (java) S 7564 7564 3762 0 -1 1077944384 3 16898 0 0 0 0 107 3 20 0 17 0 225067322 8127635456 32575 33554432000 4194304 4196468 140732559493264 140453552245680 140454109977218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7598] ppid=7564 vsize=7937144 memory=1144 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7598/stat : 7598 (java) S 7564 7564 3762 0 -1 1077944384 24 16898 0 0 0 0 107 3 20 0 17 0 225067406 8127635456 32575 33554432000 4194304 4196468 140732559493264 140453477212816 140454109977218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
[pid=7582/tid=7602] ppid=7564 vsize=7937144 memory=1224 CPUtime=1.1 cores=0,2,4,6
/proc/7582/task/7602/stat : 7602 (java) S 7564 7564 3762 0 -1 1077944384 7 16898 0 0 0 0 107 3 20 0 17 0 225067409 8127635456 32575 33554432000 4194304 4196468 140732559493264 140451134825136 140454109977218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34770944 140732559496374 140732559496497 140732559496497 140732559499215 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 131772 KiB
Child status: 0
Real time (s): 11.3743
CPU time (s): 25.4453
CPU user time (s): 24.5652
CPU system time (s): 0.88012
CPU usage (%): 223.71
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3095480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.5652
system time used= 0.88012
maximum resident set size= 3094368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76486
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7279
involuntary context switches= 87
# summary of solver processes directly reported to runsolver:
# pid: 7564
# total CPU time (s): 25.4453
# total CPU user time (s): 24.5652
# total CPU system time (s): 0.88012
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.101757 second user time and 0.15315 second system time
The end