Trace number 4405470

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
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 92.3963 34.3545

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os10/
SuperTaillard-os-10-01.xml
MD5SUMa0db4e7a601eb58dee5216b17e791c99
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 benchmark41.2819
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Number of domains65
Minimum domain size548
Maximum domain size643
Distribution of domain sizes[{"size":548,"count":6},{"size":549,"count":6},{"size":550,"count":4},{"size":551,"count":2},{"size":552,"count":4},{"size":553,"count":2},{"size":554,"count":2},{"size":555,"count":2},{"size":556,"count":2},{"size":558,"count":2},{"size":559,"count":8},{"size":560,"count":2},{"size":561,"count":2},{"size":562,"count":6},{"size":563,"count":2},{"size":565,"count":2},{"size":572,"count":2},{"size":573,"count":4},{"size":574,"count":2},{"size":575,"count":2},{"size":576,"count":4},{"size":577,"count":2},{"size":578,"count":8},{"size":579,"count":2},{"size":580,"count":2},"...",{"size":603,"count":2}, {"size":604,"count":2}, {"size":605,"count":2}, {"size":606,"count":2}, {"size":607,"count":6}, {"size":608,"count":4}, {"size":611,"count":4}, {"size":612,"count":2}, {"size":614,"count":4}, {"size":616,"count":6}, {"size":617,"count":2}, {"size":619,"count":2}, {"size":620,"count":2}, {"size":621,"count":2}, {"size":623,"count":2}, {"size":625,"count":2}, {"size":627,"count":4}, {"size":628,"count":2}, {"size":629,"count":2}, {"size":633,"count":6}, {"size":634,"count":2}, {"size":637,"count":2}, {"size":639,"count":4}, {"size":642,"count":2}, {"size":643,"count":2}]
Minimum variable degree19
Maximum variable degree37
Distribution of variable degrees[{"degree":19,"count":100},{"degree":37,"count":100}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":2800}]
Number of extensional constraints0
Number of intensional constraints2800
Distribution of constraint types[{"type":"intension","count":2800}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-20978-serial-file.bin HOME/instance-4405470-1569357433.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 22:36:30 CEST 2019
0.65/0.57	c PID: 20981
0.65/0.57	c IP: 172.20.3.121
0.65/0.57	c HOST: node121.alineos.net
0.65/0.57	c (0,0) Parsing Begin
4.40/1.59	c (1,1) Parsing End
4.78/1.60	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 643
4.78/1.60	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.78/1.60	c (1,1) Constraint Name Generate Begin
4.78/1.63	c (1,1) Ctr:HOME/instance-4405470-1569357433.xml,Add:Le:Ne:Num:Or:Var
4.78/1.63	c (1,1) Constraint Name Generate End
4.78/1.63	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.78/1.63	c (1,1) CSP to CSPinCNF Begin
5.24/1.85	c (1,1) translated 280 (10%) constraints
5.51/1.91	c (1,1) translated 560 (20%) constraints
5.51/1.94	c (1,1) translated 840 (30%) constraints
5.51/1.97	c (1,1) translated 1120 (40%) constraints
5.51/2.00	c (1,1) translated 1400 (50%) constraints
5.91/2.02	c (1,1) translated 1680 (60%) constraints
5.91/2.04	c (1,1) translated 1960 (70%) constraints
5.91/2.07	c (1,1) translated 2240 (80%) constraints
5.91/2.09	c (1,1) translated 2520 (90%) constraints
5.91/2.11	c (1,1) translated 2800 (100%) constraints
5.91/2.11	c (1,1) ===========================================
6.30/2.13	c (1,1) Hybrid: #OE=200, #LE=0
6.30/2.13	c (1,1) Hybrid
6.30/2.13	c (1,1) ===========================================
6.30/2.16	c (1,1) translated 280 (10%) constraints
6.30/2.18	c (1,1) translated 560 (20%) constraints
6.30/2.19	c (1,1) translated 840 (30%) constraints
6.69/2.21	c (1,1) translated 1120 (40%) constraints
6.69/2.22	c (1,1) translated 1400 (50%) constraints
6.69/2.23	c (1,1) translated 1680 (60%) constraints
6.69/2.24	c (1,1) translated 1960 (70%) constraints
6.69/2.25	c (1,1) translated 2240 (80%) constraints
6.69/2.26	c (1,1) translated 2520 (90%) constraints
6.69/2.28	c (1,1) translated 2800 (100%) constraints
6.69/2.28	c (1,1) CSP to CSPinCNF End
6.69/2.28	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 643
6.69/2.28	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.69/2.28	c (1,1) CSPinCNF Propagation Begin
7.05/2.34	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
7.05/2.34	c (1,1) CSPinCNF Propagation End
7.05/2.35	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 643
7.05/2.35	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.05/2.36	c (1,1) Hybrid: #OE=200, #LE=0
7.05/2.36	c (1,1) Simplify CSPinCNF Begin
7.69/2.56	c (2,2) Simplify CSPinCNF End
7.69/2.57	c (2,2) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 643
7.69/2.57	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.69/2.57	c (2,2) Calculate Precise Domain Begin
7.69/2.57	c (2,2) 0 values are removed by re-calculation
7.69/2.57	c (2,2) Calculate Precise Domain End
7.69/2.57	c (2,2) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 643
7.69/2.57	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.69/2.57	c (2,2) CSPinCNF to SatSolver Begin
11.22/4.51	c (3,3) 840 (10 %) CSP clauses are encoded (0 SAT variables, 423492 SAT clauses)
12.66/5.95	c (5,5) 1680 (20 %) CSP clauses are encoded (0 SAT variables, 717714 SAT clauses)
14.12/7.39	c (6,6) 2520 (30 %) CSP clauses are encoded (0 SAT variables, 1014250 SAT clauses)
15.64/8.84	c (8,8) 3360 (40 %) CSP clauses are encoded (0 SAT variables, 1311035 SAT clauses)
17.33/10.32	c (9,9) 4200 (50 %) CSP clauses are encoded (0 SAT variables, 1618554 SAT clauses)
18.64/11.62	c (11,11) 5040 (60 %) CSP clauses are encoded (0 SAT variables, 1919667 SAT clauses)
19.96/12.91	c (12,12) 5880 (70 %) CSP clauses are encoded (0 SAT variables, 2218718 SAT clauses)
21.31/14.22	c (13,13) 6720 (80 %) CSP clauses are encoded (0 SAT variables, 2522742 SAT clauses)
22.62/15.52	c (14,14) 7560 (90 %) CSP clauses are encoded (0 SAT variables, 2822832 SAT clauses)
24.18/16.89	c (16,16) 8400 (100 %) CSP clauses are encoded (0 SAT variables, 3134154 SAT clauses)
24.18/16.89	c (16,16) CSPinCNF to SatSolver End
24.18/16.89	c (16,16) Heap : 575 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.18/16.89	c (16,16) 123434 bool, 3134704 clause
24.18/16.89	c (16,16) Export Begin
24.27/16.99	c (16,16) Export to HOME/scop-20978-serial-file.bin
24.27/16.99	c (16,16) Export End
24.27/16.99	c (16,16) Export File Size: 0.03 MB
24.27/16.99	c (16,16) 1,1,1,1,2,2,16,STOP-AFTER(DIMACS)
24.27/16.99	c END-Prog: Tue Sep 24 22:36:47 CEST 2019
0.00/17.03	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-20978-serial-file.bin
24.49/17.49	c (0,0) Read Serial File Begin
24.49/17.49	c (0,0) HOME/scop-20978-serial-file.bin
24.49/17.71	c (0,0) Read Serial File End
24.49/17.72	
24.49/17.72	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
24.49/17.72	(Solving Process)
24.49/17.72	
24.49/17.75	c BEGIN-Prog: Tue Sep 24 22:36:48 CEST 2019
24.49/17.75	c PID: 21002
24.49/17.75	c IP: 172.20.3.121
24.49/17.75	c HOST: node121.alineos.net
24.49/17.75	c (0,0) SatSolver.solve Begin
24.49/17.75	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405470-1569357433.xml-scop-20981.cnf
24.49/17.78	c (0,0) c
24.49/17.78	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
24.49/17.78	c (0,0) c
24.49/17.78	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
24.49/17.78	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
24.49/17.78	c (0,0) c ========================================[ Problem Statistics ]===========================================
24.49/17.78	c (0,0) c |                                                                                                       |
26.76/18.88	c (1,0) c |  Number of variables:        123434                                                                   |
26.76/18.88	c (1,0) c |  Number of clauses:         3134704                                                                   |
26.76/18.88	c (1,0) c |  Parse time:                   1.00 s                                                                 |
26.76/18.88	c (1,0) c |                                                                                                       |
33.25/25.38	c (7,0) c |  Simplification time:          6.40 s                                                                 |
33.25/25.38	c (7,0) c |                                                                                                       |
33.25/25.38	c (7,0) c |  Generating clones                                                                                    |
34.16/26.24	c (8,0) c |  all clones generated. Memory =  2144.29Mb.                                                           |
34.16/26.24	c (8,0) c ========================================================================================================|
34.16/26.24	c (8,0) c
34.16/26.24	c (8,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
34.16/26.24	c (8,0) c
34.16/26.24	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
34.16/26.24	c (8,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
34.16/26.24	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
34.16/26.24	c (8,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
34.16/26.24	c (8,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
34.16/26.24	c (8,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
34.16/26.24	c (8,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
34.16/26.24	c (8,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
34.16/26.24	c (8,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
34.16/26.24	c (8,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
34.16/26.24	c (8,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
34.16/26.24	c (8,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
34.16/26.24	c (8,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
34.16/26.24	c (8,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
34.16/26.24	c (8,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
34.16/26.24	c (8,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
34.16/26.24	c (8,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
34.16/26.24	c (8,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
34.16/26.24	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
91.57/34.06	c (16,0) c
91.57/34.06	c (16,0) c real time : 16.2821 s
91.57/34.06	c (16,0) c cpu time  : 61.872 s
91.57/34.06	c (16,0) c
91.57/34.06	c (16,0) c
91.57/34.06	c (16,0) c
91.57/34.06	c (16,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
91.57/34.06	c (16,0) c
91.57/34.06	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
91.57/34.06	c (16,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
91.57/34.06	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
91.57/34.06	c (16,0) c | Conflicts     |           22182 |       3610 |       3345 |       2712 |       2275 |       1843 |       2937 |       2753 |       2707 |
91.57/34.06	c (16,0) c | Decisions     |           63608 |       9370 |      10343 |       8393 |       6269 |       6117 |       7255 |       9629 |       6232 |
91.57/34.06	c (16,0) c | Propagations  |        69811006 |    8933637 |    8842882 |    9073590 |    8929851 |    8068010 |    8666743 |    8816012 |    8480281 |
91.57/34.06	c (16,0) c | ReduceDBs     |               7 |          1 |          1 |          1 |          1 |          0 |          1 |          1 |          1 |
91.57/34.06	c (16,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
91.57/34.06	c (16,0) c | Restarts      |             154 |         16 |         27 |         23 |         17 |         13 |         17 |         25 |         16 |
91.57/34.06	c (16,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
91.57/34.06	c (16,0) c | PropBinClauses|        79629867 |   10152166 |   10169979 |   10325033 |   10131380 |    9332754 |    9747717 |   10091916 |    9678922 |
91.57/34.06	c (16,0) c | PropPreBlocker|      1403198168 |  172408997 |  170647532 |  185864317 |  174310121 |  177828246 |  172960345 |  174948852 |  174229758 |
91.57/34.06	c (16,0) c | PropNotBlocker|       383435932 |   47682612 |   49922083 |   52174455 |   45733323 |   44156175 |   47893207 |   49375340 |   46498737 |
91.57/34.06	c (16,0) c | LitFullScans  |      1942306530 |  240124921 |  240045103 |  258043638 |  240033395 |  240169820 |  240027587 |  243829138 |  240032928 |
91.57/34.06	c (16,0) c | LitScanFracts |          162767 |      20944 |      20936 |      14733 |      14961 |      25512 |      21727 |      21390 |      22564 |
91.57/34.06	c (16,0) c | DecisionLevel0|             154 |         16 |         27 |         23 |         17 |         13 |         17 |         25 |         16 |
91.57/34.06	c (16,0) c | Periods       |             323 |         40 |         40 |         43 |         40 |         40 |         40 |         40 |         40 |
91.57/34.06	c (16,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
91.57/34.06	c (16,0) c | Avg_Trail     |                 |      31197 |      31348 |      36850 |      39268 |      54498 |      39975 |      30056 |      39193 |
91.57/34.06	c (16,0) c | Avg_DL        |                 |         91 |         68 |         69 |         62 |         78 |         64 |         58 |         59 |
91.57/34.06	c (16,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
91.57/34.06	c (16,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
91.57/34.06	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
91.57/34.06	c (16,0) c | Exported      |            1133 |        149 |        211 |        143 |         81 |         97 |        162 |        130 |        160 |
91.57/34.06	c (16,0) c | Imported      |            4398 |        556 |        517 |        603 |        588 |        558 |        536 |        503 |        537 |
91.57/34.06	c (16,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
91.57/34.06	c (16,0) c | Purge         |            4398 |        556 |        517 |        603 |        588 |        558 |        536 |        503 |        537 |
91.57/34.06	c (16,0) c | Promoted      |              39 |          5 |          5 |          1 |          4 |          8 |          5 |          9 |          2 |
91.57/34.06	c (16,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
91.57/34.06	c (16,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
91.57/34.06	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
91.57/34.06	c (16,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
91.57/34.06	c (16,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
91.57/34.06	c (16,0) c | Glues         |                 |        149 |        211 |        143 |         81 |         97 |        162 |        130 |        160 |
91.57/34.06	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
91.57/34.06	c (16,0) c | Orig_Seen     |             1 % |      39271 |      35933 |      34096 |      30822 |      28534 |      34606 |      35949 |      33513 |
91.57/34.06	c (16,0) c | Diff Orig seen|                 |       3322 | -       16 | -     1853 | -     5127 | -     7415 | -     1343 |      X     | -     2436 |
91.57/34.06	c (16,0) c | Hamming       |            32 % |      34953 |      39374 |      40650 |      41879 |      42466 |      39693 |      X     |      43550 |
91.57/34.06	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
91.57/34.06	c (16,0) c | RunningTime   |                 |    7.5 100%|    7.4 100%|    7.1 100%|    7.0 100%|    7.7 100%|    7.8 100%|    7.0 100%|    7.2 100%|
91.57/34.06	c (16,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
91.57/34.06	c (16,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
91.57/34.06	c (16,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
91.57/34.06	c (16,0) c | SolvingTime   |                 |    7.5     |    7.4     |    7.1     |    7.0     |    7.7     |    7.8     |    7.0     |    7.2     |
91.57/34.06	c (16,0) c | PropagationTim|                 |    7.2  96%|    7.1  97%|    6.8  97%|    6.8  96%|    7.4  97%|    7.5  97%|    6.7  96%|    6.9  96%|
91.57/34.06	c (16,0) c | AnalysisTime  |                 |    0.1   2%|    0.1   1%|    0.1   1%|    0.1   2%|    0.1   2%|    0.1   2%|    0.1   2%|    0.1   2%|
91.57/34.06	c (16,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
91.57/34.06	c (16,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
91.57/34.06	c (16,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
91.57/34.06	c (16,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
91.57/34.06	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
91.57/34.06	c (16,0) c
91.57/34.06	c (16,0) c
91.57/34.06	c (16,0) c Threads : 8
91.57/34.06	c (16,0) c Winner : 6
91.57/34.06	c (16,0) c Conflicts_0 : 3610
91.57/34.06	c (16,0) c Conflicts_1 : 3345
91.57/34.06	c (16,0) c Conflicts_2 : 2712
91.57/34.06	c (16,0) c Conflicts_3 : 2275
91.57/34.06	c (16,0) c Conflicts_4 : 1843
91.57/34.06	c (16,0) c Conflicts_5 : 2937
91.57/34.06	c (16,0) c Conflicts_6 : 2753
91.57/34.06	c (16,0) c Conflicts_7 : 2707
91.57/34.06	c (16,0) c Conflicts_total : 22182
91.57/34.06	c (16,0) c Conflicts_winner : 2753
91.57/34.06	c (16,0) c Decisions_0 : 9370
91.57/34.06	c (16,0) c Decisions_1 : 10343
91.57/34.06	c (16,0) c Decisions_2 : 8393
91.57/34.06	c (16,0) c Decisions_3 : 6269
91.57/34.06	c (16,0) c Decisions_4 : 6117
91.57/34.06	c (16,0) c Decisions_5 : 7255
91.57/34.06	c (16,0) c Decisions_6 : 9629
91.57/34.06	c (16,0) c Decisions_7 : 6232
91.57/34.06	c (16,0) c Decisions_total : 63608
91.57/34.06	c (16,0) c Decisions_winner : 9629
91.57/34.06	c (16,0) c Propagations_0 : 8933637
91.57/34.06	c (16,0) c Propagations_1 : 8842882
91.57/34.06	c (16,0) c Propagations_2 : 9073590
91.57/34.06	c (16,0) c Propagations_3 : 8929851
91.57/34.06	c (16,0) c Propagations_4 : 8068010
91.57/34.06	c (16,0) c Propagations_5 : 8666743
91.57/34.06	c (16,0) c Propagations_6 : 8816012
91.57/34.06	c (16,0) c Propagations_7 : 8480281
91.57/34.06	c (16,0) c Propagations_total : 69811006
91.57/34.06	c (16,0) c Propagations_winner : 8816012
91.57/34.06	c (16,0) c ReduceDBs_0 : 1
91.57/34.06	c (16,0) c ReduceDBs_1 : 1
91.57/34.06	c (16,0) c ReduceDBs_2 : 1
91.57/34.06	c (16,0) c ReduceDBs_3 : 1
91.57/34.06	c (16,0) c ReduceDBs_4 : 0
91.57/34.06	c (16,0) c ReduceDBs_5 : 1
91.57/34.06	c (16,0) c ReduceDBs_6 : 1
91.57/34.06	c (16,0) c ReduceDBs_7 : 1
91.57/34.06	c (16,0) c ReduceDBs_total : 7
91.57/34.06	c (16,0) c ReduceDBs_winner : 1
91.57/34.06	c (16,0) c SimpDBs_0 : 1
91.57/34.06	c (16,0) c SimpDBs_1 : 1
91.57/34.06	c (16,0) c SimpDBs_2 : 1
91.57/34.06	c (16,0) c SimpDBs_3 : 1
91.57/34.06	c (16,0) c SimpDBs_4 : 1
91.57/34.06	c (16,0) c SimpDBs_5 : 1
91.57/34.06	c (16,0) c SimpDBs_6 : 1
91.57/34.06	c (16,0) c SimpDBs_7 : 1
91.57/34.06	c (16,0) c SimpDBs_total : 8
91.57/34.06	c (16,0) c SimpDBs_winner : 1
91.57/34.06	c (16,0) c Restarts_0 : 16
91.57/34.06	c (16,0) c Restarts_1 : 27
91.57/34.06	c (16,0) c Restarts_2 : 23
91.57/34.06	c (16,0) c Restarts_3 : 17
91.57/34.06	c (16,0) c Restarts_4 : 13
91.57/34.06	c (16,0) c Restarts_5 : 17
91.57/34.06	c (16,0) c Restarts_6 : 25
91.57/34.06	c (16,0) c Restarts_7 : 16
91.57/34.06	c (16,0) c Restarts_total : 154
91.57/34.06	c (16,0) c Restarts_winner : 25
91.57/34.06	c (16,0) c ForcedImports_0 : 0
91.57/34.06	c (16,0) c ForcedImports_1 : 0
91.57/34.06	c (16,0) c ForcedImports_2 : 0
91.57/34.06	c (16,0) c ForcedImports_3 : 0
91.57/34.06	c (16,0) c ForcedImports_4 : 0
91.57/34.06	c (16,0) c ForcedImports_5 : 0
91.57/34.06	c (16,0) c ForcedImports_6 : 0
91.57/34.06	c (16,0) c ForcedImports_7 : 0
91.57/34.06	c (16,0) c ForcedImports_total : 0
91.57/34.06	c (16,0) c ForcedImports_winner : 0
91.57/34.06	c (16,0) c PropsBinClauses_0 : 10152166
91.57/34.06	c (16,0) c PropsBinClauses_1 : 10169979
91.57/34.06	c (16,0) c PropsBinClauses_2 : 10325033
91.57/34.06	c (16,0) c PropsBinClauses_3 : 10131380
91.57/34.06	c (16,0) c PropsBinClauses_4 : 9332754
91.57/34.06	c (16,0) c PropsBinClauses_5 : 9747717
91.57/34.06	c (16,0) c PropsBinClauses_6 : 10091916
91.57/34.06	c (16,0) c PropsBinClauses_7 : 9678922
91.57/34.06	c (16,0) c PropsBinClauses_total : 79629867
91.57/34.06	c (16,0) c PropsBinClauses_winner : 10091916
91.57/34.06	c (16,0) c PropsPreBlocker_0 : 172408997
91.57/34.06	c (16,0) c PropsPreBlocker_1 : 170647532
91.57/34.06	c (16,0) c PropsPreBlocker_2 : 185864317
91.57/34.06	c (16,0) c PropsPreBlocker_3 : 174310121
91.57/34.06	c (16,0) c PropsPreBlocker_4 : 177828246
91.57/34.06	c (16,0) c PropsPreBlocker_5 : 172960345
91.57/34.06	c (16,0) c PropsPreBlocker_6 : 174948852
91.57/34.06	c (16,0) c PropsPreBlocker_7 : 174229758
91.57/34.06	c (16,0) c PropsPreBlocker_total : 1403198168
91.57/34.06	c (16,0) c PropsPreBlocker_winner : 174948852
91.57/34.06	c (16,0) c PropsNotBlocker_0 : 47682612
91.57/34.06	c (16,0) c PropsNotBlocker_1 : 49922083
91.57/34.06	c (16,0) c PropsNotBlocker_2 : 52174455
91.57/34.06	c (16,0) c PropsNotBlocker_3 : 45733323
91.57/34.06	c (16,0) c PropsNotBlocker_4 : 44156175
91.57/34.06	c (16,0) c PropsNotBlocker_5 : 47893207
91.57/34.06	c (16,0) c PropsNotBlocker_6 : 49375340
91.57/34.06	c (16,0) c PropsNotBlocker_7 : 46498737
91.57/34.06	c (16,0) c PropsNotBlocker_total : 383435932
91.57/34.06	c (16,0) c PropsNotBlocker_winner : 49375340
91.57/34.06	c (16,0) c PropsLitFullScans_0 : 240124921
91.57/34.06	c (16,0) c PropsLitFullScans_1 : 240045103
91.57/34.06	c (16,0) c PropsLitFullScans_2 : 258043638
91.57/34.06	c (16,0) c PropsLitFullScans_3 : 240033395
91.57/34.06	c (16,0) c PropsLitFullScans_4 : 240169820
91.57/34.06	c (16,0) c PropsLitFullScans_5 : 240027587
91.57/34.06	c (16,0) c PropsLitFullScans_6 : 243829138
91.57/34.06	c (16,0) c PropsLitFullScans_7 : 240032928
91.57/34.06	c (16,0) c PropsLitFullScans_total : 1942306530
91.57/34.06	c (16,0) c PropsLitFullScans_winner : 243829138
91.57/34.06	c (16,0) c LitScanFractions_0 : 20944
91.57/34.06	c (16,0) c LitScanFractions_1 : 20936
91.57/34.06	c (16,0) c LitScanFractions_2 : 14733
91.57/34.06	c (16,0) c LitScanFractions_3 : 14961
91.57/34.06	c (16,0) c LitScanFractions_4 : 25512
91.57/34.06	c (16,0) c LitScanFractions_5 : 21727
91.57/34.06	c (16,0) c LitScanFractions_6 : 21390
91.57/34.06	c (16,0) c LitScanFractions_7 : 22564
91.57/34.06	c (16,0) c LitScanFractions_total : 162767
91.57/34.06	c (16,0) c LitScanFractions_winner : 21390
91.57/34.06	c (16,0) c DecisionLevel0_0 : 16
91.57/34.06	c (16,0) c DecisionLevel0_1 : 27
91.57/34.06	c (16,0) c DecisionLevel0_2 : 23
91.57/34.06	c (16,0) c DecisionLevel0_3 : 17
91.57/34.06	c (16,0) c DecisionLevel0_4 : 13
91.57/34.06	c (16,0) c DecisionLevel0_5 : 17
91.57/34.06	c (16,0) c DecisionLevel0_6 : 25
91.57/34.06	c (16,0) c DecisionLevel0_7 : 16
91.57/34.06	c (16,0) c DecisionLevel0_total : 154
91.57/34.06	c (16,0) c DecisionLevel0_winner : 25
91.57/34.06	c (16,0) c Periods_0 : 40
91.57/34.06	c (16,0) c Periods_1 : 40
91.57/34.06	c (16,0) c Periods_2 : 43
91.57/34.06	c (16,0) c Periods_3 : 40
91.57/34.06	c (16,0) c Periods_4 : 40
91.57/34.06	c (16,0) c Periods_5 : 40
91.57/34.06	c (16,0) c Periods_6 : 40
91.57/34.06	c (16,0) c Periods_7 : 40
91.57/34.06	c (16,0) c Periods_total : 323
91.57/34.06	c (16,0) c Periods_winner : 40
91.57/34.06	c (16,0) c Margin_0 : 20
91.57/34.06	c (16,0) c Margin_1 : 20
91.57/34.06	c (16,0) c Margin_2 : 20
91.57/34.06	c (16,0) c Margin_3 : 20
91.57/34.06	c (16,0) c Margin_4 : 20
91.57/34.06	c (16,0) c Margin_5 : 20
91.57/34.06	c (16,0) c Margin_6 : 20
91.57/34.06	c (16,0) c Margin_7 : 20
91.57/34.06	c (16,0) c Margin_total : 160
91.57/34.06	c (16,0) c Margin_winner : 20
91.57/34.06	c (16,0) c Exported_0 : 149
91.57/34.06	c (16,0) c Exported_1 : 211
91.57/34.06	c (16,0) c Exported_2 : 143
91.57/34.06	c (16,0) c Exported_3 : 81
91.57/34.06	c (16,0) c Exported_4 : 97
91.57/34.06	c (16,0) c Exported_5 : 162
91.57/34.06	c (16,0) c Exported_6 : 130
91.57/34.06	c (16,0) c Exported_7 : 160
91.57/34.06	c (16,0) c Exported_total : 1133
91.57/34.06	c (16,0) c Exported_winner : 130
91.57/34.07	c (16,0) c Imported_0 : 556
91.57/34.07	c (16,0) c Imported_1 : 517
91.57/34.07	c (16,0) c Imported_2 : 603
91.57/34.07	c (16,0) c Imported_3 : 588
91.57/34.07	c (16,0) c Imported_4 : 558
91.57/34.07	c (16,0) c Imported_5 : 536
91.57/34.07	c (16,0) c Imported_6 : 503
91.57/34.07	c (16,0) c Imported_7 : 537
91.57/34.07	c (16,0) c Imported_total : 4398
91.57/34.07	c (16,0) c Imported_winner : 503
91.57/34.07	c (16,0) c Good_0 : 0
91.57/34.07	c (16,0) c Good_1 : 0
91.57/34.07	c (16,0) c Good_2 : 0
91.57/34.07	c (16,0) c Good_3 : 0
91.57/34.07	c (16,0) c Good_4 : 0
91.57/34.07	c (16,0) c Good_5 : 0
91.57/34.07	c (16,0) c Good_6 : 0
91.57/34.07	c (16,0) c Good_7 : 0
91.57/34.07	c (16,0) c Good_total : 0
91.57/34.07	c (16,0) c Good_winner : 0
91.57/34.07	c (16,0) c Purge_0 : 556
91.57/34.07	c (16,0) c Purge_1 : 517
91.57/34.07	c (16,0) c Purge_2 : 603
91.57/34.07	c (16,0) c Purge_3 : 588
91.57/34.07	c (16,0) c Purge_4 : 558
91.57/34.07	c (16,0) c Purge_5 : 536
91.57/34.07	c (16,0) c Purge_6 : 503
91.57/34.07	c (16,0) c Purge_7 : 537
91.57/34.07	c (16,0) c Purge_total : 4398
91.57/34.07	c (16,0) c Purge_winner : 503
91.57/34.07	c (16,0) c Promoted_0 : 5
91.57/34.07	c (16,0) c Promoted_1 : 5
91.57/34.07	c (16,0) c Promoted_2 : 1
91.57/34.07	c (16,0) c Promoted_3 : 4
91.57/34.07	c (16,0) c Promoted_4 : 8
91.57/34.07	c (16,0) c Promoted_5 : 5
91.57/34.07	c (16,0) c Promoted_6 : 9
91.57/34.07	c (16,0) c Promoted_7 : 2
91.57/34.07	c (16,0) c Promoted_total : 39
91.57/34.07	c (16,0) c Promoted_winner : 9
91.57/34.07	c (16,0) c Remove_Imp_0 : 0
91.57/34.07	c (16,0) c Remove_Imp_1 : 0
91.57/34.07	c (16,0) c Remove_Imp_2 : 0
91.57/34.07	c (16,0) c Remove_Imp_3 : 0
91.57/34.07	c (16,0) c Remove_Imp_4 : 0
91.57/34.07	c (16,0) c Remove_Imp_5 : 0
91.57/34.07	c (16,0) c Remove_Imp_6 : 0
91.57/34.07	c (16,0) c Remove_Imp_7 : 0
91.57/34.07	c (16,0) c Remove_Imp_total : 0
91.57/34.07	c (16,0) c Remove_Imp_winner : 0
91.57/34.07	c (16,0) c Blocked_Reuse_0 : 0
91.57/34.07	c (16,0) c Blocked_Reuse_1 : 0
91.57/34.07	c (16,0) c Blocked_Reuse_2 : 0
91.57/34.07	c (16,0) c Blocked_Reuse_3 : 0
91.57/34.07	c (16,0) c Blocked_Reuse_4 : 0
91.57/34.07	c (16,0) c Blocked_Reuse_5 : 0
91.57/34.07	c (16,0) c Blocked_Reuse_6 : 0
91.57/34.07	c (16,0) c Blocked_Reuse_7 : 0
91.57/34.07	c (16,0) c Blocked_Reuse_total : 0
91.57/34.07	c (16,0) c Blocked_Reuse_winner : 0
91.57/34.07	c (16,0) c Unaries_0 : 0
91.57/34.07	c (16,0) c Unaries_1 : 0
91.57/34.07	c (16,0) c Unaries_2 : 0
91.57/34.07	c (16,0) c Unaries_3 : 0
91.57/34.07	c (16,0) c Unaries_4 : 0
91.57/34.07	c (16,0) c Unaries_5 : 0
91.57/34.07	c (16,0) c Unaries_6 : 0
91.57/34.07	c (16,0) c Unaries_7 : 0
91.57/34.07	c (16,0) c Unaries_total : 0
91.57/34.07	c (16,0) c Unaries_winner : 0
91.57/34.07	c (16,0) c Binaries_0 : 0
91.57/34.07	c (16,0) c Binaries_1 : 0
91.57/34.07	c (16,0) c Binaries_2 : 0
91.57/34.07	c (16,0) c Binaries_3 : 0
91.57/34.07	c (16,0) c Binaries_4 : 0
91.57/34.07	c (16,0) c Binaries_5 : 0
91.57/34.07	c (16,0) c Binaries_6 : 0
91.57/34.07	c (16,0) c Binaries_7 : 0
91.57/34.07	c (16,0) c Binaries_total : 0
91.57/34.07	c (16,0) c Binaries_winner : 0
91.57/34.07	c (16,0) c Glues_0 : 149
91.57/34.07	c (16,0) c Glues_1 : 211
91.57/34.07	c (16,0) c Glues_2 : 143
91.57/34.07	c (16,0) c Glues_3 : 81
91.57/34.07	c (16,0) c Glues_4 : 97
91.57/34.07	c (16,0) c Glues_5 : 162
91.57/34.07	c (16,0) c Glues_6 : 130
91.57/34.07	c (16,0) c Glues_7 : 160
91.57/34.07	c (16,0) c Glues_total : 1133
91.57/34.07	c (16,0) c Glues_winner : 130
91.57/34.07	c (16,0) c RunningTime_0 : 7.517305
91.57/34.07	c (16,0) c RunningTime_1 : 7.377831
91.57/34.07	c (16,0) c RunningTime_2 : 7.077671
91.57/34.07	c (16,0) c RunningTime_3 : 7.018997
91.57/34.07	c (16,0) c RunningTime_4 : 7.697774
91.57/34.07	c (16,0) c RunningTime_5 : 7.807967
91.57/34.07	c (16,0) c RunningTime_6 : 6.971585
91.57/34.07	c (16,0) c RunningTime_7 : 7.177711
91.57/34.07	c (16,0) c RunningTime_total : 58.646843
91.57/34.07	c (16,0) c RunningTime_winner : 6.971585
91.57/34.07	c (16,0) c WaitingTime_0 : 0.000043
91.57/34.07	c (16,0) c WaitingTime_1 : 0.000066
91.57/34.07	c (16,0) c WaitingTime_2 : 0.000169
91.57/34.07	c (16,0) c WaitingTime_3 : 0.000054
91.57/34.07	c (16,0) c WaitingTime_4 : 0.000050
91.57/34.07	c (16,0) c WaitingTime_5 : 0.000028
91.57/34.07	c (16,0) c WaitingTime_6 : 0.000067
91.57/34.07	c (16,0) c WaitingTime_7 : 0.000066
91.57/34.07	c (16,0) c WaitingTime_total : 0.000542
91.57/34.07	c (16,0) c WaitingTime_winner : 0.000067
91.57/34.07	c (16,0) c ExchangingTime_0 : 0.001671
91.57/34.07	c (16,0) c ExchangingTime_1 : 0.002020
91.57/34.07	c (16,0) c ExchangingTime_2 : 0.001769
91.57/34.07	c (16,0) c ExchangingTime_3 : 0.001588
91.57/34.07	c (16,0) c ExchangingTime_4 : 0.003325
91.57/34.07	c (16,0) c ExchangingTime_5 : 0.002330
91.57/34.07	c (16,0) c ExchangingTime_6 : 0.001459
91.57/34.07	c (16,0) c ExchangingTime_7 : 0.002646
91.57/34.07	c (16,0) c ExchangingTime_total : 0.016807
91.57/34.07	c (16,0) c ExchangingTime_winner : 0.001459
91.57/34.07	c (16,0) c PeriodProcTime_0 : 0.000580
91.57/34.07	c (16,0) c PeriodProcTime_1 : 0.000664
91.57/34.07	c (16,0) c PeriodProcTime_2 : 0.000598
91.57/34.07	c (16,0) c PeriodProcTime_3 : 0.000748
91.57/34.07	c (16,0) c PeriodProcTime_4 : 0.000741
91.57/34.07	c (16,0) c PeriodProcTime_5 : 0.000916
91.57/34.07	c (16,0) c PeriodProcTime_6 : 0.000670
91.57/34.07	c (16,0) c PeriodProcTime_7 : 0.000681
91.57/34.07	c (16,0) c PeriodProcTime_total : 0.005599
91.57/34.07	c (16,0) c PeriodProcTime_winner : 0.000670
91.57/34.07	c (16,0) c SolvingTime_0 : 7.519599
91.57/34.07	c (16,0) c SolvingTime_1 : 7.380580
91.57/34.07	c (16,0) c SolvingTime_2 : 7.080207
91.57/34.07	c (16,0) c SolvingTime_3 : 7.021387
91.57/34.07	c (16,0) c SolvingTime_4 : 7.701890
91.57/34.07	c (16,0) c SolvingTime_5 : 7.811242
91.57/34.07	c (16,0) c SolvingTime_6 : 6.973782
91.57/34.07	c (16,0) c SolvingTime_7 : 7.181103
91.57/34.07	c (16,0) c SolvingTime_total : 58.669790
91.57/34.07	c (16,0) c SolvingTime_winner : 6.973782
91.57/34.07	c (16,0) c PropagationTime_0 : 7.246017
91.57/34.07	c (16,0) c PropagationTime_1 : 7.133650
91.57/34.07	c (16,0) c PropagationTime_2 : 6.849918
91.57/34.07	c (16,0) c PropagationTime_3 : 6.774525
91.57/34.07	c (16,0) c PropagationTime_4 : 7.443745
91.57/34.07	c (16,0) c PropagationTime_5 : 7.544010
91.57/34.07	c (16,0) c PropagationTime_6 : 6.728119
91.57/34.07	c (16,0) c PropagationTime_7 : 6.917268
91.57/34.07	c (16,0) c PropagationTime_total : 56.637252
91.57/34.07	c (16,0) c PropagationTime_winner : 6.728119
91.57/34.07	c (16,0) c AnalysisTime_0 : 0.135804
91.57/34.07	c (16,0) c AnalysisTime_1 : 0.107320
91.57/34.07	c (16,0) c AnalysisTime_2 : 0.103310
91.57/34.07	c (16,0) c AnalysisTime_3 : 0.121520
91.57/34.07	c (16,0) c AnalysisTime_4 : 0.119460
91.57/34.07	c (16,0) c AnalysisTime_5 : 0.128838
91.57/34.07	c (16,0) c AnalysisTime_6 : 0.107952
91.57/34.07	c (16,0) c AnalysisTime_7 : 0.130228
91.57/34.07	c (16,0) c AnalysisTime_total : 0.954431
91.57/34.07	c (16,0) c AnalysisTime_winner : 0.107952
91.57/34.07	c (16,0) c ReductionTime_0 : 0.000488
91.57/34.07	c (16,0) c ReductionTime_1 : 0.000498
91.57/34.07	c (16,0) c ReductionTime_2 : 0.000948
91.57/34.07	c (16,0) c ReductionTime_3 : 0.000458
91.57/34.07	c (16,0) c ReductionTime_4 : 0.000000
91.57/34.07	c (16,0) c ReductionTime_5 : 0.000498
91.57/34.07	c (16,0) c ReductionTime_6 : 0.000445
91.57/34.07	c (16,0) c ReductionTime_7 : 0.000943
91.57/34.07	c (16,0) c ReductionTime_total : 0.004278
91.57/34.07	c (16,0) c ReductionTime_winner : 0.000445
91.57/34.07	c (16,0) c SimplifyTime_0 : 0.000000
91.57/34.07	c (16,0) c SimplifyTime_1 : 0.000006
91.57/34.07	c (16,0) c SimplifyTime_2 : 0.000003
91.57/34.07	c (16,0) c SimplifyTime_3 : 0.000002
91.57/34.07	c (16,0) c SimplifyTime_4 : 0.000002
91.57/34.07	c (16,0) c SimplifyTime_5 : 0.000000
91.57/34.07	c (16,0) c SimplifyTime_6 : 0.000004
91.57/34.07	c (16,0) c SimplifyTime_7 : 0.000000
91.57/34.07	c (16,0) c SimplifyTime_total : 0.000017
91.57/34.07	c (16,0) c SimplifyTime_winner : 0.000004
91.57/34.07	c (16,0) c UsedRateTime_0 : 0.000000
91.57/34.07	c (16,0) c UsedRateTime_1 : 0.000000
91.57/34.07	c (16,0) c UsedRateTime_2 : 0.000000
91.57/34.07	c (16,0) c UsedRateTime_3 : 0.000000
91.57/34.07	c (16,0) c UsedRateTime_4 : 0.000000
91.57/34.07	c (16,0) c UsedRateTime_5 : 0.000000
91.57/34.07	c (16,0) c UsedRateTime_6 : 0.000000
91.57/34.07	c (16,0) c UsedRateTime_7 : 0.000000
91.57/34.07	c (16,0) c UsedRateTime_total : 0.000000
91.57/34.07	c (16,0) c UsedRateTime_winner : 0.000000
91.57/34.07	c (16,0) c OverlapRateTime_0 : 0.000000
91.57/34.07	c (16,0) c OverlapRateTime_1 : 0.000000
91.57/34.07	c (16,0) c OverlapRateTime_2 : 0.000000
91.57/34.07	c (16,0) c OverlapRateTime_3 : 0.000000
91.57/34.07	c (16,0) c OverlapRateTime_4 : 0.000000
91.57/34.07	c (16,0) c OverlapRateTime_5 : 0.000000
91.57/34.07	c (16,0) c OverlapRateTime_6 : 0.000000
91.57/34.07	c (16,0) c OverlapRateTime_7 : 0.000000
91.57/34.07	c (16,0) c OverlapRateTime_total : 0.000000
91.57/34.07	c (16,0) c OverlapRateTime_winner : 0.000000
91.57/34.07	c (16,0) c
91.57/34.07	c (16,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
91.57/34.07	c (16,0) c
91.57/34.07	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
91.57/34.07	c (16,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
91.57/34.07	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
91.57/34.07	c (16,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
91.57/34.07	c (16,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
91.57/34.07	c (16,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
91.57/34.07	c (16,0) c | Initial random_seed   | 1730973882 | 1403136719 |  499056788 |  984696135 |  961514365 |  716768415 | 1184185297 | 1079972117 |
91.57/34.07	c (16,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
91.57/34.07	c (16,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
91.57/34.07	c (16,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
91.57/34.07	c (16,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
91.57/34.07	c (16,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
91.57/34.07	c (16,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
91.57/34.07	c (16,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
91.57/34.07	c (16,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
91.57/34.07	c (16,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
91.57/34.07	c (16,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
91.57/34.07	c (16,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
91.57/34.07	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
91.57/34.07	c (16,0) 
91.57/34.07	c (16,0) s SATISFIABLE
26.06/34.21	c (16,0) SatSolver.solve End
26.06/34.21	c (16,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
26.06/34.21	c (16,0) Show results Begin
92.28/34.31	c (16,0) x0 = 87
92.28/34.31	c (16,0) x1 = 86
92.28/34.31	c (16,0) x10 = 284
92.28/34.31	c (16,0) x100 = 0
92.28/34.31	c (16,0) x101 = 1
92.28/34.31	c (16,0) x102 = 519
92.28/34.31	c (16,0) x103 = 518
92.28/34.31	c (16,0) x104 = 170
92.28/34.31	c (16,0) x105 = 169
92.28/34.31	c (16,0) x106 = 158
92.28/34.31	c (16,0) x107 = 159
92.28/34.31	c (16,0) x108 = 56
92.28/34.31	c (16,0) x109 = 55
92.28/34.31	c (16,0) x11 = 285
92.28/34.31	c (16,0) x110 = 416
92.28/34.31	c (16,0) x111 = 415
92.28/34.31	c (16,0) x112 = 286
92.28/34.31	c (16,0) x113 = 285
92.28/34.31	c (16,0) x114 = 207
92.28/34.31	c (16,0) x115 = 208
92.28/34.31	c (16,0) x116 = 581
92.28/34.31	c (16,0) x117 = 582
92.28/34.31	c (16,0) x118 = 369
92.28/34.31	c (16,0) x119 = 370
92.28/34.31	c (16,0) x12 = 592
92.28/34.31	c (16,0) x120 = 544
92.28/34.31	c (16,0) x121 = 545
92.28/34.31	c (16,0) x122 = 45
92.28/34.31	c (16,0) x123 = 44
92.28/34.31	c (16,0) x124 = 477
92.28/34.31	c (16,0) x125 = 478
92.28/34.31	c (16,0) x126 = 84
92.28/34.31	c (16,0) x127 = 85
92.28/34.31	c (16,0) x128 = 251
92.28/34.31	c (16,0) x129 = 250
92.28/34.31	c (16,0) x13 = 591
92.28/34.31	c (16,0) x130 = 0
92.28/34.31	c (16,0) x131 = 1
92.28/34.31	c (16,0) x132 = 171
92.28/34.31	c (16,0) x133 = 170
92.28/34.31	c (16,0) x134 = 371
92.28/34.31	c (16,0) x135 = 372
92.28/34.31	c (16,0) x136 = 206
92.28/34.31	c (16,0) x137 = 207
92.28/34.31	c (16,0) x138 = 437
92.28/34.31	c (16,0) x139 = 436
92.28/34.31	c (16,0) x14 = 522
92.28/34.31	c (16,0) x140 = 0
92.28/34.31	c (16,0) x141 = 640
92.28/34.31	c (16,0) x142 = 97
92.28/34.31	c (16,0) x143 = 96
92.28/34.31	c (16,0) x144 = 3
92.28/34.31	c (16,0) x145 = 4
92.28/34.31	c (16,0) x146 = 475
92.28/34.31	c (16,0) x147 = 476
92.28/34.31	c (16,0) x148 = 115
92.28/34.31	c (16,0) x149 = 116
92.28/34.31	c (16,0) x15 = 523
92.28/34.31	c (16,0) x150 = 433
92.28/34.31	c (16,0) x151 = 432
92.28/34.31	c (16,0) x152 = 296
92.28/34.31	c (16,0) x153 = 295
92.28/34.31	c (16,0) x154 = 383
92.28/34.31	c (16,0) x155 = 382
92.28/34.31	c (16,0) x156 = 204
92.28/34.31	c (16,0) x157 = 205
92.28/34.31	c (16,0) x158 = 573
92.28/34.31	c (16,0) x159 = 572
92.28/34.31	c (16,0) x16 = 0
92.28/34.31	c (16,0) x160 = 549
92.28/34.31	c (16,0) x161 = 550
92.28/34.31	c (16,0) x162 = 414
92.28/34.31	c (16,0) x163 = 413
92.28/34.31	c (16,0) x164 = 61
92.28/34.31	c (16,0) x165 = 60
92.28/34.31	c (16,0) x166 = 471
92.28/34.31	c (16,0) x167 = 470
92.28/34.31	c (16,0) x168 = 344
92.28/34.31	c (16,0) x169 = 343
92.28/34.31	c (16,0) x17 = 1
92.28/34.31	c (16,0) x170 = 241
92.28/34.31	c (16,0) x171 = 242
92.28/34.31	c (16,0) x172 = 114
92.28/34.31	c (16,0) x173 = 115
92.28/34.31	c (16,0) x174 = 383
92.28/34.31	c (16,0) x175 = 384
92.28/34.32	c (16,0) x176 = 267
92.28/34.32	c (16,0) x177 = 268
92.28/34.32	c (16,0) x178 = 452
92.28/34.32	c (16,0) x179 = 453
92.28/34.32	c (16,0) x18 = 135
92.28/34.32	c (16,0) x180 = 527
92.28/34.32	c (16,0) x181 = 526
92.28/34.32	c (16,0) x182 = 0
92.28/34.32	c (16,0) x183 = 1
92.28/34.32	c (16,0) x184 = 53
92.28/34.32	c (16,0) x185 = 52
92.28/34.32	c (16,0) x186 = 308
92.28/34.32	c (16,0) x187 = 307
92.28/34.32	c (16,0) x188 = 270
92.28/34.32	c (16,0) x189 = 269
92.28/34.32	c (16,0) x19 = 136
92.28/34.32	c (16,0) x190 = 562
92.28/34.32	c (16,0) x191 = 561
92.28/34.32	c (16,0) x192 = 349
92.28/34.32	c (16,0) x193 = 350
92.28/34.32	c (16,0) x194 = 238
92.28/34.32	c (16,0) x195 = 237
92.28/34.32	c (16,0) x196 = 442
92.28/34.32	c (16,0) x197 = 443
92.28/34.32	c (16,0) x198 = 142
92.28/34.32	c (16,0) x199 = 143
92.28/34.32	c (16,0) x2 = 422
92.28/34.32	c (16,0) x20 = 357
92.28/34.32	c (16,0) x21 = 358
92.28/34.32	c (16,0) x22 = 0
92.28/34.32	c (16,0) x23 = 1
92.28/34.32	c (16,0) x24 = 70
92.28/34.32	c (16,0) x25 = 71
92.28/34.32	c (16,0) x26 = 171
92.28/34.32	c (16,0) x27 = 170
92.28/34.32	c (16,0) x28 = 475
92.28/34.32	c (16,0) x29 = 345
92.28/34.32	c (16,0) x3 = 421
92.28/34.32	c (16,0) x30 = 453
92.28/34.32	c (16,0) x31 = 452
92.28/34.32	c (16,0) x32 = 513
92.28/34.32	c (16,0) x33 = 267
92.28/34.32	c (16,0) x34 = 113
92.28/34.32	c (16,0) x35 = 114
92.28/34.32	c (16,0) x36 = 97
92.28/34.32	c (16,0) x37 = 96
92.28/34.32	c (16,0) x38 = 542
92.28/34.32	c (16,0) x39 = 543
92.28/34.32	c (16,0) x4 = 370
92.28/34.32	c (16,0) x40 = 275
92.28/34.32	c (16,0) x41 = 274
92.28/34.32	c (16,0) x42 = 6
92.28/34.32	c (16,0) x43 = 7
92.28/34.32	c (16,0) x44 = 549
92.28/34.32	c (16,0) x45 = 548
92.28/34.32	c (16,0) x46 = 437
92.28/34.32	c (16,0) x47 = 438
92.28/34.32	c (16,0) x48 = 45
92.28/34.33	c (16,0) x49 = 44
92.28/34.33	c (16,0) x5 = 369
92.28/34.33	c (16,0) x50 = 638
92.28/34.33	c (16,0) x51 = 637
92.28/34.33	c (16,0) x52 = 209
92.28/34.33	c (16,0) x53 = 210
92.28/34.33	c (16,0) x54 = 371
92.28/34.33	c (16,0) x55 = 372
92.28/34.33	c (16,0) x56 = 118
92.28/34.33	c (16,0) x57 = 119
92.28/34.33	c (16,0) x58 = 462
92.28/34.33	c (16,0) x59 = 463
92.28/34.33	c (16,0) x6 = 204
92.28/34.33	c (16,0) x60 = 1
92.28/34.33	c (16,0) x61 = 0
92.28/34.33	c (16,0) x62 = 51
92.28/34.33	c (16,0) x63 = 50
92.28/34.33	c (16,0) x64 = 18
92.28/34.33	c (16,0) x65 = 19
92.28/34.33	c (16,0) x66 = 140
92.28/34.33	c (16,0) x67 = 141
92.28/34.33	c (16,0) x68 = 524
92.28/34.33	c (16,0) x69 = 525
92.28/34.33	c (16,0) x7 = 279
92.28/34.33	c (16,0) x70 = 359
92.28/34.33	c (16,0) x71 = 358
92.28/34.33	c (16,0) x72 = 212
92.28/34.33	c (16,0) x73 = 211
92.28/34.33	c (16,0) x74 = 450
92.28/34.33	c (16,0) x75 = 451
92.28/34.33	c (16,0) x76 = 582
92.28/34.33	c (16,0) x77 = 581
92.28/34.33	c (16,0) x78 = 279
92.28/34.33	c (16,0) x79 = 280
92.28/34.33	c (16,0) x8 = 232
92.28/34.33	c (16,0) x80 = 181
92.28/34.33	c (16,0) x81 = 180
92.28/34.33	c (16,0) x82 = 477
92.28/34.33	c (16,0) x83 = 478
92.28/34.33	c (16,0) x84 = 349
92.28/34.33	c (16,0) x85 = 350
92.28/34.33	c (16,0) x86 = 334
92.28/34.33	c (16,0) x87 = 543
92.28/34.33	c (16,0) x88 = 592
92.28/34.33	c (16,0) x89 = 591
92.28/34.33	c (16,0) x9 = 231
92.28/34.33	c (16,0) x90 = 151
92.28/34.33	c (16,0) x91 = 259
92.28/34.33	c (16,0) x92 = 422
92.28/34.33	c (16,0) x93 = 421
92.28/34.33	c (16,0) x94 = 288
92.28/34.33	c (16,0) x95 = 287
92.28/34.33	c (16,0) x96 = 101
92.28/34.33	c (16,0) x97 = 100
92.28/34.33	c (16,0) x98 = 0
92.28/34.33	c (16,0) x99 = 1
92.28/34.33	s SATISFIABLE
92.28/34.33	v <instantiation>
92.28/34.33	v     <list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199</list>
92.28/34.33	v     <values>87 86 422 421 370 369 204 279 232 231 284 285 592 591 522 523 0 1 135 136 357 358 0 1 70 71 171 170 475 345 453 452 513 267 113 114 97 96 542 543 275 274 6 7 549 548 437 438 45 44 638 637 209 210 371 372 118 119 462 463 1 0 51 50 18 19 140 141 524 525 359 358 212 211 450 451 582 581 279 280 181 180 477 478 349 350 334 543 592 591 151 259 422 421 288 287 101 100 0 1 0 1 519 518 170 169 158 159 56 55 416 415 286 285 207 208 581 582 369 370 544 545 45 44 477 478 84 85 251 250 0 1 171 170 371 372 206 207 437 436 0 640 97 96 3 4 475 476 115 116 433 432 296 295 383 382 204 205 573 572 549 550 414 413 61 60 471 470 344 343 241 242 114 115 383 384 267 268 452 453 527 526 0 1 53 52 308 307 270 269 562 561 349 350 238 237 442 443 142 143</values>
92.28/34.33	v </instantiation>
92.28/34.33	c (16,0) Show results End
92.28/34.33	c (16,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
92.28/34.33	c (16,0) 16,16,STOP-AFTER(ALL)
92.28/34.33	c END-Prog: Tue Sep 24 22:37:04 CEST 2019

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405470-1569357433/watcher-4405470-1569357433 -o /var/tmp/evaluation-result-4405470-1569357433/solver-4405470-1569357433 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569357356-20838 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405470-1569357433.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=20978, runsolver pid=20975
Current StackSize limit: 8192 KiB


[startup+0.100109 s]*
/proc/loadavg: 5.96 7.62 8.05 2/211 21000
/proc/meminfo: memFree=25384800/32770624 swapFree=66992452/67108860
[pid=20978] ppid=20975 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20978/stat : 20978 (scop.sh) S 20975 20978 20811 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512005858 115843072 349 33554432000 4194304 5098028 140733179027264 140733179024520 140672715547260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35766272 140733179036412 140733179036760 140733179036760 140733179039689 0
/proc/20978/statm: 28282 349 296 221 0 87 0
[pid=20981] ppid=20978 vsize=27314120 memory=105860 CPUtime=0.11 cores=0-7
/proc/20981/stat : 20981 (java) S 20978 20978 20811 0 -1 1077944320 6569 0 0 0 9 2 0 0 20 0 20 0 512005858 27969658880 26465 33554432000 4194304 4196468 140728989714448 140728989696992 140142332153591 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
/proc/20981/statm: 6828530 26465 2794 1 0 6790935 0
[pid=20981/tid=20982] ppid=20978 vsize=27314120 memory=-2177352373413752899 CPUtime=0.08 cores=0-7
/proc/20981/task/20982/stat : 20982 (java) R 20978 20978 20811 0 -1 4202560 4653 0 0 0 7 1 0 0 20 0 20 0 512005858 27969658880 26465 33554432000 4194304 4196468 140728989714448 140142303957792 140142318221710 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20983] ppid=20978 vsize=27314120 memory=732370307295763429 CPUtime=0 cores=0-7
/proc/20981/task/20983/stat : 20983 (java) S 20978 20978 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512005860 27969658880 26465 33554432000 4194304 4196468 140728989714448 140142336395792 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20984] ppid=20978 vsize=27314120 memory=140168958310016 CPUtime=0 cores=0-7
/proc/20981/task/20984/stat : 20984 (java) S 20978 20978 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512005861 27969658880 26465 33554432000 4194304 4196468 140728989714448 140142167644816 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20985] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20985/stat : 20985 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005861 27969658880 26465 33554432000 4194304 4196468 140728989714448 140141752854800 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20986] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20986/stat : 20986 (java) S 20978 20978 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512005861 27969658880 26465 33554432000 4194304 4196468 140728989714448 140141751802256 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20987] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20987/stat : 20987 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005861 27969658880 26465 33554432000 4194304 4196468 140728989714448 140141750750224 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20988] ppid=20978 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20981/task/20988/stat : 20988 (java) S 20978 20978 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512005861 27969658880 26977 33554432000 4194304 4196468 140728989714448 140141749697680 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20989] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20989/stat : 20989 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005861 27969658880 26977 33554432000 4194304 4196468 140728989714448 140141748644624 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20990] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20990/stat : 20990 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005861 27969658880 26977 33554432000 4194304 4196468 140728989714448 140141747592080 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20991] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20991/stat : 20991 (java) S 20978 20978 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512005862 27969658880 26977 33554432000 4194304 4196468 140728989714448 140140459337968 140142332164738 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20992] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20992/stat : 20992 (java) S 20978 20978 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512005862 27969658880 26977 33554432000 4194304 4196468 140728989714448 140140219458720 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20993] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20993/stat : 20993 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005863 27969658880 26977 33554432000 4194304 4196468 140728989714448 140139951022832 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20994] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20994/stat : 20994 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005865 27969658880 26977 33554432000 4194304 4196468 140728989714448 140139576514512 140142332172187 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20995] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20995/stat : 20995 (java) S 20978 20978 20811 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 512005865 27969658880 26977 33554432000 4194304 4196468 140728989714448 140140458285808 140142332164738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20996] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20996/stat : 20996 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005865 27969658880 26977 33554432000 4194304 4196468 140728989714448 140140457233264 140142332164738 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20997] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20997/stat : 20997 (java) S 20978 20978 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512005865 27969658880 26977 33554432000 4194304 4196468 140728989714448 140140456180208 140142332164738 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20998] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20998/stat : 20998 (java) S 20978 20978 20811 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 20 0 512005865 27969658880 26977 33554432000 4194304 4196468 140728989714448 140140455127664 140142332164738 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20999] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20999/stat : 20999 (java) S 20978 20978 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512005865 27969658880 26977 33554432000 4194304 4196468 140728989714448 140139078609376 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=21000] ppid=20978 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20981/task/21000/stat : 21000 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005866 27969658880 26977 33554432000 4194304 4196468 140728989714448 140140454075056 140142332164738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107256 KiB

[startup+0.210334 s]*
/proc/loadavg: 5.96 7.62 8.05 2/211 21000
/proc/meminfo: memFree=25364384/32770624 swapFree=66992452/67108860
[pid=20978] ppid=20975 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20978/stat : 20978 (scop.sh) S 20975 20978 20811 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512005858 115843072 349 33554432000 4194304 5098028 140733179027264 140733179024520 140672715547260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35766272 140733179036412 140733179036760 140733179036760 140733179039689 0
/proc/20978/statm: 28282 349 296 221 0 87 0
[pid=20981] ppid=20978 vsize=27314120 memory=125536 CPUtime=0.25 cores=0-7
/proc/20981/stat : 20981 (java) S 20978 20978 20811 0 -1 1077944320 12214 0 0 0 21 4 0 0 20 0 20 0 512005858 27969658880 31384 33554432000 4194304 4196468 140728989714448 140728989696992 140142332153591 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
/proc/20981/statm: 6828530 31384 2957 1 0 6790935 0
[pid=20981/tid=20982] ppid=20978 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/20981/task/20982/stat : 20982 (java) R 20978 20978 20811 0 -1 4202560 9888 0 0 0 17 3 0 0 20 0 20 0 512005858 27969658880 31384 33554432000 4194304 4196468 140728989714448 140142303970000 140142313717151 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20983] ppid=20978 vsize=27314120 memory=732370307295763429 CPUtime=0 cores=0-7
/proc/20981/task/20983/stat : 20983 (java) S 20978 20978 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512005860 27969658880 31384 33554432000 4194304 4196468 140728989714448 140142336395792 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20984] ppid=20978 vsize=27314120 memory=140168958310016 CPUtime=0 cores=0-7
/proc/20981/task/20984/stat : 20984 (java) S 20978 20978 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512005861 27969658880 31384 33554432000 4194304 4196468 140728989714448 140142167644816 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20985] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20985/stat : 20985 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005861 27969658880 31384 33554432000 4194304 4196468 140728989714448 140141752854800 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20986] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20986/stat : 20986 (java) S 20978 20978 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512005861 27969658880 31384 33554432000 4194304 4196468 140728989714448 140141751802256 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20987] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20987/stat : 20987 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005861 27969658880 31384 33554432000 4194304 4196468 140728989714448 140141750750224 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20988] ppid=20978 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20981/task/20988/stat : 20988 (java) S 20978 20978 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512005861 27969658880 31384 33554432000 4194304 4196468 140728989714448 140141749697680 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20989] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20989/stat : 20989 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005861 27969658880 31384 33554432000 4194304 4196468 140728989714448 140141748644624 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20990] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20990/stat : 20990 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005861 27969658880 31384 33554432000 4194304 4196468 140728989714448 140141747592080 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20991] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20991/stat : 20991 (java) S 20978 20978 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512005862 27969658880 31384 33554432000 4194304 4196468 140728989714448 140140459337968 140142332164738 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20992] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20992/stat : 20992 (java) S 20978 20978 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512005862 27969658880 31384 33554432000 4194304 4196468 140728989714448 140140219458720 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20993] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20993/stat : 20993 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005863 27969658880 31384 33554432000 4194304 4196468 140728989714448 140139951022832 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20994] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20994/stat : 20994 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005865 27969658880 31384 33554432000 4194304 4196468 140728989714448 140139576514512 140142332172187 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20995] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20995/stat : 20995 (java) S 20978 20978 20811 0 -1 1077944384 348 0 0 0 0 0 0 0 20 0 20 0 512005865 27969658880 31384 33554432000 4194304 4196468 140728989714448 140140458285808 140142332164738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20996] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20996/stat : 20996 (java) S 20978 20978 20811 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 512005865 27969658880 31384 33554432000 4194304 4196468 140728989714448 140140457233264 140142332164738 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20997] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20997/stat : 20997 (java) S 20978 20978 20811 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 20 0 512005865 27969658880 31384 33554432000 4194304 4196468 140728989714448 140140456180208 140142332164738 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20998] ppid=20978 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/20981/task/20998/stat : 20998 (java) S 20978 20978 20811 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 20 0 512005865 27969658880 31384 33554432000 4194304 4196468 140728989714448 140140455127664 140142332164738 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20999] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20999/stat : 20999 (java) S 20978 20978 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512005865 27969658880 31384 33554432000 4194304 4196468 140728989714448 140139078609376 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=21000] ppid=20978 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20981/task/21000/stat : 21000 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005866 27969658880 31384 33554432000 4194304 4196468 140728989714448 140140454075056 140142332164738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126932 KiB

[startup+0.309715 s]*
/proc/loadavg: 5.56 7.51 8.01 2/211 21000
/proc/meminfo: memFree=25361220/32770624 swapFree=66992452/67108860
[pid=20978] ppid=20975 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20978/stat : 20978 (scop.sh) S 20975 20978 20811 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512005858 115843072 349 33554432000 4194304 5098028 140733179027264 140733179024520 140672715547260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35766272 140733179036412 140733179036760 140733179036760 140733179039689 0
/proc/20978/statm: 28282 349 296 221 0 87 0
[pid=20981] ppid=20978 vsize=27314120 memory=128908 CPUtime=0.42 cores=0-7
/proc/20981/stat : 20981 (java) S 20978 20978 20811 0 -1 1077944320 12665 0 0 0 38 4 0 0 20 0 20 0 512005858 27969658880 32227 33554432000 4194304 4196468 140728989714448 140728989696992 140142332153591 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
/proc/20981/statm: 6828530 32227 3010 1 0 6790935 0
[pid=20981/tid=20982] ppid=20978 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/20981/task/20982/stat : 20982 (java) R 20978 20978 20811 0 -1 4202560 10080 0 0 0 26 3 0 0 20 0 20 0 512005858 27969658880 32227 33554432000 4194304 4196468 140728989714448 140142303965936 140142332167473 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20983] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20983/stat : 20983 (java) S 20978 20978 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512005860 27969658880 32227 33554432000 4194304 4196468 140728989714448 140142336395792 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20984] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20984/stat : 20984 (java) S 20978 20978 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512005861 27969658880 32227 33554432000 4194304 4196468 140728989714448 140142167644816 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20985] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20985/stat : 20985 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005861 27969658880 32227 33554432000 4194304 4196468 140728989714448 140141752854800 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20986] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20986/stat : 20986 (java) S 20978 20978 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512005861 27969658880 32227 33554432000 4194304 4196468 140728989714448 140141751802256 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20987] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20987/stat : 20987 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005861 27969658880 32227 33554432000 4194304 4196468 140728989714448 140141750750224 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20988] ppid=20978 vsize=27314120 memory=140168807934639 CPUtime=0 cores=0-7
/proc/20981/task/20988/stat : 20988 (java) S 20978 20978 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512005861 27969658880 32227 33554432000 4194304 4196468 140728989714448 140141749697680 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20989] ppid=20978 vsize=27314120 memory=140168807936944 CPUtime=0 cores=0-7
/proc/20981/task/20989/stat : 20989 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005861 27969658880 32227 33554432000 4194304 4196468 140728989714448 140141748644624 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20990] ppid=20978 vsize=27314120 memory=140168807939248 CPUtime=0 cores=0-7
/proc/20981/task/20990/stat : 20990 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005861 27969658880 32227 33554432000 4194304 4196468 140728989714448 140141747592080 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20991] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20991/stat : 20991 (java) S 20978 20978 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512005862 27969658880 32227 33554432000 4194304 4196468 140728989714448 140140459337968 140142332164738 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20992] ppid=20978 vsize=27314120 memory=280337615892368 CPUtime=0 cores=0-7
/proc/20981/task/20992/stat : 20992 (java) S 20978 20978 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512005862 27969658880 32227 33554432000 4194304 4196468 140728989714448 140140219458720 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20993] ppid=20978 vsize=27314120 memory=280337615890064 CPUtime=0 cores=0-7
/proc/20981/task/20993/stat : 20993 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005863 27969658880 32227 33554432000 4194304 4196468 140728989714448 140139951022832 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20994] ppid=20978 vsize=27314120 memory=280337615896976 CPUtime=0 cores=0-7
/proc/20981/task/20994/stat : 20994 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005865 27969658880 32227 33554432000 4194304 4196468 140728989714448 140139576514512 140142332172187 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20995] ppid=20978 vsize=27314120 memory=280337615838224 CPUtime=0 cores=0-7
/proc/20981/task/20995/stat : 20995 (java) S 20978 20978 20811 0 -1 1077944384 358 0 0 0 0 0 0 0 20 0 20 0 512005865 27969658880 32227 33554432000 4194304 4196468 140728989714448 140140458285808 140142332164738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20996] ppid=20978 vsize=27314120 memory=280337615910800 CPUtime=0.01 cores=0-7
/proc/20981/task/20996/stat : 20996 (java) R 20978 20978 20811 0 -1 4202560 61 0 0 0 1 0 0 0 20 0 20 0 512005865 27969658880 32227 33554432000 4194304 4196468 140728989714448 140140457233264 140142324443040 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20997] ppid=20978 vsize=27314120 memory=280337615917712 CPUtime=0.02 cores=0-7
/proc/20981/task/20997/stat : 20997 (java) S 20978 20978 20811 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 20 0 512005865 27969658880 32227 33554432000 4194304 4196468 140728989714448 140140456180208 140142332164738 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20998] ppid=20978 vsize=27314120 memory=280337615915408 CPUtime=0.07 cores=0-7
/proc/20981/task/20998/stat : 20998 (java) S 20978 20978 20811 0 -1 1077944384 578 0 0 0 7 0 0 0 20 0 20 0 512005865 27969658880 32227 33554432000 4194304 4196468 140728989714448 140140455127664 140142332164738 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20999] ppid=20978 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20999/stat : 20999 (java) S 20978 20978 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512005865 27969658880 32227 33554432000 4194304 4196468 140728989714448 140139078609376 140142332163797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=21000] ppid=20978 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20981/task/21000/stat : 21000 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005866 27969658880 32227 33554432000 4194304 4196468 140728989714448 140140454075056 140142332164738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130304 KiB

[startup+0.700977 s]
/proc/loadavg: 5.56 7.51 8.01 2/211 21000
/proc/meminfo: memFree=25339392/32770624 swapFree=66992452/67108860
[pid=20978] ppid=20975 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20978/stat : 20978 (scop.sh) S 20975 20978 20811 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512005858 115843072 349 33554432000 4194304 5098028 140733179027264 140733179024520 140672715547260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35766272 140733179036412 140733179036760 140733179036760 140733179039689 0
/proc/20978/statm: 28282 349 296 221 0 87 0
[pid=20981] ppid=20978 vsize=27320392 memory=164588 CPUtime=0.99 cores=0-7
/proc/20981/stat : 20981 (java) S 20978 20978 20811 0 -1 1077944320 20252 0 0 0 92 7 0 0 20 0 20 0 512005858 27976081408 41147 33554432000 4194304 4196468 140728989714448 140728989696992 140142332153591 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
/proc/20981/statm: 6830098 41147 3186 1 0 6791447 0
[pid=20981/tid=20982] ppid=20978 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/20981/task/20982/stat : 20982 (java) R 20978 20978 20811 0 -1 4202560 16998 0 0 0 62 6 0 0 20 0 20 0 512005858 27976081408 41147 33554432000 4194304 4196468 140728989714448 140142303991008 140142332175517 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20983] ppid=20978 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20983/stat : 20983 (java) S 20978 20978 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512005860 27976081408 41147 33554432000 4194304 4196468 140728989714448 140142336395792 140142332163797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20984] ppid=20978 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20984/stat : 20984 (java) S 20978 20978 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512005861 27976081408 41147 33554432000 4194304 4196468 140728989714448 140142167644816 140142332163797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0
[pid=20981/tid=20985] ppid=20978 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/20981/task/20985/stat : 20985 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512005861 27976081408 41147 33554432000 4194304 4196468 140728989714448 140141752854800 140142332163797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140728989721286 140728989721734 140728989721734 140728989724623 0

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

