Trace number 4392310

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 order+ManyGlucose (2019-06-15)SAT 92.8881 36.1767

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-10365-serial-file.bin HOME/instance-4392310-1568441958.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 08:18:38 CEST 2019
0.66/0.57	c PID: 10368
0.66/0.57	c IP: 172.20.3.146
0.66/0.57	c HOST: node146.alineos.net
0.66/0.58	c (0,0) Parsing Begin
4.78/1.60	c (1,1) Parsing End
4.78/1.61	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 643
4.78/1.61	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.78/1.62	c (1,1) Constraint Name Generate Begin
4.78/1.65	c (1,1) Ctr:HOME/instance-4392310-1568441958.xml,Add:Le:Ne:Num:Or:Var
4.78/1.65	c (1,1) Constraint Name Generate End
4.78/1.65	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.78/1.65	c (1,1) CSP to CSPinCNF Begin
5.44/1.87	c (1,1) translated 280 (10%) constraints
5.72/1.92	c (1,1) translated 560 (20%) constraints
5.72/1.96	c (1,1) translated 840 (30%) constraints
5.72/1.98	c (1,1) translated 1120 (40%) constraints
6.11/2.01	c (1,1) translated 1400 (50%) constraints
6.11/2.03	c (1,1) translated 1680 (60%) constraints
6.11/2.06	c (1,1) translated 1960 (70%) constraints
6.11/2.08	c (1,1) translated 2240 (80%) constraints
6.11/2.10	c (1,1) translated 2520 (90%) constraints
6.50/2.12	c (1,1) translated 2800 (100%) constraints
6.50/2.12	c (1,1) ===========================================
6.50/2.12	c (1,1) Order
6.50/2.12	c (1,1) ===========================================
6.50/2.14	c (1,1) translated 280 (10%) constraints
6.50/2.16	c (1,1) translated 560 (20%) constraints
6.50/2.18	c (1,1) translated 840 (30%) constraints
6.50/2.19	c (1,1) translated 1120 (40%) constraints
6.88/2.21	c (1,1) translated 1400 (50%) constraints
6.88/2.22	c (1,1) translated 1680 (60%) constraints
6.88/2.23	c (1,1) translated 1960 (70%) constraints
6.88/2.25	c (1,1) translated 2240 (80%) constraints
6.88/2.26	c (1,1) translated 2520 (90%) constraints
6.88/2.27	c (1,1) translated 2800 (100%) constraints
6.88/2.28	c (1,1) CSP to CSPinCNF End
6.88/2.28	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 643
6.88/2.28	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.88/2.28	c (1,1) CSPinCNF Propagation Begin
7.30/2.34	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
7.30/2.34	c (1,1) CSPinCNF Propagation End
7.30/2.34	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 643
7.30/2.34	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
7.30/2.35	c (1,1) Simplify CSPinCNF Begin
8.09/2.54	c (1,1) Simplify CSPinCNF End
8.09/2.54	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 643
8.09/2.54	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.09/2.54	c (1,1) Calculate Precise Domain Begin
8.09/2.55	c (1,1) 0 values are removed by re-calculation
8.09/2.55	c (1,1) Calculate Precise Domain End
8.09/2.55	c (2,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 643
8.09/2.55	c (2,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.09/2.55	c (2,1) CSPinCNF to SatSolver Begin
11.62/4.65	c (4,4) 840 (10 %) CSP clauses are encoded (0 SAT variables, 423492 SAT clauses)
13.27/6.26	c (5,5) 1680 (20 %) CSP clauses are encoded (0 SAT variables, 717714 SAT clauses)
14.93/7.86	c (7,7) 2520 (30 %) CSP clauses are encoded (0 SAT variables, 1014250 SAT clauses)
16.54/9.48	c (8,8) 3360 (40 %) CSP clauses are encoded (0 SAT variables, 1311035 SAT clauses)
18.49/11.15	c (10,10) 4200 (50 %) CSP clauses are encoded (0 SAT variables, 1618554 SAT clauses)
20.00/12.61	c (12,12) 5040 (60 %) CSP clauses are encoded (0 SAT variables, 1919667 SAT clauses)
21.44/14.06	c (13,13) 5880 (70 %) CSP clauses are encoded (0 SAT variables, 2218718 SAT clauses)
22.95/15.77	c (15,14) 6720 (80 %) CSP clauses are encoded (0 SAT variables, 2522742 SAT clauses)
24.46/17.23	c (16,16) 7560 (90 %) CSP clauses are encoded (0 SAT variables, 2822832 SAT clauses)
26.22/18.77	c (18,17) 8400 (100 %) CSP clauses are encoded (0 SAT variables, 3134154 SAT clauses)
26.22/18.77	c (18,17) CSPinCNF to SatSolver End
26.22/18.77	c (18,17) Heap : 467 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
26.22/18.77	c (18,17) 123434 bool, 3134704 clause
26.22/18.77	c (18,17) Export Begin
26.33/18.87	c (18,18) Export to HOME/scop-10365-serial-file.bin
26.33/18.87	c (18,18) Export End
26.33/18.87	c (18,18) Export File Size: 0.03 MB
26.33/18.87	c (18,18) 1,1,1,1,1,2,18,STOP-AFTER(DIMACS)
26.33/18.87	c END-Prog: Sat Sep 14 08:18:56 CEST 2019
0.00/18.91	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10365-serial-file.bin
27.03/19.37	c (0,0) Read Serial File Begin
27.03/19.37	c (0,0) HOME/scop-10365-serial-file.bin
27.29/19.59	c (0,0) Read Serial File End
27.51/19.60	
27.51/19.60	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
27.51/19.60	(Solving Process)
27.51/19.60	
27.51/19.62	c BEGIN-Prog: Sat Sep 14 08:18:57 CEST 2019
27.51/19.62	c PID: 10388
27.51/19.62	c IP: 172.20.3.146
27.51/19.62	c HOST: node146.alineos.net
27.51/19.63	c (0,0) SatSolver.solve Begin
27.51/19.63	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392310-1568441958.xml-scop-10368.cnf
27.51/19.66	c (0,0) c
27.51/19.66	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)
27.51/19.66	c (0,0) c
27.51/19.66	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
27.51/19.66	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
27.51/19.66	c (0,0) c ========================================[ Problem Statistics ]===========================================
27.51/19.66	c (0,0) c |                                                                                                       |
28.81/20.77	c (1,0) c |  Number of variables:        123434                                                                   |
28.81/20.77	c (1,0) c |  Number of clauses:         3134704                                                                   |
28.81/20.77	c (1,0) c |  Parse time:                   1.02 s                                                                 |
28.81/20.77	c (1,0) c |                                                                                                       |
35.41/27.35	c (8,0) c |  Simplification time:          6.49 s                                                                 |
35.41/27.35	c (8,0) c |                                                                                                       |
35.41/27.35	c (8,0) c |  Generating clones                                                                                    |
36.32/28.21	c (8,0) c |  all clones generated. Memory =  2144.30Mb.                                                           |
36.32/28.21	c (8,0) c ========================================================================================================|
36.32/28.21	c (8,0) c
36.32/28.21	c (8,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
36.32/28.21	c (8,0) c
36.32/28.21	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.32/28.21	c (8,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
36.32/28.21	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.32/28.21	c (8,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
36.32/28.21	c (8,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
36.32/28.21	c (8,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
36.32/28.21	c (8,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
36.32/28.21	c (8,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
36.32/28.21	c (8,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
36.32/28.21	c (8,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
36.32/28.21	c (8,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
36.32/28.21	c (8,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
36.32/28.21	c (8,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
36.32/28.21	c (8,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
36.32/28.21	c (8,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
36.32/28.21	c (8,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
36.32/28.21	c (8,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
36.32/28.21	c (8,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
36.32/28.21	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.02/35.89	c (16,0) c
92.02/35.89	c (16,0) c real time : 16.2341 s
92.02/35.89	c (16,0) c cpu time  : 61.2635 s
92.02/35.89	c (16,0) c
92.02/35.89	c (16,0) c
92.02/35.89	c (16,0) c
92.02/35.89	c (16,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
92.02/35.89	c (16,0) c
92.02/35.89	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.02/35.89	c (16,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
92.02/35.89	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.02/35.89	c (16,0) c | Conflicts     |           22842 |       3610 |       3345 |       2661 |       2363 |       1997 |       3176 |       2753 |       2937 |
92.02/35.89	c (16,0) c | Decisions     |           65297 |       9370 |      10343 |       8212 |       6625 |       6687 |       7569 |       9629 |       6862 |
92.02/35.89	c (16,0) c | Propagations  |        72128664 |    8933637 |    8842882 |    8708096 |    9644658 |    8696073 |    9250792 |    8816012 |    9236514 |
92.02/35.89	c (16,0) c | ReduceDBs     |               7 |          1 |          1 |          1 |          1 |          0 |          1 |          1 |          1 |
92.02/35.89	c (16,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
92.02/35.89	c (16,0) c | Restarts      |             155 |         16 |         27 |         22 |         18 |         13 |         17 |         25 |         17 |
92.02/35.89	c (16,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
92.02/35.89	c (16,0) c | PropBinClauses|        82181241 |   10152166 |   10169979 |    9869740 |   10897102 |   10026091 |   10420089 |   10091916 |   10554158 |
92.02/35.89	c (16,0) c | PropPreBlocker|      1446624069 |  172408997 |  170647532 |  177358243 |  187864879 |  191408839 |  181840269 |  174948852 |  190146458 |
92.02/35.89	c (16,0) c | PropNotBlocker|       392930645 |   47682612 |   49922083 |   49890277 |   48827874 |   47137982 |   49773902 |   49375340 |   50320575 |
92.02/35.89	c (16,0) c | LitFullScans  |      2000142896 |  240124921 |  240045103 |  246348251 |  258130855 |  258056091 |  252113291 |  243829138 |  261495246 |
92.02/35.89	c (16,0) c | LitScanFracts |          167860 |      20944 |      20936 |      13651 |      15086 |      26111 |      23649 |      21390 |      26093 |
92.02/35.89	c (16,0) c | DecisionLevel0|             155 |         16 |         27 |         22 |         18 |         13 |         17 |         25 |         17 |
92.02/35.89	c (16,0) c | Periods       |             332 |         40 |         40 |         41 |         43 |         43 |         42 |         40 |         43 |
92.02/35.89	c (16,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
92.02/35.89	c (16,0) c | Avg_Trail     |                 |      31197 |      31348 |      36667 |      39877 |      55295 |      39492 |      30056 |      40357 |
92.02/35.89	c (16,0) c | Avg_DL        |                 |         91 |         68 |         68 |         63 |         79 |         63 |         58 |         59 |
92.02/35.89	c (16,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
92.02/35.89	c (16,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
92.02/35.89	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.02/35.89	c (16,0) c | Exported      |            1176 |        149 |        211 |        143 |         93 |        103 |        178 |        130 |        169 |
92.02/35.89	c (16,0) c | Imported      |            4429 |        556 |        517 |        533 |        666 |        558 |        536 |        503 |        560 |
92.02/35.89	c (16,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
92.02/35.89	c (16,0) c | Purge         |            4429 |        556 |        517 |        533 |        666 |        558 |        536 |        503 |        560 |
92.02/35.89	c (16,0) c | Promoted      |              46 |          5 |          5 |          1 |          5 |         11 |          6 |          9 |          4 |
92.02/35.89	c (16,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
92.02/35.89	c (16,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
92.02/35.89	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.02/35.89	c (16,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
92.02/35.89	c (16,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
92.02/35.89	c (16,0) c | Glues         |                 |        149 |        211 |        143 |         93 |        103 |        178 |        130 |        169 |
92.02/35.89	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.02/35.89	c (16,0) c | Orig_Seen     |             1 % |      39271 |      35933 |      32880 |      32522 |      30471 |      36317 |      35949 |      36505 |
92.02/35.89	c (16,0) c | Diff Orig seen|                 |       3322 | -       16 | -     3069 | -     3427 | -     5478 |        368 |      X     |        556 |
92.02/35.89	c (16,0) c | Hamming       |            32 % |      34953 |      39374 |      38472 |      44286 |      41097 |      39191 |      X     |      39357 |
92.02/35.89	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.02/35.89	c (16,0) c | RunningTime   |                 |    7.7 100%|    7.4 100%|    7.2 100%|    7.2 100%|    7.1 100%|    7.2 100%|    7.1 100%|    7.1 100%|
92.02/35.89	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%|
92.02/35.89	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%|
92.02/35.89	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%|
92.02/35.89	c (16,0) c | SolvingTime   |                 |    7.7     |    7.4     |    7.2     |    7.2     |    7.1     |    7.2     |    7.1     |    7.1     |
92.02/35.89	c (16,0) c | PropagationTim|                 |    7.4  96%|    7.1  97%|    6.9  97%|    6.9  96%|    6.9  97%|    6.9  96%|    6.8  96%|    6.9  96%|
92.02/35.89	c (16,0) c | AnalysisTime  |                 |    0.1   2%|    0.1   1%|    0.1   1%|    0.1   2%|    0.1   1%|    0.1   2%|    0.1   2%|    0.1   2%|
92.02/35.89	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%|
92.02/35.89	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%|
92.02/35.89	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%|
92.02/35.89	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%|
92.02/35.89	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.02/35.89	c (16,0) c
92.02/35.89	c (16,0) c
92.02/35.89	c (16,0) c Threads : 8
92.02/35.89	c (16,0) c Winner : 6
92.02/35.89	c (16,0) c Conflicts_0 : 3610
92.02/35.89	c (16,0) c Conflicts_1 : 3345
92.02/35.89	c (16,0) c Conflicts_2 : 2661
92.02/35.89	c (16,0) c Conflicts_3 : 2363
92.02/35.89	c (16,0) c Conflicts_4 : 1997
92.02/35.89	c (16,0) c Conflicts_5 : 3176
92.02/35.89	c (16,0) c Conflicts_6 : 2753
92.02/35.89	c (16,0) c Conflicts_7 : 2937
92.02/35.89	c (16,0) c Conflicts_total : 22842
92.02/35.89	c (16,0) c Conflicts_winner : 2753
92.02/35.89	c (16,0) c Decisions_0 : 9370
92.02/35.89	c (16,0) c Decisions_1 : 10343
92.02/35.89	c (16,0) c Decisions_2 : 8212
92.02/35.89	c (16,0) c Decisions_3 : 6625
92.02/35.89	c (16,0) c Decisions_4 : 6687
92.02/35.89	c (16,0) c Decisions_5 : 7569
92.02/35.89	c (16,0) c Decisions_6 : 9629
92.02/35.89	c (16,0) c Decisions_7 : 6862
92.02/35.89	c (16,0) c Decisions_total : 65297
92.02/35.89	c (16,0) c Decisions_winner : 9629
92.02/35.89	c (16,0) c Propagations_0 : 8933637
92.02/35.89	c (16,0) c Propagations_1 : 8842882
92.02/35.89	c (16,0) c Propagations_2 : 8708096
92.02/35.89	c (16,0) c Propagations_3 : 9644658
92.02/35.89	c (16,0) c Propagations_4 : 8696073
92.02/35.89	c (16,0) c Propagations_5 : 9250792
92.02/35.89	c (16,0) c Propagations_6 : 8816012
92.02/35.89	c (16,0) c Propagations_7 : 9236514
92.02/35.89	c (16,0) c Propagations_total : 72128664
92.02/35.89	c (16,0) c Propagations_winner : 8816012
92.02/35.89	c (16,0) c ReduceDBs_0 : 1
92.02/35.89	c (16,0) c ReduceDBs_1 : 1
92.02/35.89	c (16,0) c ReduceDBs_2 : 1
92.02/35.89	c (16,0) c ReduceDBs_3 : 1
92.02/35.89	c (16,0) c ReduceDBs_4 : 0
92.02/35.89	c (16,0) c ReduceDBs_5 : 1
92.02/35.89	c (16,0) c ReduceDBs_6 : 1
92.02/35.89	c (16,0) c ReduceDBs_7 : 1
92.02/35.89	c (16,0) c ReduceDBs_total : 7
92.02/35.89	c (16,0) c ReduceDBs_winner : 1
92.02/35.89	c (16,0) c SimpDBs_0 : 1
92.02/35.89	c (16,0) c SimpDBs_1 : 1
92.02/35.89	c (16,0) c SimpDBs_2 : 1
92.02/35.89	c (16,0) c SimpDBs_3 : 1
92.02/35.89	c (16,0) c SimpDBs_4 : 1
92.02/35.89	c (16,0) c SimpDBs_5 : 1
92.02/35.89	c (16,0) c SimpDBs_6 : 1
92.02/35.89	c (16,0) c SimpDBs_7 : 1
92.02/35.89	c (16,0) c SimpDBs_total : 8
92.02/35.89	c (16,0) c SimpDBs_winner : 1
92.02/35.89	c (16,0) c Restarts_0 : 16
92.02/35.89	c (16,0) c Restarts_1 : 27
92.02/35.89	c (16,0) c Restarts_2 : 22
92.02/35.89	c (16,0) c Restarts_3 : 18
92.02/35.89	c (16,0) c Restarts_4 : 13
92.02/35.89	c (16,0) c Restarts_5 : 17
92.02/35.89	c (16,0) c Restarts_6 : 25
92.02/35.89	c (16,0) c Restarts_7 : 17
92.02/35.89	c (16,0) c Restarts_total : 155
92.02/35.89	c (16,0) c Restarts_winner : 25
92.02/35.89	c (16,0) c ForcedImports_0 : 0
92.02/35.89	c (16,0) c ForcedImports_1 : 0
92.02/35.89	c (16,0) c ForcedImports_2 : 0
92.02/35.89	c (16,0) c ForcedImports_3 : 0
92.02/35.89	c (16,0) c ForcedImports_4 : 0
92.02/35.89	c (16,0) c ForcedImports_5 : 0
92.02/35.89	c (16,0) c ForcedImports_6 : 0
92.02/35.89	c (16,0) c ForcedImports_7 : 0
92.02/35.89	c (16,0) c ForcedImports_total : 0
92.02/35.89	c (16,0) c ForcedImports_winner : 0
92.02/35.89	c (16,0) c PropsBinClauses_0 : 10152166
92.02/35.89	c (16,0) c PropsBinClauses_1 : 10169979
92.02/35.89	c (16,0) c PropsBinClauses_2 : 9869740
92.02/35.89	c (16,0) c PropsBinClauses_3 : 10897102
92.02/35.89	c (16,0) c PropsBinClauses_4 : 10026091
92.02/35.89	c (16,0) c PropsBinClauses_5 : 10420089
92.02/35.89	c (16,0) c PropsBinClauses_6 : 10091916
92.02/35.89	c (16,0) c PropsBinClauses_7 : 10554158
92.02/35.89	c (16,0) c PropsBinClauses_total : 82181241
92.02/35.89	c (16,0) c PropsBinClauses_winner : 10091916
92.02/35.89	c (16,0) c PropsPreBlocker_0 : 172408997
92.02/35.89	c (16,0) c PropsPreBlocker_1 : 170647532
92.02/35.89	c (16,0) c PropsPreBlocker_2 : 177358243
92.02/35.89	c (16,0) c PropsPreBlocker_3 : 187864879
92.02/35.89	c (16,0) c PropsPreBlocker_4 : 191408839
92.02/35.89	c (16,0) c PropsPreBlocker_5 : 181840269
92.02/35.89	c (16,0) c PropsPreBlocker_6 : 174948852
92.02/35.89	c (16,0) c PropsPreBlocker_7 : 190146458
92.02/35.89	c (16,0) c PropsPreBlocker_total : 1446624069
92.02/35.89	c (16,0) c PropsPreBlocker_winner : 174948852
92.02/35.89	c (16,0) c PropsNotBlocker_0 : 47682612
92.02/35.89	c (16,0) c PropsNotBlocker_1 : 49922083
92.02/35.89	c (16,0) c PropsNotBlocker_2 : 49890277
92.02/35.89	c (16,0) c PropsNotBlocker_3 : 48827874
92.02/35.89	c (16,0) c PropsNotBlocker_4 : 47137982
92.02/35.89	c (16,0) c PropsNotBlocker_5 : 49773902
92.02/35.89	c (16,0) c PropsNotBlocker_6 : 49375340
92.02/35.89	c (16,0) c PropsNotBlocker_7 : 50320575
92.02/35.89	c (16,0) c PropsNotBlocker_total : 392930645
92.02/35.89	c (16,0) c PropsNotBlocker_winner : 49375340
92.02/35.89	c (16,0) c PropsLitFullScans_0 : 240124921
92.02/35.89	c (16,0) c PropsLitFullScans_1 : 240045103
92.02/35.89	c (16,0) c PropsLitFullScans_2 : 246348251
92.02/35.89	c (16,0) c PropsLitFullScans_3 : 258130855
92.02/35.89	c (16,0) c PropsLitFullScans_4 : 258056091
92.02/35.89	c (16,0) c PropsLitFullScans_5 : 252113291
92.02/35.89	c (16,0) c PropsLitFullScans_6 : 243829138
92.02/35.89	c (16,0) c PropsLitFullScans_7 : 261495246
92.02/35.89	c (16,0) c PropsLitFullScans_total : 2000142896
92.02/35.89	c (16,0) c PropsLitFullScans_winner : 243829138
92.02/35.89	c (16,0) c LitScanFractions_0 : 20944
92.02/35.89	c (16,0) c LitScanFractions_1 : 20936
92.02/35.89	c (16,0) c LitScanFractions_2 : 13651
92.02/35.89	c (16,0) c LitScanFractions_3 : 15086
92.02/35.89	c (16,0) c LitScanFractions_4 : 26111
92.02/35.89	c (16,0) c LitScanFractions_5 : 23649
92.02/35.89	c (16,0) c LitScanFractions_6 : 21390
92.02/35.89	c (16,0) c LitScanFractions_7 : 26093
92.02/35.89	c (16,0) c LitScanFractions_total : 167860
92.02/35.89	c (16,0) c LitScanFractions_winner : 21390
92.02/35.89	c (16,0) c DecisionLevel0_0 : 16
92.02/35.89	c (16,0) c DecisionLevel0_1 : 27
92.02/35.89	c (16,0) c DecisionLevel0_2 : 22
92.02/35.89	c (16,0) c DecisionLevel0_3 : 18
92.02/35.89	c (16,0) c DecisionLevel0_4 : 13
92.02/35.89	c (16,0) c DecisionLevel0_5 : 17
92.02/35.89	c (16,0) c DecisionLevel0_6 : 25
92.02/35.89	c (16,0) c DecisionLevel0_7 : 17
92.02/35.89	c (16,0) c DecisionLevel0_total : 155
92.02/35.89	c (16,0) c DecisionLevel0_winner : 25
92.02/35.89	c (16,0) c Periods_0 : 40
92.02/35.89	c (16,0) c Periods_1 : 40
92.02/35.89	c (16,0) c Periods_2 : 41
92.02/35.89	c (16,0) c Periods_3 : 43
92.02/35.89	c (16,0) c Periods_4 : 43
92.02/35.89	c (16,0) c Periods_5 : 42
92.02/35.89	c (16,0) c Periods_6 : 40
92.02/35.89	c (16,0) c Periods_7 : 43
92.02/35.89	c (16,0) c Periods_total : 332
92.02/35.89	c (16,0) c Periods_winner : 40
92.02/35.89	c (16,0) c Margin_0 : 20
92.02/35.89	c (16,0) c Margin_1 : 20
92.02/35.89	c (16,0) c Margin_2 : 20
92.02/35.89	c (16,0) c Margin_3 : 20
92.02/35.89	c (16,0) c Margin_4 : 20
92.02/35.89	c (16,0) c Margin_5 : 20
92.02/35.89	c (16,0) c Margin_6 : 20
92.02/35.89	c (16,0) c Margin_7 : 20
92.02/35.89	c (16,0) c Margin_total : 160
92.02/35.89	c (16,0) c Margin_winner : 20
92.02/35.89	c (16,0) c Exported_0 : 149
92.02/35.89	c (16,0) c Exported_1 : 211
92.02/35.90	c (16,0) c Exported_2 : 143
92.02/35.90	c (16,0) c Exported_3 : 93
92.02/35.90	c (16,0) c Exported_4 : 103
92.02/35.90	c (16,0) c Exported_5 : 178
92.02/35.90	c (16,0) c Exported_6 : 130
92.02/35.90	c (16,0) c Exported_7 : 169
92.02/35.90	c (16,0) c Exported_total : 1176
92.02/35.90	c (16,0) c Exported_winner : 130
92.02/35.90	c (16,0) c Imported_0 : 556
92.02/35.90	c (16,0) c Imported_1 : 517
92.02/35.90	c (16,0) c Imported_2 : 533
92.02/35.90	c (16,0) c Imported_3 : 666
92.02/35.90	c (16,0) c Imported_4 : 558
92.02/35.90	c (16,0) c Imported_5 : 536
92.02/35.90	c (16,0) c Imported_6 : 503
92.02/35.90	c (16,0) c Imported_7 : 560
92.02/35.90	c (16,0) c Imported_total : 4429
92.02/35.90	c (16,0) c Imported_winner : 503
92.02/35.90	c (16,0) c Good_0 : 0
92.02/35.90	c (16,0) c Good_1 : 0
92.02/35.90	c (16,0) c Good_2 : 0
92.02/35.90	c (16,0) c Good_3 : 0
92.02/35.90	c (16,0) c Good_4 : 0
92.02/35.90	c (16,0) c Good_5 : 0
92.02/35.90	c (16,0) c Good_6 : 0
92.02/35.90	c (16,0) c Good_7 : 0
92.02/35.90	c (16,0) c Good_total : 0
92.02/35.90	c (16,0) c Good_winner : 0
92.02/35.90	c (16,0) c Purge_0 : 556
92.02/35.90	c (16,0) c Purge_1 : 517
92.02/35.90	c (16,0) c Purge_2 : 533
92.02/35.90	c (16,0) c Purge_3 : 666
92.02/35.90	c (16,0) c Purge_4 : 558
92.02/35.90	c (16,0) c Purge_5 : 536
92.02/35.90	c (16,0) c Purge_6 : 503
92.02/35.90	c (16,0) c Purge_7 : 560
92.02/35.90	c (16,0) c Purge_total : 4429
92.02/35.90	c (16,0) c Purge_winner : 503
92.02/35.90	c (16,0) c Promoted_0 : 5
92.02/35.90	c (16,0) c Promoted_1 : 5
92.02/35.90	c (16,0) c Promoted_2 : 1
92.02/35.90	c (16,0) c Promoted_3 : 5
92.02/35.90	c (16,0) c Promoted_4 : 11
92.02/35.90	c (16,0) c Promoted_5 : 6
92.02/35.90	c (16,0) c Promoted_6 : 9
92.02/35.90	c (16,0) c Promoted_7 : 4
92.02/35.90	c (16,0) c Promoted_total : 46
92.02/35.90	c (16,0) c Promoted_winner : 9
92.02/35.90	c (16,0) c Remove_Imp_0 : 0
92.02/35.90	c (16,0) c Remove_Imp_1 : 0
92.02/35.90	c (16,0) c Remove_Imp_2 : 0
92.02/35.90	c (16,0) c Remove_Imp_3 : 0
92.02/35.90	c (16,0) c Remove_Imp_4 : 0
92.02/35.90	c (16,0) c Remove_Imp_5 : 0
92.02/35.90	c (16,0) c Remove_Imp_6 : 0
92.02/35.90	c (16,0) c Remove_Imp_7 : 0
92.02/35.90	c (16,0) c Remove_Imp_total : 0
92.02/35.90	c (16,0) c Remove_Imp_winner : 0
92.02/35.90	c (16,0) c Blocked_Reuse_0 : 0
92.02/35.90	c (16,0) c Blocked_Reuse_1 : 0
92.15/35.90	c (16,0) c Blocked_Reuse_2 : 0
92.15/35.90	c (16,0) c Blocked_Reuse_3 : 0
92.15/35.90	c (16,0) c Blocked_Reuse_4 : 0
92.15/35.90	c (16,0) c Blocked_Reuse_5 : 0
92.15/35.90	c (16,0) c Blocked_Reuse_6 : 0
92.15/35.90	c (16,0) c Blocked_Reuse_7 : 0
92.15/35.90	c (16,0) c Blocked_Reuse_total : 0
92.15/35.90	c (16,0) c Blocked_Reuse_winner : 0
92.15/35.90	c (16,0) c Unaries_0 : 0
92.15/35.90	c (16,0) c Unaries_1 : 0
92.15/35.90	c (16,0) c Unaries_2 : 0
92.15/35.90	c (16,0) c Unaries_3 : 0
92.15/35.90	c (16,0) c Unaries_4 : 0
92.15/35.90	c (16,0) c Unaries_5 : 0
92.15/35.90	c (16,0) c Unaries_6 : 0
92.15/35.90	c (16,0) c Unaries_7 : 0
92.15/35.90	c (16,0) c Unaries_total : 0
92.15/35.90	c (16,0) c Unaries_winner : 0
92.15/35.90	c (16,0) c Binaries_0 : 0
92.15/35.90	c (16,0) c Binaries_1 : 0
92.15/35.90	c (16,0) c Binaries_2 : 0
92.15/35.90	c (16,0) c Binaries_3 : 0
92.15/35.90	c (16,0) c Binaries_4 : 0
92.15/35.90	c (16,0) c Binaries_5 : 0
92.15/35.90	c (16,0) c Binaries_6 : 0
92.15/35.90	c (16,0) c Binaries_7 : 0
92.15/35.90	c (16,0) c Binaries_total : 0
92.15/35.90	c (16,0) c Binaries_winner : 0
92.15/35.90	c (16,0) c Glues_0 : 149
92.15/35.90	c (16,0) c Glues_1 : 211
92.15/35.90	c (16,0) c Glues_2 : 143
92.15/35.90	c (16,0) c Glues_3 : 93
92.15/35.90	c (16,0) c Glues_4 : 103
92.15/35.90	c (16,0) c Glues_5 : 178
92.15/35.90	c (16,0) c Glues_6 : 130
92.15/35.90	c (16,0) c Glues_7 : 169
92.15/35.90	c (16,0) c Glues_total : 1176
92.15/35.90	c (16,0) c Glues_winner : 130
92.15/35.90	c (16,0) c RunningTime_0 : 7.662907
92.15/35.90	c (16,0) c RunningTime_1 : 7.365303
92.15/35.90	c (16,0) c RunningTime_2 : 7.152900
92.15/35.90	c (16,0) c RunningTime_3 : 7.160632
92.15/35.90	c (16,0) c RunningTime_4 : 7.129313
92.15/35.90	c (16,0) c RunningTime_5 : 7.184466
92.15/35.90	c (16,0) c RunningTime_6 : 7.107999
92.15/35.90	c (16,0) c RunningTime_7 : 7.143442
92.15/35.90	c (16,0) c RunningTime_total : 57.906961
92.15/35.90	c (16,0) c RunningTime_winner : 7.107999
92.15/35.90	c (16,0) c WaitingTime_0 : 0.000033
92.15/35.90	c (16,0) c WaitingTime_1 : 0.000050
92.15/35.90	c (16,0) c WaitingTime_2 : 0.000054
92.15/35.90	c (16,0) c WaitingTime_3 : 0.000054
92.15/35.90	c (16,0) c WaitingTime_4 : 0.000067
92.15/35.90	c (16,0) c WaitingTime_5 : 0.000053
92.15/35.90	c (16,0) c WaitingTime_6 : 0.000065
92.15/35.90	c (16,0) c WaitingTime_7 : 0.000075
92.15/35.90	c (16,0) c WaitingTime_total : 0.000450
92.15/35.90	c (16,0) c WaitingTime_winner : 0.000065
92.15/35.90	c (16,0) c ExchangingTime_0 : 0.001647
92.15/35.90	c (16,0) c ExchangingTime_1 : 0.001922
92.15/35.90	c (16,0) c ExchangingTime_2 : 0.001570
92.15/35.90	c (16,0) c ExchangingTime_3 : 0.001419
92.15/35.90	c (16,0) c ExchangingTime_4 : 0.001406
92.15/35.90	c (16,0) c ExchangingTime_5 : 0.001679
92.15/35.90	c (16,0) c ExchangingTime_6 : 0.001781
92.15/35.90	c (16,0) c ExchangingTime_7 : 0.001702
92.15/35.90	c (16,0) c ExchangingTime_total : 0.013125
92.15/35.90	c (16,0) c ExchangingTime_winner : 0.001781
92.15/35.90	c (16,0) c PeriodProcTime_0 : 0.000683
92.15/35.90	c (16,0) c PeriodProcTime_1 : 0.000757
92.15/35.90	c (16,0) c PeriodProcTime_2 : 0.000584
92.15/35.90	c (16,0) c PeriodProcTime_3 : 0.000640
92.15/35.90	c (16,0) c PeriodProcTime_4 : 0.000635
92.15/35.90	c (16,0) c PeriodProcTime_5 : 0.000674
92.15/35.90	c (16,0) c PeriodProcTime_6 : 0.000663
92.15/35.90	c (16,0) c PeriodProcTime_7 : 0.000678
92.15/35.90	c (16,0) c PeriodProcTime_total : 0.005313
92.15/35.90	c (16,0) c PeriodProcTime_winner : 0.000663
92.15/35.90	c (16,0) c SolvingTime_0 : 7.665270
92.15/35.90	c (16,0) c SolvingTime_1 : 7.368032
92.15/35.90	c (16,0) c SolvingTime_2 : 7.155107
92.15/35.90	c (16,0) c SolvingTime_3 : 7.162745
92.15/35.90	c (16,0) c SolvingTime_4 : 7.131421
92.15/35.90	c (16,0) c SolvingTime_5 : 7.186872
92.15/35.90	c (16,0) c SolvingTime_6 : 7.110508
92.15/35.90	c (16,0) c SolvingTime_7 : 7.145897
92.15/35.90	c (16,0) c SolvingTime_total : 57.925850
92.15/35.90	c (16,0) c SolvingTime_winner : 7.110508
92.15/35.90	c (16,0) c PropagationTime_0 : 7.391418
92.15/35.90	c (16,0) c PropagationTime_1 : 7.124030
92.15/35.90	c (16,0) c PropagationTime_2 : 6.929271
92.15/35.90	c (16,0) c PropagationTime_3 : 6.908106
92.15/35.90	c (16,0) c PropagationTime_4 : 6.898126
92.15/35.90	c (16,0) c PropagationTime_5 : 6.934469
92.15/35.90	c (16,0) c PropagationTime_6 : 6.836545
92.15/35.90	c (16,0) c PropagationTime_7 : 6.889928
92.15/35.90	c (16,0) c PropagationTime_total : 55.911894
92.15/35.90	c (16,0) c PropagationTime_winner : 6.836545
92.15/35.90	c (16,0) c AnalysisTime_0 : 0.135721
92.15/35.90	c (16,0) c AnalysisTime_1 : 0.105969
92.15/35.90	c (16,0) c AnalysisTime_2 : 0.099003
92.15/35.90	c (16,0) c AnalysisTime_3 : 0.130968
92.15/35.90	c (16,0) c AnalysisTime_4 : 0.105062
92.15/35.90	c (16,0) c AnalysisTime_5 : 0.122048
92.15/35.90	c (16,0) c AnalysisTime_6 : 0.118963
92.15/35.90	c (16,0) c AnalysisTime_7 : 0.127886
92.15/35.90	c (16,0) c AnalysisTime_total : 0.945619
92.15/35.90	c (16,0) c AnalysisTime_winner : 0.118963
92.15/35.90	c (16,0) c ReductionTime_0 : 0.000439
92.15/35.90	c (16,0) c ReductionTime_1 : 0.000498
92.15/35.90	c (16,0) c ReductionTime_2 : 0.000433
92.15/35.90	c (16,0) c ReductionTime_3 : 0.001010
92.15/35.90	c (16,0) c ReductionTime_4 : 0.000000
92.15/35.90	c (16,0) c ReductionTime_5 : 0.000479
92.15/35.90	c (16,0) c ReductionTime_6 : 0.001009
92.15/35.90	c (16,0) c ReductionTime_7 : 0.000930
92.15/35.90	c (16,0) c ReductionTime_total : 0.004798
92.15/35.90	c (16,0) c ReductionTime_winner : 0.001009
92.15/35.90	c (16,0) c SimplifyTime_0 : 0.000002
92.15/35.90	c (16,0) c SimplifyTime_1 : 0.000001
92.15/35.90	c (16,0) c SimplifyTime_2 : 0.000004
92.15/35.90	c (16,0) c SimplifyTime_3 : 0.000002
92.15/35.90	c (16,0) c SimplifyTime_4 : 0.000001
92.15/35.90	c (16,0) c SimplifyTime_5 : 0.000004
92.15/35.90	c (16,0) c SimplifyTime_6 : 0.000001
92.15/35.90	c (16,0) c SimplifyTime_7 : 0.000002
92.15/35.90	c (16,0) c SimplifyTime_total : 0.000017
92.15/35.90	c (16,0) c SimplifyTime_winner : 0.000001
92.15/35.90	c (16,0) c UsedRateTime_0 : 0.000000
92.15/35.90	c (16,0) c UsedRateTime_1 : 0.000000
92.15/35.90	c (16,0) c UsedRateTime_2 : 0.000000
92.15/35.90	c (16,0) c UsedRateTime_3 : 0.000000
92.15/35.90	c (16,0) c UsedRateTime_4 : 0.000000
92.15/35.90	c (16,0) c UsedRateTime_5 : 0.000000
92.15/35.90	c (16,0) c UsedRateTime_6 : 0.000000
92.15/35.90	c (16,0) c UsedRateTime_7 : 0.000000
92.15/35.90	c (16,0) c UsedRateTime_total : 0.000000
92.15/35.90	c (16,0) c UsedRateTime_winner : 0.000000
92.15/35.90	c (16,0) c OverlapRateTime_0 : 0.000000
92.15/35.90	c (16,0) c OverlapRateTime_1 : 0.000000
92.15/35.90	c (16,0) c OverlapRateTime_2 : 0.000000
92.15/35.90	c (16,0) c OverlapRateTime_3 : 0.000000
92.15/35.90	c (16,0) c OverlapRateTime_4 : 0.000000
92.15/35.90	c (16,0) c OverlapRateTime_5 : 0.000000
92.15/35.90	c (16,0) c OverlapRateTime_6 : 0.000000
92.15/35.90	c (16,0) c OverlapRateTime_7 : 0.000000
92.15/35.90	c (16,0) c OverlapRateTime_total : 0.000000
92.15/35.90	c (16,0) c OverlapRateTime_winner : 0.000000
92.15/35.90	c (16,0) c
92.15/35.90	c (16,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
92.15/35.90	c (16,0) c
92.15/35.90	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.15/35.90	c (16,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
92.15/35.90	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.15/35.90	c (16,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
92.15/35.90	c (16,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
92.15/35.90	c (16,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
92.15/35.90	c (16,0) c | Initial random_seed   | 1730973882 | 1403136719 | 1016277092 |  271675251 | 1696062160 |  504715888 | 1184185297 | 1928867177 |
92.15/35.90	c (16,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
92.15/35.90	c (16,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
92.15/35.90	c (16,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
92.15/35.90	c (16,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
92.15/35.90	c (16,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
92.15/35.90	c (16,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
92.15/35.90	c (16,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
92.15/35.90	c (16,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
92.15/35.90	c (16,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
92.15/35.90	c (16,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
92.15/35.90	c (16,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
92.15/35.90	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.15/35.90	c (16,0) 
92.15/35.90	c (16,0) s SATISFIABLE
28.09/36.03	c (16,0) SatSolver.solve End
28.09/36.03	c (16,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
28.09/36.03	c (16,0) Show results Begin
92.75/36.13	c (16,0) x0 = 87
92.75/36.13	c (16,0) x1 = 86
92.75/36.13	c (16,0) x10 = 284
92.75/36.13	c (16,0) x100 = 0
92.75/36.13	c (16,0) x101 = 1
92.75/36.13	c (16,0) x102 = 519
92.75/36.13	c (16,0) x103 = 518
92.75/36.13	c (16,0) x104 = 170
92.75/36.13	c (16,0) x105 = 169
92.75/36.13	c (16,0) x106 = 158
92.75/36.13	c (16,0) x107 = 159
92.75/36.13	c (16,0) x108 = 56
92.75/36.13	c (16,0) x109 = 55
92.75/36.13	c (16,0) x11 = 285
92.75/36.13	c (16,0) x110 = 416
92.75/36.13	c (16,0) x111 = 415
92.75/36.13	c (16,0) x112 = 286
92.75/36.13	c (16,0) x113 = 285
92.75/36.14	c (16,0) x114 = 207
92.75/36.14	c (16,0) x115 = 208
92.75/36.14	c (16,0) x116 = 581
92.75/36.14	c (16,0) x117 = 582
92.75/36.14	c (16,0) x118 = 369
92.75/36.14	c (16,0) x119 = 370
92.75/36.14	c (16,0) x12 = 592
92.75/36.14	c (16,0) x120 = 544
92.75/36.14	c (16,0) x121 = 545
92.75/36.14	c (16,0) x122 = 45
92.75/36.14	c (16,0) x123 = 44
92.75/36.14	c (16,0) x124 = 477
92.75/36.14	c (16,0) x125 = 478
92.75/36.14	c (16,0) x126 = 84
92.75/36.14	c (16,0) x127 = 85
92.75/36.14	c (16,0) x128 = 251
92.75/36.14	c (16,0) x129 = 250
92.75/36.14	c (16,0) x13 = 591
92.75/36.14	c (16,0) x130 = 0
92.75/36.14	c (16,0) x131 = 1
92.75/36.14	c (16,0) x132 = 171
92.75/36.14	c (16,0) x133 = 170
92.75/36.14	c (16,0) x134 = 371
92.75/36.14	c (16,0) x135 = 372
92.75/36.14	c (16,0) x136 = 206
92.75/36.14	c (16,0) x137 = 207
92.75/36.14	c (16,0) x138 = 437
92.75/36.14	c (16,0) x139 = 436
92.75/36.14	c (16,0) x14 = 522
92.75/36.14	c (16,0) x140 = 0
92.75/36.14	c (16,0) x141 = 640
92.75/36.14	c (16,0) x142 = 97
92.75/36.14	c (16,0) x143 = 96
92.75/36.14	c (16,0) x144 = 3
92.75/36.14	c (16,0) x145 = 4
92.75/36.14	c (16,0) x146 = 475
92.75/36.14	c (16,0) x147 = 476
92.75/36.14	c (16,0) x148 = 115
92.75/36.14	c (16,0) x149 = 116
92.75/36.14	c (16,0) x15 = 523
92.75/36.14	c (16,0) x150 = 433
92.75/36.14	c (16,0) x151 = 432
92.75/36.14	c (16,0) x152 = 296
92.75/36.14	c (16,0) x153 = 295
92.75/36.14	c (16,0) x154 = 383
92.75/36.14	c (16,0) x155 = 382
92.75/36.14	c (16,0) x156 = 204
92.75/36.14	c (16,0) x157 = 205
92.75/36.14	c (16,0) x158 = 573
92.75/36.14	c (16,0) x159 = 572
92.75/36.14	c (16,0) x16 = 0
92.75/36.14	c (16,0) x160 = 549
92.75/36.14	c (16,0) x161 = 550
92.75/36.14	c (16,0) x162 = 414
92.75/36.14	c (16,0) x163 = 413
92.75/36.14	c (16,0) x164 = 61
92.75/36.14	c (16,0) x165 = 60
92.75/36.14	c (16,0) x166 = 471
92.75/36.14	c (16,0) x167 = 470
92.75/36.14	c (16,0) x168 = 344
92.75/36.14	c (16,0) x169 = 343
92.75/36.14	c (16,0) x17 = 1
92.75/36.14	c (16,0) x170 = 241
92.75/36.14	c (16,0) x171 = 242
92.75/36.14	c (16,0) x172 = 114
92.75/36.14	c (16,0) x173 = 115
92.75/36.14	c (16,0) x174 = 383
92.75/36.14	c (16,0) x175 = 384
92.75/36.15	c (16,0) x176 = 267
92.75/36.15	c (16,0) x177 = 268
92.75/36.15	c (16,0) x178 = 452
92.75/36.15	c (16,0) x179 = 453
92.75/36.15	c (16,0) x18 = 135
92.75/36.15	c (16,0) x180 = 527
92.75/36.15	c (16,0) x181 = 526
92.75/36.15	c (16,0) x182 = 0
92.75/36.15	c (16,0) x183 = 1
92.75/36.15	c (16,0) x184 = 53
92.75/36.15	c (16,0) x185 = 52
92.75/36.15	c (16,0) x186 = 308
92.75/36.15	c (16,0) x187 = 307
92.75/36.15	c (16,0) x188 = 270
92.75/36.15	c (16,0) x189 = 269
92.75/36.15	c (16,0) x19 = 136
92.75/36.15	c (16,0) x190 = 562
92.75/36.15	c (16,0) x191 = 561
92.75/36.15	c (16,0) x192 = 349
92.75/36.15	c (16,0) x193 = 350
92.75/36.15	c (16,0) x194 = 238
92.75/36.15	c (16,0) x195 = 237
92.75/36.15	c (16,0) x196 = 442
92.75/36.15	c (16,0) x197 = 443
92.75/36.15	c (16,0) x198 = 142
92.75/36.15	c (16,0) x199 = 143
92.75/36.15	c (16,0) x2 = 422
92.75/36.15	c (16,0) x20 = 357
92.75/36.15	c (16,0) x21 = 358
92.75/36.15	c (16,0) x22 = 0
92.75/36.15	c (16,0) x23 = 1
92.75/36.15	c (16,0) x24 = 70
92.75/36.15	c (16,0) x25 = 71
92.75/36.15	c (16,0) x26 = 171
92.75/36.15	c (16,0) x27 = 170
92.75/36.15	c (16,0) x28 = 475
92.75/36.15	c (16,0) x29 = 345
92.75/36.15	c (16,0) x3 = 421
92.75/36.15	c (16,0) x30 = 453
92.75/36.15	c (16,0) x31 = 452
92.75/36.15	c (16,0) x32 = 513
92.75/36.15	c (16,0) x33 = 267
92.75/36.15	c (16,0) x34 = 113
92.75/36.15	c (16,0) x35 = 114
92.75/36.15	c (16,0) x36 = 97
92.75/36.15	c (16,0) x37 = 96
92.75/36.15	c (16,0) x38 = 542
92.75/36.15	c (16,0) x39 = 543
92.75/36.15	c (16,0) x4 = 370
92.75/36.15	c (16,0) x40 = 275
92.75/36.15	c (16,0) x41 = 274
92.75/36.15	c (16,0) x42 = 6
92.75/36.15	c (16,0) x43 = 7
92.75/36.15	c (16,0) x44 = 549
92.75/36.15	c (16,0) x45 = 548
92.75/36.15	c (16,0) x46 = 437
92.75/36.15	c (16,0) x47 = 438
92.75/36.15	c (16,0) x48 = 45
92.75/36.15	c (16,0) x49 = 44
92.75/36.15	c (16,0) x5 = 369
92.75/36.15	c (16,0) x50 = 638
92.75/36.15	c (16,0) x51 = 637
92.75/36.15	c (16,0) x52 = 209
92.75/36.15	c (16,0) x53 = 210
92.75/36.15	c (16,0) x54 = 371
92.75/36.15	c (16,0) x55 = 372
92.75/36.15	c (16,0) x56 = 118
92.75/36.15	c (16,0) x57 = 119
92.75/36.15	c (16,0) x58 = 462
92.75/36.15	c (16,0) x59 = 463
92.75/36.15	c (16,0) x6 = 204
92.75/36.15	c (16,0) x60 = 1
92.75/36.15	c (16,0) x61 = 0
92.75/36.15	c (16,0) x62 = 51
92.75/36.15	c (16,0) x63 = 50
92.75/36.15	c (16,0) x64 = 18
92.75/36.15	c (16,0) x65 = 19
92.75/36.15	c (16,0) x66 = 140
92.75/36.15	c (16,0) x67 = 141
92.75/36.15	c (16,0) x68 = 524
92.75/36.15	c (16,0) x69 = 525
92.75/36.15	c (16,0) x7 = 279
92.75/36.15	c (16,0) x70 = 359
92.75/36.15	c (16,0) x71 = 358
92.75/36.15	c (16,0) x72 = 212
92.75/36.15	c (16,0) x73 = 211
92.75/36.15	c (16,0) x74 = 450
92.75/36.15	c (16,0) x75 = 451
92.75/36.15	c (16,0) x76 = 582
92.75/36.15	c (16,0) x77 = 581
92.75/36.15	c (16,0) x78 = 279
92.75/36.15	c (16,0) x79 = 280
92.75/36.15	c (16,0) x8 = 232
92.75/36.15	c (16,0) x80 = 181
92.75/36.15	c (16,0) x81 = 180
92.75/36.15	c (16,0) x82 = 477
92.75/36.15	c (16,0) x83 = 478
92.75/36.15	c (16,0) x84 = 349
92.75/36.15	c (16,0) x85 = 350
92.75/36.15	c (16,0) x86 = 334
92.75/36.15	c (16,0) x87 = 543
92.75/36.15	c (16,0) x88 = 592
92.75/36.15	c (16,0) x89 = 591
92.75/36.15	c (16,0) x9 = 231
92.75/36.15	c (16,0) x90 = 151
92.75/36.15	c (16,0) x91 = 259
92.75/36.15	c (16,0) x92 = 422
92.75/36.15	c (16,0) x93 = 421
92.75/36.15	c (16,0) x94 = 288
92.75/36.15	c (16,0) x95 = 287
92.75/36.15	c (16,0) x96 = 101
92.75/36.15	c (16,0) x97 = 100
92.75/36.15	c (16,0) x98 = 0
92.75/36.15	c (16,0) x99 = 1
92.75/36.15	s SATISFIABLE
92.75/36.15	v <instantiation>
92.75/36.15	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.75/36.15	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.75/36.15	v </instantiation>
92.75/36.15	c (16,0) Show results End
92.75/36.15	c (16,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
92.75/36.15	c (16,0) 16,16,STOP-AFTER(ALL)
92.75/36.15	c END-Prog: Sat Sep 14 08:19:13 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 (14953 MiB free)
  memory of node 1: 16384 MiB (15580 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392310-1568441958/watcher-4392310-1568441958 -o /tmp/evaluation-result-4392310-1568441958/solver-4392310-1568441958 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568441917-10348 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392310-1568441958.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=10365, runsolver pid=10362
Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 8.01 8.16 8.22 2/211 10387
/proc/meminfo: memFree=31173288/32770624 swapFree=67000592/67108860
[pid=10365] ppid=10362 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10365/stat : 10365 (scop.sh) S 10362 10365 10321 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420109789 115843072 349 33554432000 4194304 5098028 140727013605600 140727013602856 140286857728636 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27930624 140727013610277 140727013610604 140727013610604 140727013613517 0
/proc/10365/statm: 28282 349 296 221 0 87 0
[pid=10368] ppid=10365 vsize=27314120 memory=106536 CPUtime=0.11 cores=0-7
/proc/10368/stat : 10368 (java) S 10365 10365 10321 0 -1 1077944320 6113 0 0 0 8 3 0 0 20 0 20 0 420109790 27969658880 26569 33554432000 4194304 4196468 140725589612400 140725589594944 140266624528119 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
/proc/10368/statm: 6828530 26634 2815 1 0 6790935 0
[pid=10368/tid=10369] ppid=10365 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/10368/task/10369/stat : 10369 (java) R 10365 10365 10321 0 -1 4202560 4229 0 0 0 6 2 0 0 20 0 20 0 420109790 27969658880 26634 33554432000 4194304 4196468 140725589612400 140266596346496 140266607512480 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10370] ppid=10365 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10368/task/10370/stat : 10370 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109792 27969658880 26634 33554432000 4194304 4196468 140725589612400 140266628770960 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10371] ppid=10365 vsize=27314120 memory=140163621410432 CPUtime=0 cores=0-7
/proc/10368/task/10371/stat : 10371 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109792 27969658880 26634 33554432000 4194304 4196468 140725589612400 140266047224848 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10372] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10372/stat : 10372 (java) S 10365 10365 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420109792 27969658880 26634 33554432000 4194304 4196468 140725589612400 140266046172048 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10373] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10373/stat : 10373 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109793 27969658880 26634 33554432000 4194304 4196468 140725589612400 140266045119248 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10374] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10374/stat : 10374 (java) S 10365 10365 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420109793 27969658880 26634 33554432000 4194304 4196468 140725589612400 140266044066448 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10375] ppid=10365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10368/task/10375/stat : 10375 (java) S 10365 10365 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420109793 27969658880 26634 33554432000 4194304 4196468 140725589612400 140266043013648 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10376] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10376/stat : 10376 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109793 27969658880 26634 33554432000 4194304 4196468 140725589612400 140266041960848 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10377] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10377/stat : 10377 (java) S 10365 10365 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420109793 27969658880 26634 33554432000 4194304 4196468 140725589612400 140266040908048 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10378] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10378/stat : 10378 (java) S 10365 10365 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420109794 27969658880 26634 33554432000 4194304 4196468 140725589612400 140264676285296 140266624539266 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10379] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10379/stat : 10379 (java) S 10365 10365 10321 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420109795 27969658880 26634 33554432000 4194304 4196468 140725589612400 140264572184096 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10380] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10380/stat : 10380 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109795 27969658880 26634 33554432000 4194304 4196468 140725589612400 140264303748464 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10381] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10381/stat : 10381 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109797 27969658880 26634 33554432000 4194304 4196468 140725589612400 140263929239888 140266624546715 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10382] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10382/stat : 10382 (java) S 10365 10365 10321 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 420109797 27969658880 26634 33554432000 4194304 4196468 140725589612400 140264675232112 140266624539266 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10383] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10383/stat : 10383 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109797 27969658880 26634 33554432000 4194304 4196468 140725589612400 140264674179312 140266624539266 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10384] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10384/stat : 10384 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109797 27969658880 26634 33554432000 4194304 4196468 140725589612400 140264673126512 140266624539266 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10385] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10385/stat : 10385 (java) S 10365 10365 10321 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 20 0 420109797 27969658880 26634 33554432000 4194304 4196468 140725589612400 140264672073712 140266624539266 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10386] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10386/stat : 10386 (java) S 10365 10365 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420109798 27969658880 26634 33554432000 4194304 4196468 140725589612400 140263431335008 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10387] ppid=10365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10368/task/10387/stat : 10387 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109798 27969658880 26634 33554432000 4194304 4196468 140725589612400 140264671022128 140266624539266 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107932 KiB

[startup+0.210286 s]*
/proc/loadavg: 8.01 8.16 8.22 3/211 10387
/proc/meminfo: memFree=31151732/32770624 swapFree=67000592/67108860
[pid=10365] ppid=10362 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10365/stat : 10365 (scop.sh) S 10362 10365 10321 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420109789 115843072 349 33554432000 4194304 5098028 140727013605600 140727013602856 140286857728636 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27930624 140727013610277 140727013610604 140727013610604 140727013613517 0
/proc/10365/statm: 28282 349 296 221 0 87 0
[pid=10368] ppid=10365 vsize=27314120 memory=125552 CPUtime=0.25 cores=0-7
/proc/10368/stat : 10368 (java) S 10365 10365 10321 0 -1 1077944320 11624 0 0 0 20 5 0 0 20 0 20 0 420109790 27969658880 31388 33554432000 4194304 4196468 140725589612400 140725589594944 140266624528119 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
/proc/10368/statm: 6828530 31388 2927 1 0 6790935 0
[pid=10368/tid=10369] ppid=10365 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/10368/task/10369/stat : 10369 (java) R 10365 10365 10321 0 -1 4202560 9334 0 0 0 16 4 0 0 20 0 20 0 420109790 27969658880 31388 33554432000 4194304 4196468 140725589612400 140266596331728 140266604803311 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10370] ppid=10365 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/10368/task/10370/stat : 10370 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109792 27969658880 31388 33554432000 4194304 4196468 140725589612400 140266628770960 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10371] ppid=10365 vsize=27314120 memory=140163621421050 CPUtime=0 cores=0-7
/proc/10368/task/10371/stat : 10371 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109792 27969658880 31388 33554432000 4194304 4196468 140725589612400 140266047224848 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10372] ppid=10365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10368/task/10372/stat : 10372 (java) S 10365 10365 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420109792 27969658880 31388 33554432000 4194304 4196468 140725589612400 140266046172048 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10373] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10373/stat : 10373 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109793 27969658880 31388 33554432000 4194304 4196468 140725589612400 140266045119248 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10374] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10374/stat : 10374 (java) S 10365 10365 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420109793 27969658880 31388 33554432000 4194304 4196468 140725589612400 140266044066448 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10375] ppid=10365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10368/task/10375/stat : 10375 (java) S 10365 10365 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420109793 27969658880 31388 33554432000 4194304 4196468 140725589612400 140266043013648 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10376] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10376/stat : 10376 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109793 27969658880 31388 33554432000 4194304 4196468 140725589612400 140266041960848 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10377] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10377/stat : 10377 (java) S 10365 10365 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420109793 27969658880 31388 33554432000 4194304 4196468 140725589612400 140266040908048 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10378] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10378/stat : 10378 (java) S 10365 10365 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420109794 27969658880 31388 33554432000 4194304 4196468 140725589612400 140264676285296 140266624539266 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10379] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10379/stat : 10379 (java) S 10365 10365 10321 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420109795 27969658880 31388 33554432000 4194304 4196468 140725589612400 140264572184096 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10380] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10380/stat : 10380 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109795 27969658880 31388 33554432000 4194304 4196468 140725589612400 140264303748464 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10381] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10381/stat : 10381 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109797 27969658880 31388 33554432000 4194304 4196468 140725589612400 140263929239888 140266624546715 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10382] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10382/stat : 10382 (java) S 10365 10365 10321 0 -1 1077944384 458 0 0 0 0 0 0 0 20 0 20 0 420109797 27969658880 31388 33554432000 4194304 4196468 140725589612400 140264675232112 140266624539266 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10383] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10383/stat : 10383 (java) S 10365 10365 10321 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 420109797 27969658880 31388 33554432000 4194304 4196468 140725589612400 140264674179312 140266624539266 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10384] ppid=10365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10368/task/10384/stat : 10384 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109797 27969658880 31388 33554432000 4194304 4196468 140725589612400 140264673126512 140266624539266 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10385] ppid=10365 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/10368/task/10385/stat : 10385 (java) S 10365 10365 10321 0 -1 1077944384 476 0 0 0 2 0 0 0 20 0 20 0 420109797 27969658880 31388 33554432000 4194304 4196468 140725589612400 140264672073712 140266624539266 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10386] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10386/stat : 10386 (java) S 10365 10365 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420109798 27969658880 31388 33554432000 4194304 4196468 140725589612400 140263431335008 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10387] ppid=10365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10368/task/10387/stat : 10387 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109798 27969658880 31388 33554432000 4194304 4196468 140725589612400 140264671022128 140266624539266 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126948 KiB

[startup+0.309548 s]*
/proc/loadavg: 8.01 8.16 8.22 2/211 10387
/proc/meminfo: memFree=31147948/32770624 swapFree=67000592/67108860
[pid=10365] ppid=10362 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10365/stat : 10365 (scop.sh) S 10362 10365 10321 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420109789 115843072 349 33554432000 4194304 5098028 140727013605600 140727013602856 140286857728636 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27930624 140727013610277 140727013610604 140727013610604 140727013613517 0
/proc/10365/statm: 28282 349 296 221 0 87 0
[pid=10368] ppid=10365 vsize=27314120 memory=129892 CPUtime=0.42 cores=0-7
/proc/10368/stat : 10368 (java) S 10365 10365 10321 0 -1 1077944320 12794 0 0 0 37 5 0 0 20 0 20 0 420109790 27969658880 32473 33554432000 4194304 4196468 140725589612400 140725589594944 140266624528119 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
/proc/10368/statm: 6828530 32473 3035 1 0 6790935 0
[pid=10368/tid=10369] ppid=10365 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/10368/task/10369/stat : 10369 (java) R 10365 10365 10321 0 -1 4202560 10299 0 0 0 25 4 0 0 20 0 20 0 420109790 27969658880 32473 33554432000 4194304 4196468 140725589612400 140266596311136 140266609693774 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10370] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10370/stat : 10370 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109792 27969658880 32473 33554432000 4194304 4196468 140725589612400 140266628770960 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10371] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10371/stat : 10371 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109792 27969658880 32473 33554432000 4194304 4196468 140725589612400 140266047224848 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10372] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10372/stat : 10372 (java) S 10365 10365 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420109792 27969658880 32473 33554432000 4194304 4196468 140725589612400 140266046172048 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10373] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10373/stat : 10373 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109793 27969658880 32473 33554432000 4194304 4196468 140725589612400 140266045119248 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10374] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10374/stat : 10374 (java) S 10365 10365 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420109793 27969658880 32473 33554432000 4194304 4196468 140725589612400 140266044066448 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10375] ppid=10365 vsize=27314120 memory=140163506334383 CPUtime=0 cores=0-7
/proc/10368/task/10375/stat : 10375 (java) S 10365 10365 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420109793 27969658880 32473 33554432000 4194304 4196468 140725589612400 140266043013648 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10376] ppid=10365 vsize=27314120 memory=140163506336688 CPUtime=0 cores=0-7
/proc/10368/task/10376/stat : 10376 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109793 27969658880 32473 33554432000 4194304 4196468 140725589612400 140266041960848 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10377] ppid=10365 vsize=27314120 memory=140163506338992 CPUtime=0 cores=0-7
/proc/10368/task/10377/stat : 10377 (java) S 10365 10365 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420109793 27969658880 32473 33554432000 4194304 4196468 140725589612400 140266040908048 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10378] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10378/stat : 10378 (java) S 10365 10365 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420109794 27969658880 32473 33554432000 4194304 4196468 140725589612400 140264676285296 140266624539266 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10379] ppid=10365 vsize=27314120 memory=280327012691856 CPUtime=0 cores=0-7
/proc/10368/task/10379/stat : 10379 (java) S 10365 10365 10321 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420109795 27969658880 32473 33554432000 4194304 4196468 140725589612400 140264572184096 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10380] ppid=10365 vsize=27314120 memory=280327012689552 CPUtime=0 cores=0-7
/proc/10368/task/10380/stat : 10380 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109795 27969658880 32473 33554432000 4194304 4196468 140725589612400 140264303748464 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10381] ppid=10365 vsize=27314120 memory=280327012696464 CPUtime=0 cores=0-7
/proc/10368/task/10381/stat : 10381 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109797 27969658880 32473 33554432000 4194304 4196468 140725589612400 140263929239888 140266624546715 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10382] ppid=10365 vsize=27314120 memory=280327012637744 CPUtime=0.01 cores=0-7
/proc/10368/task/10382/stat : 10382 (java) S 10365 10365 10321 0 -1 1077944384 543 0 0 0 1 0 0 0 20 0 20 0 420109797 27969658880 32473 33554432000 4194304 4196468 140725589612400 140264675232112 140266624539266 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10383] ppid=10365 vsize=27314120 memory=280327012710288 CPUtime=0.01 cores=0-7
/proc/10368/task/10383/stat : 10383 (java) S 10365 10365 10321 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 20 0 420109797 27969658880 32473 33554432000 4194304 4196468 140725589612400 140264674179312 140266624539266 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10384] ppid=10365 vsize=27314120 memory=280327012717200 CPUtime=0.01 cores=0-7
/proc/10368/task/10384/stat : 10384 (java) S 10365 10365 10321 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 20 0 420109797 27969658880 32473 33554432000 4194304 4196468 140725589612400 140264673126512 140266624539266 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10385] ppid=10365 vsize=27314120 memory=280327012714896 CPUtime=0.07 cores=0-7
/proc/10368/task/10385/stat : 10385 (java) S 10365 10365 10321 0 -1 1077944384 530 0 0 0 7 0 0 0 20 0 20 0 420109797 27969658880 32473 33554432000 4194304 4196468 140725589612400 140264672073712 140266624539266 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10386] ppid=10365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10386/stat : 10386 (java) S 10365 10365 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420109798 27969658880 32473 33554432000 4194304 4196468 140725589612400 140263431335008 140266624538325 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10387] ppid=10365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10368/task/10387/stat : 10387 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109798 27969658880 32473 33554432000 4194304 4196468 140725589612400 140264671022128 140266624539266 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131288 KiB

