Trace number 4392681

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)UNSAT 17.3983 5.80809

General information on the benchmark

NameMixed/Mixed-xcsp2-cril/
cril-2_X2.xml
MD5SUMe953f4a4989b8abb5ffb897aaba74e21
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.102789
Satisfiable
(Un)Satisfiability was proved
Number of variables208
Number of constraints2032
Number of domains2
Minimum domain size8
Maximum domain size10
Distribution of domain sizes[{"size":8,"count":200},{"size":10,"count":8}]
Minimum variable degree4
Maximum variable degree35
Distribution of variable degrees[{"degree":4,"count":1},{"degree":5,"count":1},{"degree":6,"count":2},{"degree":7,"count":1},{"degree":8,"count":1},{"degree":9,"count":3},{"degree":10,"count":1},{"degree":11,"count":1},{"degree":12,"count":3},{"degree":13,"count":8},{"degree":14,"count":4},{"degree":15,"count":12},{"degree":16,"count":15},{"degree":17,"count":16},{"degree":18,"count":13},{"degree":19,"count":12},{"degree":20,"count":23},{"degree":21,"count":26},{"degree":22,"count":16},{"degree":23,"count":9},{"degree":24,"count":12},{"degree":25,"count":7},{"degree":26,"count":4},{"degree":27,"count":5},{"degree":28,"count":3},{"degree":29,"count":2},{"degree":30,"count":3},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":1},{"degree":35,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":2032}]
Number of extensional constraints2032
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":2032}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-18410-serial-file.bin HOME/instance-4392681-1568420389.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 02:19:09 CEST 2019
0.66/0.57	c PID: 18413
0.66/0.57	c IP: 172.20.3.124
0.66/0.57	c HOST: node124.alineos.net
0.66/0.57	c (0,0) Parsing Begin
3.57/1.35	c (0,0) Parsing End
3.57/1.36	c (0,0) CSP: 208 int (0 aux), 0 bool (0 aux), 2032 ctr, max domain size 10
3.57/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.57/1.36	c (0,0) Constraint Name Generate Begin
3.57/1.38	c (0,0) Ctr:HOME/instance-4392681-1568420389.xml,ExtensionConflict:ExtensionSupport:Var
3.57/1.38	c (0,0) Constraint Name Generate End
3.57/1.38	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.57/1.38	c (0,0) CSP to CSPinCNF Begin
5.31/1.98	c (1,1) translated 204 (10%) constraints
6.18/2.17	c (1,1) translated 407 (20%) constraints
6.97/2.34	c (1,1) translated 610 (30%) constraints
7.38/2.47	c (1,1) translated 813 (40%) constraints
8.19/2.60	c (2,2) translated 1016 (50%) constraints
8.58/2.73	c (2,2) translated 1220 (60%) constraints
8.99/2.85	c (2,2) translated 1423 (70%) constraints
9.27/2.95	c (2,2) translated 1626 (80%) constraints
9.42/3.05	c (2,2) translated 1829 (90%) constraints
10.40/3.36	c (2,2) translated 2032 (100%) constraints
10.40/3.37	c (2,2) ===========================================
10.40/3.39	c (2,2) Hybrid: #OE=409, #LE=0
10.40/3.39	c (2,2) Hybrid
10.40/3.39	c (2,2) ===========================================
10.82/3.46	c (2,2) translated 1840 (10%) constraints
11.23/3.52	c (2,2) translated 3679 (20%) constraints
11.23/3.57	c (3,3) translated 5519 (30%) constraints
11.64/3.63	c (3,3) translated 7358 (40%) constraints
11.64/3.69	c (3,3) translated 9198 (50%) constraints
12.03/3.75	c (3,3) translated 11037 (60%) constraints
12.44/3.80	c (3,3) translated 12877 (70%) constraints
12.44/3.86	c (3,3) translated 14716 (80%) constraints
12.76/3.91	c (3,3) translated 16556 (90%) constraints
12.76/3.97	c (3,3) translated 18395 (100%) constraints
12.76/3.97	c (3,3) CSP to CSPinCNF End
12.76/3.97	c (3,3) CSP: 208 int (0 aux), 201 bool (201 aux), 18395 ctr, max domain size 10
12.76/3.97	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
12.76/3.97	c (3,3) CSPinCNF Propagation Begin
13.59/4.18	c (3,3) 0 values, 4622 unsatisfiable literals, and 21 valid clauses are removed
13.59/4.18	c (3,3) CSPinCNF Propagation End
13.59/4.18	c (3,3) CSP: 208 int (0 aux), 201 bool (201 aux), 18374 ctr, max domain size 10
13.59/4.18	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.96/4.20	c (3,3) Hybrid: #OE=409, #LE=0
13.96/4.20	c (3,3) Simplify CSPinCNF Begin
13.96/4.27	c (3,3) Simplify CSPinCNF End
13.96/4.27	c (3,3) CSP: 208 int (0 aux), 201 bool (201 aux), 18374 ctr, max domain size 10
13.96/4.27	c (3,3) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
13.96/4.27	c (3,3) Calculate Precise Domain Begin
13.96/4.27	c (3,3) 0 values are removed by re-calculation
13.96/4.27	c (3,3) Calculate Precise Domain End
13.96/4.27	c (3,3) CSP: 208 int (0 aux), 201 bool (201 aux), 18374 ctr, max domain size 10
13.96/4.27	c (3,3) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
13.96/4.27	c (3,3) CSPinCNF to SatSolver Begin
14.78/4.43	c (3,3) 1838 (10 %) CSP clauses are encoded (0 SAT variables, 3093 SAT clauses)
14.78/4.49	c (3,3) 3675 (20 %) CSP clauses are encoded (0 SAT variables, 4930 SAT clauses)
15.18/4.54	c (3,3) 5513 (30 %) CSP clauses are encoded (0 SAT variables, 6768 SAT clauses)
15.61/4.78	c (4,4) 7350 (40 %) CSP clauses are encoded (0 SAT variables, 8605 SAT clauses)
15.61/4.78	c (4,4) 9187 (50 %) CSP clauses are encoded (0 SAT variables, 10442 SAT clauses)
15.61/4.78	c (4,4) 11025 (60 %) CSP clauses are encoded (0 SAT variables, 12280 SAT clauses)
15.61/4.78	c (4,4) 12862 (70 %) CSP clauses are encoded (0 SAT variables, 14117 SAT clauses)
15.61/4.79	c (4,4) 14700 (80 %) CSP clauses are encoded (0 SAT variables, 15955 SAT clauses)
15.63/4.81	c (4,4) 16537 (90 %) CSP clauses are encoded (0 SAT variables, 17792 SAT clauses)
15.63/4.84	c (4,4) 18374 (100 %) CSP clauses are encoded (0 SAT variables, 19629 SAT clauses)
15.63/4.84	c (4,4) CSPinCNF to SatSolver End
15.63/4.84	c (4,4) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
15.63/4.84	c (4,4) 1665 bool, 19630 clause
15.63/4.84	c (4,4) Export Begin
15.86/4.96	c (4,4) Export to HOME/scop-18410-serial-file.bin
15.86/4.96	c (4,4) Export End
15.86/4.96	c (4,4) Export File Size: 0.05 MB
15.86/4.96	c (4,4) 0,0,3,3,3,3,4,STOP-AFTER(DIMACS)
15.86/4.96	c END-Prog: Sat Sep 14 02:19:14 CEST 2019
15.86/4.98	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18410-serial-file.bin
16.57/5.44	c (0,0) Read Serial File Begin
16.57/5.44	c (0,0) HOME/scop-18410-serial-file.bin
16.85/5.68	c (0,0) Read Serial File End
16.85/5.70	
16.85/5.70	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
16.85/5.70	(Solving Process)
16.85/5.70	
17.04/5.72	c BEGIN-Prog: Sat Sep 14 02:19:14 CEST 2019
17.04/5.72	c PID: 18433
17.04/5.72	c IP: 172.20.3.124
17.04/5.72	c HOST: node124.alineos.net
17.04/5.72	c (0,0) SatSolver.solve Begin
17.04/5.72	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392681-1568420389.xml-scop-18413.cnf
17.04/5.75	c (0,0) c
17.04/5.75	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)
17.04/5.75	c (0,0) c
17.04/5.75	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
17.04/5.75	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
17.04/5.75	c (0,0) c ========================================[ Problem Statistics ]===========================================
17.04/5.75	c (0,0) c |                                                                                                       |
17.04/5.75	c (0,0) c |  Number of variables:          1665                                                                   |
17.04/5.75	c (0,0) c |  Number of clauses:           19604                                                                   |
17.04/5.75	c (0,0) c |  Parse time:                   0.01 s                                                                 |
17.04/5.75	c (0,0) c |                                                                                                       |
17.04/5.76	c (0,0) c |  Simplification time:          0.01 s                                                                 |
17.04/5.77	c (0,0) c |                                                                                                       |
17.04/5.77	c (0,0) c |  Generating clones                                                                                    |
17.04/5.77	c (0,0) c |  all clones generated. Memory =    32.90Mb.                                                           |
17.04/5.77	c (0,0) c ========================================================================================================|
17.04/5.77	c (0,0) c
17.04/5.77	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
17.04/5.77	c (0,0) c
17.04/5.77	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.04/5.77	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.04/5.77	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.04/5.77	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
17.04/5.77	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
17.04/5.77	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
17.04/5.77	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
17.04/5.77	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
17.04/5.77	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
17.04/5.77	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
17.04/5.77	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
17.04/5.77	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
17.04/5.77	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
17.04/5.77	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
17.04/5.77	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
17.04/5.77	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
17.04/5.77	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
17.04/5.77	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
17.04/5.77	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.04/5.77	c (0,0) c
17.04/5.77	c (0,0) c real time : 0.0300951 s
17.04/5.77	c (0,0) c cpu time  : 0.028131 s
17.04/5.77	c (0,0) c
17.04/5.77	c (0,0) c
17.04/5.77	c (0,0) c
17.04/5.77	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
17.04/5.77	c (0,0) c
17.04/5.77	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.04/5.77	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.04/5.77	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.04/5.77	c (0,0) c | Conflicts     |             133 |         14 |         25 |         17 |         23 |         16 |         21 |          0 |         17 |
17.04/5.77	c (0,0) c | Decisions     |             282 |         14 |         35 |         67 |         41 |         24 |         42 |          0 |         59 |
17.04/5.77	c (0,0) c | Propagations  |            4752 |        384 |        541 |        783 |        917 |        440 |        973 |          0 |        714 |
17.04/5.77	c (0,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.04/5.77	c (0,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
17.04/5.77	c (0,0) c | Restarts      |               7 |          1 |          1 |          1 |          1 |          1 |          1 |          0 |          1 |
17.04/5.78	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.04/5.78	c (0,0) c | PropBinClauses|            8310 |        810 |       1078 |       1222 |       1490 |        716 |       1828 |          0 |       1166 |
17.04/5.78	c (0,0) c | PropPreBlocker|           34136 |       2888 |       3696 |       6702 |       6116 |       2710 |       6536 |          1 |       5487 |
17.04/5.78	c (0,0) c | PropNotBlocker|           20163 |       1937 |       2408 |       3776 |       3460 |       1729 |       3545 |          1 |       3307 |
17.04/5.78	c (0,0) c | LitFullScans  |           72743 |       6734 |       8687 |      13247 |      12973 |       6178 |      13674 |          2 |      11248 |
17.04/5.78	c (0,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.04/5.78	c (0,0) c | DecisionLevel0|              38 |          4 |          4 |          5 |          6 |          8 |          5 |          0 |          6 |
17.04/5.78	c (0,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.04/5.78	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
17.04/5.78	c (0,0) c | Avg_Trail     |                 |         65 |         56 |        188 |        115 |         59 |         85 |          0 |        128 |
17.04/5.78	c (0,0) c | Avg_DL        |                 |          3 |          3 |         27 |          9 |          2 |          5 |          0 |         15 |
17.04/5.78	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.04/5.78	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.04/5.78	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.04/5.78	c (0,0) c | Exported      |              41 |          4 |          8 |          6 |          5 |          4 |          9 |          0 |          5 |
17.04/5.78	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.04/5.78	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.04/5.78	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.04/5.78	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.04/5.78	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.04/5.78	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.04/5.78	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.04/5.78	c (0,0) c | Unaries       |                 |          3 |          3 |          4 |          5 |          7 |          4 |          0 |          5 |
17.04/5.78	c (0,0) c | Binaries      |                 |          3 |          3 |          4 |          4 |          2 |          8 |          0 |          2 |
17.04/5.78	c (0,0) c | Glues         |                 |          4 |          8 |          6 |          5 |          4 |          9 |          0 |          5 |
17.04/5.78	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.04/5.78	c (0,0) c | Orig_Seen     |             0 % |        172 |        162 |        187 |        206 |        133 |        202 |          0 |        163 |
17.04/5.78	c (0,0) c | Diff Orig seen|                 |      X     | -       10 |         15 |         34 | -       39 |         30 | -      172 | -        9 |
17.04/5.78	c (0,0) c | Hamming       |             3 % |      X     |         48 |         81 |         58 |         54 |         53 |         64 |         60 |
17.04/5.78	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.04/5.78	c (0,0) c | RunningTime   |                 |    0.0  99%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0  99%|    0.0  99%|    0.0 100%|    0.0 100%|
17.04/5.78	c (0,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%|
17.04/5.78	c (0,0) c | ExchangingTime|                 |    0.0   1%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   1%|    0.0   1%|    0.0   0%|    0.0   0%|
17.04/5.78	c (0,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%|
17.04/5.78	c (0,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
17.04/5.78	c (0,0) c | PropagationTim|                 |    0.0  67%|    0.0  75%|    0.0  88%|    0.0  78%|    0.0  71%|    0.0  88%|    0.0   0%|    0.0  92%|
17.04/5.78	c (0,0) c | AnalysisTime  |                 |    0.0   6%|    0.0   5%|    0.0   2%|    0.0   6%|    0.0   5%|    0.0   3%|    0.0   0%|    0.0   4%|
17.04/5.78	c (0,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%|
17.04/5.78	c (0,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%|
17.04/5.78	c (0,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%|
17.04/5.78	c (0,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%|
17.04/5.78	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.04/5.78	c (0,0) c
17.04/5.78	c (0,0) c
17.04/5.78	c (0,0) c Threads : 8
17.04/5.78	c (0,0) c Winner : 0
17.04/5.78	c (0,0) c Conflicts_0 : 14
17.04/5.78	c (0,0) c Conflicts_1 : 25
17.04/5.78	c (0,0) c Conflicts_2 : 17
17.04/5.78	c (0,0) c Conflicts_3 : 23
17.04/5.78	c (0,0) c Conflicts_4 : 16
17.04/5.78	c (0,0) c Conflicts_5 : 21
17.04/5.78	c (0,0) c Conflicts_6 : 0
17.04/5.78	c (0,0) c Conflicts_7 : 17
17.04/5.78	c (0,0) c Conflicts_total : 133
17.04/5.78	c (0,0) c Conflicts_winner : 14
17.04/5.78	c (0,0) c Decisions_0 : 14
17.04/5.78	c (0,0) c Decisions_1 : 35
17.04/5.78	c (0,0) c Decisions_2 : 67
17.04/5.78	c (0,0) c Decisions_3 : 41
17.04/5.78	c (0,0) c Decisions_4 : 24
17.04/5.78	c (0,0) c Decisions_5 : 42
17.04/5.78	c (0,0) c Decisions_6 : 0
17.04/5.78	c (0,0) c Decisions_7 : 59
17.04/5.78	c (0,0) c Decisions_total : 282
17.04/5.78	c (0,0) c Decisions_winner : 14
17.04/5.78	c (0,0) c Propagations_0 : 384
17.04/5.78	c (0,0) c Propagations_1 : 541
17.04/5.78	c (0,0) c Propagations_2 : 783
17.04/5.78	c (0,0) c Propagations_3 : 917
17.04/5.78	c (0,0) c Propagations_4 : 440
17.04/5.78	c (0,0) c Propagations_5 : 973
17.04/5.78	c (0,0) c Propagations_6 : 0
17.04/5.78	c (0,0) c Propagations_7 : 714
17.04/5.78	c (0,0) c Propagations_total : 4752
17.04/5.78	c (0,0) c Propagations_winner : 384
17.04/5.78	c (0,0) c ReduceDBs_0 : 0
17.04/5.78	c (0,0) c ReduceDBs_1 : 0
17.04/5.78	c (0,0) c ReduceDBs_2 : 0
17.04/5.78	c (0,0) c ReduceDBs_3 : 0
17.04/5.78	c (0,0) c ReduceDBs_4 : 0
17.04/5.78	c (0,0) c ReduceDBs_5 : 0
17.04/5.78	c (0,0) c ReduceDBs_6 : 0
17.04/5.78	c (0,0) c ReduceDBs_7 : 0
17.04/5.78	c (0,0) c ReduceDBs_total : 0
17.04/5.78	c (0,0) c ReduceDBs_winner : 0
17.04/5.78	c (0,0) c SimpDBs_0 : 1
17.04/5.78	c (0,0) c SimpDBs_1 : 1
17.04/5.78	c (0,0) c SimpDBs_2 : 1
17.04/5.78	c (0,0) c SimpDBs_3 : 1
17.04/5.78	c (0,0) c SimpDBs_4 : 1
17.04/5.78	c (0,0) c SimpDBs_5 : 1
17.04/5.78	c (0,0) c SimpDBs_6 : 1
17.04/5.78	c (0,0) c SimpDBs_7 : 1
17.04/5.78	c (0,0) c SimpDBs_total : 8
17.04/5.78	c (0,0) c SimpDBs_winner : 1
17.04/5.78	c (0,0) c Restarts_0 : 1
17.04/5.78	c (0,0) c Restarts_1 : 1
17.04/5.78	c (0,0) c Restarts_2 : 1
17.04/5.78	c (0,0) c Restarts_3 : 1
17.04/5.78	c (0,0) c Restarts_4 : 1
17.04/5.78	c (0,0) c Restarts_5 : 1
17.04/5.78	c (0,0) c Restarts_6 : 0
17.04/5.78	c (0,0) c Restarts_7 : 1
17.04/5.78	c (0,0) c Restarts_total : 7
17.04/5.78	c (0,0) c Restarts_winner : 1
17.04/5.78	c (0,0) c ForcedImports_0 : 0
17.04/5.78	c (0,0) c ForcedImports_1 : 0
17.04/5.78	c (0,0) c ForcedImports_2 : 0
17.04/5.78	c (0,0) c ForcedImports_3 : 0
17.04/5.78	c (0,0) c ForcedImports_4 : 0
17.04/5.78	c (0,0) c ForcedImports_5 : 0
17.04/5.78	c (0,0) c ForcedImports_6 : 0
17.04/5.78	c (0,0) c ForcedImports_7 : 0
17.04/5.78	c (0,0) c ForcedImports_total : 0
17.04/5.78	c (0,0) c ForcedImports_winner : 0
17.04/5.78	c (0,0) c PropsBinClauses_0 : 810
17.04/5.78	c (0,0) c PropsBinClauses_1 : 1078
17.04/5.78	c (0,0) c PropsBinClauses_2 : 1222
17.04/5.78	c (0,0) c PropsBinClauses_3 : 1490
17.04/5.78	c (0,0) c PropsBinClauses_4 : 716
17.04/5.78	c (0,0) c PropsBinClauses_5 : 1828
17.04/5.78	c (0,0) c PropsBinClauses_6 : 0
17.04/5.78	c (0,0) c PropsBinClauses_7 : 1166
17.04/5.78	c (0,0) c PropsBinClauses_total : 8310
17.04/5.78	c (0,0) c PropsBinClauses_winner : 810
17.04/5.78	c (0,0) c PropsPreBlocker_0 : 2888
17.04/5.78	c (0,0) c PropsPreBlocker_1 : 3696
17.04/5.78	c (0,0) c PropsPreBlocker_2 : 6702
17.04/5.78	c (0,0) c PropsPreBlocker_3 : 6116
17.04/5.78	c (0,0) c PropsPreBlocker_4 : 2710
17.04/5.78	c (0,0) c PropsPreBlocker_5 : 6536
17.04/5.78	c (0,0) c PropsPreBlocker_6 : 1
17.04/5.78	c (0,0) c PropsPreBlocker_7 : 5487
17.04/5.78	c (0,0) c PropsPreBlocker_total : 34136
17.04/5.78	c (0,0) c PropsPreBlocker_winner : 2888
17.04/5.78	c (0,0) c PropsNotBlocker_0 : 1937
17.04/5.78	c (0,0) c PropsNotBlocker_1 : 2408
17.04/5.78	c (0,0) c PropsNotBlocker_2 : 3776
17.04/5.78	c (0,0) c PropsNotBlocker_3 : 3460
17.04/5.78	c (0,0) c PropsNotBlocker_4 : 1729
17.04/5.78	c (0,0) c PropsNotBlocker_5 : 3545
17.04/5.78	c (0,0) c PropsNotBlocker_6 : 1
17.04/5.78	c (0,0) c PropsNotBlocker_7 : 3307
17.04/5.78	c (0,0) c PropsNotBlocker_total : 20163
17.04/5.78	c (0,0) c PropsNotBlocker_winner : 1937
17.04/5.78	c (0,0) c PropsLitFullScans_0 : 6734
17.04/5.78	c (0,0) c PropsLitFullScans_1 : 8687
17.04/5.78	c (0,0) c PropsLitFullScans_2 : 13247
17.04/5.78	c (0,0) c PropsLitFullScans_3 : 12973
17.04/5.78	c (0,0) c PropsLitFullScans_4 : 6178
17.04/5.78	c (0,0) c PropsLitFullScans_5 : 13674
17.04/5.78	c (0,0) c PropsLitFullScans_6 : 2
17.04/5.78	c (0,0) c PropsLitFullScans_7 : 11248
17.04/5.78	c (0,0) c PropsLitFullScans_total : 72743
17.04/5.78	c (0,0) c PropsLitFullScans_winner : 6734
17.04/5.78	c (0,0) c LitScanFractions_0 : 0
17.04/5.78	c (0,0) c LitScanFractions_1 : 0
17.04/5.78	c (0,0) c LitScanFractions_2 : 0
17.04/5.78	c (0,0) c LitScanFractions_3 : 0
17.04/5.78	c (0,0) c LitScanFractions_4 : 0
17.04/5.78	c (0,0) c LitScanFractions_5 : 0
17.04/5.78	c (0,0) c LitScanFractions_6 : 0
17.04/5.78	c (0,0) c LitScanFractions_7 : 0
17.04/5.78	c (0,0) c LitScanFractions_total : 0
17.04/5.78	c (0,0) c LitScanFractions_winner : 0
17.04/5.78	c (0,0) c DecisionLevel0_0 : 4
17.04/5.78	c (0,0) c DecisionLevel0_1 : 4
17.04/5.78	c (0,0) c DecisionLevel0_2 : 5
17.04/5.78	c (0,0) c DecisionLevel0_3 : 6
17.04/5.78	c (0,0) c DecisionLevel0_4 : 8
17.04/5.78	c (0,0) c DecisionLevel0_5 : 5
17.04/5.78	c (0,0) c DecisionLevel0_6 : 0
17.04/5.78	c (0,0) c DecisionLevel0_7 : 6
17.04/5.78	c (0,0) c DecisionLevel0_total : 38
17.04/5.78	c (0,0) c DecisionLevel0_winner : 4
17.04/5.78	c (0,0) c Periods_0 : 0
17.04/5.78	c (0,0) c Periods_1 : 0
17.04/5.78	c (0,0) c Periods_2 : 0
17.04/5.78	c (0,0) c Periods_3 : 0
17.04/5.78	c (0,0) c Periods_4 : 0
17.04/5.78	c (0,0) c Periods_5 : 0
17.04/5.78	c (0,0) c Periods_6 : 0
17.04/5.78	c (0,0) c Periods_7 : 0
17.04/5.78	c (0,0) c Periods_total : 0
17.04/5.78	c (0,0) c Periods_winner : 0
17.04/5.78	c (0,0) c Margin_0 : 20
17.04/5.78	c (0,0) c Margin_1 : 20
17.04/5.78	c (0,0) c Margin_2 : 20
17.04/5.78	c (0,0) c Margin_3 : 20
17.04/5.78	c (0,0) c Margin_4 : 20
17.04/5.78	c (0,0) c Margin_5 : 20
17.04/5.78	c (0,0) c Margin_6 : 20
17.04/5.78	c (0,0) c Margin_7 : 20
17.04/5.78	c (0,0) c Margin_total : 160
17.04/5.78	c (0,0) c Margin_winner : 20
17.04/5.78	c (0,0) c Exported_0 : 4
17.04/5.78	c (0,0) c Exported_1 : 8
17.04/5.78	c (0,0) c Exported_2 : 6
17.04/5.78	c (0,0) c Exported_3 : 5
17.04/5.78	c (0,0) c Exported_4 : 4
17.04/5.78	c (0,0) c Exported_5 : 9
17.04/5.78	c (0,0) c Exported_6 : 0
17.04/5.78	c (0,0) c Exported_7 : 5
17.04/5.78	c (0,0) c Exported_total : 41
17.04/5.78	c (0,0) c Exported_winner : 4
17.04/5.78	c (0,0) c Imported_0 : 0
17.04/5.78	c (0,0) c Imported_1 : 0
17.04/5.78	c (0,0) c Imported_2 : 0
17.04/5.78	c (0,0) c Imported_3 : 0
17.04/5.78	c (0,0) c Imported_4 : 0
17.04/5.78	c (0,0) c Imported_5 : 0
17.04/5.78	c (0,0) c Imported_6 : 0
17.04/5.78	c (0,0) c Imported_7 : 0
17.04/5.78	c (0,0) c Imported_total : 0
17.04/5.78	c (0,0) c Imported_winner : 0
17.04/5.78	c (0,0) c Good_0 : 0
17.04/5.78	c (0,0) c Good_1 : 0
17.04/5.78	c (0,0) c Good_2 : 0
17.04/5.78	c (0,0) c Good_3 : 0
17.04/5.78	c (0,0) c Good_4 : 0
17.04/5.78	c (0,0) c Good_5 : 0
17.04/5.78	c (0,0) c Good_6 : 0
17.04/5.78	c (0,0) c Good_7 : 0
17.04/5.78	c (0,0) c Good_total : 0
17.04/5.78	c (0,0) c Good_winner : 0
17.04/5.78	c (0,0) c Purge_0 : 0
17.04/5.78	c (0,0) c Purge_1 : 0
17.04/5.78	c (0,0) c Purge_2 : 0
17.04/5.78	c (0,0) c Purge_3 : 0
17.04/5.78	c (0,0) c Purge_4 : 0
17.04/5.78	c (0,0) c Purge_5 : 0
17.04/5.78	c (0,0) c Purge_6 : 0
17.04/5.78	c (0,0) c Purge_7 : 0
17.04/5.78	c (0,0) c Purge_total : 0
17.04/5.78	c (0,0) c Purge_winner : 0
17.04/5.78	c (0,0) c Promoted_0 : 0
17.04/5.78	c (0,0) c Promoted_1 : 0
17.04/5.78	c (0,0) c Promoted_2 : 0
17.04/5.78	c (0,0) c Promoted_3 : 0
17.04/5.78	c (0,0) c Promoted_4 : 0
17.04/5.78	c (0,0) c Promoted_5 : 0
17.04/5.78	c (0,0) c Promoted_6 : 0
17.04/5.78	c (0,0) c Promoted_7 : 0
17.04/5.78	c (0,0) c Promoted_total : 0
17.04/5.78	c (0,0) c Promoted_winner : 0
17.04/5.78	c (0,0) c Remove_Imp_0 : 0
17.04/5.78	c (0,0) c Remove_Imp_1 : 0
17.04/5.78	c (0,0) c Remove_Imp_2 : 0
17.04/5.78	c (0,0) c Remove_Imp_3 : 0
17.04/5.78	c (0,0) c Remove_Imp_4 : 0
17.04/5.78	c (0,0) c Remove_Imp_5 : 0
17.04/5.78	c (0,0) c Remove_Imp_6 : 0
17.04/5.78	c (0,0) c Remove_Imp_7 : 0
17.04/5.78	c (0,0) c Remove_Imp_total : 0
17.04/5.78	c (0,0) c Remove_Imp_winner : 0
17.04/5.78	c (0,0) c Blocked_Reuse_0 : 0
17.04/5.78	c (0,0) c Blocked_Reuse_1 : 0
17.04/5.79	c (0,0) c Blocked_Reuse_2 : 0
17.04/5.79	c (0,0) c Blocked_Reuse_3 : 0
17.04/5.79	c (0,0) c Blocked_Reuse_4 : 0
17.04/5.79	c (0,0) c Blocked_Reuse_5 : 0
17.04/5.79	c (0,0) c Blocked_Reuse_6 : 0
17.04/5.79	c (0,0) c Blocked_Reuse_7 : 0
17.04/5.79	c (0,0) c Blocked_Reuse_total : 0
17.04/5.79	c (0,0) c Blocked_Reuse_winner : 0
17.04/5.79	c (0,0) c Unaries_0 : 3
17.04/5.79	c (0,0) c Unaries_1 : 3
17.04/5.79	c (0,0) c Unaries_2 : 4
17.04/5.79	c (0,0) c Unaries_3 : 5
17.04/5.79	c (0,0) c Unaries_4 : 7
17.04/5.79	c (0,0) c Unaries_5 : 4
17.04/5.79	c (0,0) c Unaries_6 : 0
17.04/5.79	c (0,0) c Unaries_7 : 5
17.04/5.79	c (0,0) c Unaries_total : 31
17.04/5.79	c (0,0) c Unaries_winner : 3
17.04/5.79	c (0,0) c Binaries_0 : 3
17.04/5.79	c (0,0) c Binaries_1 : 3
17.04/5.79	c (0,0) c Binaries_2 : 4
17.04/5.79	c (0,0) c Binaries_3 : 4
17.04/5.79	c (0,0) c Binaries_4 : 2
17.04/5.79	c (0,0) c Binaries_5 : 8
17.04/5.79	c (0,0) c Binaries_6 : 0
17.04/5.79	c (0,0) c Binaries_7 : 2
17.04/5.79	c (0,0) c Binaries_total : 26
17.04/5.79	c (0,0) c Binaries_winner : 3
17.04/5.79	c (0,0) c Glues_0 : 4
17.04/5.79	c (0,0) c Glues_1 : 8
17.04/5.79	c (0,0) c Glues_2 : 6
17.04/5.79	c (0,0) c Glues_3 : 5
17.04/5.79	c (0,0) c Glues_4 : 4
17.04/5.79	c (0,0) c Glues_5 : 9
17.04/5.79	c (0,0) c Glues_6 : 0
17.04/5.79	c (0,0) c Glues_7 : 5
17.04/5.79	c (0,0) c Glues_total : 41
17.04/5.79	c (0,0) c Glues_winner : 4
17.04/5.79	c (0,0) c RunningTime_0 : 0.000477
17.04/5.79	c (0,0) c RunningTime_1 : 0.000782
17.04/5.79	c (0,0) c RunningTime_2 : 0.001306
17.04/5.79	c (0,0) c RunningTime_3 : 0.000895
17.04/5.79	c (0,0) c RunningTime_4 : 0.000523
17.04/5.79	c (0,0) c RunningTime_5 : 0.001238
17.04/5.79	c (0,0) c RunningTime_6 : 0.000002
17.04/5.79	c (0,0) c RunningTime_7 : 0.000729
17.04/5.79	c (0,0) c RunningTime_total : 0.005953
17.04/5.79	c (0,0) c RunningTime_winner : 0.000477
17.04/5.79	c (0,0) c WaitingTime_0 : 0.000000
17.04/5.79	c (0,0) c WaitingTime_1 : 0.000000
17.04/5.79	c (0,0) c WaitingTime_2 : 0.000000
17.04/5.79	c (0,0) c WaitingTime_3 : 0.000000
17.04/5.79	c (0,0) c WaitingTime_4 : 0.000000
17.04/5.79	c (0,0) c WaitingTime_5 : 0.000000
17.04/5.79	c (0,0) c WaitingTime_6 : 0.000000
17.04/5.79	c (0,0) c WaitingTime_7 : 0.000000
17.04/5.79	c (0,0) c WaitingTime_total : 0.000000
17.04/5.79	c (0,0) c WaitingTime_winner : 0.000000
17.04/5.79	c (0,0) c ExchangingTime_0 : 0.000003
17.04/5.79	c (0,0) c ExchangingTime_1 : 0.000003
17.04/5.79	c (0,0) c ExchangingTime_2 : 0.000000
17.04/5.79	c (0,0) c ExchangingTime_3 : 0.000003
17.04/5.79	c (0,0) c ExchangingTime_4 : 0.000003
17.04/5.79	c (0,0) c ExchangingTime_5 : 0.000009
17.04/5.79	c (0,0) c ExchangingTime_6 : 0.000000
17.04/5.79	c (0,0) c ExchangingTime_7 : 0.000003
17.04/5.79	c (0,0) c ExchangingTime_total : 0.000023
17.04/5.79	c (0,0) c ExchangingTime_winner : 0.000003
17.04/5.79	c (0,0) c PeriodProcTime_0 : 0.000000
17.04/5.79	c (0,0) c PeriodProcTime_1 : 0.000000
17.04/5.79	c (0,0) c PeriodProcTime_2 : 0.000000
17.04/5.79	c (0,0) c PeriodProcTime_3 : 0.000000
17.04/5.79	c (0,0) c PeriodProcTime_4 : 0.000000
17.04/5.79	c (0,0) c PeriodProcTime_5 : 0.000000
17.04/5.79	c (0,0) c PeriodProcTime_6 : 0.000000
17.04/5.79	c (0,0) c PeriodProcTime_7 : 0.000000
17.04/5.79	c (0,0) c PeriodProcTime_total : 0.000000
17.04/5.79	c (0,0) c PeriodProcTime_winner : 0.000000
17.04/5.79	c (0,0) c SolvingTime_0 : 0.000480
17.04/5.79	c (0,0) c SolvingTime_1 : 0.000785
17.04/5.79	c (0,0) c SolvingTime_2 : 0.001306
17.04/5.79	c (0,0) c SolvingTime_3 : 0.000898
17.04/5.79	c (0,0) c SolvingTime_4 : 0.000526
17.04/5.79	c (0,0) c SolvingTime_5 : 0.001247
17.04/5.79	c (0,0) c SolvingTime_6 : 0.000002
17.04/5.79	c (0,0) c SolvingTime_7 : 0.000732
17.04/5.79	c (0,0) c SolvingTime_total : 0.005976
17.04/5.79	c (0,0) c SolvingTime_winner : 0.000480
17.04/5.79	c (0,0) c PropagationTime_0 : 0.000322
17.04/5.79	c (0,0) c PropagationTime_1 : 0.000590
17.04/5.79	c (0,0) c PropagationTime_2 : 0.001155
17.04/5.79	c (0,0) c PropagationTime_3 : 0.000698
17.04/5.79	c (0,0) c PropagationTime_4 : 0.000376
17.04/5.79	c (0,0) c PropagationTime_5 : 0.001092
17.04/5.79	c (0,0) c PropagationTime_6 : 0.000000
17.04/5.79	c (0,0) c PropagationTime_7 : 0.000676
17.04/5.79	c (0,0) c PropagationTime_total : 0.004909
17.04/5.79	c (0,0) c PropagationTime_winner : 0.000322
17.04/5.79	c (0,0) c AnalysisTime_0 : 0.000028
17.04/5.79	c (0,0) c AnalysisTime_1 : 0.000040
17.04/5.79	c (0,0) c AnalysisTime_2 : 0.000029
17.04/5.79	c (0,0) c AnalysisTime_3 : 0.000053
17.04/5.79	c (0,0) c AnalysisTime_4 : 0.000026
17.04/5.79	c (0,0) c AnalysisTime_5 : 0.000041
17.04/5.79	c (0,0) c AnalysisTime_6 : 0.000000
17.04/5.79	c (0,0) c AnalysisTime_7 : 0.000027
17.04/5.79	c (0,0) c AnalysisTime_total : 0.000244
17.04/5.79	c (0,0) c AnalysisTime_winner : 0.000028
17.04/5.79	c (0,0) c ReductionTime_0 : 0.000000
17.04/5.79	c (0,0) c ReductionTime_1 : 0.000000
17.04/5.79	c (0,0) c ReductionTime_2 : 0.000000
17.04/5.79	c (0,0) c ReductionTime_3 : 0.000000
17.04/5.79	c (0,0) c ReductionTime_4 : 0.000000
17.04/5.79	c (0,0) c ReductionTime_5 : 0.000000
17.04/5.79	c (0,0) c ReductionTime_6 : 0.000000
17.04/5.79	c (0,0) c ReductionTime_7 : 0.000000
17.04/5.79	c (0,0) c ReductionTime_total : 0.000000
17.04/5.79	c (0,0) c ReductionTime_winner : 0.000000
17.04/5.79	c (0,0) c SimplifyTime_0 : 0.000001
17.04/5.79	c (0,0) c SimplifyTime_1 : 0.000000
17.04/5.79	c (0,0) c SimplifyTime_2 : 0.000000
17.04/5.79	c (0,0) c SimplifyTime_3 : 0.000000
17.04/5.79	c (0,0) c SimplifyTime_4 : 0.000000
17.04/5.79	c (0,0) c SimplifyTime_5 : 0.000001
17.04/5.79	c (0,0) c SimplifyTime_6 : 0.000000
17.04/5.79	c (0,0) c SimplifyTime_7 : 0.000001
17.04/5.79	c (0,0) c SimplifyTime_total : 0.000003
17.04/5.79	c (0,0) c SimplifyTime_winner : 0.000001
17.04/5.79	c (0,0) c UsedRateTime_0 : 0.000000
17.04/5.79	c (0,0) c UsedRateTime_1 : 0.000000
17.04/5.79	c (0,0) c UsedRateTime_2 : 0.000000
17.04/5.79	c (0,0) c UsedRateTime_3 : 0.000000
17.04/5.79	c (0,0) c UsedRateTime_4 : 0.000000
17.04/5.79	c (0,0) c UsedRateTime_5 : 0.000000
17.04/5.79	c (0,0) c UsedRateTime_6 : 0.000000
17.04/5.79	c (0,0) c UsedRateTime_7 : 0.000000
17.04/5.79	c (0,0) c UsedRateTime_total : 0.000000
17.04/5.79	c (0,0) c UsedRateTime_winner : 0.000000
17.04/5.79	c (0,0) c OverlapRateTime_0 : 0.000000
17.04/5.79	c (0,0) c OverlapRateTime_1 : 0.000000
17.04/5.79	c (0,0) c OverlapRateTime_2 : 0.000000
17.04/5.79	c (0,0) c OverlapRateTime_3 : 0.000000
17.04/5.79	c (0,0) c OverlapRateTime_4 : 0.000000
17.04/5.79	c (0,0) c OverlapRateTime_5 : 0.000000
17.04/5.79	c (0,0) c OverlapRateTime_6 : 0.000000
17.04/5.79	c (0,0) c OverlapRateTime_7 : 0.000000
17.04/5.79	c (0,0) c OverlapRateTime_total : 0.000000
17.04/5.79	c (0,0) c OverlapRateTime_winner : 0.000000
17.04/5.79	c (0,0) c
17.04/5.79	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
17.04/5.79	c (0,0) c
17.04/5.79	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.04/5.79	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.04/5.79	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.04/5.79	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
17.04/5.79	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
17.04/5.79	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
17.04/5.79	c (0,0) c | Initial random_seed   | 1728706671 |  656909969 | 1147077437 |  897781419 |   16046959 | 1826232360 |   91648259 |  296632794 |
17.04/5.79	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
17.04/5.79	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
17.04/5.79	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
17.04/5.79	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
17.04/5.79	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
17.04/5.79	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
17.04/5.79	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
17.04/5.79	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
17.04/5.79	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
17.04/5.79	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
17.04/5.79	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
17.04/5.79	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.04/5.79	c (0,0) 
17.04/5.79	c (0,0) s UNSATISFIABLE
17.04/5.79	c (0,0) SatSolver.solve End
17.04/5.79	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.04/5.79	c (0,0) Show results Begin
17.04/5.79	s UNSATISFIABLE
17.04/5.79	c (0,0) Show results End
17.04/5.79	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.04/5.80	c (0,0) 0,0,STOP-AFTER(ALL)
17.04/5.80	c END-Prog: Sat Sep 14 02:19:15 CEST 2019

Verifier Data


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

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


[startup+0.100137 s]*
/proc/loadavg: 7.03 7.83 7.75 3/211 18432
/proc/meminfo: memFree=28684656/32770624 swapFree=66959224/67108860
[pid=18410] ppid=18407 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18410/stat : 18410 (scop.sh) S 18407 18410 16408 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417979039 115843072 349 33554432000 4194304 5098028 140722682529216 140722682526472 139851132007036 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13504512 140722682532644 140722682532972 140722682532972 140722682535885 0
/proc/18410/statm: 28282 349 296 221 0 87 0
[pid=18413] ppid=18410 vsize=27314120 memory=105588 CPUtime=0.1 cores=0-7
/proc/18413/stat : 18413 (java) S 18410 18410 16408 0 -1 1077944320 6431 0 0 0 8 2 0 0 20 0 20 0 417979040 27969658880 26397 33554432000 4194304 4196468 140732722679152 140732722661696 139884953808631 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
/proc/18413/statm: 6828530 26397 2817 1 0 6790935 0
[pid=18413/tid=18414] ppid=18410 vsize=27314120 memory=7970415248654900376 CPUtime=0.09 cores=0-7
/proc/18413/task/18414/stat : 18414 (java) R 18410 18410 16408 0 -1 4202560 4506 0 0 0 7 2 0 0 20 0 20 0 417979040 27969658880 26397 33554432000 4194304 4196468 140732722679152 139884925634960 139884946045758 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18415] ppid=18410 vsize=27314120 memory=732370530841160677 CPUtime=0 cores=0-7
/proc/18413/task/18415/stat : 18415 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 26397 33554432000 4194304 4196468 140732722679152 139884958050832 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18416] ppid=18410 vsize=27314120 memory=140392503707264 CPUtime=0 cores=0-7
/proc/18413/task/18416/stat : 18416 (java) S 18410 18410 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 26397 33554432000 4194304 4196468 140732722679152 139884741446288 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18417] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18417/stat : 18417 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 26397 33554432000 4194304 4196468 140732722679152 139884740393232 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18418] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18418/stat : 18418 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 26397 33554432000 4194304 4196468 140732722679152 139884739340688 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18419] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18419/stat : 18419 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 26397 33554432000 4194304 4196468 140732722679152 139884738288656 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18420] ppid=18410 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18413/task/18420/stat : 18420 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 26397 33554432000 4194304 4196468 140732722679152 139884737236112 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18421] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18421/stat : 18421 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 26397 33554432000 4194304 4196468 140732722679152 139884371106576 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18422] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18422/stat : 18422 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 26397 33554432000 4194304 4196468 140732722679152 139884370054032 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18423] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18423/stat : 18423 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979044 27969658880 26397 33554432000 4194304 4196468 140732722679152 139883474548976 139884953819778 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18424] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18424/stat : 18424 (java) S 18410 18410 16408 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417979044 27969658880 26397 33554432000 4194304 4196468 140732722679152 139882588529824 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18425] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18425/stat : 18425 (java) S 18410 18410 16408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417979045 27969658880 26397 33554432000 4194304 4196468 140732722679152 139882454307568 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18426] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18426/stat : 18426 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979047 27969658880 26397 33554432000 4194304 4196468 140732722679152 139882079803344 139884953827227 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18427] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18427/stat : 18427 (java) S 18410 18410 16408 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 417979047 27969658880 26397 33554432000 4194304 4196468 140732722679152 139883473496816 139884953819778 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18428] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18428/stat : 18428 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979047 27969658880 26397 33554432000 4194304 4196468 140732722679152 139883472444272 139884953819778 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18429] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18429/stat : 18429 (java) S 18410 18410 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417979047 27969658880 26397 33554432000 4194304 4196468 140732722679152 139883471391216 139884953819778 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18430] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18430/stat : 18430 (java) S 18410 18410 16408 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 20 0 417979047 27969658880 26397 33554432000 4194304 4196468 140732722679152 139883470338672 139884953819778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18431] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18431/stat : 18431 (java) S 18410 18410 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417979047 27969658880 26397 33554432000 4194304 4196468 140732722679152 139881581898208 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18432] ppid=18410 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18413/task/18432/stat : 18432 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979048 27969658880 26397 33554432000 4194304 4196468 140732722679152 139883469286064 139884953819778 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106984 KiB