[pid=21002/tid=21005] ppid=20978 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/21002/task/21005/stat : 21005 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512007563 8616062976 29836 33554432000 4194304 4196468 140724669700160 140544226749200 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21006] ppid=20978 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21002/task/21006/stat : 21006 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512007563 8616062976 29836 33554432000 4194304 4196468 140724669700160 140544225696912 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21007] ppid=20978 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21002/task/21007/stat : 21007 (java) S 20978 20978 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512007563 8616062976 29836 33554432000 4194304 4196468 140724669700160 140544224644112 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21008] ppid=20978 vsize=8414124 memory=2241 CPUtime=0 cores=0-7
/proc/21002/task/21008/stat : 21008 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512007563 8616062976 29836 33554432000 4194304 4196468 140724669700160 140544223590800 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21009] ppid=20978 vsize=8414124 memory=2244 CPUtime=0 cores=0-7
/proc/21002/task/21009/stat : 21009 (java) S 20978 20978 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512007563 8616062976 29836 33554432000 4194304 4196468 140724669700160 140544222538000 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21010] ppid=20978 vsize=8414124 memory=7309178837960058450 CPUtime=0 cores=0-7
/proc/21002/task/21010/stat : 21010 (java) S 20978 20978 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512007563 8616062976 29836 33554432000 4194304 4196468 140724669700160 140544221485712 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21011] ppid=20978 vsize=8414124 memory=7309178837960058450 CPUtime=0 cores=0-7
/proc/21002/task/21011/stat : 21011 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512007563 8616062976 29836 33554432000 4194304 4196468 140724669700160 140544220432912 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21012] ppid=20978 vsize=8414124 memory=7309178837960058450 CPUtime=0 cores=0-7
/proc/21002/task/21012/stat : 21012 (java) S 20978 20978 20811 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512007564 8616062976 29836 33554432000 4194304 4196468 140724669700160 140543650040432 140544422349442 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21013] ppid=20978 vsize=8414124 memory=7309178837960058450 CPUtime=0 cores=0-7
/proc/21002/task/21013/stat : 21013 (java) S 20978 20978 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512007565 8616062976 29836 33554432000 4194304 4196468 140724669700160 140542738425120 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21014] ppid=20978 vsize=8414124 memory=6944656591801717405 CPUtime=0 cores=0-7
/proc/21002/task/21014/stat : 21014 (java) S 20978 20978 20811 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512007565 8616062976 29836 33554432000 4194304 4196468 140724669700160 140542604203632 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21015] ppid=20978 vsize=8414124 memory=8028631073110250065 CPUtime=0 cores=0-7
/proc/21002/task/21015/stat : 21015 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512007567 8616062976 29836 33554432000 4194304 4196468 140724669700160 140542229699152 140544422356891 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21016] ppid=20978 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/21002/task/21016/stat : 21016 (java) S 20978 20978 20811 0 -1 1077944384 593 0 0 0 5 0 0 0 20 0 24 0 512007568 8616062976 29836 33554432000 4194304 4196468 140724669700160 140543648987248 140544422349442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21017] ppid=20978 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/21002/task/21017/stat : 21017 (java) S 20978 20978 20811 0 -1 1077944384 275 0 0 0 6 0 0 0 20 0 24 0 512007568 8616062976 29836 33554432000 4194304 4196468 140724669700160 140543647934448 140544422349442 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21018] ppid=20978 vsize=8414124 memory=0 CPUtime=0.13 cores=0-7
/proc/21002/task/21018/stat : 21018 (java) S 20978 20978 20811 0 -1 1077944384 633 0 0 0 13 0 0 0 20 0 24 0 512007568 8616062976 29836 33554432000 4194304 4196468 140724669700160 140543646882160 140544422349442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21019] ppid=20978 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/21002/task/21019/stat : 21019 (java) S 20978 20978 20811 0 -1 1077944384 543 0 0 0 20 0 0 0 20 0 24 0 512007568 8616062976 29836 33554432000 4194304 4196468 140724669700160 140543645829360 140544422349442 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21020] ppid=20978 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21002/task/21020/stat : 21020 (java) S 20978 20978 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512007568 8616062976 29836 33554432000 4194304 4196468 140724669700160 140541731793760 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21021] ppid=20978 vsize=8414124 memory=6947763769601516910 CPUtime=0 cores=0-7
/proc/21002/task/21021/stat : 21021 (java) S 20978 20978 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512007568 8616062976 29836 33554432000 4194304 4196468 140724669700160 140543644777264 140544422349442 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21023] ppid=20978 vsize=8414124 memory=7649399371346227506 CPUtime=0 cores=0-7
/proc/21002/task/21023/stat : 21023 (java) S 20978 20978 20811 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512007635 8616062976 29836 33554432000 4194304 4196468 140724669700160 140543636744000 140544422362905 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21025] ppid=20978 vsize=8414124 memory=7649399379936162098 CPUtime=0 cores=0-7
/proc/21002/task/21025/stat : 21025 (java) S 20978 20978 20811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 512007635 8616062976 29836 33554432000 4194304 4196468 140724669700160 140541060693392 140544422360221 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21026] ppid=20978 vsize=8414124 memory=7649399384231129394 CPUtime=0 cores=0-7
/proc/21002/task/21026/stat : 21026 (java) S 20978 20978 20811 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512007636 8616062976 29836 33554432000 4194304 4196468 140724669700160 140541329128720 140544422360221 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21027] ppid=20978 vsize=8414124 memory=7649399388526096690 CPUtime=0 cores=0-7
/proc/21002/task/21027/stat : 21027 (java) S 20978 20978 20811 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512007638 8616062976 29836 33554432000 4194304 4196468 140724669700160 140540792266032 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
Current children cumulated CPU time: 91.57 s
Current children cumulated vsize: 11304664 KiB
Current children cumulated memory: 2479452 KiB

