Trace number 4307076

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 16.5919 5.56548

General information on the benchmark

NameBibd/
Bibd-sum-12-06-05_c18.xml
MD5SUMbf61c3b78160d4d4d295899ad65dbbc2
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark5.91865
Satisfiable
(Un)Satisfiability was proved
Number of variables264
Number of constraints101
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":264}]
Minimum variable degree14
Maximum variable degree14
Distribution of variable degrees[{"degree":14,"count":264}]
Minimum constraint arity12
Maximum constraint arity264
Distribution of constraint arities[{"arity":12,"count":22},{"arity":22,"count":12},{"arity":44,"count":66},{"arity":264,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":100}]
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-9903-serial-file.bin HOME/instance-4307076-1534191417.xml
0.65/0.53	
0.65/0.53	scop order+glucose-syrup (2018-07-31)
0.65/0.53	(Encoding Process)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Mon Aug 13 22:16:58 CEST 2018
0.65/0.56	c PID: 9906
0.65/0.56	c IP: 172.20.3.106
0.65/0.56	c HOST: node106.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.37/1.00	c (0,0) Parsing End
1.37/1.00	c (0,0) CSP: 0 int (0 aux), 264 bool (0 aux), 101 ctr, max domain size 2
1.68/1.01	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.68/1.01	c (0,0) Constraint Name Generate Begin
1.68/1.01	c (0,0) Ctr:HOME/instance-4307076-1534191417.xml,IntVar:LexMatrix:Num:WeightedSum
1.68/1.01	c (0,0) Constraint Name Generate End
1.68/1.01	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.68/1.01	c (0,0) CSP to CSPinCNF Begin
1.93/1.16	c (0,0) translated 11 (10%) constraints
1.93/1.18	c (0,0) translated 21 (20%) constraints
2.25/1.20	c (0,0) translated 31 (30%) constraints
2.86/1.43	c (0,0) translated 41 (40%) constraints
3.22/1.57	c (1,1) translated 51 (50%) constraints
3.62/1.68	c (1,1) translated 61 (60%) constraints
4.01/1.77	c (1,1) translated 71 (70%) constraints
4.42/1.86	c (1,1) translated 81 (80%) constraints
4.82/1.93	c (1,1) translated 91 (90%) constraints
4.82/2.00	c (1,1) translated 101 (100%) constraints
6.57/2.49	c (1,1) STATISTICS1:HOME/instance-4307076-1534191417.xml,IntVar:LexMatrix:Num:WeightedSum,3598,6832,2097152,2,4,22,2097152:156;2048:44;2:956,2:18250,4:430;3:2936;2:3334;1:132,22:156;12:44;2:956;1:15810,
6.57/2.49	c (1,1) ==========================================
6.57/2.49	c (1,1) Order
6.57/2.49	c (1,1) ==========================================
7.45/2.64	c (2,2) translated 684 (10%) constraints
7.87/2.70	c (2,2) translated 1367 (20%) constraints
7.87/2.75	c (2,2) translated 2050 (30%) constraints
8.28/2.80	c (2,2) translated 2733 (40%) constraints
8.28/2.85	c (2,2) translated 3416 (50%) constraints
8.68/2.90	c (2,2) translated 4100 (60%) constraints
8.68/2.94	c (2,2) translated 4783 (70%) constraints
9.12/3.02	c (2,2) translated 5466 (80%) constraints
9.12/3.03	c (2,2) translated 6149 (90%) constraints
9.12/3.06	c (2,2) translated 6832 (100%) constraints
9.12/3.06	c (2,2) CSP to CSPinCNF End
9.12/3.07	c (2,2) CSP: 300 int (300 aux), 5050 bool (4786 aux), 10436 ctr, max domain size 9
9.12/3.07	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.12/3.07	c (2,2) CSPinCNF Propagation Begin
9.54/3.20	c (2,2) 0 values, 1452 unsatisfiable literals, and 1452 valid clauses are removed
9.54/3.20	c (2,2) CSPinCNF Propagation End
9.92/3.20	c (2,2) CSP: 300 int (300 aux), 5050 bool (4786 aux), 8984 ctr, max domain size 9
9.92/3.20	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
9.92/3.20	c (2,2) Simplify CSPinCNF Begin
9.92/3.26	c (2,2) Simplify CSPinCNF End
9.92/3.26	c (2,2) CSP: 300 int (300 aux), 6006 bool (5742 aux), 9940 ctr, max domain size 9
9.92/3.26	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
9.92/3.26	c (2,2) Calculate Precise Domain Begin
10.30/3.32	c (2,2) 0 values are removed by re-calculation
10.30/3.32	c (2,2) Calculate Precise Domain End
10.30/3.32	c (2,2) CSP: 300 int (300 aux), 6006 bool (5742 aux), 9940 ctr, max domain size 9
10.30/3.32	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
10.30/3.32	c (2,2) CSPinCNF to SatSolver Begin
11.03/3.59	c (3,3) 994 (10 %) CSP clauses are encoded (7524 SAT variables, 24388 SAT clauses)
11.43/3.64	c (3,3) 1988 (20 %) CSP clauses are encoded (7524 SAT variables, 32510 SAT clauses)
11.43/3.70	c (3,3) 2982 (30 %) CSP clauses are encoded (7524 SAT variables, 40632 SAT clauses)
11.75/3.76	c (3,3) 3976 (40 %) CSP clauses are encoded (7524 SAT variables, 49645 SAT clauses)
12.05/3.84	c (3,3) 4970 (50 %) CSP clauses are encoded (7524 SAT variables, 57767 SAT clauses)
12.27/3.92	c (3,3) 5964 (60 %) CSP clauses are encoded (7524 SAT variables, 66780 SAT clauses)
12.27/3.98	c (3,3) 6958 (70 %) CSP clauses are encoded (7524 SAT variables, 74902 SAT clauses)
12.47/4.02	c (3,3) 7952 (80 %) CSP clauses are encoded (7524 SAT variables, 83915 SAT clauses)
12.47/4.04	c (3,3) 8946 (90 %) CSP clauses are encoded (7524 SAT variables, 85346 SAT clauses)
12.47/4.06	c (3,3) 9940 (100 %) CSP clauses are encoded (7524 SAT variables, 86827 SAT clauses)
12.47/4.06	c (3,3) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
12.47/4.06	c (3,3) CSPinCNF to SatSolver End
12.47/4.06	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
12.75/4.14	c (3,3) STATISTICS2:HOME/instance-4307076-1534191417.xml,IntVar:LexMatrix:Num:WeightedSum,6306,9940,256,9,4,9,256:156;128:312;64:24;36:132;25:44;16:132;2:1418,9:48;8:96;6:792;5:264;2:25970,4:430;3:1484;2:7194;1:832,9:156;8:312;5:132;3:200;2:1418;1:19174,
12.75/4.14	c (3,3) 7524 bool, 86828 clause
12.75/4.14	c (3,3) Export Begin
13.14/4.24	c (3,3) Export to HOME/scop-9903-serial-file.bin
13.14/4.24	c (3,3) Export End
13.14/4.24	c (3,3) Export File Size: 0.04 MB
13.14/4.24	c (3,3) 0,0,2,2,2,2,3,STOP-AFTER(DIMACS)
13.14/4.24	c END-Prog: Mon Aug 13 22:17:01 CEST 2018
13.14/4.28	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-9903-serial-file.bin
13.39/4.77	c (0,0) Read Serial File Begin
13.39/4.77	c (0,0) HOME/scop-9903-serial-file.bin
13.39/4.95	c (0,0) Read Serial File End
13.39/4.96	
13.39/4.96	scop order+glucose-syrup (2018-07-31)
13.39/4.96	(Solving Process)
13.39/4.96	
13.39/4.99	c BEGIN-Prog: Mon Aug 13 22:17:02 CEST 2018
13.39/4.99	c PID: 9926
13.39/4.99	c IP: 172.20.3.106
13.39/4.99	c HOST: node106.alineos.net
13.39/4.99	c (0,0) SatSolver.solve Begin
13.39/4.99	c (0,0) 0 bool, 0 clause
13.39/4.99	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307076-1534191417.xml-scop-9906.cnf
14.53/5.43	c (0,0) c
14.53/5.43	c (0,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
14.53/5.43	c (0,0) c
14.53/5.43	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
14.53/5.43	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
14.53/5.43	c (0,0) c ========================================[ Problem Statistics ]===========================================
14.53/5.43	c (0,0) c |                                                                                                       |
14.53/5.43	c (0,0) c |  Number of variables:          7524                                                                   |
14.53/5.43	c (0,0) c |  Number of clauses:           86828                                                                   |
14.53/5.43	c (0,0) c |  Parse time:                   0.03 s                                                                 |
14.53/5.43	c (0,0) c |                                                                                                       |
14.53/5.43	c (0,0) c |  Eliminated clauses:           0.09 Mb                                                                |
14.53/5.43	c (0,0) c |  Simplification time:          0.14 s                                                                 |
14.53/5.43	c (0,0) c |                                                                                                       |
14.53/5.43	c (0,0) c |  Generating clones                                                                                    |
14.53/5.43	c (0,0) c |  all clones generated. Memory =  73.07Mb.                                                             |
14.53/5.43	c (0,0) c ========================================================================================================|
14.53/5.43	c (0,0) c last restart ## conflicts  :  271 206 
14.53/5.43	c (0,0) c Thread 7 is 100% pure glucose! First thread to finish! (SAT answer).
14.53/5.43	c (0,0) c Total Memory so far : 652.93Mb
14.53/5.43	c (0,0) c
14.53/5.43	c (0,0) c real time : 0.414912 s
14.53/5.43	c (0,0) c cpu time  : 1.59237 s
14.53/5.43	c (0,0) c
14.53/5.43	c (0,0) c
14.53/5.43	c (0,0) c
14.53/5.43	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
14.53/5.43	c (0,0) c
14.53/5.43	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.53/5.43	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
14.53/5.43	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.53/5.43	c (0,0) c | Conflicts     |           35859 |       3871 |       5036 |       4895 |       4595 |       3988 |       4752 |       4020 |       4702 |
14.53/5.43	c (0,0) c | Decisions     |           67776 |       7731 |       8829 |       8847 |       8374 |       8132 |       9083 |       8091 |       8689 |
14.53/5.43	c (0,0) c | Propagations  |         4584854 |     511376 |     627058 |     572898 |     625310 |     550212 |     607668 |     506642 |     583690 |
14.53/5.43	c (0,0) c | Avg_Trail     |                 |       1806 |       1863 |       1839 |       1905 |       1993 |       1865 |       1920 |       1856 |
14.53/5.43	c (0,0) c | Avg_DL        |                 |         31 |         34 |         30 |         39 |         36 |         32 |         34 |         34 |
14.53/5.43	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
14.53/5.43	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
14.53/5.43	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.53/5.43	c (0,0) c | Exported      |             388 |         44 |         53 |         54 |         52 |         35 |         74 |         34 |         42 |
14.53/5.43	c (0,0) c | Imported      |            2653 |        344 |        335 |        326 |        317 |        346 |        307 |        343 |        335 |
14.53/5.43	c (0,0) c | Good          |             607 |         80 |         72 |         77 |         74 |         75 |         70 |         80 |         79 |
14.53/5.43	c (0,0) c | Purge         |            2046 |        264 |        263 |        249 |        243 |        271 |        237 |        263 |        256 |
14.53/5.43	c (0,0) c | Promoted      |             258 |         33 |         32 |         27 |         35 |         29 |         37 |         44 |         21 |
14.53/5.43	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
14.53/5.43	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
14.53/5.43	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.53/5.43	c (0,0) c | Unaries       |                 |          5 |         12 |         10 |          6 |          3 |          5 |          3 |          5 |
14.53/5.43	c (0,0) c | Binaries      |                 |          7 |         15 |         10 |         11 |         12 |         17 |          7 |          8 |
14.53/5.43	c (0,0) c | Glues         |                 |         44 |         46 |         54 |         52 |         35 |         74 |         34 |         42 |
14.53/5.43	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.53/5.44	c (0,0) c | Orig_Seen     |             9 % |       7171 |       7931 |       6786 |       8476 |       8795 |       8193 |       8887 |       8003 |
14.53/5.44	c (0,0) c | Diff Orig seen|                 | -      832 | -       72 | -     1217 |        473 |        792 |        190 |        884 |      X     |
14.53/5.44	c (0,0) c | Hamming       |            10 % |        859 |        749 |        775 |        827 |        639 |        763 |        725 |      X     |
14.53/5.44	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.53/5.44	c (0,0) 
14.53/5.44	c (0,0) s SATISFIABLE
14.53/5.46	c (0,0) SatSolver.solve End
14.53/5.46	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
14.53/5.46	c (0,0) Show results Begin
16.44/5.53	s SATISFIABLE
16.44/5.55	v <instantiation>
16.44/5.55	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21]</list>
16.44/5.55	v     <values>0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 1 1 1 1 1 0 0 1 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 1 0 1</values>
16.44/5.55	v </instantiation>
16.44/5.55	c (0,0) Show results End
16.44/5.55	c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
16.44/5.55	c (0,0) 0,0,STOP-AFTER(ALL)
16.44/5.55	c END-Prog: Mon Aug 13 22:17:03 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 (9653 MiB free)
  memory of node 1: 16384 MiB (12667 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100142 s]*
/proc/loadavg: 1.50 1.15 1.23 2/201 9925
/proc/meminfo: memFree=22762736/32770624 swapFree=67108688/67108860
[pid=9903] ppid=9900 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9903/stat : 9903 (scop.sh) S 9900 9903 9494 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 236704571 115843072 349 33554432000 4194304 5098028 140733189759776 140733189757032 140569625907836 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34009088 140733189764130 140733189764355 140733189764355 140733189767117 0
/proc/9903/statm: 28282 349 296 221 0 87 0
[pid=9906] ppid=9903 vsize=27313900 memory=108160 CPUtime=0.1 cores=0-7
/proc/9906/stat : 9906 (java) S 9903 9903 9494 0 -1 1077944320 6509 0 0 0 8 2 0 0 20 0 20 0 236704571 27969433600 27040 33554432000 4194304 4196468 140721030721392 140721030703936 140597865590519 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
/proc/9906/statm: 6828475 27040 2733 1 0 6790935 0
[pid=9906/tid=9907] ppid=9903 vsize=27313900 memory=4139825598148277149 CPUtime=0.09 cores=0-7
/proc/9906/task/9907/stat : 9907 (java) R 9903 9903 9494 0 -1 4202560 4605 0 0 0 7 2 0 0 20 0 20 0 236704571 27969433600 27040 33554432000 4194304 4196468 140721030721392 140597837367600 140597865614109 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9908] ppid=9903 vsize=27313900 memory=732370524032932837 CPUtime=0 cores=0-7
/proc/9906/task/9908/stat : 9908 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 27040 33554432000 4194304 4196468 140721030721392 140597869833104 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9909] ppid=9903 vsize=27313900 memory=140385695479424 CPUtime=0 cores=0-7
/proc/9906/task/9909/stat : 9909 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 27040 33554432000 4194304 4196468 140721030721392 140597287824144 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9910] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9910/stat : 9910 (java) S 9903 9903 9494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 27040 33554432000 4194304 4196468 140721030721392 140597286771856 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9911] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9911/stat : 9911 (java) S 9903 9903 9494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 27040 33554432000 4194304 4196468 140721030721392 140597285719056 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9912] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9912/stat : 9912 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 27040 33554432000 4194304 4196468 140721030721392 140597284665744 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9913] ppid=9903 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9906/task/9913/stat : 9913 (java) S 9903 9903 9494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 27040 33554432000 4194304 4196468 140721030721392 140597283612944 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9914] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9914/stat : 9914 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 27040 33554432000 4194304 4196468 140721030721392 140597282560656 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9915] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9915/stat : 9915 (java) S 9903 9903 9494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 27040 33554432000 4194304 4196468 140721030721392 140597281507856 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9916] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9916/stat : 9916 (java) S 9903 9903 9494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236704575 27969433600 27040 33554432000 4194304 4196468 140721030721392 140596991126128 140597865601666 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9917] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9917/stat : 9917 (java) S 9903 9903 9494 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236704576 27969433600 27040 33554432000 4194304 4196468 140721030721392 140595821536544 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9918] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9918/stat : 9918 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704576 27969433600 27040 33554432000 4194304 4196468 140721030721392 140595553101424 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9919] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9919/stat : 9919 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704578 27969433600 27040 33554432000 4194304 4196468 140721030721392 140595178592848 140597865609115 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9920] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9920/stat : 9920 (java) S 9903 9903 9494 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 236704578 27969433600 27040 33554432000 4194304 4196468 140721030721392 140596990072944 140597865601666 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9921] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9921/stat : 9921 (java) S 9903 9903 9494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236704578 27969433600 27040 33554432000 4194304 4196468 140721030721392 140596989020144 140597865601666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9922] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9922/stat : 9922 (java) S 9903 9903 9494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236704578 27969433600 27040 33554432000 4194304 4196468 140721030721392 140596987967856 140597865601666 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9923] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9923/stat : 9923 (java) S 9903 9903 9494 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 20 0 236704578 27969433600 27040 33554432000 4194304 4196468 140721030721392 140596986915056 140597865601666 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9924] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9924/stat : 9924 (java) S 9903 9903 9494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236704579 27969433600 27040 33554432000 4194304 4196468 140721030721392 140594680687456 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9925] ppid=9903 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9906/task/9925/stat : 9925 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704579 27969433600 27040 33554432000 4194304 4196468 140721030721392 140596985862960 140597865601666 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 109556 KiB

