Trace number 4392262

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)UNSAT 5.1846 2.54823

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-5692-serial-file.bin HOME/instance-4392262-1568449372.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 10:22:13 CEST 2019
0.65/0.56	c PID: 5695
0.65/0.56	c IP: 172.20.3.150
0.65/0.56	c HOST: node150.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.75/1.02	c (0,0) Parsing End
1.75/1.02	c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 35
1.75/1.02	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.75/1.02	c (0,0) Constraint Name Generate Begin
1.75/1.03	c (0,0) Ctr:HOME/instance-4392262-1568449372.xml,Add:Le:Num:Or:Var
1.75/1.03	c (0,0) Constraint Name Generate End
1.75/1.03	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.75/1.03	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.16	c (0,0) translated 32 (30%) constraints
2.01/1.17	c (0,0) translated 42 (40%) constraints
2.01/1.18	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.23	c (0,0) Order
2.22/1.23	c (0,0) ===========================================
2.22/1.23	c (0,0) translated 11 (10%) constraints
2.22/1.24	c (0,0) translated 21 (20%) constraints
2.22/1.24	c (0,0) translated 32 (30%) constraints
2.22/1.24	c (0,0) translated 42 (40%) constraints
2.22/1.25	c (0,0) translated 53 (50%) constraints
2.22/1.25	c (0,0) translated 63 (60%) constraints
2.22/1.25	c (0,0) translated 74 (70%) constraints
2.22/1.26	c (0,0) translated 84 (80%) constraints
2.22/1.26	c (0,0) translated 95 (90%) constraints
2.22/1.26	c (0,0) translated 105 (100%) constraints
2.22/1.27	c (0,0) CSP to CSPinCNF End
2.22/1.27	c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 35
2.22/1.27	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.22/1.27	c (0,0) CSPinCNF Propagation Begin
2.22/1.29	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.22/1.29	c (0,0) CSPinCNF Propagation 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 : 23 MiB used (max 0 MiB)
2.22/1.29	c (0,0) Simplify CSPinCNF Begin
2.45/1.36	c (0,0) Simplify CSPinCNF End
2.45/1.36	c (0,0) CSP: 30 int (0 aux), 420 bool (420 aux), 525 ctr, max domain size 35
2.45/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.45/1.36	c (0,0) Calculate Precise Domain Begin
2.45/1.36	c (0,0) 0 values are removed by re-calculation
2.45/1.36	c (0,0) Calculate Precise Domain End
2.45/1.36	c (0,0) CSP: 30 int (0 aux), 420 bool (420 aux), 525 ctr, max domain size 35
2.45/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.45/1.36	c (0,0) CSPinCNF to SatSolver Begin
2.89/1.53	c (0,0) 53 (10 %) CSP clauses are encoded (0 SAT variables, 1995 SAT clauses)
2.89/1.55	c (1,1) 105 (20 %) CSP clauses are encoded (0 SAT variables, 3127 SAT clauses)
2.89/1.57	c (1,1) 158 (30 %) CSP clauses are encoded (0 SAT variables, 4186 SAT clauses)
2.89/1.59	c (1,1) 210 (40 %) CSP clauses are encoded (0 SAT variables, 5188 SAT clauses)
3.29/1.61	c (1,1) 263 (50 %) CSP clauses are encoded (0 SAT variables, 6141 SAT clauses)
3.29/1.62	c (1,1) 315 (60 %) CSP clauses are encoded (0 SAT variables, 7037 SAT clauses)
3.29/1.64	c (1,1) 368 (70 %) CSP clauses are encoded (0 SAT variables, 7860 SAT clauses)
3.29/1.65	c (1,1) 420 (80 %) CSP clauses are encoded (0 SAT variables, 8578 SAT clauses)
3.29/1.66	c (1,1) 473 (90 %) CSP clauses are encoded (0 SAT variables, 9219 SAT clauses)
3.29/1.67	c (1,1) 525 (100 %) CSP clauses are encoded (0 SAT variables, 9697 SAT clauses)
3.29/1.67	c (1,1) CSPinCNF to SatSolver End
3.29/1.67	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.29/1.67	c (1,1) 1230 bool, 9705 clause
3.29/1.67	c (1,1) Export Begin
3.73/1.75	c (1,1) Export to HOME/scop-5692-serial-file.bin
3.73/1.75	c (1,1) Export End
3.73/1.75	c (1,1) Export File Size: 0.01 MB
3.73/1.75	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.73/1.75	c END-Prog: Sat Sep 14 10:22:14 CEST 2019
3.73/1.77	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5692-serial-file.bin
4.50/2.23	c (0,0) Read Serial File Begin
4.50/2.23	c (0,0) HOME/scop-5692-serial-file.bin
4.76/2.42	c (0,0) Read Serial File End
4.76/2.44	
4.76/2.44	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
4.76/2.44	(Solving Process)
4.76/2.44	
4.76/2.46	c BEGIN-Prog: Sat Sep 14 10:22:15 CEST 2019
4.76/2.46	c PID: 5715
4.76/2.46	c IP: 172.20.3.150
4.76/2.46	c HOST: node150.alineos.net
4.76/2.46	c (0,0) SatSolver.solve Begin
4.76/2.46	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392262-1568449372.xml-scop-5695.cnf
4.76/2.49	c (0,0) c
4.76/2.49	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.76/2.49	c (0,0) c
4.76/2.49	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.76/2.49	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
4.76/2.49	c (0,0) c ========================================[ Problem Statistics ]===========================================
4.76/2.49	c (0,0) c |                                                                                                       |
4.76/2.49	c (0,0) c |  Number of variables:          1230                                                                   |
4.76/2.49	c (0,0) c |  Number of clauses:            9705                                                                   |
4.76/2.49	c (0,0) c |  Parse time:                   0.00 s                                                                 |
4.76/2.49	c (0,0) c |                                                                                                       |
4.76/2.49	c (0,0) c |  Simplification time:          0.01 s                                                                 |
4.76/2.49	c (0,0) c |                                                                                                       |
4.76/2.49	c (0,0) c |  Generating clones                                                                                    |
4.76/2.50	c (0,0) c |  all clones generated. Memory =    29.09Mb.                                                           |
4.76/2.50	c (0,0) c ========================================================================================================|
4.76/2.50	c (0,0) c
4.76/2.50	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
4.76/2.50	c (0,0) c
4.76/2.50	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.76/2.50	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
4.76/2.50	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.76/2.50	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
4.76/2.50	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
4.76/2.50	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
4.76/2.50	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
4.76/2.50	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
4.76/2.50	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
4.76/2.50	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
4.76/2.50	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
4.76/2.50	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
4.76/2.50	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
4.76/2.50	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
4.76/2.50	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
4.76/2.50	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
4.76/2.50	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
4.76/2.50	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
4.76/2.50	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.76/2.51	c (0,0) c
4.76/2.51	c (0,0) c real time : 0.023154 s
4.76/2.51	c (0,0) c cpu time  : 0.035699 s
4.76/2.51	c (0,0) c
4.76/2.51	c (0,0) c
4.76/2.51	c (0,0) c
4.76/2.51	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
4.76/2.51	c (0,0) c
4.76/2.51	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.76/2.51	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
4.76/2.51	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.76/2.51	c (0,0) c | Conflicts     |            1336 |        104 |        333 |        114 |        122 |        203 |        121 |        131 |        208 |
4.76/2.51	c (0,0) c | Decisions     |            1817 |        133 |        400 |        172 |        165 |        259 |        172 |        176 |        340 |
4.76/2.51	c (0,0) c | Propagations  |           59035 |       3421 |      14566 |       4924 |       4473 |       8476 |       5066 |       6101 |      12008 |
4.76/2.51	c (0,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.76/2.51	c (0,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
5.00/2.51	c (0,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
5.00/2.51	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.00/2.51	c (0,0) c | PropBinClauses|          114701 |       7146 |      29578 |      10240 |       9577 |      17670 |       9761 |      11913 |      18816 |
5.00/2.51	c (0,0) c | PropPreBlocker|          475827 |      22563 |     122933 |      37322 |      36676 |      74274 |      38715 |      53940 |      89404 |
5.00/2.51	c (0,0) c | PropNotBlocker|          292293 |      16328 |      74405 |      26241 |      24304 |      46411 |      26984 |      32484 |      45136 |
5.00/2.51	c (0,0) c | LitFullScans  |         1158014 |      59878 |     310188 |      93825 |      88444 |     180572 |      95554 |     125677 |     203876 |
5.00/2.51	c (0,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.00/2.51	c (0,0) c | DecisionLevel0|              53 |          6 |          6 |          8 |          6 |          5 |          9 |          7 |          6 |
5.00/2.51	c (0,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.00/2.51	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
5.00/2.51	c (0,0) c | Avg_Trail     |                 |        168 |        271 |        235 |        219 |        276 |        225 |        321 |        423 |
5.00/2.51	c (0,0) c | Avg_DL        |                 |          4 |         16 |         10 |          8 |         12 |          9 |         13 |         16 |
5.00/2.51	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.00/2.51	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.00/2.51	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.00/2.51	c (0,0) c | Exported      |             168 |         24 |         28 |         21 |         26 |         22 |         14 |         19 |         14 |
5.00/2.51	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.00/2.51	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.00/2.51	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.00/2.51	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.00/2.51	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.00/2.51	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5.00/2.51	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.00/2.51	c (0,0) c | Unaries       |                 |          5 |          5 |          7 |          5 |          4 |          8 |          6 |          5 |
5.00/2.51	c (0,0) c | Binaries      |                 |          5 |          4 |          4 |          9 |          4 |          6 |          5 |          6 |
5.00/2.51	c (0,0) c | Glues         |                 |         24 |         28 |         21 |         26 |         22 |         14 |         19 |         14 |
5.00/2.51	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.00/2.51	c (0,0) c | Orig_Seen     |             3 % |        148 |        441 |        179 |        169 |        278 |        208 |        242 |        680 |
5.00/2.51	c (0,0) c | Diff Orig seen|                 |      X     |        293 |         31 |         21 |        130 |         60 |         94 |        532 |
5.00/2.51	c (0,0) c | Hamming       |            14 % |      X     |        206 |        216 |        129 |        140 |        158 |        125 |        249 |
5.00/2.51	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.00/2.51	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 100%|    0.0 100%|
5.00/2.51	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%|
5.00/2.51	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   0%|    0.0   0%|
5.00/2.51	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%|
5.00/2.51	c (0,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
5.00/2.51	c (0,0) c | PropagationTim|                 |    0.0  78%|    0.0  80%|    0.0  85%|    0.0  92%|    0.0  84%|    0.0  87%|    0.0  86%|    0.0  79%|
5.00/2.51	c (0,0) c | AnalysisTime  |                 |    0.0  14%|    0.0  16%|    0.0  10%|    0.0   6%|    0.0  12%|    0.0   9%|    0.0  10%|    0.0  15%|
5.00/2.51	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%|
5.00/2.51	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%|
5.00/2.51	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%|
5.00/2.51	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%|
5.00/2.51	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.00/2.51	c (0,0) c
5.00/2.51	c (0,0) c
5.00/2.51	c (0,0) c Threads : 8
5.00/2.51	c (0,0) c Winner : 0
5.00/2.51	c (0,0) c Conflicts_0 : 104
5.00/2.51	c (0,0) c Conflicts_1 : 333
5.00/2.51	c (0,0) c Conflicts_2 : 114
5.00/2.51	c (0,0) c Conflicts_3 : 122
5.00/2.51	c (0,0) c Conflicts_4 : 203
5.00/2.51	c (0,0) c Conflicts_5 : 121
5.00/2.51	c (0,0) c Conflicts_6 : 131
5.00/2.51	c (0,0) c Conflicts_7 : 208
5.00/2.51	c (0,0) c Conflicts_total : 1336
5.00/2.51	c (0,0) c Conflicts_winner : 104
5.00/2.51	c (0,0) c Decisions_0 : 133
5.00/2.51	c (0,0) c Decisions_1 : 400
5.00/2.51	c (0,0) c Decisions_2 : 172
5.00/2.51	c (0,0) c Decisions_3 : 165
5.00/2.51	c (0,0) c Decisions_4 : 259
5.00/2.51	c (0,0) c Decisions_5 : 172
5.00/2.51	c (0,0) c Decisions_6 : 176
5.00/2.51	c (0,0) c Decisions_7 : 340
5.00/2.51	c (0,0) c Decisions_total : 1817
5.00/2.51	c (0,0) c Decisions_winner : 133
5.00/2.51	c (0,0) c Propagations_0 : 3421
5.00/2.51	c (0,0) c Propagations_1 : 14566
5.00/2.51	c (0,0) c Propagations_2 : 4924
5.00/2.51	c (0,0) c Propagations_3 : 4473
5.00/2.51	c (0,0) c Propagations_4 : 8476
5.00/2.51	c (0,0) c Propagations_5 : 5066
5.00/2.51	c (0,0) c Propagations_6 : 6101
5.00/2.51	c (0,0) c Propagations_7 : 12008
5.00/2.51	c (0,0) c Propagations_total : 59035
5.00/2.51	c (0,0) c Propagations_winner : 3421
5.00/2.51	c (0,0) c ReduceDBs_0 : 0
5.00/2.51	c (0,0) c ReduceDBs_1 : 0
5.00/2.51	c (0,0) c ReduceDBs_2 : 0
5.00/2.51	c (0,0) c ReduceDBs_3 : 0
5.00/2.51	c (0,0) c ReduceDBs_4 : 0
5.00/2.51	c (0,0) c ReduceDBs_5 : 0
5.00/2.51	c (0,0) c ReduceDBs_6 : 0
5.00/2.51	c (0,0) c ReduceDBs_7 : 0
5.00/2.51	c (0,0) c ReduceDBs_total : 0
5.00/2.51	c (0,0) c ReduceDBs_winner : 0
5.00/2.51	c (0,0) c SimpDBs_0 : 1
5.00/2.51	c (0,0) c SimpDBs_1 : 1
5.00/2.51	c (0,0) c SimpDBs_2 : 1
5.00/2.51	c (0,0) c SimpDBs_3 : 1
5.00/2.51	c (0,0) c SimpDBs_4 : 1
5.00/2.51	c (0,0) c SimpDBs_5 : 1
5.00/2.51	c (0,0) c SimpDBs_6 : 1
5.00/2.51	c (0,0) c SimpDBs_7 : 1
5.00/2.51	c (0,0) c SimpDBs_total : 8
5.00/2.51	c (0,0) c SimpDBs_winner : 1
5.00/2.51	c (0,0) c Restarts_0 : 1
5.00/2.51	c (0,0) c Restarts_1 : 1
5.00/2.51	c (0,0) c Restarts_2 : 1
5.00/2.51	c (0,0) c Restarts_3 : 1
5.00/2.51	c (0,0) c Restarts_4 : 1
5.00/2.51	c (0,0) c Restarts_5 : 1
5.00/2.51	c (0,0) c Restarts_6 : 1
5.00/2.51	c (0,0) c Restarts_7 : 1
5.00/2.51	c (0,0) c Restarts_total : 8
5.00/2.51	c (0,0) c Restarts_winner : 1
5.00/2.51	c (0,0) c ForcedImports_0 : 0
5.00/2.51	c (0,0) c ForcedImports_1 : 0
5.00/2.51	c (0,0) c ForcedImports_2 : 0
5.00/2.51	c (0,0) c ForcedImports_3 : 0
5.00/2.51	c (0,0) c ForcedImports_4 : 0
5.00/2.51	c (0,0) c ForcedImports_5 : 0
5.00/2.51	c (0,0) c ForcedImports_6 : 0
5.00/2.51	c (0,0) c ForcedImports_7 : 0
5.00/2.51	c (0,0) c ForcedImports_total : 0
5.00/2.51	c (0,0) c ForcedImports_winner : 0
5.00/2.51	c (0,0) c PropsBinClauses_0 : 7146
5.00/2.52	c (0,0) c PropsBinClauses_1 : 29578
5.00/2.52	c (0,0) c PropsBinClauses_2 : 10240
5.00/2.52	c (0,0) c PropsBinClauses_3 : 9577
5.00/2.52	c (0,0) c PropsBinClauses_4 : 17670
5.00/2.52	c (0,0) c PropsBinClauses_5 : 9761
5.00/2.52	c (0,0) c PropsBinClauses_6 : 11913
5.00/2.52	c (0,0) c PropsBinClauses_7 : 18816
5.00/2.52	c (0,0) c PropsBinClauses_total : 114701
5.00/2.52	c (0,0) c PropsBinClauses_winner : 7146
5.00/2.52	c (0,0) c PropsPreBlocker_0 : 22563
5.00/2.52	c (0,0) c PropsPreBlocker_1 : 122933
5.00/2.52	c (0,0) c PropsPreBlocker_2 : 37322
5.00/2.52	c (0,0) c PropsPreBlocker_3 : 36676
5.00/2.52	c (0,0) c PropsPreBlocker_4 : 74274
5.00/2.52	c (0,0) c PropsPreBlocker_5 : 38715
5.00/2.52	c (0,0) c PropsPreBlocker_6 : 53940
5.00/2.52	c (0,0) c PropsPreBlocker_7 : 89404
5.00/2.52	c (0,0) c PropsPreBlocker_total : 475827
5.00/2.52	c (0,0) c PropsPreBlocker_winner : 22563
5.00/2.52	c (0,0) c PropsNotBlocker_0 : 16328
5.00/2.52	c (0,0) c PropsNotBlocker_1 : 74405
5.00/2.52	c (0,0) c PropsNotBlocker_2 : 26241
5.00/2.52	c (0,0) c PropsNotBlocker_3 : 24304
5.00/2.52	c (0,0) c PropsNotBlocker_4 : 46411
5.00/2.52	c (0,0) c PropsNotBlocker_5 : 26984
5.00/2.52	c (0,0) c PropsNotBlocker_6 : 32484
5.00/2.52	c (0,0) c PropsNotBlocker_7 : 45136
5.00/2.52	c (0,0) c PropsNotBlocker_total : 292293
5.00/2.52	c (0,0) c PropsNotBlocker_winner : 16328
5.00/2.52	c (0,0) c PropsLitFullScans_0 : 59878
5.00/2.52	c (0,0) c PropsLitFullScans_1 : 310188
5.00/2.52	c (0,0) c PropsLitFullScans_2 : 93825
5.00/2.52	c (0,0) c PropsLitFullScans_3 : 88444
5.00/2.52	c (0,0) c PropsLitFullScans_4 : 180572
5.00/2.52	c (0,0) c PropsLitFullScans_5 : 95554
5.00/2.52	c (0,0) c PropsLitFullScans_6 : 125677
5.00/2.52	c (0,0) c PropsLitFullScans_7 : 203876
5.00/2.52	c (0,0) c PropsLitFullScans_total : 1158014
5.00/2.52	c (0,0) c PropsLitFullScans_winner : 59878
5.00/2.52	c (0,0) c LitScanFractions_0 : 0
5.00/2.52	c (0,0) c LitScanFractions_1 : 0
5.00/2.52	c (0,0) c LitScanFractions_2 : 0
5.00/2.52	c (0,0) c LitScanFractions_3 : 0
5.00/2.52	c (0,0) c LitScanFractions_4 : 0
5.00/2.52	c (0,0) c LitScanFractions_5 : 0
5.00/2.52	c (0,0) c LitScanFractions_6 : 0
5.00/2.52	c (0,0) c LitScanFractions_7 : 0
5.00/2.52	c (0,0) c LitScanFractions_total : 0
5.00/2.52	c (0,0) c LitScanFractions_winner : 0
5.00/2.52	c (0,0) c DecisionLevel0_0 : 6
5.00/2.52	c (0,0) c DecisionLevel0_1 : 6
5.00/2.52	c (0,0) c DecisionLevel0_2 : 8
5.00/2.52	c (0,0) c DecisionLevel0_3 : 6
5.00/2.52	c (0,0) c DecisionLevel0_4 : 5
5.00/2.52	c (0,0) c DecisionLevel0_5 : 9
5.00/2.52	c (0,0) c DecisionLevel0_6 : 7
5.00/2.52	c (0,0) c DecisionLevel0_7 : 6
5.00/2.52	c (0,0) c DecisionLevel0_total : 53
5.00/2.52	c (0,0) c DecisionLevel0_winner : 6
5.00/2.52	c (0,0) c Periods_0 : 0
5.00/2.52	c (0,0) c Periods_1 : 0
5.00/2.52	c (0,0) c Periods_2 : 0
5.00/2.52	c (0,0) c Periods_3 : 0
5.00/2.52	c (0,0) c Periods_4 : 0
5.00/2.52	c (0,0) c Periods_5 : 0
5.00/2.52	c (0,0) c Periods_6 : 0
5.00/2.52	c (0,0) c Periods_7 : 0
5.00/2.52	c (0,0) c Periods_total : 0
5.00/2.52	c (0,0) c Periods_winner : 0
5.00/2.52	c (0,0) c Margin_0 : 20
5.00/2.52	c (0,0) c Margin_1 : 20
5.00/2.52	c (0,0) c Margin_2 : 20
5.00/2.52	c (0,0) c Margin_3 : 20
5.00/2.52	c (0,0) c Margin_4 : 20
5.00/2.52	c (0,0) c Margin_5 : 20
5.00/2.52	c (0,0) c Margin_6 : 20
5.00/2.52	c (0,0) c Margin_7 : 20
5.00/2.52	c (0,0) c Margin_total : 160
5.00/2.52	c (0,0) c Margin_winner : 20
5.00/2.52	c (0,0) c Exported_0 : 24
5.00/2.52	c (0,0) c Exported_1 : 28
5.00/2.52	c (0,0) c Exported_2 : 21
5.00/2.52	c (0,0) c Exported_3 : 26
5.00/2.52	c (0,0) c Exported_4 : 22
5.00/2.52	c (0,0) c Exported_5 : 14
5.00/2.52	c (0,0) c Exported_6 : 19
5.00/2.52	c (0,0) c Exported_7 : 14
5.00/2.52	c (0,0) c Exported_total : 168
5.00/2.52	c (0,0) c Exported_winner : 24
5.00/2.52	c (0,0) c Imported_0 : 0
5.00/2.52	c (0,0) c Imported_1 : 0
5.00/2.52	c (0,0) c Imported_2 : 0
5.00/2.52	c (0,0) c Imported_3 : 0
5.00/2.52	c (0,0) c Imported_4 : 0
5.00/2.52	c (0,0) c Imported_5 : 0
5.00/2.52	c (0,0) c Imported_6 : 0
5.00/2.52	c (0,0) c Imported_7 : 0
5.00/2.52	c (0,0) c Imported_total : 0
5.00/2.52	c (0,0) c Imported_winner : 0
5.00/2.52	c (0,0) c Good_0 : 0
5.00/2.52	c (0,0) c Good_1 : 0
5.00/2.52	c (0,0) c Good_2 : 0
5.00/2.52	c (0,0) c Good_3 : 0
5.00/2.52	c (0,0) c Good_4 : 0
5.00/2.52	c (0,0) c Good_5 : 0
5.00/2.52	c (0,0) c Good_6 : 0
5.00/2.52	c (0,0) c Good_7 : 0
5.00/2.52	c (0,0) c Good_total : 0
5.00/2.52	c (0,0) c Good_winner : 0
5.00/2.52	c (0,0) c Purge_0 : 0
5.00/2.52	c (0,0) c Purge_1 : 0
5.00/2.52	c (0,0) c Purge_2 : 0
5.00/2.52	c (0,0) c Purge_3 : 0
5.00/2.52	c (0,0) c Purge_4 : 0
5.00/2.52	c (0,0) c Purge_5 : 0
5.00/2.52	c (0,0) c Purge_6 : 0
5.00/2.52	c (0,0) c Purge_7 : 0
5.00/2.52	c (0,0) c Purge_total : 0
5.00/2.52	c (0,0) c Purge_winner : 0
5.00/2.52	c (0,0) c Promoted_0 : 0
5.00/2.52	c (0,0) c Promoted_1 : 0
5.00/2.52	c (0,0) c Promoted_2 : 0
5.00/2.52	c (0,0) c Promoted_3 : 0
5.00/2.52	c (0,0) c Promoted_4 : 0
5.00/2.52	c (0,0) c Promoted_5 : 0
5.00/2.52	c (0,0) c Promoted_6 : 0
5.00/2.52	c (0,0) c Promoted_7 : 0
5.00/2.52	c (0,0) c Promoted_total : 0
5.00/2.52	c (0,0) c Promoted_winner : 0
5.00/2.52	c (0,0) c Remove_Imp_0 : 0
5.00/2.52	c (0,0) c Remove_Imp_1 : 0
5.00/2.52	c (0,0) c Remove_Imp_2 : 0
5.00/2.52	c (0,0) c Remove_Imp_3 : 0
5.00/2.52	c (0,0) c Remove_Imp_4 : 0
5.00/2.52	c (0,0) c Remove_Imp_5 : 0
5.00/2.52	c (0,0) c Remove_Imp_6 : 0
5.00/2.52	c (0,0) c Remove_Imp_7 : 0
5.00/2.52	c (0,0) c Remove_Imp_total : 0
5.00/2.52	c (0,0) c Remove_Imp_winner : 0
5.00/2.52	c (0,0) c Blocked_Reuse_0 : 0
5.00/2.52	c (0,0) c Blocked_Reuse_1 : 0
5.00/2.52	c (0,0) c Blocked_Reuse_2 : 0
5.00/2.52	c (0,0) c Blocked_Reuse_3 : 0
5.00/2.52	c (0,0) c Blocked_Reuse_4 : 0
5.00/2.52	c (0,0) c Blocked_Reuse_5 : 0
5.00/2.52	c (0,0) c Blocked_Reuse_6 : 0
5.00/2.52	c (0,0) c Blocked_Reuse_7 : 0
5.00/2.52	c (0,0) c Blocked_Reuse_total : 0
5.00/2.52	c (0,0) c Blocked_Reuse_winner : 0
5.00/2.52	c (0,0) c Unaries_0 : 5
5.00/2.52	c (0,0) c Unaries_1 : 5
5.00/2.52	c (0,0) c Unaries_2 : 7
5.00/2.52	c (0,0) c Unaries_3 : 5
5.00/2.52	c (0,0) c Unaries_4 : 4
5.00/2.52	c (0,0) c Unaries_5 : 8
5.00/2.52	c (0,0) c Unaries_6 : 6
5.00/2.52	c (0,0) c Unaries_7 : 5
5.00/2.52	c (0,0) c Unaries_total : 45
5.00/2.52	c (0,0) c Unaries_winner : 5
5.00/2.52	c (0,0) c Binaries_0 : 5
5.00/2.52	c (0,0) c Binaries_1 : 4
5.00/2.52	c (0,0) c Binaries_2 : 4
5.00/2.52	c (0,0) c Binaries_3 : 9
5.00/2.52	c (0,0) c Binaries_4 : 4
5.00/2.52	c (0,0) c Binaries_5 : 6
5.00/2.52	c (0,0) c Binaries_6 : 5
5.00/2.52	c (0,0) c Binaries_7 : 6
5.00/2.52	c (0,0) c Binaries_total : 43
5.00/2.52	c (0,0) c Binaries_winner : 5
5.00/2.52	c (0,0) c Glues_0 : 24
5.00/2.52	c (0,0) c Glues_1 : 28
5.00/2.52	c (0,0) c Glues_2 : 21
5.00/2.52	c (0,0) c Glues_3 : 26
5.00/2.52	c (0,0) c Glues_4 : 22
5.00/2.52	c (0,0) c Glues_5 : 14
5.00/2.52	c (0,0) c Glues_6 : 19
5.00/2.52	c (0,0) c Glues_7 : 14
5.00/2.52	c (0,0) c Glues_total : 168
5.00/2.52	c (0,0) c Glues_winner : 24
5.00/2.52	c (0,0) c RunningTime_0 : 0.002033
5.00/2.52	c (0,0) c RunningTime_1 : 0.008134
5.00/2.52	c (0,0) c RunningTime_2 : 0.003378
5.00/2.52	c (0,0) c RunningTime_3 : 0.005968
5.00/2.52	c (0,0) c RunningTime_4 : 0.005510
5.00/2.52	c (0,0) c RunningTime_5 : 0.003975
5.00/2.52	c (0,0) c RunningTime_6 : 0.004189
5.00/2.52	c (0,0) c RunningTime_7 : 0.005447
5.00/2.52	c (0,0) c RunningTime_total : 0.038633
5.00/2.52	c (0,0) c RunningTime_winner : 0.002033
5.00/2.52	c (0,0) c WaitingTime_0 : 0.000000
5.00/2.52	c (0,0) c WaitingTime_1 : 0.000000
5.00/2.52	c (0,0) c WaitingTime_2 : 0.000000
5.00/2.52	c (0,0) c WaitingTime_3 : 0.000000
5.00/2.52	c (0,0) c WaitingTime_4 : 0.000000
5.00/2.52	c (0,0) c WaitingTime_5 : 0.000000
5.00/2.52	c (0,0) c WaitingTime_6 : 0.000000
5.00/2.52	c (0,0) c WaitingTime_7 : 0.000000
5.00/2.52	c (0,0) c WaitingTime_total : 0.000000
5.00/2.52	c (0,0) c WaitingTime_winner : 0.000000
5.00/2.52	c (0,0) c ExchangingTime_0 : 0.000016
5.00/2.52	c (0,0) c ExchangingTime_1 : 0.000020
5.00/2.52	c (0,0) c ExchangingTime_2 : 0.000011
5.00/2.52	c (0,0) c ExchangingTime_3 : 0.000010
5.00/2.52	c (0,0) c ExchangingTime_4 : 0.000016
5.00/2.52	c (0,0) c ExchangingTime_5 : 0.000008
5.00/2.52	c (0,0) c ExchangingTime_6 : 0.000017
5.00/2.52	c (0,0) c ExchangingTime_7 : 0.000014
5.00/2.52	c (0,0) c ExchangingTime_total : 0.000112
5.00/2.52	c (0,0) c ExchangingTime_winner : 0.000016
5.00/2.52	c (0,0) c PeriodProcTime_0 : 0.000000
5.00/2.52	c (0,0) c PeriodProcTime_1 : 0.000000
5.00/2.52	c (0,0) c PeriodProcTime_2 : 0.000000
5.00/2.52	c (0,0) c PeriodProcTime_3 : 0.000000
5.00/2.52	c (0,0) c PeriodProcTime_4 : 0.000000
5.00/2.52	c (0,0) c PeriodProcTime_5 : 0.000000
5.00/2.52	c (0,0) c PeriodProcTime_6 : 0.000000
5.00/2.52	c (0,0) c PeriodProcTime_7 : 0.000000
5.00/2.52	c (0,0) c PeriodProcTime_total : 0.000000
5.00/2.52	c (0,0) c PeriodProcTime_winner : 0.000000
5.00/2.52	c (0,0) c SolvingTime_0 : 0.002049
5.00/2.52	c (0,0) c SolvingTime_1 : 0.008153
5.00/2.52	c (0,0) c SolvingTime_2 : 0.003390
5.00/2.52	c (0,0) c SolvingTime_3 : 0.005978
5.00/2.52	c (0,0) c SolvingTime_4 : 0.005526
5.00/2.52	c (0,0) c SolvingTime_5 : 0.003983
5.00/2.52	c (0,0) c SolvingTime_6 : 0.004206
5.00/2.52	c (0,0) c SolvingTime_7 : 0.005461
5.00/2.52	c (0,0) c SolvingTime_total : 0.038745
5.00/2.52	c (0,0) c SolvingTime_winner : 0.002049
5.00/2.52	c (0,0) c PropagationTime_0 : 0.001605
5.00/2.52	c (0,0) c PropagationTime_1 : 0.006513
5.00/2.52	c (0,0) c PropagationTime_2 : 0.002867
5.00/2.52	c (0,0) c PropagationTime_3 : 0.005505
5.00/2.52	c (0,0) c PropagationTime_4 : 0.004622
5.00/2.52	c (0,0) c PropagationTime_5 : 0.003463
5.00/2.52	c (0,0) c PropagationTime_6 : 0.003606
5.00/2.52	c (0,0) c PropagationTime_7 : 0.004323
5.00/2.52	c (0,0) c PropagationTime_total : 0.032504
5.00/2.52	c (0,0) c PropagationTime_winner : 0.001605
5.00/2.52	c (0,0) c AnalysisTime_0 : 0.000283
5.00/2.52	c (0,0) c AnalysisTime_1 : 0.001285
5.00/2.52	c (0,0) c AnalysisTime_2 : 0.000339
5.00/2.52	c (0,0) c AnalysisTime_3 : 0.000331
5.00/2.52	c (0,0) c AnalysisTime_4 : 0.000671
5.00/2.52	c (0,0) c AnalysisTime_5 : 0.000348
5.00/2.52	c (0,0) c AnalysisTime_6 : 0.000423
5.00/2.52	c (0,0) c AnalysisTime_7 : 0.000802
5.00/2.52	c (0,0) c AnalysisTime_total : 0.004482
5.00/2.52	c (0,0) c AnalysisTime_winner : 0.000283
5.00/2.52	c (0,0) c ReductionTime_0 : 0.000000
5.00/2.52	c (0,0) c ReductionTime_1 : 0.000000
5.00/2.52	c (0,0) c ReductionTime_2 : 0.000000
5.00/2.52	c (0,0) c ReductionTime_3 : 0.000000
5.00/2.52	c (0,0) c ReductionTime_4 : 0.000000
5.00/2.52	c (0,0) c ReductionTime_5 : 0.000000
5.00/2.52	c (0,0) c ReductionTime_6 : 0.000000
5.00/2.52	c (0,0) c ReductionTime_7 : 0.000000
5.00/2.52	c (0,0) c ReductionTime_total : 0.000000
5.00/2.52	c (0,0) c ReductionTime_winner : 0.000000
5.00/2.52	c (0,0) c SimplifyTime_0 : 0.000000
5.00/2.52	c (0,0) c SimplifyTime_1 : 0.000000
5.00/2.52	c (0,0) c SimplifyTime_2 : 0.000001
5.00/2.52	c (0,0) c SimplifyTime_3 : 0.000001
5.00/2.52	c (0,0) c SimplifyTime_4 : 0.000000
5.00/2.52	c (0,0) c SimplifyTime_5 : 0.000000
5.00/2.52	c (0,0) c SimplifyTime_6 : 0.000000
5.00/2.52	c (0,0) c SimplifyTime_7 : 0.000000
5.00/2.52	c (0,0) c SimplifyTime_total : 0.000002
5.00/2.52	c (0,0) c SimplifyTime_winner : 0.000000
5.00/2.52	c (0,0) c UsedRateTime_0 : 0.000000
5.00/2.52	c (0,0) c UsedRateTime_1 : 0.000000
5.00/2.52	c (0,0) c UsedRateTime_2 : 0.000000
5.00/2.52	c (0,0) c UsedRateTime_3 : 0.000000
5.00/2.52	c (0,0) c UsedRateTime_4 : 0.000000
5.00/2.52	c (0,0) c UsedRateTime_5 : 0.000000
5.00/2.52	c (0,0) c UsedRateTime_6 : 0.000000
5.00/2.52	c (0,0) c UsedRateTime_7 : 0.000000
5.00/2.52	c (0,0) c UsedRateTime_total : 0.000000
5.00/2.52	c (0,0) c UsedRateTime_winner : 0.000000
5.00/2.52	c (0,0) c OverlapRateTime_0 : 0.000000
5.00/2.52	c (0,0) c OverlapRateTime_1 : 0.000000
5.00/2.52	c (0,0) c OverlapRateTime_2 : 0.000000
5.00/2.52	c (0,0) c OverlapRateTime_3 : 0.000000
5.00/2.52	c (0,0) c OverlapRateTime_4 : 0.000000
5.00/2.52	c (0,0) c OverlapRateTime_5 : 0.000000
5.00/2.52	c (0,0) c OverlapRateTime_6 : 0.000000
5.00/2.52	c (0,0) c OverlapRateTime_7 : 0.000000
5.00/2.52	c (0,0) c OverlapRateTime_total : 0.000000
5.00/2.52	c (0,0) c OverlapRateTime_winner : 0.000000
5.00/2.52	c (0,0) c
5.00/2.52	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
5.00/2.52	c (0,0) c
5.00/2.52	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.00/2.52	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5.00/2.52	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.00/2.52	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
5.00/2.52	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
5.00/2.52	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
5.00/2.52	c (0,0) c | Initial random_seed   |  697820590 | 1242149371 | 1019283494 | 1990948321 | 1654107838 |  238762021 | 2110020967 | 1243244061 |
5.00/2.52	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
5.00/2.52	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
5.00/2.52	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
5.00/2.52	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
5.00/2.52	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
5.00/2.52	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
5.00/2.52	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
5.00/2.52	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
5.00/2.52	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
5.00/2.52	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
5.00/2.52	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
5.00/2.52	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.00/2.52	c (0,0) 
5.00/2.53	c (0,0) s UNSATISFIABLE
5.00/2.53	c (0,0) SatSolver.solve End
5.00/2.53	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
5.00/2.53	c (0,0) Show results Begin
5.00/2.53	s UNSATISFIABLE
5.00/2.53	c (0,0) Show results End
5.00/2.53	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
5.00/2.54	c (0,0) 0,0,STOP-AFTER(ALL)
5.00/2.54	c END-Prog: Sat Sep 14 10:22:15 CEST 2019

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14138 MiB free)
  memory of node 1: 16384 MiB (15722 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100161 s]*
/proc/loadavg: 7.45 7.84 7.57 2/212 5714
/proc/meminfo: memFree=30482856/32770624 swapFree=67022344/67108860
[pid=5692] ppid=5689 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5692/stat : 5692 (scop.sh) S 5689 5692 2957 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421209832 115843072 349 33554432000 4194304 5098028 140735608571664 140735608568920 140054862287484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32387072 140735608578853 140735608579180 140735608579180 140735608582093 0
/proc/5692/statm: 28282 349 296 221 0 87 0
[pid=5695] ppid=5692 vsize=27314120 memory=106136 CPUtime=0.1 cores=0-7
/proc/5695/stat : 5695 (java) S 5692 5692 2957 0 -1 1077944320 6613 0 0 0 8 2 0 0 20 0 20 0 421209832 27969658880 26534 33554432000 4194304 4196468 140734057028720 140734057011264 139756901535479 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
/proc/5695/statm: 6828530 26534 2799 1 0 6790935 0
[pid=5695/tid=5696] ppid=5692 vsize=27314120 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/5695/task/5696/stat : 5696 (java) R 5692 5692 2957 0 -1 4202560 4714 0 0 0 7 2 0 0 20 0 20 0 421209832 27969658880 26534 33554432000 4194304 4196468 140734057028720 139756873348992 139756885579109 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5697] ppid=5692 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5695/task/5697/stat : 5697 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 26534 33554432000 4194304 4196468 140734057028720 139756905777424 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5698] ppid=5692 vsize=27314120 memory=140444759279232 CPUtime=0 cores=0-7
/proc/5695/task/5698/stat : 5698 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 26534 33554432000 4194304 4196468 140734057028720 139756719933840 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5699] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5699/stat : 5699 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 26534 33554432000 4194304 4196468 140734057028720 139756718881296 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5700] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5700/stat : 5700 (java) S 5692 5692 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 26534 33554432000 4194304 4196468 140734057028720 139756717828752 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5701] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5701/stat : 5701 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 26534 33554432000 4194304 4196468 140734057028720 139756716776208 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5702] ppid=5692 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5695/task/5702/stat : 5702 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 26534 33554432000 4194304 4196468 140734057028720 139756715723664 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5703] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5703/stat : 5703 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 26534 33554432000 4194304 4196468 140734057028720 139756714671120 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5704] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5704/stat : 5704 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 26534 33554432000 4194304 4196468 140734057028720 139756713618576 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5705] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5705/stat : 5705 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421209836 27969658880 26534 33554432000 4194304 4196468 140734057028720 139755154626544 139756901546626 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5706] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5706/stat : 5706 (java) S 5692 5692 2957 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421209837 27969658880 26534 33554432000 4194304 4196468 140734057028720 139754880361376 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5707] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5707/stat : 5707 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421209837 27969658880 26534 33554432000 4194304 4196468 140734057028720 139754611926000 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5708] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5708/stat : 5708 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421209839 27969658880 26534 33554432000 4194304 4196468 140734057028720 139754237417680 139756901554075 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5709] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5709/stat : 5709 (java) S 5692 5692 2957 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 421209839 27969658880 26534 33554432000 4194304 4196468 140734057028720 139755153574384 139756901546626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5710] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5710/stat : 5710 (java) S 5692 5692 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421209839 27969658880 26534 33554432000 4194304 4196468 140734057028720 139755152521840 139756901546626 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5711] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5711/stat : 5711 (java) S 5692 5692 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421209839 27969658880 27046 33554432000 4194304 4196468 140734057028720 139755151469296 139756901546626 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5712] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5712/stat : 5712 (java) S 5692 5692 2957 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 20 0 421209839 27969658880 27046 33554432000 4194304 4196468 140734057028720 139755150416752 139756901546626 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5713] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5713/stat : 5713 (java) S 5692 5692 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421209839 27969658880 27046 33554432000 4194304 4196468 140734057028720 139753739512032 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5714] ppid=5692 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5695/task/5714/stat : 5714 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421209840 27969658880 27046 33554432000 4194304 4196468 140734057028720 139754746141104 139756901546626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107532 KiB

