Trace number 4307284

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameMisteryShopper/
MisteryShopper-06c_c18.xml
MD5SUM9b1ba7009c0c118539aa61bd7976011a
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 benchmark10.4895
Satisfiable
(Un)Satisfiability was proved
Number of variables864
Number of constraints529
Number of domains3
Minimum domain size6
Maximum domain size36
Distribution of domain sizes[{"size":6,"count":216},{"size":7,"count":216},{"size":36,"count":432}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":432},{"degree":3,"count":216},{"degree":4,"count":186},{"degree":5,"count":30}]
Minimum constraint arity2
Maximum constraint arity216
Distribution of constraint arities[{"arity":2,"count":432},{"arity":5,"count":6},{"arity":6,"count":72},{"arity":36,"count":12},{"arity":72,"count":6},{"arity":216,"count":1}]
Number of extensional constraints432
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":432},{"type":"allDifferent","count":84},{"type":"ordered","count":6},{"type":"lex","count":1},{"type":"channel","count":6}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-11864-serial-file.bin HOME/instance-4307284-1534192572.xml
0.66/0.53	
0.66/0.53	scop order+glucose-syrup (2018-07-31)
0.66/0.53	(Encoding Process)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Mon Aug 13 22:36:13 CEST 2018
0.66/0.56	c PID: 11867
0.66/0.56	c IP: 172.20.3.137
0.66/0.56	c HOST: node137.alineos.net
0.66/0.56	c (0,0) Parsing Begin
3.03/1.27	c (0,0) Parsing End
3.03/1.29	c (0,0) CSP: 864 int (0 aux), 0 bool (0 aux), 529 ctr, max domain size 36
3.03/1.29	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.03/1.29	c (0,0) Constraint Name Generate Begin
3.49/1.30	c (0,0) Ctr:HOME/instance-4307284-1534192572.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
3.49/1.30	c (0,0) Constraint Name Generate End
3.49/1.30	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.49/1.30	c (0,0) CSP to CSPinCNF Begin
5.34/1.96	c (1,1) translated 53 (10%) constraints
9.76/3.47	c (2,2) translated 106 (20%) constraints
10.67/3.66	c (3,3) translated 159 (30%) constraints
11.11/3.79	c (3,3) translated 212 (40%) constraints
11.92/3.91	c (3,3) translated 265 (50%) constraints
12.37/4.02	c (3,3) translated 318 (60%) constraints
12.78/4.13	c (3,3) translated 371 (70%) constraints
13.16/4.23	c (3,3) translated 424 (80%) constraints
13.55/4.32	c (3,3) translated 477 (90%) constraints
13.90/4.41	c (3,3) translated 529 (100%) constraints
15.13/4.75	c (4,4) STATISTICS1:HOME/instance-4307284-1534192572.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,3982,35884,36,36,36,2,36:7176;35:241;34:219;33:225;32:463;7:540;6:540,36:53878;35:957;34:828;33:828;32:1629;7:4104;6:3672;2:14106,36:24;8:216;7:216;6:144;4:310;3:19480;2:15430;1:64,2:9404;1:76746;0:432,
15.13/4.75	c (4,4) ==========================================
15.13/4.75	c (4,4) Order
15.13/4.75	c (4,4) ==========================================
15.96/4.94	c (4,4) translated 3589 (10%) constraints
16.29/5.07	c (4,4) translated 7177 (20%) constraints
17.46/5.34	c (4,4) translated 10766 (30%) constraints
18.38/5.63	c (5,5) translated 14354 (40%) constraints
18.59/5.88	c (5,5) translated 17942 (50%) constraints
18.92/6.16	c (5,5) translated 21531 (60%) constraints
19.11/6.39	c (5,5) translated 25119 (70%) constraints
19.31/6.50	c (5,5) translated 28708 (80%) constraints
19.72/6.58	c (6,6) translated 32296 (90%) constraints
20.01/6.63	c (6,6) translated 35884 (100%) constraints
20.01/6.63	c (6,6) CSP to CSPinCNF End
20.01/6.64	c (6,6) CSP: 864 int (0 aux), 18670 bool (18670 aux), 66988 ctr, max domain size 36
20.01/6.64	c (6,6) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
20.01/6.64	c (6,6) CSPinCNF Propagation Begin
21.28/7.17	c (6,6) 225 values, 1865 unsatisfiable literals, and 1359 valid clauses are removed
21.28/7.17	c (6,6) CSPinCNF Propagation End
21.28/7.17	c (6,6) CSP: 1029 int (165 aux), 18505 bool (18505 aux), 65629 ctr, max domain size 36
21.28/7.17	c (6,6) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.28/7.17	c (6,6) Simplify CSPinCNF Begin
22.07/7.64	c (7,7) Simplify CSPinCNF End
22.07/7.65	c (7,7) CSP: 1029 int (165 aux), 36175 bool (36175 aux), 83299 ctr, max domain size 36
22.07/7.65	c (7,7) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
22.07/7.65	c (7,7) Calculate Precise Domain Begin
22.07/7.65	c (7,7) 0 values are removed by re-calculation
22.07/7.65	c (7,7) Calculate Precise Domain End
22.07/7.66	c (7,7) CSP: 1029 int (165 aux), 36175 bool (36175 aux), 83299 ctr, max domain size 36
22.07/7.66	c (7,7) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
22.07/7.66	c (7,7) CSPinCNF to SatSolver Begin
23.76/8.44	c (7,7) 8330 (10 %) CSP clauses are encoded (53506 SAT variables, 213875 SAT clauses)
24.46/9.04	c (8,8) 16660 (20 %) CSP clauses are encoded (53506 SAT variables, 412313 SAT clauses)
24.95/9.51	c (8,8) 24990 (30 %) CSP clauses are encoded (53506 SAT variables, 567152 SAT clauses)
24.95/9.57	c (9,9) 33320 (40 %) CSP clauses are encoded (53506 SAT variables, 579688 SAT clauses)
25.05/9.61	c (9,9) 41650 (50 %) CSP clauses are encoded (53506 SAT variables, 588018 SAT clauses)
25.05/9.66	c (9,9) 49980 (60 %) CSP clauses are encoded (53506 SAT variables, 596348 SAT clauses)
25.15/9.71	c (9,9) 58310 (70 %) CSP clauses are encoded (53506 SAT variables, 604678 SAT clauses)
25.15/9.76	c (9,9) 66640 (80 %) CSP clauses are encoded (53506 SAT variables, 613008 SAT clauses)
25.35/9.94	c (9,9) 74970 (90 %) CSP clauses are encoded (53506 SAT variables, 647252 SAT clauses)
25.35/10.00	c (9,9) 83299 (100 %) CSP clauses are encoded (53506 SAT variables, 655581 SAT clauses)
25.35/10.00	c (9,9) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
25.35/10.00	c (9,9) CSPinCNF to SatSolver End
25.35/10.00	c (9,9) Heap : 4055 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
26.30/10.34	c (9,9) STATISTICS2:HOME/instance-4307284-1534192572.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,37204,83299,36,36,36,2,36:12051;35:446;34:853;33:819;32:1715;7:1080;6:1080,36:89286;35:1618;34:2976;33:2700;32:5302;7:5184;6:4752;2:95048,36:6;32:17;30:1;7:216;6:360;4:310;3:18406;2:63919;1:64,2:18044;1:170778,
26.30/10.34	c (9,9) 53506 bool, 655582 clause
26.30/10.34	c (9,9) Export Begin
26.45/10.48	c (9,9) Export to HOME/scop-11864-serial-file.bin
26.45/10.48	c (9,9) Export End
26.45/10.49	c (9,9) Export File Size: 0.17 MB
26.45/10.49	c (9,9) 0,0,6,6,7,7,9,STOP-AFTER(DIMACS)
26.45/10.49	c END-Prog: Mon Aug 13 22:36:23 CEST 2018
26.72/10.52	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-11864-serial-file.bin
27.36/11.01	c (0,0) Read Serial File Begin
27.36/11.01	c (0,0) HOME/scop-11864-serial-file.bin
27.74/11.24	c (0,0) Read Serial File End
27.74/11.25	
28.10/11.45	scop order+glucose-syrup (2018-07-31)
28.10/11.45	(Solving Process)
28.10/11.45	
28.10/11.45	c BEGIN-Prog: Mon Aug 13 22:36:24 CEST 2018
28.10/11.45	c PID: 11887
28.10/11.45	c IP: 172.20.3.137
28.10/11.45	c HOST: node137.alineos.net
28.10/11.45	c (0,0) SatSolver.solve Begin
28.10/11.45	c (0,0) 0 bool, 0 clause
28.10/11.45	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307284-1534192572.xml-scop-11867.cnf
46.58/14.81	c (3,0) c
46.58/14.81	c (3,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
46.58/14.81	c (3,0) c
46.58/14.81	c (3,0) c WARNING: for repeatability, setting FPU to use double precision
46.58/14.81	c (3,0) c 8 solvers engines and 1 companion as a blackboard created.
46.58/14.81	c (3,0) c ========================================[ Problem Statistics ]===========================================
46.58/14.81	c (3,0) c |                                                                                                       |
46.58/14.81	c (3,0) c |  Number of variables:         53506                                                                   |
46.58/14.81	c (3,0) c |  Number of clauses:          654801                                                                   |
46.58/14.81	c (3,0) c |  Parse time:                   0.20 s                                                                 |
46.58/14.81	c (3,0) c |                                                                                                       |
46.58/14.81	c (3,0) c |  Eliminated clauses:           0.58 Mb                                                                |
46.58/14.81	c (3,0) c |  Simplification time:          0.69 s                                                                 |
46.58/14.81	c (3,0) c |                                                                                                       |
46.58/14.81	c (3,0) c |  Generating clones                                                                                    |
46.58/14.81	c (3,0) c |  all clones generated. Memory = 445.83Mb.                                                             |
46.58/14.81	c (3,0) c ========================================================================================================|
46.58/14.81	c (3,0) c last restart ## conflicts  :  15 524 
46.58/14.81	c (3,0) c Thread 3 is 100% pure glucose! First thread to finish! (SAT answer).
46.58/14.81	c (3,0) c Total Memory so far : 1025.47Mb
46.58/14.81	c (3,0) c
46.58/14.81	c (3,0) c real time : 3.50171 s
46.58/14.81	c (3,0) c cpu time  : 18.0204 s
46.58/14.81	c (3,0) c
46.58/14.81	c (3,0) c
46.58/14.81	c (3,0) c
46.58/14.81	c (3,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
46.58/14.81	c (3,0) c
46.58/14.81	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
46.58/14.81	c (3,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
46.58/14.81	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
46.58/14.81	c (3,0) c | Conflicts     |           45143 |       4737 |       5988 |       5777 |       5615 |       5842 |       4925 |       6709 |       5550 |
46.58/14.81	c (3,0) c | Decisions     |          697395 |      77350 |      91303 |      86360 |      94873 |      90639 |      83711 |      95823 |      77336 |
46.58/14.81	c (3,0) c | Propagations  |        35864794 |    3857799 |    4661226 |    4705222 |    4797019 |    4659573 |    4236310 |    4830683 |    4116962 |
46.58/14.81	c (3,0) c | Avg_Trail     |                 |      15927 |      15563 |      15919 |      15537 |      15737 |      15997 |      15334 |      15922 |
46.58/14.81	c (3,0) c | Avg_DL        |                 |        234 |        225 |        222 |        225 |        221 |        237 |        217 |        229 |
46.58/14.81	c (3,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
46.58/14.81	c (3,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
46.58/14.81	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
46.58/14.81	c (3,0) c | Exported      |            2435 |        210 |        350 |        297 |        339 |        332 |        183 |        469 |        255 |
46.58/14.81	c (3,0) c | Imported      |           16740 |       2132 |       2055 |       2132 |       2077 |       2101 |       2212 |       1961 |       2070 |
46.58/14.81	c (3,0) c | Good          |            8288 |       1041 |       1026 |       1026 |       1002 |       1036 |       1092 |       1003 |       1062 |
46.58/14.81	c (3,0) c | Purge         |            8452 |       1091 |       1029 |       1106 |       1075 |       1065 |       1120 |        958 |       1008 |
46.58/14.81	c (3,0) c | Promoted      |             421 |         62 |         60 |         55 |         48 |         41 |         53 |         54 |         48 |
46.58/14.81	c (3,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
46.58/14.81	c (3,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
46.58/14.81	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
46.58/14.81	c (3,0) c | Unaries       |                 |         27 |          7 |          5 |         13 |          9 |          4 |          9 |          7 |
46.58/14.81	c (3,0) c | Binaries      |                 |        135 |        159 |        165 |        187 |        156 |         95 |        189 |        107 |
46.58/14.81	c (3,0) c | Glues         |                 |        210 |        267 |        262 |        287 |        276 |        183 |        309 |        218 |
46.58/14.81	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
46.58/14.81	c (3,0) c | Orig_Seen     |             5 % |      29023 |      36592 |      34711 |      34769 |      36528 |      32360 |      39066 |      33038 |
46.58/14.81	c (3,0) c | Diff Orig seen|                 | -     5746 |       1823 | -       58 |      X     |       1759 | -     2409 |       4297 | -     1731 |
46.58/14.81	c (3,0) c | Hamming       |            15 % |       7994 |       8409 |       7259 |      X     |       7609 |       8347 |       8518 |       8423 |
46.58/14.81	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
46.58/14.81	c (3,0) 
46.58/14.81	c (3,0) s SATISFIABLE
46.58/14.87	c (3,0) SatSolver.solve End
46.58/14.87	c (3,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
46.58/14.87	c (3,0) Show results Begin
46.89/14.97	s SATISFIABLE
46.89/15.00	v <instantiation>
46.89/15.00	v     <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[0][5] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[1][5] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[2][5] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[3][5] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[4][5] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[5][5] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[6][5] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[7][5] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[8][5] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[9][5] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[10][5] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[11][5] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[12][5] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[13][5] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[14][5] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[15][5] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[16][4] vr[16][5] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[17][5] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[18][4] vr[18][5] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[19][5] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[20][5] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[21][5] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[22][4] vr[22][5] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[23][5] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[24][5] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[25][5] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[26][5] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[27][5] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[28][5] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] vr[29][5] vr[30][0] vr[30][1] vr[30][2] vr[30][3] vr[30][4] vr[30][5] vr[31][0] vr[31][1] vr[31][2] vr[31][3] vr[31][4] vr[31][5] vr[32][0] vr[32][1] vr[32][2] vr[32][3] vr[32][4] vr[32][5] vr[33][0] vr[33][1] vr[33][2] vr[33][3] vr[33][4] vr[33][5] vr[34][0] vr[34][1] vr[34][2] vr[34][3] vr[34][4] vr[34][5] vr[35][0] vr[35][1] vr[35][2] vr[35][3] vr[35][4] vr[35][5] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[0][5] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[1][4] ve[1][5] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[2][5] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[3][5] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4] ve[4][5] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[5][5] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[6][5] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[7][5] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[8][5] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[9][5] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[10][5] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[11][5] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[12][5] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[13][4] ve[13][5] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[14][5] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[15][5] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[16][5] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[17][5] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[18][5] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[19][5] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[20][5] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[21][5] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[22][5] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[23][5] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[24][5] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[25][5] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[26][5] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[27][4] ve[27][5] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[28][5] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] ve[29][5] ve[30][0] ve[30][1] ve[30][2] ve[30][3] ve[30][4] ve[30][5] ve[31][0] ve[31][1] ve[31][2] ve[31][3] ve[31][4] ve[31][5] ve[32][0] ve[32][1] ve[32][2] ve[32][3] ve[32][4] ve[32][5] ve[33][0] ve[33][1] ve[33][2] ve[33][3] ve[33][4] ve[33][5] ve[34][0] ve[34][1] ve[34][2] ve[34][3] ve[34][4] ve[34][5] ve[35][0] ve[35][1] ve[35][2] ve[35][3] ve[35][4] ve[35][5] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[0][5] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[1][5] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[2][5] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4] gvr[3][5] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[4][5] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[5][5] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[6][5] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[7][5] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[8][5] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[9][5] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[10][5] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[11][5] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[12][5] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[13][5] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[14][4] gvr[14][5] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[15][5] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[16][5] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[17][5] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[18][5] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[19][4] gvr[19][5] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[20][5] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[21][5] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[22][5] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[23][5] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[24][5] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[25][5] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[26][4] gvr[26][5] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[27][5] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[28][5] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gvr[29][5] gvr[30][0] gvr[30][1] gvr[30][2] gvr[30][3] gvr[30][4] gvr[30][5] gvr[31][0] gvr[31][1] gvr[31][2] gvr[31][3] gvr[31][4] gvr[31][5] gvr[32][0] gvr[32][1] gvr[32][2] gvr[32][3] gvr[32][4] gvr[32][5] gvr[33][0] gvr[33][1] gvr[33][2] gvr[33][3] gvr[33][4] gvr[33][5] gvr[34][0] gvr[34][1] gvr[34][2] gvr[34][3] gvr[34][4] gvr[34][5] gvr[35][0] gvr[35][1] gvr[35][2] gvr[35][3] gvr[35][4] gvr[35][5] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[0][4] gve[0][5] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[1][5] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[2][5] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[3][5] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[4][5] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4] gve[5][5] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[6][5] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[7][4] gve[7][5] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[8][5] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[9][4] gve[9][5] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[10][5] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[11][4] gve[11][5] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[12][5] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[13][4] gve[13][5] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[14][5] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[15][5] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[16][5] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[17][5] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[18][4] gve[18][5] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[19][5] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[20][5] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4] gve[21][5] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[22][5] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[23][4] gve[23][5] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[24][5] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[25][4] gve[25][5] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[26][5] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[27][5] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[28][5] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4] gve[29][5] gve[30][0] gve[30][1] gve[30][2] gve[30][3] gve[30][4] gve[30][5] gve[31][0] gve[31][1] gve[31][2] gve[31][3] gve[31][4] gve[31][5] gve[32][0] gve[32][1] gve[32][2] gve[32][3] gve[32][4] gve[32][5] gve[33][0] gve[33][1] gve[33][2] gve[33][3] gve[33][4] gve[33][5] gve[34][0] gve[34][1] gve[34][2] gve[34][3] gve[34][4] gve[34][5] gve[35][0] gve[35][1] gve[35][2] gve[35][3] gve[35][4] gve[35][5]</list>
46.89/15.00	v     <values>0 10 14 21 25 32 1 16 6 27 30 19 2 13 9 33 26 22 3 23 35 12 7 28 4 18 34 17 11 24 5 27 23 16 10 34 6 15 29 30 1 20 7 32 25 2 14 21 8 31 0 18 24 12 9 25 19 3 16 31 10 17 21 1 29 33 11 20 5 32 27 15 12 28 30 23 8 2 13 24 18 34 0 6 14 7 26 22 4 35 15 26 20 9 33 3 16 21 11 0 35 29 17 22 27 7 32 5 18 30 8 4 28 13 19 6 24 31 2 14 20 29 10 5 31 16 21 11 28 35 15 1 22 34 4 6 17 26 23 8 32 13 3 27 24 2 7 14 18 30 25 12 33 19 9 0 26 14 1 8 34 18 27 33 22 10 5 17 28 35 3 11 12 23 29 19 31 15 6 4 30 9 2 20 13 25 31 0 12 24 19 7 32 1 13 25 20 8 33 3 15 26 21 9 34 4 16 28 22 10 35 5 17 29 23 11 0 31 8 16 13 25 1 32 26 10 6 21 2 24 30 7 19 12 3 33 28 9 23 15 4 34 22 18 14 29 5 35 11 20 27 17 6 19 1 22 29 13 7 14 24 17 3 31 8 23 18 26 12 32 9 30 2 15 25 33 10 0 20 27 5 34 11 21 16 28 4 35 12 25 31 3 28 8 13 2 32 23 30 18 14 26 0 24 7 19 15 6 33 29 21 11 16 1 34 5 9 20 17 10 35 4 22 27 18 4 13 8 24 26 19 29 9 25 31 1 20 11 15 30 32 6 21 16 10 0 33 7 22 17 27 14 34 2 23 3 5 12 35 28 24 13 19 31 8 4 25 9 7 32 0 30 26 15 14 33 2 22 27 5 17 1 11 23 28 12 21 34 18 3 29 20 6 35 10 16 30 18 12 6 1 24 31 8 29 19 20 9 32 7 23 11 17 0 33 27 25 2 15 10 34 22 4 13 26 5 35 28 3 21 16 14 0 1 2 3 4 5 0 2 1 4 5 3 0 2 1 5 4 3 0 3 5 2 1 4 0 3 5 2 1 4 0 4 3 2 1 5 1 2 4 5 0 3 1 5 4 0 2 3 1 5 0 3 4 2 1 4 3 0 2 5 1 2 3 0 4 5 1 3 0 5 4 2 2 4 5 3 1 0 2 4 3 5 0 1 2 1 4 3 0 5 2 4 3 1 5 0 2 3 1 0 5 4 2 3 4 1 5 0 3 5 1 0 4 2 3 1 4 5 0 2 3 4 1 0 5 2 3 1 4 5 2 0 3 5 0 1 2 4 3 1 5 2 0 4 4 0 1 2 3 5 4 2 5 3 1 0 4 2 0 1 5 3 4 5 3 1 0 2 4 5 0 1 2 3 4 3 5 2 1 0 5 1 0 3 2 4 5 0 2 4 3 1 5 0 2 4 3 1 5 0 2 4 3 1 5 0 2 4 3 1 5 0 2 4 3 1 0 6 1 3 2 4 0 6 5 2 1 4 0 4 5 1 3 2 0 6 5 2 4 3 0 6 4 3 2 5 1 6 2 4 5 3 1 3 0 4 5 2 1 2 4 3 0 6 1 4 3 5 2 6 2 5 0 3 4 6 2 0 4 5 1 6 2 4 3 5 0 6 2 4 6 0 5 1 2 0 6 4 5 3 2 5 0 4 1 3 3 1 6 5 4 2 3 0 6 1 2 4 3 2 6 0 4 5 3 0 2 1 4 5 3 5 2 4 6 0 4 2 3 5 6 1 4 3 2 0 6 1 4 3 5 2 6 0 4 0 1 2 6 5 4 2 3 6 1 0 4 2 1 6 0 5 5 3 2 6 0 4 5 1 3 0 2 4 5 2 4 6 3 0 5 4 1 6 2 3 5 3 2 1 0 4 6 1 5 3 4 2 6 1 4 2 3 0 6 5 4 0 3 2 6 4 0 2 5 1 6 5 0 4 3 2</values>
46.89/15.00	v </instantiation>
46.89/15.00	c (4,0) Show results End
46.89/15.00	c (4,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
46.89/15.00	c (4,0) 3,4,STOP-AFTER(ALL)
46.89/15.00	c END-Prog: Mon Aug 13 22:36:28 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 (10642 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307284-1534192572/watcher-4307284-1534192572 -o /tmp/evaluation-result-4307284-1534192572/solver-4307284-1534192572 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1534189810-10409 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307284-1534192572.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=11864, runsolver pid=11861

[startup+0.100149 s]*
/proc/loadavg: 4.50 6.75 7.29 4/199 11886
/proc/meminfo: memFree=22409072/32770624 swapFree=67108372/67108860
[pid=11864] ppid=11861 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11864/stat : 11864 (scop.sh) S 11861 11864 10382 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 236820418 115843072 349 33554432000 4194304 5098028 140735582345424 140735582342680 139638204744316 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12103680 140735582352418 140735582352643 140735582352643 140735582355405 0
/proc/11864/statm: 28282 349 296 221 0 87 0
[pid=11867] ppid=11864 vsize=27313900 memory=108352 CPUtime=0.11 cores=0-7
/proc/11867/stat : 11867 (java) S 11864 11864 10382 0 -1 1077944320 6012 0 0 0 8 3 0 0 20 0 20 0 236820418 27969433600 27088 33554432000 4194304 4196468 140722498138880 140722498121424 139841155251959 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
/proc/11867/statm: 6828475 27088 2739 1 0 6790935 0
[pid=11867/tid=11868] ppid=11864 vsize=27313900 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/11867/task/11868/stat : 11868 (java) R 11864 11864 10382 0 -1 4202560 4131 0 0 0 6 2 0 0 20 0 20 0 236820418 27969433600 27088 33554432000 4194304 4196468 140722498138880 139841127078288 139841139332446 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11869] ppid=11864 vsize=27313900 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/11867/task/11869/stat : 11869 (java) S 11864 11864 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 27088 33554432000 4194304 4196468 140722498138880 139841159494416 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11870] ppid=11864 vsize=27313900 memory=139798879471232 CPUtime=0 cores=0-7
/proc/11867/task/11870/stat : 11870 (java) S 11864 11864 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 27088 33554432000 4194304 4196468 140722498138880 139840577026960 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11871] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11871/stat : 11871 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 27088 33554432000 4194304 4196468 140722498138880 139840575974416 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11872] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11872/stat : 11872 (java) S 11864 11864 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 27088 33554432000 4194304 4196468 140722498138880 139840574921872 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11873] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11873/stat : 11873 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 27088 33554432000 4194304 4196468 140722498138880 139840573868304 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11874] ppid=11864 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/11867/task/11874/stat : 11874 (java) S 11864 11864 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 27088 33554432000 4194304 4196468 140722498138880 139840572815760 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11875] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11875/stat : 11875 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 27088 33554432000 4194304 4196468 140722498138880 139840571763216 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11876] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11876/stat : 11876 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 27088 33554432000 4194304 4196468 140722498138880 139840570710672 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11877] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11877/stat : 11877 (java) S 11864 11864 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236820422 27969433600 27088 33554432000 4194304 4196468 140722498138880 139839274080752 139841155263106 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11878] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11878/stat : 11878 (java) S 11864 11864 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236820423 27969433600 27088 33554432000 4194304 4196468 140722498138880 139839101986208 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11879] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11879/stat : 11879 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820423 27969433600 27088 33554432000 4194304 4196468 140722498138880 139838833550832 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11880] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11880/stat : 11880 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820425 27969433600 27088 33554432000 4194304 4196468 140722498138880 139838459042512 139841155270555 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11881] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11881/stat : 11881 (java) S 11864 11864 10382 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 236820425 27969433600 27088 33554432000 4194304 4196468 140722498138880 139839273027568 139841155263106 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11882] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11882/stat : 11882 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820425 27969433600 27088 33554432000 4194304 4196468 140722498138880 139839271975024 139841155263106 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11883] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11883/stat : 11883 (java) S 11864 11864 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236820425 27969433600 27088 33554432000 4194304 4196468 140722498138880 139839270922480 139841155263106 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11884] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11884/stat : 11884 (java) S 11864 11864 10382 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 20 0 236820425 27969433600 27088 33554432000 4194304 4196468 140722498138880 139839269869936 139841155263106 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11885] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11885/stat : 11885 (java) S 11864 11864 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236820426 27969433600 27088 33554432000 4194304 4196468 140722498138880 139837961136864 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11886] ppid=11864 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/11867/task/11886/stat : 11886 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820426 27969433600 27088 33554432000 4194304 4196468 140722498138880 139839268817840 139841155263106 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 109748 KiB