[startup+0.210066 s]*
/proc/loadavg: 7.03 7.83 7.75 2/211 18432
/proc/meminfo: memFree=28663036/32770624 swapFree=66959224/67108860
[pid=18410] ppid=18407 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18410/stat : 18410 (scop.sh) S 18407 18410 16408 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417979039 115843072 349 33554432000 4194304 5098028 140722682529216 140722682526472 139851132007036 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13504512 140722682532644 140722682532972 140722682532972 140722682535885 0
/proc/18410/statm: 28282 349 296 221 0 87 0
[pid=18413] ppid=18410 vsize=27314120 memory=124616 CPUtime=0.24 cores=0-7
/proc/18413/stat : 18413 (java) S 18410 18410 16408 0 -1 1077944320 11907 0 0 0 20 4 0 0 20 0 20 0 417979040 27969658880 31154 33554432000 4194304 4196468 140732722679152 140732722661696 139884953808631 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
/proc/18413/statm: 6828530 31154 2928 1 0 6790935 0
[pid=18413/tid=18414] ppid=18410 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/18413/task/18414/stat : 18414 (java) R 18410 18410 16408 0 -1 4202560 9612 0 0 0 16 3 0 0 20 0 20 0 417979040 27969658880 31154 33554432000 4194304 4196468 140732722679152 139884925622016 139884935373601 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18415] ppid=18410 vsize=27314120 memory=280784851175160 CPUtime=0 cores=0-7
/proc/18413/task/18415/stat : 18415 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 31154 33554432000 4194304 4196468 140732722679152 139884958050832 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18416] ppid=18410 vsize=27314120 memory=140392503707264 CPUtime=0 cores=0-7
/proc/18413/task/18416/stat : 18416 (java) S 18410 18410 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 31154 33554432000 4194304 4196468 140732722679152 139884741446288 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18417] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18417/stat : 18417 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 31154 33554432000 4194304 4196468 140732722679152 139884740393232 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18418] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18418/stat : 18418 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 31154 33554432000 4194304 4196468 140732722679152 139884739340688 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18419] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18419/stat : 18419 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 31154 33554432000 4194304 4196468 140732722679152 139884738288656 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18420] ppid=18410 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18413/task/18420/stat : 18420 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 31154 33554432000 4194304 4196468 140732722679152 139884737236112 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18421] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18421/stat : 18421 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 31154 33554432000 4194304 4196468 140732722679152 139884371106576 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18422] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18422/stat : 18422 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 31154 33554432000 4194304 4196468 140732722679152 139884370054032 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18423] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18423/stat : 18423 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979044 27969658880 31154 33554432000 4194304 4196468 140732722679152 139883474548976 139884953819778 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18424] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18424/stat : 18424 (java) S 18410 18410 16408 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417979044 27969658880 31154 33554432000 4194304 4196468 140732722679152 139882588529824 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18425] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18425/stat : 18425 (java) S 18410 18410 16408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417979045 27969658880 31154 33554432000 4194304 4196468 140732722679152 139882454307568 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18426] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18426/stat : 18426 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979047 27969658880 31154 33554432000 4194304 4196468 140732722679152 139882079803344 139884953827227 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18427] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18427/stat : 18427 (java) S 18410 18410 16408 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 20 0 417979047 27969658880 31154 33554432000 4194304 4196468 140732722679152 139883473496816 139884953819778 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18428] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18428/stat : 18428 (java) S 18410 18410 16408 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 417979047 27969658880 31154 33554432000 4194304 4196468 140732722679152 139883472444272 139884953819778 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18429] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18429/stat : 18429 (java) S 18410 18410 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417979047 27969658880 31154 33554432000 4194304 4196468 140732722679152 139883471391216 139884953819778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18430] ppid=18410 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/18413/task/18430/stat : 18430 (java) S 18410 18410 16408 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 20 0 417979047 27969658880 31154 33554432000 4194304 4196468 140732722679152 139883470338672 139884953819778 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18431] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18431/stat : 18431 (java) S 18410 18410 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417979047 27969658880 31154 33554432000 4194304 4196468 140732722679152 139881581898208 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18432] ppid=18410 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18413/task/18432/stat : 18432 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979048 27969658880 31154 33554432000 4194304 4196468 140732722679152 139883469286064 139884953819778 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126012 KiB