[startup+0.209887 s]*
/proc/loadavg: 7.45 7.84 7.57 2/212 5714
/proc/meminfo: memFree=30461904/32770624 swapFree=67022344/67108860
[pid=5692] ppid=5689 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5692/stat : 5692 (scop.sh) S 5689 5692 2957 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421209832 115843072 349 33554432000 4194304 5098028 140735608571664 140735608568920 140054862287484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32387072 140735608578853 140735608579180 140735608579180 140735608582093 0
/proc/5692/statm: 28282 349 296 221 0 87 0
[pid=5695] ppid=5692 vsize=27314120 memory=125496 CPUtime=0.24 cores=0-7
/proc/5695/stat : 5695 (java) S 5692 5692 2957 0 -1 1077944320 12233 0 0 0 20 4 0 0 20 0 20 0 421209832 27969658880 31374 33554432000 4194304 4196468 140734057028720 140734057011264 139756901535479 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
/proc/5695/statm: 6828530 31374 2938 1 0 6790935 0
[pid=5695/tid=5696] ppid=5692 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/5695/task/5696/stat : 5696 (java) R 5692 5692 2957 0 -1 4202560 9939 0 0 0 16 4 0 0 20 0 20 0 421209832 27969658880 31374 33554432000 4194304 4196468 140734057028720 139756873334864 139756886701134 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5697] ppid=5692 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/5695/task/5697/stat : 5697 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 31374 33554432000 4194304 4196468 140734057028720 139756905777424 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5698] ppid=5692 vsize=27314120 memory=140444759285178 CPUtime=0 cores=0-7
/proc/5695/task/5698/stat : 5698 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 31374 33554432000 4194304 4196468 140734057028720 139756719933840 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5699] ppid=5692 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5695/task/5699/stat : 5699 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 31374 33554432000 4194304 4196468 140734057028720 139756718881296 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5700] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5700/stat : 5700 (java) S 5692 5692 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 31374 33554432000 4194304 4196468 140734057028720 139756717828752 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5701] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5701/stat : 5701 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 31374 33554432000 4194304 4196468 140734057028720 139756716776208 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5702] ppid=5692 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5695/task/5702/stat : 5702 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 31374 33554432000 4194304 4196468 140734057028720 139756715723664 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5703] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5703/stat : 5703 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 31374 33554432000 4194304 4196468 140734057028720 139756714671120 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5704] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5704/stat : 5704 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 31374 33554432000 4194304 4196468 140734057028720 139756713618576 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5705] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5705/stat : 5705 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421209836 27969658880 31374 33554432000 4194304 4196468 140734057028720 139755154626544 139756901546626 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5706] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5706/stat : 5706 (java) S 5692 5692 2957 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421209837 27969658880 31374 33554432000 4194304 4196468 140734057028720 139754880361376 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5707] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5707/stat : 5707 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421209837 27969658880 31374 33554432000 4194304 4196468 140734057028720 139754611926000 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5708] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5708/stat : 5708 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421209839 27969658880 31374 33554432000 4194304 4196468 140734057028720 139754237417680 139756901554075 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5709] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5709/stat : 5709 (java) S 5692 5692 2957 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 421209839 27969658880 31374 33554432000 4194304 4196468 140734057028720 139755153574384 139756901546626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5710] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5710/stat : 5710 (java) S 5692 5692 2957 0 -1 1077944384 181 0 0 0 0 0 0 0 20 0 20 0 421209839 27969658880 31374 33554432000 4194304 4196468 140734057028720 139755152521840 139756901546626 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5711] ppid=5692 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5695/task/5711/stat : 5711 (java) S 5692 5692 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421209839 27969658880 31374 33554432000 4194304 4196468 140734057028720 139755151469296 139756901546626 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5712] ppid=5692 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/5695/task/5712/stat : 5712 (java) S 5692 5692 2957 0 -1 1077944384 464 0 0 0 2 0 0 0 20 0 20 0 421209839 27969658880 31374 33554432000 4194304 4196468 140734057028720 139755150416752 139756901546626 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5713] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5713/stat : 5713 (java) S 5692 5692 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421209839 27969658880 31374 33554432000 4194304 4196468 140734057028720 139753739512032 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5714] ppid=5692 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5695/task/5714/stat : 5714 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421209840 27969658880 31374 33554432000 4194304 4196468 140734057028720 139754746141104 139756901546626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126892 KiB

