Trace number 4307274

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop order+glucose-syrup (2018-07-31)SAT 30.8862 15.3907

General information on the benchmark

NamePseudoBoolean-dec/
Pb-fpga45-45-sat_c18.xml
MD5SUMc010012410fc2279b5e14fdb4de11b49
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark5.76139
Satisfiable
(Un)Satisfiability was proved
Number of variables3038
Number of constraints2160
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":3038}]
Minimum variable degree3
Maximum variable degree46
Distribution of variable degrees[{"degree":3,"count":2025},{"degree":46,"count":1013}]
Minimum constraint arity22
Maximum constraint arity45
Distribution of constraint arities[{"arity":22,"count":22},{"arity":23,"count":1013},{"arity":24,"count":1035},{"arity":45,"count":90}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":2160}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-25766-serial-file.bin HOME/instance-4307274-1534184737.xml
0.66/0.53	
0.66/0.53	scop order+glucose-syrup (2018-07-31)
0.66/0.53	(Encoding Process)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Mon Aug 13 20:25:37 CEST 2018
0.66/0.56	c PID: 25769
0.66/0.56	c IP: 172.20.3.134
0.66/0.56	c HOST: node134.alineos.net
0.66/0.56	c (0,0) Parsing Begin
3.99/1.63	c (1,1) Parsing End
3.99/1.64	c (1,1) CSP: 0 int (0 aux), 3038 bool (0 aux), 2160 ctr, max domain size 2
3.99/1.64	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.99/1.64	c (1,1) Constraint Name Generate Begin
3.99/1.68	c (1,1) Ctr:HOME/instance-4307274-1534184737.xml,IntVar:Num:WeightedSum
3.99/1.68	c (1,1) Constraint Name Generate End
3.99/1.68	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.99/1.68	c (1,1) CSP to CSPinCNF Begin
5.20/2.08	c (1,1) translated 216 (10%) constraints
5.89/2.22	c (1,1) translated 432 (20%) constraints
6.16/2.34	c (1,1) translated 648 (30%) constraints
6.32/2.45	c (1,1) translated 864 (40%) constraints
6.45/2.56	c (2,2) translated 1080 (50%) constraints
6.57/2.67	c (2,2) translated 1296 (60%) constraints
6.71/2.78	c (2,2) translated 1512 (70%) constraints
6.82/2.90	c (2,2) translated 1728 (80%) constraints
7.05/3.01	c (2,2) translated 1944 (90%) constraints
7.14/3.16	c (2,2) translated 2160 (100%) constraints
7.82/3.48	c (2,2) STATISTICS1:HOME/instance-4307274-1534184737.xml,IntVar:Num:WeightedSum,3038,2160,17592186044416,2,1,45,17592186044416:90;8388608:1035;4194304:1013;2097152:22,2:52673,1:2160,45:90;24:1035;23:1013;22:22,
7.82/3.48	c (2,2) ==========================================
7.82/3.48	c (2,2) Order
7.82/3.48	c (2,2) ==========================================
8.94/3.81	c (3,3) translated 216 (10%) constraints
9.24/3.97	c (3,3) translated 432 (20%) constraints
9.62/4.11	c (3,3) translated 648 (30%) constraints
9.94/4.26	c (3,3) translated 864 (40%) constraints
10.70/4.40	c (3,3) translated 1080 (50%) constraints
11.11/4.55	c (4,3) translated 1296 (60%) constraints
11.50/4.69	c (4,4) translated 1512 (70%) constraints
12.31/4.84	c (4,4) translated 1728 (80%) constraints
12.70/4.98	c (4,4) translated 1944 (90%) constraints
13.53/5.18	c (4,4) translated 2160 (100%) constraints
13.53/5.19	c (4,4) CSP to CSPinCNF End
13.53/5.19	c (4,4) CSP: 3060 int (3060 aux), 3038 bool (0 aux), 9180 ctr, max domain size 16
13.53/5.19	c (4,4) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
13.53/5.19	c (4,4) CSPinCNF Propagation Begin
14.32/5.37	c (4,4) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
14.32/5.37	c (4,4) CSPinCNF Propagation End
14.32/5.37	c (4,4) CSP: 3060 int (3060 aux), 3038 bool (0 aux), 9180 ctr, max domain size 16
14.32/5.37	c (4,4) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
14.32/5.37	c (4,4) Simplify CSPinCNF Begin
14.73/5.42	c (4,4) Simplify CSPinCNF End
14.73/5.42	c (4,4) CSP: 3060 int (3060 aux), 3038 bool (0 aux), 9180 ctr, max domain size 16
14.73/5.42	c (4,4) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
14.73/5.42	c (4,4) Calculate Precise Domain Begin
15.12/5.54	c (5,4) 0 values are removed by re-calculation
15.12/5.54	c (5,4) Calculate Precise Domain End
15.12/5.54	c (5,4) CSP: 3060 int (3060 aux), 3038 bool (0 aux), 9180 ctr, max domain size 16
15.12/5.54	c (5,4) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
15.12/5.54	c (5,4) CSPinCNF to SatSolver Begin
17.79/6.35	c (5,5) 918 (10 %) CSP clauses are encoded (24526 SAT variables, 154147 SAT clauses)
19.01/6.95	c (6,6) 1836 (20 %) CSP clauses are encoded (24526 SAT variables, 300377 SAT clauses)
19.78/7.54	c (7,6) 2754 (30 %) CSP clauses are encoded (24526 SAT variables, 446989 SAT clauses)
20.43/8.13	c (7,7) 3672 (40 %) CSP clauses are encoded (24526 SAT variables, 593219 SAT clauses)
21.03/8.75	c (8,8) 4590 (50 %) CSP clauses are encoded (24526 SAT variables, 745463 SAT clauses)
21.74/9.48	c (8,8) 5508 (60 %) CSP clauses are encoded (24526 SAT variables, 921133 SAT clauses)
22.59/10.27	c (9,9) 6426 (70 %) CSP clauses are encoded (24526 SAT variables, 1097057 SAT clauses)
23.62/10.93	c (10,10) 7344 (80 %) CSP clauses are encoded (24526 SAT variables, 1272727 SAT clauses)
24.23/11.54	c (11,10) 8262 (90 %) CSP clauses are encoded (24526 SAT variables, 1448651 SAT clauses)
24.52/12.25	c (11,11) 9180 (100 %) CSP clauses are encoded (24526 SAT variables, 1517669 SAT clauses)
24.52/12.25	c (11,11) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
24.52/12.25	c (11,11) CSPinCNF to SatSolver End
24.52/12.25	c (11,11) Heap : 1639 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
24.85/12.38	c (11,11) STATISTICS2:HOME/instance-4307274-1534184737.xml,IntVar:Num:WeightedSum,6098,9180,256,16,1,9,256:5468;128:1327;81:1035;72:1125;4:225,16:270;9:10440;8:2250;2:53753,1:9180,9:5423;8:1327;3:2430,
24.85/12.38	c (11,11) 24526 bool, 1517697 clause
24.85/12.38	c (11,11) Export Begin
25.87/12.61	c (12,11) Export to HOME/scop-25766-serial-file.bin
25.87/12.61	c (12,11) Export End
25.87/12.61	c (12,11) Export File Size: 0.47 MB
25.87/12.61	c (12,11) 1,1,4,4,4,5,11,STOP-AFTER(DIMACS)
25.87/12.61	c END-Prog: Mon Aug 13 20:25:50 CEST 2018
25.87/12.65	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-25766-serial-file.bin
26.51/13.16	c (0,0) Read Serial File Begin
26.51/13.16	c (0,0) HOME/scop-25766-serial-file.bin
27.13/13.45	c (0,0) Read Serial File End
27.13/13.46	
27.13/13.46	scop order+glucose-syrup (2018-07-31)
27.13/13.46	(Solving Process)
27.13/13.46	
27.13/13.49	c BEGIN-Prog: Mon Aug 13 20:25:50 CEST 2018
27.13/13.49	c PID: 25789
27.13/13.49	c IP: 172.20.3.134
27.13/13.49	c HOST: node134.alineos.net
27.13/13.49	c (0,0) SatSolver.solve Begin
27.13/13.49	c (0,0) 0 bool, 0 clause
27.13/13.49	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307274-1534184737.xml-scop-25769.cnf
29.82/15.15	c (2,0) c
29.82/15.15	c (2,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
29.82/15.15	c (2,0) c
29.82/15.15	c (2,0) c WARNING: for repeatability, setting FPU to use double precision
29.82/15.15	c (2,0) c 8 solvers engines and 1 companion as a blackboard created.
29.82/15.15	c (2,0) c ========================================[ Problem Statistics ]===========================================
29.82/15.15	c (2,0) c |                                                                                                       |
29.82/15.15	c (2,0) c |  Number of variables:         24526                                                                   |
29.82/15.15	c (2,0) c |  Number of clauses:         1517697                                                                   |
29.82/15.15	c (2,0) c |  Parse time:                   0.56 s                                                                 |
29.82/15.15	c (2,0) c |                                                                                                       |
29.82/15.15	c (2,0) c |  Eliminated clauses:           0.20 Mb                                                                |
29.82/15.15	c (2,0) c |  Simplification time:          0.73 s                                                                 |
29.82/15.15	c (2,0) c |                                                                                                       |
29.82/15.16	c (2,0) c |  Generating clones                                                                                    |
29.82/15.16	c (2,0) c |  all clones generated. Memory = 349.09Mb.                                                             |
29.82/15.16	c (2,0) c ========================================================================================================|
29.82/15.16	c (2,0) c last restart ## conflicts  :  2 1080 
29.82/15.16	c (2,0) c Thread 0 is 100% pure glucose! First thread to finish! (SAT answer).
29.82/15.16	c (2,0) c Total Memory so far : 946.39Mb
29.82/15.16	c (2,0) c
29.82/15.16	c (2,0) c real time : 1.63966 s
29.82/15.16	c (2,0) c cpu time  : 2.53991 s
29.82/15.16	c (2,0) c
29.82/15.16	c (2,0) c
29.82/15.16	c (2,0) c
29.82/15.16	c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
29.82/15.16	c (2,0) c
29.82/15.16	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
29.82/15.16	c (2,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
29.82/15.16	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
29.82/15.16	c (2,0) c | Conflicts     |           27200 |       6236 |       2921 |       2867 |       2928 |       3579 |       2926 |       2877 |       2866 |
29.82/15.16	c (2,0) c | Decisions     |           79021 |      34433 |       6107 |       6044 |       6115 |       8108 |       6114 |       6057 |       6043 |
29.82/15.16	c (2,0) c | Propagations  |         1390846 |     293526 |     157295 |     154228 |     157453 |     161904 |     157415 |     154895 |     154130 |
29.82/15.16	c (2,0) c | Avg_Trail     |                 |       3183 |       2993 |       2992 |       2993 |       2622 |       2993 |       2992 |       2992 |
29.82/15.16	c (2,0) c | Avg_DL        |                 |        886 |        993 |        991 |        993 |        736 |        993 |        992 |        991 |
29.82/15.16	c (2,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
29.82/15.16	c (2,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
29.82/15.16	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
29.82/15.16	c (2,0) c | Exported      |             305 |        305 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
29.82/15.16	c (2,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
29.82/15.16	c (2,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
29.82/15.16	c (2,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
29.82/15.16	c (2,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
29.82/15.16	c (2,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
29.82/15.16	c (2,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
29.82/15.16	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
29.82/15.16	c (2,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
29.82/15.16	c (2,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
29.82/15.16	c (2,0) c | Glues         |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
29.82/15.16	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
29.82/15.16	c (2,0) c | Orig_Seen     |             0 % |       2984 |       1065 |       1065 |       1065 |       1130 |       1065 |       1065 |       1065 |
29.82/15.16	c (2,0) c | Diff Orig seen|                 |      X     | -     1919 | -     1919 | -     1919 | -     1854 | -     1919 | -     1919 | -     1919 |
29.82/15.16	c (2,0) c | Hamming       |             1 % |      X     |        372 |        368 |        378 |        391 |        376 |        377 |        365 |
29.82/15.16	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
29.82/15.16	c (2,0) 
29.82/15.16	c (2,0) s SATISFIABLE
30.33/15.20	c (2,0) SatSolver.solve End
30.33/15.20	c (2,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
30.33/15.20	c (2,0) Show results Begin
30.56/15.32	s SATISFIABLE
30.56/15.36	v <instantiation>
30.56/15.36	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] x[2700] x[2701] x[2702] x[2703] x[2704] x[2705] x[2706] x[2707] x[2708] x[2709] x[2710] x[2711] x[2712] x[2713] x[2714] x[2715] x[2716] x[2717] x[2718] x[2719] x[2720] x[2721] x[2722] x[2723] x[2724] x[2725] x[2726] x[2727] x[2728] x[2729] x[2730] x[2731] x[2732] x[2733] x[2734] x[2735] x[2736] x[2737] x[2738] x[2739] x[2740] x[2741] x[2742] x[2743] x[2744] x[2745] x[2746] x[2747] x[2748] x[2749] x[2750] x[2751] x[2752] x[2753] x[2754] x[2755] x[2756] x[2757] x[2758] x[2759] x[2760] x[2761] x[2762] x[2763] x[2764] x[2765] x[2766] x[2767] x[2768] x[2769] x[2770] x[2771] x[2772] x[2773] x[2774] x[2775] x[2776] x[2777] x[2778] x[2779] x[2780] x[2781] x[2782] x[2783] x[2784] x[2785] x[2786] x[2787] x[2788] x[2789] x[2790] x[2791] x[2792] x[2793] x[2794] x[2795] x[2796] x[2797] x[2798] x[2799] x[2800] x[2801] x[2802] x[2803] x[2804] x[2805] x[2806] x[2807] x[2808] x[2809] x[2810] x[2811] x[2812] x[2813] x[2814] x[2815] x[2816] x[2817] x[2818] x[2819] x[2820] x[2821] x[2822] x[2823] x[2824] x[2825] x[2826] x[2827] x[2828] x[2829] x[2830] x[2831] x[2832] x[2833] x[2834] x[2835] x[2836] x[2837] x[2838] x[2839] x[2840] x[2841] x[2842] x[2843] x[2844] x[2845] x[2846] x[2847] x[2848] x[2849] x[2850] x[2851] x[2852] x[2853] x[2854] x[2855] x[2856] x[2857] x[2858] x[2859] x[2860] x[2861] x[2862] x[2863] x[2864] x[2865] x[2866] x[2867] x[2868] x[2869] x[2870] x[2871] x[2872] x[2873] x[2874] x[2875] x[2876] x[2877] x[2878] x[2879] x[2880] x[2881] x[2882] x[2883] x[2884] x[2885] x[2886] x[2887] x[2888] x[2889] x[2890] x[2891] x[2892] x[2893] x[2894] x[2895] x[2896] x[2897] x[2898] x[2899] x[2900] x[2901] x[2902] x[2903] x[2904] x[2905] x[2906] x[2907] x[2908] x[2909] x[2910] x[2911] x[2912] x[2913] x[2914] x[2915] x[2916] x[2917] x[2918] x[2919] x[2920] x[2921] x[2922] x[2923] x[2924] x[2925] x[2926] x[2927] x[2928] x[2929] x[2930] x[2931] x[2932] x[2933] x[2934] x[2935] x[2936] x[2937] x[2938] x[2939] x[2940] x[2941] x[2942] x[2943] x[2944] x[2945] x[2946] x[2947] x[2948] x[2949] x[2950] x[2951] x[2952] x[2953] x[2954] x[2955] x[2956] x[2957] x[2958] x[2959] x[2960] x[2961] x[2962] x[2963] x[2964] x[2965] x[2966] x[2967] x[2968] x[2969] x[2970] x[2971] x[2972] x[2973] x[2974] x[2975] x[2976] x[2977] x[2978] x[2979] x[2980] x[2981] x[2982] x[2983] x[2984] x[2985] x[2986] x[2987] x[2988] x[2989] x[2990] x[2991] x[2992] x[2993] x[2994] x[2995] x[2996] x[2997] x[2998] x[2999] x[3000] x[3001] x[3002] x[3003] x[3004] x[3005] x[3006] x[3007] x[3008] x[3009] x[3010] x[3011] x[3012] x[3013] x[3014] x[3015] x[3016] x[3017] x[3018] x[3019] x[3020] x[3021] x[3022] x[3023] x[3024] x[3025] x[3026] x[3027] x[3028] x[3029] x[3030] x[3031] x[3032] x[3033] x[3034] x[3035] x[3036] x[3037]</list>
30.56/15.36	v     <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
30.56/15.36	v </instantiation>
30.56/15.36	c (2,0) Show results End
30.56/15.36	c (2,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
30.56/15.36	c (2,0) 2,2,STOP-AFTER(ALL)
30.56/15.36	c END-Prog: Mon Aug 13 20:25:52 CEST 2018

Verifier Data 

OK

Watcher Data 

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 (10624 MiB free)
  memory of node 1: 16384 MiB (6746 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307274-1534184737/watcher-4307274-1534184737 -o /tmp/evaluation-result-4307274-1534184737/solver-4307274-1534184737 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1534182009-22644 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307274-1534184737.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=25766, runsolver pid=25763

[startup+0.101015 s]*
/proc/loadavg: 2.42 5.27 7.17 3/202 25788
/proc/meminfo: memFree=17690216/32770624 swapFree=67108688/67108860
[pid=25766] ppid=25763 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/25766/stat : 25766 (scop.sh) S 25763 25766 22617 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 236036896 115843072 348 33554432000 4194304 5098028 140729077717744 140729077715000 140307376935548 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31911936 140729077720098 140729077720323 140729077720323 140729077723085 0
/proc/25766/statm: 28282 348 296 221 0 87 0
[pid=25769] ppid=25766 vsize=27313900 memory=109240 CPUtime=0.11 cores=0-7
/proc/25769/stat : 25769 (java) S 25766 25766 22617 0 -1 1077944320 6755 0 0 0 8 3 0 0 20 0 20 0 236036896 27969433600 27310 33554432000 4194304 4196468 140731543865136 140731543847680 139792799416055 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
/proc/25769/statm: 6828475 27310 2726 1 0 6790935 0
[pid=25769/tid=25770] ppid=25766 vsize=27313900 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/25769/task/25770/stat : 25770 (java) R 25766 25766 22617 0 -1 4202560 4931 0 0 0 7 2 0 0 20 0 20 0 236036896 27969433600 27375 33554432000 4194304 4196468 140731543865136 139792771250480 139792783496542 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25771] ppid=25766 vsize=27313900 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25769/task/25771/stat : 25771 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 27375 33554432000 4194304 4196468 140731543865136 139792803658768 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25772] ppid=25766 vsize=27313900 memory=139701685630592 CPUtime=0 cores=0-7
/proc/25769/task/25772/stat : 25772 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 27375 33554432000 4194304 4196468 140731543865136 139792617815184 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25773] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25773/stat : 25773 (java) S 25766 25766 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 27375 33554432000 4194304 4196468 140731543865136 139792616762128 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25774] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25774/stat : 25774 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 27375 33554432000 4194304 4196468 140731543865136 139792615709584 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25775] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25775/stat : 25775 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 27375 33554432000 4194304 4196468 140731543865136 139792614656528 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25776] ppid=25766 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/25769/task/25776/stat : 25776 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 27375 33554432000 4194304 4196468 140731543865136 139792613603984 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25777] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25777/stat : 25777 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 27375 33554432000 4194304 4196468 140731543865136 139792612550928 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25778] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25778/stat : 25778 (java) S 25766 25766 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 27375 33554432000 4194304 4196468 140731543865136 139792611498384 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25779] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25779/stat : 25779 (java) S 25766 25766 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236036900 27969433600 27375 33554432000 4194304 4196468 140731543865136 139791052040944 139792799427202 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25780] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25780/stat : 25780 (java) S 25766 25766 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236036901 27969433600 27375 33554432000 4194304 4196468 140731543865136 139790649386656 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25781] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25781/stat : 25781 (java) S 25766 25766 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236036901 27969433600 27375 33554432000 4194304 4196468 140731543865136 139790380950768 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25782] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25782/stat : 25782 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036903 27969433600 27375 33554432000 4194304 4196468 140731543865136 139790006442448 139792799434651 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25783] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25783/stat : 25783 (java) S 25766 25766 22617 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 236036903 27969433600 27375 33554432000 4194304 4196468 140731543865136 139791050987760 139792799427202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25784] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25784/stat : 25784 (java) R 25766 25766 22617 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 236036903 27969433600 27375 33554432000 4194304 4196468 140731543865136 139791049935216 139792799427202 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25785] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25785/stat : 25785 (java) S 25766 25766 22617 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 20 0 236036903 27969433600 27375 33554432000 4194304 4196468 140731543865136 139791048882160 139792799427202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25786] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25786/stat : 25786 (java) R 25766 25766 22617 0 -1 4202560 227 0 0 0 0 0 0 0 20 0 20 0 236036904 27969433600 27375 33554432000 4194304 4196468 140731543865136 139791047829616 139792778309768 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25787] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25787/stat : 25787 (java) S 25766 25766 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236036904 27969433600 27375 33554432000 4194304 4196468 140731543865136 139789508537312 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25788] ppid=25766 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/25769/task/25788/stat : 25788 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036904 27969433600 27375 33554432000 4194304 4196468 140731543865136 139791046778032 139792799427202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 110632 KiB

