Trace number 4307275

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 12.294 5.54655

General information on the benchmark

NamePseudoBoolean-dec/
Pb-robin08_c18.xml
MD5SUM1bc3f3e5ba546c0eba55cc781441057a
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 benchmark4.45957
Satisfiable
(Un)Satisfiability was proved
Number of variables784
Number of constraints256
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":784}]
Minimum variable degree10
Maximum variable degree10
Distribution of variable degrees[{"degree":10,"count":784}]
Minimum constraint arity28
Maximum constraint arity49
Distribution of constraint arities[{"arity":28,"count":224},{"arity":49,"count":32}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":256}]
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-8482-serial-file.bin HOME/instance-4307275-1534187733.xml
0.64/0.54	
0.64/0.54	scop order+glucose-syrup (2018-07-31)
0.64/0.54	(Encoding Process)
0.64/0.54	
0.64/0.57	c BEGIN-Prog: Mon Aug 13 21:15:33 CEST 2018
0.64/0.57	c PID: 8485
0.64/0.57	c IP: 172.20.3.102
0.64/0.57	c HOST: node102.alineos.net
0.64/0.58	c (0,0) Parsing Begin
2.06/1.19	c (0,0) Parsing End
2.44/1.20	c (0,0) CSP: 0 int (0 aux), 784 bool (0 aux), 256 ctr, max domain size 2
2.44/1.20	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.44/1.20	c (0,0) Constraint Name Generate Begin
2.44/1.21	c (0,0) Ctr:HOME/instance-4307275-1534187733.xml,IntVar:Num:WeightedSum
2.44/1.21	c (0,0) Constraint Name Generate End
2.44/1.21	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.44/1.21	c (0,0) CSP to CSPinCNF Begin
3.06/1.40	c (0,0) translated 26 (10%) constraints
3.06/1.44	c (0,0) translated 52 (20%) constraints
3.06/1.47	c (0,0) translated 77 (30%) constraints
3.35/1.50	c (0,0) translated 103 (40%) constraints
3.35/1.53	c (0,0) translated 128 (50%) constraints
3.35/1.56	c (1,1) translated 154 (60%) constraints
3.35/1.58	c (1,1) translated 180 (70%) constraints
3.72/1.60	c (1,1) translated 205 (80%) constraints
3.72/1.64	c (1,1) translated 231 (90%) constraints
3.72/1.69	c (1,1) translated 256 (100%) constraints
4.46/1.84	c (1,1) STATISTICS1:HOME/instance-4307275-1534187733.xml,IntVar:Num:WeightedSum,784,256,281474976710656,2,1,49,281474976710656:32;134217728:224,2:7840,1:256,49:32;28:224,
4.46/1.84	c (1,1) ==========================================
4.46/1.84	c (1,1) Order
4.46/1.84	c (1,1) ==========================================
4.90/1.94	c (1,1) translated 26 (10%) constraints
4.90/2.00	c (1,1) translated 52 (20%) constraints
5.41/2.03	c (1,1) translated 77 (30%) constraints
5.41/2.07	c (1,1) translated 103 (40%) constraints
5.41/2.10	c (1,1) translated 128 (50%) constraints
5.84/2.14	c (1,1) translated 154 (60%) constraints
5.84/2.16	c (1,1) translated 180 (70%) constraints
5.84/2.19	c (1,1) translated 205 (80%) constraints
6.20/2.23	c (1,1) translated 231 (90%) constraints
6.20/2.28	c (1,1) translated 256 (100%) constraints
6.20/2.29	c (1,1) CSP to CSPinCNF End
6.20/2.29	c (1,1) CSP: 960 int (960 aux), 784 bool (0 aux), 1216 ctr, max domain size 11
6.20/2.29	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.20/2.29	c (1,1) CSPinCNF Propagation Begin
6.50/2.35	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
6.50/2.35	c (1,1) CSPinCNF Propagation End
6.50/2.35	c (1,1) CSP: 960 int (960 aux), 784 bool (0 aux), 1216 ctr, max domain size 11
6.50/2.35	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.50/2.35	c (1,1) Simplify CSPinCNF Begin
6.50/2.36	c (1,1) Simplify CSPinCNF End
6.50/2.36	c (1,1) CSP: 960 int (960 aux), 784 bool (0 aux), 1216 ctr, max domain size 11
6.50/2.36	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.50/2.36	c (1,1) Calculate Precise Domain Begin
6.89/2.44	c (1,1) 0 values are removed by re-calculation
6.89/2.44	c (1,1) Calculate Precise Domain End
6.89/2.44	c (1,1) CSP: 960 int (960 aux), 784 bool (0 aux), 1216 ctr, max domain size 11
6.89/2.44	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.89/2.44	c (1,1) CSPinCNF to SatSolver Begin
7.28/2.56	c (2,2) 122 (10 %) CSP clauses are encoded (4832 SAT variables, 7531 SAT clauses)
7.66/2.60	c (2,2) 244 (20 %) CSP clauses are encoded (4832 SAT variables, 12071 SAT clauses)
7.66/2.63	c (2,2) 365 (30 %) CSP clauses are encoded (4832 SAT variables, 16556 SAT clauses)
8.08/2.77	c (2,2) 487 (40 %) CSP clauses are encoded (4832 SAT variables, 39102 SAT clauses)
8.81/3.09	c (2,2) 608 (50 %) CSP clauses are encoded (4832 SAT variables, 100993 SAT clauses)
9.12/3.34	c (2,2) 730 (60 %) CSP clauses are encoded (4832 SAT variables, 162885 SAT clauses)
9.41/3.60	c (3,3) 852 (70 %) CSP clauses are encoded (4832 SAT variables, 225799 SAT clauses)
9.52/3.71	c (3,3) 973 (80 %) CSP clauses are encoded (4832 SAT variables, 253554 SAT clauses)
9.52/3.74	c (3,3) 1095 (90 %) CSP clauses are encoded (4832 SAT variables, 261057 SAT clauses)
9.52/3.77	c (3,3) 1216 (100 %) CSP clauses are encoded (4832 SAT variables, 268553 SAT clauses)
9.52/3.77	c (3,3) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
9.52/3.77	c (3,3) CSPinCNF to SatSolver End
9.52/3.77	c (3,3) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.67/3.81	c (3,3) STATISTICS2:HOME/instance-4307275-1534187733.xml,IntVar:Num:WeightedSum,1744,1216,1024,11,1,11,1024:224;512:480;256:160;100:112;9:128;4:112,11:224;10:448;3:576;2:8512,1:1216,11:224;10:480;9:160;3:352,
9.67/3.81	c (3,3) 4832 bool, 268560 clause
9.67/3.81	c (3,3) Export Begin
10.00/4.06	c (3,3) Export to HOME/scop-8482-serial-file.bin
10.00/4.06	c (3,3) Export End
10.00/4.06	c (3,3) Export File Size: 0.12 MB
10.00/4.06	c (3,3) 0,0,1,1,1,1,3,STOP-AFTER(DIMACS)
10.00/4.06	c END-Prog: Mon Aug 13 21:15:37 CEST 2018
10.00/4.07	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-8482-serial-file.bin
10.07/4.57	c (0,0) Read Serial File Begin
10.07/4.57	c (0,0) HOME/scop-8482-serial-file.bin
10.07/4.77	c (0,0) Read Serial File End
10.07/4.78	
10.07/4.78	scop order+glucose-syrup (2018-07-31)
10.07/4.78	(Solving Process)
10.07/4.78	
10.07/4.81	c BEGIN-Prog: Mon Aug 13 21:15:38 CEST 2018
10.07/4.81	c PID: 8505
10.07/4.81	c IP: 172.20.3.102
10.07/4.81	c HOST: node102.alineos.net
10.07/4.81	c (0,0) SatSolver.solve Begin
10.07/4.81	c (0,0) 0 bool, 0 clause
10.07/4.81	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307275-1534187733.xml-scop-8485.cnf
11.82/5.39	c (0,0) c
11.82/5.39	c (0,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
11.82/5.39	c (0,0) c
11.82/5.39	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
11.82/5.39	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
11.82/5.39	c (0,0) c ========================================[ Problem Statistics ]===========================================
11.82/5.39	c (0,0) c |                                                                                                       |
11.82/5.39	c (0,0) c |  Number of variables:          4832                                                                   |
11.82/5.39	c (0,0) c |  Number of clauses:          268560                                                                   |
11.82/5.39	c (0,0) c |  Parse time:                   0.10 s                                                                 |
11.82/5.39	c (0,0) c |                                                                                                       |
11.82/5.39	c (0,0) c |  Eliminated clauses:           0.03 Mb                                                                |
11.82/5.39	c (0,0) c |  Simplification time:          0.41 s                                                                 |
11.82/5.39	c (0,0) c |                                                                                                       |
11.82/5.39	c (0,0) c |  Generating clones                                                                                    |
11.82/5.39	c (0,0) c |  all clones generated. Memory =  86.59Mb.                                                             |
11.82/5.39	c (0,0) c ========================================================================================================|
11.82/5.39	c (0,0) c last restart ## conflicts  :  44 119 
11.82/5.39	c (0,0) c Thread 4 is 100% pure glucose! First thread to finish! (SAT answer).
11.82/5.39	c (0,0) c Total Memory so far : 662.75Mb
11.82/5.39	c (0,0) c
11.82/5.39	c (0,0) c real time : 0.550111 s
11.82/5.39	c (0,0) c cpu time  : 0.56976 s
11.82/5.39	c (0,0) c
11.82/5.39	c (0,0) c
11.82/5.39	c (0,0) c
11.82/5.39	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
11.82/5.39	c (0,0) c
11.82/5.39	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
11.82/5.39	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
11.82/5.39	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
11.82/5.39	c (0,0) c | Conflicts     |            1618 |        166 |        207 |        206 |        211 |        199 |        209 |        206 |        214 |
11.82/5.39	c (0,0) c | Decisions     |            5817 |        421 |        849 |        687 |        857 |        604 |        853 |        687 |        859 |
11.82/5.39	c (0,0) c | Propagations  |          180775 |      17189 |      23689 |      22693 |      24315 |      21822 |      23977 |      22693 |      24397 |
11.82/5.39	c (0,0) c | Avg_Trail     |                 |       1315 |       1066 |       1064 |       1067 |       1085 |       1065 |       1064 |       1071 |
11.82/5.39	c (0,0) c | Avg_DL        |                 |         60 |         86 |         85 |         87 |         65 |         86 |         85 |         88 |
11.82/5.39	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
11.82/5.39	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
11.82/5.39	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
11.82/5.39	c (0,0) c | Exported      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
11.82/5.39	c (0,0) c | Imported      |              49 |          0 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |
11.82/5.39	c (0,0) c | Good          |              49 |          0 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |
11.82/5.39	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
11.82/5.39	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
11.82/5.39	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
11.82/5.39	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
11.82/5.39	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
11.82/5.39	c (0,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
11.82/5.39	c (0,0) c | Binaries      |                 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
11.82/5.39	c (0,0) c | Glues         |                 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
11.82/5.39	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
11.82/5.39	c (0,0) c | Orig_Seen     |             0 % |       1448 |       1882 |       1869 |       1920 |       1688 |       1896 |       1869 |       1953 |
11.82/5.39	c (0,0) c | Diff Orig seen|                 | -      240 |        194 |        181 |        232 |      X     |        208 |        181 |        265 |
11.82/5.39	c (0,0) c | Hamming       |             8 % |        502 |        369 |        401 |        379 |      X     |        374 |        401 |        379 |
11.82/5.39	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
11.82/5.39	c (0,0) 
11.82/5.39	c (0,0) s SATISFIABLE
11.99/5.41	c (0,0) SatSolver.solve End
11.99/5.41	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
11.99/5.41	c (0,0) Show results Begin
12.17/5.50	s SATISFIABLE
12.17/5.53	v <instantiation>
12.17/5.53	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]</list>
12.17/5.53	v     <values>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 1 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 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 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 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 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 0 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 1 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 1 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 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 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 1 0 0 0 0 0 0 0 0 0 0</values>
12.17/5.53	v </instantiation>
12.17/5.53	c (1,0) Show results End
12.17/5.53	c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
12.17/5.53	c (1,0) 0,1,STOP-AFTER(ALL)
12.17/5.53	c END-Prog: Mon Aug 13 21:15:38 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 (13976 MiB free)
  memory of node 1: 16384 MiB (13111 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307275-1534187733/watcher-4307275-1534187733 -o /tmp/evaluation-result-4307275-1534187733/solver-4307275-1534187733 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1534187733-8464 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307275-1534187733.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
solver pid=8482, runsolver pid=8479
Current StackSize limit: 8192 KiB


[startup+0.100108 s]*
/proc/loadavg: 1.03 1.51 1.79 2/200 8504
/proc/meminfo: memFree=27643716/32770624 swapFree=67030664/67108860
[pid=8482] ppid=8479 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/8482/stat : 8482 (scop.sh) S 8479 8482 8437 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236336457 115843072 348 33554432000 4194304 5098028 140726270447360 140726270444616 140639109694076 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30097408 140726270448674 140726270448899 140726270448899 140726270451661 0
/proc/8482/statm: 28282 348 296 221 0 87 0
[pid=8485] ppid=8482 vsize=27313900 memory=104940 CPUtime=0.09 cores=0-7
/proc/8485/stat : 8485 (java) S 8482 8482 8437 0 -1 1077944320 6181 0 0 0 7 2 0 0 20 0 20 0 236336457 27969433600 26235 33554432000 4194304 4196468 140722284478560 140722284461104 139980888526583 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
/proc/8485/statm: 6828475 26235 2719 1 0 6790935 0
[pid=8485/tid=8486] ppid=8482 vsize=27313900 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/8485/task/8486/stat : 8486 (java) R 8482 8482 8437 0 -1 4202560 4308 0 0 0 6 2 0 0 20 0 20 0 236336458 27969433600 26235 33554432000 4194304 4196468 140722284478560 139980860352912 139980872607070 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8487] ppid=8482 vsize=27313900 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8485/task/8487/stat : 8487 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 26747 33554432000 4194304 4196468 140722284478560 139980892768784 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8488] ppid=8482 vsize=27313900 memory=140485921072768 CPUtime=0 cores=0-7
/proc/8485/task/8488/stat : 8488 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 26747 33554432000 4194304 4196468 140722284478560 139980706925200 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8489] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8489/stat : 8489 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 26747 33554432000 4194304 4196468 140722284478560 139980705872144 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8490] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8490/stat : 8490 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 26747 33554432000 4194304 4196468 140722284478560 139980704819600 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8491] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8491/stat : 8491 (java) S 8482 8482 8437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 26747 33554432000 4194304 4196468 140722284478560 139980703767568 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8492] ppid=8482 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/8485/task/8492/stat : 8492 (java) S 8482 8482 8437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 26747 33554432000 4194304 4196468 140722284478560 139980306021520 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8493] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8493/stat : 8493 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 26747 33554432000 4194304 4196468 140722284478560 139980304968464 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8494] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8494/stat : 8494 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 26747 33554432000 4194304 4196468 140722284478560 139980303915920 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8495] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8495/stat : 8495 (java) S 8482 8482 8437 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 236336462 27969433600 26747 33554432000 4194304 4196468 140722284478560 139978940344560 139980888537730 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8496] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8496/stat : 8496 (java) S 8482 8482 8437 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236336463 27969433600 26747 33554432000 4194304 4196468 140722284478560 139978822640800 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8497] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8497/stat : 8497 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336463 27969433600 26747 33554432000 4194304 4196468 140722284478560 139978554204912 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8498] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8498/stat : 8498 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336466 27969433600 26747 33554432000 4194304 4196468 140722284478560 139978179696592 139980888545179 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8499] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8499/stat : 8499 (java) S 8482 8482 8437 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 236336466 27969433600 26747 33554432000 4194304 4196468 140722284478560 139978939292400 139980888537730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8500] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8500/stat : 8500 (java) S 8482 8482 8437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236336466 27969433600 26747 33554432000 4194304 4196468 140722284478560 139978938239856 139980888537730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8501] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8501/stat : 8501 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336466 27969433600 26747 33554432000 4194304 4196468 140722284478560 139978937186800 139980888537730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8502] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8502/stat : 8502 (java) R 8482 8482 8437 0 -1 4202560 238 0 0 0 0 0 0 0 20 0 20 0 236336466 27969433600 26747 33554432000 4194304 4196468 140722284478560 139978936134256 139980870175531 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8503] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8503/stat : 8503 (java) S 8482 8482 8437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236336466 27969433600 26747 33554432000 4194304 4196468 140722284478560 139977681791456 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8504] ppid=8482 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/8485/task/8504/stat : 8504 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336466 27969433600 26747 33554432000 4194304 4196468 140722284478560 139978935081648 139980888537730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 106332 KiB