[startup+0.309456 s]*
/proc/loadavg: 7.03 7.83 7.75 2/211 18432
/proc/meminfo: memFree=28660712/32770624 swapFree=66959224/67108860
[pid=18410] ppid=18407 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18410/stat : 18410 (scop.sh) S 18407 18410 16408 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417979039 115843072 349 33554432000 4194304 5098028 140722682529216 140722682526472 139851132007036 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13504512 140722682532644 140722682532972 140722682532972 140722682535885 0
/proc/18410/statm: 28282 349 296 221 0 87 0
[pid=18413] ppid=18410 vsize=27314120 memory=128292 CPUtime=0.42 cores=0-7
/proc/18413/stat : 18413 (java) S 18410 18410 16408 0 -1 1077944320 12879 0 0 0 37 5 0 0 20 0 20 0 417979040 27969658880 32073 33554432000 4194304 4196468 140732722679152 140732722661696 139884953808631 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
/proc/18413/statm: 6828530 32073 3073 1 0 6790935 0
[pid=18413/tid=18414] ppid=18410 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18413/task/18414/stat : 18414 (java) R 18410 18410 16408 0 -1 4202560 10411 0 0 0 25 4 0 0 20 0 20 0 417979040 27969658880 32073 33554432000 4194304 4196468 140732722679152 139884925591648 139884935182103 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18415] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18415/stat : 18415 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 32073 33554432000 4194304 4196468 140732722679152 139884958050832 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18416] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18416/stat : 18416 (java) S 18410 18410 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 32073 33554432000 4194304 4196468 140732722679152 139884741446288 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18417] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18417/stat : 18417 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 32073 33554432000 4194304 4196468 140732722679152 139884740393232 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18418] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18418/stat : 18418 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 32073 33554432000 4194304 4196468 140732722679152 139884739340688 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18419] ppid=18410 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/18413/task/18419/stat : 18419 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 32073 33554432000 4194304 4196468 140732722679152 139884738288656 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18420] ppid=18410 vsize=27314120 memory=140392347562927 CPUtime=0 cores=0-7
/proc/18413/task/18420/stat : 18420 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 32073 33554432000 4194304 4196468 140732722679152 139884737236112 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18421] ppid=18410 vsize=27314120 memory=140392347565232 CPUtime=0 cores=0-7
/proc/18413/task/18421/stat : 18421 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 32073 33554432000 4194304 4196468 140732722679152 139884371106576 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18422] ppid=18410 vsize=27314120 memory=140392347567536 CPUtime=0 cores=0-7
/proc/18413/task/18422/stat : 18422 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979042 27969658880 32073 33554432000 4194304 4196468 140732722679152 139884370054032 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18423] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18423/stat : 18423 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979044 27969658880 32073 33554432000 4194304 4196468 140732722679152 139883474548976 139884953819778 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18424] ppid=18410 vsize=27314120 memory=280784695142032 CPUtime=0 cores=0-7
/proc/18413/task/18424/stat : 18424 (java) S 18410 18410 16408 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417979044 27969658880 32073 33554432000 4194304 4196468 140732722679152 139882588529824 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18425] ppid=18410 vsize=27314120 memory=280784695148944 CPUtime=0 cores=0-7
/proc/18413/task/18425/stat : 18425 (java) S 18410 18410 16408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417979045 27969658880 32073 33554432000 4194304 4196468 140732722679152 139882454307568 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18426] ppid=18410 vsize=27314120 memory=280784695090224 CPUtime=0 cores=0-7
/proc/18413/task/18426/stat : 18426 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979047 27969658880 32073 33554432000 4194304 4196468 140732722679152 139882079803344 139884953827227 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18427] ppid=18410 vsize=27314120 memory=280784695162768 CPUtime=0.02 cores=0-7
/proc/18413/task/18427/stat : 18427 (java) S 18410 18410 16408 0 -1 1077944384 529 0 0 0 2 0 0 0 20 0 20 0 417979047 27969658880 32073 33554432000 4194304 4196468 140732722679152 139883473496816 139884953819778 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18428] ppid=18410 vsize=27314120 memory=280784695169680 CPUtime=0.01 cores=0-7
/proc/18413/task/18428/stat : 18428 (java) S 18410 18410 16408 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 20 0 417979047 27969658880 32073 33554432000 4194304 4196468 140732722679152 139883472444272 139884953819778 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18429] ppid=18410 vsize=27314120 memory=280784695167376 CPUtime=0 cores=0-7
/proc/18413/task/18429/stat : 18429 (java) S 18410 18410 16408 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 417979047 27969658880 32073 33554432000 4194304 4196468 140732722679152 139883471391216 139884953819778 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18430] ppid=18410 vsize=27314120 memory=280784695183536 CPUtime=0.07 cores=0-7
/proc/18413/task/18430/stat : 18430 (java) S 18410 18410 16408 0 -1 1077944384 485 0 0 0 7 0 0 0 20 0 20 0 417979047 27969658880 32073 33554432000 4194304 4196468 140732722679152 139883470338672 139884953819778 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18431] ppid=18410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18431/stat : 18431 (java) S 18410 18410 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417979047 27969658880 32073 33554432000 4194304 4196468 140732722679152 139881581898208 139884953818837 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18432] ppid=18410 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18413/task/18432/stat : 18432 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979048 27969658880 32073 33554432000 4194304 4196468 140732722679152 139883469286064 139884953819778 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129688 KiB