[startup+0.210381 s]*
/proc/loadavg: 2.42 5.27 7.17 2/202 25788
/proc/meminfo: memFree=17673844/32770624 swapFree=67108688/67108860
[pid=25766] ppid=25763 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/25766/stat : 25766 (scop.sh) S 25763 25766 22617 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 236036896 115843072 348 33554432000 4194304 5098028 140729077717744 140729077715000 140307376935548 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31911936 140729077720098 140729077720323 140729077720323 140729077723085 0
/proc/25766/statm: 28282 348 296 221 0 87 0
[pid=25769] ppid=25766 vsize=27313900 memory=123396 CPUtime=0.25 cores=0-7
/proc/25769/stat : 25769 (java) S 25766 25766 22617 0 -1 1077944320 10601 0 0 0 21 4 0 0 20 0 20 0 236036896 27969433600 30849 33554432000 4194304 4196468 140731543865136 140731543847680 139792799416055 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
/proc/25769/statm: 6828475 30849 2852 1 0 6790935 0
[pid=25769/tid=25770] ppid=25766 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/25769/task/25770/stat : 25770 (java) R 25766 25766 22617 0 -1 4202560 8523 0 0 0 16 3 0 0 20 0 20 0 236036896 27969433600 30849 33554432000 4194304 4196468 140731543865136 139792771224800 139792799437981 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25771] ppid=25766 vsize=27313900 memory=342 CPUtime=0 cores=0-7
/proc/25769/task/25771/stat : 25771 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 30849 33554432000 4194304 4196468 140731543865136 139792803658768 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25772] ppid=25766 vsize=27313900 memory=139701685653405 CPUtime=0 cores=0-7
/proc/25769/task/25772/stat : 25772 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 30849 33554432000 4194304 4196468 140731543865136 139792617815184 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25773] ppid=25766 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/25769/task/25773/stat : 25773 (java) S 25766 25766 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 30849 33554432000 4194304 4196468 140731543865136 139792616762128 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25774] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25774/stat : 25774 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 30849 33554432000 4194304 4196468 140731543865136 139792615709584 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25775] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25775/stat : 25775 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 30849 33554432000 4194304 4196468 140731543865136 139792614656528 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25776] ppid=25766 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/25769/task/25776/stat : 25776 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 30849 33554432000 4194304 4196468 140731543865136 139792613603984 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25777] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25777/stat : 25777 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 30849 33554432000 4194304 4196468 140731543865136 139792612550928 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25778] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25778/stat : 25778 (java) S 25766 25766 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 30849 33554432000 4194304 4196468 140731543865136 139792611498384 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25779] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25779/stat : 25779 (java) S 25766 25766 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236036900 27969433600 30849 33554432000 4194304 4196468 140731543865136 139791052040944 139792799427202 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25780] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25780/stat : 25780 (java) S 25766 25766 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236036901 27969433600 30849 33554432000 4194304 4196468 140731543865136 139790649386656 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25781] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25781/stat : 25781 (java) S 25766 25766 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236036901 27969433600 30849 33554432000 4194304 4196468 140731543865136 139790380950768 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25782] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25782/stat : 25782 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036903 27969433600 30849 33554432000 4194304 4196468 140731543865136 139790006442448 139792799434651 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25783] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25783/stat : 25783 (java) S 25766 25766 22617 0 -1 1077944384 181 0 0 0 0 0 0 0 20 0 20 0 236036903 27969433600 30849 33554432000 4194304 4196468 140731543865136 139791050987760 139792799427202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25784] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25784/stat : 25784 (java) S 25766 25766 22617 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236036903 27969433600 30849 33554432000 4194304 4196468 140731543865136 139791049935216 139792799427202 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25785] ppid=25766 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/25769/task/25785/stat : 25785 (java) S 25766 25766 22617 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 20 0 236036903 27969433600 30849 33554432000 4194304 4196468 140731543865136 139791048882160 139792799427202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25786] ppid=25766 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/25769/task/25786/stat : 25786 (java) S 25766 25766 22617 0 -1 1077944384 256 0 0 0 2 0 0 0 20 0 20 0 236036904 27969433600 30849 33554432000 4194304 4196468 140731543865136 139791047829616 139792799427202 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25787] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25787/stat : 25787 (java) S 25766 25766 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236036904 27969433600 30849 33554432000 4194304 4196468 140731543865136 139789508537312 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25788] ppid=25766 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/25769/task/25788/stat : 25788 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036904 27969433600 30849 33554432000 4194304 4196468 140731543865136 139791046778032 139792799427202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 124788 KiB