[startup+0.20988 s]*
/proc/loadavg: 1.03 1.51 1.79 3/200 8504
/proc/meminfo: memFree=27625032/32770624 swapFree=67030664/67108860
[pid=8482] ppid=8479 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/8482/stat : 8482 (scop.sh) S 8479 8482 8437 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236336457 115843072 348 33554432000 4194304 5098028 140726270447360 140726270444616 140639109694076 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30097408 140726270448674 140726270448899 140726270448899 140726270451661 0
/proc/8482/statm: 28282 348 296 221 0 87 0
[pid=8485] ppid=8482 vsize=27313900 memory=124068 CPUtime=0.24 cores=0-7
/proc/8485/stat : 8485 (java) S 8482 8482 8437 0 -1 1077944320 10189 0 0 0 20 4 0 0 20 0 20 0 236336457 27969433600 31017 33554432000 4194304 4196468 140722284478560 140722284461104 139980888526583 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
/proc/8485/statm: 6828475 31017 2866 1 0 6790935 0
[pid=8485/tid=8486] ppid=8482 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/8485/task/8486/stat : 8486 (java) R 8482 8482 8437 0 -1 4202560 8095 0 0 0 16 3 0 0 20 0 20 0 236336458 27969433600 31017 33554432000 4194304 4196468 140722284478560 139980860316288 139980868801775 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8487] ppid=8482 vsize=27313900 memory=330 CPUtime=0 cores=0-7
/proc/8485/task/8487/stat : 8487 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 31017 33554432000 4194304 4196468 140722284478560 139980892768784 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8488] ppid=8482 vsize=27313900 memory=140485921081488 CPUtime=0 cores=0-7
/proc/8485/task/8488/stat : 8488 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 31017 33554432000 4194304 4196468 140722284478560 139980706925200 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8489] ppid=8482 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/8485/task/8489/stat : 8489 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 31017 33554432000 4194304 4196468 140722284478560 139980705872144 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8490] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8490/stat : 8490 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 31017 33554432000 4194304 4196468 140722284478560 139980704819600 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8491] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8491/stat : 8491 (java) S 8482 8482 8437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 31017 33554432000 4194304 4196468 140722284478560 139980703767568 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8492] ppid=8482 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/8485/task/8492/stat : 8492 (java) S 8482 8482 8437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 31017 33554432000 4194304 4196468 140722284478560 139980306021520 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8493] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8493/stat : 8493 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 31017 33554432000 4194304 4196468 140722284478560 139980304968464 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8494] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8494/stat : 8494 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 31017 33554432000 4194304 4196468 140722284478560 139980303915920 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8495] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8495/stat : 8495 (java) S 8482 8482 8437 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 236336462 27969433600 31017 33554432000 4194304 4196468 140722284478560 139978940344560 139980888537730 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8496] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8496/stat : 8496 (java) S 8482 8482 8437 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236336463 27969433600 31017 33554432000 4194304 4196468 140722284478560 139978822640800 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8497] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8497/stat : 8497 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336463 27969433600 31017 33554432000 4194304 4196468 140722284478560 139978554204912 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8498] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8498/stat : 8498 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336466 27969433600 31017 33554432000 4194304 4196468 140722284478560 139978179696592 139980888545179 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8499] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8499/stat : 8499 (java) S 8482 8482 8437 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 236336466 27969433600 31017 33554432000 4194304 4196468 140722284478560 139978939292400 139980888537730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8500] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8500/stat : 8500 (java) S 8482 8482 8437 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 236336466 27969433600 31017 33554432000 4194304 4196468 140722284478560 139978938239856 139980888537730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8501] ppid=8482 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/8485/task/8501/stat : 8501 (java) S 8482 8482 8437 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 236336466 27969433600 31017 33554432000 4194304 4196468 140722284478560 139978937186800 139980888537730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8502] ppid=8482 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/8485/task/8502/stat : 8502 (java) S 8482 8482 8437 0 -1 1077944384 287 0 0 0 2 0 0 0 20 0 20 0 236336466 27969433600 31017 33554432000 4194304 4196468 140722284478560 139978936134256 139980888537730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8503] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8503/stat : 8503 (java) S 8482 8482 8437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236336466 27969433600 31017 33554432000 4194304 4196468 140722284478560 139977681791456 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8504] ppid=8482 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/8485/task/8504/stat : 8504 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336466 27969433600 31017 33554432000 4194304 4196468 140722284478560 139978935081648 139980888537730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 125460 KiB