[startup+0.210513 s]*
/proc/loadavg: 4.50 6.75 7.29 2/199 11886
/proc/meminfo: memFree=22390528/32770624 swapFree=67108372/67108860
[pid=11864] ppid=11861 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11864/stat : 11864 (scop.sh) S 11861 11864 10382 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 236820418 115843072 349 33554432000 4194304 5098028 140735582345424 140735582342680 139638204744316 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12103680 140735582352418 140735582352643 140735582352643 140735582355405 0
/proc/11864/statm: 28282 349 296 221 0 87 0
[pid=11867] ppid=11864 vsize=27313900 memory=122960 CPUtime=0.24 cores=0-7
/proc/11867/stat : 11867 (java) S 11864 11864 10382 0 -1 1077944320 9946 0 0 0 20 4 0 0 20 0 20 0 236820418 27969433600 30740 33554432000 4194304 4196468 140722498138880 140722498121424 139841155251959 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
/proc/11867/statm: 6828475 30740 2873 1 0 6790935 0
[pid=11867/tid=11868] ppid=11864 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/11867/task/11868/stat : 11868 (java) R 11864 11864 10382 0 -1 4202560 7831 0 0 0 16 3 0 0 20 0 20 0 236820418 27969433600 30740 33554432000 4194304 4196468 140722498138880 139841127061016 139841139332446 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11869] ppid=11864 vsize=27313900 memory=342 CPUtime=0 cores=0-7
/proc/11867/task/11869/stat : 11869 (java) S 11864 11864 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 30740 33554432000 4194304 4196468 140722498138880 139841159494416 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11870] ppid=11864 vsize=27313900 memory=4049214720447678112 CPUtime=0 cores=0-7
/proc/11867/task/11870/stat : 11870 (java) S 11864 11864 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 30740 33554432000 4194304 4196468 140722498138880 139840577026960 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11871] ppid=11864 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/11867/task/11871/stat : 11871 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 30740 33554432000 4194304 4196468 140722498138880 139840575974416 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11872] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11872/stat : 11872 (java) S 11864 11864 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 30740 33554432000 4194304 4196468 140722498138880 139840574921872 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11873] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11873/stat : 11873 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 30740 33554432000 4194304 4196468 140722498138880 139840573868304 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11874] ppid=11864 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/11867/task/11874/stat : 11874 (java) S 11864 11864 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 30740 33554432000 4194304 4196468 140722498138880 139840572815760 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11875] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11875/stat : 11875 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 30740 33554432000 4194304 4196468 140722498138880 139840571763216 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11876] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11876/stat : 11876 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 30740 33554432000 4194304 4196468 140722498138880 139840570710672 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11877] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11877/stat : 11877 (java) S 11864 11864 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236820422 27969433600 30740 33554432000 4194304 4196468 140722498138880 139839274080752 139841155263106 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11878] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11878/stat : 11878 (java) S 11864 11864 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236820423 27969433600 30740 33554432000 4194304 4196468 140722498138880 139839101986208 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11879] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11879/stat : 11879 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820423 27969433600 30740 33554432000 4194304 4196468 140722498138880 139838833550832 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11880] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11880/stat : 11880 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820425 27969433600 30740 33554432000 4194304 4196468 140722498138880 139838459042512 139841155270555 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11881] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11881/stat : 11881 (java) S 11864 11864 10382 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 236820425 27969433600 30740 33554432000 4194304 4196468 140722498138880 139839273027568 139841155263106 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11882] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11882/stat : 11882 (java) S 11864 11864 10382 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 236820425 27969433600 30740 33554432000 4194304 4196468 140722498138880 139839271975024 139841155263106 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11883] ppid=11864 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/11867/task/11883/stat : 11883 (java) S 11864 11864 10382 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 236820425 27969433600 30740 33554432000 4194304 4196468 140722498138880 139839270922480 139841155263106 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11884] ppid=11864 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/11867/task/11884/stat : 11884 (java) S 11864 11864 10382 0 -1 1077944384 308 0 0 0 2 0 0 0 20 0 20 0 236820425 27969433600 30740 33554432000 4194304 4196468 140722498138880 139839269869936 139841155263106 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11885] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11885/stat : 11885 (java) S 11864 11864 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236820426 27969433600 30740 33554432000 4194304 4196468 140722498138880 139837961136864 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11886] ppid=11864 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/11867/task/11886/stat : 11886 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820426 27969433600 30740 33554432000 4194304 4196468 140722498138880 139839268817840 139841155263106 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 124356 KiB

