Trace number 4405422

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)UNSAT 5.0688 2.74695

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-15-035.xml
MD5SUM95db7a436582e8fbf27db66b2c693839
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 benchmark4.88573
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints105
Number of domains15
Minimum domain size21
Maximum domain size35
Distribution of domain sizes[{"size":21,"count":2},{"size":22,"count":2},{"size":23,"count":2},{"size":24,"count":2},{"size":25,"count":2},{"size":26,"count":2},{"size":27,"count":2},{"size":28,"count":2},{"size":29,"count":2},{"size":30,"count":2},{"size":31,"count":2},{"size":32,"count":2},{"size":33,"count":2},{"size":34,"count":2},{"size":35,"count":2}]
Minimum variable degree14
Maximum variable degree14
Distribution of variable degrees[{"degree":14,"count":30}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":105}]
Number of extensional constraints0
Number of intensional constraints105
Distribution of constraint types[{"type":"intension","count":105}]
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-4344-serial-file.bin HOME/instance-4405422-1569364417.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Wed Sep 25 00:32:38 CEST 2019
0.65/0.57	c PID: 4347
0.65/0.57	c IP: 172.20.3.103
0.65/0.57	c HOST: node103.alineos.net
0.65/0.58	c (0,0) Parsing Begin
1.73/1.02	c (0,0) Parsing End
1.73/1.03	c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 35
1.73/1.03	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.73/1.03	c (0,0) Constraint Name Generate Begin
1.73/1.04	c (0,0) Ctr:HOME/instance-4405422-1569364417.xml,Add:Le:Num:Or:Var
1.73/1.04	c (0,0) Constraint Name Generate End
1.73/1.04	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.73/1.04	c (0,0) CSP to CSPinCNF Begin
2.01/1.14	c (0,0) translated 11 (10%) constraints
2.01/1.15	c (0,0) translated 21 (20%) constraints
2.01/1.17	c (0,0) translated 32 (30%) constraints
2.01/1.18	c (0,0) translated 42 (40%) constraints
2.01/1.19	c (0,0) translated 53 (50%) constraints
2.01/1.19	c (0,0) translated 63 (60%) constraints
2.22/1.20	c (0,0) translated 74 (70%) constraints
2.22/1.21	c (0,0) translated 84 (80%) constraints
2.22/1.22	c (0,0) translated 95 (90%) constraints
2.22/1.22	c (0,0) translated 105 (100%) constraints
2.22/1.22	c (0,0) ===========================================
2.22/1.24	c (0,0) Hybrid: #OE=30, #LE=0
2.22/1.24	c (0,0) Hybrid
2.22/1.24	c (0,0) ===========================================
2.22/1.25	c (0,0) translated 11 (10%) constraints
2.22/1.26	c (0,0) translated 21 (20%) constraints
2.22/1.26	c (0,0) translated 32 (30%) constraints
2.22/1.26	c (0,0) translated 42 (40%) constraints
2.22/1.27	c (0,0) translated 53 (50%) constraints
2.22/1.27	c (0,0) translated 63 (60%) constraints
2.22/1.27	c (0,0) translated 74 (70%) constraints
2.22/1.28	c (0,0) translated 84 (80%) constraints
2.22/1.28	c (0,0) translated 95 (90%) constraints
2.22/1.28	c (0,0) translated 105 (100%) constraints
2.22/1.29	c (0,0) CSP to CSPinCNF End
2.22/1.29	c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 35
2.22/1.29	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.22/1.29	c (0,0) CSPinCNF Propagation Begin
2.45/1.30	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.45/1.30	c (0,0) CSPinCNF Propagation End
2.45/1.30	c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 35
2.45/1.30	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.45/1.31	c (0,0) Hybrid: #OE=30, #LE=0
2.45/1.31	c (0,0) Simplify CSPinCNF Begin
2.45/1.38	c (0,0) Simplify CSPinCNF End
2.45/1.38	c (0,0) CSP: 30 int (0 aux), 420 bool (420 aux), 525 ctr, max domain size 35
2.45/1.38	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.45/1.38	c (0,0) Calculate Precise Domain Begin
2.45/1.38	c (0,0) 0 values are removed by re-calculation
2.45/1.38	c (0,0) Calculate Precise Domain End
2.45/1.38	c (0,0) CSP: 30 int (0 aux), 420 bool (420 aux), 525 ctr, max domain size 35
2.45/1.38	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.45/1.38	c (0,0) CSPinCNF to SatSolver Begin
2.90/1.54	c (0,0) 53 (10 %) CSP clauses are encoded (0 SAT variables, 1995 SAT clauses)
2.90/1.73	c (1,1) 105 (20 %) CSP clauses are encoded (0 SAT variables, 3127 SAT clauses)
2.90/1.73	c (1,1) 158 (30 %) CSP clauses are encoded (0 SAT variables, 4186 SAT clauses)
2.90/1.73	c (1,1) 210 (40 %) CSP clauses are encoded (0 SAT variables, 5188 SAT clauses)
2.90/1.73	c (1,1) 263 (50 %) CSP clauses are encoded (0 SAT variables, 6141 SAT clauses)
2.90/1.73	c (1,1) 315 (60 %) CSP clauses are encoded (0 SAT variables, 7037 SAT clauses)
2.90/1.73	c (1,1) 368 (70 %) CSP clauses are encoded (0 SAT variables, 7860 SAT clauses)
2.90/1.73	c (1,1) 420 (80 %) CSP clauses are encoded (0 SAT variables, 8578 SAT clauses)
2.90/1.73	c (1,1) 473 (90 %) CSP clauses are encoded (0 SAT variables, 9219 SAT clauses)
2.90/1.73	c (1,1) 525 (100 %) CSP clauses are encoded (0 SAT variables, 9697 SAT clauses)
2.90/1.73	c (1,1) CSPinCNF to SatSolver End
2.90/1.73	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.90/1.73	c (1,1) 1230 bool, 9705 clause
2.90/1.73	c (1,1) Export Begin
2.90/1.81	c (1,1) Export to HOME/scop-4344-serial-file.bin
2.90/1.81	c (1,1) Export End
2.90/1.81	c (1,1) Export File Size: 0.01 MB
2.90/1.81	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
2.90/1.81	c END-Prog: Wed Sep 25 00:32:39 CEST 2019
0.00/1.97	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-4344-serial-file.bin
4.38/2.43	c (0,0) Read Serial File Begin
4.38/2.43	c (0,0) HOME/scop-4344-serial-file.bin
4.65/2.62	c (0,0) Read Serial File End
4.65/2.64	
4.65/2.64	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
4.65/2.64	(Solving Process)
4.65/2.64	
4.65/2.66	c BEGIN-Prog: Wed Sep 25 00:32:40 CEST 2019
4.65/2.66	c PID: 4367
4.65/2.66	c IP: 172.20.3.103
4.65/2.66	c HOST: node103.alineos.net
4.65/2.66	c (0,0) SatSolver.solve Begin
4.65/2.66	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405422-1569364417.xml-scop-4347.cnf
4.65/2.69	c (0,0) c
4.65/2.69	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)
4.65/2.69	c (0,0) c
4.65/2.69	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.65/2.69	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
4.65/2.69	c (0,0) c ========================================[ Problem Statistics ]===========================================
4.65/2.69	c (0,0) c |                                                                                                       |
4.65/2.69	c (0,0) c |  Number of variables:          1230                                                                   |
4.65/2.69	c (0,0) c |  Number of clauses:            9705                                                                   |
4.65/2.69	c (0,0) c |  Parse time:                   0.00 s                                                                 |
4.65/2.69	c (0,0) c |                                                                                                       |
4.65/2.69	c (0,0) c |  Simplification time:          0.01 s                                                                 |
4.65/2.69	c (0,0) c |                                                                                                       |
4.65/2.69	c (0,0) c |  Generating clones                                                                                    |
4.86/2.70	c (0,0) c |  all clones generated. Memory =    29.09Mb.                                                           |
4.86/2.70	c (0,0) c ========================================================================================================|
4.86/2.70	c (0,0) c
4.86/2.70	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
4.86/2.70	c (0,0) c
4.86/2.70	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.86/2.70	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
4.86/2.70	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.86/2.70	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
4.86/2.70	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
4.86/2.70	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
4.86/2.70	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
4.86/2.70	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
4.86/2.70	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
4.86/2.70	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
4.86/2.70	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
4.86/2.70	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
4.86/2.70	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
4.86/2.70	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
4.86/2.70	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
4.86/2.70	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
4.86/2.70	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
4.86/2.70	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
4.86/2.70	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.86/2.71	c (0,0) c
4.86/2.71	c (0,0) c real time : 0.0238311 s
4.86/2.71	c (0,0) c cpu time  : 0.035479 s
4.86/2.71	c (0,0) c
4.86/2.71	c (0,0) c
4.86/2.71	c (0,0) c
4.86/2.71	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
4.86/2.71	c (0,0) c
4.86/2.71	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.86/2.71	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
4.86/2.71	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.86/2.71	c (0,0) c | Conflicts     |            1336 |        104 |        333 |        114 |        122 |        203 |        121 |        131 |        208 |
4.86/2.71	c (0,0) c | Decisions     |            1817 |        133 |        400 |        172 |        165 |        259 |        172 |        176 |        340 |
4.86/2.71	c (0,0) c | Propagations  |           59035 |       3421 |      14566 |       4924 |       4473 |       8476 |       5066 |       6101 |      12008 |
4.86/2.71	c (0,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.86/2.71	c (0,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
4.86/2.71	c (0,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
4.86/2.71	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.86/2.71	c (0,0) c | PropBinClauses|          114701 |       7146 |      29578 |      10240 |       9577 |      17670 |       9761 |      11913 |      18816 |
4.86/2.71	c (0,0) c | PropPreBlocker|          475827 |      22563 |     122933 |      37322 |      36676 |      74274 |      38715 |      53940 |      89404 |
4.86/2.71	c (0,0) c | PropNotBlocker|          292293 |      16328 |      74405 |      26241 |      24304 |      46411 |      26984 |      32484 |      45136 |
4.86/2.71	c (0,0) c | LitFullScans  |         1158014 |      59878 |     310188 |      93825 |      88444 |     180572 |      95554 |     125677 |     203876 |
4.86/2.71	c (0,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.86/2.71	c (0,0) c | DecisionLevel0|              53 |          6 |          6 |          8 |          6 |          5 |          9 |          7 |          6 |
4.86/2.71	c (0,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.86/2.71	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
4.86/2.71	c (0,0) c | Avg_Trail     |                 |        168 |        271 |        235 |        219 |        276 |        225 |        321 |        423 |
4.86/2.71	c (0,0) c | Avg_DL        |                 |          4 |         16 |         10 |          8 |         12 |          9 |         13 |         16 |
4.86/2.71	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.86/2.71	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.86/2.71	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.86/2.71	c (0,0) c | Exported      |             168 |         24 |         28 |         21 |         26 |         22 |         14 |         19 |         14 |
4.86/2.71	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.86/2.71	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.86/2.71	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.86/2.71	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.86/2.71	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.86/2.71	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.86/2.71	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.86/2.71	c (0,0) c | Unaries       |                 |          5 |          5 |          7 |          5 |          4 |          8 |          6 |          5 |
4.86/2.71	c (0,0) c | Binaries      |                 |          5 |          4 |          4 |          9 |          4 |          6 |          5 |          6 |
4.86/2.71	c (0,0) c | Glues         |                 |         24 |         28 |         21 |         26 |         22 |         14 |         19 |         14 |
4.86/2.71	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.86/2.71	c (0,0) c | Orig_Seen     |             3 % |        148 |        441 |        179 |        169 |        278 |        208 |        242 |        680 |
4.86/2.71	c (0,0) c | Diff Orig seen|                 |      X     |        293 |         31 |         21 |        130 |         60 |         94 |        532 |
4.86/2.71	c (0,0) c | Hamming       |            14 % |      X     |        206 |        216 |        129 |        140 |        158 |        125 |        249 |
4.86/2.71	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.86/2.71	c (0,0) c | RunningTime   |                 |    0.0  99%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0  99%|    0.0 100%|
4.86/2.71	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%|
4.86/2.71	c (0,0) c | ExchangingTime|                 |    0.0   1%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   1%|    0.0   0%|
4.86/2.71	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%|
4.86/2.71	c (0,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
4.86/2.71	c (0,0) c | PropagationTim|                 |    0.0  84%|    0.0  81%|    0.0  89%|    0.0  85%|    0.0  86%|    0.0  88%|    0.0  81%|    0.0  75%|
4.86/2.71	c (0,0) c | AnalysisTime  |                 |    0.0  10%|    0.0  14%|    0.0   7%|    0.0  10%|    0.0  10%|    0.0   8%|    0.0  13%|    0.0  18%|
4.86/2.71	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%|
4.86/2.71	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%|
4.86/2.71	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%|
4.86/2.71	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%|
4.86/2.71	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.86/2.71	c (0,0) c
4.86/2.71	c (0,0) c
4.86/2.71	c (0,0) c Threads : 8
4.86/2.71	c (0,0) c Winner : 0
4.86/2.71	c (0,0) c Conflicts_0 : 104
4.86/2.71	c (0,0) c Conflicts_1 : 333
4.86/2.71	c (0,0) c Conflicts_2 : 114
4.86/2.71	c (0,0) c Conflicts_3 : 122
4.86/2.71	c (0,0) c Conflicts_4 : 203
4.86/2.71	c (0,0) c Conflicts_5 : 121
4.86/2.71	c (0,0) c Conflicts_6 : 131
4.86/2.71	c (0,0) c Conflicts_7 : 208
4.86/2.71	c (0,0) c Conflicts_total : 1336
4.86/2.71	c (0,0) c Conflicts_winner : 104
4.86/2.71	c (0,0) c Decisions_0 : 133
4.86/2.71	c (0,0) c Decisions_1 : 400
4.86/2.71	c (0,0) c Decisions_2 : 172
4.86/2.71	c (0,0) c Decisions_3 : 165
4.86/2.71	c (0,0) c Decisions_4 : 259
4.86/2.71	c (0,0) c Decisions_5 : 172
4.86/2.71	c (0,0) c Decisions_6 : 176
4.86/2.71	c (0,0) c Decisions_7 : 340
4.86/2.71	c (0,0) c Decisions_total : 1817
4.86/2.71	c (0,0) c Decisions_winner : 133
4.86/2.71	c (0,0) c Propagations_0 : 3421
4.86/2.71	c (0,0) c Propagations_1 : 14566
4.86/2.71	c (0,0) c Propagations_2 : 4924
4.86/2.71	c (0,0) c Propagations_3 : 4473
4.86/2.71	c (0,0) c Propagations_4 : 8476
4.86/2.71	c (0,0) c Propagations_5 : 5066
4.86/2.71	c (0,0) c Propagations_6 : 6101
4.86/2.71	c (0,0) c Propagations_7 : 12008
4.86/2.71	c (0,0) c Propagations_total : 59035
4.86/2.71	c (0,0) c Propagations_winner : 3421
4.86/2.71	c (0,0) c ReduceDBs_0 : 0
4.86/2.71	c (0,0) c ReduceDBs_1 : 0
4.86/2.71	c (0,0) c ReduceDBs_2 : 0
4.86/2.71	c (0,0) c ReduceDBs_3 : 0
4.86/2.71	c (0,0) c ReduceDBs_4 : 0
4.86/2.71	c (0,0) c ReduceDBs_5 : 0
4.86/2.71	c (0,0) c ReduceDBs_6 : 0
4.86/2.71	c (0,0) c ReduceDBs_7 : 0
4.86/2.71	c (0,0) c ReduceDBs_total : 0
4.86/2.71	c (0,0) c ReduceDBs_winner : 0
4.86/2.71	c (0,0) c SimpDBs_0 : 1
4.86/2.71	c (0,0) c SimpDBs_1 : 1
4.86/2.71	c (0,0) c SimpDBs_2 : 1
4.86/2.71	c (0,0) c SimpDBs_3 : 1
4.86/2.71	c (0,0) c SimpDBs_4 : 1
4.86/2.71	c (0,0) c SimpDBs_5 : 1
4.86/2.71	c (0,0) c SimpDBs_6 : 1
4.86/2.71	c (0,0) c SimpDBs_7 : 1
4.86/2.71	c (0,0) c SimpDBs_total : 8
4.86/2.71	c (0,0) c SimpDBs_winner : 1
4.86/2.71	c (0,0) c Restarts_0 : 1
4.86/2.71	c (0,0) c Restarts_1 : 1
4.86/2.71	c (0,0) c Restarts_2 : 1
4.86/2.71	c (0,0) c Restarts_3 : 1
4.86/2.71	c (0,0) c Restarts_4 : 1
4.86/2.71	c (0,0) c Restarts_5 : 1
4.86/2.71	c (0,0) c Restarts_6 : 1
4.86/2.71	c (0,0) c Restarts_7 : 1
4.86/2.71	c (0,0) c Restarts_total : 8
4.86/2.71	c (0,0) c Restarts_winner : 1
4.86/2.71	c (0,0) c ForcedImports_0 : 0
4.86/2.71	c (0,0) c ForcedImports_1 : 0
4.86/2.71	c (0,0) c ForcedImports_2 : 0
4.86/2.71	c (0,0) c ForcedImports_3 : 0
4.86/2.71	c (0,0) c ForcedImports_4 : 0
4.86/2.71	c (0,0) c ForcedImports_5 : 0
4.86/2.71	c (0,0) c ForcedImports_6 : 0
4.86/2.71	c (0,0) c ForcedImports_7 : 0
4.86/2.71	c (0,0) c ForcedImports_total : 0
4.86/2.71	c (0,0) c ForcedImports_winner : 0
4.86/2.71	c (0,0) c PropsBinClauses_0 : 7146
4.86/2.71	c (0,0) c PropsBinClauses_1 : 29578
4.86/2.71	c (0,0) c PropsBinClauses_2 : 10240
4.86/2.71	c (0,0) c PropsBinClauses_3 : 9577
4.86/2.71	c (0,0) c PropsBinClauses_4 : 17670
4.86/2.71	c (0,0) c PropsBinClauses_5 : 9761
4.86/2.71	c (0,0) c PropsBinClauses_6 : 11913
4.86/2.71	c (0,0) c PropsBinClauses_7 : 18816
4.86/2.71	c (0,0) c PropsBinClauses_total : 114701
4.86/2.71	c (0,0) c PropsBinClauses_winner : 7146
4.86/2.71	c (0,0) c PropsPreBlocker_0 : 22563
4.86/2.71	c (0,0) c PropsPreBlocker_1 : 122933
4.86/2.71	c (0,0) c PropsPreBlocker_2 : 37322
4.86/2.71	c (0,0) c PropsPreBlocker_3 : 36676
4.86/2.71	c (0,0) c PropsPreBlocker_4 : 74274
4.86/2.71	c (0,0) c PropsPreBlocker_5 : 38715
4.86/2.71	c (0,0) c PropsPreBlocker_6 : 53940
4.86/2.71	c (0,0) c PropsPreBlocker_7 : 89404
4.86/2.71	c (0,0) c PropsPreBlocker_total : 475827
4.86/2.71	c (0,0) c PropsPreBlocker_winner : 22563
4.86/2.71	c (0,0) c PropsNotBlocker_0 : 16328
4.86/2.71	c (0,0) c PropsNotBlocker_1 : 74405
4.86/2.71	c (0,0) c PropsNotBlocker_2 : 26241
4.86/2.71	c (0,0) c PropsNotBlocker_3 : 24304
4.86/2.71	c (0,0) c PropsNotBlocker_4 : 46411
4.86/2.71	c (0,0) c PropsNotBlocker_5 : 26984
4.86/2.71	c (0,0) c PropsNotBlocker_6 : 32484
4.86/2.72	c (0,0) c PropsNotBlocker_7 : 45136
4.86/2.72	c (0,0) c PropsNotBlocker_total : 292293
4.86/2.72	c (0,0) c PropsNotBlocker_winner : 16328
4.86/2.72	c (0,0) c PropsLitFullScans_0 : 59878
4.86/2.72	c (0,0) c PropsLitFullScans_1 : 310188
4.86/2.72	c (0,0) c PropsLitFullScans_2 : 93825
4.86/2.72	c (0,0) c PropsLitFullScans_3 : 88444
4.86/2.72	c (0,0) c PropsLitFullScans_4 : 180572
4.86/2.72	c (0,0) c PropsLitFullScans_5 : 95554
4.86/2.72	c (0,0) c PropsLitFullScans_6 : 125677
4.86/2.72	c (0,0) c PropsLitFullScans_7 : 203876
4.86/2.72	c (0,0) c PropsLitFullScans_total : 1158014
4.86/2.72	c (0,0) c PropsLitFullScans_winner : 59878
4.86/2.72	c (0,0) c LitScanFractions_0 : 0
4.86/2.72	c (0,0) c LitScanFractions_1 : 0
4.86/2.72	c (0,0) c LitScanFractions_2 : 0
4.86/2.72	c (0,0) c LitScanFractions_3 : 0
4.86/2.72	c (0,0) c LitScanFractions_4 : 0
4.86/2.72	c (0,0) c LitScanFractions_5 : 0
4.86/2.72	c (0,0) c LitScanFractions_6 : 0
4.86/2.72	c (0,0) c LitScanFractions_7 : 0
4.86/2.72	c (0,0) c LitScanFractions_total : 0
4.86/2.72	c (0,0) c LitScanFractions_winner : 0
4.86/2.72	c (0,0) c DecisionLevel0_0 : 6
4.86/2.72	c (0,0) c DecisionLevel0_1 : 6
4.86/2.72	c (0,0) c DecisionLevel0_2 : 8
4.86/2.72	c (0,0) c DecisionLevel0_3 : 6
4.86/2.72	c (0,0) c DecisionLevel0_4 : 5
4.86/2.72	c (0,0) c DecisionLevel0_5 : 9
4.86/2.72	c (0,0) c DecisionLevel0_6 : 7
4.86/2.72	c (0,0) c DecisionLevel0_7 : 6
4.86/2.72	c (0,0) c DecisionLevel0_total : 53
4.86/2.72	c (0,0) c DecisionLevel0_winner : 6
4.86/2.72	c (0,0) c Periods_0 : 0
4.86/2.72	c (0,0) c Periods_1 : 0
4.86/2.72	c (0,0) c Periods_2 : 0
4.86/2.72	c (0,0) c Periods_3 : 0
4.86/2.72	c (0,0) c Periods_4 : 0
4.86/2.72	c (0,0) c Periods_5 : 0
4.86/2.72	c (0,0) c Periods_6 : 0
4.86/2.72	c (0,0) c Periods_7 : 0
4.86/2.72	c (0,0) c Periods_total : 0
4.86/2.72	c (0,0) c Periods_winner : 0
4.86/2.72	c (0,0) c Margin_0 : 20
4.86/2.72	c (0,0) c Margin_1 : 20
4.86/2.72	c (0,0) c Margin_2 : 20
4.86/2.72	c (0,0) c Margin_3 : 20
4.86/2.72	c (0,0) c Margin_4 : 20
4.86/2.72	c (0,0) c Margin_5 : 20
4.86/2.72	c (0,0) c Margin_6 : 20
4.86/2.72	c (0,0) c Margin_7 : 20
4.86/2.72	c (0,0) c Margin_total : 160
4.86/2.72	c (0,0) c Margin_winner : 20
4.86/2.72	c (0,0) c Exported_0 : 24
4.86/2.72	c (0,0) c Exported_1 : 28
4.86/2.72	c (0,0) c Exported_2 : 21
4.86/2.72	c (0,0) c Exported_3 : 26
4.86/2.72	c (0,0) c Exported_4 : 22
4.86/2.72	c (0,0) c Exported_5 : 14
4.86/2.72	c (0,0) c Exported_6 : 19
4.86/2.72	c (0,0) c Exported_7 : 14
4.86/2.72	c (0,0) c Exported_total : 168
4.86/2.72	c (0,0) c Exported_winner : 24
4.86/2.72	c (0,0) c Imported_0 : 0
4.86/2.72	c (0,0) c Imported_1 : 0
4.86/2.72	c (0,0) c Imported_2 : 0
4.86/2.72	c (0,0) c Imported_3 : 0
4.86/2.72	c (0,0) c Imported_4 : 0
4.86/2.72	c (0,0) c Imported_5 : 0
4.86/2.72	c (0,0) c Imported_6 : 0
4.86/2.72	c (0,0) c Imported_7 : 0
4.86/2.72	c (0,0) c Imported_total : 0
4.86/2.72	c (0,0) c Imported_winner : 0
4.86/2.72	c (0,0) c Good_0 : 0
4.86/2.72	c (0,0) c Good_1 : 0
4.86/2.72	c (0,0) c Good_2 : 0
4.86/2.72	c (0,0) c Good_3 : 0
4.86/2.72	c (0,0) c Good_4 : 0
4.86/2.72	c (0,0) c Good_5 : 0
4.86/2.72	c (0,0) c Good_6 : 0
4.86/2.72	c (0,0) c Good_7 : 0
4.86/2.72	c (0,0) c Good_total : 0
4.86/2.72	c (0,0) c Good_winner : 0
4.86/2.72	c (0,0) c Purge_0 : 0
4.86/2.72	c (0,0) c Purge_1 : 0
4.86/2.72	c (0,0) c Purge_2 : 0
4.86/2.72	c (0,0) c Purge_3 : 0
4.86/2.72	c (0,0) c Purge_4 : 0
4.86/2.72	c (0,0) c Purge_5 : 0
4.86/2.72	c (0,0) c Purge_6 : 0
4.86/2.72	c (0,0) c Purge_7 : 0
4.86/2.72	c (0,0) c Purge_total : 0
4.86/2.72	c (0,0) c Purge_winner : 0
4.86/2.72	c (0,0) c Promoted_0 : 0
4.86/2.72	c (0,0) c Promoted_1 : 0
4.86/2.72	c (0,0) c Promoted_2 : 0
4.86/2.72	c (0,0) c Promoted_3 : 0
4.86/2.72	c (0,0) c Promoted_4 : 0
4.86/2.72	c (0,0) c Promoted_5 : 0
4.86/2.72	c (0,0) c Promoted_6 : 0
4.86/2.72	c (0,0) c Promoted_7 : 0
4.86/2.72	c (0,0) c Promoted_total : 0
4.86/2.72	c (0,0) c Promoted_winner : 0
4.86/2.72	c (0,0) c Remove_Imp_0 : 0
4.86/2.72	c (0,0) c Remove_Imp_1 : 0
4.86/2.72	c (0,0) c Remove_Imp_2 : 0
4.86/2.72	c (0,0) c Remove_Imp_3 : 0
4.86/2.72	c (0,0) c Remove_Imp_4 : 0
4.86/2.72	c (0,0) c Remove_Imp_5 : 0
4.86/2.72	c (0,0) c Remove_Imp_6 : 0
4.86/2.72	c (0,0) c Remove_Imp_7 : 0
4.86/2.72	c (0,0) c Remove_Imp_total : 0
4.86/2.72	c (0,0) c Remove_Imp_winner : 0
4.86/2.72	c (0,0) c Blocked_Reuse_0 : 0
4.86/2.72	c (0,0) c Blocked_Reuse_1 : 0
4.86/2.72	c (0,0) c Blocked_Reuse_2 : 0
4.86/2.72	c (0,0) c Blocked_Reuse_3 : 0
4.86/2.72	c (0,0) c Blocked_Reuse_4 : 0
4.86/2.72	c (0,0) c Blocked_Reuse_5 : 0
4.86/2.72	c (0,0) c Blocked_Reuse_6 : 0
4.86/2.72	c (0,0) c Blocked_Reuse_7 : 0
4.86/2.72	c (0,0) c Blocked_Reuse_total : 0
4.86/2.72	c (0,0) c Blocked_Reuse_winner : 0
4.86/2.72	c (0,0) c Unaries_0 : 5
4.86/2.72	c (0,0) c Unaries_1 : 5
4.86/2.72	c (0,0) c Unaries_2 : 7
4.86/2.72	c (0,0) c Unaries_3 : 5
4.86/2.72	c (0,0) c Unaries_4 : 4
4.86/2.72	c (0,0) c Unaries_5 : 8
4.86/2.72	c (0,0) c Unaries_6 : 6
4.86/2.72	c (0,0) c Unaries_7 : 5
4.86/2.72	c (0,0) c Unaries_total : 45
4.86/2.72	c (0,0) c Unaries_winner : 5
4.86/2.72	c (0,0) c Binaries_0 : 5
4.86/2.72	c (0,0) c Binaries_1 : 4
4.86/2.72	c (0,0) c Binaries_2 : 4
4.86/2.72	c (0,0) c Binaries_3 : 9
4.86/2.72	c (0,0) c Binaries_4 : 4
4.86/2.72	c (0,0) c Binaries_5 : 6
4.86/2.72	c (0,0) c Binaries_6 : 5
4.86/2.72	c (0,0) c Binaries_7 : 6
4.86/2.72	c (0,0) c Binaries_total : 43
4.86/2.72	c (0,0) c Binaries_winner : 5
4.86/2.72	c (0,0) c Glues_0 : 24
4.86/2.72	c (0,0) c Glues_1 : 28
4.86/2.72	c (0,0) c Glues_2 : 21
4.86/2.72	c (0,0) c Glues_3 : 26
4.86/2.72	c (0,0) c Glues_4 : 22
4.86/2.72	c (0,0) c Glues_5 : 14
4.86/2.72	c (0,0) c Glues_6 : 19
4.86/2.72	c (0,0) c Glues_7 : 14
4.86/2.72	c (0,0) c Glues_total : 168
4.86/2.72	c (0,0) c Glues_winner : 24
4.86/2.72	c (0,0) c RunningTime_0 : 0.002771
4.86/2.72	c (0,0) c RunningTime_1 : 0.008387
4.86/2.72	c (0,0) c RunningTime_2 : 0.004671
4.86/2.72	c (0,0) c RunningTime_3 : 0.003500
4.86/2.72	c (0,0) c RunningTime_4 : 0.006526
4.86/2.72	c (0,0) c RunningTime_5 : 0.004119
4.86/2.72	c (0,0) c RunningTime_6 : 0.003310
4.86/2.72	c (0,0) c RunningTime_7 : 0.004542
4.86/2.72	c (0,0) c RunningTime_total : 0.037825
4.86/2.72	c (0,0) c RunningTime_winner : 0.002771
4.86/2.72	c (0,0) c WaitingTime_0 : 0.000000
4.86/2.72	c (0,0) c WaitingTime_1 : 0.000000
4.86/2.72	c (0,0) c WaitingTime_2 : 0.000000
4.86/2.72	c (0,0) c WaitingTime_3 : 0.000000
4.86/2.72	c (0,0) c WaitingTime_4 : 0.000000
4.86/2.72	c (0,0) c WaitingTime_5 : 0.000000
4.86/2.72	c (0,0) c WaitingTime_6 : 0.000000
4.86/2.72	c (0,0) c WaitingTime_7 : 0.000000
4.86/2.72	c (0,0) c WaitingTime_total : 0.000000
4.86/2.72	c (0,0) c WaitingTime_winner : 0.000000
4.86/2.72	c (0,0) c ExchangingTime_0 : 0.000020
4.86/2.72	c (0,0) c ExchangingTime_1 : 0.000018
4.86/2.72	c (0,0) c ExchangingTime_2 : 0.000016
4.86/2.72	c (0,0) c ExchangingTime_3 : 0.000011
4.86/2.72	c (0,0) c ExchangingTime_4 : 0.000014
4.86/2.72	c (0,0) c ExchangingTime_5 : 0.000017
4.86/2.72	c (0,0) c ExchangingTime_6 : 0.000024
4.86/2.72	c (0,0) c ExchangingTime_7 : 0.000017
4.86/2.72	c (0,0) c ExchangingTime_total : 0.000137
4.86/2.72	c (0,0) c ExchangingTime_winner : 0.000020
4.86/2.72	c (0,0) c PeriodProcTime_0 : 0.000000
4.86/2.72	c (0,0) c PeriodProcTime_1 : 0.000000
4.86/2.72	c (0,0) c PeriodProcTime_2 : 0.000000
4.86/2.72	c (0,0) c PeriodProcTime_3 : 0.000000
4.86/2.72	c (0,0) c PeriodProcTime_4 : 0.000000
4.86/2.72	c (0,0) c PeriodProcTime_5 : 0.000000
4.86/2.72	c (0,0) c PeriodProcTime_6 : 0.000000
4.86/2.72	c (0,0) c PeriodProcTime_7 : 0.000000
4.86/2.72	c (0,0) c PeriodProcTime_total : 0.000000
4.86/2.72	c (0,0) c PeriodProcTime_winner : 0.000000
4.86/2.72	c (0,0) c SolvingTime_0 : 0.002791
4.86/2.72	c (0,0) c SolvingTime_1 : 0.008404
4.86/2.72	c (0,0) c SolvingTime_2 : 0.004687
4.86/2.72	c (0,0) c SolvingTime_3 : 0.003511
4.86/2.72	c (0,0) c SolvingTime_4 : 0.006540
4.86/2.72	c (0,0) c SolvingTime_5 : 0.004135
4.86/2.72	c (0,0) c SolvingTime_6 : 0.003334
4.86/2.72	c (0,0) c SolvingTime_7 : 0.004559
4.86/2.72	c (0,0) c SolvingTime_total : 0.037961
4.86/2.72	c (0,0) c SolvingTime_winner : 0.002791
4.86/2.72	c (0,0) c PropagationTime_0 : 0.002333
4.86/2.72	c (0,0) c PropagationTime_1 : 0.006804
4.86/2.72	c (0,0) c PropagationTime_2 : 0.004181
4.86/2.72	c (0,0) c PropagationTime_3 : 0.002988
4.86/2.72	c (0,0) c PropagationTime_4 : 0.005636
4.86/2.72	c (0,0) c PropagationTime_5 : 0.003634
4.86/2.72	c (0,0) c PropagationTime_6 : 0.002714
4.86/2.72	c (0,0) c PropagationTime_7 : 0.003418
4.86/2.72	c (0,0) c PropagationTime_total : 0.031709
4.86/2.72	c (0,0) c PropagationTime_winner : 0.002333
4.86/2.72	c (0,0) c AnalysisTime_0 : 0.000284
4.86/2.72	c (0,0) c AnalysisTime_1 : 0.001215
4.86/2.72	c (0,0) c AnalysisTime_2 : 0.000338
4.86/2.72	c (0,0) c AnalysisTime_3 : 0.000337
4.86/2.72	c (0,0) c AnalysisTime_4 : 0.000669
4.86/2.72	c (0,0) c AnalysisTime_5 : 0.000330
4.86/2.72	c (0,0) c AnalysisTime_6 : 0.000417
4.86/2.72	c (0,0) c AnalysisTime_7 : 0.000815
4.86/2.72	c (0,0) c AnalysisTime_total : 0.004405
4.86/2.72	c (0,0) c AnalysisTime_winner : 0.000284
4.86/2.72	c (0,0) c ReductionTime_0 : 0.000000
4.86/2.72	c (0,0) c ReductionTime_1 : 0.000000
4.86/2.72	c (0,0) c ReductionTime_2 : 0.000000
4.86/2.72	c (0,0) c ReductionTime_3 : 0.000000
4.86/2.72	c (0,0) c ReductionTime_4 : 0.000000
4.86/2.72	c (0,0) c ReductionTime_5 : 0.000000
4.86/2.72	c (0,0) c ReductionTime_6 : 0.000000
4.86/2.72	c (0,0) c ReductionTime_7 : 0.000000
4.86/2.72	c (0,0) c ReductionTime_total : 0.000000
4.86/2.72	c (0,0) c ReductionTime_winner : 0.000000
4.86/2.72	c (0,0) c SimplifyTime_0 : 0.000000
4.86/2.72	c (0,0) c SimplifyTime_1 : 0.000000
4.86/2.72	c (0,0) c SimplifyTime_2 : 0.000000
4.86/2.72	c (0,0) c SimplifyTime_3 : 0.000000
4.86/2.72	c (0,0) c SimplifyTime_4 : 0.000000
4.86/2.72	c (0,0) c SimplifyTime_5 : 0.000000
4.86/2.72	c (0,0) c SimplifyTime_6 : 0.000000
4.86/2.72	c (0,0) c SimplifyTime_7 : 0.000000
4.86/2.72	c (0,0) c SimplifyTime_total : 0.000000
4.86/2.72	c (0,0) c SimplifyTime_winner : 0.000000
4.86/2.72	c (0,0) c UsedRateTime_0 : 0.000000
4.86/2.72	c (0,0) c UsedRateTime_1 : 0.000000
4.86/2.72	c (0,0) c UsedRateTime_2 : 0.000000
4.86/2.72	c (0,0) c UsedRateTime_3 : 0.000000
4.86/2.72	c (0,0) c UsedRateTime_4 : 0.000000
4.86/2.72	c (0,0) c UsedRateTime_5 : 0.000000
4.86/2.72	c (0,0) c UsedRateTime_6 : 0.000000
4.86/2.72	c (0,0) c UsedRateTime_7 : 0.000000
4.86/2.72	c (0,0) c UsedRateTime_total : 0.000000
4.86/2.72	c (0,0) c UsedRateTime_winner : 0.000000
4.86/2.72	c (0,0) c OverlapRateTime_0 : 0.000000
4.86/2.72	c (0,0) c OverlapRateTime_1 : 0.000000
4.86/2.72	c (0,0) c OverlapRateTime_2 : 0.000000
4.86/2.72	c (0,0) c OverlapRateTime_3 : 0.000000
4.86/2.72	c (0,0) c OverlapRateTime_4 : 0.000000
4.86/2.72	c (0,0) c OverlapRateTime_5 : 0.000000
4.86/2.72	c (0,0) c OverlapRateTime_6 : 0.000000
4.86/2.72	c (0,0) c OverlapRateTime_7 : 0.000000
4.86/2.72	c (0,0) c OverlapRateTime_total : 0.000000
4.86/2.72	c (0,0) c OverlapRateTime_winner : 0.000000
4.86/2.72	c (0,0) c
4.86/2.72	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
4.86/2.72	c (0,0) c
4.86/2.72	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.86/2.72	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
4.86/2.72	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.86/2.72	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
4.86/2.72	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
4.86/2.72	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
4.86/2.72	c (0,0) c | Initial random_seed   |  697820590 | 1242149371 | 1019283494 | 1990948321 | 1654107838 |  238762021 | 2110020967 | 1243244061 |
4.86/2.72	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
4.86/2.72	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
4.86/2.72	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
4.86/2.72	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
4.86/2.72	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
4.86/2.72	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
4.86/2.72	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
4.86/2.72	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
4.86/2.72	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
4.86/2.72	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
4.86/2.72	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
4.86/2.72	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.86/2.72	c (0,0) 
4.86/2.72	c (0,0) s UNSATISFIABLE
4.86/2.73	c (0,0) SatSolver.solve End
4.86/2.73	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
4.86/2.73	c (0,0) Show results Begin
4.86/2.73	s UNSATISFIABLE
4.86/2.73	c (0,0) Show results End
4.86/2.73	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
4.86/2.73	c (0,0) 0,0,STOP-AFTER(ALL)
4.86/2.73	c END-Prog: Wed Sep 25 00:32:40 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 (13725 MiB free)
  memory of node 1: 16384 MiB (14456 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405422-1569364417/watcher-4405422-1569364417 -o /tmp/evaluation-result-4405422-1569364417/solver-4405422-1569364417 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569357166-2374 --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-4405422-1569364417.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=4344, runsolver pid=4341
Current StackSize limit: 8192 KiB


[startup+0.100148 s]*
/proc/loadavg: 1.96 2.05 4.63 2/211 4366
/proc/meminfo: memFree=28764012/32770624 swapFree=66999256/67108860
[pid=4344] ppid=4341 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4344/stat : 4344 (scop.sh) S 4341 4344 2347 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512694721 115843072 349 33554432000 4194304 5098028 140734549905248 140734549902504 140038994436732 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11350016 140734549910308 140734549910636 140734549910636 140734549913549 0
/proc/4344/statm: 28282 349 296 221 0 87 0
[pid=4347] ppid=4344 vsize=27314120 memory=106968 CPUtime=0.1 cores=0-7
/proc/4347/stat : 4347 (java) S 4344 4344 2347 0 -1 1077944320 6809 0 0 0 7 3 0 0 20 0 20 0 512694722 27969658880 26742 33554432000 4194304 4196468 140726444458928 140726444441472 140134296014583 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
/proc/4347/statm: 6828530 26742 2755 1 0 6790935 0
[pid=4347/tid=4348] ppid=4344 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/4347/task/4348/stat : 4348 (java) R 4344 4344 2347 0 -1 4202560 4973 0 0 0 6 2 0 0 20 0 20 0 512694722 27969658880 26775 33554432000 4194304 4196468 140726444458928 140134267849024 140134282235903 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4349] ppid=4344 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4347/task/4349/stat : 4349 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694724 27969658880 26775 33554432000 4194304 4196468 140726444458928 140134300257040 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4350] ppid=4344 vsize=27314120 memory=140209110759040 CPUtime=0 cores=0-7
/proc/4347/task/4350/stat : 4350 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694724 27969658880 26775 33554432000 4194304 4196468 140726444458928 140134114413456 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4351] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4351/stat : 4351 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694724 27969658880 26775 33554432000 4194304 4196468 140726444458928 140133716884496 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4352] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4352/stat : 4352 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694724 27969658880 26775 33554432000 4194304 4196468 140726444458928 140133715831952 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4353] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4353/stat : 4353 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694724 27969658880 26775 33554432000 4194304 4196468 140726444458928 140133714778384 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4354] ppid=4344 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4347/task/4354/stat : 4354 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694725 27969658880 26775 33554432000 4194304 4196468 140726444458928 140133713725840 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4355] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4355/stat : 4355 (java) S 4344 4344 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512694725 27969658880 26775 33554432000 4194304 4196468 140726444458928 140133712673296 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4356] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4356/stat : 4356 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694725 27969658880 26775 33554432000 4194304 4196468 140726444458928 140133711620752 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4357] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4357/stat : 4357 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694726 27969658880 26775 33554432000 4194304 4196468 140726444458928 140132347722224 140134296025730 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4358] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4358/stat : 4358 (java) S 4344 4344 2347 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512694726 27969658880 26775 33554432000 4194304 4196468 140726444458928 140132233504160 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4359] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4359/stat : 4359 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694727 27969658880 26775 33554432000 4194304 4196468 140726444458928 140131965068784 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4360] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4360/stat : 4360 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694729 27969658880 26775 33554432000 4194304 4196468 140726444458928 140131590560464 140134296033179 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4361] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4361/stat : 4361 (java) S 4344 4344 2347 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 512694730 27969658880 26775 33554432000 4194304 4196468 140726444458928 140132346669040 140134296025730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4362] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4362/stat : 4362 (java) S 4344 4344 2347 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 20 0 512694730 27969658880 26775 33554432000 4194304 4196468 140726444458928 140132345616496 140134296025730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4363] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4363/stat : 4363 (java) S 4344 4344 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512694730 27969658880 26775 33554432000 4194304 4196468 140726444458928 140132344563952 140134296025730 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4364] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4364/stat : 4364 (java) S 4344 4344 2347 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 20 0 512694730 27969658880 26775 33554432000 4194304 4196468 140726444458928 140132343511408 140134296025730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4365] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4365/stat : 4365 (java) S 4344 4344 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512694730 27969658880 26775 33554432000 4194304 4196468 140726444458928 140131092654816 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4366] ppid=4344 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4347/task/4366/stat : 4366 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694730 27969658880 26775 33554432000 4194304 4196468 140726444458928 140132342459312 140134296025730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108364 KiB