[startup+0.309461 s]*
/proc/loadavg: 1.03 1.51 1.79 2/200 8504
/proc/meminfo: memFree=27621512/32770624 swapFree=67030664/67108860
[pid=8482] ppid=8479 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/8482/stat : 8482 (scop.sh) S 8479 8482 8437 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236336457 115843072 348 33554432000 4194304 5098028 140726270447360 140726270444616 140639109694076 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30097408 140726270448674 140726270448899 140726270448899 140726270451661 0
/proc/8482/statm: 28282 348 296 221 0 87 0
[pid=8485] ppid=8482 vsize=27313900 memory=127860 CPUtime=0.4 cores=0-7
/proc/8485/stat : 8485 (java) S 8482 8482 8437 0 -1 1077944320 10764 0 0 0 36 4 0 0 20 0 20 0 236336457 27969433600 31965 33554432000 4194304 4196468 140722284478560 140722284461104 139980888526583 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
/proc/8485/statm: 6828475 31965 2964 1 0 6790935 0
[pid=8485/tid=8486] ppid=8482 vsize=27313900 memory=8112282956445269571 CPUtime=0.28 cores=0-7
/proc/8485/task/8486/stat : 8486 (java) R 8482 8482 8437 0 -1 4202560 8494 0 0 0 25 3 0 0 20 0 20 0 236336458 27969433600 31965 33554432000 4194304 4196468 140722284478560 139980860322032 139980868800165 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8487] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8487/stat : 8487 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 31965 33554432000 4194304 4196468 140722284478560 139980892768784 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8488] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8488/stat : 8488 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 31965 33554432000 4194304 4196468 140722284478560 139980706925200 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8489] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8489/stat : 8489 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 31965 33554432000 4194304 4196468 140722284478560 139980705872144 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8490] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8490/stat : 8490 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 31965 33554432000 4194304 4196468 140722284478560 139980704819600 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8491] ppid=8482 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/8485/task/8491/stat : 8491 (java) S 8482 8482 8437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 31965 33554432000 4194304 4196468 140722284478560 139980703767568 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8492] ppid=8482 vsize=27313900 memory=140485763101615 CPUtime=0 cores=0-7
/proc/8485/task/8492/stat : 8492 (java) S 8482 8482 8437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 31965 33554432000 4194304 4196468 140722284478560 139980306021520 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8493] ppid=8482 vsize=27313900 memory=140485763103920 CPUtime=0 cores=0-7
/proc/8485/task/8493/stat : 8493 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 31965 33554432000 4194304 4196468 140722284478560 139980304968464 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8494] ppid=8482 vsize=27313900 memory=140485763106224 CPUtime=0 cores=0-7
/proc/8485/task/8494/stat : 8494 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336461 27969433600 31965 33554432000 4194304 4196468 140722284478560 139980303915920 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8495] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8495/stat : 8495 (java) S 8482 8482 8437 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 236336462 27969433600 31965 33554432000 4194304 4196468 140722284478560 139978940344560 139980888537730 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8496] ppid=8482 vsize=27313900 memory=280971526219408 CPUtime=0 cores=0-7
/proc/8485/task/8496/stat : 8496 (java) S 8482 8482 8437 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236336463 27969433600 31965 33554432000 4194304 4196468 140722284478560 139978822640800 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8497] ppid=8482 vsize=27313900 memory=280971526226320 CPUtime=0 cores=0-7
/proc/8485/task/8497/stat : 8497 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336463 27969433600 31965 33554432000 4194304 4196468 140722284478560 139978554204912 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8498] ppid=8482 vsize=27313900 memory=280971526167472 CPUtime=0 cores=0-7
/proc/8485/task/8498/stat : 8498 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336466 27969433600 31965 33554432000 4194304 4196468 140722284478560 139978179696592 139980888545179 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8499] ppid=8482 vsize=27313900 memory=280971526240144 CPUtime=0.01 cores=0-7
/proc/8485/task/8499/stat : 8499 (java) S 8482 8482 8437 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 20 0 236336466 27969433600 31965 33554432000 4194304 4196468 140722284478560 139978939292400 139980888537730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8500] ppid=8482 vsize=27313900 memory=280971526247056 CPUtime=0.01 cores=0-7
/proc/8485/task/8500/stat : 8500 (java) S 8482 8482 8437 0 -1 1077944384 145 0 0 0 1 0 0 0 20 0 20 0 236336466 27969433600 31965 33554432000 4194304 4196468 140722284478560 139978938239856 139980888537730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8501] ppid=8482 vsize=27313900 memory=280971526244752 CPUtime=0.01 cores=0-7
/proc/8485/task/8501/stat : 8501 (java) S 8482 8482 8437 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 236336466 27969433600 31965 33554432000 4194304 4196468 140722284478560 139978937186800 139980888537730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8502] ppid=8482 vsize=27313900 memory=280971526260912 CPUtime=0.06 cores=0-7
/proc/8485/task/8502/stat : 8502 (java) S 8482 8482 8437 0 -1 1077944384 308 0 0 0 6 0 0 0 20 0 20 0 236336466 27969433600 31965 33554432000 4194304 4196468 140722284478560 139978936134256 139980888537730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8503] ppid=8482 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8503/stat : 8503 (java) S 8482 8482 8437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236336466 27969433600 31965 33554432000 4194304 4196468 140722284478560 139977681791456 139980888536789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8504] ppid=8482 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/8485/task/8504/stat : 8504 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336466 27969433600 31965 33554432000 4194304 4196468 140722284478560 139978935081648 139980888537730 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 129252 KiB

