Trace number 4307519

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 both+glucose-syrup (2018-07-31)SAT 24.5077 8.73546

General information on the benchmark

NameMisteryShopper/
MisteryShopper-06b_c18.xml
MD5SUMed15a4f7a5bcd1b231009209ed1d9727
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 benchmark7.17188
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of constraints381
Number of domains3
Minimum domain size5
Maximum domain size30
Distribution of domain sizes[{"size":5,"count":150},{"size":6,"count":150},{"size":30,"count":300}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":300},{"degree":3,"count":150},{"degree":4,"count":130},{"degree":5,"count":20}]
Minimum constraint arity2
Maximum constraint arity150
Distribution of constraint arities[{"arity":2,"count":300},{"arity":4,"count":5},{"arity":5,"count":60},{"arity":30,"count":10},{"arity":60,"count":5},{"arity":150,"count":1}]
Number of extensional constraints300
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":300},{"type":"allDifferent","count":70},{"type":"ordered","count":5},{"type":"lex","count":1},{"type":"channel","count":5}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-11736-serial-file.bin HOME/instance-4307519-1534192563.xml
0.66/0.53	
0.66/0.53	scop both+glucose-syrup (2018-07-31)
0.66/0.53	(Encoding Process)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Mon Aug 13 22:36:03 CEST 2018
0.66/0.55	c PID: 11739
0.66/0.55	c IP: 172.20.3.137
0.66/0.55	c HOST: node137.alineos.net
0.66/0.56	c (0,0) Parsing Begin
2.50/1.18	c (0,0) Parsing End
2.50/1.19	c (0,0) CSP: 600 int (0 aux), 0 bool (0 aux), 381 ctr, max domain size 30
2.50/1.20	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.50/1.20	c (0,0) Constraint Name Generate Begin
2.92/1.21	c (0,0) Ctr:HOME/instance-4307519-1534192563.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
2.92/1.21	c (0,0) Constraint Name Generate End
2.92/1.21	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.92/1.21	c (0,0) CSP to CSPinCNF Begin
4.61/1.74	c (1,1) translated 39 (10%) constraints
7.04/2.38	c (1,1) translated 77 (20%) constraints
8.92/2.87	c (2,2) translated 115 (30%) constraints
9.37/2.97	c (2,2) translated 153 (40%) constraints
9.83/3.04	c (2,2) translated 191 (50%) constraints
10.25/3.12	c (2,2) translated 229 (60%) constraints
10.62/3.20	c (2,2) translated 267 (70%) constraints
10.62/3.28	c (2,2) translated 305 (80%) constraints
11.03/3.35	c (2,2) translated 343 (90%) constraints
11.44/3.41	c (2,2) translated 381 (100%) constraints
12.25/3.63	c (3,3) STATISTICS1:HOME/instance-4307519-1534192563.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,2449,20869,30,30,30,2,30:4204;29:176;28:157;27:325;6:300;5:300,30:31322;29:687;28:579;27:1136;6:2400;5:2100;2:8247,30:20;7:150;6:150;5:120;4:199;3:11133;2:9049;1:48,2:5462;1:44547;0:300,
12.25/3.63	c (3,3) ==========================================
12.25/3.63	c (3,3) Both Encoding selects:
12.25/3.63	c (3,3) Order
12.25/3.63	c (3,3) ==========================================
12.73/3.77	c (3,3) translated 2087 (10%) constraints
13.15/3.86	c (3,3) translated 4174 (20%) constraints
13.93/4.03	c (3,3) translated 6261 (30%) constraints
14.54/4.21	c (3,3) translated 8348 (40%) constraints
14.82/4.37	c (3,3) translated 10435 (50%) constraints
15.04/4.52	c (3,3) translated 12522 (60%) constraints
15.17/4.65	c (4,4) translated 14609 (70%) constraints
15.49/4.71	c (4,4) translated 16696 (80%) constraints
15.49/4.76	c (4,4) translated 18783 (90%) constraints
15.83/4.81	c (4,4) translated 20869 (100%) constraints
15.83/4.81	c (4,4) CSP to CSPinCNF End
15.83/4.82	c (4,4) CSP: 600 int (0 aux), 10849 bool (10849 aux), 38869 ctr, max domain size 30
15.83/4.82	c (4,4) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
15.83/4.82	c (4,4) CSPinCNF Propagation Begin
16.89/5.15	c (4,4) 118 values, 1211 unsatisfiable literals, and 864 valid clauses are removed
16.89/5.15	c (4,4) CSPinCNF Propagation End
16.89/5.15	c (4,4) CSP: 688 int (88 aux), 10761 bool (10761 aux), 38005 ctr, max domain size 30
16.89/5.15	c (4,4) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
16.89/5.15	c (4,4) Simplify CSPinCNF Begin
17.66/5.44	c (4,4) Simplify CSPinCNF End
17.66/5.45	c (4,4) CSP: 688 int (88 aux), 20926 bool (20926 aux), 48170 ctr, max domain size 30
17.66/5.45	c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
17.66/5.45	c (4,4) Calculate Precise Domain Begin
17.66/5.45	c (4,4) 0 values are removed by re-calculation
17.66/5.45	c (4,4) Calculate Precise Domain End
17.66/5.45	c (4,4) CSP: 688 int (88 aux), 20926 bool (20926 aux), 48170 ctr, max domain size 30
17.66/5.45	c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
17.66/5.45	c (4,4) CSPinCNF to SatSolver Begin
19.12/5.92	c (5,5) 4817 (10 %) CSP clauses are encoded (30888 SAT variables, 104850 SAT clauses)
19.47/6.23	c (5,5) 9634 (20 %) CSP clauses are encoded (30888 SAT variables, 200657 SAT clauses)
19.72/6.47	c (5,5) 14451 (30 %) CSP clauses are encoded (30888 SAT variables, 274856 SAT clauses)
19.82/6.50	c (5,5) 19268 (40 %) CSP clauses are encoded (30888 SAT variables, 281363 SAT clauses)
19.82/6.53	c (6,5) 24085 (50 %) CSP clauses are encoded (30888 SAT variables, 286180 SAT clauses)
19.82/6.56	c (6,6) 28902 (60 %) CSP clauses are encoded (30888 SAT variables, 290997 SAT clauses)
19.82/6.59	c (6,6) 33719 (70 %) CSP clauses are encoded (30888 SAT variables, 295814 SAT clauses)
19.92/6.62	c (6,6) 38536 (80 %) CSP clauses are encoded (30888 SAT variables, 300631 SAT clauses)
19.92/6.69	c (6,6) 43353 (90 %) CSP clauses are encoded (30888 SAT variables, 319797 SAT clauses)
20.08/6.73	c (6,6) 48170 (100 %) CSP clauses are encoded (30888 SAT variables, 324614 SAT clauses)
20.08/6.73	c (6,6) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
20.08/6.73	c (6,6) CSPinCNF to SatSolver End
20.08/6.73	c (6,6) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
20.73/6.96	c (6,6) STATISTICS2:HOME/instance-4307519-1534192563.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,21614,48170,30,30,30,2,30:7091;29:322;28:611;27:1188;6:600;5:600,30:51905;29:1147;28:2077;27:3696;6:3000;5:2700;2:54917,30:5;27:14;25:1;6:150;5:270;4:199;3:10417;2:37066;1:48,2:10412;1:98618,
20.73/6.97	c (6,6) 30888 bool, 324615 clause
20.73/6.97	c (6,6) Export Begin
20.93/7.09	c (6,6) Export to HOME/scop-11736-serial-file.bin
20.93/7.09	c (6,6) Export End
20.93/7.09	c (6,6) Export File Size: 0.12 MB
20.93/7.09	c (6,6) 0,0,4,4,4,4,6,STOP-AFTER(DIMACS)
20.93/7.09	c END-Prog: Mon Aug 13 22:36:10 CEST 2018
0.00/7.12	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-11736-serial-file.bin
21.17/7.61	c (0,0) Read Serial File Begin
21.17/7.61	c (0,0) HOME/scop-11736-serial-file.bin
21.17/7.82	c (0,0) Read Serial File End
21.17/7.83	
21.17/7.83	scop order+glucose-syrup (2018-07-31)
21.17/7.83	(Solving Process)
21.17/7.83	
21.17/7.86	c BEGIN-Prog: Mon Aug 13 22:36:11 CEST 2018
21.17/7.86	c PID: 11759
21.17/7.86	c IP: 172.20.3.137
21.17/7.86	c HOST: node137.alineos.net
21.17/7.86	c (0,0) SatSolver.solve Begin
21.17/7.86	c (0,0) 0 bool, 0 clause
21.17/7.86	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307519-1534192563.xml-scop-11739.cnf
23.64/8.56	c (1,0) c
23.64/8.56	c (1,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
23.64/8.56	c (1,0) c
23.64/8.56	c (1,0) c WARNING: for repeatability, setting FPU to use double precision
23.64/8.56	c (1,0) c 8 solvers engines and 1 companion as a blackboard created.
23.64/8.56	c (1,0) c ========================================[ Problem Statistics ]===========================================
23.64/8.56	c (1,0) c |                                                                                                       |
23.64/8.56	c (1,0) c |  Number of variables:         30888                                                                   |
23.64/8.56	c (1,0) c |  Number of clauses:          324158                                                                   |
23.64/8.56	c (1,0) c |  Parse time:                   0.10 s                                                                 |
23.64/8.56	c (1,0) c |                                                                                                       |
23.64/8.56	c (1,0) c |  Eliminated clauses:           0.33 Mb                                                                |
23.64/8.56	c (1,0) c |  Simplification time:          0.31 s                                                                 |
23.64/8.56	c (1,0) c |                                                                                                       |
23.64/8.56	c (1,0) c |  Generating clones                                                                                    |
23.64/8.56	c (1,0) c |  all clones generated. Memory = 217.54Mb.                                                             |
23.64/8.56	c (1,0) c ========================================================================================================|
23.64/8.56	c (1,0) c last restart ## conflicts  :  95 399 
23.64/8.56	c (1,0) c Thread 4 is 100% pure glucose! First thread to finish! (SAT answer).
23.64/8.56	c (1,0) c Total Memory so far : 795.50Mb
23.64/8.56	c (1,0) c
23.64/8.56	c (1,0) c real time : 0.674686 s
23.64/8.56	c (1,0) c cpu time  : 1.44711 s
23.64/8.56	c (1,0) c
23.64/8.56	c (1,0) c
23.64/8.56	c (1,0) c
23.64/8.56	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
23.64/8.56	c (1,0) c
23.64/8.56	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.64/8.56	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
23.64/8.56	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.64/8.56	c (1,0) c | Conflicts     |            3527 |        421 |        482 |        397 |        591 |        400 |        481 |        383 |        372 |
23.64/8.56	c (1,0) c | Decisions     |           43586 |       5156 |       6197 |       4990 |       6208 |       5070 |       6073 |       4849 |       5043 |
23.64/8.56	c (1,0) c | Propagations  |         1898274 |     198832 |     273951 |     209341 |     283722 |     240811 |     278601 |     204666 |     208350 |
23.64/8.56	c (1,0) c | Avg_Trail     |                 |       6636 |       7362 |       7733 |       7061 |       8257 |       7012 |       7781 |       7832 |
23.64/8.56	c (1,0) c | Avg_DL        |                 |        114 |        124 |        137 |        106 |        139 |        110 |        141 |        142 |
23.64/8.56	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.64/8.56	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.64/8.56	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.64/8.56	c (1,0) c | Exported      |             395 |         64 |         51 |         43 |         72 |         30 |         51 |         45 |         39 |
23.64/8.56	c (1,0) c | Imported      |            2574 |        327 |        328 |        321 |        323 |        304 |        327 |        322 |        322 |
23.64/8.56	c (1,0) c | Good          |            1346 |        178 |        175 |        169 |        165 |        151 |        170 |        169 |        169 |
23.64/8.56	c (1,0) c | Purge         |            1228 |        149 |        153 |        152 |        158 |        153 |        157 |        153 |        153 |
23.64/8.56	c (1,0) c | Promoted      |              13 |          3 |          3 |          1 |          0 |          1 |          3 |          1 |          1 |
23.64/8.56	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.64/8.56	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.64/8.56	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.64/8.56	c (1,0) c | Unaries       |                 |         15 |          3 |          0 |         10 |          1 |         10 |          0 |          0 |
23.64/8.56	c (1,0) c | Binaries      |                 |         34 |         25 |         20 |         49 |         14 |         30 |         24 |         18 |
23.64/8.56	c (1,0) c | Glues         |                 |         64 |         51 |         43 |         72 |         30 |         51 |         45 |         39 |
23.64/8.56	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.64/8.56	c (1,0) c | Orig_Seen     |             1 % |       4204 |       4993 |       4025 |       5581 |       4040 |       4820 |       3942 |       3895 |
23.64/8.56	c (1,0) c | Diff Orig seen|                 |        164 |        953 | -       15 |       1541 |      X     |        780 | -       98 | -      145 |
23.64/8.56	c (1,0) c | Hamming       |            14 % |       4404 |       4489 |       4689 |       4428 |      X     |       4685 |       4609 |       4503 |
23.64/8.56	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.64/8.56	c (1,0) 
23.64/8.56	c (1,0) s SATISFIABLE
24.18/8.61	c (1,0) SatSolver.solve End
24.18/8.61	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
24.18/8.61	c (1,0) Show results Begin
24.18/8.70	s SATISFIABLE
24.42/8.72	v <instantiation>
24.42/8.72	v     <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[16][4] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[18][4] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[22][4] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[1][4] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[13][4] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[27][4] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[14][4] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[19][4] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[26][4] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[0][4] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[7][4] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[9][4] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[11][4] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[13][4] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[18][4] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[23][4] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[25][4] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4]</list>
24.42/8.72	v     <values>0 10 16 20 29 1 14 25 8 18 2 19 24 12 9 3 11 15 28 22 4 13 6 26 21 5 25 12 23 11 6 29 1 17 20 7 24 19 13 2 8 16 22 27 0 9 17 23 2 28 10 3 27 22 16 11 15 26 19 4 12 6 18 1 25 13 0 21 24 7 14 8 20 29 5 15 20 2 10 24 16 9 28 21 3 17 1 11 25 23 18 26 5 6 13 19 4 14 7 27 20 28 3 15 10 21 12 0 9 26 22 27 17 11 1 23 2 29 14 8 24 7 4 16 19 25 5 13 18 6 26 18 7 0 12 27 21 8 3 14 28 22 9 4 15 29 23 10 5 17 0 13 21 26 8 1 17 6 12 22 2 23 15 9 7 3 10 20 27 16 4 19 24 28 11 5 25 18 29 14 6 12 4 18 25 7 24 26 19 13 8 14 27 1 23 9 16 28 21 2 10 0 29 15 20 11 3 17 22 5 12 21 5 2 26 13 4 25 7 18 14 1 19 23 27 15 11 3 20 28 16 8 0 24 10 17 9 22 6 29 18 26 12 25 1 19 2 7 11 24 20 15 14 0 6 21 27 13 16 4 22 28 8 10 3 23 29 9 5 17 24 7 2 13 15 25 5 1 17 12 26 18 11 4 21 27 22 10 8 19 28 20 16 3 9 29 6 23 14 0 0 1 2 3 4 0 2 4 1 3 0 3 4 2 1 0 1 2 4 3 0 2 1 4 3 0 4 2 3 1 1 4 0 2 3 1 4 3 2 0 1 2 3 4 0 1 2 3 0 4 1 0 4 3 2 1 2 4 3 0 2 1 3 0 4 2 0 3 4 1 2 1 3 4 0 2 3 0 1 4 2 1 4 3 0 2 0 1 4 3 3 4 0 1 2 3 0 2 1 4 3 4 0 2 1 3 2 0 1 4 3 4 2 1 0 3 0 4 2 1 4 1 0 2 3 4 0 2 3 1 4 3 1 0 2 4 3 1 0 2 4 3 1 0 2 4 3 1 0 2 0 2 4 5 1 0 3 1 2 4 0 4 3 2 1 0 2 4 5 3 0 3 4 5 2 1 4 3 5 2 1 2 0 3 4 1 4 5 3 2 1 2 5 0 4 2 3 5 4 0 2 0 5 3 4 2 0 3 4 1 2 4 1 0 5 2 0 4 1 3 2 0 3 4 5 3 2 0 4 5 3 1 0 4 2 3 2 4 1 5 3 5 2 4 0 3 0 1 2 4 4 3 2 0 1 4 5 2 3 0 4 5 1 2 0 4 5 2 1 3 4 1 0 2 3 4 1 0 3 2 5 3 2 0 4 5 4 2 1 3 5 4 3 0 2 5 1 4 2 0</values>
24.42/8.72	v </instantiation>
24.42/8.72	c (1,0) Show results End
24.42/8.72	c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
24.42/8.72	c (1,0) 1,1,STOP-AFTER(ALL)
24.42/8.72	c END-Prog: Mon Aug 13 22:36:11 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 (11333 MiB free)
  memory of node 1: 16384 MiB (10641 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307519-1534192563/watcher-4307519-1534192563 -o /tmp/evaluation-result-4307519-1534192563/solver-4307519-1534192563 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1534189810-10409 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307519-1534192563.xml 

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

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

solver pid=11736, runsolver pid=11733

[startup+0.100151 s]*
/proc/loadavg: 4.86 6.90 7.34 2/199 11758
/proc/meminfo: memFree=22407340/32770624 swapFree=67108372/67108860
[pid=11736] ppid=11733 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/11736/stat : 11736 (scop.sh) S 11733 11736 10382 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236819438 115843072 348 33554432000 4194304 5098028 140735415630944 140735415628200 139663235871356 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19881984 140735415632931 140735415633155 140735415633155 140735415635917 0
/proc/11736/statm: 28282 348 296 221 0 87 0
[pid=11739] ppid=11736 vsize=27313900 memory=107412 CPUtime=0.1 cores=0-7
/proc/11739/stat : 11739 (java) S 11736 11736 10382 0 -1 1077944320 6356 0 0 0 7 3 0 0 20 0 20 0 236819439 27969433600 26853 33554432000 4194304 4196468 140720658017920 140720658000464 140316258688759 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
/proc/11739/statm: 6828475 26853 2735 1 0 6790935 0
[pid=11739/tid=11740] ppid=11736 vsize=27313900 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/11739/task/11740/stat : 11740 (java) R 11736 11736 10382 0 -1 4202560 4470 0 0 0 6 2 0 0 20 0 20 0 236819439 27969433600 26918 33554432000 4194304 4196468 140720658017920 140316230523888 140316258700694 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11741] ppid=11736 vsize=27313900 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/11739/task/11741/stat : 11741 (java) S 11736 11736 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 26918 33554432000 4194304 4196468 140720658017920 140316262931216 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11742] ppid=11736 vsize=27313900 memory=139688317027968 CPUtime=0 cores=0-7
/proc/11739/task/11742/stat : 11742 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 26918 33554432000 4194304 4196468 140720658017920 140316046326672 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11743] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11743/stat : 11743 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 26918 33554432000 4194304 4196468 140720658017920 140315679775760 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11744] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11744/stat : 11744 (java) S 11736 11736 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 26918 33554432000 4194304 4196468 140720658017920 140315678723216 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11745] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11745/stat : 11745 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 26918 33554432000 4194304 4196468 140720658017920 140315677669648 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11746] ppid=11736 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/11739/task/11746/stat : 11746 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 26918 33554432000 4194304 4196468 140720658017920 140315676617104 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11747] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11747/stat : 11747 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 26918 33554432000 4194304 4196468 140720658017920 140315675564560 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11748] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11748/stat : 11748 (java) S 11736 11736 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 26918 33554432000 4194304 4196468 140720658017920 140315674512016 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11749] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11749/stat : 11749 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236819443 27969433600 26918 33554432000 4194304 4196468 140720658017920 140314847357424 140316258699906 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11750] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11750/stat : 11750 (java) S 11736 11736 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236819443 27969433600 26918 33554432000 4194304 4196468 140720658017920 140313830090144 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11751] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11751/stat : 11751 (java) S 11736 11736 10382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236819443 27969433600 26918 33554432000 4194304 4196468 140720658017920 140313695868400 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11752] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11752/stat : 11752 (java) S 11736 11736 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236819446 27969433600 26918 33554432000 4194304 4196468 140720658017920 140313321364176 140316258707355 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11753] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11753/stat : 11753 (java) S 11736 11736 10382 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 236819446 27969433600 26918 33554432000 4194304 4196468 140720658017920 140314846304240 140316258699906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11754] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11754/stat : 11754 (java) S 11736 11736 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236819446 27969433600 26918 33554432000 4194304 4196468 140720658017920 140314845251696 140316258699906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11755] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11755/stat : 11755 (java) S 11736 11736 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236819446 27969433600 26918 33554432000 4194304 4196468 140720658017920 140314844199152 140316258699906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11756] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11756/stat : 11756 (java) S 11736 11736 10382 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 20 0 236819446 27969433600 26918 33554432000 4194304 4196468 140720658017920 140314843146608 140316258699906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11757] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11757/stat : 11757 (java) S 11736 11736 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236819446 27969433600 26918 33554432000 4194304 4196468 140720658017920 140312823458528 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11758] ppid=11736 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/11739/task/11758/stat : 11758 (java) S 11736 11736 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236819446 27969433600 26918 33554432000 4194304 4196468 140720658017920 140314842094512 140316258699906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 108804 KiB