[startup+0.309415 s]*
/proc/loadavg: 7.45 7.84 7.57 2/212 5714
/proc/meminfo: memFree=30458740/32770624 swapFree=67022344/67108860
[pid=5692] ppid=5689 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5692/stat : 5692 (scop.sh) S 5689 5692 2957 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421209832 115843072 349 33554432000 4194304 5098028 140735608571664 140735608568920 140054862287484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32387072 140735608578853 140735608579180 140735608579180 140735608582093 0
/proc/5692/statm: 28282 349 296 221 0 87 0
[pid=5695] ppid=5692 vsize=27314120 memory=129532 CPUtime=0.42 cores=0-7
/proc/5695/stat : 5695 (java) S 5692 5692 2957 0 -1 1077944320 12783 0 0 0 37 5 0 0 20 0 20 0 421209832 27969658880 32383 33554432000 4194304 4196468 140734057028720 140734057011264 139756901535479 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
/proc/5695/statm: 6828530 32383 3049 1 0 6790935 0
[pid=5695/tid=5696] ppid=5692 vsize=27314120 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5695/task/5696/stat : 5696 (java) R 5692 5692 2957 0 -1 4202560 10300 0 0 0 25 4 0 0 20 0 20 0 421209832 27969658880 32383 33554432000 4194304 4196468 140734057028720 139756873338680 139756886701134 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5697] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5697/stat : 5697 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 32383 33554432000 4194304 4196468 140734057028720 139756905777424 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5698] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5698/stat : 5698 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 32383 33554432000 4194304 4196468 140734057028720 139756719933840 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5699] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5699/stat : 5699 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 32383 33554432000 4194304 4196468 140734057028720 139756718881296 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5700] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5700/stat : 5700 (java) S 5692 5692 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 32383 33554432000 4194304 4196468 140734057028720 139756717828752 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5701] ppid=5692 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/5695/task/5701/stat : 5701 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 32383 33554432000 4194304 4196468 140734057028720 139756716776208 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5702] ppid=5692 vsize=27314120 memory=140444625367983 CPUtime=0 cores=0-7
/proc/5695/task/5702/stat : 5702 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 32383 33554432000 4194304 4196468 140734057028720 139756715723664 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5703] ppid=5692 vsize=27314120 memory=140444625370288 CPUtime=0 cores=0-7
/proc/5695/task/5703/stat : 5703 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 32383 33554432000 4194304 4196468 140734057028720 139756714671120 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5704] ppid=5692 vsize=27314120 memory=140444625372592 CPUtime=0 cores=0-7
/proc/5695/task/5704/stat : 5704 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421209835 27969658880 32383 33554432000 4194304 4196468 140734057028720 139756713618576 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5705] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5705/stat : 5705 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421209836 27969658880 32383 33554432000 4194304 4196468 140734057028720 139755154626544 139756901546626 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5706] ppid=5692 vsize=27314120 memory=280889250752144 CPUtime=0 cores=0-7
/proc/5695/task/5706/stat : 5706 (java) S 5692 5692 2957 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421209837 27969658880 32383 33554432000 4194304 4196468 140734057028720 139754880361376 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5707] ppid=5692 vsize=27314120 memory=280889250759056 CPUtime=0 cores=0-7
/proc/5695/task/5707/stat : 5707 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421209837 27969658880 32383 33554432000 4194304 4196468 140734057028720 139754611926000 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5708] ppid=5692 vsize=27314120 memory=280889250700336 CPUtime=0 cores=0-7
/proc/5695/task/5708/stat : 5708 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421209839 27969658880 32383 33554432000 4194304 4196468 140734057028720 139754237417680 139756901554075 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5709] ppid=5692 vsize=27314120 memory=280889250772880 CPUtime=0.01 cores=0-7
/proc/5695/task/5709/stat : 5709 (java) S 5692 5692 2957 0 -1 1077944384 329 0 0 0 1 0 0 0 20 0 20 0 421209839 27969658880 32383 33554432000 4194304 4196468 140734057028720 139755153574384 139756901546626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5710] ppid=5692 vsize=27314120 memory=280889250779792 CPUtime=0.03 cores=0-7
/proc/5695/task/5710/stat : 5710 (java) R 5692 5692 2957 0 -1 4202560 298 0 0 0 3 0 0 0 20 0 20 0 421209839 27969658880 32383 33554432000 4194304 4196468 140734057028720 139755152521840 139756886456049 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5711] ppid=5692 vsize=27314120 memory=280889250777488 CPUtime=0 cores=0-7
/proc/5695/task/5711/stat : 5711 (java) S 5692 5692 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421209839 27969658880 32383 33554432000 4194304 4196468 140734057028720 139755151469296 139756901546626 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5712] ppid=5692 vsize=27314120 memory=280889250793648 CPUtime=0.07 cores=0-7
/proc/5695/task/5712/stat : 5712 (java) S 5692 5692 2957 0 -1 1077944384 511 0 0 0 7 0 0 0 20 0 20 0 421209839 27969658880 32383 33554432000 4194304 4196468 140734057028720 139755150416752 139756901546626 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5713] ppid=5692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5713/stat : 5713 (java) S 5692 5692 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421209839 27969658880 32383 33554432000 4194304 4196468 140734057028720 139753739512032 139756901545685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5714] ppid=5692 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5695/task/5714/stat : 5714 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421209840 27969658880 32383 33554432000 4194304 4196468 140734057028720 139754746141104 139756901546626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130928 KiB