[startup+0.21019 s]*
/proc/loadavg: 1.50 1.15 1.23 2/201 9925
/proc/meminfo: memFree=22746736/32770624 swapFree=67108688/67108860
[pid=9903] ppid=9900 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9903/stat : 9903 (scop.sh) S 9900 9903 9494 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 236704571 115843072 349 33554432000 4194304 5098028 140733189759776 140733189757032 140569625907836 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34009088 140733189764130 140733189764355 140733189764355 140733189767117 0
/proc/9903/statm: 28282 349 296 221 0 87 0
[pid=9906] ppid=9903 vsize=27313900 memory=122524 CPUtime=0.24 cores=0-7
/proc/9906/stat : 9906 (java) S 9903 9903 9494 0 -1 1077944320 10337 0 0 0 21 3 0 0 20 0 20 0 236704571 27969433600 30631 33554432000 4194304 4196468 140721030721392 140721030703936 140597865590519 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
/proc/9906/statm: 6828475 30631 2894 1 0 6790935 0
[pid=9906/tid=9907] ppid=9903 vsize=27313900 memory=0 CPUtime=0.19 cores=0-7
/proc/9906/task/9907/stat : 9907 (java) R 9903 9903 9494 0 -1 4202560 8176 0 0 0 17 2 0 0 20 0 20 0 236704571 27969433600 30631 33554432000 4194304 4196468 140721030721392 140597837405872 140597865611866 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9908] ppid=9903 vsize=27313900 memory=732370524032932837 CPUtime=0 cores=0-7
/proc/9906/task/9908/stat : 9908 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 30631 33554432000 4194304 4196468 140721030721392 140597869833104 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9909] ppid=9903 vsize=27313900 memory=140385695479424 CPUtime=0 cores=0-7
/proc/9906/task/9909/stat : 9909 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 30631 33554432000 4194304 4196468 140721030721392 140597287824144 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9910] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9910/stat : 9910 (java) S 9903 9903 9494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 30631 33554432000 4194304 4196468 140721030721392 140597286771856 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9911] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9911/stat : 9911 (java) S 9903 9903 9494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 30631 33554432000 4194304 4196468 140721030721392 140597285719056 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9912] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9912/stat : 9912 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 30631 33554432000 4194304 4196468 140721030721392 140597284665744 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9913] ppid=9903 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9906/task/9913/stat : 9913 (java) S 9903 9903 9494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 30631 33554432000 4194304 4196468 140721030721392 140597283612944 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9914] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9914/stat : 9914 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 30631 33554432000 4194304 4196468 140721030721392 140597282560656 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9915] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9915/stat : 9915 (java) S 9903 9903 9494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 30631 33554432000 4194304 4196468 140721030721392 140597281507856 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9916] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9916/stat : 9916 (java) S 9903 9903 9494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236704575 27969433600 30631 33554432000 4194304 4196468 140721030721392 140596991126128 140597865601666 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9917] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9917/stat : 9917 (java) S 9903 9903 9494 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236704576 27969433600 30631 33554432000 4194304 4196468 140721030721392 140595821536544 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9918] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9918/stat : 9918 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704576 27969433600 30631 33554432000 4194304 4196468 140721030721392 140595553101424 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9919] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9919/stat : 9919 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704578 27969433600 30631 33554432000 4194304 4196468 140721030721392 140595178592848 140597865609115 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9920] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9920/stat : 9920 (java) S 9903 9903 9494 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 236704578 27969433600 30631 33554432000 4194304 4196468 140721030721392 140596990072944 140597865601666 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9921] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9921/stat : 9921 (java) S 9903 9903 9494 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 236704578 27969433600 30631 33554432000 4194304 4196468 140721030721392 140596989020144 140597865601666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9922] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9922/stat : 9922 (java) S 9903 9903 9494 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 236704578 27969433600 30696 33554432000 4194304 4196468 140721030721392 140596987967856 140597865601666 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9923] ppid=9903 vsize=27313900 memory=0 CPUtime=0.02 cores=0-7
/proc/9906/task/9923/stat : 9923 (java) S 9903 9903 9494 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 20 0 236704578 27969433600 30696 33554432000 4194304 4196468 140721030721392 140596986915056 140597865601666 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9924] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9924/stat : 9924 (java) S 9903 9903 9494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236704579 27969433600 30696 33554432000 4194304 4196468 140721030721392 140594680687456 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9925] ppid=9903 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9906/task/9925/stat : 9925 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704579 27969433600 30696 33554432000 4194304 4196468 140721030721392 140596985862960 140597865601666 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 123920 KiB

