Trace number 4405424

Some explanations

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

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

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

Solver answer on this benchmark

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

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-23300-serial-file.bin HOME/instance-4405424-1569366289.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Wed Sep 25 01:04:09 CEST 2019
0.65/0.57	c PID: 23303
0.65/0.57	c IP: 172.20.3.151
0.65/0.57	c HOST: node151.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.70/1.06	c (0,0) Parsing End
1.70/1.06	c (0,0) CSP: 34 int (0 aux), 0 bool (0 aux), 136 ctr, max domain size 42
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) Constraint Name Generate Begin
1.70/1.07	c (0,0) Ctr:HOME/instance-4405424-1569366289.xml,Add:Le:Num:Or:Var
1.70/1.07	c (0,0) Constraint Name Generate End
1.70/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.70/1.07	c (0,0) CSP to CSPinCNF Begin
2.02/1.18	c (0,0) translated 14 (10%) constraints
2.19/1.20	c (0,0) translated 28 (20%) constraints
2.19/1.21	c (0,0) translated 41 (30%) constraints
2.19/1.23	c (0,0) translated 55 (40%) constraints
2.19/1.24	c (0,0) translated 68 (50%) constraints
2.19/1.25	c (0,0) translated 82 (60%) constraints
2.19/1.26	c (0,0) translated 96 (70%) constraints
2.19/1.27	c (0,0) translated 109 (80%) constraints
2.19/1.28	c (0,0) translated 123 (90%) constraints
2.19/1.28	c (0,0) translated 136 (100%) constraints
2.19/1.28	c (0,0) ===========================================
2.43/1.30	c (0,0) Hybrid: #OE=34, #LE=0
2.43/1.30	c (0,0) Hybrid
2.43/1.30	c (0,0) ===========================================
2.43/1.31	c (0,0) translated 14 (10%) constraints
2.43/1.32	c (0,0) translated 28 (20%) constraints
2.43/1.32	c (0,0) translated 41 (30%) constraints
2.43/1.33	c (0,0) translated 55 (40%) constraints
2.43/1.33	c (0,0) translated 68 (50%) constraints
2.43/1.33	c (0,0) translated 82 (60%) constraints
2.43/1.34	c (0,0) translated 96 (70%) constraints
2.43/1.34	c (0,0) translated 109 (80%) constraints
2.43/1.34	c (0,0) translated 123 (90%) constraints
2.43/1.34	c (0,0) translated 136 (100%) constraints
2.43/1.35	c (0,0) CSP to CSPinCNF End
2.43/1.35	c (0,0) CSP: 34 int (0 aux), 0 bool (0 aux), 136 ctr, max domain size 42
2.43/1.35	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.43/1.35	c (0,0) CSPinCNF Propagation Begin
2.43/1.37	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.43/1.37	c (0,0) CSPinCNF Propagation End
2.43/1.37	c (0,0) CSP: 34 int (0 aux), 0 bool (0 aux), 136 ctr, max domain size 42
2.43/1.37	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.43/1.37	c (0,0) Hybrid: #OE=34, #LE=0
2.43/1.37	c (0,0) Simplify CSPinCNF Begin
2.65/1.45	c (0,0) Simplify CSPinCNF End
2.65/1.45	c (0,0) CSP: 34 int (0 aux), 544 bool (544 aux), 680 ctr, max domain size 42
2.65/1.45	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.65/1.45	c (0,0) Calculate Precise Domain Begin
2.65/1.46	c (0,0) 0 values are removed by re-calculation
2.65/1.46	c (0,0) Calculate Precise Domain End
2.65/1.46	c (0,0) CSP: 34 int (0 aux), 544 bool (544 aux), 680 ctr, max domain size 42
2.65/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.65/1.46	c (0,0) CSPinCNF to SatSolver Begin
3.17/1.63	c (1,1) 68 (10 %) CSP clauses are encoded (0 SAT variables, 2950 SAT clauses)
3.17/1.66	c (1,1) 136 (20 %) CSP clauses are encoded (0 SAT variables, 4755 SAT clauses)
3.17/1.69	c (1,1) 204 (30 %) CSP clauses are encoded (0 SAT variables, 6437 SAT clauses)
3.54/1.71	c (1,1) 272 (40 %) CSP clauses are encoded (0 SAT variables, 8031 SAT clauses)
3.54/1.73	c (1,1) 340 (50 %) CSP clauses are encoded (0 SAT variables, 9552 SAT clauses)
3.54/1.75	c (1,1) 408 (60 %) CSP clauses are encoded (0 SAT variables, 10943 SAT clauses)
3.54/1.76	c (1,1) 476 (70 %) CSP clauses are encoded (0 SAT variables, 12315 SAT clauses)
3.54/1.78	c (1,1) 544 (80 %) CSP clauses are encoded (0 SAT variables, 13483 SAT clauses)
3.54/1.79	c (1,1) 612 (90 %) CSP clauses are encoded (0 SAT variables, 14531 SAT clauses)
3.54/1.80	c (1,1) 680 (100 %) CSP clauses are encoded (0 SAT variables, 15357 SAT clauses)
3.97/1.80	c (1,1) CSPinCNF to SatSolver End
3.97/1.80	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.97/1.80	c (1,1) 1666 bool, 15368 clause
3.97/1.80	c (1,1) Export Begin
3.97/1.88	c (1,1) Export to HOME/scop-23300-serial-file.bin
3.97/1.88	c (1,1) Export End
3.97/1.88	c (1,1) Export File Size: 0.01 MB
3.97/1.88	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.97/1.88	c END-Prog: Wed Sep 25 01:04:10 CEST 2019
4.36/1.91	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-23300-serial-file.bin
4.88/2.37	c (0,0) Read Serial File Begin
4.88/2.37	c (0,0) HOME/scop-23300-serial-file.bin
5.14/2.56	c (0,0) Read Serial File End
5.14/2.58	
5.14/2.58	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
5.14/2.58	(Solving Process)
5.14/2.58	
5.29/2.60	c BEGIN-Prog: Wed Sep 25 01:04:11 CEST 2019
5.29/2.60	c PID: 23323
5.29/2.60	c IP: 172.20.3.151
5.29/2.60	c HOST: node151.alineos.net
5.29/2.60	c (0,0) SatSolver.solve Begin
5.29/2.60	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405424-1569366289.xml-scop-23303.cnf
5.29/2.63	c (0,0) c
5.29/2.63	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.29/2.63	c (0,0) c
5.29/2.63	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.29/2.63	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.29/2.63	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.29/2.63	c (0,0) c |                                                                                                       |
5.29/2.63	c (0,0) c |  Number of variables:          1666                                                                   |
5.29/2.63	c (0,0) c |  Number of clauses:           15368                                                                   |
5.29/2.63	c (0,0) c |  Parse time:                   0.01 s                                                                 |
5.29/2.63	c (0,0) c |                                                                                                       |
5.29/2.64	c (0,0) c |  Simplification time:          0.01 s                                                                 |
5.29/2.64	c (0,0) c |                                                                                                       |
5.29/2.64	c (0,0) c |  Generating clones                                                                                    |
5.29/2.65	c (0,0) c |  all clones generated. Memory =    32.50Mb.                                                           |
5.29/2.65	c (0,0) c ========================================================================================================|
5.29/2.65	c (0,0) c
5.29/2.65	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
5.29/2.65	c (0,0) c
5.29/2.65	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.29/2.65	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5.29/2.65	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.29/2.65	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
5.29/2.65	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
5.29/2.65	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
5.29/2.65	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
5.29/2.65	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
5.29/2.65	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
5.29/2.65	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
5.29/2.65	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
5.29/2.65	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
5.29/2.65	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
5.29/2.65	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
5.29/2.65	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
5.29/2.65	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
5.29/2.65	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
5.29/2.65	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
5.29/2.65	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.55/6.67	c (4,0) c
36.55/6.67	c (4,0) c real time : 4.04879 s
36.55/6.67	c (4,0) c cpu time  : 31.0285 s
36.55/6.67	c (4,0) c
36.55/6.67	c (4,0) c
36.55/6.67	c (4,0) c
36.55/6.67	c (4,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
36.55/6.67	c (4,0) c
36.55/6.67	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.55/6.67	c (4,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
36.55/6.67	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.55/6.67	c (4,0) c | Conflicts     |          395530 |      48571 |      48894 |      49469 |      50090 |      49051 |      49541 |      50366 |      49548 |
36.55/6.67	c (4,0) c | Decisions     |          694591 |      85887 |      83901 |      87633 |      88234 |      85798 |      86605 |      89648 |      86885 |
36.55/6.67	c (4,0) c | Propagations  |        40331639 |    4952629 |    5086821 |    5078572 |    5108850 |    4956763 |    5034660 |    5070661 |    5042683 |
36.55/6.67	c (4,0) c | ReduceDBs     |              40 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
36.55/6.67	c (4,0) c | SimpDBs       |              15 |          2 |          1 |          2 |          2 |          2 |          2 |          2 |          2 |
36.55/6.67	c (4,0) c | Restarts      |             959 |        116 |        105 |        141 |        125 |        126 |        117 |        136 |         93 |
36.55/6.67	c (4,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.55/6.67	c (4,0) c | PropBinClauses|        53473472 |    6573863 |    6788528 |    6728084 |    6766073 |    6561167 |    6665450 |    6713818 |    6676489 |
36.55/6.67	c (4,0) c | PropPreBlocker|       862978310 |  105601205 |  108294077 |  109583493 |  109036486 |  106110277 |  108362346 |  107712299 |  108278127 |
36.55/6.67	c (4,0) c | PropNotBlocker|       339498015 |   42670748 |   43125556 |   43346103 |   42320855 |   42064491 |   42644676 |   41357932 |   41967654 |
36.55/6.67	c (4,0) c | LitFullScans  |      2006434297 |  246030110 |  252040402 |  258036734 |  252031752 |  248197122 |  252028580 |  246036916 |  252032681 |
36.55/6.67	c (4,0) c | LitScanFracts |           77632 |       7880 |      11429 |       9148 |      11221 |      11718 |       9252 |       6681 |      10303 |
36.55/6.68	c (4,0) c | DecisionLevel0|             975 |        117 |        105 |        142 |        128 |        134 |        118 |        137 |         94 |
36.55/6.68	c (4,0) c | Periods       |             334 |         41 |         42 |         43 |         42 |         41 |         42 |         41 |         42 |
36.55/6.68	c (4,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
36.55/6.68	c (4,0) c | Avg_Trail     |                 |        693 |        704 |        702 |        705 |        699 |        701 |        708 |        707 |
36.55/6.68	c (4,0) c | Avg_DL        |                 |         16 |         16 |         17 |         17 |         16 |         16 |         16 |         17 |
36.55/6.68	c (4,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.55/6.68	c (4,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.55/6.68	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.55/6.68	c (4,0) c | Exported      |           80994 |       9130 |      10168 |      10253 |      10626 |       9938 |      10565 |       9637 |      10677 |
36.55/6.68	c (4,0) c | Imported      |          423349 |      51017 |      53999 |      53731 |      53623 |      53520 |      51477 |      52555 |      53427 |
36.55/6.68	c (4,0) c | Good          |              63 |          8 |          6 |          9 |          6 |          7 |          9 |          9 |          9 |
36.55/6.68	c (4,0) c | Purge         |          423286 |      51009 |      53993 |      53722 |      53617 |      53513 |      51468 |      52546 |      53418 |
36.55/6.68	c (4,0) c | Promoted      |           23466 |       2797 |       3221 |       3087 |       3118 |       2938 |       3136 |       2244 |       2925 |
36.55/6.68	c (4,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.55/6.68	c (4,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
36.55/6.68	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.55/6.68	c (4,0) c | Unaries       |                 |          1 |          0 |          1 |          3 |          8 |          1 |          1 |          1 |
36.55/6.68	c (4,0) c | Binaries      |                 |          9 |          6 |         15 |         20 |         32 |         13 |         13 |         10 |
36.55/6.68	c (4,0) c | Glues         |                 |        223 |        233 |        235 |        234 |        232 |        200 |        254 |        221 |
36.55/6.68	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.55/6.68	c (4,0) c | Orig_Seen     |            39 % |       5895 |       5802 |       5860 |       5983 |       6000 |       6749 |       6009 |       5899 |
36.55/6.68	c (4,0) c | Diff Orig seen|                 | -      105 | -      198 | -      140 | -       17 |      X     |        749 |          9 | -      101 |
36.55/6.68	c (4,0) c | Hamming       |            30 % |        581 |        401 |        499 |        509 |      X     |        665 |        483 |        461 |
36.55/6.68	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.55/6.68	c (4,0) c | RunningTime   |                 |    4.0 100%|    3.9 100%|    3.9  99%|    3.8 100%|    3.8 100%|    3.9 100%|    3.8 100%|    3.9 100%|
36.55/6.68	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.55/6.68	c (4,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   1%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
36.55/6.68	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.55/6.68	c (4,0) c | SolvingTime   |                 |    4.0     |    3.9     |    3.9     |    3.9     |    3.9     |    3.9     |    3.9     |    3.9     |
36.55/6.68	c (4,0) c | PropagationTim|                 |    3.4  84%|    3.3  83%|    3.3  84%|    3.2  83%|    3.2  84%|    3.2  83%|    3.2  82%|    3.2  82%|
36.55/6.68	c (4,0) c | AnalysisTime  |                 |    0.5  12%|    0.5  13%|    0.5  13%|    0.5  13%|    0.5  12%|    0.5  13%|    0.6  14%|    0.5  14%|
36.55/6.68	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.55/6.68	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.55/6.68	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.55/6.68	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.55/6.68	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.55/6.68	c (4,0) c
36.55/6.68	c (4,0) c
36.55/6.68	c (4,0) c Threads : 8
36.55/6.68	c (4,0) c Winner : 4
36.55/6.68	c (4,0) c Conflicts_0 : 48571
36.55/6.68	c (4,0) c Conflicts_1 : 48894
36.55/6.68	c (4,0) c Conflicts_2 : 49469
36.55/6.68	c (4,0) c Conflicts_3 : 50090
36.55/6.68	c (4,0) c Conflicts_4 : 49051
36.55/6.68	c (4,0) c Conflicts_5 : 49541
36.55/6.68	c (4,0) c Conflicts_6 : 50366
36.55/6.68	c (4,0) c Conflicts_7 : 49548
36.55/6.68	c (4,0) c Conflicts_total : 395530
36.55/6.68	c (4,0) c Conflicts_winner : 49051
36.55/6.68	c (4,0) c Decisions_0 : 85887
36.55/6.68	c (4,0) c Decisions_1 : 83901
36.55/6.68	c (4,0) c Decisions_2 : 87633
36.55/6.68	c (4,0) c Decisions_3 : 88234
36.55/6.68	c (4,0) c Decisions_4 : 85798
36.55/6.68	c (4,0) c Decisions_5 : 86605
36.55/6.68	c (4,0) c Decisions_6 : 89648
36.55/6.68	c (4,0) c Decisions_7 : 86885
36.55/6.68	c (4,0) c Decisions_total : 694591
36.55/6.68	c (4,0) c Decisions_winner : 85798
36.55/6.68	c (4,0) c Propagations_0 : 4952629
36.55/6.68	c (4,0) c Propagations_1 : 5086821
36.55/6.68	c (4,0) c Propagations_2 : 5078572
36.55/6.68	c (4,0) c Propagations_3 : 5108850
36.55/6.68	c (4,0) c Propagations_4 : 4956763
36.55/6.68	c (4,0) c Propagations_5 : 5034660
36.55/6.68	c (4,0) c Propagations_6 : 5070661
36.55/6.68	c (4,0) c Propagations_7 : 5042683
36.55/6.68	c (4,0) c Propagations_total : 40331639
36.55/6.68	c (4,0) c Propagations_winner : 4956763
36.55/6.68	c (4,0) c ReduceDBs_0 : 5
36.55/6.68	c (4,0) c ReduceDBs_1 : 5
36.55/6.68	c (4,0) c ReduceDBs_2 : 5
36.55/6.68	c (4,0) c ReduceDBs_3 : 5
36.55/6.68	c (4,0) c ReduceDBs_4 : 5
36.55/6.68	c (4,0) c ReduceDBs_5 : 5
36.55/6.68	c (4,0) c ReduceDBs_6 : 5
36.55/6.68	c (4,0) c ReduceDBs_7 : 5
36.55/6.68	c (4,0) c ReduceDBs_total : 40
36.55/6.68	c (4,0) c ReduceDBs_winner : 5
36.55/6.68	c (4,0) c SimpDBs_0 : 2
36.55/6.68	c (4,0) c SimpDBs_1 : 1
36.55/6.68	c (4,0) c SimpDBs_2 : 2
36.55/6.68	c (4,0) c SimpDBs_3 : 2
36.55/6.68	c (4,0) c SimpDBs_4 : 2
36.55/6.68	c (4,0) c SimpDBs_5 : 2
36.55/6.68	c (4,0) c SimpDBs_6 : 2
36.55/6.68	c (4,0) c SimpDBs_7 : 2
36.55/6.68	c (4,0) c SimpDBs_total : 15
36.55/6.68	c (4,0) c SimpDBs_winner : 2
36.55/6.68	c (4,0) c Restarts_0 : 116
36.55/6.68	c (4,0) c Restarts_1 : 105
36.55/6.68	c (4,0) c Restarts_2 : 141
36.55/6.68	c (4,0) c Restarts_3 : 125
36.55/6.68	c (4,0) c Restarts_4 : 126
36.55/6.68	c (4,0) c Restarts_5 : 117
36.55/6.68	c (4,0) c Restarts_6 : 136
36.55/6.68	c (4,0) c Restarts_7 : 93
36.55/6.68	c (4,0) c Restarts_total : 959
36.55/6.68	c (4,0) c Restarts_winner : 126
36.55/6.68	c (4,0) c ForcedImports_0 : 0
36.55/6.68	c (4,0) c ForcedImports_1 : 0
36.55/6.68	c (4,0) c ForcedImports_2 : 0
36.55/6.68	c (4,0) c ForcedImports_3 : 0
36.55/6.68	c (4,0) c ForcedImports_4 : 0
36.55/6.68	c (4,0) c ForcedImports_5 : 0
36.55/6.68	c (4,0) c ForcedImports_6 : 0
36.55/6.68	c (4,0) c ForcedImports_7 : 0
36.55/6.68	c (4,0) c ForcedImports_total : 0
36.55/6.68	c (4,0) c ForcedImports_winner : 0
36.55/6.68	c (4,0) c PropsBinClauses_0 : 6573863
36.55/6.68	c (4,0) c PropsBinClauses_1 : 6788528
36.55/6.68	c (4,0) c PropsBinClauses_2 : 6728084
36.55/6.68	c (4,0) c PropsBinClauses_3 : 6766073
36.55/6.68	c (4,0) c PropsBinClauses_4 : 6561167
36.55/6.68	c (4,0) c PropsBinClauses_5 : 6665450
36.55/6.68	c (4,0) c PropsBinClauses_6 : 6713818
36.55/6.68	c (4,0) c PropsBinClauses_7 : 6676489
36.55/6.68	c (4,0) c PropsBinClauses_total : 53473472
36.55/6.68	c (4,0) c PropsBinClauses_winner : 6561167
36.55/6.68	c (4,0) c PropsPreBlocker_0 : 105601205
36.55/6.68	c (4,0) c PropsPreBlocker_1 : 108294077
36.55/6.68	c (4,0) c PropsPreBlocker_2 : 109583493
36.55/6.68	c (4,0) c PropsPreBlocker_3 : 109036486
36.55/6.68	c (4,0) c PropsPreBlocker_4 : 106110277
36.55/6.68	c (4,0) c PropsPreBlocker_5 : 108362346
36.55/6.68	c (4,0) c PropsPreBlocker_6 : 107712299
36.55/6.68	c (4,0) c PropsPreBlocker_7 : 108278127
36.55/6.68	c (4,0) c PropsPreBlocker_total : 862978310
36.55/6.68	c (4,0) c PropsPreBlocker_winner : 106110277
36.55/6.68	c (4,0) c PropsNotBlocker_0 : 42670748
36.55/6.68	c (4,0) c PropsNotBlocker_1 : 43125556
36.55/6.68	c (4,0) c PropsNotBlocker_2 : 43346103
36.55/6.68	c (4,0) c PropsNotBlocker_3 : 42320855
36.55/6.68	c (4,0) c PropsNotBlocker_4 : 42064491
36.55/6.68	c (4,0) c PropsNotBlocker_5 : 42644676
36.55/6.68	c (4,0) c PropsNotBlocker_6 : 41357932
36.55/6.68	c (4,0) c PropsNotBlocker_7 : 41967654
36.55/6.68	c (4,0) c PropsNotBlocker_total : 339498015
36.55/6.68	c (4,0) c PropsNotBlocker_winner : 42064491
36.55/6.68	c (4,0) c PropsLitFullScans_0 : 246030110
36.55/6.68	c (4,0) c PropsLitFullScans_1 : 252040402
36.55/6.68	c (4,0) c PropsLitFullScans_2 : 258036734
36.55/6.68	c (4,0) c PropsLitFullScans_3 : 252031752
36.55/6.68	c (4,0) c PropsLitFullScans_4 : 248197122
36.55/6.68	c (4,0) c PropsLitFullScans_5 : 252028580
36.55/6.68	c (4,0) c PropsLitFullScans_6 : 246036916
36.55/6.68	c (4,0) c PropsLitFullScans_7 : 252032681
36.55/6.68	c (4,0) c PropsLitFullScans_total : 2006434297
36.55/6.68	c (4,0) c PropsLitFullScans_winner : 248197122
36.55/6.68	c (4,0) c LitScanFractions_0 : 7880
36.55/6.68	c (4,0) c LitScanFractions_1 : 11429
36.55/6.68	c (4,0) c LitScanFractions_2 : 9148
36.55/6.68	c (4,0) c LitScanFractions_3 : 11221
36.55/6.68	c (4,0) c LitScanFractions_4 : 11718
36.55/6.68	c (4,0) c LitScanFractions_5 : 9252
36.55/6.68	c (4,0) c LitScanFractions_6 : 6681
36.55/6.68	c (4,0) c LitScanFractions_7 : 10303
36.55/6.68	c (4,0) c LitScanFractions_total : 77632
36.55/6.68	c (4,0) c LitScanFractions_winner : 11718
36.55/6.68	c (4,0) c DecisionLevel0_0 : 117
36.55/6.68	c (4,0) c DecisionLevel0_1 : 105
36.55/6.68	c (4,0) c DecisionLevel0_2 : 142
36.55/6.68	c (4,0) c DecisionLevel0_3 : 128
36.55/6.68	c (4,0) c DecisionLevel0_4 : 134
36.55/6.68	c (4,0) c DecisionLevel0_5 : 118
36.55/6.68	c (4,0) c DecisionLevel0_6 : 137
36.55/6.68	c (4,0) c DecisionLevel0_7 : 94
36.55/6.68	c (4,0) c DecisionLevel0_total : 975
36.55/6.68	c (4,0) c DecisionLevel0_winner : 134
36.55/6.68	c (4,0) c Periods_0 : 41
36.55/6.68	c (4,0) c Periods_1 : 42
36.55/6.68	c (4,0) c Periods_2 : 43
36.55/6.68	c (4,0) c Periods_3 : 42
36.55/6.68	c (4,0) c Periods_4 : 41
36.55/6.68	c (4,0) c Periods_5 : 42
36.55/6.68	c (4,0) c Periods_6 : 41
36.55/6.68	c (4,0) c Periods_7 : 42
36.55/6.68	c (4,0) c Periods_total : 334
36.55/6.68	c (4,0) c Periods_winner : 41
36.55/6.68	c (4,0) c Margin_0 : 20
36.55/6.68	c (4,0) c Margin_1 : 20
36.55/6.68	c (4,0) c Margin_2 : 20
36.55/6.68	c (4,0) c Margin_3 : 20
36.55/6.68	c (4,0) c Margin_4 : 20
36.55/6.68	c (4,0) c Margin_5 : 20
36.55/6.68	c (4,0) c Margin_6 : 20
36.55/6.68	c (4,0) c Margin_7 : 20
36.55/6.68	c (4,0) c Margin_total : 160
36.55/6.68	c (4,0) c Margin_winner : 20
36.55/6.68	c (4,0) c Exported_0 : 9130
36.55/6.68	c (4,0) c Exported_1 : 10168
36.55/6.68	c (4,0) c Exported_2 : 10253
36.55/6.68	c (4,0) c Exported_3 : 10626
36.55/6.68	c (4,0) c Exported_4 : 9938
36.55/6.68	c (4,0) c Exported_5 : 10565
36.55/6.68	c (4,0) c Exported_6 : 9637
36.55/6.68	c (4,0) c Exported_7 : 10677
36.55/6.68	c (4,0) c Exported_total : 80994
36.55/6.68	c (4,0) c Exported_winner : 9938
36.55/6.68	c (4,0) c Imported_0 : 51017
36.55/6.68	c (4,0) c Imported_1 : 53999
36.55/6.68	c (4,0) c Imported_2 : 53731
36.55/6.68	c (4,0) c Imported_3 : 53623
36.55/6.68	c (4,0) c Imported_4 : 53520
36.55/6.68	c (4,0) c Imported_5 : 51477
36.55/6.68	c (4,0) c Imported_6 : 52555
36.55/6.68	c (4,0) c Imported_7 : 53427
36.55/6.68	c (4,0) c Imported_total : 423349
36.55/6.68	c (4,0) c Imported_winner : 53520
36.55/6.68	c (4,0) c Good_0 : 8
36.55/6.68	c (4,0) c Good_1 : 6
36.55/6.68	c (4,0) c Good_2 : 9
36.55/6.68	c (4,0) c Good_3 : 6
36.55/6.68	c (4,0) c Good_4 : 7
36.55/6.69	c (4,0) c Good_5 : 9
36.55/6.69	c (4,0) c Good_6 : 9
36.55/6.69	c (4,0) c Good_7 : 9
36.55/6.69	c (4,0) c Good_total : 63
36.55/6.69	c (4,0) c Good_winner : 7
36.55/6.69	c (4,0) c Purge_0 : 51009
36.55/6.69	c (4,0) c Purge_1 : 53993
36.55/6.69	c (4,0) c Purge_2 : 53722
36.55/6.69	c (4,0) c Purge_3 : 53617
36.55/6.69	c (4,0) c Purge_4 : 53513
36.55/6.69	c (4,0) c Purge_5 : 51468
36.55/6.69	c (4,0) c Purge_6 : 52546
36.55/6.69	c (4,0) c Purge_7 : 53418
36.55/6.69	c (4,0) c Purge_total : 423286
36.55/6.69	c (4,0) c Purge_winner : 53513
36.55/6.69	c (4,0) c Promoted_0 : 2797
36.55/6.69	c (4,0) c Promoted_1 : 3221
36.55/6.69	c (4,0) c Promoted_2 : 3087
36.55/6.69	c (4,0) c Promoted_3 : 3118
36.55/6.69	c (4,0) c Promoted_4 : 2938
36.55/6.69	c (4,0) c Promoted_5 : 3136
36.55/6.69	c (4,0) c Promoted_6 : 2244
36.55/6.69	c (4,0) c Promoted_7 : 2925
36.55/6.69	c (4,0) c Promoted_total : 23466
36.55/6.69	c (4,0) c Promoted_winner : 2938
36.55/6.69	c (4,0) c Remove_Imp_0 : 0
36.55/6.69	c (4,0) c Remove_Imp_1 : 0
36.55/6.69	c (4,0) c Remove_Imp_2 : 0
36.55/6.69	c (4,0) c Remove_Imp_3 : 0
36.55/6.69	c (4,0) c Remove_Imp_4 : 0
36.55/6.69	c (4,0) c Remove_Imp_5 : 0
36.55/6.69	c (4,0) c Remove_Imp_6 : 0
36.55/6.69	c (4,0) c Remove_Imp_7 : 0
36.55/6.69	c (4,0) c Remove_Imp_total : 0
36.55/6.69	c (4,0) c Remove_Imp_winner : 0
36.55/6.69	c (4,0) c Blocked_Reuse_0 : 0
36.55/6.69	c (4,0) c Blocked_Reuse_1 : 0
36.55/6.69	c (4,0) c Blocked_Reuse_2 : 0
36.55/6.69	c (4,0) c Blocked_Reuse_3 : 0
36.55/6.69	c (4,0) c Blocked_Reuse_4 : 0
36.55/6.69	c (4,0) c Blocked_Reuse_5 : 0
36.55/6.69	c (4,0) c Blocked_Reuse_6 : 0
36.55/6.69	c (4,0) c Blocked_Reuse_7 : 0
36.55/6.69	c (4,0) c Blocked_Reuse_total : 0
36.55/6.69	c (4,0) c Blocked_Reuse_winner : 0
36.55/6.69	c (4,0) c Unaries_0 : 1
36.55/6.69	c (4,0) c Unaries_1 : 0
36.55/6.69	c (4,0) c Unaries_2 : 1
36.55/6.69	c (4,0) c Unaries_3 : 3
36.55/6.69	c (4,0) c Unaries_4 : 8
36.55/6.69	c (4,0) c Unaries_5 : 1
36.55/6.69	c (4,0) c Unaries_6 : 1
36.55/6.69	c (4,0) c Unaries_7 : 1
36.55/6.69	c (4,0) c Unaries_total : 16
36.55/6.69	c (4,0) c Unaries_winner : 8
36.55/6.69	c (4,0) c Binaries_0 : 9
36.55/6.69	c (4,0) c Binaries_1 : 6
36.55/6.69	c (4,0) c Binaries_2 : 15
36.55/6.69	c (4,0) c Binaries_3 : 20
36.55/6.69	c (4,0) c Binaries_4 : 32
36.55/6.69	c (4,0) c Binaries_5 : 13
36.55/6.69	c (4,0) c Binaries_6 : 13
36.55/6.69	c (4,0) c Binaries_7 : 10
36.55/6.69	c (4,0) c Binaries_total : 118
36.55/6.69	c (4,0) c Binaries_winner : 32
36.55/6.69	c (4,0) c Glues_0 : 223
36.55/6.69	c (4,0) c Glues_1 : 233
36.55/6.69	c (4,0) c Glues_2 : 235
36.55/6.69	c (4,0) c Glues_3 : 234
36.55/6.69	c (4,0) c Glues_4 : 232
36.55/6.69	c (4,0) c Glues_5 : 200
36.55/6.69	c (4,0) c Glues_6 : 254
36.55/6.69	c (4,0) c Glues_7 : 221
36.55/6.69	c (4,0) c Glues_total : 1832
36.55/6.69	c (4,0) c Glues_winner : 232
36.55/6.69	c (4,0) c RunningTime_0 : 4.001614
36.55/6.69	c (4,0) c RunningTime_1 : 3.906855
36.55/6.69	c (4,0) c RunningTime_2 : 3.879091
36.55/6.69	c (4,0) c RunningTime_3 : 3.840670
36.55/6.69	c (4,0) c RunningTime_4 : 3.837769
36.55/6.69	c (4,0) c RunningTime_5 : 3.868671
36.55/6.69	c (4,0) c RunningTime_6 : 3.837434
36.55/6.69	c (4,0) c RunningTime_7 : 3.917716
36.55/6.69	c (4,0) c RunningTime_total : 31.089820
36.55/6.69	c (4,0) c RunningTime_winner : 3.837769
36.55/6.69	c (4,0) c WaitingTime_0 : 0.000031
36.55/6.69	c (4,0) c WaitingTime_1 : 0.000033
36.55/6.69	c (4,0) c WaitingTime_2 : 0.000024
36.55/6.69	c (4,0) c WaitingTime_3 : 0.000028
36.55/6.69	c (4,0) c WaitingTime_4 : 0.000025
36.55/6.69	c (4,0) c WaitingTime_5 : 0.000029
36.55/6.69	c (4,0) c WaitingTime_6 : 0.000026
36.55/6.69	c (4,0) c WaitingTime_7 : 0.000024
36.55/6.69	c (4,0) c WaitingTime_total : 0.000219
36.55/6.69	c (4,0) c WaitingTime_winner : 0.000025
36.55/6.69	c (4,0) c ExchangingTime_0 : 0.018190
36.55/6.69	c (4,0) c ExchangingTime_1 : 0.019207
36.55/6.69	c (4,0) c ExchangingTime_2 : 0.019683
36.55/6.69	c (4,0) c ExchangingTime_3 : 0.016081
36.55/6.69	c (4,0) c ExchangingTime_4 : 0.018211
36.55/6.69	c (4,0) c ExchangingTime_5 : 0.017617
36.55/6.69	c (4,0) c ExchangingTime_6 : 0.017944
36.55/6.69	c (4,0) c ExchangingTime_7 : 0.018618
36.55/6.69	c (4,0) c ExchangingTime_total : 0.145549
36.55/6.69	c (4,0) c ExchangingTime_winner : 0.018211
36.55/6.69	c (4,0) c PeriodProcTime_0 : 0.000223
36.55/6.69	c (4,0) c PeriodProcTime_1 : 0.000286
36.55/6.69	c (4,0) c PeriodProcTime_2 : 0.000303
36.55/6.69	c (4,0) c PeriodProcTime_3 : 0.000328
36.55/6.69	c (4,0) c PeriodProcTime_4 : 0.000240
36.55/6.69	c (4,0) c PeriodProcTime_5 : 0.000302
36.55/6.69	c (4,0) c PeriodProcTime_6 : 0.000260
36.55/6.69	c (4,0) c PeriodProcTime_7 : 0.000342
36.55/6.69	c (4,0) c PeriodProcTime_total : 0.002285
36.55/6.69	c (4,0) c PeriodProcTime_winner : 0.000240
36.55/6.69	c (4,0) c SolvingTime_0 : 4.020057
36.55/6.69	c (4,0) c SolvingTime_1 : 3.926381
36.55/6.69	c (4,0) c SolvingTime_2 : 3.899100
36.55/6.69	c (4,0) c SolvingTime_3 : 3.857107
36.55/6.69	c (4,0) c SolvingTime_4 : 3.856245
36.55/6.69	c (4,0) c SolvingTime_5 : 3.886620
36.55/6.69	c (4,0) c SolvingTime_6 : 3.855663
36.55/6.69	c (4,0) c SolvingTime_7 : 3.936700
36.55/6.69	c (4,0) c SolvingTime_total : 31.237873
36.55/6.69	c (4,0) c SolvingTime_winner : 3.856245
36.55/6.69	c (4,0) c PropagationTime_0 : 3.383917
36.55/6.69	c (4,0) c PropagationTime_1 : 3.266646
36.55/6.69	c (4,0) c PropagationTime_2 : 3.260086
36.55/6.69	c (4,0) c PropagationTime_3 : 3.215969
36.55/6.69	c (4,0) c PropagationTime_4 : 3.232400
36.55/6.69	c (4,0) c PropagationTime_5 : 3.237610
36.55/6.69	c (4,0) c PropagationTime_6 : 3.153605
36.55/6.69	c (4,0) c PropagationTime_7 : 3.245866
36.55/6.69	c (4,0) c PropagationTime_total : 25.996100
36.55/6.69	c (4,0) c PropagationTime_winner : 3.232400
36.55/6.69	c (4,0) c AnalysisTime_0 : 0.488182
36.55/6.69	c (4,0) c AnalysisTime_1 : 0.516769
36.55/6.69	c (4,0) c AnalysisTime_2 : 0.487791
36.55/6.69	c (4,0) c AnalysisTime_3 : 0.490924
36.55/6.69	c (4,0) c AnalysisTime_4 : 0.474303
36.55/6.69	c (4,0) c AnalysisTime_5 : 0.499108
36.55/6.69	c (4,0) c AnalysisTime_6 : 0.550867
36.55/6.69	c (4,0) c AnalysisTime_7 : 0.539980
36.55/6.69	c (4,0) c AnalysisTime_total : 4.047924
36.55/6.69	c (4,0) c AnalysisTime_winner : 0.474303
36.55/6.69	c (4,0) c ReductionTime_0 : 0.020907
36.55/6.69	c (4,0) c ReductionTime_1 : 0.020542
36.55/6.69	c (4,0) c ReductionTime_2 : 0.020564
36.55/6.69	c (4,0) c ReductionTime_3 : 0.020071
36.55/6.69	c (4,0) c ReductionTime_4 : 0.020566
36.55/6.69	c (4,0) c ReductionTime_5 : 0.020047
36.55/6.69	c (4,0) c ReductionTime_6 : 0.021831
36.55/6.69	c (4,0) c ReductionTime_7 : 0.022847
36.55/6.69	c (4,0) c ReductionTime_total : 0.167373
36.55/6.69	c (4,0) c ReductionTime_winner : 0.020566
36.55/6.69	c (4,0) c SimplifyTime_0 : 0.002727
36.55/6.69	c (4,0) c SimplifyTime_1 : 0.000013
36.55/6.69	c (4,0) c SimplifyTime_2 : 0.003768
36.55/6.69	c (4,0) c SimplifyTime_3 : 0.003110
36.55/6.69	c (4,0) c SimplifyTime_4 : 0.003299
36.55/6.69	c (4,0) c SimplifyTime_5 : 0.003586
36.55/6.69	c (4,0) c SimplifyTime_6 : 0.001414
36.55/6.69	c (4,0) c SimplifyTime_7 : 0.003582
36.55/6.69	c (4,0) c SimplifyTime_total : 0.021499
36.55/6.69	c (4,0) c SimplifyTime_winner : 0.003299
36.55/6.69	c (4,0) c UsedRateTime_0 : 0.000000
36.55/6.69	c (4,0) c UsedRateTime_1 : 0.000000
36.55/6.69	c (4,0) c UsedRateTime_2 : 0.000000
36.55/6.69	c (4,0) c UsedRateTime_3 : 0.000000
36.55/6.69	c (4,0) c UsedRateTime_4 : 0.000000
36.55/6.69	c (4,0) c UsedRateTime_5 : 0.000000
36.55/6.69	c (4,0) c UsedRateTime_6 : 0.000000
36.69/6.70	c (4,0) c UsedRateTime_7 : 0.000000
36.69/6.70	c (4,0) c UsedRateTime_total : 0.000000
36.69/6.70	c (4,0) c UsedRateTime_winner : 0.000000
36.69/6.70	c (4,0) c OverlapRateTime_0 : 0.000000
36.69/6.70	c (4,0) c OverlapRateTime_1 : 0.000000
36.69/6.70	c (4,0) c OverlapRateTime_2 : 0.000000
36.69/6.70	c (4,0) c OverlapRateTime_3 : 0.000000
36.69/6.70	c (4,0) c OverlapRateTime_4 : 0.000000
36.69/6.70	c (4,0) c OverlapRateTime_5 : 0.000000
36.69/6.70	c (4,0) c OverlapRateTime_6 : 0.000000
36.69/6.70	c (4,0) c OverlapRateTime_7 : 0.000000
36.69/6.70	c (4,0) c OverlapRateTime_total : 0.000000
36.69/6.70	c (4,0) c OverlapRateTime_winner : 0.000000
36.69/6.70	c (4,0) c
36.69/6.70	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
36.69/6.70	c (4,0) c
36.69/6.70	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.69/6.70	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
36.69/6.70	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.69/6.70	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
36.69/6.70	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
36.69/6.70	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
36.69/6.70	c (4,0) c | Initial random_seed   | 1648190617 |  114651097 | 1257686728 | 1205470537 |  769696780 |  752896785 |  283113418 | 1633696531 |
36.69/6.70	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
36.69/6.70	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
36.69/6.70	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
36.69/6.70	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
36.69/6.70	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
36.69/6.70	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
36.69/6.70	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
36.69/6.70	c (4,0) c | var_decay             |     0.8900 |     0.8900 |     0.8900 |     0.9000 |     0.8900 |     0.8900 |     0.9000 |     0.8900 |
36.69/6.70	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
36.69/6.70	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
36.69/6.70	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
36.69/6.70	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.69/6.70	c (4,0) 
36.69/6.70	c (4,0) s UNSATISFIABLE
36.69/6.71	c (4,0) SatSolver.solve End
36.69/6.71	c (4,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
36.69/6.71	c (4,0) Show results Begin
36.69/6.71	s UNSATISFIABLE
36.69/6.71	c (4,0) Show results End
36.69/6.71	c (4,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
36.69/6.71	c (4,0) 4,4,STOP-AFTER(ALL)
36.69/6.71	c END-Prog: Wed Sep 25 01:04:15 CEST 2019

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405424-1569366289/watcher-4405424-1569366289 -o /tmp/evaluation-result-4405424-1569366289/solver-4405424-1569366289 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569361187-21157 --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-4405424-1569366289.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
solver pid=tchdog thread7.x86_64
, 
solver pid=tchdog thread7.x86_64
, 
23300, runsolver pid=23297
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 2.35 1.31 1.58 2/211 23322
/proc/meminfo: memFree=25461540/32770624 swapFree=66956532/67108860
[pid=23300] ppid=23297 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23300/stat : 23300 (scop.sh) S 23297 23300 21130 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512900221 115843072 349 33554432000 4194304 5098028 140726032699760 140726032697016 140129921520252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32190464 140726032708388 140726032708716 140726032708716 140726032711629 0
/proc/23300/statm: 28282 349 296 221 0 87 0
[pid=23303] ppid=23300 vsize=27314120 memory=106088 CPUtime=0.1 cores=0-7
/proc/23303/stat : 23303 (java) S 23300 23300 21130 0 -1 1077944320 6550 0 0 0 8 2 0 0 20 0 20 0 512900222 27969658880 26522 33554432000 4194304 4196468 140727251001616 140727250984160 139700086529783 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
/proc/23303/statm: 6828530 26522 2809 1 0 6790935 0
[pid=23303/tid=23304] ppid=23300 vsize=27314120 memory=7896951379245046935 CPUtime=0.09 cores=0-7
/proc/23303/task/23304/stat : 23304 (java) R 23300 23300 21130 0 -1 4202560 4633 0 0 0 7 2 0 0 20 0 20 0 512900222 27969658880 26522 33554432000 4194304 4196468 140727251001616 139700058333984 139700078766910 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23305] ppid=23300 vsize=27314120 memory=732370453888990181 CPUtime=0 cores=0-7
/proc/23303/task/23305/stat : 23305 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 26522 33554432000 4194304 4196468 140727251001616 139700090771728 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23306] ppid=23300 vsize=27314120 memory=140315551536768 CPUtime=0 cores=0-7
/proc/23303/task/23306/stat : 23306 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 26522 33554432000 4194304 4196468 140727251001616 139699919866256 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23307] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23307/stat : 23307 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 26522 33554432000 4194304 4196468 140727251001616 139699507595792 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23308] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23308/stat : 23308 (java) S 23300 23300 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 26522 33554432000 4194304 4196468 140727251001616 139699506543248 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23309] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23309/stat : 23309 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 26522 33554432000 4194304 4196468 140727251001616 139699505490704 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23310] ppid=23300 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23303/task/23310/stat : 23310 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 26522 33554432000 4194304 4196468 140727251001616 139699504438160 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23311] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23311/stat : 23311 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 26522 33554432000 4194304 4196468 140727251001616 139699503385616 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23312] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23312/stat : 23312 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 26522 33554432000 4194304 4196468 140727251001616 139699502333072 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23313] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23313/stat : 23313 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512900226 27969658880 26522 33554432000 4194304 4196468 140727251001616 139699077785584 139700086540930 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23314] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23314/stat : 23314 (java) S 23300 23300 21130 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512900226 27969658880 26522 33554432000 4194304 4196468 140727251001616 139698039153568 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23315] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23315/stat : 23315 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512900226 27969658880 26522 33554432000 4194304 4196468 140727251001616 139697770718192 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23316] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23316/stat : 23316 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512900229 27969658880 26522 33554432000 4194304 4196468 140727251001616 139697396209872 139700086548379 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23317] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23317/stat : 23317 (java) S 23300 23300 21130 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 512900229 27969658880 26522 33554432000 4194304 4196468 140727251001616 139699076733424 139700086540930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23318] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23318/stat : 23318 (java) S 23300 23300 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512900229 27969658880 26522 33554432000 4194304 4196468 140727251001616 139699075680880 139700086540930 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23319] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23319/stat : 23319 (java) S 23300 23300 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512900229 27969658880 26522 33554432000 4194304 4196468 140727251001616 139699074628336 139700086540930 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23320] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23320/stat : 23320 (java) S 23300 23300 21130 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 20 0 512900229 27969658880 26522 33554432000 4194304 4196468 140727251001616 139699073575792 139700086540930 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23321] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23321/stat : 23321 (java) S 23300 23300 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512900229 27969658880 26522 33554432000 4194304 4196468 140727251001616 139696898304224 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23322] ppid=23300 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23303/task/23322/stat : 23322 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512900229 27969658880 26522 33554432000 4194304 4196468 140727251001616 139699072522672 139700086540930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107484 KiB