[startup+0.31038 s]*
/proc/loadavg: 2.42 5.27 7.17 2/202 25788
/proc/meminfo: memFree=17670804/32770624 swapFree=67108688/67108860
[pid=25766] ppid=25763 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/25766/stat : 25766 (scop.sh) S 25763 25766 22617 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 236036896 115843072 348 33554432000 4194304 5098028 140729077717744 140729077715000 140307376935548 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31911936 140729077720098 140729077720323 140729077720323 140729077723085 0
/proc/25766/statm: 28282 348 296 221 0 87 0
[pid=25769] ppid=25766 vsize=27313900 memory=127688 CPUtime=0.42 cores=0-7
/proc/25769/stat : 25769 (java) S 25766 25766 22617 0 -1 1077944320 11159 0 0 0 37 5 0 0 20 0 20 0 236036896 27969433600 31922 33554432000 4194304 4196468 140731543865136 140731543847680 139792799416055 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
/proc/25769/statm: 6828475 31922 2993 1 0 6790935 0
[pid=25769/tid=25770] ppid=25766 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/25769/task/25770/stat : 25770 (java) R 25766 25766 22617 0 -1 4202560 8901 0 0 0 26 3 0 0 20 0 20 0 236036896 27969433600 31922 33554432000 4194304 4196468 140731543865136 139792771211504 139792780979607 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25771] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25771/stat : 25771 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 31922 33554432000 4194304 4196468 140731543865136 139792803658768 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25772] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25772/stat : 25772 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 31922 33554432000 4194304 4196468 140731543865136 139792617815184 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25773] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25773/stat : 25773 (java) S 25766 25766 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 31922 33554432000 4194304 4196468 140731543865136 139792616762128 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25774] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25774/stat : 25774 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 31922 33554432000 4194304 4196468 140731543865136 139792615709584 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25775] ppid=25766 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/25769/task/25775/stat : 25775 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 31922 33554432000 4194304 4196468 140731543865136 139792614656528 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25776] ppid=25766 vsize=27313900 memory=139701528916911 CPUtime=0 cores=0-7
/proc/25769/task/25776/stat : 25776 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 31922 33554432000 4194304 4196468 140731543865136 139792613603984 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25777] ppid=25766 vsize=27313900 memory=139701528919216 CPUtime=0 cores=0-7
/proc/25769/task/25777/stat : 25777 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 31922 33554432000 4194304 4196468 140731543865136 139792612550928 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25778] ppid=25766 vsize=27313900 memory=139701528921520 CPUtime=0 cores=0-7
/proc/25769/task/25778/stat : 25778 (java) S 25766 25766 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236036899 27969433600 31922 33554432000 4194304 4196468 140731543865136 139792611498384 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25779] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25779/stat : 25779 (java) S 25766 25766 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236036900 27969433600 31922 33554432000 4194304 4196468 140731543865136 139791052040944 139792799427202 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25780] ppid=25766 vsize=27313900 memory=279403057850000 CPUtime=0 cores=0-7
/proc/25769/task/25780/stat : 25780 (java) S 25766 25766 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236036901 27969433600 31922 33554432000 4194304 4196468 140731543865136 139790649386656 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25781] ppid=25766 vsize=27313900 memory=279403057856912 CPUtime=0 cores=0-7
/proc/25769/task/25781/stat : 25781 (java) S 25766 25766 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236036901 27969433600 31922 33554432000 4194304 4196468 140731543865136 139790380950768 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25782] ppid=25766 vsize=27313900 memory=279403057798192 CPUtime=0 cores=0-7
/proc/25769/task/25782/stat : 25782 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036903 27969433600 31922 33554432000 4194304 4196468 140731543865136 139790006442448 139792799434651 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25783] ppid=25766 vsize=27313900 memory=279403057870736 CPUtime=0.01 cores=0-7
/proc/25769/task/25783/stat : 25783 (java) S 25766 25766 22617 0 -1 1077944384 204 0 0 0 1 0 0 0 20 0 20 0 236036903 27969433600 31922 33554432000 4194304 4196468 140731543865136 139791050987760 139792799427202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25784] ppid=25766 vsize=27313900 memory=279403057877648 CPUtime=0.01 cores=0-7
/proc/25769/task/25784/stat : 25784 (java) S 25766 25766 22617 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 20 0 236036903 27969433600 31922 33554432000 4194304 4196468 140731543865136 139791049935216 139792799427202 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25785] ppid=25766 vsize=27313900 memory=279403057875344 CPUtime=0.01 cores=0-7
/proc/25769/task/25785/stat : 25785 (java) S 25766 25766 22617 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 20 0 236036903 27969433600 31922 33554432000 4194304 4196468 140731543865136 139791048882160 139792799427202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25786] ppid=25766 vsize=27313900 memory=279403057891504 CPUtime=0.07 cores=0-7
/proc/25769/task/25786/stat : 25786 (java) S 25766 25766 22617 0 -1 1077944384 277 0 0 0 7 0 0 0 20 0 20 0 236036904 27969433600 31922 33554432000 4194304 4196468 140731543865136 139791047829616 139792799427202 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25787] ppid=25766 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25787/stat : 25787 (java) S 25766 25766 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236036904 27969433600 31922 33554432000 4194304 4196468 140731543865136 139789508537312 139792799426261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25788] ppid=25766 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/25769/task/25788/stat : 25788 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036904 27969433600 31922 33554432000 4194304 4196468 140731543865136 139791046778032 139792799427202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 129080 KiB