[startup+0.210439 s]*
/proc/loadavg: 4.86 6.90 7.34 2/199 11758
/proc/meminfo: memFree=22391216/32770624 swapFree=67108372/67108860
[pid=11736] ppid=11733 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/11736/stat : 11736 (scop.sh) S 11733 11736 10382 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236819438 115843072 348 33554432000 4194304 5098028 140735415630944 140735415628200 139663235871356 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19881984 140735415632931 140735415633155 140735415633155 140735415635917 0
/proc/11736/statm: 28282 348 296 221 0 87 0
[pid=11739] ppid=11736 vsize=27313900 memory=121540 CPUtime=0.25 cores=0-7
/proc/11739/stat : 11739 (java) S 11736 11736 10382 0 -1 1077944320 10177 0 0 0 21 4 0 0 20 0 20 0 236819439 27969433600 30385 33554432000 4194304 4196468 140720658017920 140720658000464 140316258688759 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
/proc/11739/statm: 6828475 30385 2830 1 0 6790935 0
[pid=11739/tid=11740] ppid=11736 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/11739/task/11740/stat : 11740 (java) R 11736 11736 10382 0 -1 4202560 8071 0 0 0 16 3 0 0 20 0 20 0 236819439 27969433600 30450 33554432000 4194304 4196468 140720658017920 140316230484544 140316242769246 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11741] ppid=11736 vsize=27313900 memory=342 CPUtime=0 cores=0-7
/proc/11739/task/11741/stat : 11741 (java) S 11736 11736 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 30450 33554432000 4194304 4196468 140720658017920 140316262931216 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11742] ppid=11736 vsize=27313900 memory=4049214609885234848 CPUtime=0 cores=0-7
/proc/11739/task/11742/stat : 11742 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 30450 33554432000 4194304 4196468 140720658017920 140316046326672 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11743] ppid=11736 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/11739/task/11743/stat : 11743 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 30450 33554432000 4194304 4196468 140720658017920 140315679775760 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11744] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11744/stat : 11744 (java) S 11736 11736 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 30450 33554432000 4194304 4196468 140720658017920 140315678723216 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11745] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11745/stat : 11745 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 30450 33554432000 4194304 4196468 140720658017920 140315677669648 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11746] ppid=11736 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/11739/task/11746/stat : 11746 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 30450 33554432000 4194304 4196468 140720658017920 140315676617104 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11747] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11747/stat : 11747 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 30450 33554432000 4194304 4196468 140720658017920 140315675564560 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11748] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11748/stat : 11748 (java) S 11736 11736 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 30450 33554432000 4194304 4196468 140720658017920 140315674512016 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11749] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11749/stat : 11749 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236819443 27969433600 30450 33554432000 4194304 4196468 140720658017920 140314847357424 140316258699906 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11750] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11750/stat : 11750 (java) S 11736 11736 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236819443 27969433600 30450 33554432000 4194304 4196468 140720658017920 140313830090144 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11751] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11751/stat : 11751 (java) S 11736 11736 10382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236819443 27969433600 30450 33554432000 4194304 4196468 140720658017920 140313695868400 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11752] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11752/stat : 11752 (java) S 11736 11736 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236819446 27969433600 30450 33554432000 4194304 4196468 140720658017920 140313321364176 140316258707355 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11753] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11753/stat : 11753 (java) S 11736 11736 10382 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 236819446 27969433600 30450 33554432000 4194304 4196468 140720658017920 140314846304240 140316258699906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11754] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11754/stat : 11754 (java) S 11736 11736 10382 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 236819446 27969433600 30450 33554432000 4194304 4196468 140720658017920 140314845251696 140316258699906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11755] ppid=11736 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/11739/task/11755/stat : 11755 (java) S 11736 11736 10382 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 236819446 27969433600 30450 33554432000 4194304 4196468 140720658017920 140314844199152 140316258699906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11756] ppid=11736 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/11739/task/11756/stat : 11756 (java) S 11736 11736 10382 0 -1 1077944384 285 0 0 0 2 0 0 0 20 0 20 0 236819446 27969433600 30450 33554432000 4194304 4196468 140720658017920 140314843146608 140316258699906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11757] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11757/stat : 11757 (java) S 11736 11736 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236819446 27969433600 30450 33554432000 4194304 4196468 140720658017920 140312823458528 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11758] ppid=11736 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/11739/task/11758/stat : 11758 (java) S 11736 11736 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236819446 27969433600 30450 33554432000 4194304 4196468 140720658017920 140314842094512 140316258699906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 122932 KiB