[startup+0.210293 s]*
/proc/loadavg: 2.35 1.31 1.58 3/211 23322
/proc/meminfo: memFree=25440752/32770624 swapFree=66956532/67108860
[pid=23300] ppid=23297 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23300/stat : 23300 (scop.sh) S 23297 23300 21130 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512900221 115843072 349 33554432000 4194304 5098028 140726032699760 140726032697016 140129921520252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32190464 140726032708388 140726032708716 140726032708716 140726032711629 0
/proc/23300/statm: 28282 349 296 221 0 87 0
[pid=23303] ppid=23300 vsize=27314120 memory=125260 CPUtime=0.24 cores=0-7
/proc/23303/stat : 23303 (java) S 23300 23300 21130 0 -1 1077944320 12215 0 0 0 20 4 0 0 20 0 20 0 512900222 27969658880 31315 33554432000 4194304 4196468 140727251001616 140727250984160 139700086529783 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
/proc/23303/statm: 6828530 31315 2935 1 0 6790935 0
[pid=23303/tid=23304] ppid=23300 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/23303/task/23304/stat : 23304 (java) R 23300 23300 21130 0 -1 4202560 9883 0 0 0 16 3 0 0 20 0 20 0 512900222 27969658880 31315 33554432000 4194304 4196468 140727251001616 139700058349024 139700066805658 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23305] ppid=23300 vsize=27314120 memory=732370453888990181 CPUtime=0 cores=0-7
/proc/23303/task/23305/stat : 23305 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 31315 33554432000 4194304 4196468 140727251001616 139700090771728 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23306] ppid=23300 vsize=27314120 memory=140315551536768 CPUtime=0 cores=0-7
/proc/23303/task/23306/stat : 23306 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 31315 33554432000 4194304 4196468 140727251001616 139699919866256 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23307] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23307/stat : 23307 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 31315 33554432000 4194304 4196468 140727251001616 139699507595792 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23308] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23308/stat : 23308 (java) S 23300 23300 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 31315 33554432000 4194304 4196468 140727251001616 139699506543248 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23309] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23309/stat : 23309 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 31315 33554432000 4194304 4196468 140727251001616 139699505490704 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23310] ppid=23300 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23303/task/23310/stat : 23310 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 31315 33554432000 4194304 4196468 140727251001616 139699504438160 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23311] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23311/stat : 23311 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 31315 33554432000 4194304 4196468 140727251001616 139699503385616 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23312] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23312/stat : 23312 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 31315 33554432000 4194304 4196468 140727251001616 139699502333072 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23313] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23313/stat : 23313 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512900226 27969658880 31315 33554432000 4194304 4196468 140727251001616 139699077785584 139700086540930 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23314] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23314/stat : 23314 (java) S 23300 23300 21130 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512900226 27969658880 31315 33554432000 4194304 4196468 140727251001616 139698039153568 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23315] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23315/stat : 23315 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512900226 27969658880 31315 33554432000 4194304 4196468 140727251001616 139697770718192 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23316] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23316/stat : 23316 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512900229 27969658880 31315 33554432000 4194304 4196468 140727251001616 139697396209872 139700086548379 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23317] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23317/stat : 23317 (java) S 23300 23300 21130 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 512900229 27969658880 31315 33554432000 4194304 4196468 140727251001616 139699076733424 139700086540930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23318] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23318/stat : 23318 (java) S 23300 23300 21130 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 20 0 512900229 27969658880 31315 33554432000 4194304 4196468 140727251001616 139699075680880 139700086540930 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23319] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23319/stat : 23319 (java) S 23300 23300 21130 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 512900229 27969658880 31315 33554432000 4194304 4196468 140727251001616 139699074628336 139700086540930 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23320] ppid=23300 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/23303/task/23320/stat : 23320 (java) S 23300 23300 21130 0 -1 1077944384 492 0 0 0 2 0 0 0 20 0 20 0 512900229 27969658880 31315 33554432000 4194304 4196468 140727251001616 139699073575792 139700086540930 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23321] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23321/stat : 23321 (java) S 23300 23300 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512900229 27969658880 31315 33554432000 4194304 4196468 140727251001616 139696898304224 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23322] ppid=23300 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23303/task/23322/stat : 23322 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512900229 27969658880 31315 33554432000 4194304 4196468 140727251001616 139699072522672 139700086540930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126656 KiB