[startup+0.700997 s]
/proc/loadavg: 2.42 5.27 7.17 2/202 25788
/proc/meminfo: memFree=17646620/32770624 swapFree=67108688/67108860
[pid=25766] ppid=25763 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/25766/stat : 25766 (scop.sh) S 25763 25766 22617 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 236036896 115843072 348 33554432000 4194304 5098028 140729077717744 140729077715000 140307376935548 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31911936 140729077720098 140729077720323 140729077720323 140729077723085 0
/proc/25766/statm: 28282 348 296 221 0 87 0
[pid=25769] ppid=25766 vsize=27320172 memory=166644 CPUtime=1.01 cores=0-7
/proc/25769/stat : 25769 (java) S 25766 25766 22617 0 -1 1077944320 18149 0 0 0 94 7 0 0 20 0 20 0 236036896 27975856128 41661 33554432000 4194304 4196468 140731543865136 140731543847680 139792799416055 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
/proc/25769/statm: 6830043 41661 3123 1 0 6791447 0
[pid=25769/tid=25770] ppid=25766 vsize=27320172 memory=279403058249392 CPUtime=0.66 cores=0-7
/proc/25769/task/25770/stat : 25770 (java) R 25766 25766 22617 0 -1 4202560 15390 0 0 0 61 5 0 0 20 0 20 0 236036896 27975856128 41661 33554432000 4194304 4196468 140731543865136 139792771253632 139792799437981 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25771] ppid=25766 vsize=27320172 memory=139701529125744 CPUtime=0 cores=0-7
/proc/25769/task/25771/stat : 25771 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036899 27975856128 41661 33554432000 4194304 4196468 140731543865136 139792803658768 139792799426261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25772] ppid=25766 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/25769/task/25772/stat : 25772 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236036899 27975856128 41661 33554432000 4194304 4196468 140731543865136 139792617815184 139792799426261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0
[pid=25769/tid=25773] ppid=25766 vsize=27320172 memory=1616 CPUtime=0 cores=0-7
/proc/25769/task/25773/stat : 25773 (java) S 25766 25766 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236036899 27975856128 41661 33554432000 4194304 4196468 140731543865136 139792616762128 139792799426261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140731543872488 140731543872813 140731543872813 140731543875535 0