[startup+0.310331 s]*
/proc/loadavg: 4.86 6.90 7.34 2/199 11758
/proc/meminfo: memFree=22387108/32770624 swapFree=67108372/67108860
[pid=11736] ppid=11733 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/11736/stat : 11736 (scop.sh) S 11733 11736 10382 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236819438 115843072 348 33554432000 4194304 5098028 140735415630944 140735415628200 139663235871356 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19881984 140735415632931 140735415633155 140735415633155 140735415635917 0
/proc/11736/statm: 28282 348 296 221 0 87 0
[pid=11739] ppid=11736 vsize=27313900 memory=125572 CPUtime=0.42 cores=0-7
/proc/11739/stat : 11739 (java) S 11736 11736 10382 0 -1 1077944320 10737 0 0 0 37 5 0 0 20 0 20 0 236819439 27969433600 31393 33554432000 4194304 4196468 140720658017920 140720658000464 140316258688759 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
/proc/11739/statm: 6828475 31393 2983 1 0 6790935 0
[pid=11739/tid=11740] ppid=11736 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11739/task/11740/stat : 11740 (java) R 11736 11736 10382 0 -1 4202560 8443 0 0 0 25 4 0 0 20 0 20 0 236819439 27969433600 31393 33554432000 4194304 4196468 140720658017920 140316230480016 140316240062309 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11741] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11741/stat : 11741 (java) S 11736 11736 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 31393 33554432000 4194304 4196468 140720658017920 140316262931216 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11742] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11742/stat : 11742 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 31393 33554432000 4194304 4196468 140720658017920 140316046326672 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11743] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11743/stat : 11743 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 31393 33554432000 4194304 4196468 140720658017920 140315679775760 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11744] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11744/stat : 11744 (java) S 11736 11736 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 31393 33554432000 4194304 4196468 140720658017920 140315678723216 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11745] ppid=11736 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/11739/task/11745/stat : 11745 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 31393 33554432000 4194304 4196468 140720658017920 140315677669648 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11746] ppid=11736 vsize=27313900 memory=139688174252975 CPUtime=0 cores=0-7
/proc/11739/task/11746/stat : 11746 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 31393 33554432000 4194304 4196468 140720658017920 140315676617104 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11747] ppid=11736 vsize=27313900 memory=139688174255280 CPUtime=0 cores=0-7
/proc/11739/task/11747/stat : 11747 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 31393 33554432000 4194304 4196468 140720658017920 140315675564560 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11748] ppid=11736 vsize=27313900 memory=139688174257584 CPUtime=0 cores=0-7
/proc/11739/task/11748/stat : 11748 (java) S 11736 11736 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236819441 27969433600 31393 33554432000 4194304 4196468 140720658017920 140315674512016 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11749] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11749/stat : 11749 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236819443 27969433600 31393 33554432000 4194304 4196468 140720658017920 140314847357424 140316258699906 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11750] ppid=11736 vsize=27313900 memory=279376348522128 CPUtime=0 cores=0-7
/proc/11739/task/11750/stat : 11750 (java) S 11736 11736 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236819443 27969433600 31393 33554432000 4194304 4196468 140720658017920 140313830090144 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11751] ppid=11736 vsize=27313900 memory=279376348529040 CPUtime=0 cores=0-7
/proc/11739/task/11751/stat : 11751 (java) S 11736 11736 10382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236819443 27969433600 31393 33554432000 4194304 4196468 140720658017920 140313695868400 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11752] ppid=11736 vsize=27313900 memory=279376348470320 CPUtime=0 cores=0-7
/proc/11739/task/11752/stat : 11752 (java) S 11736 11736 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236819446 27969433600 31393 33554432000 4194304 4196468 140720658017920 140313321364176 140316258707355 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11753] ppid=11736 vsize=27313900 memory=279376348542864 CPUtime=0.01 cores=0-7
/proc/11739/task/11753/stat : 11753 (java) S 11736 11736 10382 0 -1 1077944384 324 0 0 0 1 0 0 0 20 0 20 0 236819446 27969433600 31393 33554432000 4194304 4196468 140720658017920 140314846304240 140316258699906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11754] ppid=11736 vsize=27313900 memory=279376348549776 CPUtime=0.01 cores=0-7
/proc/11739/task/11754/stat : 11754 (java) S 11736 11736 10382 0 -1 1077944384 139 0 0 0 1 0 0 0 20 0 20 0 236819446 27969433600 31393 33554432000 4194304 4196468 140720658017920 140314845251696 140316258699906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11755] ppid=11736 vsize=27313900 memory=279376348547472 CPUtime=0.01 cores=0-7
/proc/11739/task/11755/stat : 11755 (java) S 11736 11736 10382 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 20 0 236819446 27969433600 31393 33554432000 4194304 4196468 140720658017920 140314844199152 140316258699906 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11756] ppid=11736 vsize=27313900 memory=279376348563632 CPUtime=0.07 cores=0-7
/proc/11739/task/11756/stat : 11756 (java) S 11736 11736 10382 0 -1 1077944384 307 0 0 0 7 0 0 0 20 0 20 0 236819446 27969433600 31393 33554432000 4194304 4196468 140720658017920 140314843146608 140316258699906 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11757] ppid=11736 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11757/stat : 11757 (java) S 11736 11736 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236819446 27969433600 31393 33554432000 4194304 4196468 140720658017920 140312823458528 140316258698965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11758] ppid=11736 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/11739/task/11758/stat : 11758 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236819446 27969433600 31393 33554432000 4194304 4196468 140720658017920 140314842094512 140316258699906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 126964 KiB