[startup+0.700885 s]
/proc/loadavg: 7.45 7.84 7.57 3/212 5714
/proc/meminfo: memFree=30437520/32770624 swapFree=67022344/67108860
[pid=5692] ppid=5689 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5692/stat : 5692 (scop.sh) S 5689 5692 2957 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421209832 115843072 349 33554432000 4194304 5098028 140735608571664 140735608568920 140054862287484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32387072 140735608578853 140735608579180 140735608579180 140735608582093 0
/proc/5692/statm: 28282 349 296 221 0 87 0
[pid=5695] ppid=5692 vsize=27322516 memory=165968 CPUtime=0.99 cores=0-7
/proc/5695/stat : 5695 (java) S 5692 5692 2957 0 -1 1077944320 20617 0 0 0 92 7 0 0 20 0 20 0 421209832 27978256384 41463 33554432000 4194304 4196468 140734057028720 140734057011264 139756901535479 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
/proc/5695/statm: 6830629 41492 3204 1 0 6791959 0
[pid=5695/tid=5696] ppid=5692 vsize=27322516 memory=280889251151536 CPUtime=0.68 cores=0-7
/proc/5695/task/5696/stat : 5696 (java) R 5692 5692 2957 0 -1 4202560 17530 0 0 0 62 6 0 0 20 0 20 0 421209832 27978256384 41492 33554432000 4194304 4196468 140734057028720 139756873363840 139756885579109 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5697] ppid=5692 vsize=27322516 memory=140444625576816 CPUtime=0 cores=0-7
/proc/5695/task/5697/stat : 5697 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421209835 27978256384 41492 33554432000 4194304 4196468 140734057028720 139756905777424 139756901545685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5698] ppid=5692 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/5695/task/5698/stat : 5698 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421209835 27978256384 41492 33554432000 4194304 4196468 140734057028720 139756719933840 139756901545685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5699] ppid=5692 vsize=27322516 memory=1224 CPUtime=0 cores=0-7
/proc/5695/task/5699/stat : 5699 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421209835 27978256384 41492 33554432000 4194304 4196468 140734057028720 139756718881296 139756901545685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0

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