[startup+34.2054 s]
/proc/loadavg: 4.10 6.96 7.81 2/218 21037
/proc/meminfo: memFree=22940316/32770624 swapFree=66992452/67108860
[pid=20978] ppid=20975 vsize=113128 memory=1476 CPUtime=24.49 cores=0-7
/proc/20978/stat : 20978 (scop.sh) S 20975 20978 20811 0 -1 4202496 581 34350 0 0 0 0 2321 128 20 0 1 0 512005858 115843072 369 33554432000 4194304 5098028 140733179027264 140733179024008 140672715547260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35766272 140733179036412 140733179036760 140733179036760 140733179039689 0
/proc/20978/statm: 28282 369 311 221 0 87 0
[pid=21002] ppid=20978 vsize=8414124 memory=148488 CPUtime=1.57 cores=0-7
/proc/21002/stat : 21002 (java) S 20978 20978 20811 0 -1 1077944320 21436 0 0 0 149 8 0 0 20 0 24 0 512007561 8616062976 37122 33554432000 4194304 4196468 140724669700160 140724669682704 140544422338295 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
/proc/21002/statm: 2103531 37122 3228 1 0 2064875 0
[pid=21002/tid=21003] ppid=20978 vsize=8414124 memory=302585845632991553 CPUtime=0.76 cores=0-7
/proc/21002/task/21003/stat : 21003 (java) S 20978 20978 20811 0 -1 1077944384 16779 0 0 0 71 5 0 0 20 0 24 0 512007562 8616062976 37122 33554432000 4194304 4196468 140724669700160 140544394178464 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21004] ppid=20978 vsize=8414124 memory=13570409589117014 CPUtime=0 cores=0-7
/proc/21002/task/21004/stat : 21004 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512007563 8616062976 37122 33554432000 4194304 4196468 140724669700160 140544426580880 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21005] ppid=20978 vsize=8414124 memory=6945507666079274341 CPUtime=0 cores=0-7
/proc/21002/task/21005/stat : 21005 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512007563 8616062976 37122 33554432000 4194304 4196468 140724669700160 140544226749200 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21006] ppid=20978 vsize=8414124 memory=5793696650734228069 CPUtime=0 cores=0-7
/proc/21002/task/21006/stat : 21006 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512007563 8616062976 37122 33554432000 4194304 4196468 140724669700160 140544225696912 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21007] ppid=20978 vsize=8414124 memory=7235147594880805952 CPUtime=0 cores=0-7
/proc/21002/task/21007/stat : 21007 (java) S 20978 20978 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512007563 8616062976 37122 33554432000 4194304 4196468 140724669700160 140544224644112 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21008] ppid=20978 vsize=8414124 memory=7882828083179968110 CPUtime=0 cores=0-7
/proc/21002/task/21008/stat : 21008 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512007563 8616062976 37122 33554432000 4194304 4196468 140724669700160 140544223590800 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21009] ppid=20978 vsize=8414124 memory=4278254020745190757 CPUtime=0 cores=0-7
/proc/21002/task/21009/stat : 21009 (java) S 20978 20978 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512007563 8616062976 37122 33554432000 4194304 4196468 140724669700160 140544222538000 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21010] ppid=20978 vsize=8414124 memory=140168808039796 CPUtime=0 cores=0-7
/proc/21002/task/21010/stat : 21010 (java) S 20978 20978 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512007563 8616062976 37122 33554432000 4194304 4196468 140724669700160 140544221485712 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21011] ppid=20978 vsize=8414124 memory=3472468464227939937 CPUtime=0 cores=0-7
/proc/21002/task/21011/stat : 21011 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512007563 8616062976 37122 33554432000 4194304 4196468 140724669700160 140544220432912 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21012] ppid=20978 vsize=8414124 memory=6944656592455350634 CPUtime=0 cores=0-7
/proc/21002/task/21012/stat : 21012 (java) S 20978 20978 20811 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512007564 8616062976 37122 33554432000 4194304 4196468 140724669700160 140543650040432 140544422349442 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21013] ppid=20978 vsize=8414124 memory=-3040564339105353098 CPUtime=0 cores=0-7
/proc/21002/task/21013/stat : 21013 (java) S 20978 20978 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512007565 8616062976 37122 33554432000 4194304 4196468 140724669700160 140542738425120 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21014] ppid=20978 vsize=8414124 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/21002/task/21014/stat : 21014 (java) S 20978 20978 20811 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512007565 8616062976 37122 33554432000 4194304 4196468 140724669700160 140542604203632 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21015] ppid=20978 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/21002/task/21015/stat : 21015 (java) S 20978 20978 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512007567 8616062976 37122 33554432000 4194304 4196468 140724669700160 140542229699152 140544422356891 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21016] ppid=20978 vsize=8414124 memory=6010431313657358696 CPUtime=0.11 cores=0-7
/proc/21002/task/21016/stat : 21016 (java) S 20978 20978 20811 0 -1 1077944384 870 0 0 0 11 0 0 0 20 0 24 0 512007568 8616062976 37122 33554432000 4194304 4196468 140724669700160 140543648987248 140544422349442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21017] ppid=20978 vsize=8414124 memory=6300365928603865452 CPUtime=0.1 cores=0-7
/proc/21002/task/21017/stat : 21017 (java) S 20978 20978 20811 0 -1 1077944384 481 0 0 0 10 0 0 0 20 0 24 0 512007568 8616062976 37122 33554432000 4194304 4196468 140724669700160 140543647934448 140544422349442 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21018] ppid=20978 vsize=8414124 memory=7517460309056448622 CPUtime=0.18 cores=0-7
/proc/21002/task/21018/stat : 21018 (java) S 20978 20978 20811 0 -1 1077944384 718 0 0 0 18 0 0 0 20 0 24 0 512007568 8616062976 37122 33554432000 4194304 4196468 140724669700160 140543646882160 140544422349442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21019] ppid=20978 vsize=8414124 memory=6945507666079274341 CPUtime=0.25 cores=0-7
/proc/21002/task/21019/stat : 21019 (java) S 20978 20978 20811 0 -1 1077944384 980 0 0 0 25 0 0 0 20 0 24 0 512007568 8616062976 37122 33554432000 4194304 4196468 140724669700160 140543645829360 140544422349442 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21020] ppid=20978 vsize=8414124 memory=7230638415855315543 CPUtime=0 cores=0-7
/proc/21002/task/21020/stat : 21020 (java) S 20978 20978 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512007568 8616062976 37122 33554432000 4194304 4196468 140724669700160 140541731793760 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21021] ppid=20978 vsize=8414124 memory=9128070611 CPUtime=0 cores=0-7
/proc/21002/task/21021/stat : 21021 (java) S 20978 20978 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512007568 8616062976 37122 33554432000 4194304 4196468 140724669700160 140543644777264 140544422349442 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21023] ppid=20978 vsize=8414124 memory=140168808925663 CPUtime=0 cores=0-7
/proc/21002/task/21023/stat : 21023 (java) S 20978 20978 20811 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512007635 8616062976 37122 33554432000 4194304 4196468 140724669700160 140543636744000 140544422362905 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21025] ppid=20978 vsize=8414124 memory=280337617818336 CPUtime=0.11 cores=0-7
/proc/21002/task/21025/stat : 21025 (java) S 20978 20978 20811 0 -1 4202560 197 0 0 0 11 0 0 0 20 0 24 0 512007635 8616062976 37122 33554432000 4194304 4196468 140724669700160 140541060693360 140544422360221 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21026] ppid=20978 vsize=8414124 memory=4051464622535314242 CPUtime=0 cores=0-7
/proc/21002/task/21026/stat : 21026 (java) S 20978 20978 20811 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512007636 8616062976 37122 33554432000 4194304 4196468 140724669700160 140541329128720 140544422360221 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21027] ppid=20978 vsize=8414124 memory=7162227957635770455 CPUtime=0 cores=0-7
/proc/21002/task/21027/stat : 21027 (java) S 20978 20978 20811 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512007638 8616062976 37122 33554432000 4194304 4196468 140724669700160 140540792266032 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
Current children cumulated CPU time: 26.06 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 149964 KiB