[startup+0.701041 s]
/proc/loadavg: 4.86 6.90 7.34 2/199 11758
/proc/meminfo: memFree=22363756/32770624 swapFree=67108372/67108860
[pid=11736] ppid=11733 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/11736/stat : 11736 (scop.sh) S 11733 11736 10382 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236819438 115843072 348 33554432000 4194304 5098028 140735415630944 140735415628200 139663235871356 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19881984 140735415632931 140735415633155 140735415633155 140735415635917 0
/proc/11736/statm: 28282 348 296 221 0 87 0
[pid=11739] ppid=11736 vsize=27320172 memory=164808 CPUtime=1.02 cores=0-7
/proc/11739/stat : 11739 (java) S 11736 11736 10382 0 -1 1077944320 17662 0 0 0 95 7 0 0 20 0 20 0 236819439 27975856128 41202 33554432000 4194304 4196468 140720658017920 140720658000464 140316258688759 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
/proc/11739/statm: 6830043 41202 3136 1 0 6791447 0
[pid=11739/tid=11740] ppid=11736 vsize=27320172 memory=279376348921520 CPUtime=0.67 cores=0-7
/proc/11739/task/11740/stat : 11740 (java) R 11736 11736 10382 0 -1 4202560 14882 0 0 0 61 6 0 0 20 0 20 0 236819439 27975856128 41202 33554432000 4194304 4196468 140720658017920 140316230520656 140316258700694 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11741] ppid=11736 vsize=27320172 memory=139688174461808 CPUtime=0 cores=0-7
/proc/11739/task/11741/stat : 11741 (java) S 11736 11736 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236819441 27975856128 41202 33554432000 4194304 4196468 140720658017920 140316262931216 140316258698965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11742] ppid=11736 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/11739/task/11742/stat : 11742 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236819441 27975856128 41202 33554432000 4194304 4196468 140720658017920 140316046326672 140316258698965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0
[pid=11739/tid=11743] ppid=11736 vsize=27320172 memory=752 CPUtime=0 cores=0-7
/proc/11739/task/11743/stat : 11743 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236819441 27975856128 41202 33554432000 4194304 4196468 140720658017920 140315679775760 140316258698965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6758400 140720658019305 140720658019629 140720658019629 140720658022351 0

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