[startup+0.309428 s]*
/proc/loadavg: 1.50 1.15 1.23 2/201 9925
/proc/meminfo: memFree=22742208/32770624 swapFree=67108688/67108860
[pid=9903] ppid=9900 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9903/stat : 9903 (scop.sh) S 9900 9903 9494 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 236704571 115843072 349 33554432000 4194304 5098028 140733189759776 140733189757032 140569625907836 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34009088 140733189764130 140733189764355 140733189764355 140733189767117 0
/proc/9903/statm: 28282 349 296 221 0 87 0
[pid=9906] ppid=9903 vsize=27313900 memory=126872 CPUtime=0.41 cores=0-7
/proc/9906/stat : 9906 (java) S 9903 9903 9494 0 -1 1077944320 10985 0 0 0 38 3 0 0 20 0 20 0 236704571 27969433600 31718 33554432000 4194304 4196468 140721030721392 140721030703936 140597865590519 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
/proc/9906/statm: 6828475 31718 2992 1 0 6790935 0
[pid=9906/tid=9907] ppid=9903 vsize=27313900 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9906/task/9907/stat : 9907 (java) R 9903 9903 9494 0 -1 4202560 8561 0 0 0 27 2 0 0 20 0 20 0 236704571 27969433600 31718 33554432000 4194304 4196468 140721030721392 140597837385520 140597847154052 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9908] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9908/stat : 9908 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 31718 33554432000 4194304 4196468 140721030721392 140597869833104 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9909] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9909/stat : 9909 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 31718 33554432000 4194304 4196468 140721030721392 140597287824144 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9910] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9910/stat : 9910 (java) S 9903 9903 9494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 31718 33554432000 4194304 4196468 140721030721392 140597286771856 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9911] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9911/stat : 9911 (java) S 9903 9903 9494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 31718 33554432000 4194304 4196468 140721030721392 140597285719056 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9912] ppid=9903 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/9906/task/9912/stat : 9912 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 31718 33554432000 4194304 4196468 140721030721392 140597284665744 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9913] ppid=9903 vsize=27313900 memory=140385569567663 CPUtime=0 cores=0-7
/proc/9906/task/9913/stat : 9913 (java) S 9903 9903 9494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 31718 33554432000 4194304 4196468 140721030721392 140597283612944 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9914] ppid=9903 vsize=27313900 memory=140385569569968 CPUtime=0 cores=0-7
/proc/9906/task/9914/stat : 9914 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 31718 33554432000 4194304 4196468 140721030721392 140597282560656 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9915] ppid=9903 vsize=27313900 memory=140385569572272 CPUtime=0 cores=0-7
/proc/9906/task/9915/stat : 9915 (java) S 9903 9903 9494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236704574 27969433600 31718 33554432000 4194304 4196468 140721030721392 140597281507856 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9916] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9916/stat : 9916 (java) S 9903 9903 9494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236704575 27969433600 31718 33554432000 4194304 4196468 140721030721392 140596991126128 140597865601666 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9917] ppid=9903 vsize=27313900 memory=280771139151504 CPUtime=0 cores=0-7
/proc/9906/task/9917/stat : 9917 (java) S 9903 9903 9494 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236704576 27969433600 31718 33554432000 4194304 4196468 140721030721392 140595821536544 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9918] ppid=9903 vsize=27313900 memory=280771139158416 CPUtime=0 cores=0-7
/proc/9906/task/9918/stat : 9918 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704576 27969433600 31718 33554432000 4194304 4196468 140721030721392 140595553101424 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9919] ppid=9903 vsize=27313900 memory=280771139099568 CPUtime=0 cores=0-7
/proc/9906/task/9919/stat : 9919 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704578 27969433600 31718 33554432000 4194304 4196468 140721030721392 140595178592848 140597865609115 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9920] ppid=9903 vsize=27313900 memory=280771139172240 CPUtime=0 cores=0-7
/proc/9906/task/9920/stat : 9920 (java) S 9903 9903 9494 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 20 0 236704578 27969433600 31718 33554432000 4194304 4196468 140721030721392 140596990072944 140597865601666 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9921] ppid=9903 vsize=27313900 memory=280771139179152 CPUtime=0.02 cores=0-7
/proc/9906/task/9921/stat : 9921 (java) S 9903 9903 9494 0 -1 1077944384 173 0 0 0 2 0 0 0 20 0 20 0 236704578 27969433600 31718 33554432000 4194304 4196468 140721030721392 140596989020144 140597865601666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9922] ppid=9903 vsize=27313900 memory=280771139176848 CPUtime=0.01 cores=0-7
/proc/9906/task/9922/stat : 9922 (java) S 9903 9903 9494 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 20 0 236704578 27969433600 31718 33554432000 4194304 4196468 140721030721392 140596987967856 140597865601666 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9923] ppid=9903 vsize=27313900 memory=280771139193008 CPUtime=0.07 cores=0-7
/proc/9906/task/9923/stat : 9923 (java) S 9903 9903 9494 0 -1 1077944384 437 0 0 0 7 0 0 0 20 0 20 0 236704578 27969433600 31718 33554432000 4194304 4196468 140721030721392 140596986915056 140597865601666 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9924] ppid=9903 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9924/stat : 9924 (java) S 9903 9903 9494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236704579 27969433600 31718 33554432000 4194304 4196468 140721030721392 140594680687456 140597865600725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9925] ppid=9903 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9906/task/9925/stat : 9925 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704579 27969433600 31718 33554432000 4194304 4196468 140721030721392 140596985862960 140597865601666 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 128268 KiB

