Trace number 4392564

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-17-042.xml
MD5SUM30a2df13e8a589268a4af4fb67fb8cf0
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 benchmark9.93882
Satisfiable
(Un)Satisfiability was proved
Number of variables34
Number of constraints136
Number of domains17
Minimum domain size26
Maximum domain size42
Distribution of domain sizes[{"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},{"size":36,"count":2},{"size":37,"count":2},{"size":38,"count":2},{"size":39,"count":2},{"size":40,"count":2},{"size":41,"count":2},{"size":42,"count":2}]
Minimum variable degree16
Maximum variable degree16
Distribution of variable degrees[{"degree":16,"count":34}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":136}]
Number of extensional constraints0
Number of intensional constraints136
Distribution of constraint types[{"type":"intension","count":136}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-29587-serial-file.bin HOME/instance-4392564-1568450506.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 10:41:06 CEST 2019
0.65/0.56	c PID: 29590
0.65/0.56	c IP: 172.20.3.127
0.65/0.56	c HOST: node127.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.70/1.04	c (0,0) Parsing End
1.70/1.05	c (0,0) CSP: 34 int (0 aux), 0 bool (0 aux), 136 ctr, max domain size 42
1.70/1.05	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.70/1.05	c (0,0) Constraint Name Generate Begin
1.70/1.06	c (0,0) Ctr:HOME/instance-4392564-1568450506.xml,Add:Le:Num:Or:Var
1.70/1.06	c (0,0) Constraint Name Generate End
1.70/1.06	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.70/1.06	c (0,0) CSP to CSPinCNF Begin
2.03/1.17	c (0,0) translated 14 (10%) constraints
2.03/1.19	c (0,0) translated 28 (20%) constraints
2.21/1.20	c (0,0) translated 41 (30%) constraints
2.21/1.22	c (0,0) translated 55 (40%) constraints
2.21/1.23	c (0,0) translated 68 (50%) constraints
2.21/1.24	c (0,0) translated 82 (60%) constraints
2.21/1.25	c (0,0) translated 96 (70%) constraints
2.21/1.26	c (0,0) translated 109 (80%) constraints
2.21/1.26	c (0,0) translated 123 (90%) constraints
2.21/1.27	c (0,0) translated 136 (100%) constraints
2.21/1.27	c (0,0) ===========================================
2.21/1.29	c (0,0) Hybrid: #OE=34, #LE=0
2.21/1.29	c (0,0) Hybrid
2.21/1.29	c (0,0) ===========================================
2.45/1.30	c (0,0) translated 14 (10%) constraints
2.45/1.30	c (0,0) translated 28 (20%) constraints
2.45/1.31	c (0,0) translated 41 (30%) constraints
2.45/1.31	c (0,0) translated 55 (40%) constraints
2.45/1.31	c (0,0) translated 68 (50%) constraints
2.45/1.32	c (0,0) translated 82 (60%) constraints
2.45/1.32	c (0,0) translated 96 (70%) constraints
2.45/1.32	c (0,0) translated 109 (80%) constraints
2.45/1.33	c (0,0) translated 123 (90%) constraints
2.45/1.33	c (0,0) translated 136 (100%) constraints
2.45/1.33	c (0,0) CSP to CSPinCNF End
2.45/1.33	c (0,0) CSP: 34 int (0 aux), 0 bool (0 aux), 136 ctr, max domain size 42
2.45/1.33	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.45/1.33	c (0,0) CSPinCNF Propagation Begin
2.45/1.35	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.45/1.35	c (0,0) CSPinCNF Propagation End
2.45/1.35	c (0,0) CSP: 34 int (0 aux), 0 bool (0 aux), 136 ctr, max domain size 42
2.45/1.35	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.45/1.36	c (0,0) Hybrid: #OE=34, #LE=0
2.45/1.36	c (0,0) Simplify CSPinCNF Begin
2.69/1.43	c (0,0) Simplify CSPinCNF End
2.69/1.44	c (0,0) CSP: 34 int (0 aux), 544 bool (544 aux), 680 ctr, max domain size 42
2.69/1.44	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.69/1.44	c (0,0) Calculate Precise Domain Begin
2.69/1.44	c (0,0) 0 values are removed by re-calculation
2.69/1.44	c (0,0) Calculate Precise Domain End
2.69/1.44	c (0,0) CSP: 34 int (0 aux), 544 bool (544 aux), 680 ctr, max domain size 42
2.69/1.44	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.69/1.44	c (0,0) CSPinCNF to SatSolver Begin
3.26/1.61	c (1,1) 68 (10 %) CSP clauses are encoded (0 SAT variables, 2950 SAT clauses)
3.26/1.64	c (1,1) 136 (20 %) CSP clauses are encoded (0 SAT variables, 4755 SAT clauses)
3.26/1.67	c (1,1) 204 (30 %) CSP clauses are encoded (0 SAT variables, 6437 SAT clauses)
3.26/1.69	c (1,1) 272 (40 %) CSP clauses are encoded (0 SAT variables, 8031 SAT clauses)
3.68/1.71	c (1,1) 340 (50 %) CSP clauses are encoded (0 SAT variables, 9552 SAT clauses)
3.68/1.73	c (1,1) 408 (60 %) CSP clauses are encoded (0 SAT variables, 10943 SAT clauses)
3.68/1.75	c (1,1) 476 (70 %) CSP clauses are encoded (0 SAT variables, 12315 SAT clauses)
3.68/1.76	c (1,1) 544 (80 %) CSP clauses are encoded (0 SAT variables, 13483 SAT clauses)
3.68/1.77	c (1,1) 612 (90 %) CSP clauses are encoded (0 SAT variables, 14531 SAT clauses)
3.68/1.78	c (1,1) 680 (100 %) CSP clauses are encoded (0 SAT variables, 15357 SAT clauses)
3.68/1.78	c (1,1) CSPinCNF to SatSolver End
3.68/1.78	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.68/1.78	c (1,1) 1666 bool, 15368 clause
3.68/1.78	c (1,1) Export Begin
4.13/1.86	c (1,1) Export to HOME/scop-29587-serial-file.bin
4.13/1.86	c (1,1) Export End
4.13/1.86	c (1,1) Export File Size: 0.01 MB
4.13/1.86	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
4.13/1.86	c END-Prog: Sat Sep 14 10:41:08 CEST 2019
4.13/1.89	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-29587-serial-file.bin
4.97/2.35	c (0,0) Read Serial File Begin
4.97/2.35	c (0,0) HOME/scop-29587-serial-file.bin
5.23/2.54	c (0,0) Read Serial File End
5.23/2.55	
5.23/2.55	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
5.23/2.55	(Solving Process)
5.23/2.55	
5.23/2.57	c BEGIN-Prog: Sat Sep 14 10:41:08 CEST 2019
5.23/2.57	c PID: 29610
5.23/2.57	c IP: 172.20.3.127
5.23/2.57	c HOST: node127.alineos.net
5.23/2.58	c (0,0) SatSolver.solve Begin
5.23/2.58	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392564-1568450506.xml-scop-29590.cnf
5.42/2.60	c (0,0) c
5.42/2.60	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)
5.42/2.60	c (0,0) c
5.42/2.60	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.42/2.60	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.42/2.61	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.42/2.61	c (0,0) c |                                                                                                       |
5.42/2.61	c (0,0) c |  Number of variables:          1666                                                                   |
5.42/2.61	c (0,0) c |  Number of clauses:           15368                                                                   |
5.42/2.61	c (0,0) c |  Parse time:                   0.01 s                                                                 |
5.42/2.61	c (0,0) c |                                                                                                       |
5.42/2.62	c (0,0) c |  Simplification time:          0.01 s                                                                 |
5.42/2.62	c (0,0) c |                                                                                                       |
5.42/2.62	c (0,0) c |  Generating clones                                                                                    |
5.42/2.62	c (0,0) c |  all clones generated. Memory =    32.50Mb.                                                           |
5.42/2.62	c (0,0) c ========================================================================================================|
5.42/2.62	c (0,0) c
5.42/2.62	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
5.42/2.62	c (0,0) c
5.42/2.62	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.42/2.62	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5.42/2.62	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.42/2.62	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
5.42/2.62	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
5.42/2.62	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
5.42/2.62	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
5.42/2.62	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
5.42/2.62	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
5.42/2.62	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
5.42/2.62	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
5.42/2.62	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
5.42/2.62	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
5.42/2.62	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
5.42/2.62	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
5.42/2.62	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
5.42/2.62	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
5.42/2.62	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
5.42/2.62	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.98/6.70	c (4,0) c
36.98/6.70	c (4,0) c real time : 4.09692 s
36.98/6.70	c (4,0) c cpu time  : 31.3054 s
36.98/6.70	c (4,0) c
36.98/6.70	c (4,0) c
36.98/6.70	c (4,0) c
36.98/6.70	c (4,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
36.98/6.70	c (4,0) c
36.98/6.70	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.98/6.70	c (4,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
36.98/6.70	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.98/6.70	c (4,0) c | Conflicts     |          396899 |      48571 |      48894 |      49469 |      50517 |      49051 |      49120 |      51729 |      49548 |
36.98/6.70	c (4,0) c | Decisions     |          696493 |      85887 |      83901 |      87633 |      88847 |      85798 |      86015 |      91527 |      86885 |
36.98/6.70	c (4,0) c | Propagations  |        40493668 |    4952629 |    5086821 |    5078572 |    5164914 |    4956763 |    4981713 |    5229573 |    5042683 |
36.98/6.70	c (4,0) c | ReduceDBs     |              41 |          5 |          5 |          5 |          5 |          5 |          5 |          6 |          5 |
36.98/6.70	c (4,0) c | SimpDBs       |              15 |          2 |          1 |          2 |          2 |          2 |          2 |          2 |          2 |
36.98/6.70	c (4,0) c | Restarts      |             961 |        116 |        105 |        141 |        125 |        126 |        117 |        138 |         93 |
36.98/6.70	c (4,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.98/6.70	c (4,0) c | PropBinClauses|        53677966 |    6573863 |    6788528 |    6728084 |    6836308 |    6561167 |    6596216 |    6917311 |    6676489 |
36.98/6.70	c (4,0) c | PropPreBlocker|       867628856 |  105601205 |  108294077 |  109583493 |  111044581 |  106110277 |  106318836 |  112398260 |  108278127 |
36.98/6.70	c (4,0) c | PropNotBlocker|       341314684 |   42670748 |   43125556 |   43346103 |   43219417 |   42064491 |   41713686 |   43207029 |   41967654 |
36.98/6.70	c (4,0) c | LitFullScans  |      2018432491 |  246030110 |  252040402 |  258036734 |  258035714 |  248197122 |  246035096 |  258024632 |  252032681 |
36.98/6.70	c (4,0) c | LitScanFracts |           77673 |       7880 |      11429 |       9148 |      11228 |      11718 |       8994 |       6973 |      10303 |
36.98/6.70	c (4,0) c | DecisionLevel0|             978 |        117 |        105 |        142 |        129 |        134 |        118 |        139 |         94 |
36.98/6.70	c (4,0) c | Periods       |             336 |         41 |         42 |         43 |         43 |         41 |         41 |         43 |         42 |
36.98/6.70	c (4,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
36.98/6.70	c (4,0) c | Avg_Trail     |                 |        693 |        704 |        702 |        705 |        699 |        702 |        707 |        707 |
36.98/6.70	c (4,0) c | Avg_DL        |                 |         16 |         16 |         17 |         17 |         16 |         16 |         16 |         17 |
36.98/6.70	c (4,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.98/6.70	c (4,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.98/6.70	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.98/6.70	c (4,0) c | Exported      |           81182 |       9130 |      10168 |      10253 |      10734 |       9938 |      10484 |       9798 |      10677 |
36.98/6.70	c (4,0) c | Imported      |          426317 |      51017 |      53999 |      53731 |      55178 |      53520 |      51477 |      53968 |      53427 |
36.98/6.70	c (4,0) c | Good          |              65 |          8 |          6 |          9 |          8 |          7 |          9 |          9 |          9 |
36.98/6.70	c (4,0) c | Purge         |          426252 |      51009 |      53993 |      53722 |      55170 |      53513 |      51468 |      53959 |      53418 |
36.98/6.70	c (4,0) c | Promoted      |           23692 |       2797 |       3221 |       3087 |       3244 |       2938 |       3019 |       2461 |       2925 |
36.98/6.70	c (4,0) c | Remove_Imp    |           30757 |          0 |          0 |          0 |          0 |          0 |          0 |      30757 |          0 |
36.98/6.70	c (4,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.98/6.70	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.98/6.70	c (4,0) c | Unaries       |                 |          1 |          0 |          1 |          4 |          8 |          1 |          1 |          1 |
36.98/6.70	c (4,0) c | Binaries      |                 |          9 |          6 |         15 |         28 |         32 |          9 |         16 |         10 |
36.98/6.70	c (4,0) c | Glues         |                 |        223 |        233 |        235 |        242 |        232 |        191 |        263 |        221 |
36.98/6.70	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.98/6.70	c (4,0) c | Orig_Seen     |            39 % |       5895 |       5802 |       5860 |       5984 |       6000 |       6749 |       6015 |       5899 |
36.98/6.70	c (4,0) c | Diff Orig seen|                 | -      105 | -      198 | -      140 | -       16 |      X     |        749 |         15 | -      101 |
36.98/6.70	c (4,0) c | Hamming       |            30 % |        581 |        401 |        499 |        524 |      X     |        509 |        541 |        461 |
36.98/6.70	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.98/6.70	c (4,0) c | RunningTime   |                 |    4.0 100%|    3.9 100%|    3.9 100%|    4.0 100%|    3.9 100%|    3.9 100%|    3.9  99%|    3.9 100%|
36.98/6.70	c (4,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%|
36.98/6.70	c (4,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
36.98/6.70	c (4,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%|
36.98/6.70	c (4,0) c | SolvingTime   |                 |    4.1     |    3.9     |    4.0     |    4.0     |    3.9     |    3.9     |    4.0     |    3.9     |
36.98/6.70	c (4,0) c | PropagationTim|                 |    3.4  84%|    3.3  83%|    3.3  84%|    3.3  84%|    3.3  84%|    3.2  83%|    3.2  81%|    3.2  82%|
36.98/6.70	c (4,0) c | AnalysisTime  |                 |    0.5  12%|    0.5  13%|    0.5  12%|    0.5  13%|    0.5  12%|    0.5  13%|    0.6  14%|    0.5  14%|
36.98/6.70	c (4,0) c | ReductionTime |                 |    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|
36.98/6.70	c (4,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%|
36.98/6.70	c (4,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%|
36.98/6.70	c (4,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%|
36.98/6.70	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.98/6.70	c (4,0) c
36.98/6.70	c (4,0) c
36.98/6.70	c (4,0) c Threads : 8
36.98/6.70	c (4,0) c Winner : 4
36.98/6.70	c (4,0) c Conflicts_0 : 48571
36.98/6.70	c (4,0) c Conflicts_1 : 48894
36.98/6.70	c (4,0) c Conflicts_2 : 49469
36.98/6.70	c (4,0) c Conflicts_3 : 50517
36.98/6.70	c (4,0) c Conflicts_4 : 49051
36.98/6.70	c (4,0) c Conflicts_5 : 49120
36.98/6.70	c (4,0) c Conflicts_6 : 51729
36.98/6.70	c (4,0) c Conflicts_7 : 49548
36.98/6.70	c (4,0) c Conflicts_total : 396899
36.98/6.70	c (4,0) c Conflicts_winner : 49051
36.98/6.70	c (4,0) c Decisions_0 : 85887
36.98/6.70	c (4,0) c Decisions_1 : 83901
36.98/6.70	c (4,0) c Decisions_2 : 87633
36.98/6.70	c (4,0) c Decisions_3 : 88847
36.98/6.70	c (4,0) c Decisions_4 : 85798
36.98/6.70	c (4,0) c Decisions_5 : 86015
36.98/6.70	c (4,0) c Decisions_6 : 91527
36.98/6.70	c (4,0) c Decisions_7 : 86885
36.98/6.70	c (4,0) c Decisions_total : 696493
36.98/6.70	c (4,0) c Decisions_winner : 85798
36.98/6.70	c (4,0) c Propagations_0 : 4952629
36.98/6.70	c (4,0) c Propagations_1 : 5086821
36.98/6.70	c (4,0) c Propagations_2 : 5078572
36.98/6.70	c (4,0) c Propagations_3 : 5164914
36.98/6.70	c (4,0) c Propagations_4 : 4956763
36.98/6.70	c (4,0) c Propagations_5 : 4981713
36.98/6.70	c (4,0) c Propagations_6 : 5229573
36.98/6.70	c (4,0) c Propagations_7 : 5042683
36.98/6.70	c (4,0) c Propagations_total : 40493668
36.98/6.70	c (4,0) c Propagations_winner : 4956763
36.98/6.70	c (4,0) c ReduceDBs_0 : 5
36.98/6.70	c (4,0) c ReduceDBs_1 : 5
36.98/6.70	c (4,0) c ReduceDBs_2 : 5
36.98/6.70	c (4,0) c ReduceDBs_3 : 5
36.98/6.70	c (4,0) c ReduceDBs_4 : 5
36.98/6.70	c (4,0) c ReduceDBs_5 : 5
36.98/6.70	c (4,0) c ReduceDBs_6 : 6
36.98/6.70	c (4,0) c ReduceDBs_7 : 5
36.98/6.70	c (4,0) c ReduceDBs_total : 41
36.98/6.70	c (4,0) c ReduceDBs_winner : 5
36.98/6.70	c (4,0) c SimpDBs_0 : 2
36.98/6.70	c (4,0) c SimpDBs_1 : 1
36.98/6.70	c (4,0) c SimpDBs_2 : 2
36.98/6.70	c (4,0) c SimpDBs_3 : 2
36.98/6.70	c (4,0) c SimpDBs_4 : 2
36.98/6.70	c (4,0) c SimpDBs_5 : 2
36.98/6.70	c (4,0) c SimpDBs_6 : 2
36.98/6.70	c (4,0) c SimpDBs_7 : 2
36.98/6.70	c (4,0) c SimpDBs_total : 15
36.98/6.70	c (4,0) c SimpDBs_winner : 2
36.98/6.70	c (4,0) c Restarts_0 : 116
36.98/6.70	c (4,0) c Restarts_1 : 105
36.98/6.70	c (4,0) c Restarts_2 : 141
36.98/6.70	c (4,0) c Restarts_3 : 125
36.98/6.70	c (4,0) c Restarts_4 : 126
36.98/6.70	c (4,0) c Restarts_5 : 117
36.98/6.70	c (4,0) c Restarts_6 : 138
36.98/6.70	c (4,0) c Restarts_7 : 93
36.98/6.70	c (4,0) c Restarts_total : 961
36.98/6.70	c (4,0) c Restarts_winner : 126
36.98/6.70	c (4,0) c ForcedImports_0 : 0
36.98/6.70	c (4,0) c ForcedImports_1 : 0
36.98/6.70	c (4,0) c ForcedImports_2 : 0
36.98/6.70	c (4,0) c ForcedImports_3 : 0
36.98/6.70	c (4,0) c ForcedImports_4 : 0
36.98/6.70	c (4,0) c ForcedImports_5 : 0
36.98/6.70	c (4,0) c ForcedImports_6 : 0
36.98/6.70	c (4,0) c ForcedImports_7 : 0
36.98/6.70	c (4,0) c ForcedImports_total : 0
36.98/6.70	c (4,0) c ForcedImports_winner : 0
36.98/6.70	c (4,0) c PropsBinClauses_0 : 6573863
36.98/6.70	c (4,0) c PropsBinClauses_1 : 6788528
36.98/6.70	c (4,0) c PropsBinClauses_2 : 6728084
36.98/6.70	c (4,0) c PropsBinClauses_3 : 6836308
36.98/6.70	c (4,0) c PropsBinClauses_4 : 6561167
36.98/6.70	c (4,0) c PropsBinClauses_5 : 6596216
36.98/6.70	c (4,0) c PropsBinClauses_6 : 6917311
36.98/6.70	c (4,0) c PropsBinClauses_7 : 6676489
36.98/6.70	c (4,0) c PropsBinClauses_total : 53677966
36.98/6.70	c (4,0) c PropsBinClauses_winner : 6561167
36.98/6.70	c (4,0) c PropsPreBlocker_0 : 105601205
36.98/6.70	c (4,0) c PropsPreBlocker_1 : 108294077
36.98/6.70	c (4,0) c PropsPreBlocker_2 : 109583493
36.98/6.70	c (4,0) c PropsPreBlocker_3 : 111044581
36.98/6.70	c (4,0) c PropsPreBlocker_4 : 106110277
36.98/6.70	c (4,0) c PropsPreBlocker_5 : 106318836
36.98/6.70	c (4,0) c PropsPreBlocker_6 : 112398260
36.98/6.70	c (4,0) c PropsPreBlocker_7 : 108278127
36.98/6.70	c (4,0) c PropsPreBlocker_total : 867628856
36.98/6.70	c (4,0) c PropsPreBlocker_winner : 106110277
36.98/6.70	c (4,0) c PropsNotBlocker_0 : 42670748
36.98/6.70	c (4,0) c PropsNotBlocker_1 : 43125556
36.98/6.70	c (4,0) c PropsNotBlocker_2 : 43346103
36.98/6.71	c (4,0) c PropsNotBlocker_3 : 43219417
36.98/6.71	c (4,0) c PropsNotBlocker_4 : 42064491
36.98/6.71	c (4,0) c PropsNotBlocker_5 : 41713686
36.98/6.71	c (4,0) c PropsNotBlocker_6 : 43207029
36.98/6.71	c (4,0) c PropsNotBlocker_7 : 41967654
36.98/6.71	c (4,0) c PropsNotBlocker_total : 341314684
36.98/6.71	c (4,0) c PropsNotBlocker_winner : 42064491
36.98/6.71	c (4,0) c PropsLitFullScans_0 : 246030110
36.98/6.71	c (4,0) c PropsLitFullScans_1 : 252040402
36.98/6.71	c (4,0) c PropsLitFullScans_2 : 258036734
36.98/6.71	c (4,0) c PropsLitFullScans_3 : 258035714
36.98/6.71	c (4,0) c PropsLitFullScans_4 : 248197122
36.98/6.71	c (4,0) c PropsLitFullScans_5 : 246035096
36.98/6.71	c (4,0) c PropsLitFullScans_6 : 258024632
36.98/6.71	c (4,0) c PropsLitFullScans_7 : 252032681
36.98/6.71	c (4,0) c PropsLitFullScans_total : 2018432491
36.98/6.71	c (4,0) c PropsLitFullScans_winner : 248197122
36.98/6.71	c (4,0) c LitScanFractions_0 : 7880
36.98/6.71	c (4,0) c LitScanFractions_1 : 11429
36.98/6.71	c (4,0) c LitScanFractions_2 : 9148
36.98/6.71	c (4,0) c LitScanFractions_3 : 11228
36.98/6.71	c (4,0) c LitScanFractions_4 : 11718
36.98/6.71	c (4,0) c LitScanFractions_5 : 8994
36.98/6.71	c (4,0) c LitScanFractions_6 : 6973
36.98/6.71	c (4,0) c LitScanFractions_7 : 10303
36.98/6.71	c (4,0) c LitScanFractions_total : 77673
36.98/6.71	c (4,0) c LitScanFractions_winner : 11718
36.98/6.71	c (4,0) c DecisionLevel0_0 : 117
36.98/6.71	c (4,0) c DecisionLevel0_1 : 105
36.98/6.71	c (4,0) c DecisionLevel0_2 : 142
36.98/6.71	c (4,0) c DecisionLevel0_3 : 129
36.98/6.71	c (4,0) c DecisionLevel0_4 : 134
36.98/6.71	c (4,0) c DecisionLevel0_5 : 118
36.98/6.71	c (4,0) c DecisionLevel0_6 : 139
36.98/6.71	c (4,0) c DecisionLevel0_7 : 94
36.98/6.71	c (4,0) c DecisionLevel0_total : 978
36.98/6.71	c (4,0) c DecisionLevel0_winner : 134
36.98/6.71	c (4,0) c Periods_0 : 41
36.98/6.71	c (4,0) c Periods_1 : 42
36.98/6.71	c (4,0) c Periods_2 : 43
36.98/6.71	c (4,0) c Periods_3 : 43
36.98/6.71	c (4,0) c Periods_4 : 41
36.98/6.71	c (4,0) c Periods_5 : 41
36.98/6.71	c (4,0) c Periods_6 : 43
36.98/6.71	c (4,0) c Periods_7 : 42
36.98/6.71	c (4,0) c Periods_total : 336
36.98/6.71	c (4,0) c Periods_winner : 41
36.98/6.71	c (4,0) c Margin_0 : 20
36.98/6.71	c (4,0) c Margin_1 : 20
36.98/6.71	c (4,0) c Margin_2 : 20
36.98/6.71	c (4,0) c Margin_3 : 20
36.98/6.71	c (4,0) c Margin_4 : 20
36.98/6.71	c (4,0) c Margin_5 : 20
36.98/6.71	c (4,0) c Margin_6 : 20
36.98/6.71	c (4,0) c Margin_7 : 20
36.98/6.71	c (4,0) c Margin_total : 160
36.98/6.71	c (4,0) c Margin_winner : 20
36.98/6.71	c (4,0) c Exported_0 : 9130
36.98/6.71	c (4,0) c Exported_1 : 10168
36.98/6.71	c (4,0) c Exported_2 : 10253
36.98/6.71	c (4,0) c Exported_3 : 10734
36.98/6.71	c (4,0) c Exported_4 : 9938
36.98/6.71	c (4,0) c Exported_5 : 10484
36.98/6.71	c (4,0) c Exported_6 : 9798
36.98/6.71	c (4,0) c Exported_7 : 10677
36.98/6.71	c (4,0) c Exported_total : 81182
36.98/6.71	c (4,0) c Exported_winner : 9938
36.98/6.71	c (4,0) c Imported_0 : 51017
36.98/6.71	c (4,0) c Imported_1 : 53999
36.98/6.71	c (4,0) c Imported_2 : 53731
36.98/6.71	c (4,0) c Imported_3 : 55178
36.98/6.71	c (4,0) c Imported_4 : 53520
36.98/6.71	c (4,0) c Imported_5 : 51477
36.98/6.71	c (4,0) c Imported_6 : 53968
36.98/6.71	c (4,0) c Imported_7 : 53427
36.98/6.71	c (4,0) c Imported_total : 426317
36.98/6.71	c (4,0) c Imported_winner : 53520
36.98/6.71	c (4,0) c Good_0 : 8
36.98/6.71	c (4,0) c Good_1 : 6
36.98/6.71	c (4,0) c Good_2 : 9
36.98/6.71	c (4,0) c Good_3 : 8
36.98/6.71	c (4,0) c Good_4 : 7
36.98/6.71	c (4,0) c Good_5 : 9
36.98/6.71	c (4,0) c Good_6 : 9
36.98/6.71	c (4,0) c Good_7 : 9
36.98/6.71	c (4,0) c Good_total : 65
36.98/6.71	c (4,0) c Good_winner : 7
36.98/6.71	c (4,0) c Purge_0 : 51009
36.98/6.71	c (4,0) c Purge_1 : 53993
36.98/6.71	c (4,0) c Purge_2 : 53722
36.98/6.71	c (4,0) c Purge_3 : 55170
36.98/6.71	c (4,0) c Purge_4 : 53513
36.98/6.71	c (4,0) c Purge_5 : 51468
36.98/6.71	c (4,0) c Purge_6 : 53959
36.98/6.71	c (4,0) c Purge_7 : 53418
36.98/6.71	c (4,0) c Purge_total : 426252
36.98/6.71	c (4,0) c Purge_winner : 53513
36.98/6.71	c (4,0) c Promoted_0 : 2797
36.98/6.71	c (4,0) c Promoted_1 : 3221
36.98/6.71	c (4,0) c Promoted_2 : 3087
36.98/6.71	c (4,0) c Promoted_3 : 3244
36.98/6.71	c (4,0) c Promoted_4 : 2938
36.98/6.71	c (4,0) c Promoted_5 : 3019
36.98/6.71	c (4,0) c Promoted_6 : 2461
36.98/6.71	c (4,0) c Promoted_7 : 2925
36.98/6.71	c (4,0) c Promoted_total : 23692
36.98/6.71	c (4,0) c Promoted_winner : 2938
36.98/6.71	c (4,0) c Remove_Imp_0 : 0
36.98/6.71	c (4,0) c Remove_Imp_1 : 0
36.98/6.71	c (4,0) c Remove_Imp_2 : 0
36.98/6.71	c (4,0) c Remove_Imp_3 : 0
36.98/6.71	c (4,0) c Remove_Imp_4 : 0
36.98/6.71	c (4,0) c Remove_Imp_5 : 0
36.98/6.71	c (4,0) c Remove_Imp_6 : 30757
36.98/6.71	c (4,0) c Remove_Imp_7 : 0
36.98/6.71	c (4,0) c Remove_Imp_total : 30757
36.98/6.71	c (4,0) c Remove_Imp_winner : 0
36.98/6.71	c (4,0) c Blocked_Reuse_0 : 0
36.98/6.71	c (4,0) c Blocked_Reuse_1 : 0
36.98/6.71	c (4,0) c Blocked_Reuse_2 : 0
36.98/6.71	c (4,0) c Blocked_Reuse_3 : 0
36.98/6.71	c (4,0) c Blocked_Reuse_4 : 0
36.98/6.71	c (4,0) c Blocked_Reuse_5 : 0
36.98/6.71	c (4,0) c Blocked_Reuse_6 : 0
36.98/6.71	c (4,0) c Blocked_Reuse_7 : 0
36.98/6.71	c (4,0) c Blocked_Reuse_total : 0
36.98/6.71	c (4,0) c Blocked_Reuse_winner : 0
36.98/6.71	c (4,0) c Unaries_0 : 1
36.98/6.71	c (4,0) c Unaries_1 : 0
36.98/6.71	c (4,0) c Unaries_2 : 1
36.98/6.71	c (4,0) c Unaries_3 : 4
36.98/6.71	c (4,0) c Unaries_4 : 8
36.98/6.71	c (4,0) c Unaries_5 : 1
36.98/6.71	c (4,0) c Unaries_6 : 1
36.98/6.71	c (4,0) c Unaries_7 : 1
36.98/6.71	c (4,0) c Unaries_total : 17
36.98/6.71	c (4,0) c Unaries_winner : 8
36.98/6.71	c (4,0) c Binaries_0 : 9
36.98/6.71	c (4,0) c Binaries_1 : 6
36.98/6.71	c (4,0) c Binaries_2 : 15
36.98/6.71	c (4,0) c Binaries_3 : 28
36.98/6.71	c (4,0) c Binaries_4 : 32
36.98/6.71	c (4,0) c Binaries_5 : 9
36.98/6.71	c (4,0) c Binaries_6 : 16
36.98/6.71	c (4,0) c Binaries_7 : 10
36.98/6.71	c (4,0) c Binaries_total : 125
36.98/6.71	c (4,0) c Binaries_winner : 32
36.98/6.71	c (4,0) c Glues_0 : 223
36.98/6.71	c (4,0) c Glues_1 : 233
36.98/6.71	c (4,0) c Glues_2 : 235
36.98/6.71	c (4,0) c Glues_3 : 242
36.98/6.71	c (4,0) c Glues_4 : 232
36.98/6.71	c (4,0) c Glues_5 : 191
36.98/6.71	c (4,0) c Glues_6 : 263
36.98/6.71	c (4,0) c Glues_7 : 221
36.98/6.71	c (4,0) c Glues_total : 1840
36.98/6.71	c (4,0) c Glues_winner : 232
36.98/6.71	c (4,0) c RunningTime_0 : 4.049257
36.98/6.71	c (4,0) c RunningTime_1 : 3.910099
36.98/6.71	c (4,0) c RunningTime_2 : 3.937859
36.98/6.71	c (4,0) c RunningTime_3 : 3.957538
36.98/6.71	c (4,0) c RunningTime_4 : 3.865509
36.98/6.71	c (4,0) c RunningTime_5 : 3.878748
36.98/6.71	c (4,0) c RunningTime_6 : 3.948612
36.98/6.71	c (4,0) c RunningTime_7 : 3.881917
36.98/6.71	c (4,0) c RunningTime_total : 31.429539
36.98/6.71	c (4,0) c RunningTime_winner : 3.865509
36.98/6.71	c (4,0) c WaitingTime_0 : 0.000017
36.98/6.71	c (4,0) c WaitingTime_1 : 0.000025
36.98/6.71	c (4,0) c WaitingTime_2 : 0.000026
36.98/6.71	c (4,0) c WaitingTime_3 : 0.000019
36.98/6.71	c (4,0) c WaitingTime_4 : 0.000028
36.98/6.71	c (4,0) c WaitingTime_5 : 0.000021
36.98/6.71	c (4,0) c WaitingTime_6 : 0.000034
36.98/6.71	c (4,0) c WaitingTime_7 : 0.000034
36.98/6.71	c (4,0) c WaitingTime_total : 0.000204
36.98/6.71	c (4,0) c WaitingTime_winner : 0.000028
36.98/6.71	c (4,0) c ExchangingTime_0 : 0.019094
36.98/6.71	c (4,0) c ExchangingTime_1 : 0.019221
36.98/6.71	c (4,0) c ExchangingTime_2 : 0.017984
36.98/6.71	c (4,0) c ExchangingTime_3 : 0.015847
36.98/6.71	c (4,0) c ExchangingTime_4 : 0.017928
36.98/6.71	c (4,0) c ExchangingTime_5 : 0.017887
36.98/6.71	c (4,0) c ExchangingTime_6 : 0.019671
36.98/6.71	c (4,0) c ExchangingTime_7 : 0.017982
36.98/6.71	c (4,0) c ExchangingTime_total : 0.145615
36.98/6.71	c (4,0) c ExchangingTime_winner : 0.017928
36.98/6.71	c (4,0) c PeriodProcTime_0 : 0.000243
36.98/6.71	c (4,0) c PeriodProcTime_1 : 0.000282
36.98/6.71	c (4,0) c PeriodProcTime_2 : 0.000285
36.98/6.71	c (4,0) c PeriodProcTime_3 : 0.000283
36.98/6.71	c (4,0) c PeriodProcTime_4 : 0.000291
36.98/6.71	c (4,0) c PeriodProcTime_5 : 0.000272
36.98/6.71	c (4,0) c PeriodProcTime_6 : 0.000293
36.98/6.71	c (4,0) c PeriodProcTime_7 : 0.000309
36.98/6.71	c (4,0) c PeriodProcTime_total : 0.002257
36.98/6.71	c (4,0) c PeriodProcTime_winner : 0.000291
36.98/6.71	c (4,0) c SolvingTime_0 : 4.068612
36.98/6.71	c (4,0) c SolvingTime_1 : 3.929626
36.98/6.71	c (4,0) c SolvingTime_2 : 3.956153
36.98/6.71	c (4,0) c SolvingTime_3 : 3.973688
36.98/6.71	c (4,0) c SolvingTime_4 : 3.883757
36.98/6.71	c (4,0) c SolvingTime_5 : 3.896928
36.98/6.71	c (4,0) c SolvingTime_6 : 3.968610
36.98/6.71	c (4,0) c SolvingTime_7 : 3.900242
36.98/6.71	c (4,0) c SolvingTime_total : 31.577616
36.98/6.71	c (4,0) c SolvingTime_winner : 3.883757
36.98/6.71	c (4,0) c PropagationTime_0 : 3.423024
36.98/6.71	c (4,0) c PropagationTime_1 : 3.262692
36.98/6.71	c (4,0) c PropagationTime_2 : 3.316339
36.98/6.71	c (4,0) c PropagationTime_3 : 3.319457
36.98/6.71	c (4,0) c PropagationTime_4 : 3.250049
36.98/6.71	c (4,0) c PropagationTime_5 : 3.243168
36.98/6.71	c (4,0) c PropagationTime_6 : 3.229130
36.98/6.71	c (4,0) c PropagationTime_7 : 3.217603
36.98/6.71	c (4,0) c PropagationTime_total : 26.261464
36.98/6.71	c (4,0) c PropagationTime_winner : 3.250049
36.98/6.71	c (4,0) c AnalysisTime_0 : 0.496195
36.98/6.71	c (4,0) c AnalysisTime_1 : 0.522925
36.98/6.71	c (4,0) c AnalysisTime_2 : 0.489384
36.98/6.71	c (4,0) c AnalysisTime_3 : 0.503716
36.98/6.71	c (4,0) c AnalysisTime_4 : 0.482217
36.98/6.71	c (4,0) c AnalysisTime_5 : 0.503459
36.98/6.71	c (4,0) c AnalysisTime_6 : 0.563195
36.98/6.71	c (4,0) c AnalysisTime_7 : 0.535568
36.98/6.71	c (4,0) c AnalysisTime_total : 4.096659
36.98/6.71	c (4,0) c AnalysisTime_winner : 0.482217
36.98/6.71	c (4,0) c ReductionTime_0 : 0.020496
36.98/6.71	c (4,0) c ReductionTime_1 : 0.021125
36.98/6.71	c (4,0) c ReductionTime_2 : 0.020369
36.98/6.71	c (4,0) c ReductionTime_3 : 0.020183
36.98/6.71	c (4,0) c ReductionTime_4 : 0.021017
36.98/6.71	c (4,0) c ReductionTime_5 : 0.020650
36.98/6.71	c (4,0) c ReductionTime_6 : 0.046953
36.98/6.71	c (4,0) c ReductionTime_7 : 0.021265
36.98/6.71	c (4,0) c ReductionTime_total : 0.192058
36.98/6.71	c (4,0) c ReductionTime_winner : 0.021017
36.98/6.71	c (4,0) c SimplifyTime_0 : 0.002767
36.98/6.71	c (4,0) c SimplifyTime_1 : 0.000009
36.98/6.71	c (4,0) c SimplifyTime_2 : 0.003890
36.98/6.71	c (4,0) c SimplifyTime_3 : 0.003196
36.98/6.71	c (4,0) c SimplifyTime_4 : 0.003341
36.98/6.71	c (4,0) c SimplifyTime_5 : 0.003580
36.98/6.71	c (4,0) c SimplifyTime_6 : 0.001415
36.98/6.71	c (4,0) c SimplifyTime_7 : 0.003470
36.98/6.71	c (4,0) c SimplifyTime_total : 0.021668
36.98/6.71	c (4,0) c SimplifyTime_winner : 0.003341
36.98/6.71	c (4,0) c UsedRateTime_0 : 0.000000
36.98/6.71	c (4,0) c UsedRateTime_1 : 0.000000
36.98/6.71	c (4,0) c UsedRateTime_2 : 0.000000
36.98/6.71	c (4,0) c UsedRateTime_3 : 0.000000
36.98/6.71	c (4,0) c UsedRateTime_4 : 0.000000
36.98/6.71	c (4,0) c UsedRateTime_5 : 0.000000
36.98/6.71	c (4,0) c UsedRateTime_6 : 0.000000
36.98/6.71	c (4,0) c UsedRateTime_7 : 0.000000
36.98/6.71	c (4,0) c UsedRateTime_total : 0.000000
36.98/6.71	c (4,0) c UsedRateTime_winner : 0.000000
36.98/6.71	c (4,0) c OverlapRateTime_0 : 0.000000
36.98/6.71	c (4,0) c OverlapRateTime_1 : 0.000000
36.98/6.71	c (4,0) c OverlapRateTime_2 : 0.000000
36.98/6.71	c (4,0) c OverlapRateTime_3 : 0.000000
36.98/6.71	c (4,0) c OverlapRateTime_4 : 0.000000
36.98/6.71	c (4,0) c OverlapRateTime_5 : 0.000000
36.98/6.71	c (4,0) c OverlapRateTime_6 : 0.000000
36.98/6.71	c (4,0) c OverlapRateTime_7 : 0.000000
36.98/6.71	c (4,0) c OverlapRateTime_total : 0.000000
36.98/6.71	c (4,0) c OverlapRateTime_winner : 0.000000
36.98/6.71	c (4,0) c
36.98/6.71	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
36.98/6.71	c (4,0) c
36.98/6.71	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.98/6.71	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
36.98/6.71	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.98/6.71	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
36.98/6.71	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
36.98/6.71	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
36.98/6.71	c (4,0) c | Initial random_seed   | 1648190617 |  114651097 | 1257686728 | 1829506157 |  769696780 | 1153622115 |  480306329 | 1633696531 |
36.98/6.71	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
36.98/6.71	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
36.98/6.71	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
36.98/6.71	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
36.98/6.71	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
36.98/6.71	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
36.98/6.71	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
36.98/6.71	c (4,0) c | var_decay             |     0.8900 |     0.8900 |     0.8900 |     0.9000 |     0.8900 |     0.8900 |     0.9000 |     0.8900 |
36.98/6.71	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
36.98/6.71	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
36.98/6.71	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
36.98/6.71	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.98/6.71	c (4,0) 
36.98/6.71	c (4,0) s UNSATISFIABLE
36.98/6.72	c (4,0) SatSolver.solve End
36.98/6.72	c (4,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
36.98/6.72	c (4,0) Show results Begin
36.98/6.72	s UNSATISFIABLE
36.98/6.72	c (4,0) Show results End
36.98/6.72	c (4,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
36.98/6.72	c (4,0) 4,4,STOP-AFTER(ALL)
36.98/6.72	c END-Prog: Sat Sep 14 10:41:13 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 (14075 MiB free)
  memory of node 1: 16384 MiB (14088 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100139 s]*
/proc/loadavg: 7.58 8.15 8.16 3/212 29609
/proc/meminfo: memFree=28742220/32770624 swapFree=66998528/67108860
[pid=29587] ppid=29584 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29587/stat : 29587 (scop.sh) S 29584 29587 28846 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421319453 115843072 349 33554432000 4194304 5098028 140726848895568 140726848892824 140705674175100 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27611136 140726848897828 140726848898156 140726848898156 140726848901069 0
/proc/29587/statm: 28282 349 296 221 0 87 0
[pid=29590] ppid=29587 vsize=27314120 memory=107788 CPUtime=0.1 cores=0-7
/proc/29590/stat : 29590 (java) S 29587 29587 28846 0 -1 1077944320 6513 0 0 0 8 2 0 0 20 0 20 0 421319453 27969658880 26947 33554432000 4194304 4196468 140727402090448 140727402072992 140321718951671 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
/proc/29590/statm: 6828530 26947 2797 1 0 6790935 0
[pid=29590/tid=29591] ppid=29587 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/29590/task/29591/stat : 29591 (java) R 29587 29587 28846 0 -1 4202560 4619 0 0 0 7 2 0 0 20 0 20 0 421319453 27969658880 26947 33554432000 4194304 4196468 140727402090448 140321690778000 140321703032158 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29592] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29592/stat : 29592 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 26947 33554432000 4194304 4196468 140727402090448 140321723193744 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29593] ppid=29587 vsize=27314120 memory=139854650901305 CPUtime=0 cores=0-7
/proc/29590/task/29593/stat : 29593 (java) S 29587 29587 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 26947 33554432000 4194304 4196468 140727402090448 140321141455120 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29594] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29594/stat : 29594 (java) S 29587 29587 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 26947 33554432000 4194304 4196468 140727402090448 140321140402832 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29595] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29595/stat : 29595 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 26947 33554432000 4194304 4196468 140727402090448 140321139350032 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29596] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29596/stat : 29596 (java) S 29587 29587 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 26947 33554432000 4194304 4196468 140727402090448 140321138297744 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29597] ppid=29587 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29590/task/29597/stat : 29597 (java) S 29587 29587 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 26947 33554432000 4194304 4196468 140727402090448 140321137244944 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29598] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29598/stat : 29598 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 26947 33554432000 4194304 4196468 140727402090448 140321136192656 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29599] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29599/stat : 29599 (java) S 29587 29587 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 26947 33554432000 4194304 4196468 140727402090448 140321135139856 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29600] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29600/stat : 29600 (java) S 29587 29587 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421319457 27969658880 26947 33554432000 4194304 4196468 140727402090448 140320710215792 140321718962818 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29601] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29601/stat : 29601 (java) S 29587 29587 28846 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421319458 27969658880 26947 33554432000 4194304 4196468 140727402090448 140319601451808 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29602] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29602/stat : 29602 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421319458 27969658880 26947 33554432000 4194304 4196468 140727402090448 140319333016688 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29603] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29603/stat : 29603 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421319460 27969658880 26947 33554432000 4194304 4196468 140727402090448 140318958508112 140321718970267 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29604] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29604/stat : 29604 (java) S 29587 29587 28846 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 421319460 27969658880 26947 33554432000 4194304 4196468 140727402090448 140320709163632 140321718962818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29605] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29605/stat : 29605 (java) S 29587 29587 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421319460 27969658880 26947 33554432000 4194304 4196468 140727402090448 140320708110832 140321718962818 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29606] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29606/stat : 29606 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421319460 27969658880 26947 33554432000 4194304 4196468 140727402090448 140320707058544 140321718962818 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29607] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29607/stat : 29607 (java) S 29587 29587 28846 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 20 0 421319461 27969658880 26947 33554432000 4194304 4196468 140727402090448 140320706005744 140321718962818 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29608] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29608/stat : 29608 (java) S 29587 29587 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421319461 27969658880 26947 33554432000 4194304 4196468 140727402090448 140318460602720 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29609] ppid=29587 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29590/task/29609/stat : 29609 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421319461 27969658880 26947 33554432000 4194304 4196468 140727402090448 140320704952624 140321718962818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109184 KiB