[pid=11759/tid=11761] ppid=11736 vsize=8413904 memory=100931731479498 CPUtime=0 cores=0-7
/proc/11759/task/11761/stat : 11761 (java) S 11736 11736 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236820152 8615837696 29782 33554432000 4194304 4196468 140723879659856 140620631296272 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11762] ppid=11736 vsize=8413904 memory=-6879740588774637204 CPUtime=0 cores=0-7
/proc/11759/task/11762/stat : 11762 (java) S 11736 11736 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236820152 8615837696 29782 33554432000 4194304 4196468 140723879659856 140620451592592 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11763] ppid=11736 vsize=8413904 memory=11762 CPUtime=0 cores=0-7
/proc/11759/task/11763/stat : 11763 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236820152 8615837696 29782 33554432000 4194304 4196468 140723879659856 140620111596048 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11764] ppid=11736 vsize=8413904 memory=1277483 CPUtime=0 cores=0-7
/proc/11759/task/11764/stat : 11764 (java) S 11736 11736 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236820152 8615837696 29782 33554432000 4194304 4196468 140723879659856 140620110543504 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11765] ppid=11736 vsize=8413904 memory=7669463397793293401 CPUtime=0 cores=0-7
/proc/11759/task/11765/stat : 11765 (java) S 11736 11736 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236820152 8615837696 29782 33554432000 4194304 4196468 140723879659856 140620109490960 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11766] ppid=11736 vsize=8413904 memory=7669463397793293401 CPUtime=0 cores=0-7
/proc/11759/task/11766/stat : 11766 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236820152 8615837696 29782 33554432000 4194304 4196468 140723879659856 140620108438416 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11767] ppid=11736 vsize=8413904 memory=7669463397793293401 CPUtime=0 cores=0-7
/proc/11759/task/11767/stat : 11767 (java) S 11736 11736 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236820152 8615837696 29782 33554432000 4194304 4196468 140723879659856 140620107385872 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11768] ppid=11736 vsize=8413904 memory=7669463397793293401 CPUtime=0 cores=0-7
/proc/11759/task/11768/stat : 11768 (java) S 11736 11736 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236820152 8615837696 29782 33554432000 4194304 4196468 140723879659856 140620106333328 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11769] ppid=11736 vsize=8413904 memory=7669463397793293401 CPUtime=0 cores=0-7
/proc/11759/task/11769/stat : 11769 (java) S 11736 11736 10382 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 236820154 8615837696 29782 33554432000 4194304 4196468 140723879659856 140620056119280 140620627065474 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11770] ppid=11736 vsize=8413904 memory=7669463397793293401 CPUtime=0 cores=0-7
/proc/11759/task/11770/stat : 11770 (java) S 11736 11736 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236820154 8615837696 29782 33554432000 4194304 4196468 140723879659856 140619041203104 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11771] ppid=11736 vsize=8413904 memory=7669463397793293401 CPUtime=0 cores=0-7
/proc/11759/task/11771/stat : 11771 (java) S 11736 11736 10382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 236820154 8615837696 29782 33554432000 4194304 4196468 140723879659856 140618906981360 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11772] ppid=11736 vsize=8413904 memory=7669463397826847833 CPUtime=0 cores=0-7
/proc/11759/task/11772/stat : 11772 (java) S 11736 11736 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236820157 8615837696 29782 33554432000 4194304 4196468 140723879659856 140618532477136 140620627072923 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11773] ppid=11736 vsize=8413904 memory=8027758030460574049 CPUtime=0.12 cores=0-7
/proc/11759/task/11773/stat : 11773 (java) S 11736 11736 10382 0 -1 1077944384 998 0 0 0 12 0 0 0 20 0 24 0 236820157 8615837696 29782 33554432000 4194304 4196468 140723879659856 140620055067120 140620627065474 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11774] ppid=11736 vsize=8413904 memory=8027758030460574049 CPUtime=0.06 cores=0-7
/proc/11759/task/11774/stat : 11774 (java) S 11736 11736 10382 0 -1 1077944384 170 0 0 0 6 0 0 0 20 0 24 0 236820157 8615837696 29782 33554432000 4194304 4196468 140723879659856 140620054014576 140620627065474 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11775] ppid=11736 vsize=8413904 memory=7669463397877179481 CPUtime=0.1 cores=0-7
/proc/11759/task/11775/stat : 11775 (java) S 11736 11736 10382 0 -1 1077944384 311 0 0 0 10 0 0 0 20 0 24 0 236820157 8615837696 29782 33554432000 4194304 4196468 140723879659856 140620052962032 140620627065474 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11776] ppid=11736 vsize=8413904 memory=6081083671787758418 CPUtime=0.22 cores=0-7
/proc/11759/task/11776/stat : 11776 (java) S 11736 11736 10382 0 -1 1077944384 617 0 0 0 22 0 0 0 20 0 24 0 236820157 8615837696 29782 33554432000 4194304 4196468 140723879659856 140620051909488 140620627065474 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11777] ppid=11736 vsize=8413904 memory=4629799972190126725 CPUtime=0 cores=0-7
/proc/11759/task/11777/stat : 11777 (java) S 11736 11736 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236820157 8615837696 29782 33554432000 4194304 4196468 140723879659856 140618034571488 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11778] ppid=11736 vsize=8413904 memory=4206468019014099040 CPUtime=0 cores=0-7
/proc/11759/task/11778/stat : 11778 (java) S 11736 11736 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236820157 8615837696 29782 33554432000 4194304 4196468 140723879659856 140620050856368 140620627065474 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11780] ppid=11736 vsize=8413904 memory=6081083671787758418 CPUtime=0 cores=0-7
/proc/11759/task/11780/stat : 11780 (java) S 11736 11736 10382 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236820227 8615837696 29782 33554432000 4194304 4196468 140723879659856 140620049470656 140620627078937 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11782] ppid=11736 vsize=8413904 memory=7669463397877179481 CPUtime=0 cores=0-7
/proc/11759/task/11782/stat : 11782 (java) S 11736 11736 10382 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 236820227 8615837696 29782 33554432000 4194304 4196468 140723879659856 140617363472144 140620627076253 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11783] ppid=11736 vsize=8413904 memory=7669463397877179481 CPUtime=0 cores=0-7
/proc/11759/task/11783/stat : 11783 (java) S 11736 11736 10382 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 236820227 8615837696 29782 33554432000 4194304 4196468 140723879659856 140617631907728 140620627076253 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11784] ppid=11736 vsize=8413904 memory=279376349016144 CPUtime=0 cores=0-7
/proc/11759/task/11784/stat : 11784 (java) S 11736 11736 10382 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 236820229 8615837696 29782 33554432000 4194304 4196468 140723879659856 140617095044768 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
Current children cumulated CPU time: 23.01 s
Current children cumulated vsize: 8718872 KiB
Current children cumulated memory: 293872 KiB