[startup+0.310388 s]*
/proc/loadavg: 4.50 6.75 7.29 2/199 11886
/proc/meminfo: memFree=22386496/32770624 swapFree=67108372/67108860
[pid=11864] ppid=11861 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11864/stat : 11864 (scop.sh) S 11861 11864 10382 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 236820418 115843072 349 33554432000 4194304 5098028 140735582345424 140735582342680 139638204744316 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12103680 140735582352418 140735582352643 140735582352643 140735582355405 0
/proc/11864/statm: 28282 349 296 221 0 87 0
[pid=11867] ppid=11864 vsize=27313900 memory=127432 CPUtime=0.42 cores=0-7
/proc/11867/stat : 11867 (java) S 11864 11864 10382 0 -1 1077944320 10625 0 0 0 37 5 0 0 20 0 20 0 236820418 27969433600 31858 33554432000 4194304 4196468 140722498138880 140722498121424 139841155251959 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
/proc/11867/statm: 6828475 31858 2972 1 0 6790935 0
[pid=11867/tid=11868] ppid=11864 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11867/task/11868/stat : 11868 (java) R 11864 11864 10382 0 -1 4202560 8323 0 0 0 25 4 0 0 20 0 20 0 236820418 27969433600 31858 33554432000 4194304 4196468 140722498138880 139841127047408 139841136625416 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11869] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11869/stat : 11869 (java) S 11864 11864 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 31858 33554432000 4194304 4196468 140722498138880 139841159494416 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11870] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11870/stat : 11870 (java) S 11864 11864 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 31858 33554432000 4194304 4196468 140722498138880 139840577026960 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11871] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11871/stat : 11871 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 31858 33554432000 4194304 4196468 140722498138880 139840575974416 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11872] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11872/stat : 11872 (java) S 11864 11864 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 31858 33554432000 4194304 4196468 140722498138880 139840574921872 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11873] ppid=11864 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/11867/task/11873/stat : 11873 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 31858 33554432000 4194304 4196468 140722498138880 139840573868304 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11874] ppid=11864 vsize=27313900 memory=139798769660847 CPUtime=0 cores=0-7
/proc/11867/task/11874/stat : 11874 (java) S 11864 11864 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 31858 33554432000 4194304 4196468 140722498138880 139840572815760 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11875] ppid=11864 vsize=27313900 memory=139798769663152 CPUtime=0 cores=0-7
/proc/11867/task/11875/stat : 11875 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 31858 33554432000 4194304 4196468 140722498138880 139840571763216 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11876] ppid=11864 vsize=27313900 memory=139798769665456 CPUtime=0 cores=0-7
/proc/11867/task/11876/stat : 11876 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820421 27969433600 31858 33554432000 4194304 4196468 140722498138880 139840570710672 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11877] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11877/stat : 11877 (java) S 11864 11864 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236820422 27969433600 31858 33554432000 4194304 4196468 140722498138880 139839274080752 139841155263106 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11878] ppid=11864 vsize=27313900 memory=279597539337872 CPUtime=0 cores=0-7
/proc/11867/task/11878/stat : 11878 (java) S 11864 11864 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236820423 27969433600 31858 33554432000 4194304 4196468 140722498138880 139839101986208 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11879] ppid=11864 vsize=27313900 memory=279597539344784 CPUtime=0 cores=0-7
/proc/11867/task/11879/stat : 11879 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820423 27969433600 31858 33554432000 4194304 4196468 140722498138880 139838833550832 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11880] ppid=11864 vsize=27313900 memory=279597539286064 CPUtime=0 cores=0-7
/proc/11867/task/11880/stat : 11880 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820425 27969433600 31858 33554432000 4194304 4196468 140722498138880 139838459042512 139841155270555 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11881] ppid=11864 vsize=27313900 memory=279597539358608 CPUtime=0 cores=0-7
/proc/11867/task/11881/stat : 11881 (java) S 11864 11864 10382 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 236820425 27969433600 31858 33554432000 4194304 4196468 140722498138880 139839273027568 139841155263106 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11882] ppid=11864 vsize=27313900 memory=279597539365520 CPUtime=0.02 cores=0-7
/proc/11867/task/11882/stat : 11882 (java) S 11864 11864 10382 0 -1 1077944384 148 0 0 0 2 0 0 0 20 0 20 0 236820425 27969433600 31858 33554432000 4194304 4196468 140722498138880 139839271975024 139841155263106 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11883] ppid=11864 vsize=27313900 memory=279597539363216 CPUtime=0.01 cores=0-7
/proc/11867/task/11883/stat : 11883 (java) S 11864 11864 10382 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 20 0 236820425 27969433600 31858 33554432000 4194304 4196468 140722498138880 139839270922480 139841155263106 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11884] ppid=11864 vsize=27313900 memory=279597539379376 CPUtime=0.07 cores=0-7
/proc/11867/task/11884/stat : 11884 (java) S 11864 11864 10382 0 -1 1077944384 352 0 0 0 7 0 0 0 20 0 20 0 236820425 27969433600 31858 33554432000 4194304 4196468 140722498138880 139839269869936 139841155263106 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11885] ppid=11864 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11885/stat : 11885 (java) S 11864 11864 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236820426 27969433600 31858 33554432000 4194304 4196468 140722498138880 139837961136864 139841155262165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11886] ppid=11864 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/11867/task/11886/stat : 11886 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820426 27969433600 31858 33554432000 4194304 4196468 140722498138880 139839268817840 139841155263106 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 128828 KiB