[startup+0.700919 s]
/proc/loadavg: 1.50 1.15 1.23 2/201 9925
/proc/meminfo: memFree=22717776/32770624 swapFree=67108688/67108860
[pid=9903] ppid=9900 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9903/stat : 9903 (scop.sh) S 9900 9903 9494 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 236704571 115843072 349 33554432000 4194304 5098028 140733189759776 140733189757032 140569625907836 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34009088 140733189764130 140733189764355 140733189764355 140733189767117 0
/proc/9903/statm: 28282 349 296 221 0 87 0
[pid=9906] ppid=9903 vsize=27322296 memory=164580 CPUtime=1 cores=0-7
/proc/9906/stat : 9906 (java) S 9903 9903 9494 0 -1 1077944320 18123 0 0 0 94 6 0 0 20 0 20 0 236704571 27978031104 41145 33554432000 4194304 4196468 140721030721392 140721030703936 140597865590519 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
/proc/9906/statm: 6830574 41145 3144 1 0 6791959 0
[pid=9906/tid=9907] ppid=9903 vsize=27322296 memory=280771139487936 CPUtime=0.66 cores=0-7
/proc/9906/task/9907/stat : 9907 (java) R 9903 9903 9494 0 -1 4202560 15122 0 0 0 62 4 0 0 20 0 20 0 236704571 27978031104 41145 33554432000 4194304 4196468 140721030721392 140597837427152 140597865612445 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9908] ppid=9903 vsize=27322296 memory=5050881541268 CPUtime=0 cores=0-7
/proc/9906/task/9908/stat : 9908 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704574 27978031104 41145 33554432000 4194304 4196468 140721030721392 140597869833104 140597865600725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9909] ppid=9903 vsize=27322296 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9909/stat : 9909 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236704574 27978031104 41145 33554432000 4194304 4196468 140721030721392 140597287824144 140597865600725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0
[pid=9906/tid=9910] ppid=9903 vsize=27322296 memory=0 CPUtime=0 cores=0-7
/proc/9906/task/9910/stat : 9910 (java) S 9903 9903 9494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236704574 27978031104 41145 33554432000 4194304 4196468 140721030721392 140597286771856 140597865600725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35135488 140721030726633 140721030726957 140721030726957 140721030729679 0

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