/proc/5695/task/5713/stat : 5713 (java) S 5692 5692 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421209839 27984617472 57723 33554432000 4194304 4196468 140734057028720 139753739512032 139756901545685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
[pid=5695/tid=5714] ppid=5692 vsize=27328728 memory=-7522837583129502606 CPUtime=0 cores=0-7
/proc/5695/task/5714/stat : 5714 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421209840 27984617472 57723 33554432000 4194304 4196468 140734057028720 139754746141104 139756901546626 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34185216 140734057034476 140734057034902 140734057034902 140734057037775 0
Current children cumulated CPU time: 3.29 s
Current children cumulated vsize: 27441856 KiB
Current children cumulated memory: 232288 KiB

[startup+2.00036 s]*
/proc/loadavg: 7.45 7.84 7.57 2/212 5734
/proc/meminfo: memFree=30526072/32770624 swapFree=67022344/67108860
[pid=5692] ppid=5689 vsize=113128 memory=1476 CPUtime=3.94 cores=0-7
/proc/5692/stat : 5692 (scop.sh) S 5689 5692 2957 0 -1 4202496 583 26492 0 0 0 0 381 13 20 0 1 0 421209832 115843072 369 33554432000 4194304 5098028 140735608571664 140735608568408 140054862287484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32387072 140735608578853 140735608579180 140735608579180 140735608582093 0
/proc/5692/statm: 28282 369 311 221 0 87 0
[pid=5715] ppid=5692 vsize=7750184 memory=61284 CPUtime=0.32 cores=0-7
/proc/5715/stat : 5715 (java) S 5692 5692 2957 0 -1 1077944320 10990 0 0 0 29 3 0 0 20 0 20 0 421210009 7936188416 15321 33554432000 4194304 4196468 140724644271120 140724644253664 140438872329975 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
/proc/5715/statm: 1937546 15321 3017 1 0 1899951 0
[pid=5715/tid=5716] ppid=5692 vsize=7750184 memory=8112282956445269571 CPUtime=0.21 cores=0-7
/proc/5715/task/5716/stat : 5716 (java) R 5692 5692 2957 0 -1 4202560 8781 0 0 0 19 2 0 0 20 0 20 0 421210010 7936188416 15321 33554432000 4194304 4196468 140724644271120 140438844117088 140438856410462 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5717] ppid=5692 vsize=7750184 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5715/task/5717/stat : 5717 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421210011 7936188416 15321 33554432000 4194304 4196468 140724644271120 140438876572432 140438872340181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5718] ppid=5692 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5718/stat : 5718 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421210011 7936188416 15321 33554432000 4194304 4196468 140724644271120 140438676741008 140438872340181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5719] ppid=5692 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5719/stat : 5719 (java) S 5692 5692 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421210011 7936188416 15321 33554432000 4194304 4196468 140724644271120 140438675688464 140438872340181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5720] ppid=5692 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5720/stat : 5720 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421210011 7936188416 15321 33554432000 4194304 4196468 140724644271120 140438674635920 140438872340181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5721] ppid=5692 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5721/stat : 5721 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421210011 7936188416 15321 33554432000 4194304 4196468 140724644271120 140438673582352 140438872340181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5722] ppid=5692 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5722/stat : 5722 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421210011 7936188416 15321 33554432000 4194304 4196468 140724644271120 140438672529808 140438872340181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5723] ppid=5692 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5723/stat : 5723 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421210011 7936188416 15321 33554432000 4194304 4196468 140724644271120 140438671477264 140438872340181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5724] ppid=5692 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5724/stat : 5724 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421210011 7936188416 15321 33554432000 4194304 4196468 140724644271120 140438670424720 140438872340181 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5725] ppid=5692 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5725/stat : 5725 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421210012 7936188416 15321 33554432000 4194304 4196468 140724644271120 140438234135024 140438872341122 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5726] ppid=5692 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5726/stat : 5726 (java) S 5692 5692 2957 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421210013 7936188416 15321 33554432000 4194304 4196468 140724644271120 140437310399904 140438872340181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5727] ppid=5692 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5727/stat : 5727 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421210013 7936188416 15321 33554432000 4194304 4196468 140724644271120 140437041964528 140438872340181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5728] ppid=5692 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5728/stat : 5728 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421210016 7936188416 15321 33554432000 4194304 4196468 140724644271120 140436667456208 140438872348571 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5729] ppid=5692 vsize=7750184 memory=6944652177228980320 CPUtime=0.01 cores=0-7
/proc/5715/task/5729/stat : 5729 (java) S 5692 5692 2957 0 -1 1077944384 433 0 0 0 1 0 0 0 20 0 20 0 421210016 7936188416 15321 33554432000 4194304 4196468 140724644271120 140438233081840 140438872341122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5730] ppid=5692 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5730/stat : 5730 (java) S 5692 5692 2957 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 20 0 421210016 7936188416 15321 33554432000 4194304 4196468 140724644271120 140438232029296 140438872341122 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5731] ppid=5692 vsize=7750184 memory=0 CPUtime=0.01 cores=0-7
/proc/5715/task/5731/stat : 5731 (java) S 5692 5692 2957 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 20 0 421210016 7936188416 15321 33554432000 4194304 4196468 140724644271120 140438230976752 140438872341122 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5732] ppid=5692 vsize=7750184 memory=280889250632032 CPUtime=0.06 cores=0-7
/proc/5715/task/5732/stat : 5732 (java) S 5692 5692 2957 0 -1 1077944384 292 0 0 0 6 0 0 0 20 0 20 0 421210016 7936188416 15321 33554432000 4194304 4196468 140724644271120 140438229924208 140438872341122 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5733] ppid=5692 vsize=7750184 memory=13814 CPUtime=0 cores=0-7
/proc/5715/task/5733/stat : 5733 (java) S 5692 5692 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421210016 7936188416 15321 33554432000 4194304 4196468 140724644271120 140436169550560 140438872340181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5734] ppid=5692 vsize=7750184 memory=22556 CPUtime=0 cores=0-7
/proc/5715/task/5734/stat : 5734 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421210016 7936188416 15321 33554432000 4194304 4196468 140724644271120 140438228872112 140438872341122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
Current children cumulated CPU time: 4.26 s
Current children cumulated vsize: 7863312 KiB
Current children cumulated memory: 62760 KiB