################
# More data... #
################

[pid=25789/tid=25791] ppid=25766 vsize=8413904 memory=8916 CPUtime=0 cores=0-7
/proc/25789/task/25791/stat : 25791 (java) S 25766 25766 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236038163 8615837696 32384 33554432000 4194304 4196468 140725950042960 140687793728016 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25792] ppid=25766 vsize=8413904 memory=15196 CPUtime=0 cores=0-7
/proc/25789/task/25792/stat : 25792 (java) S 25766 25766 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236038163 8615837696 32384 33554432000 4194304 4196468 140725950042960 140687274486416 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25793] ppid=25766 vsize=8413904 memory=16348 CPUtime=0 cores=0-7
/proc/25789/task/25793/stat : 25793 (java) S 25766 25766 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236038163 8615837696 32384 33554432000 4194304 4196468 140725950042960 140687273433360 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25794] ppid=25766 vsize=8413904 memory=1176 CPUtime=0 cores=0-7
/proc/25789/task/25794/stat : 25794 (java) S 25766 25766 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236038163 8615837696 32384 33554432000 4194304 4196468 140725950042960 140687272380816 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25795] ppid=25766 vsize=8413904 memory=35448 CPUtime=0 cores=0-7
/proc/25789/task/25795/stat : 25795 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236038163 8615837696 32384 33554432000 4194304 4196468 140725950042960 140687271328784 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25796] ppid=25766 vsize=8413904 memory=4048 CPUtime=0 cores=0-7
/proc/25789/task/25796/stat : 25796 (java) S 25766 25766 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236038163 8615837696 32384 33554432000 4194304 4196468 140725950042960 140687270276240 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25797] ppid=25766 vsize=8413904 memory=508 CPUtime=0 cores=0-7
/proc/25789/task/25797/stat : 25797 (java) S 25766 25766 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236038163 8615837696 32384 33554432000 4194304 4196468 140725950042960 140687269223184 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25798] ppid=25766 vsize=8413904 memory=1728 CPUtime=0 cores=0-7
/proc/25789/task/25798/stat : 25798 (java) S 25766 25766 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236038163 8615837696 32384 33554432000 4194304 4196468 140725950042960 140687268170640 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25799] ppid=25766 vsize=8413904 memory=928 CPUtime=0 cores=0-7
/proc/25789/task/25799/stat : 25799 (java) S 25766 25766 22617 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236038165 8615837696 32384 33554432000 4194304 4196468 140725950042960 140687092746480 140687789496962 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25800] ppid=25766 vsize=8413904 memory=303430223234596890 CPUtime=0 cores=0-7
/proc/25789/task/25800/stat : 25800 (java) S 25766 25766 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236038165 8615837696 32384 33554432000 4194304 4196468 140725950042960 140686217176224 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25801] ppid=25766 vsize=8413904 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/25789/task/25801/stat : 25801 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236038165 8615837696 32384 33554432000 4194304 4196468 140725950042960 140685948740336 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25802] ppid=25766 vsize=8413904 memory=15538518206188108 CPUtime=0 cores=0-7
/proc/25789/task/25802/stat : 25802 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236038168 8615837696 32384 33554432000 4194304 4196468 140725950042960 140685574232016 140687789504411 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25803] ppid=25766 vsize=8413904 memory=6791534058613427641 CPUtime=0.13 cores=0-7
/proc/25789/task/25803/stat : 25803 (java) S 25766 25766 22617 0 -1 1077944384 618 0 0 0 13 0 0 0 20 0 24 0 236038168 8615837696 32384 33554432000 4194304 4196468 140725950042960 140687091694320 140687789496962 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25804] ppid=25766 vsize=8413904 memory=1224 CPUtime=0.16 cores=0-7
/proc/25789/task/25804/stat : 25804 (java) S 25766 25766 22617 0 -1 1077944384 450 0 0 0 16 0 0 0 20 0 24 0 236038168 8615837696 32384 33554432000 4194304 4196468 140725950042960 140687022484336 140687789496962 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25805] ppid=25766 vsize=8413904 memory=1468 CPUtime=0.16 cores=0-7
/proc/25789/task/25805/stat : 25805 (java) S 25766 25766 22617 0 -1 1077944384 704 0 0 0 16 0 0 0 20 0 24 0 236038168 8615837696 32384 33554432000 4194304 4196468 140725950042960 140687021431280 140687789496962 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25806] ppid=25766 vsize=8413904 memory=129536 CPUtime=0.22 cores=0-7
/proc/25789/task/25806/stat : 25806 (java) S 25766 25766 22617 0 -1 1077944384 836 0 0 0 22 0 0 0 20 0 24 0 236038168 8615837696 32384 33554432000 4194304 4196468 140725950042960 140687020378736 140687789496962 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25807] ppid=25766 vsize=8413904 memory=221731981674919 CPUtime=0 cores=0-7
/proc/25789/task/25807/stat : 25807 (java) S 25766 25766 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236038168 8615837696 32384 33554432000 4194304 4196468 140725950042960 140685076326880 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25808] ppid=25766 vsize=8413904 memory=3684137206047016818 CPUtime=0 cores=0-7
/proc/25789/task/25808/stat : 25808 (java) S 25766 25766 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236038168 8615837696 32384 33554432000 4194304 4196468 140725950042960 140687019326128 140687789496962 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25810] ppid=25766 vsize=8413904 memory=3612081716575464864 CPUtime=0 cores=0-7
/proc/25789/task/25810/stat : 25810 (java) S 25766 25766 22617 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236038247 8615837696 32384 33554432000 4194304 4196468 140725950042960 140687090308032 140687789510425 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25812] ppid=25766 vsize=8413904 memory=3616864695320899584 CPUtime=0 cores=0-7
/proc/25789/task/25812/stat : 25812 (java) S 25766 25766 22617 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 236038248 8615837696 32384 33554432000 4194304 4196468 140725950042960 140684405227568 140687789507741 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25813] ppid=25766 vsize=8413904 memory=139701529460288 CPUtime=0 cores=0-7
/proc/25789/task/25813/stat : 25813 (java) S 25766 25766 22617 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 236038248 8615837696 32384 33554432000 4194304 4196468 140725950042960 140684673663152 140687789507741 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25814] ppid=25766 vsize=8413904 memory=279403058784320 CPUtime=0 cores=0-7
/proc/25789/task/25814/stat : 25814 (java) S 25766 25766 22617 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 236038250 8615837696 32384 33554432000 4194304 4196468 140725950042960 140684136799648 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
Current children cumulated CPU time: 28.78 s
Current children cumulated vsize: 8651776 KiB
Current children cumulated memory: 231588 KiB