[pid=9903] ppid=9900 vsize=113128 memory=1472 CPUtime=13.39 cores=0-7
/proc/9903/stat : 9903 (scop.sh) S 9900 9903 9494 0 -1 4202496 590 31464 0 0 0 0 1309 30 20 0 1 0 236704571 115843072 368 33554432000 4194304 5098028 140733189759776 140733189756520 140569625907836 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34009088 140733189764130 140733189764355 140733189764355 140733189767117 0
/proc/9903/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 13.39 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB

[startup+5.20163 s]
/proc/loadavg: 1.86 1.23 1.25 2/201 9945
/proc/meminfo: memFree=22767520/32770624 swapFree=67108688/67108860
[pid=9903] ppid=9900 vsize=113128 memory=1472 CPUtime=13.39 cores=0-7
/proc/9903/stat : 9903 (scop.sh) S 9900 9903 9494 0 -1 4202496 590 31464 0 0 0 0 1309 30 20 0 1 0 236704571 115843072 368 33554432000 4194304 5098028 140733189759776 140733189756520 140569625907836 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34009088 140733189764130 140733189764355 140733189764355 140733189767117 0
/proc/9903/statm: 28282 368 311 221 0 87 0
[pid=9926] ppid=9903 vsize=8413904 memory=116720 CPUtime=1.14 cores=0-7
/proc/9926/stat : 9926 (java) S 9903 9903 9494 0 -1 1077944320 17457 0 0 0 107 7 0 0 20 0 24 0 236704999 8615837696 29180 33554432000 4194304 4196468 140732794439056 140732794421600 140043127729911 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
/proc/9926/statm: 2103476 29180 3142 1 0 2064875 0
[pid=9926/tid=9927] ppid=9903 vsize=8413904 memory=5937503940875862113 CPUtime=0.75 cores=0-7
/proc/9926/task/9927/stat : 9927 (java) S 9903 9903 9494 0 -1 1077944384 14510 0 0 0 70 5 0 0 20 0 24 0 236705000 8615837696 29180 33554432000 4194304 4196468 140732794439056 140043099570064 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9928] ppid=9903 vsize=8413904 memory=7380671248541445222 CPUtime=0 cores=0-7
/proc/9926/task/9928/stat : 9928 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236705001 8615837696 29180 33554432000 4194304 4196468 140732794439056 140043131971984 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9929] ppid=9903 vsize=8413904 memory=7157735280230618218 CPUtime=0 cores=0-7
/proc/9926/task/9929/stat : 9929 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236705001 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042932140304 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9930] ppid=9903 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9926/task/9930/stat : 9930 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236705001 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042931088016 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9931] ppid=9903 vsize=8413904 memory=280771139765776 CPUtime=0 cores=0-7
/proc/9926/task/9931/stat : 9931 (java) S 9903 9903 9494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236705001 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042930035216 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9932] ppid=9903 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9926/task/9932/stat : 9932 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236705001 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042928982928 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9933] ppid=9903 vsize=8413904 memory=5937503940875796577 CPUtime=0 cores=0-7
/proc/9926/task/9933/stat : 9933 (java) S 9903 9903 9494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236705001 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042927930128 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9934] ppid=9903 vsize=8413904 memory=7374200648602444138 CPUtime=0 cores=0-7
/proc/9926/task/9934/stat : 9934 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236705001 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042926877840 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9935] ppid=9903 vsize=8413904 memory=5931348737880379472 CPUtime=0 cores=0-7
/proc/9926/task/9935/stat : 9935 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236705001 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042925825040 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9936] ppid=9903 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9926/task/9936/stat : 9936 (java) S 9903 9903 9494 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236705003 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042354735216 140043127741058 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9937] ppid=9903 vsize=8413904 memory=2321 CPUtime=0 cores=0-7
/proc/9926/task/9937/stat : 9937 (java) S 9903 9903 9494 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236705003 8615837696 29180 33554432000 4194304 4196468 140732794439056 140041435210528 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9938] ppid=9903 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9926/task/9938/stat : 9938 (java) S 9903 9903 9494 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 236705003 8615837696 29180 33554432000 4194304 4196468 140732794439056 140041300989040 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9939] ppid=9903 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9926/task/9939/stat : 9939 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236705006 8615837696 29180 33554432000 4194304 4196468 140732794439056 140040926484560 140043127748507 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9940] ppid=9903 vsize=8413904 memory=0 CPUtime=0.06 cores=0-7
/proc/9926/task/9940/stat : 9940 (java) S 9903 9903 9494 0 -1 1077944384 580 0 0 0 6 0 0 0 20 0 24 0 236705006 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042353683056 140043127741058 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9941] ppid=9903 vsize=8413904 memory=0 CPUtime=0.03 cores=0-7
/proc/9926/task/9941/stat : 9941 (java) S 9903 9903 9494 0 -1 1077944384 77 0 0 0 3 0 0 0 20 0 24 0 236705006 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042352630256 140043127741058 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9942] ppid=9903 vsize=8413904 memory=-7812800578125854340 CPUtime=0.06 cores=0-7
/proc/9926/task/9942/stat : 9942 (java) S 9903 9903 9494 0 -1 1077944384 325 0 0 0 6 0 0 0 20 0 24 0 236705006 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042351577968 140043127741058 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9943] ppid=9903 vsize=8413904 memory=13191 CPUtime=0.2 cores=0-7
/proc/9926/task/9943/stat : 9943 (java) S 9903 9903 9494 0 -1 1077944384 549 0 0 0 20 0 0 0 20 0 24 0 236705006 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042350525168 140043127741058 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9944] ppid=9903 vsize=8413904 memory=7597124328778851668 CPUtime=0 cores=0-7
/proc/9926/task/9944/stat : 9944 (java) S 9903 9903 9494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236705006 8615837696 29180 33554432000 4194304 4196468 140732794439056 140040428579168 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9945] ppid=9903 vsize=8413904 memory=7236276814647027795 CPUtime=0 cores=0-7
/proc/9926/task/9945/stat : 9945 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236705006 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042349472048 140043127741058 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
Current children cumulated CPU time: 14.53 s
Current children cumulated vsize: 8527032 KiB
Current children cumulated memory: 118192 KiB