[startup+8.60662 s]
/proc/loadavg: 4.63 6.82 7.31 2/204 11784
/proc/meminfo: memFree=22360804/32770624 swapFree=67108372/67108860
[pid=11736] ppid=11733 vsize=113128 memory=1468 CPUtime=21.17 cores=0-7
/proc/11736/stat : 11736 (scop.sh) S 11733 11736 10382 0 -1 4202496 589 38172 0 0 0 0 2064 53 20 0 1 0 236819438 115843072 367 33554432000 4194304 5098028 140735415630944 140735415627688 139663235871356 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19881984 140735415632931 140735415633155 140735415633155 140735415635917 0
/proc/11736/statm: 28282 367 311 221 0 87 0
[pid=11759] ppid=11736 vsize=8413904 memory=125624 CPUtime=3.01 cores=0-7
/proc/11759/stat : 11759 (java) S 11736 11736 10382 0 -1 1077944320 18723 43642 0 0 137 7 145 12 20 0 23 0 236820151 8615837696 31406 33554432000 4194304 4196468 140723879659856 140723879642400 140620627054327 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
/proc/11759/statm: 2103476 31406 3158 1 0 2064875 0
[pid=11759/tid=11760] ppid=11736 vsize=8413904 memory=-7737605721172012177 CPUtime=2.36 cores=0-7
/proc/11759/task/11760/stat : 11760 (java) S 11736 11736 10382 0 -1 1077944384 15085 43642 0 0 74 5 145 12 20 0 23 0 236820151 8615837696 31406 33554432000 4194304 4196468 140723879659856 140620598894480 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11761] ppid=11736 vsize=8413904 memory=0 CPUtime=1.57 cores=0-7
/proc/11759/task/11761/stat : 11761 (java) S 11736 11736 10382 0 -1 1077944384 1 43642 0 0 0 0 145 12 20 0 23 0 236820152 8615837696 31406 33554432000 4194304 4196468 140723879659856 140620631296272 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11762] ppid=11736 vsize=8413904 memory=7091041176893609327 CPUtime=1.57 cores=0-7
/proc/11759/task/11762/stat : 11762 (java) S 11736 11736 10382 0 -1 1077944384 1 43642 0 0 0 0 145 12 20 0 23 0 236820152 8615837696 31406 33554432000 4194304 4196468 140723879659856 140620451592592 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11763] ppid=11736 vsize=8413904 memory=6946081563887621483 CPUtime=1.57 cores=0-7
/proc/11759/task/11763/stat : 11763 (java) S 11736 11736 10382 0 -1 1077944384 2 43642 0 0 0 0 145 12 20 0 23 0 236820152 8615837696 31406 33554432000 4194304 4196468 140723879659856 140620111596048 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11764] ppid=11736 vsize=8413904 memory=6946081563887621483 CPUtime=1.57 cores=0-7
/proc/11759/task/11764/stat : 11764 (java) S 11736 11736 10382 0 -1 1077944384 1 43642 0 0 0 0 145 12 20 0 23 0 236820152 8615837696 31406 33554432000 4194304 4196468 140723879659856 140620110543504 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11765] ppid=11736 vsize=8413904 memory=6946081563887621483 CPUtime=1.57 cores=0-7
/proc/11759/task/11765/stat : 11765 (java) S 11736 11736 10382 0 -1 1077944384 1 43642 0 0 0 0 145 12 20 0 23 0 236820152 8615837696 31406 33554432000 4194304 4196468 140723879659856 140620109490960 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11766] ppid=11736 vsize=8413904 memory=6946081563887621483 CPUtime=1.57 cores=0-7
/proc/11759/task/11766/stat : 11766 (java) S 11736 11736 10382 0 -1 1077944384 2 43642 0 0 0 0 145 12 20 0 23 0 236820152 8615837696 31406 33554432000 4194304 4196468 140723879659856 140620108438416 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11767] ppid=11736 vsize=8413904 memory=4211888568153887576 CPUtime=1.57 cores=0-7
/proc/11759/task/11767/stat : 11767 (java) S 11736 11736 10382 0 -1 1077944384 2 43642 0 0 0 0 145 12 20 0 23 0 236820152 8615837696 31406 33554432000 4194304 4196468 140723879659856 140620107385872 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11768] ppid=11736 vsize=8413904 memory=7971542655782669194 CPUtime=1.57 cores=0-7
/proc/11759/task/11768/stat : 11768 (java) S 11736 11736 10382 0 -1 1077944384 3 43642 0 0 0 0 145 12 20 0 23 0 236820152 8615837696 31406 33554432000 4194304 4196468 140723879659856 140620106333328 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11769] ppid=11736 vsize=8413904 memory=6946081563887621483 CPUtime=1.57 cores=0-7
/proc/11759/task/11769/stat : 11769 (java) S 11736 11736 10382 0 -1 1077944384 6 43642 0 0 0 0 145 12 20 0 23 0 236820154 8615837696 31406 33554432000 4194304 4196468 140723879659856 140620056119280 140620627065474 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11770] ppid=11736 vsize=8413904 memory=279376349380480 CPUtime=1.57 cores=0-7
/proc/11759/task/11770/stat : 11770 (java) S 11736 11736 10382 0 -1 1077944384 13 43642 0 0 0 0 145 12 20 0 23 0 236820154 8615837696 31406 33554432000 4194304 4196468 140723879659856 140619041203104 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11771] ppid=11736 vsize=8413904 memory=8257237230052613020 CPUtime=1.57 cores=0-7
/proc/11759/task/11771/stat : 11771 (java) S 11736 11736 10382 0 -1 1077944384 21 43642 0 0 0 0 145 12 20 0 23 0 236820154 8615837696 31406 33554432000 4194304 4196468 140723879659856 140618906981360 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11772] ppid=11736 vsize=8413904 memory=12628 CPUtime=1.57 cores=0-7
/proc/11759/task/11772/stat : 11772 (java) S 11736 11736 10382 0 -1 1077944384 1 43642 0 0 0 0 145 12 20 0 23 0 236820157 8615837696 31406 33554432000 4194304 4196468 140723879659856 140618532477136 140620627072923 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11773] ppid=11736 vsize=8413904 memory=7022364632946311227 CPUtime=1.7 cores=0-7
/proc/11759/task/11773/stat : 11773 (java) R 11736 11736 10382 0 -1 4202560 1003 43642 0 0 13 0 145 12 20 0 23 0 236820157 8615837696 31406 33554432000 4194304 4196468 140723879659856 140620055067120 140620627066262 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11774] ppid=11736 vsize=8413904 memory=279376349012976 CPUtime=1.64 cores=0-7
/proc/11759/task/11774/stat : 11774 (java) R 11736 11736 10382 0 -1 4202560 177 43642 0 0 7 0 145 12 20 0 23 0 236820157 8615837696 31406 33554432000 4194304 4196468 140723879659856 140620054014576 140620620039369 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11775] ppid=11736 vsize=8413904 memory=6944656575208382560 CPUtime=1.7 cores=0-7
/proc/11759/task/11775/stat : 11775 (java) R 11736 11736 10382 0 -1 4202560 324 43642 0 0 13 0 145 12 20 0 23 0 236820157 8615837696 31406 33554432000 4194304 4196468 140723879659856 140620052962032 140620620039369 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11776] ppid=11736 vsize=8413904 memory=0 CPUtime=1.81 cores=0-7
/proc/11759/task/11776/stat : 11776 (java) S 11736 11736 10382 0 -1 1077944384 666 43642 0 0 24 0 145 12 20 0 23 0 236820157 8615837696 31406 33554432000 4194304 4196468 140723879659856 140620051909488 140620627065474 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11777] ppid=11736 vsize=8413904 memory=0 CPUtime=1.57 cores=0-7
/proc/11759/task/11777/stat : 11777 (java) S 11736 11736 10382 0 -1 1077944384 3 43642 0 0 0 0 145 12 20 0 23 0 236820157 8615837696 31411 33554432000 4194304 4196468 140723879659856 140618034571488 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11778] ppid=11736 vsize=8413904 memory=-7533511066075829596 CPUtime=1.57 cores=0-7
/proc/11759/task/11778/stat : 11778 (java) S 11736 11736 10382 0 -1 1077944384 1 43642 0 0 0 0 145 12 20 0 23 0 236820157 8615837696 31411 33554432000 4194304 4196468 140723879659856 140620050856368 140620627065474 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11780] ppid=11736 vsize=8413904 memory=-7595718148000617619 CPUtime=1.57 cores=0-7
/proc/11759/task/11780/stat : 11780 (java) S 11736 11736 10382 0 -1 1077944384 24 43642 0 0 0 0 145 12 20 0 23 0 236820227 8615837696 31411 33554432000 4194304 4196468 140723879659856 140620049469840 140620627065474 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11782] ppid=11736 vsize=8413904 memory=6944652177228980320 CPUtime=1.61 cores=0-7
/proc/11759/task/11782/stat : 11782 (java) R 11736 11736 10382 0 -1 4202560 51 43642 0 0 4 0 145 12 20 0 23 0 236820227 8615837696 31411 33554432000 4194304 4196468 140723879659856 140617363476304 140620627066262 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11784] ppid=11736 vsize=8413904 memory=6944656592455097440 CPUtime=1.57 cores=0-7
/proc/11759/task/11784/stat : 11784 (java) S 11736 11736 10382 0 -1 1077944384 5 43642 0 0 0 0 145 12 20 0 23 0 236820229 8615837696 31411 33554432000 4194304 4196468 140723879659856 140617095044528 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
Current children cumulated CPU time: 24.18 s
Current children cumulated vsize: 8527032 KiB
Current children cumulated memory: 127092 KiB