[startup+0.210237 s]*
/proc/loadavg: 1.96 2.05 4.63 2/211 4366
/proc/meminfo: memFree=28738368/32770624 swapFree=66999256/67108860
[pid=4344] ppid=4341 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4344/stat : 4344 (scop.sh) S 4341 4344 2347 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512694721 115843072 349 33554432000 4194304 5098028 140734549905248 140734549902504 140038994436732 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11350016 140734549910308 140734549910636 140734549910636 140734549913549 0
/proc/4344/statm: 28282 349 296 221 0 87 0
[pid=4347] ppid=4344 vsize=27314120 memory=128456 CPUtime=0.24 cores=0-7
/proc/4347/stat : 4347 (java) S 4344 4344 2347 0 -1 1077944320 12505 0 0 0 19 5 0 0 20 0 20 0 512694722 27969658880 32114 33554432000 4194304 4196468 140726444458928 140726444441472 140134296014583 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
/proc/4347/statm: 6828530 32114 2918 1 0 6790935 0
[pid=4347/tid=4348] ppid=4344 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/4347/task/4348/stat : 4348 (java) R 4344 4344 2347 0 -1 4202560 10229 0 0 0 15 4 0 0 20 0 20 0 512694722 27969658880 32114 33554432000 4194304 4196468 140726444458928 140134267813968 140134280095070 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4349] ppid=4344 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/4347/task/4349/stat : 4349 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694724 27969658880 32114 33554432000 4194304 4196468 140726444458928 140134300257040 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4350] ppid=4344 vsize=27314120 memory=140209110773349 CPUtime=0 cores=0-7
/proc/4347/task/4350/stat : 4350 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694724 27969658880 32114 33554432000 4194304 4196468 140726444458928 140134114413456 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4351] ppid=4344 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4347/task/4351/stat : 4351 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694724 27969658880 32114 33554432000 4194304 4196468 140726444458928 140133716884496 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4352] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4352/stat : 4352 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694724 27969658880 32114 33554432000 4194304 4196468 140726444458928 140133715831952 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4353] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4353/stat : 4353 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694724 27969658880 32114 33554432000 4194304 4196468 140726444458928 140133714778384 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4354] ppid=4344 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4347/task/4354/stat : 4354 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694725 27969658880 32114 33554432000 4194304 4196468 140726444458928 140133713725840 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4355] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4355/stat : 4355 (java) S 4344 4344 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512694725 27969658880 32114 33554432000 4194304 4196468 140726444458928 140133712673296 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4356] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4356/stat : 4356 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694725 27969658880 32114 33554432000 4194304 4196468 140726444458928 140133711620752 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4357] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4357/stat : 4357 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694726 27969658880 32114 33554432000 4194304 4196468 140726444458928 140132347722224 140134296025730 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4358] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4358/stat : 4358 (java) S 4344 4344 2347 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512694726 27969658880 32114 33554432000 4194304 4196468 140726444458928 140132233504160 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4359] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4359/stat : 4359 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694727 27969658880 32114 33554432000 4194304 4196468 140726444458928 140131965068784 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4360] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4360/stat : 4360 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694729 27969658880 32114 33554432000 4194304 4196468 140726444458928 140131590560464 140134296033179 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4361] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4361/stat : 4361 (java) S 4344 4344 2347 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 512694730 27969658880 32114 33554432000 4194304 4196468 140726444458928 140132346669040 140134296025730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4362] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4362/stat : 4362 (java) S 4344 4344 2347 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 512694730 27969658880 32114 33554432000 4194304 4196468 140726444458928 140132345616496 140134296025730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4363] ppid=4344 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4347/task/4363/stat : 4363 (java) S 4344 4344 2347 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 512694730 27969658880 32114 33554432000 4194304 4196468 140726444458928 140132344563952 140134296025730 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4364] ppid=4344 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/4347/task/4364/stat : 4364 (java) R 4344 4344 2347 0 -1 4202560 436 0 0 0 2 0 0 0 20 0 20 0 512694730 27969658880 32114 33554432000 4194304 4196468 140726444458928 140132343511408 140134274753480 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4365] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4365/stat : 4365 (java) S 4344 4344 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512694730 27969658880 32114 33554432000 4194304 4196468 140726444458928 140131092654816 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4366] ppid=4344 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4347/task/4366/stat : 4366 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694730 27969658880 32114 33554432000 4194304 4196468 140726444458928 140132342459312 140134296025730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129852 KiB