[startup+5.4036 s]
/proc/loadavg: 1.86 1.23 1.25 2/201 9945
/proc/meminfo: memFree=22767520/32770624 swapFree=67108688/67108860
[pid=9903] ppid=9900 vsize=113128 memory=1472 CPUtime=13.39 cores=0-7
/proc/9903/stat : 9903 (scop.sh) S 9900 9903 9494 0 -1 4202496 590 31464 0 0 0 0 1309 30 20 0 1 0 236704571 115843072 368 33554432000 4194304 5098028 140733189759776 140733189756520 140569625907836 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34009088 140733189764130 140733189764355 140733189764355 140733189767117 0
/proc/9903/statm: 28282 368 311 221 0 87 0
[pid=9926] ppid=9903 vsize=8413904 memory=116720 CPUtime=1.14 cores=0-7
/proc/9926/stat : 9926 (java) S 9903 9903 9494 0 -1 1077944320 17457 0 0 0 107 7 0 0 20 0 24 0 236704999 8615837696 29180 33554432000 4194304 4196468 140732794439056 140732794421600 140043127729911 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
/proc/9926/statm: 2103476 29180 3142 1 0 2064875 0
[pid=9926/tid=9927] ppid=9903 vsize=8413904 memory=6296998115847334753 CPUtime=0.75 cores=0-7
/proc/9926/task/9927/stat : 9927 (java) S 9903 9903 9494 0 -1 1077944384 14510 0 0 0 70 5 0 0 20 0 24 0 236705000 8615837696 29180 33554432000 4194304 4196468 140732794439056 140043099570064 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9928] ppid=9903 vsize=8413904 memory=7955700457947878496 CPUtime=0 cores=0-7
/proc/9926/task/9928/stat : 9928 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236705001 8615837696 29180 33554432000 4194304 4196468 140732794439056 140043131971984 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9929] ppid=9903 vsize=8413904 memory=6443613726289007782 CPUtime=0 cores=0-7
/proc/9926/task/9929/stat : 9929 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236705001 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042932140304 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9930] ppid=9903 vsize=8413904 memory=28221096770 CPUtime=0 cores=0-7
/proc/9926/task/9930/stat : 9930 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236705001 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042931088016 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9931] ppid=9903 vsize=8413904 memory=28221096770 CPUtime=0 cores=0-7
/proc/9926/task/9931/stat : 9931 (java) S 9903 9903 9494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236705001 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042930035216 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9932] ppid=9903 vsize=8413904 memory=28221096771 CPUtime=0 cores=0-7
/proc/9926/task/9932/stat : 9932 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236705001 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042928982928 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9933] ppid=9903 vsize=8413904 memory=28221096771 CPUtime=0 cores=0-7
/proc/9926/task/9933/stat : 9933 (java) S 9903 9903 9494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236705001 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042927930128 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9934] ppid=9903 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9926/task/9934/stat : 9934 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236705001 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042926877840 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9935] ppid=9903 vsize=8413904 memory=2241 CPUtime=0 cores=0-7
/proc/9926/task/9935/stat : 9935 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236705001 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042925825040 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9936] ppid=9903 vsize=8413904 memory=2244 CPUtime=0 cores=0-7
/proc/9926/task/9936/stat : 9936 (java) S 9903 9903 9494 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236705003 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042354735216 140043127741058 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9937] ppid=9903 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9926/task/9937/stat : 9937 (java) S 9903 9903 9494 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236705003 8615837696 29180 33554432000 4194304 4196468 140732794439056 140041435210528 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9938] ppid=9903 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9926/task/9938/stat : 9938 (java) S 9903 9903 9494 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 236705003 8615837696 29180 33554432000 4194304 4196468 140732794439056 140041300989040 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9939] ppid=9903 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9926/task/9939/stat : 9939 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236705006 8615837696 29180 33554432000 4194304 4196468 140732794439056 140040926484560 140043127748507 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9940] ppid=9903 vsize=8413904 memory=0 CPUtime=0.06 cores=0-7
/proc/9926/task/9940/stat : 9940 (java) S 9903 9903 9494 0 -1 1077944384 580 0 0 0 6 0 0 0 20 0 24 0 236705006 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042353683056 140043127741058 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9941] ppid=9903 vsize=8413904 memory=0 CPUtime=0.03 cores=0-7
/proc/9926/task/9941/stat : 9941 (java) S 9903 9903 9494 0 -1 1077944384 77 0 0 0 3 0 0 0 20 0 24 0 236705006 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042352630256 140043127741058 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9942] ppid=9903 vsize=8413904 memory=0 CPUtime=0.06 cores=0-7
/proc/9926/task/9942/stat : 9942 (java) S 9903 9903 9494 0 -1 1077944384 325 0 0 0 6 0 0 0 20 0 24 0 236705006 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042351577968 140043127741058 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9943] ppid=9903 vsize=8413904 memory=0 CPUtime=0.2 cores=0-7
/proc/9926/task/9943/stat : 9943 (java) S 9903 9903 9494 0 -1 1077944384 549 0 0 0 20 0 0 0 20 0 24 0 236705006 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042350525168 140043127741058 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9944] ppid=9903 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9926/task/9944/stat : 9944 (java) S 9903 9903 9494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236705006 8615837696 29180 33554432000 4194304 4196468 140732794439056 140040428579168 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9945] ppid=9903 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9926/task/9945/stat : 9945 (java) S 9903 9903 9494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236705006 8615837696 29180 33554432000 4194304 4196468 140732794439056 140042349472048 140043127741058 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
Current children cumulated CPU time: 14.53 s
Current children cumulated vsize: 8527032 KiB
Current children cumulated memory: 118192 KiB