[startup+0.700855 s]
/proc/loadavg: 8.01 8.16 8.22 3/211 10387
/proc/meminfo: memFree=31128060/32770624 swapFree=67000592/67108860
[pid=10365] ppid=10362 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10365/stat : 10365 (scop.sh) S 10362 10365 10321 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420109789 115843072 349 33554432000 4194304 5098028 140727013605600 140727013602856 140286857728636 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27930624 140727013610277 140727013610604 140727013610604 140727013613517 0
/proc/10365/statm: 28282 349 296 221 0 87 0
[pid=10368] ppid=10365 vsize=27320392 memory=165028 CPUtime=0.99 cores=0-7
/proc/10368/stat : 10368 (java) S 10365 10365 10321 0 -1 1077944320 19868 0 0 0 92 7 0 0 20 0 20 0 420109790 27976081408 41257 33554432000 4194304 4196468 140725589612400 140725589594944 140266624528119 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
/proc/10368/statm: 6830098 41257 3163 1 0 6791447 0
[pid=10368/tid=10369] ppid=10365 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/10368/task/10369/stat : 10369 (java) R 10365 10365 10321 0 -1 4202560 16867 0 0 0 62 5 0 0 20 0 20 0 420109790 27976081408 41257 33554432000 4194304 4196468 140725589612400 140266596366224 140266128157266 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10370] ppid=10365 vsize=27320392 memory=140163506545520 CPUtime=0 cores=0-7
/proc/10368/task/10370/stat : 10370 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109792 27976081408 41257 33554432000 4194304 4196468 140725589612400 140266628770960 140266624538325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10371] ppid=10365 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/10368/task/10371/stat : 10371 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420109792 27976081408 41257 33554432000 4194304 4196468 140725589612400 140266047224848 140266624538325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0
[pid=10368/tid=10372] ppid=10365 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/10368/task/10372/stat : 10372 (java) S 10365 10365 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420109792 27976081408 41257 33554432000 4194304 4196468 140725589612400 140266046172048 140266624538325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31506432 140725589619435 140725589619862 140725589619862 140725589622735 0

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