[startup+2.40091 s]
/proc/loadavg: 7.45 7.84 7.57 2/212 5734
/proc/meminfo: memFree=30526072/32770624 swapFree=67022344/67108860
[pid=5692] ppid=5689 vsize=113128 memory=1476 CPUtime=3.94 cores=0-7
/proc/5692/stat : 5692 (scop.sh) S 5689 5692 2957 0 -1 4202496 583 26492 0 0 0 0 381 13 20 0 1 0 421209832 115843072 369 33554432000 4194304 5098028 140735608571664 140735608568408 140054862287484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32387072 140735608578853 140735608579180 140735608579180 140735608582093 0
/proc/5692/statm: 28282 369 311 221 0 87 0
[pid=5715] ppid=5692 vsize=7754336 memory=99652 CPUtime=0.82 cores=0-7
/proc/5715/stat : 5715 (java) S 5692 5692 2957 0 -1 1077944320 18313 0 0 0 77 5 0 0 20 0 20 0 421210009 7940440064 24913 33554432000 4194304 4196468 140724644271120 140724644253664 140438872329975 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
/proc/5715/statm: 1938584 24913 3090 1 0 1900463 0
[pid=5715/tid=5716] ppid=5692 vsize=7754336 memory=7681905605394137914 CPUtime=0.6 cores=0-7
/proc/5715/task/5716/stat : 5716 (java) R 5692 5692 2957 0 -1 4202560 15930 0 0 0 56 4 0 0 20 0 20 0 421210010 7940440064 24913 33554432000 4194304 4196468 140724644271120 140438844166240 140438872351901 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5717] ppid=5692 vsize=7754336 memory=-7522837583129502606 CPUtime=0 cores=0-7
/proc/5715/task/5717/stat : 5717 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421210011 7940440064 24913 33554432000 4194304 4196468 140724644271120 140438876572432 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5718] ppid=5692 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5718/stat : 5718 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421210011 7940440064 24913 33554432000 4194304 4196468 140724644271120 140438676741008 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5719] ppid=5692 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5719/stat : 5719 (java) S 5692 5692 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421210011 7940440064 24913 33554432000 4194304 4196468 140724644271120 140438675688464 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5720] ppid=5692 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5720/stat : 5720 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421210011 7940440064 24913 33554432000 4194304 4196468 140724644271120 140438674635920 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5721] ppid=5692 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5721/stat : 5721 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421210011 7940440064 24913 33554432000 4194304 4196468 140724644271120 140438673582352 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5722] ppid=5692 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5722/stat : 5722 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421210011 7940440064 24913 33554432000 4194304 4196468 140724644271120 140438672529808 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5723] ppid=5692 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5723/stat : 5723 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421210011 7940440064 24913 33554432000 4194304 4196468 140724644271120 140438671477264 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5724] ppid=5692 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5724/stat : 5724 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421210011 7940440064 24913 33554432000 4194304 4196468 140724644271120 140438670424720 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5725] ppid=5692 vsize=7754336 memory=164888089472125 CPUtime=0 cores=0-7
/proc/5715/task/5725/stat : 5725 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421210012 7940440064 24913 33554432000 4194304 4196468 140724644271120 140438234135024 140438872341122 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5726] ppid=5692 vsize=7754336 memory=164888089472126 CPUtime=0 cores=0-7
/proc/5715/task/5726/stat : 5726 (java) S 5692 5692 2957 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421210013 7940440064 24913 33554432000 4194304 4196468 140724644271120 140437310399904 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5727] ppid=5692 vsize=7754336 memory=164888089472127 CPUtime=0 cores=0-7
/proc/5715/task/5727/stat : 5727 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421210013 7940440064 24913 33554432000 4194304 4196468 140724644271120 140437041964528 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5728] ppid=5692 vsize=7754336 memory=164888089472128 CPUtime=0 cores=0-7
/proc/5715/task/5728/stat : 5728 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421210016 7940440064 24913 33554432000 4194304 4196468 140724644271120 140436667456208 140438872348571 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5729] ppid=5692 vsize=7754336 memory=164888089472129 CPUtime=0.02 cores=0-7
/proc/5715/task/5729/stat : 5729 (java) S 5692 5692 2957 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 20 0 421210016 7940440064 24913 33554432000 4194304 4196468 140724644271120 140438233081840 140438872341122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5730] ppid=5692 vsize=7754336 memory=164888089472130 CPUtime=0.02 cores=0-7
/proc/5715/task/5730/stat : 5730 (java) S 5692 5692 2957 0 -1 1077944384 118 0 0 0 2 0 0 0 20 0 20 0 421210016 7940440064 24913 33554432000 4194304 4196468 140724644271120 140438232029296 140438872341122 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5731] ppid=5692 vsize=7754336 memory=164888089472131 CPUtime=0.02 cores=0-7
/proc/5715/task/5731/stat : 5731 (java) S 5692 5692 2957 0 -1 1077944384 88 0 0 0 2 0 0 0 20 0 20 0 421210016 7940440064 24913 33554432000 4194304 4196468 140724644271120 140438230976752 140438872341122 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5732] ppid=5692 vsize=7754336 memory=164888089472132 CPUtime=0.13 cores=0-7
/proc/5715/task/5732/stat : 5732 (java) R 5692 5692 2957 0 -1 4202560 374 0 0 0 13 0 0 0 20 0 20 0 421210016 7940440064 24913 33554432000 4194304 4196468 140724644271120 140438229919200 140438850695748 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5733] ppid=5692 vsize=7754336 memory=164888089472133 CPUtime=0 cores=0-7
/proc/5715/task/5733/stat : 5733 (java) S 5692 5692 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421210016 7940440064 24913 33554432000 4194304 4196468 140724644271120 140436169550560 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5734] ppid=5692 vsize=7754336 memory=164888089472134 CPUtime=0 cores=0-7
/proc/5715/task/5734/stat : 5734 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421210016 7940440064 24913 33554432000 4194304 4196468 140724644271120 140438228872112 140438872341122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
Current children cumulated CPU time: 4.76 s
Current children cumulated vsize: 7867464 KiB
Current children cumulated memory: 101128 KiB