[startup+15.2014 s]
/proc/loadavg: 2.11 5.06 7.07 11/215 25822
/proc/meminfo: memFree=17289924/32770624 swapFree=67108688/67108860
[pid=25766] ppid=25763 vsize=113128 memory=1468 CPUtime=25.93 cores=0-7
/proc/25766/stat : 25766 (scop.sh) S 25763 25766 22617 0 -1 4202496 588 40966 0 0 0 0 2452 141 20 0 1 0 236036896 115843072 367 33554432000 4194304 5098028 140729077717744 140729077714488 140307376935548 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31911936 140729077720098 140729077720323 140729077720323 140729077723085 0
/proc/25766/statm: 28282 367 311 221 0 87 0
[pid=25789] ppid=25766 vsize=8413904 memory=136224 CPUtime=4.4 cores=0-7
/proc/25789/stat : 25789 (java) S 25766 25766 22617 0 -1 1077944320 19732 87972 0 0 159 11 254 16 20 0 23 0 236038162 8615837696 34056 33554432000 4194304 4196468 140725950042960 140725950025504 140687789485815 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
/proc/25789/statm: 2103476 34056 3159 1 0 2064875 0
[pid=25789/tid=25790] ppid=25766 vsize=8413904 memory=246503810 CPUtime=3.58 cores=0-7
/proc/25789/task/25790/stat : 25790 (java) S 25766 25766 22617 0 -1 1077944384 15559 87972 0 0 78 10 254 16 20 0 23 0 236038162 8615837696 34056 33554432000 4194304 4196468 140725950042960 140687761325968 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25791] ppid=25766 vsize=8413904 memory=0 CPUtime=2.7 cores=0-7
/proc/25789/task/25791/stat : 25791 (java) S 25766 25766 22617 0 -1 1077944384 2 87972 0 0 0 0 254 16 20 0 23 0 236038163 8615837696 34056 33554432000 4194304 4196468 140725950042960 140687793728016 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25792] ppid=25766 vsize=8413904 memory=56 CPUtime=2.7 cores=0-7
/proc/25789/task/25792/stat : 25792 (java) S 25766 25766 22617 0 -1 1077944384 2 87972 0 0 0 0 254 16 20 0 23 0 236038163 8615837696 34056 33554432000 4194304 4196468 140725950042960 140687274486416 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25793] ppid=25766 vsize=8413904 memory=0 CPUtime=2.7 cores=0-7
/proc/25789/task/25793/stat : 25793 (java) S 25766 25766 22617 0 -1 1077944384 2 87972 0 0 0 0 254 16 20 0 23 0 236038163 8615837696 34056 33554432000 4194304 4196468 140725950042960 140687273433360 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25794] ppid=25766 vsize=8413904 memory=0 CPUtime=2.7 cores=0-7
/proc/25789/task/25794/stat : 25794 (java) S 25766 25766 22617 0 -1 1077944384 2 87972 0 0 0 0 254 16 20 0 23 0 236038163 8615837696 34056 33554432000 4194304 4196468 140725950042960 140687272380816 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25795] ppid=25766 vsize=8413904 memory=0 CPUtime=2.7 cores=0-7
/proc/25789/task/25795/stat : 25795 (java) S 25766 25766 22617 0 -1 1077944384 1 87972 0 0 0 0 254 16 20 0 23 0 236038163 8615837696 34056 33554432000 4194304 4196468 140725950042960 140687271328784 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25796] ppid=25766 vsize=8413904 memory=0 CPUtime=2.7 cores=0-7
/proc/25789/task/25796/stat : 25796 (java) S 25766 25766 22617 0 -1 1077944384 2 87972 0 0 0 0 254 16 20 0 23 0 236038163 8615837696 34056 33554432000 4194304 4196468 140725950042960 140687270276240 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25797] ppid=25766 vsize=8413904 memory=0 CPUtime=2.7 cores=0-7
/proc/25789/task/25797/stat : 25797 (java) S 25766 25766 22617 0 -1 1077944384 2 87972 0 0 0 0 254 16 20 0 23 0 236038163 8615837696 34056 33554432000 4194304 4196468 140725950042960 140687269223184 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25798] ppid=25766 vsize=8413904 memory=2 CPUtime=2.7 cores=0-7
/proc/25789/task/25798/stat : 25798 (java) S 25766 25766 22617 0 -1 1077944384 3 87972 0 0 0 0 254 16 20 0 23 0 236038163 8615837696 34056 33554432000 4194304 4196468 140725950042960 140687268170640 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25799] ppid=25766 vsize=8413904 memory=0 CPUtime=2.7 cores=0-7
/proc/25789/task/25799/stat : 25799 (java) S 25766 25766 22617 0 -1 1077944384 5 87972 0 0 0 0 254 16 20 0 23 0 236038165 8615837696 34056 33554432000 4194304 4196468 140725950042960 140687092746480 140687789496962 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25800] ppid=25766 vsize=8413904 memory=0 CPUtime=2.7 cores=0-7
/proc/25789/task/25800/stat : 25800 (java) S 25766 25766 22617 0 -1 1077944384 13 87972 0 0 0 0 254 16 20 0 23 0 236038165 8615837696 34056 33554432000 4194304 4196468 140725950042960 140686217176224 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25801] ppid=25766 vsize=8413904 memory=0 CPUtime=2.7 cores=0-7
/proc/25789/task/25801/stat : 25801 (java) S 25766 25766 22617 0 -1 1077944384 1 87972 0 0 0 0 254 16 20 0 23 0 236038165 8615837696 34056 33554432000 4194304 4196468 140725950042960 140685948740336 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25802] ppid=25766 vsize=8413904 memory=0 CPUtime=2.7 cores=0-7
/proc/25789/task/25802/stat : 25802 (java) S 25766 25766 22617 0 -1 1077944384 1 87972 0 0 0 0 254 16 20 0 23 0 236038168 8615837696 34056 33554432000 4194304 4196468 140725950042960 140685574232016 140687789504411 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25803] ppid=25766 vsize=8413904 memory=303148748257886234 CPUtime=2.85 cores=0-7
/proc/25789/task/25803/stat : 25803 (java) R 25766 25766 22617 0 -1 4202560 631 87972 0 0 15 0 254 16 20 0 23 0 236038168 8615837696 34056 33554432000 4194304 4196468 140725950042960 140687091694320 140687772982039 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25804] ppid=25766 vsize=8413904 memory=303148769816609083 CPUtime=2.87 cores=0-7
/proc/25789/task/25804/stat : 25804 (java) R 25766 25766 22617 0 -1 4202560 454 87972 0 0 17 0 254 16 20 0 23 0 236038168 8615837696 34056 33554432000 4194304 4196468 140725950042960 140687022466608 140687775500395 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25805] ppid=25766 vsize=8413904 memory=15538518206188108 CPUtime=2.88 cores=0-7
/proc/25789/task/25805/stat : 25805 (java) R 25766 25766 22617 0 -1 4202560 715 87972 0 0 18 0 254 16 20 0 23 0 236038168 8615837696 34056 33554432000 4194304 4196468 140725950042960 140687021431280 140687768675406 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25806] ppid=25766 vsize=8413904 memory=7590119258531016086 CPUtime=2.94 cores=0-7
/proc/25789/task/25806/stat : 25806 (java) S 25766 25766 22617 0 -1 1077944384 888 87972 0 0 24 0 254 16 20 0 23 0 236038168 8615837696 34056 33554432000 4194304 4196468 140725950042960 140687020378736 140687789496962 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25807] ppid=25766 vsize=8413904 memory=7590119258531016086 CPUtime=2.7 cores=0-7
/proc/25789/task/25807/stat : 25807 (java) S 25766 25766 22617 0 -1 1077944384 3 87972 0 0 0 0 254 16 20 0 23 0 236038168 8615837696 34056 33554432000 4194304 4196468 140725950042960 140685076326880 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25808] ppid=25766 vsize=8413904 memory=7590119258531016086 CPUtime=2.7 cores=0-7
/proc/25789/task/25808/stat : 25808 (java) S 25766 25766 22617 0 -1 1077944384 1 87972 0 0 0 0 254 16 20 0 23 0 236038168 8615837696 34056 33554432000 4194304 4196468 140725950042960 140687019326128 140687789496962 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25810] ppid=25766 vsize=8413904 memory=7590119258531016086 CPUtime=2.7 cores=0-7
/proc/25789/task/25810/stat : 25810 (java) S 25766 25766 22617 0 -1 1077944384 23 87972 0 0 0 0 254 16 20 0 23 0 236038247 8615837696 34056 33554432000 4194304 4196468 140725950042960 140687090307216 140687789496962 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25812] ppid=25766 vsize=8413904 memory=7590119258531016086 CPUtime=2.74 cores=0-7
/proc/25789/task/25812/stat : 25812 (java) R 25766 25766 22617 0 -1 4202560 81 87972 0 0 4 0 254 16 20 0 23 0 236038248 8615837696 34056 33554432000 4194304 4196468 140725950042960 140684405233744 140687295755656 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25814] ppid=25766 vsize=8413904 memory=0 CPUtime=2.7 cores=0-7
/proc/25789/task/25814/stat : 25814 (java) S 25766 25766 22617 0 -1 1077944384 10 87972 0 0 0 0 254 16 20 0 23 0 236038250 8615837696 34056 33554432000 4194304 4196468 140725950042960 140684136799408 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
Current children cumulated CPU time: 30.33 s
Current children cumulated vsize: 8527032 KiB
Current children cumulated memory: 137692 KiB