[startup+0.210521 s]*
/proc/loadavg: 7.58 8.15 8.16 3/212 29609
/proc/meminfo: memFree=28722256/32770624 swapFree=66998528/67108860
[pid=29587] ppid=29584 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29587/stat : 29587 (scop.sh) S 29584 29587 28846 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421319453 115843072 349 33554432000 4194304 5098028 140726848895568 140726848892824 140705674175100 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27611136 140726848897828 140726848898156 140726848898156 140726848901069 0
/proc/29587/statm: 28282 349 296 221 0 87 0
[pid=29590] ppid=29587 vsize=27314120 memory=126828 CPUtime=0.24 cores=0-7
/proc/29590/stat : 29590 (java) S 29587 29587 28846 0 -1 1077944320 11989 0 0 0 20 4 0 0 20 0 20 0 421319453 27969658880 31707 33554432000 4194304 4196468 140727402090448 140727402072992 140321718951671 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
/proc/29590/statm: 6828530 31707 2939 1 0 6790935 0
[pid=29590/tid=29591] ppid=29587 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/29590/task/29591/stat : 29591 (java) R 29587 29587 28846 0 -1 4202560 9723 0 0 0 16 3 0 0 20 0 20 0 421319453 27969658880 31707 33554432000 4194304 4196468 140727402090448 140321690756048 140321700515248 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29592] ppid=29587 vsize=27314120 memory=288230596134830447 CPUtime=0 cores=0-7
/proc/29590/task/29592/stat : 29592 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 31707 33554432000 4194304 4196468 140727402090448 140321723193744 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29593] ppid=29587 vsize=27314120 memory=3978286406406358688 CPUtime=0 cores=0-7
/proc/29590/task/29593/stat : 29593 (java) S 29587 29587 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 31707 33554432000 4194304 4196468 140727402090448 140321141455120 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29594] ppid=29587 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29590/task/29594/stat : 29594 (java) S 29587 29587 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 31707 33554432000 4194304 4196468 140727402090448 140321140402832 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29595] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29595/stat : 29595 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 31707 33554432000 4194304 4196468 140727402090448 140321139350032 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29596] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29596/stat : 29596 (java) S 29587 29587 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 31707 33554432000 4194304 4196468 140727402090448 140321138297744 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29597] ppid=29587 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29590/task/29597/stat : 29597 (java) S 29587 29587 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 31707 33554432000 4194304 4196468 140727402090448 140321137244944 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29598] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29598/stat : 29598 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 31707 33554432000 4194304 4196468 140727402090448 140321136192656 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29599] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29599/stat : 29599 (java) S 29587 29587 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 31707 33554432000 4194304 4196468 140727402090448 140321135139856 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29600] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29600/stat : 29600 (java) S 29587 29587 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421319457 27969658880 31707 33554432000 4194304 4196468 140727402090448 140320710215792 140321718962818 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29601] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29601/stat : 29601 (java) S 29587 29587 28846 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421319458 27969658880 31707 33554432000 4194304 4196468 140727402090448 140319601451808 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29602] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29602/stat : 29602 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421319458 27969658880 31707 33554432000 4194304 4196468 140727402090448 140319333016688 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29603] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29603/stat : 29603 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421319460 27969658880 31707 33554432000 4194304 4196468 140727402090448 140318958508112 140321718970267 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29604] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29604/stat : 29604 (java) S 29587 29587 28846 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 421319460 27969658880 31707 33554432000 4194304 4196468 140727402090448 140320709163632 140321718962818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29605] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29605/stat : 29605 (java) S 29587 29587 28846 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 20 0 421319460 27969658880 31707 33554432000 4194304 4196468 140727402090448 140320708110832 140321718962818 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29606] ppid=29587 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29590/task/29606/stat : 29606 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421319460 27969658880 31707 33554432000 4194304 4196468 140727402090448 140320707058544 140321718962818 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29607] ppid=29587 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/29590/task/29607/stat : 29607 (java) S 29587 29587 28846 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 20 0 421319461 27969658880 31707 33554432000 4194304 4196468 140727402090448 140320706005744 140321718962818 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29608] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29608/stat : 29608 (java) S 29587 29587 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421319461 27969658880 31707 33554432000 4194304 4196468 140727402090448 140318460602720 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29609] ppid=29587 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29590/task/29609/stat : 29609 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421319461 27969658880 31707 33554432000 4194304 4196468 140727402090448 140320704952624 140321718962818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128224 KiB