[startup+5.50098 s]
/proc/loadavg: 1.86 1.23 1.25 2/201 9945
/proc/meminfo: memFree=22767520/32770624 swapFree=67108688/67108860
[pid=9903] ppid=9900 vsize=113128 memory=1472 CPUtime=13.39 cores=0-7
/proc/9903/stat : 9903 (scop.sh) S 9900 9903 9494 0 -1 4202496 590 31464 0 0 0 0 1309 30 20 0 1 0 236704571 115843072 368 33554432000 4194304 5098028 140733189759776 140733189756520 140569625907836 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34009088 140733189764130 140733189764355 140733189764355 140733189767117 0
/proc/9903/statm: 28282 368 311 221 0 87 0
[pid=9926] ppid=9903 vsize=8282828 memory=120804 CPUtime=3.05 cores=0-7
/proc/9926/stat : 9926 (java) S 9903 9903 9494 0 -1 1077944320 18000 14378 0 0 123 8 159 15 20 0 22 0 236704999 8481615872 30201 33554432000 4194304 4196468 140732794439056 140732794421600 140043127729911 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
/proc/9926/statm: 2070707 30201 3165 1 0 2032106 0
[pid=9926/tid=9927] ppid=9903 vsize=8282828 memory=2336 CPUtime=2.53 cores=0-7
/proc/9926/task/9927/stat : 9927 (java) R 9903 9903 9494 0 -1 4202560 14684 14378 0 0 73 6 159 15 20 0 22 0 236705000 8481615872 30201 33554432000 4194304 4196468 140732794439056 140043099565936 140043127741846 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9928] ppid=9903 vsize=8282828 memory=1752 CPUtime=1.74 cores=0-7
/proc/9926/task/9928/stat : 9928 (java) S 9903 9903 9494 0 -1 1077944384 1 14378 0 0 0 0 159 15 20 0 22 0 236705001 8481615872 30201 33554432000 4194304 4196468 140732794439056 140043131971984 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9929] ppid=9903 vsize=8282828 memory=748 CPUtime=1.74 cores=0-7
/proc/9926/task/9929/stat : 9929 (java) S 9903 9903 9494 0 -1 1077944384 1 14378 0 0 0 0 159 15 20 0 22 0 236705001 8481615872 30201 33554432000 4194304 4196468 140732794439056 140042932140304 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9930] ppid=9903 vsize=8282828 memory=1220 CPUtime=1.74 cores=0-7
/proc/9926/task/9930/stat : 9930 (java) S 9903 9903 9494 0 -1 1077944384 1 14378 0 0 0 0 159 15 20 0 22 0 236705001 8481615872 30223 33554432000 4194304 4196468 140732794439056 140042931088016 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9931] ppid=9903 vsize=8282828 memory=6584 CPUtime=1.74 cores=0-7
/proc/9926/task/9931/stat : 9931 (java) S 9903 9903 9494 0 -1 1077944384 3 14378 0 0 0 0 159 15 20 0 22 0 236705001 8481615872 30223 33554432000 4194304 4196468 140732794439056 140042930035216 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9932] ppid=9903 vsize=8282828 memory=1296 CPUtime=1.74 cores=0-7
/proc/9926/task/9932/stat : 9932 (java) S 9903 9903 9494 0 -1 1077944384 1 14378 0 0 0 0 159 15 20 0 22 0 236705001 8481615872 30223 33554432000 4194304 4196468 140732794439056 140042928982928 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9933] ppid=9903 vsize=8282828 memory=288230574492221466 CPUtime=1.74 cores=0-7
/proc/9926/task/9933/stat : 9933 (java) S 9903 9903 9494 0 -1 1077944384 2 14378 0 0 0 0 159 15 20 0 22 0 236705001 8481615872 30223 33554432000 4194304 4196468 140732794439056 140042927930128 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9934] ppid=9903 vsize=8282828 memory=288230583166042426 CPUtime=1.74 cores=0-7
/proc/9926/task/9934/stat : 9934 (java) S 9903 9903 9494 0 -1 1077944384 1 14378 0 0 0 0 159 15 20 0 22 0 236705001 8481615872 30223 33554432000 4194304 4196468 140732794439056 140042926877840 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9935] ppid=9903 vsize=8282828 memory=13565994345958282 CPUtime=1.74 cores=0-7
/proc/9926/task/9935/stat : 9935 (java) S 9903 9903 9494 0 -1 1077944384 1 14378 0 0 0 0 159 15 20 0 22 0 236705001 8481615872 30223 33554432000 4194304 4196468 140732794439056 140042925825040 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9936] ppid=9903 vsize=8282828 memory=0 CPUtime=1.74 cores=0-7
/proc/9926/task/9936/stat : 9936 (java) S 9903 9903 9494 0 -1 1077944384 5 14378 0 0 0 0 159 15 20 0 22 0 236705003 8481615872 30223 33554432000 4194304 4196468 140732794439056 140042354735216 140043127741058 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9937] ppid=9903 vsize=8282828 memory=868 CPUtime=1.74 cores=0-7
/proc/9926/task/9937/stat : 9937 (java) S 9903 9903 9494 0 -1 1077944384 13 14378 0 0 0 0 159 15 20 0 22 0 236705003 8481615872 30223 33554432000 4194304 4196468 140732794439056 140041435210528 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9938] ppid=9903 vsize=8282828 memory=1808 CPUtime=1.74 cores=0-7
/proc/9926/task/9938/stat : 9938 (java) S 9903 9903 9494 0 -1 1077944384 21 14378 0 0 0 0 159 15 20 0 22 0 236705003 8481615872 30223 33554432000 4194304 4196468 140732794439056 140041300989040 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9939] ppid=9903 vsize=8282828 memory=1620 CPUtime=1.74 cores=0-7
/proc/9926/task/9939/stat : 9939 (java) S 9903 9903 9494 0 -1 1077944384 1 14378 0 0 0 0 159 15 20 0 22 0 236705006 8481615872 30223 33554432000 4194304 4196468 140732794439056 140040926484560 140043127748507 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9940] ppid=9903 vsize=8282828 memory=1472 CPUtime=1.82 cores=0-7
/proc/9926/task/9940/stat : 9940 (java) S 9903 9903 9494 0 -1 1077944384 591 14378 0 0 8 0 159 15 20 0 22 0 236705006 8481615872 30223 33554432000 4194304 4196468 140732794439056 140042353683056 140043127741058 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9941] ppid=9903 vsize=8282828 memory=64164 CPUtime=1.8 cores=0-7
/proc/9926/task/9941/stat : 9941 (java) S 9903 9903 9494 0 -1 1077944384 262 14378 0 0 6 0 159 15 20 0 22 0 236705006 8481615872 30223 33554432000 4194304 4196468 140732794439056 140042352630256 140043127741058 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9942] ppid=9903 vsize=8282828 memory=1224 CPUtime=1.82 cores=0-7
/proc/9926/task/9942/stat : 9942 (java) R 9903 9903 9494 0 -1 4202560 338 14378 0 0 8 0 159 15 20 0 22 0 236705006 8481615872 30223 33554432000 4194304 4196468 140732794439056 140042351556496 140043107385089 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9943] ppid=9903 vsize=8282828 memory=4452 CPUtime=1.97 cores=0-7
/proc/9926/task/9943/stat : 9943 (java) R 9903 9903 9494 0 -1 4202560 617 14378 0 0 23 0 159 15 20 0 22 0 236705006 8481615872 30223 33554432000 4194304 4196468 140732794439056 140042350525168 140043107157372 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9944] ppid=9903 vsize=8282828 memory=3732 CPUtime=1.74 cores=0-7
/proc/9926/task/9944/stat : 9944 (java) S 9903 9903 9494 0 -1 1077944384 3 14378 0 0 0 0 159 15 20 0 22 0 236705006 8481615872 30223 33554432000 4194304 4196468 140732794439056 140040428579168 140043127740117 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
[pid=9926/tid=9945] ppid=9903 vsize=8282828 memory=12668 CPUtime=1.74 cores=0-7
/proc/9926/task/9945/stat : 9945 (java) S 9903 9903 9494 0 -1 1077944384 1 14378 0 0 0 0 159 15 20 0 22 0 236705006 8481615872 30223 33554432000 4194304 4196468 140732794439056 140042349472048 140043127741058 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34197504 140732794447026 140732794447149 140732794447149 140732794449871 0
Current children cumulated CPU time: 16.44 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 122276 KiB