[startup+0.310315 s]*
/proc/loadavg: 1.96 2.05 4.63 2/211 4366
/proc/meminfo: memFree=28735824/32770624 swapFree=66999256/67108860
[pid=4344] ppid=4341 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4344/stat : 4344 (scop.sh) S 4341 4344 2347 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512694721 115843072 349 33554432000 4194304 5098028 140734549905248 140734549902504 140038994436732 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11350016 140734549910308 140734549910636 140734549910636 140734549913549 0
/proc/4344/statm: 28282 349 296 221 0 87 0
[pid=4347] ppid=4344 vsize=27314120 memory=131812 CPUtime=0.41 cores=0-7
/proc/4347/stat : 4347 (java) S 4344 4344 2347 0 -1 1077944320 12858 0 0 0 36 5 0 0 20 0 20 0 512694722 27969658880 32953 33554432000 4194304 4196468 140726444458928 140726444441472 140134296014583 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
/proc/4347/statm: 6828530 32953 3006 1 0 6790935 0
[pid=4347/tid=4348] ppid=4344 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/4347/task/4348/stat : 4348 (java) R 4344 4344 2347 0 -1 4202560 10414 0 0 0 25 4 0 0 20 0 20 0 512694722 27969658880 32953 33554432000 4194304 4196468 140726444458928 140134267835584 140134276289917 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4349] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4349/stat : 4349 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694724 27969658880 32953 33554432000 4194304 4196468 140726444458928 140134300257040 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4350] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4350/stat : 4350 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694724 27969658880 32953 33554432000 4194304 4196468 140726444458928 140134114413456 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4351] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4351/stat : 4351 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694724 27969658880 32953 33554432000 4194304 4196468 140726444458928 140133716884496 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4352] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4352/stat : 4352 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694724 27969658880 32953 33554432000 4194304 4196468 140726444458928 140133715831952 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4353] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4353/stat : 4353 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694724 27969658880 32953 33554432000 4194304 4196468 140726444458928 140133714778384 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4354] ppid=4344 vsize=27314120 memory=140209006144175 CPUtime=0 cores=0-7
/proc/4347/task/4354/stat : 4354 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694725 27969658880 32953 33554432000 4194304 4196468 140726444458928 140133713725840 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4355] ppid=4344 vsize=27314120 memory=140209006146480 CPUtime=0 cores=0-7
/proc/4347/task/4355/stat : 4355 (java) S 4344 4344 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512694725 27969658880 32953 33554432000 4194304 4196468 140726444458928 140133712673296 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4356] ppid=4344 vsize=27314120 memory=140209006148784 CPUtime=0 cores=0-7
/proc/4347/task/4356/stat : 4356 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694725 27969658880 32953 33554432000 4194304 4196468 140726444458928 140133711620752 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4357] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4357/stat : 4357 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694726 27969658880 32953 33554432000 4194304 4196468 140726444458928 140132347722224 140134296025730 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4358] ppid=4344 vsize=27314120 memory=280418012311440 CPUtime=0 cores=0-7
/proc/4347/task/4358/stat : 4358 (java) S 4344 4344 2347 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512694726 27969658880 32953 33554432000 4194304 4196468 140726444458928 140132233504160 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4359] ppid=4344 vsize=27314120 memory=280418012309136 CPUtime=0 cores=0-7
/proc/4347/task/4359/stat : 4359 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694727 27969658880 32953 33554432000 4194304 4196468 140726444458928 140131965068784 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4360] ppid=4344 vsize=27314120 memory=280418012316048 CPUtime=0 cores=0-7
/proc/4347/task/4360/stat : 4360 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694729 27969658880 32953 33554432000 4194304 4196468 140726444458928 140131590560464 140134296033179 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4361] ppid=4344 vsize=27314120 memory=280418012257328 CPUtime=0 cores=0-7
/proc/4347/task/4361/stat : 4361 (java) S 4344 4344 2347 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 512694730 27969658880 32953 33554432000 4194304 4196468 140726444458928 140132346669040 140134296025730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4362] ppid=4344 vsize=27314120 memory=280418012329872 CPUtime=0.01 cores=0-7
/proc/4347/task/4362/stat : 4362 (java) S 4344 4344 2347 0 -1 1077944384 351 0 0 0 1 0 0 0 20 0 20 0 512694730 27969658880 32953 33554432000 4194304 4196468 140726444458928 140132345616496 140134296025730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4363] ppid=4344 vsize=27314120 memory=280418012336784 CPUtime=0.01 cores=0-7
/proc/4347/task/4363/stat : 4363 (java) S 4344 4344 2347 0 -1 1077944384 241 0 0 0 1 0 0 0 20 0 20 0 512694730 27969658880 32953 33554432000 4194304 4196468 140726444458928 140132344563952 140134296025730 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4364] ppid=4344 vsize=27314120 memory=280418012334480 CPUtime=0.07 cores=0-7
/proc/4347/task/4364/stat : 4364 (java) S 4344 4344 2347 0 -1 1077944384 457 0 0 0 7 0 0 0 20 0 20 0 512694730 27969658880 32953 33554432000 4194304 4196468 140726444458928 140132343511408 140134296025730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4365] ppid=4344 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4365/stat : 4365 (java) S 4344 4344 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512694730 27969658880 32953 33554432000 4194304 4196468 140726444458928 140131092654816 140134296024789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4366] ppid=4344 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4347/task/4366/stat : 4366 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694730 27969658880 32953 33554432000 4194304 4196468 140726444458928 140132342459312 140134296025730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 133208 KiB