[startup+0.310376 s]*
/proc/loadavg: 7.58 8.15 8.16 2/212 29609
/proc/meminfo: memFree=28720076/32770624 swapFree=66998528/67108860
[pid=29587] ppid=29584 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29587/stat : 29587 (scop.sh) S 29584 29587 28846 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421319453 115843072 349 33554432000 4194304 5098028 140726848895568 140726848892824 140705674175100 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27611136 140726848897828 140726848898156 140726848898156 140726848901069 0
/proc/29587/statm: 28282 349 296 221 0 87 0
[pid=29590] ppid=29587 vsize=27314120 memory=130512 CPUtime=0.42 cores=0-7
/proc/29590/stat : 29590 (java) S 29587 29587 28846 0 -1 1077944320 12949 0 0 0 37 5 0 0 20 0 20 0 421319453 27969658880 32628 33554432000 4194304 4196468 140727402090448 140727402072992 140321718951671 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
/proc/29590/statm: 6828530 32628 3020 1 0 6790935 0
[pid=29590/tid=29591] ppid=29587 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/29590/task/29591/stat : 29591 (java) R 29587 29587 28846 0 -1 4202560 10531 0 0 0 25 4 0 0 20 0 20 0 421319453 27969658880 32628 33554432000 4194304 4196468 140727402090448 140321690781744 140321703032158 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29592] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29592/stat : 29592 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 32628 33554432000 4194304 4196468 140727402090448 140321723193744 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29593] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29593/stat : 29593 (java) S 29587 29587 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 32628 33554432000 4194304 4196468 140727402090448 140321141455120 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29594] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29594/stat : 29594 (java) S 29587 29587 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 32628 33554432000 4194304 4196468 140727402090448 140321140402832 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29595] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29595/stat : 29595 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 32628 33554432000 4194304 4196468 140727402090448 140321139350032 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29596] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29596/stat : 29596 (java) S 29587 29587 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 32628 33554432000 4194304 4196468 140727402090448 140321138297744 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29597] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29597/stat : 29597 (java) S 29587 29587 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 32628 33554432000 4194304 4196468 140727402090448 140321137244944 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29598] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29598/stat : 29598 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 32628 33554432000 4194304 4196468 140727402090448 140321136192656 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29599] ppid=29587 vsize=27314120 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/29590/task/29599/stat : 29599 (java) S 29587 29587 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421319456 27969658880 32628 33554432000 4194304 4196468 140727402090448 140321135139856 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29600] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29600/stat : 29600 (java) S 29587 29587 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421319457 27969658880 32628 33554432000 4194304 4196468 140727402090448 140320710215792 140321718962818 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29601] ppid=29587 vsize=27314120 memory=279709074267520 CPUtime=0 cores=0-7
/proc/29590/task/29601/stat : 29601 (java) S 29587 29587 28846 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421319458 27969658880 32628 33554432000 4194304 4196468 140727402090448 140319601451808 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29602] ppid=29587 vsize=27314120 memory=279709074272128 CPUtime=0 cores=0-7
/proc/29590/task/29602/stat : 29602 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421319458 27969658880 32628 33554432000 4194304 4196468 140727402090448 140319333016688 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29603] ppid=29587 vsize=27314120 memory=279709074276736 CPUtime=0 cores=0-7
/proc/29590/task/29603/stat : 29603 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421319460 27969658880 32628 33554432000 4194304 4196468 140727402090448 140318958508112 140321718970267 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29604] ppid=29587 vsize=27314120 memory=279709074281344 CPUtime=0.02 cores=0-7
/proc/29590/task/29604/stat : 29604 (java) R 29587 29587 28846 0 -1 4202560 420 0 0 0 2 0 0 0 20 0 20 0 421319460 27969658880 32628 33554432000 4194304 4196468 140727402090448 140320709163632 140321696586320 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29605] ppid=29587 vsize=27314120 memory=279709074285952 CPUtime=0 cores=0-7
/proc/29590/task/29605/stat : 29605 (java) S 29587 29587 28846 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 20 0 421319460 27969658880 32628 33554432000 4194304 4196468 140727402090448 140320708110832 140321718962818 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29606] ppid=29587 vsize=27314120 memory=279709074290560 CPUtime=0 cores=0-7
/proc/29590/task/29606/stat : 29606 (java) S 29587 29587 28846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 421319460 27969658880 32628 33554432000 4194304 4196468 140727402090448 140320707058544 140321718962818 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29607] ppid=29587 vsize=27314120 memory=279709074295168 CPUtime=0.07 cores=0-7
/proc/29590/task/29607/stat : 29607 (java) S 29587 29587 28846 0 -1 1077944384 466 0 0 0 7 0 0 0 20 0 20 0 421319461 27969658880 32628 33554432000 4194304 4196468 140727402090448 140320706005744 140321718962818 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29608] ppid=29587 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29608/stat : 29608 (java) S 29587 29587 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421319461 27969658880 32628 33554432000 4194304 4196468 140727402090448 140318460602720 140321718961877 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29609] ppid=29587 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29590/task/29609/stat : 29609 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421319461 27969658880 32628 33554432000 4194304 4196468 140727402090448 140320704952624 140321718962818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131908 KiB