[startup+0.700879 s]
/proc/loadavg: 6.54 7.71 7.71 2/211 18432
/proc/meminfo: memFree=28640760/32770624 swapFree=66959224/67108860
[pid=18410] ppid=18407 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18410/stat : 18410 (scop.sh) S 18407 18410 16408 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417979039 115843072 349 33554432000 4194304 5098028 140722682529216 140722682526472 139851132007036 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13504512 140722682532644 140722682532972 140722682532972 140722682535885 0
/proc/18410/statm: 28282 349 296 221 0 87 0
[pid=18413] ppid=18410 vsize=27320392 memory=164956 CPUtime=0.99 cores=0-7
/proc/18413/stat : 18413 (java) S 18410 18410 16408 0 -1 1077944320 19858 0 0 0 92 7 0 0 20 0 20 0 417979040 27976081408 41239 33554432000 4194304 4196468 140732722679152 140732722661696 139884953808631 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
/proc/18413/statm: 6830098 41239 3185 1 0 6791447 0
[pid=18413/tid=18414] ppid=18410 vsize=27320392 memory=280784695478400 CPUtime=0.67 cores=0-7
/proc/18413/task/18414/stat : 18414 (java) R 18410 18410 16408 0 -1 4202560 16838 0 0 0 61 6 0 0 20 0 20 0 417979040 27976081408 41239 33554432000 4194304 4196468 140732722679152 139884925643984 139884953820566 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18415] ppid=18410 vsize=27320392 memory=1436 CPUtime=0 cores=0-7
/proc/18413/task/18415/stat : 18415 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979042 27976081408 41239 33554432000 4194304 4196468 140732722679152 139884958050832 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18416] ppid=18410 vsize=27320392 memory=580 CPUtime=0 cores=0-7
/proc/18413/task/18416/stat : 18416 (java) S 18410 18410 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417979042 27976081408 41239 33554432000 4194304 4196468 140732722679152 139884741446288 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18417] ppid=18410 vsize=27320392 memory=1720 CPUtime=0 cores=0-7
/proc/18413/task/18417/stat : 18417 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979042 27976081408 41239 33554432000 4194304 4196468 140732722679152 139884740393232 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0

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