[startup+0.309546 s]*
/proc/loadavg: 2.35 1.31 1.58 2/211 23322
/proc/meminfo: memFree=25438820/32770624 swapFree=66956532/67108860
[pid=23300] ppid=23297 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23300/stat : 23300 (scop.sh) S 23297 23300 21130 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512900221 115843072 349 33554432000 4194304 5098028 140726032699760 140726032697016 140129921520252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32190464 140726032708388 140726032708716 140726032708716 140726032711629 0
/proc/23300/statm: 28282 349 296 221 0 87 0
[pid=23303] ppid=23300 vsize=27314120 memory=129164 CPUtime=0.42 cores=0-7
/proc/23303/stat : 23303 (java) S 23300 23300 21130 0 -1 1077944320 13169 0 0 0 37 5 0 0 20 0 20 0 512900222 27969658880 32291 33554432000 4194304 4196468 140727251001616 140727250984160 139700086529783 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
/proc/23303/statm: 6828530 32291 3050 1 0 6790935 0
[pid=23303/tid=23304] ppid=23300 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/23303/task/23304/stat : 23304 (java) R 23300 23300 21130 0 -1 4202560 10564 0 0 0 26 4 0 0 20 0 20 0 512900222 27969658880 32291 33554432000 4194304 4196468 140727251001616 139700058343648 139700066805607 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23305] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23305/stat : 23305 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 32291 33554432000 4194304 4196468 140727251001616 139700090771728 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23306] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23306/stat : 23306 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 32291 33554432000 4194304 4196468 140727251001616 139699919866256 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23307] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23307/stat : 23307 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 32291 33554432000 4194304 4196468 140727251001616 139699507595792 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23308] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23308/stat : 23308 (java) S 23300 23300 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 32291 33554432000 4194304 4196468 140727251001616 139699506543248 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23309] ppid=23300 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/23303/task/23309/stat : 23309 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 32291 33554432000 4194304 4196468 140727251001616 139699505490704 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23310] ppid=23300 vsize=27314120 memory=140315440804783 CPUtime=0 cores=0-7
/proc/23303/task/23310/stat : 23310 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 32291 33554432000 4194304 4196468 140727251001616 139699504438160 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23311] ppid=23300 vsize=27314120 memory=140315440807088 CPUtime=0 cores=0-7
/proc/23303/task/23311/stat : 23311 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 32291 33554432000 4194304 4196468 140727251001616 139699503385616 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23312] ppid=23300 vsize=27314120 memory=140315440809392 CPUtime=0 cores=0-7
/proc/23303/task/23312/stat : 23312 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512900224 27969658880 32291 33554432000 4194304 4196468 140727251001616 139699502333072 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23313] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23313/stat : 23313 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512900226 27969658880 32291 33554432000 4194304 4196468 140727251001616 139699077785584 139700086540930 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23314] ppid=23300 vsize=27314120 memory=280630881625744 CPUtime=0 cores=0-7
/proc/23303/task/23314/stat : 23314 (java) S 23300 23300 21130 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512900226 27969658880 32291 33554432000 4194304 4196468 140727251001616 139698039153568 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23315] ppid=23300 vsize=27314120 memory=280630881632656 CPUtime=0 cores=0-7
/proc/23303/task/23315/stat : 23315 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512900226 27969658880 32291 33554432000 4194304 4196468 140727251001616 139697770718192 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23316] ppid=23300 vsize=27314120 memory=280630881573936 CPUtime=0 cores=0-7
/proc/23303/task/23316/stat : 23316 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512900229 27969658880 32291 33554432000 4194304 4196468 140727251001616 139697396209872 139700086548379 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23317] ppid=23300 vsize=27314120 memory=280630881646480 CPUtime=0.01 cores=0-7
/proc/23303/task/23317/stat : 23317 (java) S 23300 23300 21130 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 20 0 512900229 27969658880 32291 33554432000 4194304 4196468 140727251001616 139699076733424 139700086540930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23318] ppid=23300 vsize=27314120 memory=280630881653392 CPUtime=0 cores=0-7
/proc/23303/task/23318/stat : 23318 (java) S 23300 23300 21130 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 512900229 27969658880 32291 33554432000 4194304 4196468 140727251001616 139699075680880 139700086540930 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23319] ppid=23300 vsize=27314120 memory=280630881651088 CPUtime=0 cores=0-7
/proc/23303/task/23319/stat : 23319 (java) S 23300 23300 21130 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 20 0 512900229 27969658880 32291 33554432000 4194304 4196468 140727251001616 139699074628336 139700086540930 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23320] ppid=23300 vsize=27314120 memory=280630881667248 CPUtime=0.07 cores=0-7
/proc/23303/task/23320/stat : 23320 (java) S 23300 23300 21130 0 -1 1077944384 593 0 0 0 7 0 0 0 20 0 20 0 512900229 27969658880 32291 33554432000 4194304 4196468 140727251001616 139699073575792 139700086540930 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23321] ppid=23300 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23303/task/23321/stat : 23321 (java) S 23300 23300 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512900229 27969658880 32291 33554432000 4194304 4196468 140727251001616 139696898304224 139700086539989 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23322] ppid=23300 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23303/task/23322/stat : 23322 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512900229 27969658880 32291 33554432000 4194304 4196468 140727251001616 139699072522672 139700086540930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130560 KiB