[startup+0.704783 s]
/proc/loadavg: 4.50 6.75 7.29 2/199 11886
/proc/meminfo: memFree=22361924/32770624 swapFree=67108372/67108860
[pid=11864] ppid=11861 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11864/stat : 11864 (scop.sh) S 11861 11864 10382 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 236820418 115843072 349 33554432000 4194304 5098028 140735582345424 140735582342680 139638204744316 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12103680 140735582352418 140735582352643 140735582352643 140735582355405 0
/proc/11864/statm: 28282 349 296 221 0 87 0
[pid=11867] ppid=11864 vsize=27320172 memory=166568 CPUtime=1.03 cores=0-7
/proc/11867/stat : 11867 (java) S 11864 11864 10382 0 -1 1077944320 17649 0 0 0 96 7 0 0 20 0 20 0 236820418 27975856128 41642 33554432000 4194304 4196468 140722498138880 140722498121424 139841155251959 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
/proc/11867/statm: 6830043 41642 3124 1 0 6791447 0
[pid=11867/tid=11868] ppid=11864 vsize=27320172 memory=279597539737264 CPUtime=0.67 cores=0-7
/proc/11867/task/11868/stat : 11868 (java) R 11864 11864 10382 0 -1 4202560 14863 0 0 0 62 5 0 0 20 0 20 0 236820418 27975856128 41642 33554432000 4194304 4196468 140722498138880 139841127087920 139841155273885 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11869] ppid=11864 vsize=27320172 memory=139798769869680 CPUtime=0 cores=0-7
/proc/11867/task/11869/stat : 11869 (java) S 11864 11864 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236820421 27975856128 41642 33554432000 4194304 4196468 140722498138880 139841159494416 139841155262165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11870] ppid=11864 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/11867/task/11870/stat : 11870 (java) S 11864 11864 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236820421 27975856128 41642 33554432000 4194304 4196468 140722498138880 139840577026960 139841155262165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0
[pid=11867/tid=11871] ppid=11864 vsize=27320172 memory=752 CPUtime=0 cores=0-7
/proc/11867/task/11871/stat : 11871 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236820421 27975856128 41642 33554432000 4194304 4196468 140722498138880 139840575974416 139841155262165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36982784 140722498147304 140722498147629 140722498147629 140722498150351 0

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