/proc/18410/stat : 18410 (scop.sh) S 18407 18410 16408 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417979039 115843072 349 33554432000 4194304 5098028 140722682529216 140722682526472 139851132007036 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13504512 140722682532644 140722682532972 140722682532972 140722682535885 0
/proc/18410/statm: 28282 349 296 221 0 87 0
[pid=18413] ppid=18410 vsize=27326612 memory=700164 CPUtime=9.92 cores=0-7
/proc/18413/stat : 18413 (java) S 18410 18410 16408 0 -1 1077944320 30083 0 0 0 971 21 0 0 20 0 20 0 417979040 27982450688 175041 33554432000 4194304 4196468 140732722679152 140732722661696 139884953808631 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
/proc/18413/statm: 6831653 175041 3254 1 0 6792983 0
[pid=18413/tid=18414] ppid=18410 vsize=27326612 memory=6944656592455360608 CPUtime=3.16 cores=0-7
/proc/18413/task/18414/stat : 18414 (java) R 18410 18410 16408 0 -1 4202560 20699 0 0 0 301 15 0 0 20 0 20 0 417979040 27982450688 175041 33554432000 4194304 4196468 140732722679152 139884925628000 139884940051091 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18415] ppid=18410 vsize=27326612 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/18413/task/18415/stat : 18415 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979042 27982450688 175041 33554432000 4194304 4196468 140732722679152 139884958050832 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18416] ppid=18410 vsize=27326612 memory=1436 CPUtime=0 cores=0-7
/proc/18413/task/18416/stat : 18416 (java) S 18410 18410 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417979042 27982450688 175041 33554432000 4194304 4196468 140732722679152 139884741446288 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18417] ppid=18410 vsize=27326612 memory=580 CPUtime=0 cores=0-7
/proc/18413/task/18417/stat : 18417 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979042 27982450688 175041 33554432000 4194304 4196468 140732722679152 139884740393232 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18418] ppid=18410 vsize=27326612 memory=1720 CPUtime=0 cores=0-7
/proc/18413/task/18418/stat : 18418 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979042 27982450688 175041 33554432000 4194304 4196468 140732722679152 139884739340688 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18419] ppid=18410 vsize=27326612 memory=10604 CPUtime=0 cores=0-7
/proc/18413/task/18419/stat : 18419 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979042 27982450688 175041 33554432000 4194304 4196468 140732722679152 139884738288656 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18420] ppid=18410 vsize=27326612 memory=2241 CPUtime=0 cores=0-7
/proc/18413/task/18420/stat : 18420 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979042 27982450688 175041 33554432000 4194304 4196468 140732722679152 139884737236112 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18421] ppid=18410 vsize=27326612 memory=2244 CPUtime=0 cores=0-7
/proc/18413/task/18421/stat : 18421 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979042 27982450688 175041 33554432000 4194304 4196468 140732722679152 139884371106576 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18422] ppid=18410 vsize=27326612 memory=7013623322002286674 CPUtime=0 cores=0-7
/proc/18413/task/18422/stat : 18422 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979042 27982450688 175041 33554432000 4194304 4196468 140732722679152 139884370054032 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18423] ppid=18410 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18423/stat : 18423 (java) S 18410 18410 16408 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417979044 27982450688 175041 33554432000 4194304 4196468 140732722679152 139883474548976 139884953819778 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18424] ppid=18410 vsize=27326612 memory=1 CPUtime=0 cores=0-7
/proc/18413/task/18424/stat : 18424 (java) S 18410 18410 16408 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417979044 27982450688 175041 33554432000 4194304 4196468 140732722679152 139882588529824 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18425] ppid=18410 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18425/stat : 18425 (java) S 18410 18410 16408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417979045 27982450688 175041 33554432000 4194304 4196468 140732722679152 139882454307568 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18426] ppid=18410 vsize=27326612 memory=2382 CPUtime=0 cores=0-7
/proc/18413/task/18426/stat : 18426 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979047 27982450688 175041 33554432000 4194304 4196468 140732722679152 139882079803344 139884953827227 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18427] ppid=18410 vsize=27326612 memory=3 CPUtime=1.93 cores=0-7
/proc/18413/task/18427/stat : 18427 (java) R 18410 18410 16408 0 -1 4202560 2112 0 0 0 192 1 0 0 20 0 20 0 417979047 27982450688 175041 33554432000 4194304 4196468 140732722679152 139883473482288 139884937219526 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18428] ppid=18410 vsize=27326612 memory=140392347876338 CPUtime=1.94 cores=0-7
/proc/18413/task/18428/stat : 18428 (java) R 18410 18410 16408 0 -1 4202560 1774 0 0 0 193 1 0 0 20 0 20 0 417979047 27982450688 175041 33554432000 4194304 4196468 140732722679152 139883472427984 139884933101066 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18429] ppid=18410 vsize=27326612 memory=280784695022112 CPUtime=1.89 cores=0-7
/proc/18413/task/18429/stat : 18429 (java) R 18410 18410 16408 0 -1 4202560 1690 0 0 0 189 0 0 0 20 0 20 0 417979047 27982450688 175041 33554432000 4194304 4196468 140732722679152 139883471379616 139884937292120 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18430] ppid=18410 vsize=27326612 memory=0 CPUtime=0.95 cores=0-7
/proc/18413/task/18430/stat : 18430 (java) R 18410 18410 16408 0 -1 4202560 2446 0 0 0 94 1 0 0 20 0 20 0 417979047 27982450688 175041 33554432000 4194304 4196468 140732722679152 139883470335408 139884932928280 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18431] ppid=18410 vsize=27326612 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/18413/task/18431/stat : 18431 (java) S 18410 18410 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417979047 27982450688 175041 33554432000 4194304 4196468 140732722679152 139881581898208 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18432] ppid=18410 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18432/stat : 18432 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979048 27982450688 175041 33554432000 4194304 4196468 140732722679152 139883469286064 139884953819778 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
Current children cumulated CPU time: 9.92 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 701560 KiB