[startup+0.700965 s]
/proc/loadavg: 7.58 8.15 8.16 2/212 29609
/proc/meminfo: memFree=28698868/32770624 swapFree=66998528/67108860
[pid=29587] ppid=29584 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29587/stat : 29587 (scop.sh) S 29584 29587 28846 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421319453 115843072 349 33554432000 4194304 5098028 140726848895568 140726848892824 140705674175100 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27611136 140726848897828 140726848898156 140726848898156 140726848901069 0
/proc/29587/statm: 28282 349 296 221 0 87 0
[pid=29590] ppid=29587 vsize=27322516 memory=165484 CPUtime=0.99 cores=0-7
/proc/29590/stat : 29590 (java) S 29587 29587 28846 0 -1 1077944320 20010 0 0 0 92 7 0 0 20 0 20 0 421319453 27978256384 41371 33554432000 4194304 4196468 140727402090448 140727402072992 140321718951671 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
/proc/29590/statm: 6830629 41371 3202 1 0 6791959 0
[pid=29590/tid=29591] ppid=29587 vsize=27322516 memory=4580 CPUtime=0.68 cores=0-7
/proc/29590/task/29591/stat : 29591 (java) R 29587 29587 28846 0 -1 4202560 17114 0 0 0 62 6 0 0 20 0 20 0 421319453 27978256384 41371 33554432000 4194304 4196468 140727402090448 140321690783440 140321718973597 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29592] ppid=29587 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29592/stat : 29592 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421319456 27978256384 41371 33554432000 4194304 4196468 140727402090448 140321723193744 140321718961877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29593] ppid=29587 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/29590/task/29593/stat : 29593 (java) S 29587 29587 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421319456 27978256384 41371 33554432000 4194304 4196468 140727402090448 140321141455120 140321718961877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0
[pid=29590/tid=29594] ppid=29587 vsize=27322516 memory=1204 CPUtime=0 cores=0-7
/proc/29590/task/29594/stat : 29594 (java) S 29587 29587 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421319456 27978256384 41371 33554432000 4194304 4196468 140727402090448 140321140402832 140321718961877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7684096 140727402099434 140727402099862 140727402099862 140727402102735 0

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