[startup+0.700862 s]
/proc/loadavg: 1.03 1.51 1.79 2/200 8504
/proc/meminfo: memFree=27597576/32770624 swapFree=67030664/67108860
[pid=8482] ppid=8479 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/8482/stat : 8482 (scop.sh) S 8479 8482 8437 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236336457 115843072 348 33554432000 4194304 5098028 140726270447360 140726270444616 140639109694076 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30097408 140726270448674 140726270448899 140726270448899 140726270451661 0
/proc/8482/statm: 28282 348 296 221 0 87 0
[pid=8485] ppid=8482 vsize=27320172 memory=164524 CPUtime=0.97 cores=0-7
/proc/8485/stat : 8485 (java) S 8482 8482 8437 0 -1 1077944320 17645 0 0 0 91 6 0 0 20 0 20 0 236336457 27975856128 41131 33554432000 4194304 4196468 140722284478560 140722284461104 139980888526583 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
/proc/8485/statm: 6830043 41131 3119 1 0 6791447 0
[pid=8485/tid=8486] ppid=8482 vsize=27320172 memory=280971526618800 CPUtime=0.66 cores=0-7
/proc/8485/task/8486/stat : 8486 (java) R 8482 8482 8437 0 -1 4202560 14883 0 0 0 61 5 0 0 20 0 20 0 236336458 27975856128 41131 33554432000 4194304 4196468 140722284478560 139980860363808 139980872607070 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8487] ppid=8482 vsize=27320172 memory=140485763310448 CPUtime=0 cores=0-7
/proc/8485/task/8487/stat : 8487 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336461 27975856128 41131 33554432000 4194304 4196468 140722284478560 139980892768784 139980888536789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8488] ppid=8482 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/8485/task/8488/stat : 8488 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336461 27975856128 41131 33554432000 4194304 4196468 140722284478560 139980706925200 139980888536789 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0
[pid=8485/tid=8489] ppid=8482 vsize=27320172 memory=2120 CPUtime=0 cores=0-7
/proc/8485/task/8489/stat : 8489 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236336461 27975856128 41131 33554432000 4194304 4196468 140722284478560 139980705872144 139980888536789 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37826560 140722284483561 140722284483885 140722284483885 140722284486607 0

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