[pid=11887] ppid=11864 vsize=8413904 memory=123532 CPUtime=1.36 cores=0-7
/proc/11887/stat : 11887 (java) S 11864 11864 10382 0 -1 1077944320 18610 0 0 0 128 8 0 0 20 0 24 0 236821470 8615837696 30883 33554432000 4194304 4196468 140731020494144 140731020476688 139776676404983 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
/proc/11887/statm: 2103476 30883 3158 1 0 2064875 0
[pid=11907] ppid=11887 vsize=1050076 memory=472464 CPUtime=15.29 cores=0-7
/proc/11907/stat : 11907 (glucose-syrup) S 11887 11864 10382 0 -1 1077944320 135374 0 0 0 1479 50 0 0 20 0 9 0 236821548 1075277824 118116 33554432000 4194304 4373367 140733581565536 140733581564080 140678385658498 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 14 0 0 6470912 6472264 12226560 140733581571152 140733581571284 140733581571284 140733581574087 0
/proc/11907/statm: 262519 118116 385 44 0 258207 0
[pid=11907/tid=11913] ppid=11887 vsize=1050076 memory=8039887049847965610 CPUtime=1.77 cores=0-7
/proc/11907/task/11913/stat : 11913 (glucose-syrup) R 11887 11864 10382 0 -1 4202560 5912 0 0 0 172 5 0 0 20 0 9 0 236821677 1075277824 118116 33554432000 4194304 4373367 140733581565536 140678359829872 4271631 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 12226560 140733581571152 140733581571284 140733581571284 140733581574087 0
[pid=11907/tid=11914] ppid=11887 vsize=1050076 memory=136 CPUtime=1.78 cores=0-7
/proc/11907/task/11914/stat : 11914 (glucose-syrup) R 11887 11864 10382 0 -1 4202560 10738 0 0 0 176 2 0 0 20 0 9 0 236821677 1075277824 118116 33554432000 4194304 4373367 140733581565536 140678323137904 4252341 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 12226560 140733581571152 140733581571284 140733581571284 140733581574087 0
[pid=11907/tid=11915] ppid=11887 vsize=1050076 memory=94 CPUtime=1.74 cores=0-7
/proc/11907/task/11915/stat : 11915 (glucose-syrup) R 11887 11864 10382 0 -1 4202560 8380 0 0 0 172 2 0 0 20 0 9 0 236821677 1075277824 118116 33554432000 4194304 4373367 140733581565536 140678314744696 4259410 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 12226560 140733581571152 140733581571284 140733581571284 140733581574087 0
[pid=11907/tid=11916] ppid=11887 vsize=1050076 memory=79 CPUtime=1.73 cores=0-7
/proc/11907/task/11916/stat : 11916 (glucose-syrup) R 11887 11864 10382 0 -1 4202560 7271 0 0 0 171 2 0 0 20 0 9 0 236821677 1075277824 118116 33554432000 4194304 4373367 140733581565536 140678306352496 4271724 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 12226560 140733581571152 140733581571284 140733581571284 140733581574087 0
[pid=11907/tid=11917] ppid=11887 vsize=1050076 memory=0 CPUtime=1.77 cores=0-7
/proc/11907/task/11917/stat : 11917 (glucose-syrup) R 11887 11864 10382 0 -1 4202560 8423 0 0 0 170 7 0 0 20 0 9 0 236821677 1075277824 118116 33554432000 4194304 4373367 140733581565536 140678297959792 4258831 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 12226560 140733581571152 140733581571284 140733581571284 140733581574087 0
[pid=11907/tid=11918] ppid=11887 vsize=1050076 memory=0 CPUtime=1.77 cores=0-7
/proc/11907/task/11918/stat : 11918 (glucose-syrup) R 11887 11864 10382 0 -1 4202560 7652 0 0 0 169 8 0 0 20 0 9 0 236821677 1075277824 118116 33554432000 4194304 4373367 140733581565536 140678289566584 4258831 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 12226560 140733581571152 140733581571284 140733581571284 140733581574087 0
[pid=11907/tid=11919] ppid=11887 vsize=1050076 memory=1524 CPUtime=1.77 cores=0-7
/proc/11907/task/11919/stat : 11919 (glucose-syrup) R 11887 11864 10382 0 -1 4202560 8155 0 0 0 176 1 0 0 20 0 9 0 236821678 1075277824 118116 33554432000 4194304 4373367 140733581565536 140678164114632 4271897 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 12226560 140733581571152 140733581571284 140733581571284 140733581574087 0
[pid=11907/tid=11920] ppid=11887 vsize=1050076 memory=64140 CPUtime=1.75 cores=0-7
/proc/11907/task/11920/stat : 11920 (glucose-syrup) R 11887 11864 10382 0 -1 4202560 7630 0 0 0 168 7 0 0 20 0 9 0 236821678 1075277824 118116 33554432000 4194304 4373367 140733581565536 140678281174336 4271619 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 12226560 140733581571152 140733581571284 140733581571284 140733581574087 0
[pid=11887/tid=11888] ppid=11864 vsize=8413904 memory=1100 CPUtime=0.79 cores=0-7
/proc/11887/task/11888/stat : 11888 (java) S 11864 11864 10382 0 -1 1077944384 15098 0 0 0 74 5 0 0 20 0 24 0 236821471 8615837696 30883 33554432000 4194304 4196468 140731020494144 139776648245136 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11889] ppid=11864 vsize=8413904 memory=2144 CPUtime=0 cores=0-7
/proc/11887/task/11889/stat : 11889 (java) S 11864 11864 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236821472 8615837696 30883 33554432000 4194304 4196468 140731020494144 139776680646928 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11890] ppid=11864 vsize=8413904 memory=1752 CPUtime=0 cores=0-7
/proc/11887/task/11890/stat : 11890 (java) S 11864 11864 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236821472 8615837696 30883 33554432000 4194304 4196468 140731020494144 139776494803344 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11891] ppid=11864 vsize=8413904 memory=5752 CPUtime=0 cores=0-7
/proc/11887/task/11891/stat : 11891 (java) S 11864 11864 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236821472 8615837696 30883 33554432000 4194304 4196468 140731020494144 139776493750800 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11892] ppid=11864 vsize=8413904 memory=4580 CPUtime=0 cores=0-7
/proc/11887/task/11892/stat : 11892 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236821472 8615837696 30883 33554432000 4194304 4196468 140731020494144 139776492698256 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11893] ppid=11864 vsize=8413904 memory=1620 CPUtime=0 cores=0-7
/proc/11887/task/11893/stat : 11893 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236821472 8615837696 30883 33554432000 4194304 4196468 140731020494144 139776491645712 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11894] ppid=11864 vsize=8413904 memory=1220 CPUtime=0 cores=0-7
/proc/11887/task/11894/stat : 11894 (java) S 11864 11864 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236821472 8615837696 30883 33554432000 4194304 4196468 140731020494144 139776490593168 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11895] ppid=11864 vsize=8413904 memory=1800 CPUtime=0 cores=0-7
/proc/11887/task/11895/stat : 11895 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236821472 8615837696 30883 33554432000 4194304 4196468 140731020494144 139776156662800 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11896] ppid=11864 vsize=8413904 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/11887/task/11896/stat : 11896 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236821472 8615837696 30883 33554432000 4194304 4196468 140731020494144 139776155610256 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11897] ppid=11864 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/11887/task/11897/stat : 11897 (java) S 11864 11864 10382 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 236821474 8615837696 30883 33554432000 4194304 4196468 140731020494144 139775904004080 139776676416130 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11898] ppid=11864 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/11887/task/11898/stat : 11898 (java) S 11864 11864 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236821474 8615837696 30883 33554432000 4194304 4196468 140731020494144 139775281456032 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11899] ppid=11864 vsize=8413904 memory=-7737621075815351712 CPUtime=0 cores=0-7
/proc/11887/task/11899/stat : 11899 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236821474 8615837696 30883 33554432000 4194304 4196468 140731020494144 139775013020656 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11900] ppid=11864 vsize=8413904 memory=21090 CPUtime=0 cores=0-7
/proc/11887/task/11900/stat : 11900 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236821477 8615837696 30883 33554432000 4194304 4196468 140731020494144 139774638512336 139776676423579 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11901] ppid=11864 vsize=8413904 memory=1251426 CPUtime=0.09 cores=0-7
/proc/11887/task/11901/stat : 11901 (java) S 11864 11864 10382 0 -1 1077944384 498 0 0 0 9 0 0 0 20 0 24 0 236821477 8615837696 30883 33554432000 4194304 4196468 140731020494144 139775902951920 139776676416130 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11902] ppid=11864 vsize=8413904 memory=0 CPUtime=0.1 cores=0-7
/proc/11887/task/11902/stat : 11902 (java) S 11864 11864 10382 0 -1 1077944384 595 0 0 0 10 0 0 0 20 0 24 0 236821477 8615837696 30883 33554432000 4194304 4196468 140731020494144 139775901899376 139776676416130 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11903] ppid=11864 vsize=8413904 memory=0 CPUtime=0.1 cores=0-7
/proc/11887/task/11903/stat : 11903 (java) S 11864 11864 10382 0 -1 1077944384 418 0 0 0 10 0 0 0 20 0 24 0 236821477 8615837696 30883 33554432000 4194304 4196468 140731020494144 139775900846832 139776676416130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11904] ppid=11864 vsize=8413904 memory=6933690305039933585 CPUtime=0.22 cores=0-7
/proc/11887/task/11904/stat : 11904 (java) S 11864 11864 10382 0 -1 1077944384 603 0 0 0 22 0 0 0 20 0 24 0 236821477 8615837696 30883 33554432000 4194304 4196468 140731020494144 139775899794288 139776676416130 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11905] ppid=11864 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/11887/task/11905/stat : 11905 (java) S 11864 11864 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236821477 8615837696 30883 33554432000 4194304 4196468 140731020494144 139774140606688 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11906] ppid=11864 vsize=8413904 memory=868 CPUtime=0 cores=0-7
/proc/11887/task/11906/stat : 11906 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236821477 8615837696 30883 33554432000 4194304 4196468 140731020494144 139775898741168 139776676416130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11908] ppid=11864 vsize=8413904 memory=6800 CPUtime=0 cores=0-7
/proc/11887/task/11908/stat : 11908 (java) S 11864 11864 10382 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236821549 8615837696 30883 33554432000 4194304 4196468 140731020494144 139775890932928 139776676429593 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11910] ppid=11864 vsize=8413904 memory=11628 CPUtime=0 cores=0-7
/proc/11887/task/11910/stat : 11910 (java) S 11864 11864 10382 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 236821549 8615837696 30883 33554432000 4194304 4196468 140731020494144 139773469507376 139776676426909 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11911] ppid=11864 vsize=8413904 memory=752 CPUtime=0 cores=0-7
/proc/11887/task/11911/stat : 11911 (java) S 11864 11864 10382 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 236821549 8615837696 30883 33554432000 4194304 4196468 140731020494144 139773737942960 139776676426909 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11912] ppid=11864 vsize=8413904 memory=1276 CPUtime=0 cores=0-7
/proc/11887/task/11912/stat : 11912 (java) S 11864 11864 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236821551 8615837696 30883 33554432000 4194304 4196468 140731020494144 139773201079968 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
Current children cumulated CPU time: 43.39 s
Current children cumulated vsize: 9577108 KiB
Current children cumulated memory: 597468 KiB