[startup+0.70116 s]
/proc/loadavg: 1.96 2.05 4.63 2/211 4366
/proc/meminfo: memFree=28716116/32770624 swapFree=66999256/67108860
[pid=4344] ppid=4341 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4344/stat : 4344 (scop.sh) S 4341 4344 2347 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512694721 115843072 349 33554432000 4194304 5098028 140734549905248 140734549902504 140038994436732 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11350016 140734549910308 140734549910636 140734549910636 140734549913549 0
/proc/4344/statm: 28282 349 296 221 0 87 0
[pid=4347] ppid=4344 vsize=27322440 memory=169340 CPUtime=0.99 cores=0-7
/proc/4347/stat : 4347 (java) S 4344 4344 2347 0 -1 1077944320 20433 0 0 0 91 8 0 0 20 0 20 0 512694722 27978178560 42310 33554432000 4194304 4196468 140726444458928 140726444441472 140134296014583 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
/proc/4347/statm: 6830610 42310 3180 1 0 6791959 0
[pid=4347/tid=4348] ppid=4344 vsize=27322440 memory=0 CPUtime=0.66 cores=0-7
/proc/4347/task/4348/stat : 4348 (java) R 4344 4344 2347 0 -1 4202560 17415 0 0 0 60 6 0 0 20 0 20 0 512694722 27978178560 42335 33554432000 4194304 4196468 140726444458928 140134267847440 140134280058213 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4349] ppid=4344 vsize=27322440 memory=140209006355312 CPUtime=0 cores=0-7
/proc/4347/task/4349/stat : 4349 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694724 27978178560 42335 33554432000 4194304 4196468 140726444458928 140134300257040 140134296024789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4350] ppid=4344 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/4347/task/4350/stat : 4350 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694724 27978178560 42335 33554432000 4194304 4196468 140726444458928 140134114413456 140134296024789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0
[pid=4347/tid=4351] ppid=4344 vsize=27322440 memory=1004 CPUtime=0 cores=0-7
/proc/4347/task/4351/stat : 4351 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694724 27978178560 42335 33554432000 4194304 4196468 140726444458928 140133716884496 140134296024789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18231296 140726444466923 140726444467350 140726444467350 140726444470223 0

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