[pid=29610/tid=29622] ppid=29587 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/29610/task/29622/stat : 29622 (java) S 29587 29587 28846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 421319646 8616062976 29476 33554432000 4194304 4196468 140721450921136 140531598349936 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29623] ppid=29587 vsize=8414124 memory=22788 CPUtime=0 cores=0-7
/proc/29610/task/29623/stat : 29623 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421319648 8616062976 29476 33554432000 4194304 4196468 140721450921136 140531223845456 140533347874715 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29624] ppid=29587 vsize=8414124 memory=14068 CPUtime=0.04 cores=0-7
/proc/29610/task/29624/stat : 29624 (java) S 29587 29587 28846 0 -1 1077944384 720 0 0 0 4 0 0 0 20 0 24 0 421319648 8616062976 29476 33554432000 4194304 4196468 140721450921136 140532708784240 140533347867266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29625] ppid=29587 vsize=8414124 memory=524 CPUtime=0.07 cores=0-7
/proc/29610/task/29625/stat : 29625 (java) S 29587 29587 28846 0 -1 1077944384 298 0 0 0 7 0 0 0 20 0 24 0 421319648 8616062976 29476 33554432000 4194304 4196468 140721450921136 140532707731440 140533347867266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29626] ppid=29587 vsize=8414124 memory=1568 CPUtime=0.04 cores=0-7
/proc/29610/task/29626/stat : 29626 (java) S 29587 29587 28846 0 -1 1077944384 143 0 0 0 4 0 0 0 20 0 24 0 421319648 8616062976 29476 33554432000 4194304 4196468 140721450921136 140532706679152 140533347867266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29627] ppid=29587 vsize=8414124 memory=928 CPUtime=0.18 cores=0-7
/proc/29610/task/29627/stat : 29627 (java) S 29587 29587 28846 0 -1 1077944384 481 0 0 0 18 0 0 0 20 0 24 0 421319648 8616062976 29476 33554432000 4194304 4196468 140721450921136 140532705626352 140533347867266 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29628] ppid=29587 vsize=8414124 memory=3704 CPUtime=0 cores=0-7
/proc/29610/task/29628/stat : 29628 (java) S 29587 29587 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421319648 8616062976 29476 33554432000 4194304 4196468 140721450921136 140530725940064 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29629] ppid=29587 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/29610/task/29629/stat : 29629 (java) S 29587 29587 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421319649 8616062976 29476 33554432000 4194304 4196468 140721450921136 140532704574256 140533347867266 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29633] ppid=29587 vsize=8414124 memory=2580 CPUtime=0 cores=0-7
/proc/29610/task/29633/stat : 29633 (java) S 29587 29587 28846 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 421319713 8616062976 29476 33554432000 4194304 4196468 140721450921136 140532696540992 140533347880729 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29635] ppid=29587 vsize=8414124 memory=824 CPUtime=0 cores=0-7
/proc/29610/task/29635/stat : 29635 (java) S 29587 29587 28846 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 421319714 8616062976 29476 33554432000 4194304 4196468 140721450921136 140530054839696 140533347878045 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29636] ppid=29587 vsize=8414124 memory=1448 CPUtime=0 cores=0-7
/proc/29610/task/29636/stat : 29636 (java) S 29587 29587 28846 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 421319714 8616062976 29476 33554432000 4194304 4196468 140721450921136 140530323275024 140533347878045 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29644] ppid=29587 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/29610/task/29644/stat : 29644 (java) S 29587 29587 28846 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 421319716 8616062976 29476 33554432000 4194304 4196468 140721450921136 140529786412336 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
Current children cumulated CPU time: 35.56 s
Current children cumulated vsize: 9209316 KiB
Current children cumulated memory: 247080 KiB