[startup+4.80083 s]
/proc/loadavg: 6.54 7.71 7.71 5/211 18432
/proc/meminfo: memFree=27909700/32770624 swapFree=66959224/67108860
[pid=18410] ppid=18407 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18410/stat : 18410 (scop.sh) S 18407 18410 16408 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417979039 115843072 349 33554432000 4194304 5098028 140722682529216 140722682526472 139851132007036 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13504512 140722682532644 140722682532972 140722682532972 140722682535885 0
/proc/18410/statm: 28282 349 296 221 0 87 0
[pid=18413] ppid=18410 vsize=27328728 memory=1139020 CPUtime=15.63 cores=0-7
/proc/18413/stat : 18413 (java) S 18410 18410 16408 0 -1 1077944320 32704 0 0 0 1533 30 0 0 20 0 20 0 417979040 27984617472 284755 33554432000 4194304 4196468 140732722679152 140732722661696 139884953808631 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
/proc/18413/statm: 6832182 284755 3272 1 0 6792983 0
[pid=18413/tid=18414] ppid=18410 vsize=27328728 memory=0 CPUtime=4.63 cores=0-7
/proc/18413/task/18414/stat : 18414 (java) R 18410 18410 16408 0 -1 4202560 21161 0 0 0 439 24 0 0 20 0 20 0 417979040 27984617472 284755 33554432000 4194304 4196468 140732722679152 139884925647520 139884425449927 0 4 2 25189581 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18415] ppid=18410 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18415/stat : 18415 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979042 27984617472 284755 33554432000 4194304 4196468 140732722679152 139884958050832 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18416] ppid=18410 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18416/stat : 18416 (java) S 18410 18410 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417979042 27984617472 284755 33554432000 4194304 4196468 140732722679152 139884741446288 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18417] ppid=18410 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18417/stat : 18417 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979042 27984617472 284755 33554432000 4194304 4196468 140732722679152 139884740393232 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18418] ppid=18410 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18418/stat : 18418 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979042 27984617472 284755 33554432000 4194304 4196468 140732722679152 139884739340688 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18419] ppid=18410 vsize=27328728 memory=5787495302022849088 CPUtime=0 cores=0-7
/proc/18413/task/18419/stat : 18419 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979042 27984617472 284755 33554432000 4194304 4196468 140732722679152 139884738288656 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18420] ppid=18410 vsize=27328728 memory=6081945619748380758 CPUtime=0 cores=0-7
/proc/18413/task/18420/stat : 18420 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979042 27984617472 284755 33554432000 4194304 4196468 140732722679152 139884737236112 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18421] ppid=18410 vsize=27328728 memory=56 CPUtime=0 cores=0-7
/proc/18413/task/18421/stat : 18421 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979042 27984617472 284755 33554432000 4194304 4196468 140732722679152 139884371106576 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18422] ppid=18410 vsize=27328728 memory=1966185 CPUtime=0 cores=0-7
/proc/18413/task/18422/stat : 18422 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979042 27984617472 284755 33554432000 4194304 4196468 140732722679152 139884370054032 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18423] ppid=18410 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18423/stat : 18423 (java) S 18410 18410 16408 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417979044 27984617472 284755 33554432000 4194304 4196468 140732722679152 139883474548976 139884953819778 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18424] ppid=18410 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18424/stat : 18424 (java) S 18410 18410 16408 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417979044 27984617472 284755 33554432000 4194304 4196468 140732722679152 139882588529824 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18425] ppid=18410 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/18413/task/18425/stat : 18425 (java) S 18410 18410 16408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417979045 27984617472 284755 33554432000 4194304 4196468 140732722679152 139882454307568 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18426] ppid=18410 vsize=27328728 memory=1564 CPUtime=0 cores=0-7
/proc/18413/task/18426/stat : 18426 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979047 27984617472 284755 33554432000 4194304 4196468 140732722679152 139882079803344 139884953827227 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18427] ppid=18410 vsize=27328728 memory=5976 CPUtime=3.23 cores=0-7
/proc/18413/task/18427/stat : 18427 (java) S 18410 18410 16408 0 -1 1077944384 2479 0 0 0 322 1 0 0 20 0 20 0 417979047 27984617472 284755 33554432000 4194304 4196468 140732722679152 139883473496816 139884953819778 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18428] ppid=18410 vsize=27328728 memory=1060 CPUtime=3.31 cores=0-7
/proc/18413/task/18428/stat : 18428 (java) S 18410 18410 16408 0 -1 1077944384 2301 0 0 0 330 1 0 0 20 0 20 0 417979047 27984617472 284755 33554432000 4194304 4196468 140732722679152 139883472444272 139884953819778 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18429] ppid=18410 vsize=27328728 memory=2828 CPUtime=3.18 cores=0-7
/proc/18413/task/18429/stat : 18429 (java) S 18410 18410 16408 0 -1 1077944384 2337 0 0 0 317 1 0 0 20 0 20 0 417979047 27984617472 284755 33554432000 4194304 4196468 140732722679152 139883471391216 139884953819778 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18430] ppid=18410 vsize=27328728 memory=0 CPUtime=1.22 cores=0-7
/proc/18413/task/18430/stat : 18430 (java) S 18410 18410 16408 0 -1 1077944384 3062 0 0 0 121 1 0 0 20 0 20 0 417979047 27984617472 284755 33554432000 4194304 4196468 140732722679152 139883470338672 139884953819778 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18431] ppid=18410 vsize=27328728 memory=140396798674559 CPUtime=0 cores=0-7
/proc/18413/task/18431/stat : 18431 (java) S 18410 18410 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417979047 27984617472 284755 33554432000 4194304 4196468 140732722679152 139881581898208 139884953818837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
[pid=18413/tid=18432] ppid=18410 vsize=27328728 memory=28387637922 CPUtime=0 cores=0-7
/proc/18413/task/18432/stat : 18432 (java) S 18410 18410 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417979048 27984617472 284755 33554432000 4194304 4196468 140732722679152 139883469286064 139884953819778 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14643200 140732722684650 140732722685078 140732722685078 140732722687951 0
Current children cumulated CPU time: 15.63 s
Current children cumulated vsize: 27441856 KiB
Current children cumulated memory: 1140416 KiB