[pid=8505/tid=8507] ppid=8482 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/8505/task/8507/stat : 8507 (java) S 8482 8482 8437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236336867 8615837696 30324 33554432000 4194304 4196468 140734134747328 139724337785872 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8508] ppid=8482 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/8505/task/8508/stat : 8508 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236336867 8615837696 30324 33554432000 4194304 4196468 140734134747328 139724146347152 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8509] ppid=8482 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/8505/task/8509/stat : 8509 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236336867 8615837696 30324 33554432000 4194304 4196468 140734134747328 139723817343760 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8510] ppid=8482 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/8505/task/8510/stat : 8510 (java) S 8482 8482 8437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236336867 8615837696 30324 33554432000 4194304 4196468 140734134747328 139723816291216 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8511] ppid=8482 vsize=8413904 memory=280971526580128 CPUtime=0 cores=0-7
/proc/8505/task/8511/stat : 8511 (java) S 8482 8482 8437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236336867 8615837696 30324 33554432000 4194304 4196468 140734134747328 139723815238160 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8512] ppid=8482 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/8505/task/8512/stat : 8512 (java) S 8482 8482 8437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236336867 8615837696 30324 33554432000 4194304 4196468 140734134747328 139723814185616 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8513] ppid=8482 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/8505/task/8513/stat : 8513 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236336867 8615837696 30324 33554432000 4194304 4196468 140734134747328 139723813132560 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8514] ppid=8482 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/8505/task/8514/stat : 8514 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236336867 8615837696 30324 33554432000 4194304 4196468 140734134747328 139723812080016 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8515] ppid=8482 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/8505/task/8515/stat : 8515 (java) S 8482 8482 8437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236336868 8615837696 30324 33554432000 4194304 4196468 140734134747328 139723561163504 139724333554306 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8516] ppid=8482 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/8505/task/8516/stat : 8516 (java) S 8482 8482 8437 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236336869 8615837696 30324 33554432000 4194304 4196468 140734134747328 139722936542880 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8517] ppid=8482 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/8505/task/8517/stat : 8517 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236336869 8615837696 30324 33554432000 4194304 4196468 140734134747328 139722668106992 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8518] ppid=8482 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/8505/task/8518/stat : 8518 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236336871 8615837696 30324 33554432000 4194304 4196468 140734134747328 139722293598672 139724333561755 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8519] ppid=8482 vsize=8413904 memory=0 CPUtime=0.08 cores=0-7
/proc/8505/task/8519/stat : 8519 (java) S 8482 8482 8437 0 -1 1077944384 307 0 0 0 8 0 0 0 20 0 24 0 236336871 8615837696 30324 33554432000 4194304 4196468 140734134747328 139723560110320 139724333554306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8520] ppid=8482 vsize=8413904 memory=0 CPUtime=0.1 cores=0-7
/proc/8505/task/8520/stat : 8520 (java) S 8482 8482 8437 0 -1 1077944384 563 0 0 0 10 0 0 0 20 0 24 0 236336871 8615837696 30324 33554432000 4194304 4196468 140734134747328 139723559057776 139724333554306 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8521] ppid=8482 vsize=8413904 memory=0 CPUtime=0.1 cores=0-7
/proc/8505/task/8521/stat : 8521 (java) S 8482 8482 8437 0 -1 1077944384 709 0 0 0 10 0 0 0 20 0 24 0 236336871 8615837696 30324 33554432000 4194304 4196468 140734134747328 139723558004720 139724333554306 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8522] ppid=8482 vsize=8413904 memory=0 CPUtime=0.21 cores=0-7
/proc/8505/task/8522/stat : 8522 (java) S 8482 8482 8437 0 -1 1077944384 563 0 0 0 21 0 0 0 20 0 24 0 236336871 8615837696 30324 33554432000 4194304 4196468 140734134747328 139723556952176 139724333554306 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8523] ppid=8482 vsize=8413904 memory=9130442918573080450 CPUtime=0 cores=0-7
/proc/8505/task/8523/stat : 8523 (java) S 8482 8482 8437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236336872 8615837696 30324 33554432000 4194304 4196468 140734134747328 139721795693536 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8524] ppid=8482 vsize=8413904 memory=8562125054528557171 CPUtime=0 cores=0-7
/proc/8505/task/8524/stat : 8524 (java) S 8482 8482 8437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236336872 8615837696 30324 33554432000 4194304 4196468 140734134747328 139723555900592 139724333554306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8526] ppid=8482 vsize=8413904 memory=4206468018206302288 CPUtime=0 cores=0-7
/proc/8505/task/8526/stat : 8526 (java) S 8482 8482 8437 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236336941 8615837696 30324 33554432000 4194304 4196468 140734134747328 139723548091840 139724333567769 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8528] ppid=8482 vsize=8413904 memory=-7673721927108614497 CPUtime=0 cores=0-7
/proc/8505/task/8528/stat : 8528 (java) S 8482 8482 8437 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 236336941 8615837696 30324 33554432000 4194304 4196468 140734134747328 139721124593168 139724333565085 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8529] ppid=8482 vsize=8413904 memory=10 CPUtime=0 cores=0-7
/proc/8505/task/8529/stat : 8529 (java) S 8482 8482 8437 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 236336941 8615837696 30324 33554432000 4194304 4196468 140734134747328 139721393028752 139724333565085 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8530] ppid=8482 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/8505/task/8530/stat : 8530 (java) S 8482 8482 8437 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 236336943 8615837696 30324 33554432000 4194304 4196468 140734134747328 139720856165280 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
Current children cumulated CPU time: 11.72 s
Current children cumulated vsize: 8573316 KiB
Current children cumulated memory: 150904 KiB