[startup+2.51261 s]
/proc/loadavg: 7.45 7.84 7.57 2/212 5734
/proc/meminfo: memFree=30526072/32770624 swapFree=67022344/67108860
[pid=5692] ppid=5689 vsize=113128 memory=1476 CPUtime=3.94 cores=0-7
/proc/5692/stat : 5692 (scop.sh) S 5689 5692 2957 0 -1 4202496 583 26492 0 0 0 0 381 13 20 0 1 0 421209832 115843072 369 33554432000 4194304 5098028 140735608571664 140735608568408 140054862287484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32387072 140735608578853 140735608579180 140735608579180 140735608582093 0
/proc/5692/statm: 28282 369 311 221 0 87 0
[pid=5715] ppid=5692 vsize=8414124 memory=121164 CPUtime=1.06 cores=0-7
/proc/5715/stat : 5715 (java) S 5692 5692 2957 0 -1 1077944320 19762 0 0 0 100 6 0 0 20 0 24 0 421210009 8616062976 30291 33554432000 4194304 4196468 140724644271120 140724644253664 140438872329975 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
/proc/5715/statm: 2103531 30291 3190 1 0 2064875 0
[pid=5715/tid=5716] ppid=5692 vsize=8414124 memory=1476 CPUtime=0.71 cores=0-7
/proc/5715/task/5716/stat : 5716 (java) R 5692 5692 2957 0 -1 4202560 16844 0 0 0 67 4 0 0 20 0 24 0 421210010 8616062976 30291 33554432000 4194304 4196468 140724644271120 140438844168880 140438872351901 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5717] ppid=5692 vsize=8414124 memory=4294967295 CPUtime=0 cores=0-7
/proc/5715/task/5717/stat : 5717 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421210011 8616062976 30291 33554432000 4194304 4196468 140724644271120 140438876572432 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5718] ppid=5692 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5718/stat : 5718 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421210011 8616062976 30291 33554432000 4194304 4196468 140724644271120 140438676741008 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5719] ppid=5692 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/5715/task/5719/stat : 5719 (java) S 5692 5692 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421210011 8616062976 30291 33554432000 4194304 4196468 140724644271120 140438675688464 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5720] ppid=5692 vsize=8414124 memory=196428 CPUtime=0 cores=0-7
/proc/5715/task/5720/stat : 5720 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421210011 8616062976 30291 33554432000 4194304 4196468 140724644271120 140438674635920 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5721] ppid=5692 vsize=8414124 memory=164888089472135 CPUtime=0 cores=0-7
/proc/5715/task/5721/stat : 5721 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421210011 8616062976 30291 33554432000 4194304 4196468 140724644271120 140438673582352 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5722] ppid=5692 vsize=8414124 memory=164888089472136 CPUtime=0 cores=0-7
/proc/5715/task/5722/stat : 5722 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421210011 8616062976 30291 33554432000 4194304 4196468 140724644271120 140438672529808 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5723] ppid=5692 vsize=8414124 memory=164888089472137 CPUtime=0 cores=0-7
/proc/5715/task/5723/stat : 5723 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421210011 8616062976 30291 33554432000 4194304 4196468 140724644271120 140438671477264 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5724] ppid=5692 vsize=8414124 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/5715/task/5724/stat : 5724 (java) S 5692 5692 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421210011 8616062976 30291 33554432000 4194304 4196468 140724644271120 140438670424720 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5725] ppid=5692 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5725/stat : 5725 (java) S 5692 5692 2957 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 421210012 8616062976 30291 33554432000 4194304 4196468 140724644271120 140438234135024 140438872341122 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5726] ppid=5692 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5726/stat : 5726 (java) S 5692 5692 2957 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 421210013 8616062976 30291 33554432000 4194304 4196468 140724644271120 140437310399904 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5727] ppid=5692 vsize=8414124 memory=303148748257886234 CPUtime=0 cores=0-7
/proc/5715/task/5727/stat : 5727 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421210013 8616062976 30291 33554432000 4194304 4196468 140724644271120 140437041964528 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5728] ppid=5692 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5728/stat : 5728 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421210016 8616062976 30291 33554432000 4194304 4196468 140724644271120 140436667456208 140438872348571 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5729] ppid=5692 vsize=8414124 memory=7517461434439002215 CPUtime=0.05 cores=0-7
/proc/5715/task/5729/stat : 5729 (java) R 5692 5692 2957 0 -1 4202560 664 0 0 0 5 0 0 0 20 0 24 0 421210016 8616062976 30291 33554432000 4194304 4196468 140724644271120 140438233067720 140438865047127 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5730] ppid=5692 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/5715/task/5730/stat : 5730 (java) R 5692 5692 2957 0 -1 4202560 276 0 0 0 6 0 0 0 20 0 24 0 421210016 8616062976 30291 33554432000 4194304 4196468 140724644271120 140438232015176 140438853854936 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5731] ppid=5692 vsize=8414124 memory=1 CPUtime=0.02 cores=0-7
/proc/5715/task/5731/stat : 5731 (java) S 5692 5692 2957 0 -1 1077944384 96 0 0 0 2 0 0 0 20 0 24 0 421210016 8616062976 30291 33554432000 4194304 4196468 140724644271120 140438230976848 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5732] ppid=5692 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7
/proc/5715/task/5732/stat : 5732 (java) R 5692 5692 2957 0 -1 1077944384 493 0 0 0 18 0 0 0 20 0 24 0 421210016 8616062976 30291 33554432000 4194304 4196468 140724644271120 140438229924208 140438872341122 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5733] ppid=5692 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5715/task/5733/stat : 5733 (java) S 5692 5692 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421210016 8616062976 30291 33554432000 4194304 4196468 140724644271120 140436169550560 140438872340181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
[pid=5715/tid=5734] ppid=5692 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/5715/task/5734/stat : 5734 (java) S 5692 5692 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421210016 8616062976 30291 33554432000 4194304 4196468 140724644271120 140438228872112 140438872341122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140724644279288 140724644279446 140724644279446 140724644282319 0
Current children cumulated CPU time: 5 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 122640 KiB