[startup+8.70103 s]
/proc/loadavg: 4.63 6.82 7.31 2/204 11784
/proc/meminfo: memFree=22360804/32770624 swapFree=67108372/67108860
[pid=11736] ppid=11733 vsize=113128 memory=1468 CPUtime=21.17 cores=0-7
/proc/11736/stat : 11736 (scop.sh) S 11733 11736 10382 0 -1 4202496 589 38172 0 0 0 0 2064 53 20 0 1 0 236819438 115843072 367 33554432000 4194304 5098028 140735415630944 140735415627688 139663235871356 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19881984 140735415632931 140735415633155 140735415633155 140735415635917 0
/proc/11736/statm: 28282 367 311 221 0 87 0
[pid=11759] ppid=11736 vsize=8282828 memory=131736 CPUtime=3.25 cores=0-7
/proc/11759/stat : 11759 (java) S 11736 11736 10382 0 -1 1077944320 19148 43642 0 0 160 8 145 12 20 0 22 0 236820151 8481615872 32934 33554432000 4194304 4196468 140723879659856 140723879642400 140620627054327 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
/proc/11759/statm: 2070707 32934 3175 1 0 2032106 0
[pid=11759/tid=11760] ppid=11736 vsize=8282828 memory=119128 CPUtime=2.44 cores=0-7
/proc/11759/task/11760/stat : 11760 (java) R 11736 11736 10382 0 -1 4202560 15338 43642 0 0 82 5 145 12 20 0 22 0 236820151 8481615872 32934 33554432000 4194304 4196468 140723879659856 140620598892032 140620627066262 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11761] ppid=11736 vsize=8282828 memory=139692611995263 CPUtime=1.57 cores=0-7
/proc/11759/task/11761/stat : 11761 (java) S 11736 11736 10382 0 -1 1077944384 1 43642 0 0 0 0 145 12 20 0 22 0 236820152 8481615872 32934 33554432000 4194304 4196468 140723879659856 140620631296272 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11762] ppid=11736 vsize=8282828 memory=139688174641360 CPUtime=1.57 cores=0-7
/proc/11759/task/11762/stat : 11762 (java) S 11736 11736 10382 0 -1 1077944384 1 43642 0 0 0 0 145 12 20 0 22 0 236820152 8481615872 32934 33554432000 4194304 4196468 140723879659856 140620451592592 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11763] ppid=11736 vsize=8282828 memory=139688174804344 CPUtime=1.57 cores=0-7
/proc/11759/task/11763/stat : 11763 (java) S 11736 11736 10382 0 -1 1077944384 2 43642 0 0 0 0 145 12 20 0 22 0 236820152 8481615872 32934 33554432000 4194304 4196468 140723879659856 140620111596048 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11764] ppid=11736 vsize=8282828 memory=139688174692800 CPUtime=1.57 cores=0-7
/proc/11759/task/11764/stat : 11764 (java) S 11736 11736 10382 0 -1 1077944384 1 43642 0 0 0 0 145 12 20 0 22 0 236820152 8481615872 32934 33554432000 4194304 4196468 140723879659856 140620110543504 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11765] ppid=11736 vsize=8282828 memory=3690334048849618384 CPUtime=1.57 cores=0-7
/proc/11759/task/11765/stat : 11765 (java) S 11736 11736 10382 0 -1 1077944384 1 43642 0 0 0 0 145 12 20 0 22 0 236820152 8481615872 32934 33554432000 4194304 4196468 140723879659856 140620109490960 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11766] ppid=11736 vsize=8282828 memory=4050055749009204256 CPUtime=1.57 cores=0-7
/proc/11759/task/11766/stat : 11766 (java) S 11736 11736 10382 0 -1 1077944384 2 43642 0 0 0 0 145 12 20 0 22 0 236820152 8481615872 32934 33554432000 4194304 4196468 140723879659856 140620108438416 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11767] ppid=11736 vsize=8282828 memory=4050055749009204352 CPUtime=1.57 cores=0-7
/proc/11759/task/11767/stat : 11767 (java) S 11736 11736 10382 0 -1 1077944384 2 43642 0 0 0 0 145 12 20 0 22 0 236820152 8481615872 32934 33554432000 4194304 4196468 140723879659856 140620107385872 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11768] ppid=11736 vsize=8282828 memory=4050055749009204448 CPUtime=1.57 cores=0-7
/proc/11759/task/11768/stat : 11768 (java) S 11736 11736 10382 0 -1 1077944384 3 43642 0 0 0 0 145 12 20 0 22 0 236820152 8481615872 32934 33554432000 4194304 4196468 140723879659856 140620106333328 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11769] ppid=11736 vsize=8282828 memory=4050340522554615377 CPUtime=1.57 cores=0-7
/proc/11759/task/11769/stat : 11769 (java) S 11736 11736 10382 0 -1 1077944384 6 43642 0 0 0 0 145 12 20 0 22 0 236820154 8481615872 32934 33554432000 4194304 4196468 140723879659856 140620056119280 140620627065474 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11770] ppid=11736 vsize=8282828 memory=119128 CPUtime=1.57 cores=0-7
/proc/11759/task/11770/stat : 11770 (java) S 11736 11736 10382 0 -1 1077944384 13 43642 0 0 0 0 145 12 20 0 22 0 236820154 8481615872 32934 33554432000 4194304 4196468 140723879659856 140619041203104 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11771] ppid=11736 vsize=8282828 memory=37172 CPUtime=1.57 cores=0-7
/proc/11759/task/11771/stat : 11771 (java) S 11736 11736 10382 0 -1 1077944384 21 43642 0 0 0 0 145 12 20 0 22 0 236820154 8481615872 32934 33554432000 4194304 4196468 140723879659856 140618906981360 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11772] ppid=11736 vsize=8282828 memory=15539617717817150 CPUtime=1.57 cores=0-7
/proc/11759/task/11772/stat : 11772 (java) S 11736 11736 10382 0 -1 1077944384 1 43642 0 0 0 0 145 12 20 0 22 0 236820157 8481615872 32934 33554432000 4194304 4196468 140723879659856 140618532477136 140620627072923 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11773] ppid=11736 vsize=8282828 memory=2575638202113 CPUtime=1.73 cores=0-7
/proc/11759/task/11773/stat : 11773 (java) S 11736 11736 10382 0 -1 1077944384 1020 43642 0 0 16 0 145 12 20 0 22 0 236820157 8481615872 32934 33554432000 4194304 4196468 140723879659856 140620055067120 140620627065474 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11774] ppid=11736 vsize=8282828 memory=1392 CPUtime=1.66 cores=0-7
/proc/11759/task/11774/stat : 11774 (java) S 11736 11736 10382 0 -1 1077944384 195 43642 0 0 9 0 145 12 20 0 22 0 236820157 8481615872 32934 33554432000 4194304 4196468 140723879659856 140620054014576 140620627065474 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11775] ppid=11736 vsize=8282828 memory=2246416 CPUtime=1.73 cores=0-7
/proc/11759/task/11775/stat : 11775 (java) S 11736 11736 10382 0 -1 1077944384 338 43642 0 0 16 0 145 12 20 0 22 0 236820157 8481615872 32934 33554432000 4194304 4196468 140723879659856 140620052962032 140620627065474 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11776] ppid=11736 vsize=8282828 memory=2635767744257 CPUtime=1.86 cores=0-7
/proc/11759/task/11776/stat : 11776 (java) R 11736 11736 10382 0 -1 4202560 786 43642 0 0 29 0 145 12 20 0 22 0 236820157 8481615872 32934 33554432000 4194304 4196468 140723879659856 140620051909616 140620606462625 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11777] ppid=11736 vsize=8282828 memory=2798976501505 CPUtime=1.57 cores=0-7
/proc/11759/task/11777/stat : 11777 (java) S 11736 11736 10382 0 -1 1077944384 3 43642 0 0 0 0 145 12 20 0 22 0 236820157 8481615872 32934 33554432000 4194304 4196468 140723879659856 140618034571488 140620627064533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11778] ppid=11736 vsize=8282828 memory=3808293816065 CPUtime=1.57 cores=0-7
/proc/11759/task/11778/stat : 11778 (java) S 11736 11736 10382 0 -1 1077944384 1 43642 0 0 0 0 145 12 20 0 22 0 236820157 8481615872 32934 33554432000 4194304 4196468 140723879659856 140620050856368 140620627065474 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11780] ppid=11736 vsize=8282828 memory=3812588783361 CPUtime=1.57 cores=0-7
/proc/11759/task/11780/stat : 11780 (java) S 11736 11736 10382 0 -1 1077944384 24 43642 0 0 0 0 145 12 20 0 22 0 236820227 8481615872 32934 33554432000 4194304 4196468 140723879659856 140620049469840 140620627065474 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
[pid=11759/tid=11784] ppid=11736 vsize=8282828 memory=1924 CPUtime=1.57 cores=0-7
/proc/11759/task/11784/stat : 11784 (java) S 11736 11736 10382 0 -1 1077944384 8 43642 0 0 0 0 145 12 20 0 22 0 236820229 8481615872 32934 33554432000 4194304 4196468 140723879659856 140617095046576 140620627065474 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26742784 140723879662769 140723879662893 140723879662893 140723879665615 0
Current children cumulated CPU time: 24.42 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 133204 KiB