[pid=10388/tid=10391] ppid=10365 vsize=8414124 memory=119324 CPUtime=0 cores=0-7
/proc/10388/task/10391/stat : 10391 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420111682 8616062976 29831 33554432000 4194304 4196468 140731875919376 140083247270416 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10392] ppid=10365 vsize=8414124 memory=2358004 CPUtime=0 cores=0-7
/proc/10388/task/10392/stat : 10392 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420111682 8616062976 29831 33554432000 4194304 4196468 140731875919376 140083246217616 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10393] ppid=10365 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10393/stat : 10393 (java) S 10365 10365 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420111682 8616062976 29831 33554432000 4194304 4196468 140731875919376 140083245164816 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10394] ppid=10365 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10394/stat : 10394 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420111682 8616062976 29831 33554432000 4194304 4196468 140731875919376 140082925268112 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10395] ppid=10365 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10395/stat : 10395 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420111682 8616062976 29831 33554432000 4194304 4196468 140731875919376 140082924215312 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10396] ppid=10365 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10396/stat : 10396 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420111682 8616062976 29831 33554432000 4194304 4196468 140731875919376 140082923162512 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10397] ppid=10365 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10397/stat : 10397 (java) S 10365 10365 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420111682 8616062976 29831 33554432000 4194304 4196468 140731875919376 140082922109712 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10398] ppid=10365 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10398/stat : 10398 (java) S 10365 10365 10321 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420111684 8616062976 29831 33554432000 4194304 4196468 140731875919376 140082536241520 140083442870914 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10399] ppid=10365 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10399/stat : 10399 (java) S 10365 10365 10321 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420111684 8616062976 29831 33554432000 4194304 4196468 140731875919376 140082036073504 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10400] ppid=10365 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10400/stat : 10400 (java) S 10365 10365 10321 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420111685 8616062976 29831 33554432000 4194304 4196468 140731875919376 140081901851504 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10401] ppid=10365 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10401/stat : 10401 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420111687 8616062976 29831 33554432000 4194304 4196468 140731875919376 140081527347024 140083442878363 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10402] ppid=10365 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/10388/task/10402/stat : 10402 (java) S 10365 10365 10321 0 -1 1077944384 686 0 0 0 6 0 0 0 20 0 24 0 420111687 8616062976 29831 33554432000 4194304 4196468 140731875919376 140082535189360 140083442870914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10403] ppid=10365 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/10388/task/10403/stat : 10403 (java) S 10365 10365 10321 0 -1 1077944384 192 0 0 0 4 0 0 0 20 0 24 0 420111687 8616062976 29831 33554432000 4194304 4196468 140731875919376 140082534136560 140083442870914 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10404] ppid=10365 vsize=8414124 memory=0 CPUtime=0.13 cores=0-7
/proc/10388/task/10404/stat : 10404 (java) S 10365 10365 10321 0 -1 1077944384 620 0 0 0 13 0 0 0 20 0 24 0 420111687 8616062976 29831 33554432000 4194304 4196468 140731875919376 140082533083760 140083442870914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10405] ppid=10365 vsize=8414124 memory=0 CPUtime=0.21 cores=0-7
/proc/10388/task/10405/stat : 10405 (java) S 10365 10365 10321 0 -1 1077944384 558 0 0 0 21 0 0 0 20 0 24 0 420111687 8616062976 29831 33554432000 4194304 4196468 140731875919376 140082532030960 140083442870914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10406] ppid=10365 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10406/stat : 10406 (java) S 10365 10365 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420111687 8616062976 29831 33554432000 4194304 4196468 140731875919376 140081029442144 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10407] ppid=10365 vsize=8414124 memory=2347432 CPUtime=0 cores=0-7
/proc/10388/task/10407/stat : 10407 (java) S 10365 10365 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420111688 8616062976 29831 33554432000 4194304 4196468 140731875919376 140082530978352 140083442870914 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10409] ppid=10365 vsize=8414124 memory=2327732 CPUtime=0 cores=0-7
/proc/10388/task/10409/stat : 10409 (java) S 10365 10365 10321 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420111755 8616062976 29831 33554432000 4194304 4196468 140731875919376 140082522944576 140083442884377 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10411] ppid=10365 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10388/task/10411/stat : 10411 (java) S 10365 10365 10321 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 420111755 8616062976 29831 33554432000 4194304 4196468 140731875919376 140080358342800 140083442881693 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10412] ppid=10365 vsize=8414124 memory=119324 CPUtime=0 cores=0-7
/proc/10388/task/10412/stat : 10412 (java) S 10365 10365 10321 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420111755 8616062976 29831 33554432000 4194304 4196468 140731875919376 140080626778128 140083442881693 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10413] ppid=10365 vsize=8414124 memory=-7737643479190322274 CPUtime=0 cores=0-7
/proc/10388/task/10413/stat : 10413 (java) S 10365 10365 10321 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420111757 8616062976 29831 33554432000 4194304 4196468 140731875919376 140080089914928 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
Current children cumulated CPU time: 91.82 s
Current children cumulated vsize: 11312864 KiB
Current children cumulated memory: 2479220 KiB