[startup+6.60138 s]
/proc/loadavg: 7.61 8.15 8.15 9/225 29645
/proc/meminfo: memFree=28607444/32770624 swapFree=66998528/67108860
[pid=29587] ppid=29584 vsize=113128 memory=1476 CPUtime=4.43 cores=0-7
/proc/29587/stat : 29587 (scop.sh) S 29584 29587 28846 0 -1 4202496 583 26237 0 0 0 0 428 15 20 0 1 0 421319453 115843072 369 33554432000 4194304 5098028 140726848895568 140726848892312 140705674175100 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27611136 140726848897828 140726848898156 140726848898156 140726848901069 0
/proc/29587/statm: 28282 369 311 221 0 87 0
[pid=29610] ppid=29587 vsize=8414124 memory=117904 CPUtime=1.12 cores=0-7
/proc/29610/stat : 29610 (java) S 29587 29587 28846 0 -1 1077944320 19467 0 0 0 105 7 0 0 20 0 24 0 421319642 8616062976 29476 33554432000 4194304 4196468 140721450921136 140721450903680 140533347856119 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
/proc/29610/statm: 2103531 29476 3199 1 0 2064875 0
[pid=29632] ppid=29610 vsize=674988 memory=122876 CPUtime=31.32 cores=0-7
/proc/29632/stat : 29632 (manyglucose-4.1) S 29610 29587 28846 0 -1 1077944320 49919 0 0 0 3119 13 0 0 20 0 4 0 421319713 691187712 30719 33554432000 4194304 4454172 140721577739872 140721577738256 139853667213047 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 8237056 140721577747305 140721577747504 140721577747504 140721577750458 0
/proc/29632/statm: 168747 30719 417 64 0 164415 0
[pid=29632/tid=29637] ppid=29610 vsize=674988 memory=7686721470233549724 CPUtime=3.95 cores=0-7
/proc/29632/task/29637/stat : 29637 (manyglucose-4.1) R 29610 29587 28846 0 -1 4202560 6098 0 0 0 394 1 0 0 20 0 4 0 421319716 691187712 30719 33554432000 4194304 4454172 140721577739872 139853651995752 4353764 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 8237056 140721577747305 140721577747504 140721577747504 140721577750458 0
[pid=29632/tid=29640] ppid=29610 vsize=674988 memory=-3704326594973231466 CPUtime=3.95 cores=0-7
/proc/29632/task/29640/stat : 29640 (manyglucose-4.1) R 29610 29587 28846 0 -1 4202560 5885 0 0 0 393 2 0 0 20 0 4 0 421319716 691187712 30719 33554432000 4194304 4454172 140721577739872 139853626817640 4350040 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 8237056 140721577747305 140721577747504 140721577747504 140721577750458 0
[pid=29632/tid=29643] ppid=29610 vsize=674988 memory=8292088533921144977 CPUtime=3.96 cores=0-7
/proc/29632/task/29643/stat : 29643 (manyglucose-4.1) R 29610 29587 28846 0 -1 4202560 6224 0 0 0 395 1 0 0 20 0 4 0 421319716 691187712 30719 33554432000 4194304 4454172 140721577739872 139853601639528 4277839 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 8237056 140721577747305 140721577747504 140721577747504 140721577750458 0
[pid=29610/tid=29611] ppid=29587 vsize=8414124 memory=1414353297708861353 CPUtime=0.74 cores=0-7
/proc/29610/task/29611/stat : 29611 (java) S 29587 29587 28846 0 -1 1077944384 16404 0 0 0 69 5 0 0 20 0 24 0 421319643 8616062976 29476 33554432000 4194304 4196468 140721450921136 140533319696288 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29612] ppid=29587 vsize=8414124 memory=-7595754389018307734 CPUtime=0 cores=0-7
/proc/29610/task/29612/stat : 29612 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421319644 8616062976 29476 33554432000 4194304 4196468 140721450921136 140533352098704 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29613] ppid=29587 vsize=8414124 memory=6944658624146216565 CPUtime=0 cores=0-7
/proc/29610/task/29613/stat : 29613 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421319644 8616062976 29476 33554432000 4194304 4196468 140721450921136 140533152267024 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29614] ppid=29587 vsize=8414124 memory=18 CPUtime=0 cores=0-7
/proc/29610/task/29614/stat : 29614 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421319644 8616062976 29476 33554432000 4194304 4196468 140721450921136 140533151214736 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29615] ppid=29587 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29610/task/29615/stat : 29615 (java) S 29587 29587 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421319644 8616062976 29476 33554432000 4194304 4196468 140721450921136 140533150161936 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29616] ppid=29587 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29610/task/29616/stat : 29616 (java) S 29587 29587 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421319644 8616062976 29476 33554432000 4194304 4196468 140721450921136 140533149108624 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29617] ppid=29587 vsize=8414124 memory=112 CPUtime=0 cores=0-7
/proc/29610/task/29617/stat : 29617 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421319644 8616062976 29476 33554432000 4194304 4196468 140721450921136 140533148055824 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29618] ppid=29587 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/29610/task/29618/stat : 29618 (java) S 29587 29587 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421319644 8616062976 29476 33554432000 4194304 4196468 140721450921136 140533147003536 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29619] ppid=29587 vsize=8414124 memory=1204 CPUtime=0 cores=0-7
/proc/29610/task/29619/stat : 29619 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421319644 8616062976 29476 33554432000 4194304 4196468 140721450921136 140533145950736 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29620] ppid=29587 vsize=8414124 memory=1536 CPUtime=0 cores=0-7
/proc/29610/task/29620/stat : 29620 (java) S 29587 29587 28846 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 421319645 8616062976 29476 33554432000 4194304 4196468 140721450921136 140532709837424 140533347867266 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29621] ppid=29587 vsize=8414124 memory=9592 CPUtime=0 cores=0-7
/proc/29610/task/29621/stat : 29621 (java) S 29587 29587 28846 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 421319646 8616062976 29476 33554432000 4194304 4196468 140721450921136 140531732571424 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29622] ppid=29587 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/29610/task/29622/stat : 29622 (java) S 29587 29587 28846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 421319646 8616062976 29476 33554432000 4194304 4196468 140721450921136 140531598349936 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29623] ppid=29587 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/29610/task/29623/stat : 29623 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421319648 8616062976 29476 33554432000 4194304 4196468 140721450921136 140531223845456 140533347874715 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29624] ppid=29587 vsize=8414124 memory=620 CPUtime=0.04 cores=0-7
/proc/29610/task/29624/stat : 29624 (java) S 29587 29587 28846 0 -1 1077944384 720 0 0 0 4 0 0 0 20 0 24 0 421319648 8616062976 29476 33554432000 4194304 4196468 140721450921136 140532708784240 140533347867266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29625] ppid=29587 vsize=8414124 memory=1712 CPUtime=0.07 cores=0-7
/proc/29610/task/29625/stat : 29625 (java) S 29587 29587 28846 0 -1 1077944384 298 0 0 0 7 0 0 0 20 0 24 0 421319648 8616062976 29476 33554432000 4194304 4196468 140721450921136 140532707731440 140533347867266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29626] ppid=29587 vsize=8414124 memory=1052 CPUtime=0.04 cores=0-7
/proc/29610/task/29626/stat : 29626 (java) S 29587 29587 28846 0 -1 1077944384 143 0 0 0 4 0 0 0 20 0 24 0 421319648 8616062976 29476 33554432000 4194304 4196468 140721450921136 140532706679152 140533347867266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29627] ppid=29587 vsize=8414124 memory=5920 CPUtime=0.18 cores=0-7
/proc/29610/task/29627/stat : 29627 (java) S 29587 29587 28846 0 -1 1077944384 481 0 0 0 18 0 0 0 20 0 24 0 421319648 8616062976 29476 33554432000 4194304 4196468 140721450921136 140532705626352 140533347867266 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29628] ppid=29587 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/29610/task/29628/stat : 29628 (java) S 29587 29587 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421319648 8616062976 29476 33554432000 4194304 4196468 140721450921136 140530725940064 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29629] ppid=29587 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/29610/task/29629/stat : 29629 (java) S 29587 29587 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421319649 8616062976 29476 33554432000 4194304 4196468 140721450921136 140532704574256 140533347867266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29633] ppid=29587 vsize=8414124 memory=22788 CPUtime=0 cores=0-7
/proc/29610/task/29633/stat : 29633 (java) S 29587 29587 28846 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 421319713 8616062976 29476 33554432000 4194304 4196468 140721450921136 140532696540992 140533347880729 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29635] ppid=29587 vsize=8414124 memory=14068 CPUtime=0 cores=0-7
/proc/29610/task/29635/stat : 29635 (java) S 29587 29587 28846 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 421319714 8616062976 29476 33554432000 4194304 4196468 140721450921136 140530054839696 140533347878045 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29636] ppid=29587 vsize=8414124 memory=7157735280247069009 CPUtime=0 cores=0-7
/proc/29610/task/29636/stat : 29636 (java) S 29587 29587 28846 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 421319714 8616062976 29476 33554432000 4194304 4196468 140721450921136 140530323275024 140533347878045 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29644] ppid=29587 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/29610/task/29644/stat : 29644 (java) S 29587 29587 28846 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 421319716 8616062976 29476 33554432000 4194304 4196468 140721450921136 140529786412336 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
Current children cumulated CPU time: 36.87 s
Current children cumulated vsize: 9202240 KiB
Current children cumulated memory: 242256 KiB