[startup+0.700936 s]
/proc/loadavg: 2.35 1.31 1.58 3/211 23322
/proc/meminfo: memFree=25418184/32770624 swapFree=66956532/67108860
[pid=23300] ppid=23297 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23300/stat : 23300 (scop.sh) S 23297 23300 21130 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512900221 115843072 349 33554432000 4194304 5098028 140726032699760 140726032697016 140129921520252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32190464 140726032708388 140726032708716 140726032708716 140726032711629 0
/proc/23300/statm: 28282 349 296 221 0 87 0
[pid=23303] ppid=23300 vsize=27322440 memory=164636 CPUtime=0.97 cores=0-7
/proc/23303/stat : 23303 (java) S 23300 23300 21130 0 -1 1077944320 20275 0 0 0 90 7 0 0 20 0 20 0 512900222 27978178560 41159 33554432000 4194304 4196468 140727251001616 140727250984160 139700086529783 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
/proc/23303/statm: 6830610 41159 3184 1 0 6791959 0
[pid=23303/tid=23304] ppid=23300 vsize=27322440 memory=280630881962176 CPUtime=0.67 cores=0-7
/proc/23303/task/23304/stat : 23304 (java) R 23300 23300 21130 0 -1 4202560 17075 0 0 0 62 5 0 0 20 0 20 0 512900222 27978178560 41159 33554432000 4194304 4196468 140727251001616 139700058366560 139700070610270 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23305] ppid=23300 vsize=27322440 memory=1560 CPUtime=0 cores=0-7
/proc/23303/task/23305/stat : 23305 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512900224 27978178560 41159 33554432000 4194304 4196468 140727251001616 139700090771728 139700086539989 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140727251010282 140727251010710 140727251010710 140727251013583 0
[pid=23303/tid=23306] ppid=23300 vsize=27322440 memory=976 CPUtime=0 cores=0-7

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