Child status: 0
Real time (s): 5.56548
CPU time (s): 16.5919
CPU user time (s): 16.0355
CPU system time (s): 0.556436
CPU usage (%): 298.123
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 1098064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.0355
system time used= 0.556436
maximum resident set size= 1101824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64725
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25606
involuntary context switches= 49


# summary of solver processes directly reported to runsolver:
#   pid: 9903
#   total CPU time (s): 16.5919
#   total CPU user time (s): 16.0355
#   total CPU system time (s): 0.556436

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06475 second user time and 0.092948 second system time

The end

Launcher Data 

Begin job on node106 at 2018-08-13 22:16:57
IDJOB=4307076
IDBENCH=141337
IDSOLVER=2788
FILE ID=node106/4307076-1534191417
RUNJOBID= node106-1534191353-9521
PBS_JOBID= 21037992
Free space on /tmp= 39936 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/Bibd/Bibd-sum-12-06-05_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-4307076-1534191417/watcher-4307076-1534191417 -o /tmp/evaluation-result-4307076-1534191417/solver-4307076-1534191417 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1534191353-9521 --watchdog 2580  scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307076-1534191417.xml

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

MD5SUM BENCH= bf61c3b78160d4d4d295899ad65dbbc2
RANDOM SEED=796913504

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22857096 kB
MemAvailable:   31899792 kB
Buffers:          166468 kB
Cached:          9067940 kB
SwapCached:            0 kB
Active:          4480184 kB
Inactive:        4810400 kB
Active(anon):       2908 kB
Inactive(anon):   105380 kB
Active(file):    4477276 kB
Inactive(file):  4705020 kB
Unevictable:        6996 kB
Mlocked:            6996 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:              8816 kB
Writeback:             0 kB
AnonPages:         55048 kB
Mapped:            52812 kB
Shmem:             49632 kB
Slab:             316760 kB
SReclaimable:     288860 kB
SUnreclaim:        27900 kB
KernelStack:        3216 kB
PageTables:         4848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     348812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 39928 MiB
End job on node106 at 2018-08-13 22:17:03