Child status: 0
Real time (s): 2.54823
CPU time (s): 5.1846
CPU user time (s): 4.96104
CPU system time (s): 0.223556
CPU usage (%): 203.459
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 252896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.96104
system time used= 0.223556
maximum resident set size= 257736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49320
page faults= 0
swaps= 0
block input operations= 0
block output operations= 472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7496
involuntary context switches= 12


# summary of solver processes directly reported to runsolver:
#   pid: 5692
#   total CPU time (s): 5.1846
#   total CPU user time (s): 4.96104
#   total CPU system time (s): 0.223556

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035975 second user time and 0.074867 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-14 10:22:13
IDJOB=4392262
IDBENCH=141707
IDSOLVER=2838
FILE ID=node150/4392262-1568449372
RUNJOBID= node150-1568441012-2984
PBS_JOBID= 21702341
Free space on /tmp= 59360 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-15-035.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392262-1568449372/watcher-4392262-1568449372 -o /tmp/evaluation-result-4392262-1568449372/solver-4392262-1568449372 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568441012-2984 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392262-1568449372.xml

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

MD5SUM BENCH= 95db7a436582e8fbf27db66b2c693839
RANDOM SEED=802728127

node150.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.79
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.79
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.79
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.79
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:        30577484 kB
MemAvailable:   31849584 kB
Buffers:          161312 kB
Cached:          1358540 kB
SwapCached:        13604 kB
Active:           762468 kB
Inactive:         804968 kB
Active(anon):       5312 kB
Inactive(anon):    68584 kB
Active(file):     757156 kB
Inactive(file):   736384 kB
Unevictable:      109388 kB
Mlocked:          109388 kB
SwapTotal:      67108860 kB
SwapFree:       67022344 kB
Dirty:             20556 kB
Writeback:             0 kB
AnonPages:        155996 kB
Mapped:            40316 kB
Shmem:             17668 kB
Slab:             218152 kB
SReclaimable:     188788 kB
SUnreclaim:        29364 kB
KernelStack:        3728 kB
PageTables:         5256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 59340 MiB
End job on node150 at 2019-09-14 10:22:15