0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-23447-serial-file.bin HOME/instance-4305757-1534075218.xml
0.55/0.51
0.67/0.52 scop both+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 14:00:19 CEST 2018
0.67/0.54 c PID: 23450
0.67/0.54 c IP: 172.20.3.103
0.67/0.54 c HOST: node103.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.35/1.19 c (0,0) Parsing End
2.70/1.20 c (0,0) CSP: 640 int (0 aux), 0 bool (0 aux), 417 ctr, max domain size 40
2.70/1.21 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.70/1.21 c (0,0) Constraint Name Generate Begin
2.70/1.22 c (0,0) Ctr:HOME/instance-4305757-1534075218.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
2.70/1.22 c (0,0) Constraint Name Generate End
2.70/1.22 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.70/1.22 c (0,0) CSP to CSPinCNF Begin
4.50/1.86 c (1,1) translated 42 (10%) constraints
4.50/1.89 c (1,1) translated 84 (20%) constraints
8.73/3.35 c (2,2) translated 126 (30%) constraints
9.03/3.45 c (2,2) translated 167 (40%) constraints
9.37/3.53 c (3,2) translated 209 (50%) constraints
9.68/3.60 c (3,3) translated 251 (60%) constraints
9.68/3.69 c (3,3) translated 292 (70%) constraints
9.99/3.78 c (3,3) translated 334 (80%) constraints
10.29/3.86 c (3,3) translated 376 (90%) constraints
10.61/3.93 c (3,3) translated 417 (100%) constraints
11.28/4.13 c (3,3) STATISTICS1:HOME/instance-4305757-1534075218.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.28/4.13 c (3,3) ==========================================
11.28/4.13 c (3,3) Both Encoding selects:
11.28/4.13 c (3,3) Order
11.28/4.13 c (3,3) ==========================================
11.57/4.27 c (3,3) translated 2562 (10%) constraints
11.91/4.37 c (3,3) translated 5124 (20%) constraints
12.54/4.53 c (4,3) translated 7686 (30%) constraints
13.51/4.81 c (4,4) translated 10248 (40%) constraints
13.99/5.04 c (4,4) translated 12810 (50%) constraints
14.24/5.24 c (4,4) translated 15372 (60%) constraints
14.78/5.46 c (4,4) translated 17934 (70%) constraints
15.04/5.61 c (5,5) translated 20496 (80%) constraints
15.34/5.70 c (5,5) translated 23058 (90%) constraints
15.34/5.78 c (5,5) translated 25620 (100%) constraints
15.34/5.78 c (5,5) CSP to CSPinCNF End
15.34/5.78 c (5,5) CSP: 640 int (0 aux), 14432 bool (14432 aux), 51220 ctr, max domain size 40
15.34/5.78 c (5,5) Heap : 1351 MiB used (max 10795 MiB), NonHeap : 36 MiB used (max 0 MiB)
15.34/5.78 c (5,5) CSPinCNF Propagation Begin
16.80/6.21 c (5,5) 151 values, 1343 unsatisfiable literals, and 973 valid clauses are removed
16.80/6.21 c (5,5) CSPinCNF Propagation End
16.80/6.22 c (5,5) CSP: 751 int (111 aux), 14321 bool (14321 aux), 50247 ctr, max domain size 40
16.80/6.22 c (5,5) Heap : 1520 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
16.80/6.22 c (5,5) Simplify CSPinCNF Begin
17.40/6.59 c (6,6) Simplify CSPinCNF End
17.58/6.60 c (6,6) CSP: 751 int (111 aux), 28037 bool (28037 aux), 63963 ctr, max domain size 40
17.58/6.60 c (6,6) Heap : 1689 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
17.58/6.60 c (6,6) Calculate Precise Domain Begin
17.58/6.60 c (6,6) 0 values are removed by re-calculation
17.58/6.60 c (6,6) Calculate Precise Domain End
17.58/6.61 c (6,6) CSP: 751 int (111 aux), 28037 bool (28037 aux), 63963 ctr, max domain size 40
17.58/6.61 c (6,6) Heap : 1689 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
17.58/6.61 c (6,6) CSPinCNF to SatSolver Begin
19.11/7.34 c (6,6) 6397 (10 %) CSP clauses are encoded (41526 SAT variables, 181992 SAT clauses)
19.74/7.86 c (7,7) 12793 (20 %) CSP clauses are encoded (41526 SAT variables, 351078 SAT clauses)
20.62/8.41 c (7,7) 19189 (30 %) CSP clauses are encoded (41526 SAT variables, 511171 SAT clauses)
20.62/8.46 c (7,7) 25586 (40 %) CSP clauses are encoded (41526 SAT variables, 520112 SAT clauses)
20.62/8.49 c (7,7) 31982 (50 %) CSP clauses are encoded (41526 SAT variables, 526508 SAT clauses)
20.72/8.52 c (7,7) 38378 (60 %) CSP clauses are encoded (41526 SAT variables, 532904 SAT clauses)
20.72/8.55 c (8,7) 44775 (70 %) CSP clauses are encoded (41526 SAT variables, 539301 SAT clauses)
20.72/8.58 c (8,7) 51171 (80 %) CSP clauses are encoded (41526 SAT variables, 545697 SAT clauses)
20.82/8.61 c (8,7) 57567 (90 %) CSP clauses are encoded (41526 SAT variables, 552093 SAT clauses)
20.99/8.70 c (8,8) 63963 (100 %) CSP clauses are encoded (41526 SAT variables, 578447 SAT clauses)
20.99/8.73 c (8,8) Launch Command will be: minisat_release
20.99/8.73 c (8,8) CSPinCNF to SatSolver End
20.99/8.73 c (8,8) Heap : 426 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.54/8.92 c (8,8) STATISTICS2:HOME/instance-4305757-1534075218.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,
21.54/8.92 c (8,8) 41526 bool, 578448 clause
21.54/8.92 c (8,8) Export Begin
21.75/9.05 c (8,8) Export to HOME/scop-23447-serial-file.bin
21.75/9.05 c (8,8) Export End
21.75/9.05 c (8,8) Export File Size: 0.13 MB
21.75/9.05 c (8,8) 0,0,5,5,6,6,8,STOP-AFTER(DIMACS)
21.75/9.05 c END-Prog: Sun Aug 12 14:00:27 CEST 2018
21.75/9.09 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23447-serial-file.bin
21.90/9.58 c (0,0) Read Serial File Begin
21.90/9.58 c (0,0) HOME/scop-23447-serial-file.bin
21.90/9.80 c (0,0) Read Serial File End
21.90/9.82
21.90/9.82 scop order+minisat_release (2018-07-31)
21.90/9.82 (Solving Process)
21.90/9.82
21.90/9.84 c BEGIN-Prog: Sun Aug 12 14:00:28 CEST 2018
21.90/9.84 c PID: 23465
21.90/9.84 c IP: 172.20.3.103
21.90/9.84 c HOST: node103.alineos.net
21.90/9.84 c (0,0) SatSolver.solve Begin
21.90/9.84 c (0,0) 0 bool, 0 clause
21.90/9.84 c (0,0) minisat_release HOME/instance-4305757-1534075218.xml-scop-23450.cnf
24.28/10.97 c (1,0) c This is COMiniSatPS.
24.28/10.97 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
24.28/10.97 c (1,0) c ============================[ Problem Statistics ]=============================
24.28/10.97 c (1,0) c | |
24.28/10.97 c (1,0) c | Number of variables: 41526 |
24.28/10.97 c (1,0) c | Number of clauses: 577715 |
24.28/10.97 c (1,0) c | Parse time: 0.17 s |
24.28/10.97 c (1,0) c | Eliminated clauses: 0.44 Mb |
24.28/10.97 c (1,0) c Reduced to 19458 vars, 514938 cls (grow=0)
24.28/10.97 c (1,0) c No iterative elimination performed. (vars=19458, c/v ratio=26.5)
24.28/10.97 c (1,0) c | Simplification time: 0.65 s |
24.28/10.97 c (1,0) c | |
24.28/10.97 c (1,0) c ============================[ Search Statistics ]==============================
24.28/10.97 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
24.28/10.97 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
24.28/10.97 c (1,0) c ===============================================================================
24.28/10.97 c (1,0) c ===============================================================================
24.28/10.97 c (1,0) c restarts : 17
24.28/10.97 c (1,0) c conflicts : 1811 (1682 /sec)
24.28/10.97 c (1,0) c decisions : 18709 (0.00 % random) (17376 /sec)
24.28/10.97 c (1,0) c propagations : 976466 (906890 /sec)
24.28/10.97 c (1,0) c conflict literals : 16482 (8.67 % deleted)
24.28/10.97 c (1,0) c CPU time : 1.07672 s
24.28/10.97 c (1,0)
24.28/10.97 c (1,0) s SATISFIABLE
24.47/11.03 c (1,0) SatSolver.solve End
24.47/11.03 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
24.47/11.03 c (1,0) Show results Begin
24.70/11.12 s SATISFIABLE
24.70/11.15 v <instantiation>
24.70/11.15 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>
24.70/11.15 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>
24.70/11.15 v </instantiation>
24.70/11.15 c (1,0) Show results End
24.70/11.15 c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
24.70/11.15 c (1,0) 1,1,STOP-AFTER(ALL)
24.70/11.15 c END-Prog: Sun Aug 12 14:00:29 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 (8033 MiB free)
memory of node 1: 16384 MiB (8595 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305757-1534075218/watcher-4305757-1534075218 -o /tmp/evaluation-result-4305757-1534075218/solver-4305757-1534075218 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20637 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305757-1534075218.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=23447, runsolver pid=23444
[startup+0.100164 s]*
/proc/loadavg: 2.05 2.12 2.09 3/224 23464
/proc/meminfo: memFree=16967448/32770624 swapFree=67058744/67108860
[pid=23447] ppid=23444 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23447/stat : 23447 (scop.sh) S 23444 23447 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225084996 115843072 349 33554432000 4194304 5098028 140733309962112 140733309959368 139752079397500 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21651456 140733309965377 140733309965575 140733309965575 140733309968333 0
/proc/23447/statm: 28282 349 296 221 0 87 0
[pid=23450] ppid=23447 vsize=15012476 memory=72208 CPUtime=0.11 cores=0,2,4,6
/proc/23450/stat : 23450 (java) S 23447 23447 20606 0 -1 1077944320 6673 0 0 0 9 2 0 0 20 0 15 0 225084997 15372775424 18052 33554432000 4194304 4196468 140733330449488 140733330432032 139806344769271 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
/proc/23450/statm: 3753119 18052 2771 1 0 3715579 0
[pid=23450/tid=23451] ppid=23447 vsize=15012476 memory=-6078870780940435395 CPUtime=0.08 cores=0,2,4,6
/proc/23450/task/23451/stat : 23451 (java) R 23447 23447 20606 0 -1 4202560 4746 0 0 0 7 1 0 0 20 0 15 0 225084997 15372775424 18052 33554432000 4194304 4196468 140733330449488 139806316595600 139806329934910 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23452] ppid=23447 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23452/stat : 23452 (java) S 23447 23447 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225084999 15372775424 18052 33554432000 4194304 4196468 140733330449488 139806349011856 139806344779477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23453] ppid=23447 vsize=15012476 memory=139800607569536 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23453/stat : 23453 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225084999 15372775424 18052 33554432000 4194304 4196468 140733330449488 139806163168016 139806344779477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23454] ppid=23447 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23454/stat : 23454 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225084999 15372775424 18052 33554432000 4194304 4196468 140733330449488 139806162115728 139806344779477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23455] ppid=23447 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23455/stat : 23455 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225084999 15372775424 18052 33554432000 4194304 4196468 140733330449488 139806161062928 139806344779477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23456] ppid=23447 vsize=15012476 memory=139800607569536 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23456/stat : 23456 (java) S 23447 23447 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225085000 15372775424 18052 33554432000 4194304 4196468 140733330449488 139805751277680 139806344780418 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23457] ppid=23447 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23457/stat : 23457 (java) S 23447 23447 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225085001 15372775424 18052 33554432000 4194304 4196468 140733330449488 139804910019360 139806344779477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23458] ppid=23447 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23458/stat : 23458 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225085001 15372775424 18052 33554432000 4194304 4196468 140733330449488 139804675138672 139806344779477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23459] ppid=23447 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23459/stat : 23459 (java) S 23447 23447 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225085003 15372775424 18052 33554432000 4194304 4196468 140733330449488 139804300630096 139806344787867 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23460] ppid=23447 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23460/stat : 23460 (java) S 23447 23447 20606 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 225085003 15372775424 18052 33554432000 4194304 4196468 140733330449488 139805750225520 139806344780418 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23461] ppid=23447 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23461/stat : 23461 (java) S 23447 23447 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225085003 15372775424 18052 33554432000 4194304 4196468 140733330449488 139805681773040 139806344780418 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23462] ppid=23447 vsize=15012476 memory=139800607569536 CPUtime=0.01 cores=0,2,4,6
/proc/23450/task/23462/stat : 23462 (java) S 23447 23447 20606 0 -1 1077944384 287 0 0 0 1 0 0 0 20 0 15 0 225085003 15372775424 18052 33554432000 4194304 4196468 140733330449488 139805680720752 139806344780418 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23463] ppid=23447 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23463/stat : 23463 (java) S 23447 23447 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225085004 15372775424 18052 33554432000 4194304 4196468 140733330449488 139803802725344 139806344779477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23464] ppid=23447 vsize=15012476 memory=139800607569536 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23464/stat : 23464 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225085004 15372775424 18052 33554432000 4194304 4196468 140733330449488 139805679667632 139806344780418 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73604 KiB
[startup+0.210725 s]*
/proc/loadavg: 2.13 2.13 2.10 5/224 23464
/proc/meminfo: memFree=16953372/32770624 swapFree=67058744/67108860
[pid=23447] ppid=23444 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23447/stat : 23447 (scop.sh) S 23444 23447 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225084996 115843072 349 33554432000 4194304 5098028 140733309962112 140733309959368 139752079397500 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21651456 140733309965377 140733309965575 140733309965575 140733309968333 0
/proc/23447/statm: 28282 349 296 221 0 87 0
[pid=23450] ppid=23447 vsize=15012476 memory=85480 CPUtime=0.25 cores=0,2,4,6
/proc/23450/stat : 23450 (java) S 23447 23447 20606 0 -1 1077944320 10270 0 0 0 23 2 0 0 20 0 15 0 225084997 15372775424 21370 33554432000 4194304 4196468 140733330449488 140733330432032 139806344769271 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
/proc/23450/statm: 3753119 21370 2906 1 0 3715579 0
[pid=23450/tid=23451] ppid=23447 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/23450/task/23451/stat : 23451 (java) R 23447 23447 20606 0 -1 4202560 8161 0 0 0 18 2 0 0 20 0 15 0 225084997 15372775424 21370 33554432000 4194304 4196468 140733330449488 139806316594080 139806344791197 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23452] ppid=23447 vsize=15012476 memory=545 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23452/stat : 23452 (java) S 23447 23447 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225084999 15372775424 21370 33554432000 4194304 4196468 140733330449488 139806349011856 139806344779477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23453] ppid=23447 vsize=15012476 memory=139800608732770 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23453/stat : 23453 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225084999 15372775424 21370 33554432000 4194304 4196468 140733330449488 139806163168016 139806344779477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23454] ppid=23447 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23454/stat : 23454 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225084999 15372775424 21370 33554432000 4194304 4196468 140733330449488 139806162115728 139806344779477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23455] ppid=23447 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23455/stat : 23455 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225084999 15372775424 21370 33554432000 4194304 4196468 140733330449488 139806161062928 139806344779477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23456] ppid=23447 vsize=15012476 memory=139800607569536 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23456/stat : 23456 (java) S 23447 23447 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225085000 15372775424 21370 33554432000 4194304 4196468 140733330449488 139805751277680 139806344780418 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23457] ppid=23447 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23457/stat : 23457 (java) S 23447 23447 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225085001 15372775424 21370 33554432000 4194304 4196468 140733330449488 139804910019360 139806344779477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23458] ppid=23447 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23458/stat : 23458 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225085001 15372775424 21370 33554432000 4194304 4196468 140733330449488 139804675138672 139806344779477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23459] ppid=23447 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23459/stat : 23459 (java) S 23447 23447 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225085003 15372775424 21370 33554432000 4194304 4196468 140733330449488 139804300630096 139806344787867 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23460] ppid=23447 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23460/stat : 23460 (java) S 23447 23447 20606 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 225085003 15372775424 21370 33554432000 4194304 4196468 140733330449488 139805750225520 139806344780418 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23461] ppid=23447 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23461/stat : 23461 (java) S 23447 23447 20606 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 225085003 15372775424 21370 33554432000 4194304 4196468 140733330449488 139805681773040 139806344780418 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23462] ppid=23447 vsize=15012476 memory=139800607569536 CPUtime=0.03 cores=0,2,4,6
/proc/23450/task/23462/stat : 23462 (java) R 23447 23447 20606 0 -1 4202560 306 0 0 0 3 0 0 0 20 0 15 0 225085003 15372775424 21370 33554432000 4194304 4196468 140733330449488 139805680720752 139806344790618 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23463] ppid=23447 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23463/stat : 23463 (java) S 23447 23447 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225085004 15372775424 21370 33554432000 4194304 4196468 140733330449488 139803802725344 139806344779477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23464] ppid=23447 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23464/stat : 23464 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225085004 15372775424 21370 33554432000 4194304 4196468 140733330449488 139805679667632 139806344780418 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86876 KiB
[startup+0.310801 s]*
/proc/loadavg: 2.13 2.13 2.10 3/224 23464
/proc/meminfo: memFree=16949588/32770624 swapFree=67058744/67108860
[pid=23447] ppid=23444 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23447/stat : 23447 (scop.sh) S 23444 23447 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225084996 115843072 349 33554432000 4194304 5098028 140733309962112 140733309959368 139752079397500 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21651456 140733309965377 140733309965575 140733309965575 140733309968333 0
/proc/23447/statm: 28282 349 296 221 0 87 0
[pid=23450] ppid=23447 vsize=15012476 memory=89616 CPUtime=0.43 cores=0,2,4,6
/proc/23450/stat : 23450 (java) S 23447 23447 20606 0 -1 1077944320 10883 0 0 0 40 3 0 0 20 0 15 0 225084997 15372775424 22404 33554432000 4194304 4196468 140733330449488 140733330432032 139806344769271 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
/proc/23450/statm: 3753119 22404 2985 1 0 3715579 0
[pid=23450/tid=23451] ppid=23447 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/23450/task/23451/stat : 23451 (java) R 23447 23447 20606 0 -1 4202560 8596 0 0 0 27 2 0 0 20 0 15 0 225084997 15372775424 22404 33554432000 4194304 4196468 140733330449488 139806316564272 139806330462774 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23452] ppid=23447 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23452/stat : 23452 (java) S 23447 23447 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225084999 15372775424 22404 33554432000 4194304 4196468 140733330449488 139806349011856 139806344779477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23453] ppid=23447 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23453/stat : 23453 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225084999 15372775424 22404 33554432000 4194304 4196468 140733330449488 139806163168016 139806344779477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23454] ppid=23447 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23454/stat : 23454 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225084999 15372775424 22404 33554432000 4194304 4196468 140733330449488 139806162115728 139806344779477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23455] ppid=23447 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23455/stat : 23455 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225084999 15372775424 22404 33554432000 4194304 4196468 140733330449488 139806161062928 139806344779477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23456] ppid=23447 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23456/stat : 23456 (java) S 23447 23447 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225085000 15372775424 22404 33554432000 4194304 4196468 140733330449488 139805751277680 139806344780418 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23457] ppid=23447 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23457/stat : 23457 (java) S 23447 23447 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225085001 15372775424 22404 33554432000 4194304 4196468 140733330449488 139804910019360 139806344779477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23458] ppid=23447 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23458/stat : 23458 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225085001 15372775424 22404 33554432000 4194304 4196468 140733330449488 139804675138672 139806344779477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23459] ppid=23447 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23459/stat : 23459 (java) S 23447 23447 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225085003 15372775424 22404 33554432000 4194304 4196468 140733330449488 139804300630096 139806344787867 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23460] ppid=23447 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23450/task/23460/stat : 23460 (java) R 23447 23447 20606 0 -1 4202560 343 0 0 0 1 0 0 0 20 0 15 0 225085003 15372775424 22404 33554432000 4194304 4196468 140733330449488 139805750225520 139806337006398 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23461] ppid=23447 vsize=15012476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23450/task/23461/stat : 23461 (java) R 23447 23447 20606 0 -1 1077944384 264 0 0 0 3 0 0 0 20 0 15 0 225085003 15372775424 22404 33554432000 4194304 4196468 140733330449488 139805681773040 139806344780418 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23462] ppid=23447 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23450/task/23462/stat : 23462 (java) R 23447 23447 20606 0 -1 4202560 350 0 0 0 7 0 0 0 20 0 15 0 225085003 15372775424 22404 33554432000 4194304 4196468 140733330449488 139805680720752 139806331093660 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23463] ppid=23447 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23463/stat : 23463 (java) S 23447 23447 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225085004 15372775424 22404 33554432000 4194304 4196468 140733330449488 139803802725344 139806344779477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23464] ppid=23447 vsize=15012476 memory=3905525982033944625 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23464/stat : 23464 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225085004 15372775424 22404 33554432000 4194304 4196468 140733330449488 139805679667632 139806344780418 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91012 KiB
[startup+0.700809 s]
/proc/loadavg: 2.13 2.13 2.10 3/224 23464
/proc/meminfo: memFree=16925280/32770624 swapFree=67058744/67108860
[pid=23447] ppid=23444 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23447/stat : 23447 (scop.sh) S 23444 23447 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225084996 115843072 349 33554432000 4194304 5098028 140733309962112 140733309959368 139752079397500 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21651456 140733309965377 140733309965575 140733309965575 140733309968333 0
/proc/23447/statm: 28282 349 296 221 0 87 0
[pid=23450] ppid=23447 vsize=15020872 memory=129756 CPUtime=1.02 cores=0,2,4,6
/proc/23450/stat : 23450 (java) S 23447 23447 20606 0 -1 1077944320 18039 0 0 0 98 4 0 0 20 0 15 0 225084997 15381372928 32439 33554432000 4194304 4196468 140733330449488 140733330432032 139806344769271 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
/proc/23450/statm: 3755218 32439 3155 1 0 3716603 0
[pid=23450/tid=23451] ppid=23447 vsize=15020872 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/23450/task/23451/stat : 23451 (java) R 23447 23447 20606 0 -1 4202560 15248 0 0 0 63 4 0 0 20 0 15 0 225084997 15381372928 32439 33554432000 4194304 4196468 140733330449488 139806316600576 139806328849758 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23452] ppid=23447 vsize=15020872 memory=288230377057956186 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23452/stat : 23452 (java) S 23447 23447 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225084999 15381372928 32439 33554432000 4194304 4196468 140733330449488 139806349011856 139806344779477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23453] ppid=23447 vsize=15020872 memory=14408211646139281 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23453/stat : 23453 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225084999 15381372928 32439 33554432000 4194304 4196468 140733330449488 139806163168016 139806344779477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23454] ppid=23447 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23454/stat : 23454 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225084999 15381372928 32439 33554432000 4194304 4196468 140733330449488 139806162115728 139806344779477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23455] ppid=23447 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23455/stat : 23455 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225084999 15381372928 32439 33554432000 4194304 4196468 140733330449488 139806161062928 139806344779477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23456] ppid=23447 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23456/stat : 23456 (java) S 23447 23447 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225085000 15381372928 32439 33554432000 4194304 4196468 140733330449488 139805751277680 139806344780418 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23457] ppid=23447 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23457/stat : 23457 (java) S 23447 23447 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225085001 15381372928 32439 33554432000 4194304 4196468 140733330449488 139804910019360 139806344779477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23458] ppid=23447 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23458/stat : 23458 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225085001 15381372928 32439 33554432000 4194304 4196468 140733330449488 139804675138672 139806344779477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23459] ppid=23447 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23459/stat : 23459 (java) S 23447 23447 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225085003 15381372928 32439 33554432000 4194304 4196468 140733330449488 139804300630096 139806344787867 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23460] ppid=23447 vsize=15020872 memory=279600894574832 CPUtime=0.08 cores=0,2,4,6
/proc/23450/task/23460/stat : 23460 (java) S 23447 23447 20606 0 -1 1077944384 606 0 0 0 8 0 0 0 20 0 15 0 225085003 15381372928 32439 33554432000 4194304 4196468 140733330449488 139805750225520 139806344780418 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23461] ppid=23447 vsize=15020872 memory=7234030490512222553 CPUtime=0.07 cores=0,2,4,6
/proc/23450/task/23461/stat : 23461 (java) S 23447 23447 20606 0 -1 1077944384 327 0 0 0 7 0 0 0 20 0 15 0 225085003 15381372928 32439 33554432000 4194304 4196468 140733330449488 139805681773040 139806344780418 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23462] ppid=23447 vsize=15020872 memory=7594587674001172330 CPUtime=0.17 cores=0,2,4,6
/proc/23450/task/23462/stat : 23462 (java) S 23447 23447 20606 0 -1 1077944384 525 0 0 0 17 0 0 0 20 0 15 0 225085003 15381372928 32439 33554432000 4194304 4196468 140733330449488 139805680720752 139806344780418 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23463] ppid=23447 vsize=15020872 memory=7649399367118631730 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23463/stat : 23463 (java) S 23447 23447 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225085004 15381372928 32439 33554432000 4194304 4196468 140733330449488 139803802725344 139806344779477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
[pid=23450/tid=23464] ppid=23447 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23450/task/23464/stat : 23464 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225085004 15381372928 32439 33554432000 4194304 4196468 140733330449488 139805679667632 139806344780418 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140733330453511 140733330453809 140733330453809 140733330456527 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131152 KiB
[startup+1.50092 s]
/proc/loadavg: 2.13 2.13 2.10 6/224 23464
/proc/meminfo: memFree=16882444/32770624 swapFree=67058744/67108860
[pid=23447] ppid=23444 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23447/stat : 23447 (scop.sh) S 23444 23447 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225084996 115843072 349 33554432000 4194304 5098028 140733309962112 140733309959368 139752079397500 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21651456 140733309965377 140733309965575 140733309965575 140733309968333 0
/proc/23447/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=23465/tid=23478] ppid=23447 vsize=8068220 memory=7649399371396821810 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23478/stat : 23478 (java) S 23447 23447 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225085912 8261857280 30235 33554432000 4194304 4196468 140721605194432 139941778549600 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23479] ppid=23447 vsize=8068220 memory=-7812736537705029536 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23479/stat : 23479 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225085913 8261857280 30235 33554432000 4194304 4196468 140721605194432 139943545887280 139944103627394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23481] ppid=23447 vsize=8068220 memory=3184097920075968559 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23481/stat : 23481 (java) S 23447 23447 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225085984 8261857280 30235 33554432000 4194304 4196468 140721605194432 139943538079040 139944103640857 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23483] ppid=23447 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23483/stat : 23483 (java) S 23447 23447 20606 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 225085984 8261857280 30235 33554432000 4194304 4196468 140721605194432 139941241662896 139944103638173 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23484] ppid=23447 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23484/stat : 23484 (java) S 23447 23447 20606 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225085984 8261857280 30235 33554432000 4194304 4196468 140721605194432 139941107441712 139944103638173 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23485] ppid=23447 vsize=8068220 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23485/stat : 23485 (java) S 23447 23447 20606 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 225085986 8261857280 30235 33554432000 4194304 4196468 140721605194432 139941375893280 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
Current children cumulated CPU time: 23.78 s
Current children cumulated vsize: 8280712 KiB
Current children cumulated memory: 192960 KiB
[startup+10.801 s]
/proc/loadavg: 2.12 2.13 2.10 3/229 23485
/proc/meminfo: memFree=16869020/32770624 swapFree=67058744/67108860
[pid=23447] ppid=23444 vsize=113128 memory=1472 CPUtime=21.9 cores=0,2,4,6
/proc/23447/stat : 23447 (scop.sh) S 23444 23447 20606 0 -1 4202496 591 40129 0 0 0 0 2122 68 20 0 1 0 225084996 115843072 368 33554432000 4194304 5098028 140733309962112 140733309958856 139752079397500 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21651456 140733309965377 140733309965575 140733309965575 140733309968333 0
/proc/23447/statm: 28282 368 311 221 0 87 0
[pid=23465] ppid=23447 vsize=8068220 memory=120940 CPUtime=1.36 cores=0,2,4,6
/proc/23465/stat : 23465 (java) S 23447 23447 20606 0 -1 1077944320 18441 0 0 0 129 7 0 0 20 0 19 0 225085906 8261857280 30235 33554432000 4194304 4196468 140721605194432 140721605176976 139944103616247 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
/proc/23465/statm: 2017055 30235 3156 1 0 1978454 0
[pid=23480] ppid=23465 vsize=83424 memory=57648 CPUtime=0.92 cores=0,2,4,6
/proc/23480/stat : 23480 (minisat_release) R 23465 23447 20606 0 -1 4202496 16618 0 0 0 90 2 0 0 20 0 1 0 225085983 85426176 14412 33554432000 4194304 4308513 140727598804160 140727598801784 4263994 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 39129088 140727598806132 140727598806230 140727598806230 140727598809029 0
/proc/23480/statm: 20856 14412 322 28 0 17096 0
[pid=23465/tid=23466] ppid=23447 vsize=8068220 memory=288230574492221466 CPUtime=0.79 cores=0,2,4,6
/proc/23465/task/23466/stat : 23466 (java) S 23447 23447 20606 0 -1 1077944384 15007 0 0 0 74 5 0 0 20 0 19 0 225085907 8261857280 30235 33554432000 4194304 4196468 140721605194432 139944075456400 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23467] ppid=23447 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23467/stat : 23467 (java) S 23447 23447 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225085908 8261857280 30235 33554432000 4194304 4196468 140721605194432 139944107858960 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23468] ppid=23447 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23468/stat : 23468 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225085908 8261857280 30235 33554432000 4194304 4196468 140721605194432 139943928155280 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23469] ppid=23447 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23469/stat : 23469 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225085908 8261857280 30235 33554432000 4194304 4196468 140721605194432 139943927102224 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23470] ppid=23447 vsize=8068220 memory=120940 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23470/stat : 23470 (java) S 23447 23447 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225085908 8261857280 30235 33554432000 4194304 4196468 140721605194432 139943587138448 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23471] ppid=23447 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23471/stat : 23471 (java) S 23447 23447 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225085909 8261857280 30235 33554432000 4194304 4196468 140721605194432 139943550097648 139944103627394 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23472] ppid=23447 vsize=8068220 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23472/stat : 23472 (java) S 23447 23447 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225085910 8261857280 30235 33554432000 4194304 4196468 140721605194432 139942919398560 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23473] ppid=23447 vsize=8068220 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23473/stat : 23473 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225085910 8261857280 30235 33554432000 4194304 4196468 140721605194432 139942650962672 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23474] ppid=23447 vsize=8068220 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23474/stat : 23474 (java) S 23447 23447 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225085912 8261857280 30235 33554432000 4194304 4196468 140721605194432 139942276454352 139944103634843 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23475] ppid=23447 vsize=8068220 memory=8560712388882833484 CPUtime=0.15 cores=0,2,4,6
/proc/23465/task/23475/stat : 23475 (java) S 23447 23447 20606 0 -1 1077944384 795 0 0 0 15 0 0 0 20 0 19 0 225085912 8261857280 30235 33554432000 4194304 4196468 140721605194432 139943549045488 139944103627394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23476] ppid=23447 vsize=8068220 memory=8475934422144280176 CPUtime=0.15 cores=0,2,4,6
/proc/23465/task/23476/stat : 23476 (java) S 23447 23447 20606 0 -1 1077944384 585 0 0 0 15 0 0 0 20 0 19 0 225085912 8261857280 30235 33554432000 4194304 4196468 140721605194432 139943547992944 139944103627394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23477] ppid=23447 vsize=8068220 memory=7160829391765790816 CPUtime=0.23 cores=0,2,4,6
/proc/23465/task/23477/stat : 23477 (java) S 23447 23447 20606 0 -1 1077944384 662 0 0 0 23 0 0 0 20 0 19 0 225085912 8261857280 30235 33554432000 4194304 4196468 140721605194432 139943546939888 139944103627394 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23478] ppid=23447 vsize=8068220 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23478/stat : 23478 (java) S 23447 23447 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225085912 8261857280 30235 33554432000 4194304 4196468 140721605194432 139941778549600 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23479] ppid=23447 vsize=8068220 memory=6944656592455350634 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23479/stat : 23479 (java) S 23447 23447 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225085913 8261857280 30235 33554432000 4194304 4196468 140721605194432 139943545887280 139944103627394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23481] ppid=23447 vsize=8068220 memory=-7313218805096079717 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23481/stat : 23481 (java) S 23447 23447 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225085984 8261857280 30235 33554432000 4194304 4196468 140721605194432 139943538079040 139944103640857 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23483] ppid=23447 vsize=8068220 memory=8508281403248183693 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23483/stat : 23483 (java) S 23447 23447 20606 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 225085984 8261857280 30235 33554432000 4194304 4196468 140721605194432 139941241662896 139944103638173 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23484] ppid=23447 vsize=8068220 memory=-8253387840130274936 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23484/stat : 23484 (java) S 23447 23447 20606 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225085984 8261857280 30235 33554432000 4194304 4196468 140721605194432 139941107441712 139944103638173 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23485] ppid=23447 vsize=8068220 memory=-6519613052471072158 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23485/stat : 23485 (java) S 23447 23447 20606 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 225085986 8261857280 30235 33554432000 4194304 4196468 140721605194432 139941375893280 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
Current children cumulated CPU time: 24.18 s
Current children cumulated vsize: 8264772 KiB
Current children cumulated memory: 180060 KiB
[startup+11.0039 s]*
/proc/loadavg: 2.19 2.14 2.10 5/227 23485
/proc/meminfo: memFree=16898876/32770624 swapFree=67058744/67108860
[pid=23447] ppid=23444 vsize=113128 memory=1472 CPUtime=21.9 cores=0,2,4,6
/proc/23447/stat : 23447 (scop.sh) S 23444 23447 20606 0 -1 4202496 591 40129 0 0 0 0 2122 68 20 0 1 0 225084996 115843072 368 33554432000 4194304 5098028 140733309962112 140733309958856 139752079397500 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21651456 140733309965377 140733309965575 140733309965575 140733309968333 0
/proc/23447/statm: 28282 368 311 221 0 87 0
[pid=23465] ppid=23447 vsize=8068220 memory=127324 CPUtime=2.57 cores=0,2,4,6
/proc/23465/stat : 23465 (java) S 23447 23447 20606 0 -1 1077944320 18548 16623 0 0 139 7 108 3 20 0 18 0 225085906 8261857280 31831 33554432000 4194304 4196468 140721605194432 140721605176976 139944103616247 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
/proc/23465/statm: 2017055 31831 3156 1 0 1978454 0
[pid=23465/tid=23466] ppid=23447 vsize=8068220 memory=7022364632946311227 CPUtime=1.9 cores=0,2,4,6
/proc/23465/task/23466/stat : 23466 (java) S 23447 23447 20606 0 -1 1077944384 15007 16623 0 0 74 5 108 3 20 0 18 0 225085907 8261857280 31831 33554432000 4194304 4196468 140721605194432 139944075456400 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23467] ppid=23447 vsize=8068220 memory=545 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23467/stat : 23467 (java) S 23447 23447 20606 0 -1 1077944384 2 16623 0 0 0 0 108 3 20 0 18 0 225085908 8261857280 31831 33554432000 4194304 4196468 140721605194432 139944107858960 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23468] ppid=23447 vsize=8068220 memory=139800608732770 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23468/stat : 23468 (java) S 23447 23447 20606 0 -1 1077944384 1 16623 0 0 0 0 108 3 20 0 18 0 225085908 8261857280 31831 33554432000 4194304 4196468 140721605194432 139943928155280 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23469] ppid=23447 vsize=8068220 memory=0 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23469/stat : 23469 (java) S 23447 23447 20606 0 -1 1077944384 1 16623 0 0 0 0 108 3 20 0 18 0 225085908 8261857280 31831 33554432000 4194304 4196468 140721605194432 139943927102224 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23470] ppid=23447 vsize=8068220 memory=-1 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23470/stat : 23470 (java) S 23447 23447 20606 0 -1 1077944384 2 16623 0 0 0 0 108 3 20 0 18 0 225085908 8261857280 31831 33554432000 4194304 4196468 140721605194432 139943587138448 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23471] ppid=23447 vsize=8068220 memory=139800607569536 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23471/stat : 23471 (java) S 23447 23447 20606 0 -1 1077944384 5 16623 0 0 0 0 108 3 20 0 18 0 225085909 8261857280 31831 33554432000 4194304 4196468 140721605194432 139943550097648 139944103627394 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23472] ppid=23447 vsize=8068220 memory=-1 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23472/stat : 23472 (java) S 23447 23447 20606 0 -1 1077944384 13 16623 0 0 0 0 108 3 20 0 18 0 225085910 8261857280 31831 33554432000 4194304 4196468 140721605194432 139942919398560 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23473] ppid=23447 vsize=8068220 memory=0 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23473/stat : 23473 (java) S 23447 23447 20606 0 -1 1077944384 1 16623 0 0 0 0 108 3 20 0 18 0 225085910 8261857280 31831 33554432000 4194304 4196468 140721605194432 139942650962672 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23474] ppid=23447 vsize=8068220 memory=0 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23474/stat : 23474 (java) S 23447 23447 20606 0 -1 1077944384 3 16623 0 0 0 0 108 3 20 0 18 0 225085912 8261857280 31831 33554432000 4194304 4196468 140721605194432 139942276454352 139944103634843 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23475] ppid=23447 vsize=8068220 memory=0 CPUtime=1.29 cores=0,2,4,6
/proc/23465/task/23475/stat : 23475 (java) R 23447 23447 20606 0 -1 1077944384 807 16623 0 0 18 0 108 3 20 0 18 0 225085912 8261857280 31831 33554432000 4194304 4196468 140721605194432 139943549045488 139944103627394 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23476] ppid=23447 vsize=8068220 memory=-1 CPUtime=1.27 cores=0,2,4,6
/proc/23465/task/23476/stat : 23476 (java) S 23447 23447 20606 0 -1 1077944384 592 16623 0 0 16 0 108 3 20 0 18 0 225085912 8261857280 31831 33554432000 4194304 4196468 140721605194432 139943547992944 139944103627394 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23477] ppid=23447 vsize=8068220 memory=139800607569536 CPUtime=1.36 cores=0,2,4,6
/proc/23465/task/23477/stat : 23477 (java) R 23447 23447 20606 0 -1 4202560 704 16623 0 0 25 0 108 3 20 0 18 0 225085912 8261857280 31831 33554432000 4194304 4196468 140721605194432 139943546939888 139944096713083 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23478] ppid=23447 vsize=8068220 memory=-1 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23478/stat : 23478 (java) S 23447 23447 20606 0 -1 1077944384 3 16623 0 0 0 0 108 3 20 0 18 0 225085912 8261857280 31831 33554432000 4194304 4196468 140721605194432 139941778549600 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23479] ppid=23447 vsize=8068220 memory=0 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23479/stat : 23479 (java) S 23447 23447 20606 0 -1 1077944384 1 16623 0 0 0 0 108 3 20 0 18 0 225085913 8261857280 31831 33554432000 4194304 4196468 140721605194432 139943545887280 139944103627394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23481] ppid=23447 vsize=8068220 memory=0 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23481/stat : 23481 (java) S 23447 23447 20606 0 -1 1077944384 24 16623 0 0 0 0 108 3 20 0 18 0 225085984 8261857280 31831 33554432000 4194304 4196468 140721605194432 139943538078224 139944103627394 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23483] ppid=23447 vsize=8068220 memory=0 CPUtime=1.14 cores=0,2,4,6
/proc/23465/task/23483/stat : 23483 (java) R 23447 23447 20606 0 -1 4202560 47 16623 0 0 3 0 108 3 20 0 18 0 225085984 8261857280 31831 33554432000 4194304 4196468 140721605194432 139941241666992 139943605201440 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23485] ppid=23447 vsize=8068220 memory=0 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23485/stat : 23485 (java) S 23447 23447 20606 0 -1 1077944384 22 16623 0 0 0 0 108 3 20 0 18 0 225085986 8261857280 31831 33554432000 4194304 4196468 140721605194432 139941375893040 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
Current children cumulated CPU time: 24.47 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 128796 KiB
[startup+11.1107 s]
/proc/loadavg: 2.19 2.14 2.10 5/227 23485
/proc/meminfo: memFree=16898876/32770624 swapFree=67058744/67108860
[pid=23447] ppid=23444 vsize=113128 memory=1472 CPUtime=21.9 cores=0,2,4,6
/proc/23447/stat : 23447 (scop.sh) S 23444 23447 20606 0 -1 4202496 591 40129 0 0 0 0 2122 68 20 0 1 0 225084996 115843072 368 33554432000 4194304 5098028 140733309962112 140733309958856 139752079397500 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21651456 140733309965377 140733309965575 140733309965575 140733309968333 0
/proc/23447/statm: 28282 368 311 221 0 87 0
[pid=23465] ppid=23447 vsize=7937144 memory=133304 CPUtime=2.8 cores=0,2,4,6
/proc/23465/stat : 23465 (java) S 23447 23447 20606 0 -1 1077944320 18951 16623 0 0 161 8 108 3 20 0 17 0 225085906 8127635456 33326 33554432000 4194304 4196468 140721605194432 140721605176976 139944103616247 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
/proc/23465/statm: 1984286 33326 3176 1 0 1945685 0
[pid=23465/tid=23466] ppid=23447 vsize=7937144 memory=3544 CPUtime=1.98 cores=0,2,4,6
/proc/23465/task/23466/stat : 23466 (java) R 23447 23447 20606 0 -1 4202560 15230 16623 0 0 82 5 108 3 20 0 17 0 225085907 8127635456 33326 33554432000 4194304 4196468 140721605194432 139944075454128 139944103628182 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23467] ppid=23447 vsize=7937144 memory=1188 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23467/stat : 23467 (java) S 23447 23447 20606 0 -1 1077944384 2 16623 0 0 0 0 108 3 20 0 17 0 225085908 8127635456 33326 33554432000 4194304 4196468 140721605194432 139944107858960 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23468] ppid=23447 vsize=7937144 memory=976 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23468/stat : 23468 (java) S 23447 23447 20606 0 -1 1077944384 1 16623 0 0 0 0 108 3 20 0 17 0 225085908 8127635456 33326 33554432000 4194304 4196468 140721605194432 139943928155280 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23469] ppid=23447 vsize=7937144 memory=1140 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23469/stat : 23469 (java) S 23447 23447 20606 0 -1 1077944384 1 16623 0 0 0 0 108 3 20 0 17 0 225085908 8127635456 33326 33554432000 4194304 4196468 140721605194432 139943927102224 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23470] ppid=23447 vsize=7937144 memory=924 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23470/stat : 23470 (java) S 23447 23447 20606 0 -1 1077944384 2 16623 0 0 0 0 108 3 20 0 17 0 225085908 8127635456 33326 33554432000 4194304 4196468 140721605194432 139943587138448 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23471] ppid=23447 vsize=7937144 memory=1140 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23471/stat : 23471 (java) S 23447 23447 20606 0 -1 1077944384 5 16623 0 0 0 0 108 3 20 0 17 0 225085909 8127635456 33326 33554432000 4194304 4196468 140721605194432 139943550097648 139944103627394 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23472] ppid=23447 vsize=7937144 memory=1548 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23472/stat : 23472 (java) S 23447 23447 20606 0 -1 1077944384 13 16623 0 0 0 0 108 3 20 0 17 0 225085910 8127635456 33326 33554432000 4194304 4196468 140721605194432 139942919398560 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23473] ppid=23447 vsize=7937144 memory=1432 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23473/stat : 23473 (java) S 23447 23447 20606 0 -1 1077944384 1 16623 0 0 0 0 108 3 20 0 17 0 225085910 8127635456 33326 33554432000 4194304 4196468 140721605194432 139942650962672 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23474] ppid=23447 vsize=7937144 memory=812 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23474/stat : 23474 (java) S 23447 23447 20606 0 -1 1077944384 3 16623 0 0 0 0 108 3 20 0 17 0 225085912 8127635456 33326 33554432000 4194304 4196468 140721605194432 139942276454352 139944103634843 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23475] ppid=23447 vsize=7937144 memory=0 CPUtime=1.33 cores=0,2,4,6
/proc/23465/task/23475/stat : 23475 (java) R 23447 23447 20606 0 -1 1077944384 833 16623 0 0 22 0 108 3 20 0 17 0 225085912 8127635456 33326 33554432000 4194304 4196468 140721605194432 139943549045488 139944103627394 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23476] ppid=23447 vsize=7937144 memory=-3621219715169225006 CPUtime=1.31 cores=0,2,4,6
/proc/23465/task/23476/stat : 23476 (java) S 23447 23447 20606 0 -1 1077944384 610 16623 0 0 20 0 108 3 20 0 17 0 225085912 8127635456 33326 33554432000 4194304 4196468 140721605194432 139943547992944 139944103627394 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23477] ppid=23447 vsize=7937144 memory=7681407940103534239 CPUtime=1.41 cores=0,2,4,6
/proc/23465/task/23477/stat : 23477 (java) R 23447 23447 20606 0 -1 4202560 829 16623 0 0 30 0 108 3 20 0 17 0 225085912 8127635456 33326 33554432000 4194304 4196468 140721605194432 139943546939888 139944082585022 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23478] ppid=23447 vsize=7937144 memory=1396 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23478/stat : 23478 (java) S 23447 23447 20606 0 -1 1077944384 3 16623 0 0 0 0 108 3 20 0 17 0 225085912 8127635456 33326 33554432000 4194304 4196468 140721605194432 139941778549600 139944103626453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23479] ppid=23447 vsize=7937144 memory=3097956 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23479/stat : 23479 (java) S 23447 23447 20606 0 -1 1077944384 1 16623 0 0 0 0 108 3 20 0 17 0 225085913 8127635456 33326 33554432000 4194304 4196468 140721605194432 139943545887280 139944103627394 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23481] ppid=23447 vsize=7937144 memory=-7898401820070289311 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23481/stat : 23481 (java) S 23447 23447 20606 0 -1 1077944384 24 16623 0 0 0 0 108 3 20 0 17 0 225085984 8127635456 33326 33554432000 4194304 4196468 140721605194432 139943538078224 139944103627394 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
[pid=23465/tid=23485] ppid=23447 vsize=7937144 memory=6791534058613427641 CPUtime=1.11 cores=0,2,4,6
/proc/23465/task/23485/stat : 23485 (java) S 23447 23447 20606 0 -1 1077944384 28 16623 0 0 0 0 108 3 20 0 17 0 225085986 8127635456 33326 33554432000 4194304 4196468 140721605194432 139941375895088 139944103627394 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23502848 140721605199029 140721605199153 140721605199153 140721605201871 0
Current children cumulated CPU time: 24.7 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 134776 KiB
Child status: 0
Real time (s): 11.1613
CPU time (s): 24.8333
CPU user time (s): 24.0214
CPU system time (s): 0.811856
CPU usage (%): 222.494
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3100660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.0214
system time used= 0.811856
maximum resident set size= 3099832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76462
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7127
involuntary context switches= 143
# summary of solver processes directly reported to runsolver:
# pid: 23447
# total CPU time (s): 24.8333
# total CPU user time (s): 24.0214
# total CPU system time (s): 0.811856
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.094064 second user time and 0.163853 second system time
The end