[startup+36.0013 s]*
/proc/loadavg: 5.63 7.53 8.00 3/216 10424
/proc/meminfo: memFree=29685304/32770624 swapFree=67000592/67108860
[pid=10365] ppid=10362 vsize=113128 memory=1476 CPUtime=26.52 cores=0-7
/proc/10365/stat : 10365 (scop.sh) S 10362 10365 10321 0 -1 4202496 581 34299 0 0 0 0 2517 135 20 0 1 0 420109789 115843072 369 33554432000 4194304 5098028 140727013605600 140727013602344 140286857728636 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27930624 140727013610277 140727013610604 140727013610604 140727013613517 0
/proc/10365/statm: 28282 369 311 221 0 87 0
[pid=10388] ppid=10365 vsize=8414124 memory=147496 CPUtime=1.57 cores=0-7
/proc/10388/stat : 10388 (java) S 10365 10365 10321 0 -1 1077944320 21247 0 0 0 149 8 0 0 20 0 24 0 420111681 8616062976 36874 33554432000 4194304 4196468 140731875919376 140731875901920 140083442859767 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
/proc/10388/statm: 2103531 36874 3223 1 0 2064875 0
[pid=10388/tid=10389] ppid=10365 vsize=8414124 memory=7517449421331328876 CPUtime=0.77 cores=0-7
/proc/10388/task/10389/stat : 10389 (java) S 10365 10365 10321 0 -1 1077944384 16792 0 0 0 71 6 0 0 20 0 24 0 420111681 8616062976 36874 33554432000 4194304 4196468 140731875919376 140083414699936 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10390] ppid=10365 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10390/stat : 10390 (java) S 10365 10365 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420111682 8616062976 36874 33554432000 4194304 4196468 140731875919376 140083447102096 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10391] ppid=10365 vsize=8414124 memory=3543664036502402736 CPUtime=0 cores=0-7
/proc/10388/task/10391/stat : 10391 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420111682 8616062976 36874 33554432000 4194304 4196468 140731875919376 140083247270416 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10392] ppid=10365 vsize=8414124 memory=3467824627879785247 CPUtime=0 cores=0-7
/proc/10388/task/10392/stat : 10392 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420111682 8616062976 36874 33554432000 4194304 4196468 140731875919376 140083246217616 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10393] ppid=10365 vsize=8414124 memory=7236229500900889449 CPUtime=0 cores=0-7
/proc/10388/task/10393/stat : 10393 (java) S 10365 10365 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420111682 8616062976 36874 33554432000 4194304 4196468 140731875919376 140083245164816 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10394] ppid=10365 vsize=8414124 memory=7233746795508422505 CPUtime=0 cores=0-7
/proc/10388/task/10394/stat : 10394 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420111682 8616062976 36874 33554432000 4194304 4196468 140731875919376 140082925268112 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10395] ppid=10365 vsize=8414124 memory=3545238011844304944 CPUtime=0 cores=0-7
/proc/10388/task/10395/stat : 10395 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420111682 8616062976 36874 33554432000 4194304 4196468 140731875919376 140082924215312 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10396] ppid=10365 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10396/stat : 10396 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420111682 8616062976 36874 33554432000 4194304 4196468 140731875919376 140082923162512 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10397] ppid=10365 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10397/stat : 10397 (java) S 10365 10365 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420111682 8616062976 36874 33554432000 4194304 4196468 140731875919376 140082922109712 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10398] ppid=10365 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10398/stat : 10398 (java) S 10365 10365 10321 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420111684 8616062976 36874 33554432000 4194304 4196468 140731875919376 140082536241520 140083442870914 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10399] ppid=10365 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10399/stat : 10399 (java) S 10365 10365 10321 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420111684 8616062976 36874 33554432000 4194304 4196468 140731875919376 140082036073504 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10400] ppid=10365 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10400/stat : 10400 (java) S 10365 10365 10321 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420111685 8616062976 36874 33554432000 4194304 4196468 140731875919376 140081901851504 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10401] ppid=10365 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10401/stat : 10401 (java) S 10365 10365 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420111687 8616062976 36874 33554432000 4194304 4196468 140731875919376 140081527347024 140083442878363 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10402] ppid=10365 vsize=8414124 memory=0 CPUtime=0.1 cores=0-7
/proc/10388/task/10402/stat : 10402 (java) S 10365 10365 10321 0 -1 1077944384 709 0 0 0 10 0 0 0 20 0 24 0 420111687 8616062976 36874 33554432000 4194304 4196468 140731875919376 140082535189360 140083442870914 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10403] ppid=10365 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/10388/task/10403/stat : 10403 (java) S 10365 10365 10321 0 -1 1077944384 421 0 0 0 8 0 0 0 20 0 24 0 420111687 8616062976 36874 33554432000 4194304 4196468 140731875919376 140082534136560 140083442870914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10404] ppid=10365 vsize=8414124 memory=3472592183261933599 CPUtime=0.2 cores=0-7
/proc/10388/task/10404/stat : 10404 (java) R 10365 10365 10321 0 -1 4202560 693 0 0 0 20 0 0 0 20 0 24 0 420111687 8616062976 36874 33554432000 4194304 4196468 140731875919376 140082533083760 140083426352195 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10405] ppid=10365 vsize=8414124 memory=3689327915431377201 CPUtime=0.26 cores=0-7
/proc/10388/task/10405/stat : 10405 (java) S 10365 10365 10321 0 -1 1077944384 1026 0 0 0 26 0 0 0 20 0 24 0 420111687 8616062976 36874 33554432000 4194304 4196468 140731875919376 140082532030960 140083442870914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10406] ppid=10365 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10406/stat : 10406 (java) S 10365 10365 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420111687 8616062976 36874 33554432000 4194304 4196468 140731875919376 140081029442144 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10407] ppid=10365 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/10388/task/10407/stat : 10407 (java) S 10365 10365 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420111688 8616062976 36874 33554432000 4194304 4196468 140731875919376 140082530978352 140083442870914 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10409] ppid=10365 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/10388/task/10409/stat : 10409 (java) S 10365 10365 10321 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420111755 8616062976 36874 33554432000 4194304 4196468 140731875919376 140082522944576 140083442884377 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10411] ppid=10365 vsize=8414124 memory=0 CPUtime=0.11 cores=0-7
/proc/10388/task/10411/stat : 10411 (java) S 10365 10365 10321 0 -1 4202560 189 0 0 0 11 0 0 0 20 0 24 0 420111755 8616062976 36874 33554432000 4194304 4196468 140731875919376 140080358342768 140083442881693 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10412] ppid=10365 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10412/stat : 10412 (java) S 10365 10365 10321 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420111755 8616062976 36874 33554432000 4194304 4196468 140731875919376 140080626778128 140083442881693 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10413] ppid=10365 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10413/stat : 10413 (java) S 10365 10365 10321 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420111757 8616062976 36874 33554432000 4194304 4196468 140731875919376 140080089914928 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
Current children cumulated CPU time: 28.09 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 148972 KiB