/proc/23323/task/23329/stat : 23329 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512900414 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643955689744 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23330] ppid=23300 vsize=8414124 memory=1724 CPUtime=0 cores=0-7
/proc/23323/task/23330/stat : 23330 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512900414 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643954637200 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23331] ppid=23300 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/23323/task/23331/stat : 23331 (java) S 23300 23300 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512900414 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643953584656 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23332] ppid=23300 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/23323/task/23332/stat : 23332 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512900414 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643952532112 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23333] ppid=23300 vsize=8414124 memory=4340 CPUtime=0 cores=0-7
/proc/23323/task/23333/stat : 23333 (java) S 23300 23300 21130 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512900416 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643701053936 139644473350786 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23334] ppid=23300 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/23323/task/23334/stat : 23334 (java) S 23300 23300 21130 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512900416 8616062976 29429 33554432000 4194304 4196468 140722862113008 139642942776736 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23335] ppid=23300 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/23323/task/23335/stat : 23335 (java) S 23300 23300 21130 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512900417 8616062976 29429 33554432000 4194304 4196468 140722862113008 139642808554992 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23336] ppid=23300 vsize=8414124 memory=2704 CPUtime=0 cores=0-7
/proc/23323/task/23336/stat : 23336 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512900419 8616062976 29429 33554432000 4194304 4196468 140722862113008 139642434050768 139644473358235 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23337] ppid=23300 vsize=8414124 memory=1476 CPUtime=0.05 cores=0-7
/proc/23323/task/23337/stat : 23337 (java) S 23300 23300 21130 0 -1 1077944384 521 0 0 0 5 0 0 0 20 0 24 0 512900419 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643700000752 139644473350786 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23338] ppid=23300 vsize=8414124 memory=117716 CPUtime=0.06 cores=0-7
/proc/23323/task/23338/stat : 23338 (java) S 23300 23300 21130 0 -1 1077944384 387 0 0 0 6 0 0 0 20 0 24 0 512900419 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643698948208 139644473350786 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23339] ppid=23300 vsize=8414124 memory=3689487949083338852 CPUtime=0.04 cores=0-7
/proc/23323/task/23339/stat : 23339 (java) S 23300 23300 21130 0 -1 1077944384 260 0 0 0 4 0 0 0 20 0 24 0 512900419 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643697895664 139644473350786 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23340] ppid=23300 vsize=8414124 memory=280630882300864 CPUtime=0.18 cores=0-7
/proc/23323/task/23340/stat : 23340 (java) S 23300 23300 21130 0 -1 1077944384 490 0 0 0 18 0 0 0 20 0 24 0 512900419 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643696843120 139644473350786 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23341] ppid=23300 vsize=8414124 memory=280630882300928 CPUtime=0 cores=0-7
/proc/23323/task/23341/stat : 23341 (java) S 23300 23300 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512900419 8616062976 29429 33554432000 4194304 4196468 140722862113008 139641936145120 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23342] ppid=23300 vsize=8414124 memory=280630882300992 CPUtime=0 cores=0-7
/proc/23323/task/23342/stat : 23342 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512900420 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643695791024 139644473350786 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23344] ppid=23300 vsize=8414124 memory=280630882301056 CPUtime=0 cores=0-7
/proc/23323/task/23344/stat : 23344 (java) S 23300 23300 21130 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512900484 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643687757504 139644473364249 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23346] ppid=23300 vsize=8414124 memory=280630882301120 CPUtime=0 cores=0-7
/proc/23323/task/23346/stat : 23346 (java) S 23300 23300 21130 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 512900484 8616062976 29429 33554432000 4194304 4196468 140722862113008 139641265044752 139644473361565 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23347] ppid=23300 vsize=8414124 memory=280630882301184 CPUtime=0 cores=0-7
/proc/23323/task/23347/stat : 23347 (java) S 23300 23300 21130 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 512900484 8616062976 29429 33554432000 4194304 4196468 140722862113008 139641533480336 139644473361565 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23353] ppid=23300 vsize=8414124 memory=280630882301248 CPUtime=0 cores=0-7
/proc/23323/task/23353/stat : 23353 (java) S 23300 23300 21130 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512900487 8616062976 29429 33554432000 4194304 4196468 140722862113008 139640996617392 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
Current children cumulated CPU time: 35.34 s
Current children cumulated vsize: 9209308 KiB
Current children cumulated memory: 257416 KiB