[startup+6.70127 s]
/proc/loadavg: 7.61 8.15 8.15 9/225 29645
/proc/meminfo: memFree=28607444/32770624 swapFree=66998528/67108860
[pid=29587] ppid=29584 vsize=113128 memory=1476 CPUtime=4.43 cores=0-7
/proc/29587/stat : 29587 (scop.sh) S 29584 29587 28846 0 -1 4202496 583 26237 0 0 0 0 428 15 20 0 1 0 421319453 115843072 369 33554432000 4194304 5098028 140726848895568 140726848892312 140705674175100 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27611136 140726848897828 140726848898156 140726848898156 140726848901069 0
/proc/29587/statm: 28282 369 311 221 0 87 0
[pid=29610] ppid=29587 vsize=8414124 memory=117904 CPUtime=1.12 cores=0-7
/proc/29610/stat : 29610 (java) S 29587 29587 28846 0 -1 1077944320 19467 0 0 0 105 7 0 0 20 0 24 0 421319642 8616062976 29476 33554432000 4194304 4196468 140721450921136 140721450903680 140533347856119 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
/proc/29610/statm: 2103531 29476 3199 1 0 2064875 0
[pid=29632] ppid=29610 vsize=674988 memory=123048 CPUtime=31.43 cores=0-7
/proc/29632/stat : 29632 (manyglucose-4.1) S 29610 29587 28846 0 -1 1077944320 50004 0 0 0 3130 13 0 0 20 0 2 0 421319713 691187712 30762 33554432000 4194304 4454172 140721577739872 140721577738256 139853667213047 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 8237056 140721577747305 140721577747504 140721577747504 140721577750458 0
/proc/29632/statm: 168747 30762 417 64 0 164415 0
[pid=29632/tid=29637] ppid=29610 vsize=674988 memory=0 CPUtime=4.05 cores=0-7
/proc/29632/task/29637/stat : 29637 (manyglucose-4.1) R 29610 29587 28846 0 -1 4202560 6121 0 0 0 404 1 0 0 20 0 2 0 421319716 691187712 30762 33554432000 4194304 4454172 140721577739872 139853651995752 139853652511550 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 8237056 140721577747305 140721577747504 140721577747504 140721577750458 0
[pid=29610/tid=29611] ppid=29587 vsize=8414124 memory=1808 CPUtime=0.74 cores=0-7
/proc/29610/task/29611/stat : 29611 (java) S 29587 29587 28846 0 -1 1077944384 16404 0 0 0 69 5 0 0 20 0 24 0 421319643 8616062976 29476 33554432000 4194304 4196468 140721450921136 140533319696288 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29612] ppid=29587 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29610/task/29612/stat : 29612 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421319644 8616062976 29476 33554432000 4194304 4196468 140721450921136 140533352098704 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29613] ppid=29587 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29610/task/29613/stat : 29613 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421319644 8616062976 29476 33554432000 4194304 4196468 140721450921136 140533152267024 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29614] ppid=29587 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29610/task/29614/stat : 29614 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421319644 8616062976 29476 33554432000 4194304 4196468 140721450921136 140533151214736 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29615] ppid=29587 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29610/task/29615/stat : 29615 (java) S 29587 29587 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421319644 8616062976 29476 33554432000 4194304 4196468 140721450921136 140533150161936 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29616] ppid=29587 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/29610/task/29616/stat : 29616 (java) S 29587 29587 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421319644 8616062976 29476 33554432000 4194304 4196468 140721450921136 140533149108624 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29617] ppid=29587 vsize=8414124 memory=117904 CPUtime=0 cores=0-7
/proc/29610/task/29617/stat : 29617 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421319644 8616062976 29476 33554432000 4194304 4196468 140721450921136 140533148055824 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29618] ppid=29587 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29610/task/29618/stat : 29618 (java) S 29587 29587 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421319644 8616062976 29476 33554432000 4194304 4196468 140721450921136 140533147003536 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29619] ppid=29587 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29610/task/29619/stat : 29619 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421319644 8616062976 29476 33554432000 4194304 4196468 140721450921136 140533145950736 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29620] ppid=29587 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29610/task/29620/stat : 29620 (java) S 29587 29587 28846 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 421319645 8616062976 29476 33554432000 4194304 4196468 140721450921136 140532709837424 140533347867266 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29621] ppid=29587 vsize=8414124 memory=90 CPUtime=0 cores=0-7
/proc/29610/task/29621/stat : 29621 (java) S 29587 29587 28846 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 421319646 8616062976 29476 33554432000 4194304 4196468 140721450921136 140531732571424 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29622] ppid=29587 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29610/task/29622/stat : 29622 (java) S 29587 29587 28846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 421319646 8616062976 29476 33554432000 4194304 4196468 140721450921136 140531598349936 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29623] ppid=29587 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29610/task/29623/stat : 29623 (java) S 29587 29587 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421319648 8616062976 29476 33554432000 4194304 4196468 140721450921136 140531223845456 140533347874715 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29624] ppid=29587 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/29610/task/29624/stat : 29624 (java) S 29587 29587 28846 0 -1 1077944384 720 0 0 0 4 0 0 0 20 0 24 0 421319648 8616062976 29476 33554432000 4194304 4196468 140721450921136 140532708784240 140533347867266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29625] ppid=29587 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/29610/task/29625/stat : 29625 (java) S 29587 29587 28846 0 -1 1077944384 298 0 0 0 7 0 0 0 20 0 24 0 421319648 8616062976 29476 33554432000 4194304 4196468 140721450921136 140532707731440 140533347867266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29626] ppid=29587 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/29610/task/29626/stat : 29626 (java) S 29587 29587 28846 0 -1 1077944384 143 0 0 0 4 0 0 0 20 0 24 0 421319648 8616062976 29476 33554432000 4194304 4196468 140721450921136 140532706679152 140533347867266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29627] ppid=29587 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7
/proc/29610/task/29627/stat : 29627 (java) S 29587 29587 28846 0 -1 1077944384 481 0 0 0 18 0 0 0 20 0 24 0 421319648 8616062976 29476 33554432000 4194304 4196468 140721450921136 140532705626352 140533347867266 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29628] ppid=29587 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29610/task/29628/stat : 29628 (java) S 29587 29587 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421319648 8616062976 29476 33554432000 4194304 4196468 140721450921136 140530725940064 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29629] ppid=29587 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29610/task/29629/stat : 29629 (java) S 29587 29587 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421319649 8616062976 29476 33554432000 4194304 4196468 140721450921136 140532704574256 140533347867266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29633] ppid=29587 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29610/task/29633/stat : 29633 (java) S 29587 29587 28846 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 421319713 8616062976 29476 33554432000 4194304 4196468 140721450921136 140532696540992 140533347880729 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29635] ppid=29587 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29610/task/29635/stat : 29635 (java) R 29587 29587 28846 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 421319714 8616062976 29476 33554432000 4194304 4196468 140721450921136 140530054839696 140533340558599 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29636] ppid=29587 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29610/task/29636/stat : 29636 (java) S 29587 29587 28846 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 421319714 8616062976 29476 33554432000 4194304 4196468 140721450921136 140530323275024 140533347878045 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
[pid=29610/tid=29644] ppid=29587 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29610/task/29644/stat : 29644 (java) S 29587 29587 28846 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 421319716 8616062976 29476 33554432000 4194304 4196468 140721450921136 140529786412336 140533347866325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14155776 140721450922999 140721450923158 140721450923158 140721450926031 0
Current children cumulated CPU time: 36.98 s
Current children cumulated vsize: 9202240 KiB
Current children cumulated memory: 242428 KiB