[startup+15.3027 s]
/proc/loadavg: 2.11 5.06 7.07 11/215 25822
/proc/meminfo: memFree=17289924/32770624 swapFree=67108688/67108860
[pid=25766] ppid=25763 vsize=113128 memory=1468 CPUtime=25.93 cores=0-7
/proc/25766/stat : 25766 (scop.sh) S 25763 25766 22617 0 -1 4202496 588 40966 0 0 0 0 2452 141 20 0 1 0 236036896 115843072 367 33554432000 4194304 5098028 140729077717744 140729077714488 140307376935548 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31911936 140729077720098 140729077720323 140729077720323 140729077723085 0
/proc/25766/statm: 28282 367 311 221 0 87 0
[pid=25789] ppid=25766 vsize=8282828 memory=137852 CPUtime=4.63 cores=0-7
/proc/25789/stat : 25789 (java) S 25766 25766 22617 0 -1 1077944320 20168 87972 0 0 182 11 254 16 20 0 22 0 236038162 8481615872 34463 33554432000 4194304 4196468 140725950042960 140725950025504 140687789485815 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
/proc/25789/statm: 2070707 34463 3164 1 0 2032106 0
[pid=25789/tid=25790] ppid=25766 vsize=8282828 memory=369676 CPUtime=3.67 cores=0-7
/proc/25789/task/25790/stat : 25790 (java) R 25766 25766 22617 0 -1 4202560 15820 87972 0 0 87 10 254 16 20 0 22 0 236038162 8481615872 34463 33554432000 4194304 4196468 140725950042960 140687761323424 140687767488747 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25791] ppid=25766 vsize=8282828 memory=135244 CPUtime=2.7 cores=0-7
/proc/25789/task/25791/stat : 25791 (java) S 25766 25766 22617 0 -1 1077944384 2 87972 0 0 0 0 254 16 20 0 22 0 236038163 8481615872 34463 33554432000 4194304 4196468 140725950042960 140687793728016 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25792] ppid=25766 vsize=8282828 memory=56 CPUtime=2.7 cores=0-7
/proc/25789/task/25792/stat : 25792 (java) S 25766 25766 22617 0 -1 1077944384 2 87972 0 0 0 0 254 16 20 0 22 0 236038163 8481615872 34463 33554432000 4194304 4196468 140725950042960 140687274486416 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25793] ppid=25766 vsize=8282828 memory=7595975399340855380 CPUtime=2.7 cores=0-7
/proc/25789/task/25793/stat : 25793 (java) S 25766 25766 22617 0 -1 1077944384 2 87972 0 0 0 0 254 16 20 0 22 0 236038163 8481615872 34463 33554432000 4194304 4196468 140725950042960 140687273433360 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25794] ppid=25766 vsize=8282828 memory=279403058748160 CPUtime=2.7 cores=0-7
/proc/25789/task/25794/stat : 25794 (java) S 25766 25766 22617 0 -1 1077944384 2 87972 0 0 0 0 254 16 20 0 22 0 236038163 8481615872 34463 33554432000 4194304 4196468 140725950042960 140687272380816 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25795] ppid=25766 vsize=8282828 memory=0 CPUtime=2.7 cores=0-7
/proc/25789/task/25795/stat : 25795 (java) S 25766 25766 22617 0 -1 1077944384 1 87972 0 0 0 0 254 16 20 0 22 0 236038163 8481615872 34463 33554432000 4194304 4196468 140725950042960 140687271328784 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25796] ppid=25766 vsize=8282828 memory=0 CPUtime=2.7 cores=0-7
/proc/25789/task/25796/stat : 25796 (java) S 25766 25766 22617 0 -1 1077944384 2 87972 0 0 0 0 254 16 20 0 22 0 236038163 8481615872 34463 33554432000 4194304 4196468 140725950042960 140687270276240 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25797] ppid=25766 vsize=8282828 memory=0 CPUtime=2.7 cores=0-7
/proc/25789/task/25797/stat : 25797 (java) S 25766 25766 22617 0 -1 1077944384 2 87972 0 0 0 0 254 16 20 0 22 0 236038163 8481615872 34463 33554432000 4194304 4196468 140725950042960 140687269223184 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25798] ppid=25766 vsize=8282828 memory=279403057771472 CPUtime=2.7 cores=0-7
/proc/25789/task/25798/stat : 25798 (java) S 25766 25766 22617 0 -1 1077944384 3 87972 0 0 0 0 254 16 20 0 22 0 236038163 8481615872 34463 33554432000 4194304 4196468 140725950042960 140687268170640 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25799] ppid=25766 vsize=8282828 memory=876 CPUtime=2.7 cores=0-7
/proc/25789/task/25799/stat : 25799 (java) S 25766 25766 22617 0 -1 1077944384 5 87972 0 0 0 0 254 16 20 0 22 0 236038165 8481615872 34463 33554432000 4194304 4196468 140725950042960 140687092746480 140687789496962 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25800] ppid=25766 vsize=8282828 memory=5344 CPUtime=2.7 cores=0-7
/proc/25789/task/25800/stat : 25800 (java) S 25766 25766 22617 0 -1 1077944384 13 87972 0 0 0 0 254 16 20 0 22 0 236038165 8481615872 34463 33554432000 4194304 4196468 140725950042960 140686217176224 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25801] ppid=25766 vsize=8282828 memory=756 CPUtime=2.7 cores=0-7
/proc/25789/task/25801/stat : 25801 (java) S 25766 25766 22617 0 -1 1077944384 1 87972 0 0 0 0 254 16 20 0 22 0 236038165 8481615872 34463 33554432000 4194304 4196468 140725950042960 140685948740336 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25802] ppid=25766 vsize=8282828 memory=1224 CPUtime=2.7 cores=0-7
/proc/25789/task/25802/stat : 25802 (java) S 25766 25766 22617 0 -1 1077944384 1 87972 0 0 0 0 254 16 20 0 22 0 236038168 8481615872 34463 33554432000 4194304 4196468 140725950042960 140685574232016 140687789504411 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25803] ppid=25766 vsize=8282828 memory=1616 CPUtime=2.87 cores=0-7
/proc/25789/task/25803/stat : 25803 (java) R 25766 25766 22617 0 -1 4202560 651 87972 0 0 17 0 254 16 20 0 22 0 236038168 8481615872 34463 33554432000 4194304 4196468 140725950042960 140687091684112 140687767933115 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25804] ppid=25766 vsize=8282828 memory=1832 CPUtime=2.9 cores=0-7
/proc/25789/task/25804/stat : 25804 (java) S 25766 25766 22617 0 -1 1077944384 465 87972 0 0 20 0 254 16 20 0 22 0 236038168 8481615872 34463 33554432000 4194304 4196468 140725950042960 140687022484336 140687789496962 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25805] ppid=25766 vsize=8282828 memory=8916 CPUtime=2.91 cores=0-7
/proc/25789/task/25805/stat : 25805 (java) S 25766 25766 22617 0 -1 1077944384 732 87972 0 0 21 0 254 16 20 0 22 0 236038168 8481615872 34463 33554432000 4194304 4196468 140725950042960 140687021431280 140687789496962 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25806] ppid=25766 vsize=8282828 memory=1468 CPUtime=3 cores=0-7
/proc/25789/task/25806/stat : 25806 (java) R 25766 25766 22617 0 -1 4202560 1011 87972 0 0 30 0 254 16 20 0 22 0 236038168 8481615872 34463 33554432000 4194304 4196468 140725950042960 140687020376528 140687789497750 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25807] ppid=25766 vsize=8282828 memory=129536 CPUtime=2.7 cores=0-7
/proc/25789/task/25807/stat : 25807 (java) S 25766 25766 22617 0 -1 1077944384 3 87972 0 0 0 0 254 16 20 0 22 0 236038168 8481615872 34463 33554432000 4194304 4196468 140725950042960 140685076326880 140687789496021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25808] ppid=25766 vsize=8282828 memory=0 CPUtime=2.7 cores=0-7
/proc/25789/task/25808/stat : 25808 (java) S 25766 25766 22617 0 -1 1077944384 1 87972 0 0 0 0 254 16 20 0 22 0 236038168 8481615872 34463 33554432000 4194304 4196468 140725950042960 140687019326128 140687789496962 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25810] ppid=25766 vsize=8282828 memory=0 CPUtime=2.7 cores=0-7
/proc/25789/task/25810/stat : 25810 (java) S 25766 25766 22617 0 -1 1077944384 23 87972 0 0 0 0 254 16 20 0 22 0 236038247 8481615872 34463 33554432000 4194304 4196468 140725950042960 140687090307216 140687789496962 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
[pid=25789/tid=25814] ppid=25766 vsize=8282828 memory=7590118159019388310 CPUtime=2.7 cores=0-7
/proc/25789/task/25814/stat : 25814 (java) S 25766 25766 22617 0 -1 1077944384 14 87972 0 0 0 0 254 16 20 0 22 0 236038250 8481615872 34463 33554432000 4194304 4196468 140725950042960 140684136801456 140687789496962 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15327232 140725950051505 140725950051629 140725950051629 140725950054351 0
Current children cumulated CPU time: 30.56 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 139320 KiB