[startup+6.60144 s]
/proc/loadavg: 2.81 1.42 1.62 9/224 23356
/proc/meminfo: memFree=25318616/32770624 swapFree=66956532/67108860
[pid=23300] ppid=23297 vsize=113128 memory=1476 CPUtime=4.37 cores=0-7
/proc/23300/stat : 23300 (scop.sh) S 23297 23300 21130 0 -1 4202496 581 26942 0 0 0 0 423 14 20 0 1 0 512900221 115843072 369 33554432000 4194304 5098028 140726032699760 140726032696504 140129921520252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32190464 140726032708388 140726032708716 140726032708716 140726032711629 0
/proc/23300/statm: 28282 369 311 221 0 87 0
[pid=23323] ppid=23300 vsize=8414124 memory=117716 CPUtime=1.12 cores=0-7
/proc/23323/stat : 23323 (java) S 23300 23300 21130 0 -1 1077944320 19475 0 0 0 105 7 0 0 20 0 24 0 512900413 8616062976 29429 33554432000 4194304 4196468 140722862113008 140722862095552 139644473339639 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
/proc/23323/statm: 2103531 29429 3199 1 0 2064875 0
[pid=23343] ppid=23323 vsize=682056 memory=137748 CPUtime=31.06 cores=0-7
/proc/23343/stat : 23343 (manyglucose-4.1) S 23323 23300 21130 0 -1 1077944320 49146 0 0 0 3095 11 0 0 20 0 2 0 512900484 698425344 34437 33554432000 4194304 4454172 140725964301504 140725964299888 140384099712759 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 21700608 140725964309353 140725964309552 140725964309552 140725964312506 0
/proc/23343/statm: 170514 34437 417 64 0 166182 0
[pid=23343/tid=23348] ppid=23323 vsize=682056 memory=2209 CPUtime=3.94 cores=0-7
/proc/23343/task/23348/stat : 23348 (manyglucose-4.1) R 23323 23300 21130 0 -1 4202560 5920 0 0 0 393 1 0 0 20 0 2 0 512900486 698425344 34437 33554432000 4194304 4454172 140725964301504 140384084495464 4351502 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 21700608 140725964309353 140725964309552 140725964309552 140725964312506 0
[pid=23323/tid=23324] ppid=23300 vsize=8414124 memory=924 CPUtime=0.74 cores=0-7
/proc/23323/task/23324/stat : 23324 (java) S 23300 23300 21130 0 -1 1077944384 16395 0 0 0 69 5 0 0 20 0 24 0 512900413 8616062976 29429 33554432000 4194304 4196468 140722862113008 139644445179808 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23325] ppid=23300 vsize=8414124 memory=1420 CPUtime=0 cores=0-7
/proc/23323/task/23325/stat : 23325 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512900414 8616062976 29429 33554432000 4194304 4196468 140722862113008 139644477582096 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23326] ppid=23300 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/23323/task/23326/stat : 23326 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512900414 8616062976 29429 33554432000 4194304 4196468 140722862113008 139644286143376 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23327] ppid=23300 vsize=8414124 memory=2532 CPUtime=0 cores=0-7
/proc/23323/task/23327/stat : 23327 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512900414 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643957795856 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23328] ppid=23300 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/23323/task/23328/stat : 23328 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512900414 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643956743312 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23329] ppid=23300 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/23323/task/23329/stat : 23329 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512900414 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643955689744 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23330] ppid=23300 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/23323/task/23330/stat : 23330 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512900414 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643954637200 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23331] ppid=23300 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/23323/task/23331/stat : 23331 (java) S 23300 23300 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512900414 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643953584656 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23332] ppid=23300 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/23323/task/23332/stat : 23332 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512900414 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643952532112 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23333] ppid=23300 vsize=8414124 memory=1724 CPUtime=0 cores=0-7
/proc/23323/task/23333/stat : 23333 (java) S 23300 23300 21130 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512900416 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643701053936 139644473350786 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23334] ppid=23300 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/23323/task/23334/stat : 23334 (java) S 23300 23300 21130 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512900416 8616062976 29429 33554432000 4194304 4196468 140722862113008 139642942776736 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23335] ppid=23300 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/23323/task/23335/stat : 23335 (java) S 23300 23300 21130 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512900417 8616062976 29429 33554432000 4194304 4196468 140722862113008 139642808554992 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23336] ppid=23300 vsize=8414124 memory=4340 CPUtime=0 cores=0-7
/proc/23323/task/23336/stat : 23336 (java) S 23300 23300 21130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512900419 8616062976 29429 33554432000 4194304 4196468 140722862113008 139642434050768 139644473358235 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23337] ppid=23300 vsize=8414124 memory=4108 CPUtime=0.05 cores=0-7
/proc/23323/task/23337/stat : 23337 (java) S 23300 23300 21130 0 -1 1077944384 521 0 0 0 5 0 0 0 20 0 24 0 512900419 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643700000752 139644473350786 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23338] ppid=23300 vsize=8414124 memory=1412 CPUtime=0.06 cores=0-7
/proc/23323/task/23338/stat : 23338 (java) S 23300 23300 21130 0 -1 1077944384 387 0 0 0 6 0 0 0 20 0 24 0 512900419 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643698948208 139644473350786 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23339] ppid=23300 vsize=8414124 memory=2592 CPUtime=0.04 cores=0-7
/proc/23323/task/23339/stat : 23339 (java) S 23300 23300 21130 0 -1 1077944384 260 0 0 0 4 0 0 0 20 0 24 0 512900419 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643697895664 139644473350786 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23340] ppid=23300 vsize=8414124 memory=1476 CPUtime=0.18 cores=0-7
/proc/23323/task/23340/stat : 23340 (java) S 23300 23300 21130 0 -1 1077944384 490 0 0 0 18 0 0 0 20 0 24 0 512900419 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643696843120 139644473350786 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23341] ppid=23300 vsize=8414124 memory=117716 CPUtime=0 cores=0-7
/proc/23323/task/23341/stat : 23341 (java) S 23300 23300 21130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512900419 8616062976 29429 33554432000 4194304 4196468 140722862113008 139641936145120 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23342] ppid=23300 vsize=8414124 memory=63076 CPUtime=0 cores=0-7
/proc/23323/task/23342/stat : 23342 (java) S 23300 23300 21130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512900420 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643695791024 139644473350786 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23344] ppid=23300 vsize=8414124 memory=7686721470283946134 CPUtime=0 cores=0-7
/proc/23323/task/23344/stat : 23344 (java) S 23300 23300 21130 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512900484 8616062976 29429 33554432000 4194304 4196468 140722862113008 139643687757504 139644473364249 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23346] ppid=23300 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23323/task/23346/stat : 23346 (java) S 23300 23300 21130 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 512900484 8616062976 29429 33554432000 4194304 4196468 140722862113008 139641265044752 139644473361565 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23347] ppid=23300 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23323/task/23347/stat : 23347 (java) S 23300 23300 21130 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 512900484 8616062976 29429 33554432000 4194304 4196468 140722862113008 139641533480336 139644473361565 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23353] ppid=23300 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23323/task/23353/stat : 23353 (java) S 23300 23300 21130 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512900487 8616062976 29429 33554432000 4194304 4196468 140722862113008 139640996617392 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
Current children cumulated CPU time: 36.55 s
Current children cumulated vsize: 9209308 KiB
Current children cumulated memory: 256940 KiB