[startup+5.60059 s]
/proc/loadavg: 6.54 7.71 7.71 2/201 18442
/proc/meminfo: memFree=28761608/32770624 swapFree=66959224/67108860
[pid=18410] ppid=18407 vsize=113128 memory=1476 CPUtime=16.03 cores=0-7
/proc/18410/stat : 18410 (scop.sh) S 18407 18410 16408 0 -1 4202496 583 33576 0 0 0 0 1570 33 20 0 1 0 417979039 115843072 369 33554432000 4194304 5098028 140722682529216 140722682525960 139851132007036 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13504512 140722682532644 140722682532972 140722682532972 140722682535885 0
/proc/18410/statm: 28282 369 311 221 0 87 0
[pid=18433] ppid=18410 vsize=7752288 memory=95064 CPUtime=0.82 cores=0-7
/proc/18433/stat : 18433 (java) S 18410 18410 16408 0 -1 1077944320 18680 0 0 0 76 6 0 0 20 0 20 0 417979538 7938342912 23766 33554432000 4194304 4196468 140722377017360 140722376999904 140231062466295 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15392768 140722377020407 140722377020566 140722377020566 140722377023439 0
/proc/18433/statm: 1938072 23766 3061 1 0 1899951 0
[pid=18433/tid=18434] ppid=18410 vsize=7752288 memory=580 CPUtime=0.59 cores=0-7
/proc/18433/task/18434/stat : 18434 (java) R 18410 18410 16408 0 -1 4202560 16259 0 0 0 55 4 0 0 20 0 20 0 417979538 7938342912 23766 33554432000 4194304 4196468 140722377017360 140231034251256 140231062488221 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15392768 140722377020407 140722377020566 140722377020566 140722377023439 0
[pid=18433/tid=18435] ppid=18410 vsize=7752288 memory=1720 CPUtime=0 cores=0-7
/proc/18433/task/18435/stat : 18435 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979539 7938342912 23766 33554432000 4194304 4196468 140722377017360 140231066709008 140231062476501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15392768 140722377020407 140722377020566 140722377020566 140722377023439 0
[pid=18433/tid=18436] ppid=18410 vsize=7752288 memory=10604 CPUtime=0 cores=0-7
/proc/18433/task/18436/stat : 18436 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979539 7938342912 23766 33554432000 4194304 4196468 140722377017360 140230884797584 140231062476501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15392768 140722377020407 140722377020566 140722377020566 140722377023439 0
[pid=18433/tid=18437] ppid=18410 vsize=7752288 memory=3360 CPUtime=0 cores=0-7
/proc/18433/task/18437/stat : 18437 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979539 7938342912 23766 33554432000 4194304 4196468 140722377017360 140230546848528 140231062476501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15392768 140722377020407 140722377020566 140722377020566 140722377023439 0
[pid=18433/tid=18438] ppid=18410 vsize=7752288 memory=776 CPUtime=0 cores=0-7
/proc/18433/task/18438/stat : 18438 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979539 7938342912 23766 33554432000 4194304 4196468 140722377017360 140230545795984 140231062476501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140722377020407 140722377020566 140722377020566 140722377023439 0
[pid=18433/tid=18439] ppid=18410 vsize=7752288 memory=1564 CPUtime=0 cores=0-7
/proc/18433/task/18439/stat : 18439 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979539 7938342912 23766 33554432000 4194304 4196468 140722377017360 140230544742928 140231062476501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140722377020407 140722377020566 140722377020566 140722377023439 0
[pid=18433/tid=18440] ppid=18410 vsize=7752288 memory=5976 CPUtime=0 cores=0-7
/proc/18433/task/18440/stat : 18440 (java) S 18410 18410 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417979539 7938342912 23766 33554432000 4194304 4196468 140722377017360 140230543690384 140231062476501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15392768 140722377020407 140722377020566 140722377020566 140722377023439 0
[pid=18433/tid=18441] ppid=18410 vsize=7752288 memory=1060 CPUtime=0 cores=0-7
/proc/18433/task/18441/stat : 18441 (java) S 18410 18410 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417979539 7938342912 23766 33554432000 4194304 4196468 140722377017360 140230542637328 140231062476501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15392768 140722377020407 140722377020566 140722377020566 140722377023439 0
[pid=18433/tid=18442] ppid=18410 vsize=7752288 memory=2828 CPUtime=0 cores=0-7
/proc/18433/task/18442/stat : 18442 (java) S 18410 18410 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417979539 7938342912 23766 33554432000 4194304 4196468 140722377017360 140230541584784 140231062476501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15392768 140722377020407 140722377020566 140722377020566 140722377023439 0
Current children cumulated CPU time: 16.85 s
Current children cumulated vsize: 7865416 KiB
Current children cumulated memory: 96540 KiB