[startup+14.8018 s]
/proc/loadavg: 4.04 6.58 7.22 9/212 11920
/proc/meminfo: memFree=21910160/32770624 swapFree=67108372/67108860
[pid=11864] ppid=11861 vsize=113128 memory=1472 CPUtime=26.74 cores=0-7
/proc/11864/stat : 11864 (scop.sh) S 11861 11864 10382 0 -1 4202496 590 38000 0 0 0 0 2580 94 20 0 1 0 236820418 115843072 368 33554432000 4194304 5098028 140735582345424 140735582342168 139638204744316 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12103680 140735582352418 140735582352643 140735582352643 140735582355405 0
/proc/11864/statm: 28282 368 311 221 0 87 0
[pid=11887] ppid=11864 vsize=8413904 memory=123532 CPUtime=1.36 cores=0-7
/proc/11887/stat : 11887 (java) S 11864 11864 10382 0 -1 1077944320 18610 0 0 0 128 8 0 0 20 0 24 0 236821470 8615837696 30883 33554432000 4194304 4196468 140731020494144 140731020476688 139776676404983 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
/proc/11887/statm: 2103476 30883 3158 1 0 2064875 0
[pid=11907] ppid=11887 vsize=1050076 memory=472984 CPUtime=18.48 cores=0-7
/proc/11907/stat : 11907 (glucose-syrup) S 11887 11864 10382 0 -1 1077944320 137411 0 0 0 1796 52 0 0 20 0 9 0 236821548 1075277824 118246 33554432000 4194304 4373367 140733581565536 140733581564080 140678385658498 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 14 0 0 6470912 6472264 12226560 140733581571152 140733581571284 140733581571284 140733581574087 0
/proc/11907/statm: 262519 118246 385 44 0 258207 0
[pid=11907/tid=11913] ppid=11887 vsize=1050076 memory=0 CPUtime=2.17 cores=0-7
/proc/11907/task/11913/stat : 11913 (glucose-syrup) R 11887 11864 10382 0 -1 4202560 7457 0 0 0 211 6 0 0 20 0 9 0 236821677 1075277824 118246 33554432000 4194304 4373367 140733581565536 140678359829480 4271619 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 12226560 140733581571152 140733581571284 140733581571284 140733581574087 0
[pid=11907/tid=11914] ppid=11887 vsize=1050076 memory=0 CPUtime=2.18 cores=0-7
/proc/11907/task/11914/stat : 11914 (glucose-syrup) R 11887 11864 10382 0 -1 4202560 10808 0 0 0 216 2 0 0 20 0 9 0 236821677 1075277824 118246 33554432000 4194304 4373367 140733581565536 140678323137400 4271897 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 12226560 140733581571152 140733581571284 140733581571284 140733581574087 0
[pid=11907/tid=11915] ppid=11887 vsize=1050076 memory=0 CPUtime=2.14 cores=0-7
/proc/11907/task/11915/stat : 11915 (glucose-syrup) R 11887 11864 10382 0 -1 4202560 8421 0 0 0 212 2 0 0 20 0 9 0 236821677 1075277824 118246 33554432000 4194304 4373367 140733581565536 140678314744696 4271619 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 12226560 140733581571152 140733581571284 140733581571284 140733581574087 0
[pid=11907/tid=11916] ppid=11887 vsize=1050076 memory=0 CPUtime=2.12 cores=0-7
/proc/11907/task/11916/stat : 11916 (glucose-syrup) R 11887 11864 10382 0 -1 4202560 7285 0 0 0 210 2 0 0 20 0 9 0 236821677 1075277824 118246 33554432000 4194304 4373367 140733581565536 140678306352496 4272056 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 12226560 140733581571152 140733581571284 140733581571284 140733581574087 0
[pid=11907/tid=11917] ppid=11887 vsize=1050076 memory=0 CPUtime=2.17 cores=0-7
/proc/11907/task/11917/stat : 11917 (glucose-syrup) R 11887 11864 10382 0 -1 4202560 8463 0 0 0 210 7 0 0 20 0 9 0 236821677 1075277824 118246 33554432000 4194304 4373367 140733581565536 140678297959288 4272068 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 12226560 140733581571152 140733581571284 140733581571284 140733581574087 0
[pid=11907/tid=11918] ppid=11887 vsize=1050076 memory=0 CPUtime=2.17 cores=0-7
/proc/11907/task/11918/stat : 11918 (glucose-syrup) R 11887 11864 10382 0 -1 4202560 7740 0 0 0 209 8 0 0 20 0 9 0 236821677 1075277824 118246 33554432000 4194304 4373367 140733581565536 140678289566992 4271897 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 12226560 140733581571152 140733581571284 140733581571284 140733581574087 0
[pid=11907/tid=11919] ppid=11887 vsize=1050076 memory=0 CPUtime=2.17 cores=0-7
/proc/11907/task/11919/stat : 11919 (glucose-syrup) R 11887 11864 10382 0 -1 4202560 8289 0 0 0 216 1 0 0 20 0 9 0 236821678 1075277824 118246 33554432000 4194304 4373367 140733581565536 140678164114296 4290998 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 12226560 140733581571152 140733581571284 140733581571284 140733581574087 0
[pid=11907/tid=11920] ppid=11887 vsize=1050076 memory=0 CPUtime=2.15 cores=0-7
/proc/11907/task/11920/stat : 11920 (glucose-syrup) R 11887 11864 10382 0 -1 4202560 7735 0 0 0 208 7 0 0 20 0 9 0 236821678 1075277824 118246 33554432000 4194304 4373367 140733581565536 140678281173880 4271897 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 12226560 140733581571152 140733581571284 140733581571284 140733581574087 0
[pid=11887/tid=11888] ppid=11864 vsize=8413904 memory=0 CPUtime=0.79 cores=0-7
/proc/11887/task/11888/stat : 11888 (java) S 11864 11864 10382 0 -1 1077944384 15098 0 0 0 74 5 0 0 20 0 24 0 236821471 8615837696 30883 33554432000 4194304 4196468 140731020494144 139776648245136 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11889] ppid=11864 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/11887/task/11889/stat : 11889 (java) S 11864 11864 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236821472 8615837696 30883 33554432000 4194304 4196468 140731020494144 139776680646928 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11890] ppid=11864 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/11887/task/11890/stat : 11890 (java) S 11864 11864 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236821472 8615837696 30883 33554432000 4194304 4196468 140731020494144 139776494803344 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11891] ppid=11864 vsize=8413904 memory=8039887049847965610 CPUtime=0 cores=0-7
/proc/11887/task/11891/stat : 11891 (java) S 11864 11864 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236821472 8615837696 30883 33554432000 4194304 4196468 140731020494144 139776493750800 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11892] ppid=11864 vsize=8413904 memory=5794557581492770669 CPUtime=0 cores=0-7
/proc/11887/task/11892/stat : 11892 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236821472 8615837696 30883 33554432000 4194304 4196468 140731020494144 139776492698256 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11893] ppid=11864 vsize=8413904 memory=7444567176459283543 CPUtime=0 cores=0-7
/proc/11887/task/11893/stat : 11893 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236821472 8615837696 30883 33554432000 4194304 4196468 140731020494144 139776491645712 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11894] ppid=11864 vsize=8413904 memory=7444567176459283543 CPUtime=0 cores=0-7
/proc/11887/task/11894/stat : 11894 (java) S 11864 11864 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236821472 8615837696 30883 33554432000 4194304 4196468 140731020494144 139776490593168 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11895] ppid=11864 vsize=8413904 memory=7667214965385162087 CPUtime=0 cores=0-7
/proc/11887/task/11895/stat : 11895 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236821472 8615837696 30883 33554432000 4194304 4196468 140731020494144 139776156662800 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11896] ppid=11864 vsize=8413904 memory=7452159325389023075 CPUtime=0 cores=0-7
/proc/11887/task/11896/stat : 11896 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236821472 8615837696 30883 33554432000 4194304 4196468 140731020494144 139776155610256 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11897] ppid=11864 vsize=8413904 memory=7444567176459283543 CPUtime=0 cores=0-7
/proc/11887/task/11897/stat : 11897 (java) S 11864 11864 10382 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 236821474 8615837696 30883 33554432000 4194304 4196468 140731020494144 139775904004080 139776676416130 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11898] ppid=11864 vsize=8413904 memory=7444567176459283543 CPUtime=0 cores=0-7
/proc/11887/task/11898/stat : 11898 (java) S 11864 11864 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236821474 8615837696 30883 33554432000 4194304 4196468 140731020494144 139775281456032 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11899] ppid=11864 vsize=8413904 memory=7444567176459283543 CPUtime=0 cores=0-7
/proc/11887/task/11899/stat : 11899 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236821474 8615837696 30883 33554432000 4194304 4196468 140731020494144 139775013020656 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11900] ppid=11864 vsize=8413904 memory=7444567176459283543 CPUtime=0 cores=0-7
/proc/11887/task/11900/stat : 11900 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236821477 8615837696 30883 33554432000 4194304 4196468 140731020494144 139774638512336 139776676423579 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11901] ppid=11864 vsize=8413904 memory=7306636676966082133 CPUtime=0.09 cores=0-7
/proc/11887/task/11901/stat : 11901 (java) S 11864 11864 10382 0 -1 1077944384 498 0 0 0 9 0 0 0 20 0 24 0 236821477 8615837696 30883 33554432000 4194304 4196468 140731020494144 139775902951920 139776676416130 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11902] ppid=11864 vsize=8413904 memory=6369616452208976728 CPUtime=0.1 cores=0-7
/proc/11887/task/11902/stat : 11902 (java) S 11864 11864 10382 0 -1 1077944384 595 0 0 0 10 0 0 0 20 0 24 0 236821477 8615837696 30883 33554432000 4194304 4196468 140731020494144 139775901899376 139776676416130 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11903] ppid=11864 vsize=8413904 memory=6369616452208976728 CPUtime=0.1 cores=0-7
/proc/11887/task/11903/stat : 11903 (java) S 11864 11864 10382 0 -1 1077944384 418 0 0 0 10 0 0 0 20 0 24 0 236821477 8615837696 30883 33554432000 4194304 4196468 140731020494144 139775900846832 139776676416130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11904] ppid=11864 vsize=8413904 memory=6369616452208976728 CPUtime=0.22 cores=0-7
/proc/11887/task/11904/stat : 11904 (java) S 11864 11864 10382 0 -1 1077944384 603 0 0 0 22 0 0 0 20 0 24 0 236821477 8615837696 30883 33554432000 4194304 4196468 140731020494144 139775899794288 139776676416130 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11905] ppid=11864 vsize=8413904 memory=6369028191728064367 CPUtime=0 cores=0-7
/proc/11887/task/11905/stat : 11905 (java) S 11864 11864 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236821477 8615837696 30883 33554432000 4194304 4196468 140731020494144 139774140606688 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11906] ppid=11864 vsize=8413904 memory=6369028191728064367 CPUtime=0 cores=0-7
/proc/11887/task/11906/stat : 11906 (java) S 11864 11864 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236821477 8615837696 30883 33554432000 4194304 4196468 140731020494144 139775898741168 139776676416130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11908] ppid=11864 vsize=8413904 memory=6369028191728064367 CPUtime=0 cores=0-7
/proc/11887/task/11908/stat : 11908 (java) S 11864 11864 10382 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236821549 8615837696 30883 33554432000 4194304 4196468 140731020494144 139775890932928 139776676429593 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11910] ppid=11864 vsize=8413904 memory=6008741303870183270 CPUtime=0 cores=0-7
/proc/11887/task/11910/stat : 11910 (java) S 11864 11864 10382 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 236821549 8615837696 30883 33554432000 4194304 4196468 140731020494144 139773469507376 139776676426909 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11911] ppid=11864 vsize=8413904 memory=7157738595943935854 CPUtime=0 cores=0-7
/proc/11887/task/11911/stat : 11911 (java) S 11864 11864 10382 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 236821549 8615837696 30883 33554432000 4194304 4196468 140731020494144 139773737942960 139776676426909 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
[pid=11887/tid=11912] ppid=11864 vsize=8413904 memory=6369028191728064367 CPUtime=0 cores=0-7
/proc/11887/task/11912/stat : 11912 (java) S 11864 11864 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236821551 8615837696 30883 33554432000 4194304 4196468 140731020494144 139773201079968 139776676415189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25649152 140731020498097 140731020498221 140731020498221 140731020500943 0
Current children cumulated CPU time: 46.58 s
Current children cumulated vsize: 9577108 KiB
Current children cumulated memory: 597988 KiB