[startup+6.70116 s]
/proc/loadavg: 2.81 1.42 1.62 9/224 23356
/proc/meminfo: memFree=25318616/32770624 swapFree=66956532/67108860
[pid=23300] ppid=23297 vsize=113128 memory=1476 CPUtime=4.37 cores=0-7
/proc/23300/stat : 23300 (scop.sh) S 23297 23300 21130 0 -1 4202496 581 26942 0 0 0 0 423 14 20 0 1 0 512900221 115843072 369 33554432000 4194304 5098028 140726032699760 140726032696504 140129921520252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32190464 140726032708388 140726032708716 140726032708716 140726032711629 0
/proc/23300/statm: 28282 369 311 221 0 87 0
[pid=23323] ppid=23300 vsize=8415148 memory=123396 CPUtime=32.32 cores=0-7
/proc/23323/stat : 23323 (java) S 23300 23300 21130 0 -1 1077944320 20879 49165 0 0 110 8 3102 12 20 0 23 0 512900413 8617111552 30783 33554432000 4194304 4196468 140722862113008 140722862095552 139644473339639 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
/proc/23323/statm: 2103787 30783 3200 1 0 2065131 0
[pid=23323/tid=23324] ppid=23300 vsize=8415148 memory=117716 CPUtime=31.88 cores=0-7
/proc/23323/task/23324/stat : 23324 (java) S 23300 23300 21130 0 -1 1077944384 16395 49165 0 0 69 5 3102 12 20 0 23 0 512900413 8617111552 30849 33554432000 4194304 4196468 140722862113008 139644445179808 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23325] ppid=23300 vsize=8415148 memory=139104 CPUtime=31.14 cores=0-7
/proc/23323/task/23325/stat : 23325 (java) S 23300 23300 21130 0 -1 1077944384 1 49165 0 0 0 0 3102 12 20 0 23 0 512900414 8617111552 30849 33554432000 4194304 4196468 140722862113008 139644477582096 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23326] ppid=23300 vsize=8415148 memory=0 CPUtime=31.14 cores=0-7
/proc/23323/task/23326/stat : 23326 (java) S 23300 23300 21130 0 -1 1077944384 2 49165 0 0 0 0 3102 12 20 0 23 0 512900414 8617111552 30849 33554432000 4194304 4196468 140722862113008 139644286143376 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23327] ppid=23300 vsize=8415148 memory=0 CPUtime=31.14 cores=0-7
/proc/23323/task/23327/stat : 23327 (java) S 23300 23300 21130 0 -1 1077944384 1 49165 0 0 0 0 3102 12 20 0 23 0 512900414 8617111552 30849 33554432000 4194304 4196468 140722862113008 139643957795856 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23328] ppid=23300 vsize=8415148 memory=63 CPUtime=31.14 cores=0-7
/proc/23323/task/23328/stat : 23328 (java) S 23300 23300 21130 0 -1 1077944384 1 49165 0 0 0 0 3102 12 20 0 23 0 512900414 8617111552 30849 33554432000 4194304 4196468 140722862113008 139643956743312 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23329] ppid=23300 vsize=8415148 memory=63 CPUtime=31.14 cores=0-7
/proc/23323/task/23329/stat : 23329 (java) S 23300 23300 21130 0 -1 1077944384 2 49165 0 0 0 0 3102 12 20 0 23 0 512900414 8617111552 30849 33554432000 4194304 4196468 140722862113008 139643955689744 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23330] ppid=23300 vsize=8415148 memory=64 CPUtime=31.14 cores=0-7
/proc/23323/task/23330/stat : 23330 (java) S 23300 23300 21130 0 -1 1077944384 2 49165 0 0 0 0 3102 12 20 0 23 0 512900414 8617111552 30849 33554432000 4194304 4196468 140722862113008 139643954637200 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23331] ppid=23300 vsize=8415148 memory=7686721470283946134 CPUtime=31.14 cores=0-7
/proc/23323/task/23331/stat : 23331 (java) S 23300 23300 21130 0 -1 1077944384 3 49165 0 0 0 0 3102 12 20 0 23 0 512900414 8617111552 30849 33554432000 4194304 4196468 140722862113008 139643953584656 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23332] ppid=23300 vsize=8415148 memory=1328 CPUtime=31.14 cores=0-7
/proc/23323/task/23332/stat : 23332 (java) S 23300 23300 21130 0 -1 1077944384 1 49165 0 0 0 0 3102 12 20 0 23 0 512900414 8617111552 30849 33554432000 4194304 4196468 140722862113008 139643952532112 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23333] ppid=23300 vsize=8415148 memory=1560 CPUtime=31.14 cores=0-7
/proc/23323/task/23333/stat : 23333 (java) S 23300 23300 21130 0 -1 1077944384 5 49165 0 0 0 0 3102 12 20 0 23 0 512900416 8617111552 30849 33554432000 4194304 4196468 140722862113008 139643701053936 139644473350786 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23334] ppid=23300 vsize=8415148 memory=0 CPUtime=31.14 cores=0-7
/proc/23323/task/23334/stat : 23334 (java) S 23300 23300 21130 0 -1 1077944384 13 49165 0 0 0 0 3102 12 20 0 23 0 512900416 8617111552 30849 33554432000 4194304 4196468 140722862113008 139642942776736 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23335] ppid=23300 vsize=8415148 memory=0 CPUtime=31.14 cores=0-7
/proc/23323/task/23335/stat : 23335 (java) S 23300 23300 21130 0 -1 1077944384 21 49165 0 0 0 0 3102 12 20 0 23 0 512900417 8617111552 30849 33554432000 4194304 4196468 140722862113008 139642808554992 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23336] ppid=23300 vsize=8415148 memory=0 CPUtime=31.14 cores=0-7
/proc/23323/task/23336/stat : 23336 (java) S 23300 23300 21130 0 -1 1077944384 1 49165 0 0 0 0 3102 12 20 0 23 0 512900419 8617111552 30849 33554432000 4194304 4196468 140722862113008 139642434050768 139644473358235 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23337] ppid=23300 vsize=8415148 memory=2209 CPUtime=31.19 cores=0-7
/proc/23323/task/23337/stat : 23337 (java) S 23300 23300 21130 0 -1 1077944384 525 49165 0 0 5 0 3102 12 20 0 23 0 512900419 8617111552 30849 33554432000 4194304 4196468 140722862113008 139643700000752 139644473350786 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23338] ppid=23300 vsize=8415148 memory=37700 CPUtime=31.2 cores=0-7
/proc/23323/task/23338/stat : 23338 (java) S 23300 23300 21130 0 -1 1077944384 389 49165 0 0 6 0 3102 12 20 0 23 0 512900419 8617111552 30849 33554432000 4194304 4196468 140722862113008 139643698948208 139644473350786 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23339] ppid=23300 vsize=8415148 memory=0 CPUtime=31.19 cores=0-7
/proc/23323/task/23339/stat : 23339 (java) S 23300 23300 21130 0 -1 1077944384 264 49165 0 0 5 0 3102 12 20 0 23 0 512900419 8617111552 30849 33554432000 4194304 4196468 140722862113008 139643697895664 139644473350786 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23340] ppid=23300 vsize=8415148 memory=280630881619488 CPUtime=31.34 cores=0-7
/proc/23323/task/23340/stat : 23340 (java) S 23300 23300 21130 0 -1 1077944384 529 49165 0 0 20 0 3102 12 20 0 23 0 512900419 8617111552 30849 33554432000 4194304 4196468 140722862113008 139643696843120 139644473350786 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23341] ppid=23300 vsize=8415148 memory=7161681509184066386 CPUtime=31.14 cores=0-7
/proc/23323/task/23341/stat : 23341 (java) S 23300 23300 21130 0 -1 1077944384 3 49165 0 0 0 0 3102 12 20 0 23 0 512900419 8617111552 30849 33554432000 4194304 4196468 140722862113008 139641936145120 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23342] ppid=23300 vsize=8415148 memory=7161681509184066386 CPUtime=31.14 cores=0-7
/proc/23323/task/23342/stat : 23342 (java) S 23300 23300 21130 0 -1 1077944384 2 49165 0 0 0 0 3102 12 20 0 23 0 512900420 8617111552 30849 33554432000 4194304 4196468 140722862113008 139643695791024 139644473350786 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23344] ppid=23300 vsize=8415148 memory=7161681509184066386 CPUtime=31.14 cores=0-7
/proc/23323/task/23344/stat : 23344 (java) S 23300 23300 21130 0 -1 1077944384 25 49165 0 0 0 0 3102 12 20 0 23 0 512900484 8617111552 30849 33554432000 4194304 4196468 140722862113008 139643687756688 139644473350786 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23346] ppid=23300 vsize=8415148 memory=200428943881800 CPUtime=31.16 cores=0-7
/proc/23323/task/23346/stat : 23346 (java) R 23300 23300 21130 0 -1 4202560 1434 49165 0 0 2 0 3102 12 20 0 23 0 512900484 8617111552 30849 33554432000 4194304 4196468 140722862113008 139641265039376 139644466019357 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
[pid=23323/tid=23353] ppid=23300 vsize=8415148 memory=6944656592455360604 CPUtime=31.14 cores=0-7
/proc/23323/task/23353/stat : 23353 (java) S 23300 23300 21130 0 -1 1077944384 9 49165 0 0 0 0 3102 12 20 0 23 0 512900487 8617111552 30849 33554432000 4194304 4196468 140722862113008 139640996617152 139644473349845 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722862117879 140722862118038 140722862118038 140722862120911 0
Current children cumulated CPU time: 36.69 s
Current children cumulated vsize: 8528276 KiB
Current children cumulated memory: 124872 KiB