[pid=4344] ppid=4341 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4344/stat : 4344 (scop.sh) S 4341 4344 2347 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512694721 115843072 349 33554432000 4194304 5098028 140734549905248 140734549902504 140038994436732 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11350016 140734549910308 140734549910636 140734549910636 140734549913549 0
/proc/4344/statm: 28282 349 296 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1396 KiB

[startup+2.20112 s]*
/proc/loadavg: 1.96 2.05 4.63 3/211 4386
/proc/meminfo: memFree=28807820/32770624 swapFree=66999256/67108860
[pid=4344] ppid=4341 vsize=113128 memory=1476 CPUtime=3.83 cores=0-7
/proc/4344/stat : 4344 (scop.sh) S 4341 4344 2347 0 -1 4202496 582 26183 0 0 0 0 369 14 20 0 1 0 512694721 115843072 369 33554432000 4194304 5098028 140734549905248 140734549901992 140038994436732 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11350016 140734549910308 140734549910636 140734549910636 140734549913549 0
/proc/4344/statm: 28282 369 311 221 0 87 0
[pid=4367] ppid=4344 vsize=7750184 memory=61316 CPUtime=0.31 cores=0-7
/proc/4367/stat : 4367 (java) S 4344 4344 2347 0 -1 1077944320 10481 0 0 0 28 3 0 0 20 0 20 0 512694919 7936188416 15329 33554432000 4194304 4196468 140737112367984 140737112350528 139930051514103 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
/proc/4367/statm: 1937546 15329 3022 1 0 1899951 0
[pid=4367/tid=4368] ppid=4344 vsize=7750184 memory=1398722017469774279 CPUtime=0.21 cores=0-7
/proc/4367/task/4368/stat : 4368 (java) R 4344 4344 2347 0 -1 4202560 8276 0 0 0 19 2 0 0 20 0 20 0 512694920 7936188416 15329 33554432000 4194304 4196468 140737112367984 139930023322432 139930051536029 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4369] ppid=4344 vsize=7750184 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4367/task/4369/stat : 4369 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694921 7936188416 15329 33554432000 4194304 4196468 140737112367984 139930055756048 139930051524309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4370] ppid=4344 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4370/stat : 4370 (java) S 4344 4344 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512694921 7936188416 15329 33554432000 4194304 4196468 140737112367984 139929855924624 139930051524309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4371] ppid=4344 vsize=7750184 memory=33 CPUtime=0 cores=0-7
/proc/4367/task/4371/stat : 4371 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694921 7936188416 15329 33554432000 4194304 4196468 140737112367984 139929854872080 139930051524309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4372] ppid=4344 vsize=7750184 memory=9339 CPUtime=0 cores=0-7
/proc/4367/task/4372/stat : 4372 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694921 7936188416 15329 33554432000 4194304 4196468 140737112367984 139929853819536 139930051524309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4373] ppid=4344 vsize=7750184 memory=4067917 CPUtime=0 cores=0-7
/proc/4367/task/4373/stat : 4373 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694921 7936188416 15329 33554432000 4194304 4196468 140737112367984 139929852766992 139930051524309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4374] ppid=4344 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4374/stat : 4374 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694921 7936188416 15329 33554432000 4194304 4196468 140737112367984 139929851714448 139930051524309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4375] ppid=4344 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4375/stat : 4375 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694921 7936188416 15329 33554432000 4194304 4196468 140737112367984 139929850661904 139930051524309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4376] ppid=4344 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4376/stat : 4376 (java) S 4344 4344 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512694921 7936188416 15329 33554432000 4194304 4196468 140737112367984 139929849609360 139930051524309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4377] ppid=4344 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4377/stat : 4377 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694922 7936188416 15329 33554432000 4194304 4196468 140737112367984 139928876533744 139930051525250 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4378] ppid=4344 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4378/stat : 4378 (java) S 4344 4344 2347 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512694923 7936188416 15329 33554432000 4194304 4196468 140737112367984 139928692319136 139930051524309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4379] ppid=4344 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4379/stat : 4379 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694923 7936188416 15329 33554432000 4194304 4196468 140737112367984 139928423883760 139930051524309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4380] ppid=4344 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4380/stat : 4380 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694925 7936188416 15329 33554432000 4194304 4196468 140737112367984 139928049375440 139930051532699 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4381] ppid=4344 vsize=7750184 memory=0 CPUtime=0.01 cores=0-7
/proc/4367/task/4381/stat : 4381 (java) S 4344 4344 2347 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 20 0 512694925 7936188416 15329 33554432000 4194304 4196468 140737112367984 139928875481584 139930051525250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4382] ppid=4344 vsize=7750184 memory=0 CPUtime=0.01 cores=0-7
/proc/4367/task/4382/stat : 4382 (java) S 4344 4344 2347 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 20 0 512694925 7936188416 15329 33554432000 4194304 4196468 140737112367984 139928874429040 139930051525250 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4383] ppid=4344 vsize=7750184 memory=170985786 CPUtime=0 cores=0-7
/proc/4367/task/4383/stat : 4383 (java) S 4344 4344 2347 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 20 0 512694925 7936188416 15329 33554432000 4194304 4196468 140737112367984 139928873376496 139930051525250 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4384] ppid=4344 vsize=7750184 memory=6944656575208382560 CPUtime=0.06 cores=0-7
/proc/4367/task/4384/stat : 4384 (java) S 4344 4344 2347 0 -1 1077944384 282 0 0 0 6 0 0 0 20 0 20 0 512694925 7936188416 15329 33554432000 4194304 4196468 140737112367984 139928872323952 139930051525250 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4385] ppid=4344 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4385/stat : 4385 (java) S 4344 4344 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512694926 7936188416 15329 33554432000 4194304 4196468 140737112367984 139927551469792 139930051524309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4386] ppid=4344 vsize=7750184 memory=2241 CPUtime=0 cores=0-7
/proc/4367/task/4386/stat : 4386 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694926 7936188416 15329 33554432000 4194304 4196468 140737112367984 139928871270832 139930051525250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
Current children cumulated CPU time: 4.14 s
Current children cumulated vsize: 7863312 KiB
Current children cumulated memory: 62792 KiB