[startup+5.40098 s]
/proc/loadavg: 1.19 1.54 1.79 2/205 8530
/proc/meminfo: memFree=27596844/32770624 swapFree=67030664/67108860
[pid=8482] ppid=8479 vsize=113128 memory=1468 CPUtime=10.07 cores=0-7
/proc/8482/stat : 8482 (scop.sh) S 8479 8482 8437 0 -1 4202496 588 28084 0 0 0 0 972 35 20 0 1 0 236336457 115843072 367 33554432000 4194304 5098028 140726270447360 140726270444104 140639109694076 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30097408 140726270448674 140726270448899 140726270448899 140726270451661 0
/proc/8482/statm: 28282 367 311 221 0 87 0
[pid=8505] ppid=8482 vsize=8413904 memory=123488 CPUtime=1.92 cores=0-7
/proc/8505/stat : 8505 (java) S 8482 8482 8437 0 -1 1077944320 18071 16916 0 0 125 8 57 2 20 0 23 0 236336865 8615837696 30872 33554432000 4194304 4196468 140734134747328 140734134729872 139724333543159 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
/proc/8505/statm: 2103476 30872 3157 1 0 2064875 0
[pid=8505/tid=8506] ppid=8482 vsize=8413904 memory=0 CPUtime=1.37 cores=0-7
/proc/8505/task/8506/stat : 8506 (java) S 8482 8482 8437 0 -1 1077944384 14503 16916 0 0 72 6 57 2 20 0 23 0 236336865 8615837696 30872 33554432000 4194304 4196468 140734134747328 139724305383312 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8507] ppid=8482 vsize=8413904 memory=3979279325430240340 CPUtime=0.59 cores=0-7
/proc/8505/task/8507/stat : 8507 (java) S 8482 8482 8437 0 -1 1077944384 2 16916 0 0 0 0 57 2 20 0 23 0 236336867 8615837696 30872 33554432000 4194304 4196468 140734134747328 139724337785872 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8508] ppid=8482 vsize=8413904 memory=0 CPUtime=0.59 cores=0-7
/proc/8505/task/8508/stat : 8508 (java) S 8482 8482 8437 0 -1 1077944384 1 16916 0 0 0 0 57 2 20 0 23 0 236336867 8615837696 30872 33554432000 4194304 4196468 140734134747328 139724146347152 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8509] ppid=8482 vsize=8413904 memory=0 CPUtime=0.59 cores=0-7
/proc/8505/task/8509/stat : 8509 (java) S 8482 8482 8437 0 -1 1077944384 1 16916 0 0 0 0 57 2 20 0 23 0 236336867 8615837696 30872 33554432000 4194304 4196468 140734134747328 139723817343760 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8510] ppid=8482 vsize=8413904 memory=0 CPUtime=0.59 cores=0-7
/proc/8505/task/8510/stat : 8510 (java) S 8482 8482 8437 0 -1 1077944384 3 16916 0 0 0 0 57 2 20 0 23 0 236336867 8615837696 30872 33554432000 4194304 4196468 140734134747328 139723816291216 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8511] ppid=8482 vsize=8413904 memory=0 CPUtime=0.59 cores=0-7
/proc/8505/task/8511/stat : 8511 (java) S 8482 8482 8437 0 -1 1077944384 2 16916 0 0 0 0 57 2 20 0 23 0 236336867 8615837696 30872 33554432000 4194304 4196468 140734134747328 139723815238160 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8512] ppid=8482 vsize=8413904 memory=80868 CPUtime=0.59 cores=0-7
/proc/8505/task/8512/stat : 8512 (java) S 8482 8482 8437 0 -1 1077944384 2 16916 0 0 0 0 57 2 20 0 23 0 236336867 8615837696 30872 33554432000 4194304 4196468 140734134747328 139723814185616 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8513] ppid=8482 vsize=8413904 memory=576461256399351847 CPUtime=0.59 cores=0-7
/proc/8505/task/8513/stat : 8513 (java) S 8482 8482 8437 0 -1 1077944384 1 16916 0 0 0 0 57 2 20 0 23 0 236336867 8615837696 30872 33554432000 4194304 4196468 140734134747328 139723813132560 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8514] ppid=8482 vsize=8413904 memory=288286688357396308 CPUtime=0.59 cores=0-7
/proc/8505/task/8514/stat : 8514 (java) S 8482 8482 8437 0 -1 1077944384 1 16916 0 0 0 0 57 2 20 0 23 0 236336867 8615837696 30872 33554432000 4194304 4196468 140734134747328 139723812080016 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8515] ppid=8482 vsize=8413904 memory=0 CPUtime=0.59 cores=0-7
/proc/8505/task/8515/stat : 8515 (java) S 8482 8482 8437 0 -1 1077944384 5 16916 0 0 0 0 57 2 20 0 23 0 236336868 8615837696 30872 33554432000 4194304 4196468 140734134747328 139723561163504 139724333554306 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8516] ppid=8482 vsize=8413904 memory=0 CPUtime=0.59 cores=0-7
/proc/8505/task/8516/stat : 8516 (java) S 8482 8482 8437 0 -1 1077944384 13 16916 0 0 0 0 57 2 20 0 23 0 236336869 8615837696 30872 33554432000 4194304 4196468 140734134747328 139722936542880 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8517] ppid=8482 vsize=8413904 memory=0 CPUtime=0.59 cores=0-7
/proc/8505/task/8517/stat : 8517 (java) S 8482 8482 8437 0 -1 1077944384 1 16916 0 0 0 0 57 2 20 0 23 0 236336869 8615837696 30872 33554432000 4194304 4196468 140734134747328 139722668106992 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8518] ppid=8482 vsize=8413904 memory=0 CPUtime=0.59 cores=0-7
/proc/8505/task/8518/stat : 8518 (java) S 8482 8482 8437 0 -1 1077944384 1 16916 0 0 0 0 57 2 20 0 23 0 236336871 8615837696 30872 33554432000 4194304 4196468 140734134747328 139722293598672 139724333561755 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8519] ppid=8482 vsize=8413904 memory=0 CPUtime=0.67 cores=0-7
/proc/8505/task/8519/stat : 8519 (java) S 8482 8482 8437 0 -1 1077944384 313 16916 0 0 8 0 57 2 20 0 23 0 236336871 8615837696 30872 33554432000 4194304 4196468 140734134747328 139723560110320 139724333554306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8520] ppid=8482 vsize=8413904 memory=0 CPUtime=0.69 cores=0-7
/proc/8505/task/8520/stat : 8520 (java) S 8482 8482 8437 0 -1 1077944384 563 16916 0 0 10 0 57 2 20 0 23 0 236336871 8615837696 30872 33554432000 4194304 4196468 140734134747328 139723559057776 139724333554306 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8521] ppid=8482 vsize=8413904 memory=0 CPUtime=0.69 cores=0-7
/proc/8505/task/8521/stat : 8521 (java) S 8482 8482 8437 0 -1 1077944384 710 16916 0 0 10 0 57 2 20 0 23 0 236336871 8615837696 30872 33554432000 4194304 4196468 140734134747328 139723558004720 139724333554306 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8522] ppid=8482 vsize=8413904 memory=0 CPUtime=0.8 cores=0-7
/proc/8505/task/8522/stat : 8522 (java) S 8482 8482 8437 0 -1 1077944384 578 16916 0 0 21 0 57 2 20 0 23 0 236336871 8615837696 30872 33554432000 4194304 4196468 140734134747328 139723556952176 139724333554306 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8523] ppid=8482 vsize=8413904 memory=0 CPUtime=0.59 cores=0-7
/proc/8505/task/8523/stat : 8523 (java) S 8482 8482 8437 0 -1 1077944384 3 16916 0 0 0 0 57 2 20 0 23 0 236336872 8615837696 30872 33554432000 4194304 4196468 140734134747328 139721795693536 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8524] ppid=8482 vsize=8413904 memory=0 CPUtime=0.59 cores=0-7
/proc/8505/task/8524/stat : 8524 (java) S 8482 8482 8437 0 -1 1077944384 1 16916 0 0 0 0 57 2 20 0 23 0 236336872 8615837696 30872 33554432000 4194304 4196468 140734134747328 139723555900592 139724333554306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8526] ppid=8482 vsize=8413904 memory=38617728682474 CPUtime=0.59 cores=0-7
/proc/8505/task/8526/stat : 8526 (java) S 8482 8482 8437 0 -1 1077944384 29 16916 0 0 0 0 57 2 20 0 23 0 236336941 8615837696 30872 33554432000 4194304 4196468 140734134747328 139723548091024 139724333554306 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8528] ppid=8482 vsize=8413904 memory=1392 CPUtime=0.6 cores=0-7
/proc/8505/task/8528/stat : 8528 (java) R 8482 8482 8437 0 -1 4202560 24 16916 0 0 1 0 57 2 20 0 23 0 236336941 8615837696 30872 33554432000 4194304 4196468 140734134747328 139721124596760 139724317623646 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8530] ppid=8482 vsize=8413904 memory=5939516073646450264 CPUtime=0.59 cores=0-7
/proc/8505/task/8530/stat : 8530 (java) S 8482 8482 8437 0 -1 1077944384 7 16916 0 0 0 0 57 2 20 0 23 0 236336943 8615837696 30872 33554432000 4194304 4196468 140734134747328 139720856165040 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
Current children cumulated CPU time: 11.99 s
Current children cumulated vsize: 8527032 KiB
Current children cumulated memory: 124956 KiB