[startup+34.3011 s]
/proc/loadavg: 4.10 6.96 7.81 2/218 21037
/proc/meminfo: memFree=22940316/32770624 swapFree=66992452/67108860
[pid=20978] ppid=20975 vsize=113128 memory=1476 CPUtime=24.49 cores=0-7
/proc/20978/stat : 20978 (scop.sh) S 20975 20978 20811 0 -1 4202496 581 34350 0 0 0 0 2321 128 20 0 1 0 512005858 115843072 369 33554432000 4194304 5098028 140733179027264 140733179024008 140672715547260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35766272 140733179036412 140733179036760 140733179036760 140733179039689 0
/proc/20978/statm: 28282 369 311 221 0 87 0
[pid=21002] ppid=20978 vsize=8283048 memory=155868 CPUtime=67.79 cores=0-7
/proc/21002/stat : 21002 (java) S 20978 20978 20811 0 -1 1077944320 21807 1493760 0 0 170 9 6190 410 20 0 22 0 512007561 8481841152 38967 33554432000 4194304 4196468 140724669700160 140724669682704 140544422338295 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
/proc/21002/statm: 2070762 38967 3233 1 0 2032106 0
[pid=21002/tid=21003] ppid=20978 vsize=8283048 memory=1476 CPUtime=66.85 cores=0-7
/proc/21002/task/21003/stat : 21003 (java) R 20978 20978 20811 0 -1 4202560 17022 1493760 0 0 80 5 6190 410 20 0 22 0 512007562 8481841152 38967 33554432000 4194304 4196468 140724669700160 140544394175616 140544406418782 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21004] ppid=20978 vsize=8283048 memory=6872598998417432672 CPUtime=66 cores=0-7
/proc/21002/task/21004/stat : 21004 (java) S 20978 20978 20811 0 -1 1077944384 1 1493760 0 0 0 0 6190 410 20 0 22 0 512007563 8481841152 38967 33554432000 4194304 4196468 140724669700160 140544426580880 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21005] ppid=20978 vsize=8283048 memory=49748 CPUtime=66 cores=0-7
/proc/21002/task/21005/stat : 21005 (java) S 20978 20978 20811 0 -1 1077944384 1 1493760 0 0 0 0 6190 410 20 0 22 0 512007563 8481841152 38967 33554432000 4194304 4196468 140724669700160 140544226749200 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21006] ppid=20978 vsize=8283048 memory=2004 CPUtime=66 cores=0-7
/proc/21002/task/21006/stat : 21006 (java) S 20978 20978 20811 0 -1 1077944384 1 1493760 0 0 0 0 6190 410 20 0 22 0 512007563 8481841152 38967 33554432000 4194304 4196468 140724669700160 140544225696912 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21007] ppid=20978 vsize=8283048 memory=1476 CPUtime=66 cores=0-7
/proc/21002/task/21007/stat : 21007 (java) S 20978 20978 20811 0 -1 1077944384 3 1493760 0 0 0 0 6190 410 20 0 22 0 512007563 8481841152 38967 33554432000 4194304 4196468 140724669700160 140544224644112 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21008] ppid=20978 vsize=8283048 memory=119344 CPUtime=66 cores=0-7
/proc/21002/task/21008/stat : 21008 (java) S 20978 20978 20811 0 -1 1077944384 1 1493760 0 0 0 0 6190 410 20 0 22 0 512007563 8481841152 38967 33554432000 4194304 4196468 140724669700160 140544223590800 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21009] ppid=20978 vsize=8283048 memory=2357684 CPUtime=66 cores=0-7
/proc/21002/task/21009/stat : 21009 (java) S 20978 20978 20811 0 -1 1077944384 2 1493760 0 0 0 0 6190 410 20 0 22 0 512007563 8481841152 38967 33554432000 4194304 4196468 140724669700160 140544222538000 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21010] ppid=20978 vsize=8283048 memory=3620 CPUtime=66 cores=0-7
/proc/21002/task/21010/stat : 21010 (java) S 20978 20978 20811 0 -1 1077944384 2 1493760 0 0 0 0 6190 410 20 0 22 0 512007563 8481841152 38967 33554432000 4194304 4196468 140724669700160 140544221485712 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21011] ppid=20978 vsize=8283048 memory=49748 CPUtime=66 cores=0-7
/proc/21002/task/21011/stat : 21011 (java) S 20978 20978 20811 0 -1 1077944384 1 1493760 0 0 0 0 6190 410 20 0 22 0 512007563 8481841152 38967 33554432000 4194304 4196468 140724669700160 140544220432912 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21012] ppid=20978 vsize=8283048 memory=2004 CPUtime=66 cores=0-7
/proc/21002/task/21012/stat : 21012 (java) S 20978 20978 20811 0 -1 1077944384 5 1493760 0 0 0 0 6190 410 20 0 22 0 512007564 8481841152 38967 33554432000 4194304 4196468 140724669700160 140543650040432 140544422349442 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21013] ppid=20978 vsize=8283048 memory=2004 CPUtime=66 cores=0-7
/proc/21002/task/21013/stat : 21013 (java) S 20978 20978 20811 0 -1 1077944384 13 1493760 0 0 0 0 6190 410 20 0 22 0 512007565 8481841152 38967 33554432000 4194304 4196468 140724669700160 140542738425120 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21014] ppid=20978 vsize=8283048 memory=984 CPUtime=66 cores=0-7
/proc/21002/task/21014/stat : 21014 (java) S 20978 20978 20811 0 -1 1077944384 21 1493760 0 0 0 0 6190 410 20 0 22 0 512007565 8481841152 38967 33554432000 4194304 4196468 140724669700160 140542604203632 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21015] ppid=20978 vsize=8283048 memory=1324 CPUtime=66 cores=0-7
/proc/21002/task/21015/stat : 21015 (java) S 20978 20978 20811 0 -1 1077944384 1 1493760 0 0 0 0 6190 410 20 0 22 0 512007567 8481841152 38967 33554432000 4194304 4196468 140724669700160 140542229699152 140544422356891 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21016] ppid=20978 vsize=8283048 memory=119344 CPUtime=66.13 cores=0-7
/proc/21002/task/21016/stat : 21016 (java) R 20978 20978 20811 0 -1 1077944384 883 1493760 0 0 13 0 6190 410 20 0 22 0 512007568 8481841152 38967 33554432000 4194304 4196468 140724669700160 140543648987248 140544422349442 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21017] ppid=20978 vsize=8283048 memory=2357464 CPUtime=66.13 cores=0-7
/proc/21002/task/21017/stat : 21017 (java) S 20978 20978 20811 0 -1 1077944384 509 1493760 0 0 13 0 6190 410 20 0 22 0 512007568 8481841152 38967 33554432000 4194304 4196468 140724669700160 140543647934448 140544422349442 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21018] ppid=20978 vsize=8283048 memory=0 CPUtime=66.21 cores=0-7
/proc/21002/task/21018/stat : 21018 (java) S 20978 20978 20811 0 -1 1077944384 730 1493760 0 0 21 0 6190 410 20 0 22 0 512007568 8481841152 38967 33554432000 4194304 4196468 140724669700160 140543646882160 140544422349442 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21019] ppid=20978 vsize=8283048 memory=1476 CPUtime=66.28 cores=0-7
/proc/21002/task/21019/stat : 21019 (java) R 20978 20978 20811 0 -1 4202560 1045 1493760 0 0 28 0 6190 410 20 0 22 0 512007568 8481841152 38967 33554432000 4194304 4196468 140724669700160 140543645829360 140544422350230 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21020] ppid=20978 vsize=8283048 memory=119344 CPUtime=66 cores=0-7
/proc/21002/task/21020/stat : 21020 (java) S 20978 20978 20811 0 -1 1077944384 3 1493760 0 0 0 0 6190 410 20 0 22 0 512007568 8481841152 38967 33554432000 4194304 4196468 140724669700160 140541731793760 140544422348501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21021] ppid=20978 vsize=8283048 memory=2358552 CPUtime=66 cores=0-7
/proc/21002/task/21021/stat : 21021 (java) S 20978 20978 20811 0 -1 1077944384 3 1493760 0 0 0 0 6190 410 20 0 22 0 512007568 8481841152 38967 33554432000 4194304 4196468 140724669700160 140543644777264 140544422349442 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21023] ppid=20978 vsize=8283048 memory=-7824251494390914411 CPUtime=66 cores=0-7
/proc/21002/task/21023/stat : 21023 (java) S 20978 20978 20811 0 -1 1077944384 25 1493760 0 0 0 0 6190 410 20 0 22 0 512007635 8481841152 38967 33554432000 4194304 4196468 140724669700160 140543636743184 140544422349442 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
[pid=21002/tid=21027] ppid=20978 vsize=8283048 memory=2357832 CPUtime=66 cores=0-7
/proc/21002/task/21027/stat : 21027 (java) S 20978 20978 20811 0 -1 1077944384 14 1493760 0 0 0 0 6190 410 20 0 22 0 512007638 8481841152 38967 33554432000 4194304 4196468 140724669700160 140540792267824 140544422349442 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724669707231 140724669707398 140724669707398 140724669710287 0
Current children cumulated CPU time: 92.28 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 157344 KiB