[startup+5.80058 s]
/proc/loadavg: 6.54 7.71 7.71 2/201 18442
/proc/meminfo: memFree=28761608/32770624 swapFree=66959224/67108860
[pid=18410] ppid=18407 vsize=113128 memory=1476 CPUtime=16.03 cores=0-7
/proc/18410/stat : 18410 (scop.sh) S 18407 18410 16408 0 -1 4202496 583 33576 0 0 0 0 1570 33 20 0 1 0 417979039 115843072 369 33554432000 4194304 5098028 140722682529216 140722682525960 139851132007036 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13504512 140722682532644 140722682532972 140722682532972 140722682535885 0
/proc/18410/statm: 28282 369 311 221 0 87 0
[pid=18433] ppid=18410 vsize=8283048 memory=119196 CPUtime=1.32 cores=0-7
/proc/18433/stat : 18433 (java) S 18410 18410 16408 0 -1 1077944320 20740 3268 0 0 122 8 2 0 20 0 22 0 417979538 8481841152 29799 33554432000 4194304 4196468 140722377017360 140722376999904 140231062466295 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15392768 140722377020407 140722377020566 140722377020566 140722377023439 0
/proc/18433/statm: 2070762 29799 3214 1 0 2032106 0
[pid=18433/tid=18434] ppid=18410 vsize=8283048 memory=14004 CPUtime=0.8 cores=0-7
/proc/18433/task/18434/stat : 18434 (java) R 18410 18410 16408 0 -1 4202560 17481 3268 0 0 73 5 2 0 20 0 22 0 417979538 8481841152 29799 33554432000 4194304 4196468 140722377017360 140231034296480 140231044115243 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15392768 140722377020407 140722377020566 140722377020566 140722377023439 0
[pid=18433/tid=18435] ppid=18410 vsize=8283048 memory=21808 CPUtime=0.02 cores=0-7
/proc/18433/task/18435/stat : 18435 (java) S 18410 18410 16408 0 -1 1077944384 2 3268 0 0 0 0 2 0 20 0 22 0 417979539 8481841152 29799 33554432000 4194304 4196468 140722377017360 140231066709008 140231062476501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15392768 140722377020407 140722377020566 140722377020566 140722377023439 0
[pid=18433/tid=18436] ppid=18410 vsize=8283048 memory=14048 CPUtime=0.02 cores=0-7
/proc/18433/task/18436/stat : 18436 (java) S 18410 18410 16408 0 -1 1077944384 2 3268 0 0 0 0 2 0 20 0 22 0 417979539 8481841152 29799 33554432000 4194304 4196468 140722377017360 140230884797584 140231062476501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15392768 140722377020407 140722377020566 140722377020566 140722377023439 0
[pid=18433/tid=18437] ppid=18410 vsize=8283048 memory=2124 CPUtime=0.02 cores=0-7
/proc/18433/task/18437/stat : 18437 (java) S 18410 18410 16408 0 -1 1077944384 1 3268 0 0 0 0 2 0 20 0 22 0 417979539 8481841152 30311 33554432000 4194304 4196468 140722377017360 140230546848528 140231062476501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15392768 140722377020407 140722377020566 140722377020566 140722377023439 0
[pid=18433/tid=18438] ppid=18410 vsize=8283048 memory=500 CPUtime=0.02 cores=0-7
/proc/18433/task/18438/stat : 18438 (java) S 18410 18410 16408 0 -1 1077944384 1 3268 0 0 0 0 2 0 20 0 22 0 417979539 8481841152 30311 33554432000 4194304 4196468 140722377017360 140230545795984 140231062476501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140722377020407 140722377020566 140722377020566 140722377023439 0
[pid=18433/tid=18439] ppid=18410 vsize=8283048 memory=1556 CPUtime=0.02 cores=0-7
/proc/18433/task/18439/stat : 18439 (java) S 18410 18410 16408 0 -1 1077944384 2 3268 0 0 0 0 2 0 20 0 22 0 417979539 8481841152 30311 33554432000 4194304 4196468 140722377017360 140230544742928 140231062476501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140722377020407 140722377020566 140722377020566 140722377023439 0
[pid=18433/tid=18440] ppid=18410 vsize=8283048 memory=928 CPUtime=0.02 cores=0-7
/proc/18433/task/18440/stat : 18440 (java) S 18410 18410 16408 0 -1 1077944384 2 3268 0 0 0 0 2 0 20 0 22 0 417979539 8481841152 30311 33554432000 4194304 4196468 140722377017360 140230543690384 140231062476501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15392768 140722377020407 140722377020566 140722377020566 140722377023439 0
[pid=18433/tid=18441] ppid=18410 vsize=8283048 memory=1772 CPUtime=0.02 cores=0-7
/proc/18433/task/18441/stat : 18441 (java) S 18410 18410 16408 0 -1 1077944384 1 3268 0 0 0 0 2 0 20 0 22 0 417979539 8481841152 30311 33554432000 4194304 4196468 140722377017360 140230542637328 140231062476501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15392768 140722377020407 140722377020566 140722377020566 140722377023439 0
[pid=18433/tid=18442] ppid=18410 vsize=8283048 memory=832 CPUtime=0.02 cores=0-7
/proc/18433/task/18442/stat : 18442 (java) S 18410 18410 16408 0 -1 1077944384 3 3268 0 0 0 0 2 0 20 0 22 0 417979539 8481841152 30311 33554432000 4194304 4196468 140722377017360 140230541584784 140231062476501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15392768 140722377020407 140722377020566 140722377020566 140722377023439 0
Current children cumulated CPU time: 17.35 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 120672 KiB

Child status: 0
Real time (s): 5.80809
CPU time (s): 17.3983
CPU user time (s): 16.9648
CPU system time (s): 0.433418
CPU usage (%): 299.552
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1172432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.9648
system time used= 0.433418
maximum resident set size= 1176380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58185
page faults= 0
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7670
involuntary context switches= 39


# summary of solver processes directly reported to runsolver:
#   pid: 18410
#   total CPU time (s): 17.3983
#   total CPU user time (s): 16.9648
#   total CPU system time (s): 0.433418

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.062608 second user time and 0.101609 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-14 02:19:09
IDJOB=4392681
IDBENCH=122870
IDSOLVER=2839
FILE ID=node124/4392681-1568420389
RUNJOBID= node124-1568416728-16435
PBS_JOBID= 21702259
Free space on /tmp= 61812 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Mixed/Mixed-xcsp2-cril/cril-2_X2.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392681-1568420389/watcher-4392681-1568420389 -o /tmp/evaluation-result-4392681-1568420389/solver-4392681-1568420389 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568416728-16435 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392681-1568420389.xml

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

MD5SUM BENCH= e953f4a4989b8abb5ffb897aaba74e21
RANDOM SEED=1915895647

node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
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:        28778004 kB
MemAvailable:   31847068 kB
Buffers:          188824 kB
Cached:          3161472 kB
SwapCached:        45888 kB
Active:           982712 kB
Inactive:        2420708 kB
Active(anon):       4776 kB
Inactive(anon):    90100 kB
Active(file):     977936 kB
Inactive(file):  2330608 kB
Unevictable:      106540 kB
Mlocked:          106540 kB
SwapTotal:      67108860 kB
SwapFree:       66959224 kB
Dirty:             20892 kB
Writeback:             0 kB
AnonPages:        151876 kB
Mapped:            44228 kB
Shmem:             32744 kB
Slab:             182260 kB
SReclaimable:     152708 kB
SUnreclaim:        29552 kB
KernelStack:        3744 kB
PageTables:         6072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    106496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61792 MiB
End job on node124 at 2019-09-14 02:19:15