[startup+15.001 s]*
/proc/loadavg: 4.35 6.60 7.23 3/201 11920
/proc/meminfo: memFree=22360152/32770624 swapFree=67108372/67108860
[pid=11864] ppid=11861 vsize=113128 memory=1472 CPUtime=26.74 cores=0-7
/proc/11864/stat : 11864 (scop.sh) S 11861 11864 10382 0 -1 4202496 590 38000 0 0 0 0 2580 94 20 0 1 0 236820418 115843072 368 33554432000 4194304 5098028 140735582345424 140735582342168 139638204744316 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12103680 140735582352418 140735582352643 140735582352643 140735582355405 0
/proc/11864/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 26.74 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB

Child status: 0
Real time (s): 15.0152
CPU time (s): 47.2108
CPU user time (s): 45.6072
CPU system time (s): 1.60368
CPU usage (%): 314.421
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 4210396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.6071
system time used= 1.60368
maximum resident set size= 4209680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195580
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22760
involuntary context switches= 225


# summary of solver processes directly reported to runsolver:
#   pid: 11864
#   total CPU time (s): 47.2108
#   total CPU user time (s): 45.6072
#   total CPU system time (s): 1.60368

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.140769 second user time and 0.20789 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-13 22:36:12
IDJOB=4307284
IDBENCH=141392
IDSOLVER=2788
FILE ID=node137/4307284-1534192572
RUNJOBID= node137-1534189810-10409
PBS_JOBID= 21037989
Free space on /tmp= 26576 MiB

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

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

MD5SUM BENCH= 9b1ba7009c0c118539aa61bd7976011a
RANDOM SEED=679737164

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:        22502924 kB
MemAvailable:   31898572 kB
Buffers:          120252 kB
Cached:          9469892 kB
SwapCached:            8 kB
Active:          4260268 kB
Inactive:        5387324 kB
Active(anon):       4608 kB
Inactive(anon):   105160 kB
Active(file):    4255660 kB
Inactive(file):  5282164 kB
Unevictable:        7432 kB
Mlocked:            7432 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:              8912 kB
Writeback:             0 kB
AnonPages:         96896 kB
Mapped:            54668 kB
Shmem:             49624 kB
Slab:             314520 kB
SReclaimable:     286284 kB
SUnreclaim:        28236 kB
KernelStack:        3520 kB
PageTables:         5032 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:     43008 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:28