[startup+36.1103 s]
/proc/loadavg: 5.63 7.53 8.00 3/216 10424
/proc/meminfo: memFree=29685304/32770624 swapFree=67000592/67108860
[pid=10365] ppid=10362 vsize=113128 memory=1476 CPUtime=26.52 cores=0-7
/proc/10365/stat : 10365 (scop.sh) S 10362 10365 10321 0 -1 4202496 581 34299 0 0 0 0 2517 135 20 0 1 0 420109789 115843072 369 33554432000 4194304 5098028 140727013605600 140727013602344 140286857728636 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27930624 140727013610277 140727013610604 140727013610604 140727013613517 0
/proc/10365/statm: 28282 369 311 221 0 87 0
[pid=10388] ppid=10365 vsize=8283048 memory=154844 CPUtime=66.23 cores=0-7
/proc/10388/stat : 10388 (java) S 10365 10365 10321 0 -1 1077944320 21554 1478008 0 0 169 8 6129 317 20 0 22 0 420111681 8481841152 38711 33554432000 4194304 4196468 140731875919376 140731875901920 140083442859767 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
/proc/10388/statm: 2070762 38711 3232 1 0 2032106 0
[pid=10388/tid=10389] ppid=10365 vsize=8283048 memory=1476 CPUtime=65.31 cores=0-7
/proc/10388/task/10389/stat : 10389 (java) R 10365 10365 10321 0 -1 4202560 16995 1478008 0 0 79 6 6129 317 20 0 22 0 420111681 8481841152 38711 33554432000 4194304 4196468 140731875919376 140083414697248 140083442881693 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10390] ppid=10365 vsize=8283048 memory=2358132 CPUtime=64.46 cores=0-7
/proc/10388/task/10390/stat : 10390 (java) S 10365 10365 10321 0 -1 1077944384 2 1478008 0 0 0 0 6129 317 20 0 22 0 420111682 8481841152 38711 33554432000 4194304 4196468 140731875919376 140083447102096 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10391] ppid=10365 vsize=8283048 memory=2310884 CPUtime=64.46 cores=0-7
/proc/10388/task/10391/stat : 10391 (java) S 10365 10365 10321 0 -1 1077944384 1 1478008 0 0 0 0 6129 317 20 0 22 0 420111682 8481841152 38711 33554432000 4194304 4196468 140731875919376 140083247270416 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10392] ppid=10365 vsize=8283048 memory=1396 CPUtime=64.46 cores=0-7
/proc/10388/task/10392/stat : 10392 (java) S 10365 10365 10321 0 -1 1077944384 1 1478008 0 0 0 0 6129 317 20 0 22 0 420111682 8481841152 38711 33554432000 4194304 4196468 140731875919376 140083246217616 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10393] ppid=10365 vsize=8283048 memory=2907700 CPUtime=64.46 cores=0-7
/proc/10388/task/10393/stat : 10393 (java) S 10365 10365 10321 0 -1 1077944384 2 1478008 0 0 0 0 6129 317 20 0 22 0 420111682 8481841152 38711 33554432000 4194304 4196468 140731875919376 140083245164816 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10394] ppid=10365 vsize=8283048 memory=157 CPUtime=64.46 cores=0-7
/proc/10388/task/10394/stat : 10394 (java) S 10365 10365 10321 0 -1 1077944384 1 1478008 0 0 0 0 6129 317 20 0 22 0 420111682 8481841152 38711 33554432000 4194304 4196468 140731875919376 140082925268112 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10395] ppid=10365 vsize=8283048 memory=4861 CPUtime=64.46 cores=0-7
/proc/10388/task/10395/stat : 10395 (java) S 10365 10365 10321 0 -1 1077944384 1 1478008 0 0 0 0 6129 317 20 0 22 0 420111682 8481841152 38711 33554432000 4194304 4196468 140731875919376 140082924215312 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10396] ppid=10365 vsize=8283048 memory=1985 CPUtime=64.46 cores=0-7
/proc/10388/task/10396/stat : 10396 (java) S 10365 10365 10321 0 -1 1077944384 1 1478008 0 0 0 0 6129 317 20 0 22 0 420111682 8481841152 38711 33554432000 4194304 4196468 140731875919376 140082923162512 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10397] ppid=10365 vsize=8283048 memory=0 CPUtime=64.46 cores=0-7
/proc/10388/task/10397/stat : 10397 (java) S 10365 10365 10321 0 -1 1077944384 3 1478008 0 0 0 0 6129 317 20 0 22 0 420111682 8481841152 38711 33554432000 4194304 4196468 140731875919376 140082922109712 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10398] ppid=10365 vsize=8283048 memory=315852 CPUtime=64.46 cores=0-7
/proc/10388/task/10398/stat : 10398 (java) S 10365 10365 10321 0 -1 1077944384 7 1478008 0 0 0 0 6129 317 20 0 22 0 420111684 8481841152 38711 33554432000 4194304 4196468 140731875919376 140082536241520 140083442870914 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10399] ppid=10365 vsize=8283048 memory=276100 CPUtime=64.46 cores=0-7
/proc/10388/task/10399/stat : 10399 (java) S 10365 10365 10321 0 -1 1077944384 13 1478008 0 0 0 0 6129 317 20 0 22 0 420111684 8481841152 38711 33554432000 4194304 4196468 140731875919376 140082036073504 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10400] ppid=10365 vsize=8283048 memory=0 CPUtime=64.46 cores=0-7
/proc/10388/task/10400/stat : 10400 (java) S 10365 10365 10321 0 -1 1077944384 21 1478008 0 0 0 0 6129 317 20 0 22 0 420111685 8481841152 38711 33554432000 4194304 4196468 140731875919376 140081901851504 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10401] ppid=10365 vsize=8283048 memory=1476 CPUtime=64.46 cores=0-7
/proc/10388/task/10401/stat : 10401 (java) S 10365 10365 10321 0 -1 1077944384 1 1478008 0 0 0 0 6129 317 20 0 22 0 420111687 8481841152 38711 33554432000 4194304 4196468 140731875919376 140081527347024 140083442878363 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10402] ppid=10365 vsize=8283048 memory=988 CPUtime=64.59 cores=0-7
/proc/10388/task/10402/stat : 10402 (java) S 10365 10365 10321 0 -1 1077944384 723 1478008 0 0 13 0 6129 317 20 0 22 0 420111687 8481841152 38711 33554432000 4194304 4196468 140731875919376 140082535189360 140083442870914 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10403] ppid=10365 vsize=8283048 memory=2012 CPUtime=64.57 cores=0-7
/proc/10388/task/10403/stat : 10403 (java) S 10365 10365 10321 0 -1 1077944384 439 1478008 0 0 11 0 6129 317 20 0 22 0 420111687 8481841152 38711 33554432000 4194304 4196468 140731875919376 140082534136560 140083442870914 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10404] ppid=10365 vsize=8283048 memory=1476 CPUtime=64.69 cores=0-7
/proc/10388/task/10404/stat : 10404 (java) S 10365 10365 10321 0 -1 1077944384 710 1478008 0 0 23 0 6129 317 20 0 22 0 420111687 8481841152 38711 33554432000 4194304 4196468 140731875919376 140082533083760 140083442870914 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10405] ppid=10365 vsize=8283048 memory=119324 CPUtime=64.75 cores=0-7
/proc/10388/task/10405/stat : 10405 (java) S 10365 10365 10321 0 -1 1077944384 1073 1478008 0 0 29 0 6129 317 20 0 22 0 420111687 8481841152 38711 33554432000 4194304 4196468 140731875919376 140082532030960 140083442870914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10406] ppid=10365 vsize=8283048 memory=2277600 CPUtime=64.46 cores=0-7
/proc/10388/task/10406/stat : 10406 (java) S 10365 10365 10321 0 -1 1077944384 3 1478008 0 0 0 0 6129 317 20 0 22 0 420111687 8481841152 38711 33554432000 4194304 4196468 140731875919376 140081029442144 140083442869973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10407] ppid=10365 vsize=8283048 memory=324 CPUtime=64.46 cores=0-7
/proc/10388/task/10407/stat : 10407 (java) S 10365 10365 10321 0 -1 1077944384 3 1478008 0 0 0 0 6129 317 20 0 22 0 420111688 8481841152 38711 33554432000 4194304 4196468 140731875919376 140082530978352 140083442870914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10409] ppid=10365 vsize=8283048 memory=323 CPUtime=64.46 cores=0-7
/proc/10388/task/10409/stat : 10409 (java) S 10365 10365 10321 0 -1 1077944384 25 1478008 0 0 0 0 6129 317 20 0 22 0 420111755 8481841152 38711 33554432000 4194304 4196468 140731875919376 140082522943760 140083442870914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
[pid=10388/tid=10413] ppid=10365 vsize=8283048 memory=0 CPUtime=64.46 cores=0-7
/proc/10388/task/10413/stat : 10413 (java) S 10365 10365 10321 0 -1 1077944384 12 1478008 0 0 0 0 6129 317 20 0 22 0 420111757 8481841152 38711 33554432000 4194304 4196468 140731875919376 140080089916720 140083442870914 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140731875927031 140731875927190 140731875927190 140731875930063 0
Current children cumulated CPU time: 92.75 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 156320 KiB