[startup+2.60093 s]
/proc/loadavg: 1.96 2.05 4.63 3/211 4386
/proc/meminfo: memFree=28807820/32770624 swapFree=66999256/67108860
[pid=4344] ppid=4341 vsize=113128 memory=1476 CPUtime=3.83 cores=0-7
/proc/4344/stat : 4344 (scop.sh) S 4341 4344 2347 0 -1 4202496 582 26183 0 0 0 0 369 14 20 0 1 0 512694721 115843072 369 33554432000 4194304 5098028 140734549905248 140734549901992 140038994436732 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11350016 140734549910308 140734549910636 140734549910636 140734549913549 0
/proc/4344/statm: 28282 369 311 221 0 87 0
[pid=4367] ppid=4344 vsize=7754336 memory=97528 CPUtime=0.82 cores=0-7
/proc/4367/stat : 4367 (java) S 4344 4344 2347 0 -1 1077944320 17798 0 0 0 76 6 0 0 20 0 20 0 512694919 7940440064 24382 33554432000 4194304 4196468 140737112367984 140737112350528 139930051514103 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
/proc/4367/statm: 1938584 24382 3087 1 0 1900463 0
[pid=4367/tid=4368] ppid=4344 vsize=7754336 memory=288230596050944315 CPUtime=0.6 cores=0-7
/proc/4367/task/4368/stat : 4368 (java) R 4344 4344 2347 0 -1 4202560 15426 0 0 0 55 5 0 0 20 0 20 0 512694920 7940440064 24382 33554432000 4194304 4196468 140737112367984 139930023302048 139930031095374 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4369] ppid=4344 vsize=7754336 memory=14692993764428356 CPUtime=0 cores=0-7
/proc/4367/task/4369/stat : 4369 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694921 7940440064 24382 33554432000 4194304 4196468 140737112367984 139930055756048 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4370] ppid=4344 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4370/stat : 4370 (java) S 4344 4344 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512694921 7940440064 24382 33554432000 4194304 4196468 140737112367984 139929855924624 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4371] ppid=4344 vsize=7754336 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/4367/task/4371/stat : 4371 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694921 7940440064 24382 33554432000 4194304 4196468 140737112367984 139929854872080 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4372] ppid=4344 vsize=7754336 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/4367/task/4372/stat : 4372 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694921 7940440064 24382 33554432000 4194304 4196468 140737112367984 139929853819536 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4373] ppid=4344 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4373/stat : 4373 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694921 7940440064 24382 33554432000 4194304 4196468 140737112367984 139929852766992 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4374] ppid=4344 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4374/stat : 4374 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694921 7940440064 24382 33554432000 4194304 4196468 140737112367984 139929851714448 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4375] ppid=4344 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4375/stat : 4375 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694921 7940440064 24382 33554432000 4194304 4196468 140737112367984 139929850661904 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4376] ppid=4344 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4376/stat : 4376 (java) S 4344 4344 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512694921 7940440064 24382 33554432000 4194304 4196468 140737112367984 139929849609360 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4377] ppid=4344 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4377/stat : 4377 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512694922 7940440064 24382 33554432000 4194304 4196468 140737112367984 139928876533744 139930051525250 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4378] ppid=4344 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4378/stat : 4378 (java) S 4344 4344 2347 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512694923 7940440064 24382 33554432000 4194304 4196468 140737112367984 139928692319136 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4379] ppid=4344 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4379/stat : 4379 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694923 7940440064 24382 33554432000 4194304 4196468 140737112367984 139928423883760 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4380] ppid=4344 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4380/stat : 4380 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694925 7940440064 24382 33554432000 4194304 4196468 140737112367984 139928049375440 139930051532699 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4381] ppid=4344 vsize=7754336 memory=140213405726335 CPUtime=0.03 cores=0-7
/proc/4367/task/4381/stat : 4381 (java) S 4344 4344 2347 0 -1 1077944384 363 0 0 0 3 0 0 0 20 0 20 0 512694925 7940440064 24382 33554432000 4194304 4196468 140737112367984 139928875481584 139930051525250 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4382] ppid=4344 vsize=7754336 memory=280418012414336 CPUtime=0.02 cores=0-7
/proc/4367/task/4382/stat : 4382 (java) S 4344 4344 2347 0 -1 1077944384 225 0 0 0 2 0 0 0 20 0 20 0 512694925 7940440064 24382 33554432000 4194304 4196468 140737112367984 139928874429040 139930051525250 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4383] ppid=4344 vsize=7754336 memory=5450909908396308010 CPUtime=0.01 cores=0-7
/proc/4367/task/4383/stat : 4383 (java) S 4344 4344 2347 0 -1 1077944384 79 0 0 0 1 0 0 0 20 0 20 0 512694925 7940440064 24382 33554432000 4194304 4196468 140737112367984 139928873376496 139930051525250 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4384] ppid=4344 vsize=7754336 memory=4638778424102965584 CPUtime=0.13 cores=0-7
/proc/4367/task/4384/stat : 4384 (java) R 4344 4344 2347 0 -1 4202560 368 0 0 0 13 0 0 0 20 0 20 0 512694925 7940440064 24382 33554432000 4194304 4196468 140737112367984 139928872323952 139930035594590 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4385] ppid=4344 vsize=7754336 memory=6226597463719952482 CPUtime=0 cores=0-7
/proc/4367/task/4385/stat : 4385 (java) S 4344 4344 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512694926 7940440064 24382 33554432000 4194304 4196468 140737112367984 139927551469792 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4386] ppid=4344 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4386/stat : 4386 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512694926 7940440064 24382 33554432000 4194304 4196468 140737112367984 139928871270832 139930051525250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
Current children cumulated CPU time: 4.65 s
Current children cumulated vsize: 7867464 KiB
Current children cumulated memory: 99004 KiB