[startup+5.50095 s]
/proc/loadavg: 1.19 1.54 1.79 2/205 8530
/proc/meminfo: memFree=27596844/32770624 swapFree=67030664/67108860
[pid=8482] ppid=8479 vsize=113128 memory=1468 CPUtime=10.07 cores=0-7
/proc/8482/stat : 8482 (scop.sh) S 8479 8482 8437 0 -1 4202496 588 28084 0 0 0 0 972 35 20 0 1 0 236336457 115843072 367 33554432000 4194304 5098028 140726270447360 140726270444104 140639109694076 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30097408 140726270448674 140726270448899 140726270448899 140726270451661 0
/proc/8482/statm: 28282 367 311 221 0 87 0
[pid=8505] ppid=8482 vsize=8282828 memory=127476 CPUtime=2.1 cores=0-7
/proc/8505/stat : 8505 (java) S 8482 8482 8437 0 -1 1077944320 18601 16916 0 0 142 9 57 2 20 0 22 0 236336865 8481615872 31869 33554432000 4194304 4196468 140734134747328 140734134729872 139724333543159 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
/proc/8505/statm: 2070707 31869 3164 1 0 2032106 0
[pid=8505/tid=8506] ppid=8482 vsize=8282828 memory=3544 CPUtime=1.45 cores=0-7
/proc/8505/task/8506/stat : 8506 (java) R 8482 8482 8437 0 -1 4202560 14790 16916 0 0 80 6 57 2 20 0 22 0 236336865 8481615872 31869 33554432000 4194304 4196468 140734134747328 139724305373072 139723828914215 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8507] ppid=8482 vsize=8282828 memory=62196 CPUtime=0.59 cores=0-7
/proc/8505/task/8507/stat : 8507 (java) S 8482 8482 8437 0 -1 1077944384 2 16916 0 0 0 0 57 2 20 0 22 0 236336867 8481615872 31869 33554432000 4194304 4196468 140734134747328 139724337785872 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8508] ppid=8482 vsize=8282828 memory=1684 CPUtime=0.59 cores=0-7
/proc/8505/task/8508/stat : 8508 (java) S 8482 8482 8437 0 -1 1077944384 1 16916 0 0 0 0 57 2 20 0 22 0 236336867 8481615872 31869 33554432000 4194304 4196468 140734134747328 139724146347152 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8509] ppid=8482 vsize=8282828 memory=768 CPUtime=0.59 cores=0-7
/proc/8505/task/8509/stat : 8509 (java) S 8482 8482 8437 0 -1 1077944384 1 16916 0 0 0 0 57 2 20 0 22 0 236336867 8481615872 31869 33554432000 4194304 4196468 140734134747328 139723817343760 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8510] ppid=8482 vsize=8282828 memory=5268 CPUtime=0.59 cores=0-7
/proc/8505/task/8510/stat : 8510 (java) S 8482 8482 8437 0 -1 1077944384 3 16916 0 0 0 0 57 2 20 0 22 0 236336867 8481615872 31869 33554432000 4194304 4196468 140734134747328 139723816291216 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8511] ppid=8482 vsize=8282828 memory=11068 CPUtime=0.59 cores=0-7
/proc/8505/task/8511/stat : 8511 (java) S 8482 8482 8437 0 -1 1077944384 2 16916 0 0 0 0 57 2 20 0 22 0 236336867 8481615872 31869 33554432000 4194304 4196468 140734134747328 139723815238160 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8512] ppid=8482 vsize=8282828 memory=1192 CPUtime=0.59 cores=0-7
/proc/8505/task/8512/stat : 8512 (java) S 8482 8482 8437 0 -1 1077944384 2 16916 0 0 0 0 57 2 20 0 22 0 236336867 8481615872 31869 33554432000 4194304 4196468 140734134747328 139723814185616 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8513] ppid=8482 vsize=8282828 memory=1468 CPUtime=0.59 cores=0-7
/proc/8505/task/8513/stat : 8513 (java) S 8482 8482 8437 0 -1 1077944384 1 16916 0 0 0 0 57 2 20 0 22 0 236336867 8481615872 31869 33554432000 4194304 4196468 140734134747328 139723813132560 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8514] ppid=8482 vsize=8282828 memory=30684 CPUtime=0.59 cores=0-7
/proc/8505/task/8514/stat : 8514 (java) S 8482 8482 8437 0 -1 1077944384 1 16916 0 0 0 0 57 2 20 0 22 0 236336867 8481615872 31869 33554432000 4194304 4196468 140734134747328 139723812080016 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8515] ppid=8482 vsize=8282828 memory=776 CPUtime=0.59 cores=0-7
/proc/8505/task/8515/stat : 8515 (java) S 8482 8482 8437 0 -1 1077944384 5 16916 0 0 0 0 57 2 20 0 22 0 236336868 8481615872 31869 33554432000 4194304 4196468 140734134747328 139723561163504 139724333554306 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8516] ppid=8482 vsize=8282828 memory=1876 CPUtime=0.59 cores=0-7
/proc/8505/task/8516/stat : 8516 (java) S 8482 8482 8437 0 -1 1077944384 13 16916 0 0 0 0 57 2 20 0 22 0 236336869 8481615872 31869 33554432000 4194304 4196468 140734134747328 139722936542880 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8517] ppid=8482 vsize=8282828 memory=1396 CPUtime=0.59 cores=0-7
/proc/8505/task/8517/stat : 8517 (java) S 8482 8482 8437 0 -1 1077944384 1 16916 0 0 0 0 57 2 20 0 22 0 236336869 8481615872 31869 33554432000 4194304 4196468 140734134747328 139722668106992 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8518] ppid=8482 vsize=8282828 memory=1520 CPUtime=0.59 cores=0-7
/proc/8505/task/8518/stat : 8518 (java) S 8482 8482 8437 0 -1 1077944384 1 16916 0 0 0 0 57 2 20 0 22 0 236336871 8481615872 31869 33554432000 4194304 4196468 140734134747328 139722293598672 139724333561755 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8519] ppid=8482 vsize=8282828 memory=2680 CPUtime=0.68 cores=0-7
/proc/8505/task/8519/stat : 8519 (java) S 8482 8482 8437 0 -1 1077944384 318 16916 0 0 9 0 57 2 20 0 22 0 236336871 8481615872 31869 33554432000 4194304 4196468 140734134747328 139723560110320 139724333554306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8520] ppid=8482 vsize=8282828 memory=3160 CPUtime=0.7 cores=0-7
/proc/8505/task/8520/stat : 8520 (java) S 8482 8482 8437 0 -1 1077944384 570 16916 0 0 11 0 57 2 20 0 22 0 236336871 8481615872 31869 33554432000 4194304 4196468 140734134747328 139723559057776 139724333554306 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8521] ppid=8482 vsize=8282828 memory=2120 CPUtime=0.71 cores=0-7
/proc/8505/task/8521/stat : 8521 (java) R 8482 8482 8437 0 -1 1077944384 724 16916 0 0 12 0 57 2 20 0 22 0 236336871 8481615872 31869 33554432000 4194304 4196468 140734134747328 139723558004720 139724333554306 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8522] ppid=8482 vsize=8282828 memory=752 CPUtime=0.86 cores=0-7
/proc/8505/task/8522/stat : 8522 (java) R 8482 8482 8437 0 -1 4202560 716 16916 0 0 26 1 57 2 20 0 22 0 236336871 8481615872 31869 33554432000 4194304 4196468 140734134747328 139723556952176 139724326639995 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8523] ppid=8482 vsize=8282828 memory=972 CPUtime=0.59 cores=0-7
/proc/8505/task/8523/stat : 8523 (java) S 8482 8482 8437 0 -1 1077944384 3 16916 0 0 0 0 57 2 20 0 22 0 236336872 8481615872 31869 33554432000 4194304 4196468 140734134747328 139721795693536 139724333553365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8524] ppid=8482 vsize=8282828 memory=13888 CPUtime=0.59 cores=0-7
/proc/8505/task/8524/stat : 8524 (java) S 8482 8482 8437 0 -1 1077944384 1 16916 0 0 0 0 57 2 20 0 22 0 236336872 8481615872 31869 33554432000 4194304 4196468 140734134747328 139723555900592 139724333554306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8526] ppid=8482 vsize=8282828 memory=2228 CPUtime=0.59 cores=0-7
/proc/8505/task/8526/stat : 8526 (java) S 8482 8482 8437 0 -1 1077944384 29 16916 0 0 0 0 57 2 20 0 22 0 236336941 8481615872 31869 33554432000 4194304 4196468 140734134747328 139723548091024 139724333554306 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
[pid=8505/tid=8530] ppid=8482 vsize=8282828 memory=11904 CPUtime=0.59 cores=0-7
/proc/8505/task/8530/stat : 8530 (java) S 8482 8482 8437 0 -1 1077944384 12 16916 0 0 0 0 57 2 20 0 22 0 236336943 8481615872 31869 33554432000 4194304 4196468 140734134747328 139720856167088 139724333554306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140734134752434 140734134752557 140734134752557 140734134755279 0
Current children cumulated CPU time: 12.17 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 128944 KiB