Child status: 0
Real time (s): 6.74185
CPU time (s): 37.097
CPU user time (s): 36.7109
CPU system time (s): 0.386113
CPU usage (%): 550.25
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 280664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.7109
system time used= 0.386113
maximum resident set size= 285328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96433
page faults= 0
swaps= 0
block input operations= 0
block output operations= 712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7957
involuntary context switches= 377


# summary of solver processes directly reported to runsolver:
#   pid: 29587
#   total CPU time (s): 37.097
#   total CPU user time (s): 36.7109
#   total CPU system time (s): 0.386113

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.091044 second user time and 0.121772 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-14 10:41:06
IDJOB=4392564
IDBENCH=141744
IDSOLVER=2839
FILE ID=node127/4392564-1568450506
RUNJOBID= node127-1568446392-28873
PBS_JOBID= 21702352
Free space on /tmp= 61308 MiB

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

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

MD5SUM BENCH= 30a2df13e8a589268a4af4fb67fb8cf0
RANDOM SEED=182353314

node127.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.55
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.55
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.55
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.55
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:        28839844 kB
MemAvailable:   31871848 kB
Buffers:          194396 kB
Cached:          3103296 kB
SwapCached:         6772 kB
Active:          1907648 kB
Inactive:        1401748 kB
Active(anon):       5120 kB
Inactive(anon):    48304 kB
Active(file):    1902528 kB
Inactive(file):  1353444 kB
Unevictable:      109300 kB
Mlocked:          109300 kB
SwapTotal:      67108860 kB
SwapFree:       66998528 kB
Dirty:             20800 kB
Writeback:             0 kB
AnonPages:        169168 kB
Mapped:            44548 kB
Shmem:             32700 kB
Slab:             213644 kB
SReclaimable:     183732 kB
SUnreclaim:        29912 kB
KernelStack:        3856 kB
PageTables:         5416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61288 MiB
End job on node127 at 2019-09-14 10:41:13