Child status: 0
Real time (s): 36.1767
CPU time (s): 92.8881
CPU user time (s): 88.2388
CPU system time (s): 4.64935
CPU usage (%): 256.763
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 5948352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.2388
system time used= 4.64935
maximum resident set size= 5948712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1535676
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= 62863
involuntary context switches= 495


# summary of solver processes directly reported to runsolver:
#   pid: 10365
#   total CPU time (s): 92.8881
#   total CPU user time (s): 88.2388
#   total CPU system time (s): 4.64935

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.358557 second user time and 0.394816 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-14 08:18:37
IDJOB=4392310
IDBENCH=138445
IDSOLVER=2838
FILE ID=node146/4392310-1568441958
RUNJOBID= node146-1568441917-10348
PBS_JOBID= 21702343
Free space on /tmp= 59032 MiB

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

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

MD5SUM BENCH= a0db4e7a601eb58dee5216b17e791c99
RANDOM SEED=1043000602

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        31267716 kB
MemAvailable:   31880580 kB
Buffers:          193036 kB
Cached:           683756 kB
SwapCached:         4768 kB
Active:           503060 kB
Inactive:         378964 kB
Active(anon):      21536 kB
Inactive(anon):    22272 kB
Active(file):     481524 kB
Inactive(file):   356692 kB
Unevictable:      110392 kB
Mlocked:          110392 kB
SwapTotal:      67108860 kB
SwapFree:       67000592 kB
Dirty:             20592 kB
Writeback:             0 kB
AnonPages:        116352 kB
Mapped:            41484 kB
Shmem:             29936 kB
Slab:             211136 kB
SReclaimable:     180964 kB
SUnreclaim:        30172 kB
KernelStack:        3280 kB
PageTables:         5280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 59012 MiB
End job on node146 at 2019-09-14 08:19:13