Child status: 0
Real time (s): 5.54655
CPU time (s): 12.294
CPU user time (s): 11.8076
CPU system time (s): 0.486422
CPU usage (%): 221.651
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 1480396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.8076
system time used= 0.486422
maximum resident set size= 1483992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64343
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8396
involuntary context switches= 24


# summary of solver processes directly reported to runsolver:
#   pid: 8482
#   total CPU time (s): 12.294
#   total CPU user time (s): 11.8076
#   total CPU system time (s): 0.486422

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.07618 second user time and 0.081117 second system time

The end

Launcher Data 

Begin job on node102 at 2018-08-13 21:15:33
IDJOB=4307275
IDBENCH=141235
IDSOLVER=2788
FILE ID=node102/4307275-1534187733
RUNJOBID= node102-1534187733-8464
PBS_JOBID= 21037987
Free space on /tmp= 38736 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-robin08_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-4307275-1534187733/watcher-4307275-1534187733 -o /tmp/evaluation-result-4307275-1534187733/solver-4307275-1534187733 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1534187733-8464 --watchdog 2580  scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307275-1534187733.xml

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

MD5SUM BENCH= 1bc3f3e5ba546c0eba55cc781441057a
RANDOM SEED=1535466355

node102.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.51
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.51
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.51
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.51
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:        27737884 kB
MemAvailable:   31879456 kB
Buffers:          176476 kB
Cached:          4212876 kB
SwapCached:        51240 kB
Active:          1857844 kB
Inactive:        2610600 kB
Active(anon):       3984 kB
Inactive(anon):   126928 kB
Active(file):    1853860 kB
Inactive(file):  2483672 kB
Unevictable:        7328 kB
Mlocked:            7328 kB
SwapTotal:      67108860 kB
SwapFree:       67030664 kB
Dirty:              8360 kB
Writeback:             0 kB
AnonPages:         35204 kB
Mapped:            51328 kB
Shmem:             48988 kB
Slab:             260672 kB
SReclaimable:     232500 kB
SUnreclaim:        28172 kB
KernelStack:        3088 kB
PageTables:         4556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     348604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 38724 MiB
End job on node102 at 2018-08-13 21:15:39