[startup+2.7009 s]
/proc/loadavg: 1.96 2.05 4.63 3/211 4386
/proc/meminfo: memFree=28807820/32770624 swapFree=66999256/67108860
[pid=4344] ppid=4341 vsize=113128 memory=1476 CPUtime=3.83 cores=0-7
/proc/4344/stat : 4344 (scop.sh) S 4341 4344 2347 0 -1 4202496 582 26183 0 0 0 0 369 14 20 0 1 0 512694721 115843072 369 33554432000 4194304 5098028 140734549905248 140734549901992 140038994436732 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11350016 140734549910308 140734549910636 140734549910636 140734549913549 0
/proc/4344/statm: 28282 369 311 221 0 87 0
[pid=4367] ppid=4344 vsize=8215464 memory=113880 CPUtime=1.03 cores=0-7
/proc/4367/stat : 4367 (java) S 4344 4344 2347 0 -1 1077944320 19074 0 0 0 96 7 0 0 20 0 23 0 512694919 8412635136 28470 33554432000 4194304 4196468 140737112367984 140737112350528 139930051514103 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
/proc/4367/statm: 2053866 28470 3166 1 0 2015210 0
[pid=4367/tid=4368] ppid=4344 vsize=8215464 memory=2244 CPUtime=0.7 cores=0-7
/proc/4367/task/4368/stat : 4368 (java) R 4344 4344 2347 0 -1 4202560 16263 0 0 0 65 5 0 0 20 0 23 0 512694920 8412635136 28470 33554432000 4194304 4196468 140737112367984 139930023354768 139930035594590 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4369] ppid=4344 vsize=8215464 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4369/stat : 4369 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 23 0 512694921 8412635136 28470 33554432000 4194304 4196468 140737112367984 139930055756048 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4370] ppid=4344 vsize=8215464 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4370/stat : 4370 (java) S 4344 4344 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 23 0 512694921 8412635136 28470 33554432000 4194304 4196468 140737112367984 139929855924624 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4371] ppid=4344 vsize=8215464 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4371/stat : 4371 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 512694921 8412635136 28470 33554432000 4194304 4196468 140737112367984 139929854872080 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4372] ppid=4344 vsize=8215464 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4372/stat : 4372 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 512694921 8412635136 28470 33554432000 4194304 4196468 140737112367984 139929853819536 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4373] ppid=4344 vsize=8215464 memory=0 CPUtime=0 cores=0-7
/proc/4367/task/4373/stat : 4373 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 23 0 512694921 8412635136 28470 33554432000 4194304 4196468 140737112367984 139929852766992 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4374] ppid=4344 vsize=8215464 memory=67344 CPUtime=0 cores=0-7
/proc/4367/task/4374/stat : 4374 (java) S 4344 4344 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 23 0 512694921 8412635136 28470 33554432000 4194304 4196468 140737112367984 139929851714448 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4375] ppid=4344 vsize=8215464 memory=300896970002923835 CPUtime=0 cores=0-7
/proc/4367/task/4375/stat : 4375 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 512694921 8412635136 28470 33554432000 4194304 4196468 140737112367984 139929850661904 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4376] ppid=4344 vsize=8215464 memory=14692993764428356 CPUtime=0 cores=0-7
/proc/4367/task/4376/stat : 4376 (java) S 4344 4344 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 23 0 512694921 8412635136 28470 33554432000 4194304 4196468 140737112367984 139929849609360 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4377] ppid=4344 vsize=8215464 memory=-4695043397844020537 CPUtime=0 cores=0-7
/proc/4367/task/4377/stat : 4377 (java) S 4344 4344 2347 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 23 0 512694922 8412635136 28536 33554432000 4194304 4196468 140737112367984 139928876533744 139930051525250 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4378] ppid=4344 vsize=8215464 memory=-2605811476043407915 CPUtime=0 cores=0-7
/proc/4367/task/4378/stat : 4378 (java) S 4344 4344 2347 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 23 0 512694923 8412635136 28536 33554432000 4194304 4196468 140737112367984 139928692319136 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4379] ppid=4344 vsize=8215464 memory=-2026666227646604569 CPUtime=0 cores=0-7
/proc/4367/task/4379/stat : 4379 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 512694923 8412635136 28536 33554432000 4194304 4196468 140737112367984 139928423883760 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4380] ppid=4344 vsize=8215464 memory=-4695043397844020537 CPUtime=0 cores=0-7
/proc/4367/task/4380/stat : 4380 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 512694925 8412635136 28536 33554432000 4194304 4196468 140737112367984 139928049375440 139930051532699 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4381] ppid=4344 vsize=8215464 memory=-3756611412707075625 CPUtime=0.04 cores=0-7
/proc/4367/task/4381/stat : 4381 (java) R 4344 4344 2347 0 -1 4202560 508 0 0 0 4 0 0 0 20 0 23 0 512694925 8412635136 28536 33554432000 4194304 4196468 140737112367984 139928875467904 139930051535450 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4382] ppid=4344 vsize=8215464 memory=8562125494162282060 CPUtime=0.03 cores=0-7
/proc/4367/task/4382/stat : 4382 (java) S 4344 4344 2347 0 -1 1077944384 238 0 0 0 3 0 0 0 20 0 23 0 512694925 8412635136 28536 33554432000 4194304 4196468 140737112367984 139928874429040 139930051525250 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4383] ppid=4344 vsize=8215464 memory=-2892745056948402235 CPUtime=0.05 cores=0-7
/proc/4367/task/4383/stat : 4383 (java) R 4344 4344 2347 0 -1 4202560 206 0 0 0 5 0 0 0 20 0 23 0 512694925 8412635136 28536 33554432000 4194304 4196468 140737112367984 139928873365088 139930032214400 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4384] ppid=4344 vsize=8215464 memory=7976406965554101975 CPUtime=0.17 cores=0-7
/proc/4367/task/4384/stat : 4384 (java) S 4344 4344 2347 0 -1 1077944384 489 0 0 0 17 0 0 0 20 0 23 0 512694925 8412635136 28536 33554432000 4194304 4196468 140737112367984 139928872323952 139930051525250 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4385] ppid=4344 vsize=8215464 memory=-2672971630408907303 CPUtime=0 cores=0-7
/proc/4367/task/4385/stat : 4385 (java) S 4344 4344 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 23 0 512694926 8412635136 28536 33554432000 4194304 4196468 140737112367984 139927551469792 139930051524309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
[pid=4367/tid=4386] ppid=4344 vsize=8215464 memory=-2026666227646604569 CPUtime=0 cores=0-7
/proc/4367/task/4386/stat : 4386 (java) S 4344 4344 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 512694926 8412635136 28536 33554432000 4194304 4196468 140737112367984 139928871270832 139930051525250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140737112376312 140737112376470 140737112376470 140737112379343 0
Current children cumulated CPU time: 4.86 s
Current children cumulated vsize: 8328592 KiB
Current children cumulated memory: 115356 KiB