Child status: 0
Real time (s): 15.3907
CPU time (s): 30.8862
CPU user time (s): 29.1692
CPU system time (s): 1.71704
CPU usage (%): 200.681
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 5976012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.1692
system time used= 1.71704
maximum resident set size= 5975464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150175
page faults= 0
swaps= 0
block input operations= 0
block output operations= 84488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9427
involuntary context switches= 83


# summary of solver processes directly reported to runsolver:
#   pid: 25766
#   total CPU time (s): 30.8862
#   total CPU user time (s): 29.1692
#   total CPU system time (s): 1.71704

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.144895 second user time and 0.199231 second system time

The end

Launcher Data 

Begin job on node134 at 2018-08-13 20:25:37
IDJOB=4307274
IDBENCH=141227
IDSOLVER=2788
FILE ID=node134/4307274-1534184737
RUNJOBID= node134-1534182009-22644
PBS_JOBID= 21037981
Free space on /tmp= 42776 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-fpga45-45-sat_c18.xml
COMMAND LINE= scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307274-1534184737/watcher-4307274-1534184737 -o /tmp/evaluation-result-4307274-1534184737/solver-4307274-1534184737 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1534182009-22644 --watchdog 2580  scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307274-1534184737.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= c010012410fc2279b5e14fdb4de11b49
RANDOM SEED=1708959097

node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        17787776 kB
MemAvailable:   31901020 kB
Buffers:          227604 kB
Cached:         14034372 kB
SwapCached:           52 kB
Active:          4499684 kB
Inactive:        9817548 kB
Active(anon):       4436 kB
Inactive(anon):   103128 kB
Active(file):    4495248 kB
Inactive(file):  9714420 kB
Unevictable:        7392 kB
Mlocked:            7392 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:              8760 kB
Writeback:             0 kB
AnonPages:         62164 kB
Mapped:            55928 kB
Shmem:             49652 kB
Slab:             360672 kB
SReclaimable:     332036 kB
SUnreclaim:        28636 kB
KernelStack:        3248 kB
PageTables:         5108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 42768 MiB
End job on node134 at 2018-08-13 20:25:52