Child status: 0
Real time (s): 8.73546
CPU time (s): 24.5077
CPU user time (s): 23.7504
CPU system time (s): 0.757365
CPU usage (%): 280.555
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 2381188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.7504
system time used= 0.757365
maximum resident set size= 2387120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101665
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16017
involuntary context switches= 60


# summary of solver processes directly reported to runsolver:
#   pid: 11736
#   total CPU time (s): 24.5077
#   total CPU user time (s): 23.7504
#   total CPU system time (s): 0.757365

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.08387 second user time and 0.137787 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-13 22:36:03
IDJOB=4307519
IDBENCH=141391
IDSOLVER=2789
FILE ID=node137/4307519-1534192563
RUNJOBID= node137-1534189810-10409
PBS_JOBID= 21037989
Free space on /tmp= 26576 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-06b_c18.xml
COMMAND LINE= scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307519-1534192563/watcher-4307519-1534192563 -o /tmp/evaluation-result-4307519-1534192563/solver-4307519-1534192563 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1534189810-10409 --watchdog 2580  scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307519-1534192563.xml

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

MD5SUM BENCH= ed15a4f7a5bcd1b231009209ed1d9727
RANDOM SEED=1742245631

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22502664 kB
MemAvailable:   31898368 kB
Buffers:          120220 kB
Cached:          9469476 kB
SwapCached:            8 kB
Active:          4260572 kB
Inactive:        5387288 kB
Active(anon):       4936 kB
Inactive(anon):   105160 kB
Active(file):    4255636 kB
Inactive(file):  5282128 kB
Unevictable:        7432 kB
Mlocked:            7432 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:              8448 kB
Writeback:             0 kB
AnonPages:         76452 kB
Mapped:            54248 kB
Shmem:             49624 kB
Slab:             314576 kB
SReclaimable:     286400 kB
SUnreclaim:        28176 kB
KernelStack:        3520 kB
PageTables:         4928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 26568 MiB
End job on node137 at 2018-08-13 22:36:12