Child status: 0
Real time (s): 34.3545
CPU time (s): 92.3963
CPU user time (s): 86.884
CPU system time (s): 5.51228
CPU usage (%): 268.949
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 5945340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.884
system time used= 5.51228
maximum resident set size= 5946272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1551723
page faults= 0
swaps= 0
block input operations= 0
block output operations= 140016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53075
involuntary context switches= 504


# summary of solver processes directly reported to runsolver:
#   pid: 20978
#   total CPU time (s): 92.3963
#   total CPU user time (s): 86.884
#   total CPU system time (s): 5.51228

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.2808 second user time and 0.416291 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-24 22:36:30
IDJOB=4405470
IDBENCH=138445
IDSOLVER=2868
FILE ID=node121/4405470-1569357433
RUNJOBID= node121-1569357356-20838
PBS_JOBID= 21705107
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-01.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405470-1569357433/watcher-4405470-1569357433 -o /var/tmp/evaluation-result-4405470-1569357433/solver-4405470-1569357433 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569357356-20838 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405470-1569357433.xml

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

MD5SUM BENCH= a0db4e7a601eb58dee5216b17e791c99
RANDOM SEED=1151622698

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
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:        25479064 kB
MemAvailable:   31844372 kB
Buffers:          151484 kB
Cached:          6304500 kB
SwapCached:         4604 kB
Active:          3202984 kB
Inactive:        3260156 kB
Active(anon):       4056 kB
Inactive(anon):    53376 kB
Active(file):    3198928 kB
Inactive(file):  3206780 kB
Unevictable:      109592 kB
Mlocked:          109592 kB
SwapTotal:      67108860 kB
SwapFree:       66992452 kB
Dirty:             20848 kB
Writeback:             0 kB
AnonPages:        137372 kB
Mapped:            53696 kB
Shmem:             41140 kB
Slab:             417712 kB
SReclaimable:     388060 kB
SUnreclaim:        29652 kB
KernelStack:        3712 kB
PageTables:         5828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node121 at 2019-09-24 22:37:04