Child status: 0
Real time (s): 2.74695
CPU time (s): 5.0688
CPU user time (s): 4.81447
CPU system time (s): 0.254332
CPU usage (%): 184.525
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 218704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.81447
system time used= 0.254332
maximum resident set size= 262288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48536
page faults= 0
swaps= 0
block input operations= 8
block output operations= 520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7337
involuntary context switches= 15


# summary of solver processes directly reported to runsolver:
#   pid: 4344
#   total CPU time (s): 5.0688
#   total CPU user time (s): 4.81447
#   total CPU system time (s): 0.254332

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048479 second user time and 0.066673 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-25 00:32:37
IDJOB=4405422
IDBENCH=141707
IDSOLVER=2868
FILE ID=node103/4405422-1569364417
RUNJOBID= node103-1569357166-2374
PBS_JOBID= 21705106
Free space on /tmp= 20860 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-15-035.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-4405422-1569364417/watcher-4405422-1569364417 -o /tmp/evaluation-result-4405422-1569364417/solver-4405422-1569364417 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569357166-2374 --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-4405422-1569364417.xml

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

MD5SUM BENCH= 95db7a436582e8fbf27db66b2c693839
RANDOM SEED=1111504186

node103.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.74
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.74
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.74
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.74
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:        28859372 kB
MemAvailable:   31853604 kB
Buffers:           64040 kB
Cached:          3210980 kB
SwapCached:         7000 kB
Active:          3162260 kB
Inactive:         126412 kB
Active(anon):       4436 kB
Inactive(anon):    67432 kB
Active(file):    3157824 kB
Inactive(file):    58980 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66999256 kB
Dirty:             20756 kB
Writeback:             4 kB
AnonPages:        116412 kB
Mapped:            57096 kB
Shmem:             49080 kB
Slab:             214988 kB
SReclaimable:     186528 kB
SUnreclaim:        28460 kB
KernelStack:        3360 kB
PageTables:         5352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 20840 MiB
End job on node103 at 2019-09-25 00:32:40