Child status: 0
Real time (s): 6.73212
CPU time (s): 36.7579
CPU user time (s): 36.3916
CPU system time (s): 0.366243
CPU usage (%): 546.008
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 287128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.3916
system time used= 0.366243
maximum resident set size= 286116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98336
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= 8285
involuntary context switches= 404


# summary of solver processes directly reported to runsolver:
#   pid: 23300
#   total CPU time (s): 36.7579
#   total CPU user time (s): 36.3916
#   total CPU system time (s): 0.366243

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.073574 second user time and 0.131053 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-25 01:04:08
IDJOB=4405424
IDBENCH=141744
IDSOLVER=2868
FILE ID=node151/4405424-1569366289
RUNJOBID= node151-1569361187-21157
PBS_JOBID= 21705125
Free space on /tmp= 12412 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
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-4405424-1569366289/watcher-4405424-1569366289 -o /tmp/evaluation-result-4405424-1569366289/solver-4405424-1569366289 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569361187-21157 --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-4405424-1569366289.xml

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

MD5SUM BENCH= 30a2df13e8a589268a4af4fb67fb8cf0
RANDOM SEED=1566192689

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25557704 kB
MemAvailable:   31795216 kB
Buffers:           69960 kB
Cached:          6356308 kB
SwapCached:        50712 kB
Active:          2694112 kB
Inactive:        3787564 kB
Active(anon):       4516 kB
Inactive(anon):   106024 kB
Active(file):    2689596 kB
Inactive(file):  3681540 kB
Unevictable:      108536 kB
Mlocked:          108536 kB
SwapTotal:      67108860 kB
SwapFree:       66956532 kB
Dirty:             20888 kB
Writeback:             0 kB
AnonPages:        116024 kB
Mapped:            54432 kB
Shmem:             45996 kB
Slab:             323008 kB
SReclaimable:     294836 kB
SUnreclaim:        28172 kB
KernelStack:        3568 kB
PageTables:         5964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 12392 MiB
End job on node151 at 2019-09-25 01:04:15