Trace number 4405531

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 196.008 28.3615

General information on the benchmark

NameLangford/Langford-m1-k4/
Langford-4-15.xml
MD5SUMbb1ed06e96cb498235a61544b90f533b
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 benchmark22.3936
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints46
Number of domains1
Minimum domain size60
Maximum domain size60
Distribution of domain sizes[{"size":60,"count":60}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":30},{"degree":3,"count":30}]
Minimum constraint arity2
Maximum constraint arity60
Distribution of constraint arities[{"arity":2,"count":45},{"arity":60,"count":1}]
Number of extensional constraints0
Number of intensional constraints45
Distribution of constraint types[{"type":"intension","count":45},{"type":"allDifferent","count":1}]
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-6283-serial-file.bin HOME/instance-4405531-1569242405.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Mon Sep 23 14:39:25 CEST 2019
0.66/0.56	c PID: 6286
0.66/0.56	c IP: 172.20.3.127
0.66/0.56	c HOST: node127.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.20/0.89	c (0,0) Parsing End
1.20/0.90	c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 46 ctr, max domain size 60
1.20/0.90	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.90	c (0,0) Constraint Name Generate Begin
1.20/0.90	c (0,0) Ctr:HOME/instance-4405531-1569242405.xml,Add:AllDifferent:Eq:Num:Var
1.20/0.90	c (0,0) Constraint Name Generate End
1.20/0.90	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.90	c (0,0) CSP to CSPinCNF Begin
2.51/1.39	c (0,0) translated 5 (10%) constraints
2.51/1.39	c (0,0) translated 10 (20%) constraints
2.51/1.39	c (0,0) translated 14 (30%) constraints
2.51/1.40	c (0,0) translated 19 (40%) constraints
2.51/1.40	c (0,0) translated 23 (50%) constraints
2.87/1.40	c (0,0) translated 28 (60%) constraints
2.87/1.40	c (0,0) translated 33 (70%) constraints
2.87/1.40	c (0,0) translated 37 (80%) constraints
2.87/1.40	c (0,0) translated 42 (90%) constraints
2.87/1.40	c (0,0) translated 46 (100%) constraints
2.87/1.40	c (0,0) ===========================================
2.87/1.43	c (0,0) Hybrid: #OE=60, #LE=0
2.87/1.43	c (0,0) Hybrid
2.87/1.43	c (0,0) ===========================================
2.87/1.46	c (0,0) translated 188 (10%) constraints
2.87/1.48	c (0,0) translated 376 (20%) constraints
2.87/1.50	c (0,0) translated 564 (30%) constraints
3.26/1.51	c (0,0) translated 751 (40%) constraints
3.26/1.52	c (0,0) translated 939 (50%) constraints
3.26/1.53	c (0,0) translated 1127 (60%) constraints
3.26/1.55	c (1,0) translated 1314 (70%) constraints
3.26/1.56	c (1,1) translated 1502 (80%) constraints
3.26/1.57	c (1,1) translated 1690 (90%) constraints
4.75/1.92	c (1,1) translated 1877 (100%) constraints
4.75/1.93	c (1,1) CSP to CSPinCNF End
4.75/1.93	c (1,1) CSP: 60 int (0 aux), 3600 bool (3600 aux), 9122 ctr, max domain size 56
4.75/1.93	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.75/1.93	c (1,1) CSPinCNF Propagation Begin
5.62/2.13	c (1,1) 1485 values, 3177 unsatisfiable literals, and 3197 valid clauses are removed
5.62/2.13	c (1,1) CSPinCNF Propagation End
5.62/2.13	c (1,1) CSP: 60 int (0 aux), 3600 bool (3600 aux), 5925 ctr, max domain size 56
5.62/2.13	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.62/2.14	c (1,1) Hybrid: #OE=3660, #LE=0
5.62/2.14	c (1,1) Simplify CSPinCNF Begin
6.01/2.26	c (1,1) Simplify CSPinCNF End
6.01/2.26	c (1,1) CSP: 60 int (0 aux), 6906 bool (6906 aux), 9231 ctr, max domain size 56
6.01/2.26	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.01/2.26	c (1,1) Calculate Precise Domain Begin
6.01/2.26	c (1,1) 0 values are removed by re-calculation
6.01/2.26	c (1,1) Calculate Precise Domain End
6.01/2.26	c (1,1) CSP: 60 int (0 aux), 6906 bool (6906 aux), 9231 ctr, max domain size 56
6.01/2.26	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.01/2.26	c (1,1) CSPinCNF to SatSolver Begin
7.73/2.62	c (2,2) 924 (10 %) CSP clauses are encoded (0 SAT variables, 21889 SAT clauses)
8.14/2.74	c (2,2) 1847 (20 %) CSP clauses are encoded (0 SAT variables, 36906 SAT clauses)
8.55/2.84	c (2,2) 2770 (30 %) CSP clauses are encoded (0 SAT variables, 52317 SAT clauses)
8.95/2.91	c (2,2) 3693 (40 %) CSP clauses are encoded (0 SAT variables, 63859 SAT clauses)
8.95/2.99	c (2,2) 4616 (50 %) CSP clauses are encoded (0 SAT variables, 78586 SAT clauses)
9.20/3.02	c (2,2) 5539 (60 %) CSP clauses are encoded (0 SAT variables, 84791 SAT clauses)
9.20/3.03	c (2,2) 6462 (70 %) CSP clauses are encoded (0 SAT variables, 85714 SAT clauses)
9.20/3.04	c (2,2) 7385 (80 %) CSP clauses are encoded (0 SAT variables, 86637 SAT clauses)
9.20/3.05	c (2,2) 8308 (90 %) CSP clauses are encoded (0 SAT variables, 87560 SAT clauses)
9.20/3.07	c (2,2) 9231 (100 %) CSP clauses are encoded (0 SAT variables, 91278 SAT clauses)
9.20/3.07	c (2,2) CSPinCNF to SatSolver End
9.20/3.07	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.20/3.07	c (2,2) 7476 bool, 91289 clause
9.20/3.07	c (2,2) Export Begin
9.44/3.15	c (2,2) Export to HOME/scop-6283-serial-file.bin
9.44/3.15	c (2,2) Export End
9.44/3.15	c (2,2) Export File Size: 0.01 MB
9.44/3.15	c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
9.44/3.15	c END-Prog: Mon Sep 23 14:39:28 CEST 2019
9.44/3.17	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6283-serial-file.bin
9.56/3.63	c (0,0) Read Serial File Begin
9.56/3.63	c (0,0) HOME/scop-6283-serial-file.bin
9.56/3.83	c (0,0) Read Serial File End
9.56/3.84	
9.56/3.84	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
9.56/3.84	(Solving Process)
9.56/3.84	
9.56/3.86	c BEGIN-Prog: Mon Sep 23 14:39:28 CEST 2019
9.56/3.86	c PID: 6306
9.56/3.86	c IP: 172.20.3.127
9.56/3.86	c HOST: node127.alineos.net
9.56/3.86	c (0,0) SatSolver.solve Begin
9.56/3.86	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405531-1569242405.xml-scop-6286.cnf
9.56/3.89	c (0,0) c
9.56/3.89	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)
9.56/3.89	c (0,0) c
9.56/3.89	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
9.56/3.89	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
9.56/3.89	c (0,0) c ========================================[ Problem Statistics ]===========================================
9.56/3.89	c (0,0) c |                                                                                                       |
9.56/3.92	c (0,0) c |  Number of variables:          7476                                                                   |
9.56/3.92	c (0,0) c |  Number of clauses:           91274                                                                   |
9.56/3.92	c (0,0) c |  Parse time:                   0.03 s                                                                 |
9.56/3.92	c (0,0) c |                                                                                                       |
9.56/4.00	c (0,0) c |  Simplification time:          0.08 s                                                                 |
9.56/4.00	c (0,0) c |                                                                                                       |
9.56/4.00	c (0,0) c |  Generating clones                                                                                    |
10.80/4.03	c (0,0) c |  all clones generated. Memory =    76.40Mb.                                                           |
10.80/4.03	c (0,0) c ========================================================================================================|
10.80/4.03	c (0,0) c
10.80/4.03	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
10.80/4.03	c (0,0) c
10.80/4.03	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
10.80/4.03	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
10.80/4.03	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
10.80/4.03	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
10.80/4.03	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
10.80/4.03	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
10.80/4.03	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
10.80/4.03	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
10.80/4.03	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
10.80/4.03	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
10.80/4.03	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
10.80/4.03	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
10.80/4.03	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
10.80/4.03	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
10.80/4.03	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
10.80/4.03	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
10.80/4.03	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
10.80/4.03	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
10.80/4.03	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.88/28.32	c (24,0) c
195.88/28.32	c (24,0) c real time : 24.4292 s
195.88/28.32	c (24,0) c cpu time  : 184.816 s
195.88/28.32	c (24,0) c
195.88/28.32	c (24,0) c
195.88/28.32	c (24,0) c
195.88/28.32	c (24,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
195.88/28.32	c (24,0) c
195.88/28.32	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.88/28.32	c (24,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
195.88/28.32	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.88/28.32	c (24,0) c | Conflicts     |          516598 |      64526 |      64487 |      63458 |      64075 |      64606 |      64907 |      65859 |      64680 |
195.88/28.32	c (24,0) c | Decisions     |          969594 |     120442 |     121076 |     117857 |     122247 |     121107 |     120538 |     123001 |     123326 |
195.88/28.32	c (24,0) c | Propagations  |       306600518 |   38262607 |   38333785 |   37708616 |   38513849 |   38194204 |   38269278 |   38577563 |   38740616 |
195.88/28.32	c (24,0) c | ReduceDBs     |              48 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |
195.88/28.32	c (24,0) c | SimpDBs       |             171 |         23 |         22 |         19 |         21 |         21 |         23 |         21 |         21 |
195.88/28.32	c (24,0) c | Restarts      |            1381 |        157 |        148 |        178 |        187 |        152 |        187 |        196 |        176 |
195.88/28.32	c (24,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
195.88/28.32	c (24,0) c | PropBinClauses|       968934720 |  122062066 |  120737898 |  120488492 |  120758926 |  121018901 |  120352661 |  121607344 |  121908432 |
195.88/28.32	c (24,0) c | PropPreBlocker|      4939804103 |  615675595 |  614260697 |  613829629 |  616051975 |  615949537 |  618979712 |  620096636 |  624960322 |
195.88/28.32	c (24,0) c | PropNotBlocker|      1378739477 |  172069410 |  172727927 |  172064158 |  173752338 |  174594964 |  171374819 |  171257072 |  170898789 |
195.88/28.32	c (24,0) c | LitFullScans  |      9144039281 | 1134167127 | 1134463366 | 1134055380 | 1139238238 | 1146064255 | 1151994913 | 1152212745 | 1151843257 |
195.88/28.32	c (24,0) c | LitScanFracts |         1322291 |     141633 |     432397 |      37641 |     201300 |      45408 |     239002 |     166719 |      58191 |
195.88/28.32	c (24,0) c | DecisionLevel0|            1548 |        177 |        166 |        198 |        204 |        170 |        210 |        213 |        210 |
195.88/28.32	c (24,0) c | Periods       |            1521 |        189 |        189 |        189 |        189 |        191 |        191 |        192 |        191 |
195.88/28.32	c (24,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
195.88/28.32	c (24,0) c | Avg_Trail     |                 |       3325 |       3331 |       3301 |       3281 |       3324 |       3320 |       3365 |       3339 |
195.88/28.32	c (24,0) c | Avg_DL        |                 |         16 |         16 |         17 |         17 |         17 |         15 |         17 |         17 |
195.88/28.32	c (24,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
195.88/28.32	c (24,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
195.88/28.32	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.88/28.32	c (24,0) c | Exported      |           85662 |      10238 |      10947 |      11012 |      10551 |      10272 |      10981 |      10301 |      11360 |
195.88/28.32	c (24,0) c | Imported      |          544821 |      67964 |      67232 |      67331 |      68052 |      68570 |      68435 |      68911 |      68326 |
195.88/28.32	c (24,0) c | Good          |           47736 |       5904 |       6001 |       5914 |       5981 |       6018 |       5909 |       6015 |       5994 |
195.88/28.32	c (24,0) c | Purge         |          497085 |      62060 |      61231 |      61417 |      62071 |      62552 |      62526 |      62896 |      62332 |
195.88/28.32	c (24,0) c | Promoted      |           62747 |       8019 |       8210 |       6999 |       8157 |       7883 |       7553 |       8138 |       7788 |
195.88/28.32	c (24,0) c | Remove_Imp    |          239888 |      31826 |      28395 |      27201 |      30131 |      29598 |      32022 |      31417 |      29298 |
195.88/28.32	c (24,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
195.88/28.32	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.88/28.32	c (24,0) c | Unaries       |                 |         20 |         18 |         20 |         17 |         18 |         23 |         17 |         34 |
195.88/28.32	c (24,0) c | Binaries      |                 |        924 |        824 |        915 |        888 |        893 |       1039 |        918 |        971 |
195.88/28.32	c (24,0) c | Glues         |                 |       3104 |       3225 |       2997 |       3037 |       3034 |       3251 |       2958 |       3117 |
195.88/28.32	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.88/28.32	c (24,0) c | Orig_Seen     |            71 % |      59327 |      59364 |      57079 |      58625 |      59847 |      54229 |      58817 |      57686 |
195.88/28.32	c (24,0) c | Diff Orig seen|                 |        702 |        739 | -     1546 |      X     |       1222 | -     4396 |        192 | -      939 |
195.88/28.32	c (24,0) c | Hamming       |            12 % |       1199 |        860 |        598 |      X     |       1077 |       1213 |        942 |        538 |
195.88/28.32	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.88/28.32	c (24,0) c | RunningTime   |                 |   23.5 100%|   24.2 100%|   23.3 100%|   23.3 100%|   23.0 100%|   22.4  97%|   22.9  99%|   22.9 100%|
195.88/28.32	c (24,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.6   2%|    0.1   0%|    0.1   0%|
195.88/28.32	c (24,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
195.88/28.32	c (24,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%|
195.88/28.32	c (24,0) c | SolvingTime   |                 |   23.6     |   24.3     |   23.3     |   23.3     |   23.0     |   23.0     |   23.0     |   23.0     |
195.88/28.32	c (24,0) c | PropagationTim|                 |   21.4  91%|   22.1  91%|   21.0  90%|   21.1  91%|   20.9  91%|   20.8  91%|   20.8  91%|   20.8  90%|
195.88/28.32	c (24,0) c | AnalysisTime  |                 |    1.4   6%|    1.5   6%|    1.6   7%|    1.4   6%|    1.4   6%|    1.4   6%|    1.5   6%|    1.5   7%|
195.88/28.32	c (24,0) c | ReductionTime |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
195.88/28.32	c (24,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   1%|    0.1   0%|    0.1   0%|
195.88/28.32	c (24,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%|
195.88/28.32	c (24,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%|
195.88/28.32	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.88/28.32	c (24,0) c
195.88/28.32	c (24,0) c
195.88/28.32	c (24,0) c Threads : 8
195.88/28.32	c (24,0) c Winner : 3
195.88/28.32	c (24,0) c Conflicts_0 : 64526
195.88/28.32	c (24,0) c Conflicts_1 : 64487
195.88/28.32	c (24,0) c Conflicts_2 : 63458
195.88/28.32	c (24,0) c Conflicts_3 : 64075
195.88/28.32	c (24,0) c Conflicts_4 : 64606
195.88/28.32	c (24,0) c Conflicts_5 : 64907
195.88/28.32	c (24,0) c Conflicts_6 : 65859
195.88/28.32	c (24,0) c Conflicts_7 : 64680
195.88/28.32	c (24,0) c Conflicts_total : 516598
195.88/28.32	c (24,0) c Conflicts_winner : 64075
195.88/28.32	c (24,0) c Decisions_0 : 120442
195.88/28.32	c (24,0) c Decisions_1 : 121076
195.88/28.32	c (24,0) c Decisions_2 : 117857
195.88/28.32	c (24,0) c Decisions_3 : 122247
195.88/28.32	c (24,0) c Decisions_4 : 121107
195.88/28.32	c (24,0) c Decisions_5 : 120538
195.88/28.32	c (24,0) c Decisions_6 : 123001
195.88/28.32	c (24,0) c Decisions_7 : 123326
195.88/28.32	c (24,0) c Decisions_total : 969594
195.88/28.32	c (24,0) c Decisions_winner : 122247
195.88/28.32	c (24,0) c Propagations_0 : 38262607
195.88/28.32	c (24,0) c Propagations_1 : 38333785
195.88/28.32	c (24,0) c Propagations_2 : 37708616
195.88/28.32	c (24,0) c Propagations_3 : 38513849
195.88/28.32	c (24,0) c Propagations_4 : 38194204
195.88/28.32	c (24,0) c Propagations_5 : 38269278
195.88/28.32	c (24,0) c Propagations_6 : 38577563
195.88/28.32	c (24,0) c Propagations_7 : 38740616
195.88/28.32	c (24,0) c Propagations_total : 306600518
195.88/28.32	c (24,0) c Propagations_winner : 38513849
195.88/28.32	c (24,0) c ReduceDBs_0 : 6
195.88/28.32	c (24,0) c ReduceDBs_1 : 6
195.88/28.32	c (24,0) c ReduceDBs_2 : 6
195.88/28.32	c (24,0) c ReduceDBs_3 : 6
195.88/28.32	c (24,0) c ReduceDBs_4 : 6
195.88/28.32	c (24,0) c ReduceDBs_5 : 6
195.88/28.32	c (24,0) c ReduceDBs_6 : 6
195.88/28.32	c (24,0) c ReduceDBs_7 : 6
195.88/28.32	c (24,0) c ReduceDBs_total : 48
195.88/28.32	c (24,0) c ReduceDBs_winner : 6
195.88/28.32	c (24,0) c SimpDBs_0 : 23
195.88/28.32	c (24,0) c SimpDBs_1 : 22
195.88/28.32	c (24,0) c SimpDBs_2 : 19
195.88/28.32	c (24,0) c SimpDBs_3 : 21
195.88/28.32	c (24,0) c SimpDBs_4 : 21
195.88/28.32	c (24,0) c SimpDBs_5 : 23
195.88/28.32	c (24,0) c SimpDBs_6 : 21
195.88/28.32	c (24,0) c SimpDBs_7 : 21
195.88/28.32	c (24,0) c SimpDBs_total : 171
195.88/28.32	c (24,0) c SimpDBs_winner : 21
195.88/28.32	c (24,0) c Restarts_0 : 157
195.88/28.32	c (24,0) c Restarts_1 : 148
195.88/28.32	c (24,0) c Restarts_2 : 178
195.88/28.32	c (24,0) c Restarts_3 : 187
195.88/28.32	c (24,0) c Restarts_4 : 152
195.88/28.32	c (24,0) c Restarts_5 : 187
195.88/28.32	c (24,0) c Restarts_6 : 196
195.88/28.32	c (24,0) c Restarts_7 : 176
195.88/28.32	c (24,0) c Restarts_total : 1381
195.88/28.32	c (24,0) c Restarts_winner : 187
195.88/28.32	c (24,0) c ForcedImports_0 : 0
195.88/28.32	c (24,0) c ForcedImports_1 : 0
195.88/28.32	c (24,0) c ForcedImports_2 : 0
195.88/28.32	c (24,0) c ForcedImports_3 : 0
195.88/28.32	c (24,0) c ForcedImports_4 : 0
195.88/28.32	c (24,0) c ForcedImports_5 : 0
195.88/28.32	c (24,0) c ForcedImports_6 : 0
195.88/28.32	c (24,0) c ForcedImports_7 : 0
195.88/28.32	c (24,0) c ForcedImports_total : 0
195.88/28.32	c (24,0) c ForcedImports_winner : 0
195.88/28.32	c (24,0) c PropsBinClauses_0 : 122062066
195.88/28.32	c (24,0) c PropsBinClauses_1 : 120737898
195.88/28.32	c (24,0) c PropsBinClauses_2 : 120488492
195.88/28.32	c (24,0) c PropsBinClauses_3 : 120758926
195.88/28.32	c (24,0) c PropsBinClauses_4 : 121018901
195.88/28.32	c (24,0) c PropsBinClauses_5 : 120352661
195.88/28.32	c (24,0) c PropsBinClauses_6 : 121607344
195.88/28.32	c (24,0) c PropsBinClauses_7 : 121908432
195.88/28.32	c (24,0) c PropsBinClauses_total : 968934720
195.88/28.32	c (24,0) c PropsBinClauses_winner : 120758926
195.88/28.32	c (24,0) c PropsPreBlocker_0 : 615675595
195.88/28.32	c (24,0) c PropsPreBlocker_1 : 614260697
195.88/28.32	c (24,0) c PropsPreBlocker_2 : 613829629
195.88/28.32	c (24,0) c PropsPreBlocker_3 : 616051975
195.88/28.32	c (24,0) c PropsPreBlocker_4 : 615949537
195.88/28.32	c (24,0) c PropsPreBlocker_5 : 618979712
195.88/28.32	c (24,0) c PropsPreBlocker_6 : 620096636
195.88/28.32	c (24,0) c PropsPreBlocker_7 : 624960322
195.88/28.32	c (24,0) c PropsPreBlocker_total : 4939804103
195.88/28.32	c (24,0) c PropsPreBlocker_winner : 616051975
195.88/28.32	c (24,0) c PropsNotBlocker_0 : 172069410
195.88/28.32	c (24,0) c PropsNotBlocker_1 : 172727927
195.88/28.32	c (24,0) c PropsNotBlocker_2 : 172064158
195.88/28.32	c (24,0) c PropsNotBlocker_3 : 173752338
195.88/28.32	c (24,0) c PropsNotBlocker_4 : 174594964
195.88/28.32	c (24,0) c PropsNotBlocker_5 : 171374819
195.88/28.32	c (24,0) c PropsNotBlocker_6 : 171257072
195.88/28.32	c (24,0) c PropsNotBlocker_7 : 170898789
195.88/28.32	c (24,0) c PropsNotBlocker_total : 1378739477
195.88/28.32	c (24,0) c PropsNotBlocker_winner : 173752338
195.88/28.32	c (24,0) c PropsLitFullScans_0 : 1134167127
195.88/28.32	c (24,0) c PropsLitFullScans_1 : 1134463366
195.88/28.32	c (24,0) c PropsLitFullScans_2 : 1134055380
195.88/28.32	c (24,0) c PropsLitFullScans_3 : 1139238238
195.88/28.32	c (24,0) c PropsLitFullScans_4 : 1146064255
195.88/28.32	c (24,0) c PropsLitFullScans_5 : 1151994913
195.88/28.32	c (24,0) c PropsLitFullScans_6 : 1152212745
195.88/28.32	c (24,0) c PropsLitFullScans_7 : 1151843257
195.88/28.32	c (24,0) c PropsLitFullScans_total : 9144039281
195.88/28.32	c (24,0) c PropsLitFullScans_winner : 1139238238
195.88/28.32	c (24,0) c LitScanFractions_0 : 141633
195.88/28.32	c (24,0) c LitScanFractions_1 : 432397
195.88/28.32	c (24,0) c LitScanFractions_2 : 37641
195.88/28.32	c (24,0) c LitScanFractions_3 : 201300
195.88/28.32	c (24,0) c LitScanFractions_4 : 45408
195.88/28.32	c (24,0) c LitScanFractions_5 : 239002
195.88/28.32	c (24,0) c LitScanFractions_6 : 166719
195.88/28.32	c (24,0) c LitScanFractions_7 : 58191
195.88/28.32	c (24,0) c LitScanFractions_total : 1322291
195.88/28.32	c (24,0) c LitScanFractions_winner : 201300
195.88/28.32	c (24,0) c DecisionLevel0_0 : 177
195.88/28.32	c (24,0) c DecisionLevel0_1 : 166
195.88/28.32	c (24,0) c DecisionLevel0_2 : 198
195.88/28.33	c (24,0) c DecisionLevel0_3 : 204
195.88/28.33	c (24,0) c DecisionLevel0_4 : 170
195.88/28.33	c (24,0) c DecisionLevel0_5 : 210
195.88/28.33	c (24,0) c DecisionLevel0_6 : 213
195.88/28.33	c (24,0) c DecisionLevel0_7 : 210
195.88/28.33	c (24,0) c DecisionLevel0_total : 1548
195.88/28.33	c (24,0) c DecisionLevel0_winner : 204
195.88/28.33	c (24,0) c Periods_0 : 189
195.88/28.33	c (24,0) c Periods_1 : 189
195.88/28.33	c (24,0) c Periods_2 : 189
195.88/28.33	c (24,0) c Periods_3 : 189
195.88/28.33	c (24,0) c Periods_4 : 191
195.88/28.33	c (24,0) c Periods_5 : 191
195.88/28.33	c (24,0) c Periods_6 : 192
195.88/28.33	c (24,0) c Periods_7 : 191
195.88/28.33	c (24,0) c Periods_total : 1521
195.88/28.33	c (24,0) c Periods_winner : 189
195.88/28.33	c (24,0) c Margin_0 : 20
195.88/28.33	c (24,0) c Margin_1 : 20
195.88/28.33	c (24,0) c Margin_2 : 20
195.88/28.33	c (24,0) c Margin_3 : 20
195.88/28.33	c (24,0) c Margin_4 : 20
195.88/28.33	c (24,0) c Margin_5 : 20
195.88/28.33	c (24,0) c Margin_6 : 20
195.88/28.33	c (24,0) c Margin_7 : 20
195.88/28.33	c (24,0) c Margin_total : 160
195.88/28.33	c (24,0) c Margin_winner : 20
195.88/28.33	c (24,0) c Exported_0 : 10238
195.88/28.33	c (24,0) c Exported_1 : 10947
195.88/28.33	c (24,0) c Exported_2 : 11012
195.88/28.33	c (24,0) c Exported_3 : 10551
195.88/28.33	c (24,0) c Exported_4 : 10272
195.88/28.33	c (24,0) c Exported_5 : 10981
195.88/28.33	c (24,0) c Exported_6 : 10301
195.88/28.33	c (24,0) c Exported_7 : 11360
195.88/28.33	c (24,0) c Exported_total : 85662
195.88/28.33	c (24,0) c Exported_winner : 10551
195.88/28.33	c (24,0) c Imported_0 : 67964
195.88/28.33	c (24,0) c Imported_1 : 67232
195.88/28.33	c (24,0) c Imported_2 : 67331
195.88/28.33	c (24,0) c Imported_3 : 68052
195.88/28.33	c (24,0) c Imported_4 : 68570
195.88/28.33	c (24,0) c Imported_5 : 68435
195.88/28.33	c (24,0) c Imported_6 : 68911
195.88/28.33	c (24,0) c Imported_7 : 68326
195.88/28.33	c (24,0) c Imported_total : 544821
195.88/28.33	c (24,0) c Imported_winner : 68052
195.88/28.33	c (24,0) c Good_0 : 5904
195.88/28.33	c (24,0) c Good_1 : 6001
195.88/28.33	c (24,0) c Good_2 : 5914
195.88/28.33	c (24,0) c Good_3 : 5981
195.88/28.33	c (24,0) c Good_4 : 6018
195.88/28.33	c (24,0) c Good_5 : 5909
195.88/28.33	c (24,0) c Good_6 : 6015
195.88/28.33	c (24,0) c Good_7 : 5994
195.88/28.33	c (24,0) c Good_total : 47736
195.88/28.33	c (24,0) c Good_winner : 5981
195.88/28.33	c (24,0) c Purge_0 : 62060
195.88/28.33	c (24,0) c Purge_1 : 61231
195.88/28.33	c (24,0) c Purge_2 : 61417
195.88/28.33	c (24,0) c Purge_3 : 62071
195.88/28.33	c (24,0) c Purge_4 : 62552
195.88/28.33	c (24,0) c Purge_5 : 62526
195.88/28.33	c (24,0) c Purge_6 : 62896
195.88/28.33	c (24,0) c Purge_7 : 62332
195.88/28.33	c (24,0) c Purge_total : 497085
195.88/28.33	c (24,0) c Purge_winner : 62071
195.88/28.33	c (24,0) c Promoted_0 : 8019
195.88/28.33	c (24,0) c Promoted_1 : 8210
195.88/28.33	c (24,0) c Promoted_2 : 6999
195.88/28.33	c (24,0) c Promoted_3 : 8157
195.88/28.33	c (24,0) c Promoted_4 : 7883
195.88/28.33	c (24,0) c Promoted_5 : 7553
195.88/28.33	c (24,0) c Promoted_6 : 8138
195.88/28.33	c (24,0) c Promoted_7 : 7788
195.88/28.33	c (24,0) c Promoted_total : 62747
195.88/28.33	c (24,0) c Promoted_winner : 8157
195.88/28.33	c (24,0) c Remove_Imp_0 : 31826
195.88/28.33	c (24,0) c Remove_Imp_1 : 28395
195.88/28.33	c (24,0) c Remove_Imp_2 : 27201
195.88/28.33	c (24,0) c Remove_Imp_3 : 30131
195.88/28.33	c (24,0) c Remove_Imp_4 : 29598
195.88/28.33	c (24,0) c Remove_Imp_5 : 32022
195.88/28.33	c (24,0) c Remove_Imp_6 : 31417
195.88/28.33	c (24,0) c Remove_Imp_7 : 29298
195.88/28.33	c (24,0) c Remove_Imp_total : 239888
195.88/28.33	c (24,0) c Remove_Imp_winner : 30131
195.88/28.33	c (24,0) c Blocked_Reuse_0 : 0
195.88/28.33	c (24,0) c Blocked_Reuse_1 : 0
195.88/28.33	c (24,0) c Blocked_Reuse_2 : 0
195.88/28.33	c (24,0) c Blocked_Reuse_3 : 0
195.88/28.33	c (24,0) c Blocked_Reuse_4 : 0
195.88/28.33	c (24,0) c Blocked_Reuse_5 : 0
195.88/28.33	c (24,0) c Blocked_Reuse_6 : 0
195.88/28.33	c (24,0) c Blocked_Reuse_7 : 0
195.88/28.33	c (24,0) c Blocked_Reuse_total : 0
195.88/28.33	c (24,0) c Blocked_Reuse_winner : 0
195.88/28.33	c (24,0) c Unaries_0 : 20
195.88/28.33	c (24,0) c Unaries_1 : 18
195.88/28.33	c (24,0) c Unaries_2 : 20
195.88/28.33	c (24,0) c Unaries_3 : 17
195.88/28.33	c (24,0) c Unaries_4 : 18
195.88/28.33	c (24,0) c Unaries_5 : 23
195.88/28.33	c (24,0) c Unaries_6 : 17
195.88/28.33	c (24,0) c Unaries_7 : 34
195.88/28.33	c (24,0) c Unaries_total : 167
195.88/28.33	c (24,0) c Unaries_winner : 17
195.88/28.33	c (24,0) c Binaries_0 : 924
195.88/28.33	c (24,0) c Binaries_1 : 824
195.88/28.33	c (24,0) c Binaries_2 : 915
195.88/28.33	c (24,0) c Binaries_3 : 888
195.88/28.33	c (24,0) c Binaries_4 : 893
195.88/28.33	c (24,0) c Binaries_5 : 1039
195.88/28.33	c (24,0) c Binaries_6 : 918
195.88/28.33	c (24,0) c Binaries_7 : 971
195.88/28.33	c (24,0) c Binaries_total : 7372
195.88/28.33	c (24,0) c Binaries_winner : 888
195.88/28.33	c (24,0) c Glues_0 : 3104
195.88/28.33	c (24,0) c Glues_1 : 3225
195.88/28.33	c (24,0) c Glues_2 : 2997
195.88/28.33	c (24,0) c Glues_3 : 3037
195.88/28.33	c (24,0) c Glues_4 : 3034
195.88/28.33	c (24,0) c Glues_5 : 3251
195.88/28.33	c (24,0) c Glues_6 : 2958
195.88/28.33	c (24,0) c Glues_7 : 3117
195.88/28.33	c (24,0) c Glues_total : 24723
195.88/28.33	c (24,0) c Glues_winner : 3037
195.88/28.33	c (24,0) c RunningTime_0 : 23.524891
195.88/28.33	c (24,0) c RunningTime_1 : 24.245036
195.88/28.33	c (24,0) c RunningTime_2 : 23.271576
195.88/28.33	c (24,0) c RunningTime_3 : 23.263250
195.88/28.33	c (24,0) c RunningTime_4 : 22.997539
195.88/28.33	c (24,0) c RunningTime_5 : 22.398169
195.88/28.33	c (24,0) c RunningTime_6 : 22.905592
195.88/28.33	c (24,0) c RunningTime_7 : 22.919733
195.88/28.33	c (24,0) c RunningTime_total : 185.525786
195.88/28.33	c (24,0) c RunningTime_winner : 23.263250
195.88/28.33	c (24,0) c WaitingTime_0 : 0.000286
195.88/28.33	c (24,0) c WaitingTime_1 : 0.000211
195.88/28.33	c (24,0) c WaitingTime_2 : 0.000294
195.88/28.33	c (24,0) c WaitingTime_3 : 0.000240
195.88/28.33	c (24,0) c WaitingTime_4 : 0.000264
195.88/28.33	c (24,0) c WaitingTime_5 : 0.567765
195.88/28.33	c (24,0) c WaitingTime_6 : 0.082428
195.88/28.33	c (24,0) c WaitingTime_7 : 0.061726
195.88/28.33	c (24,0) c WaitingTime_total : 0.713215
195.88/28.33	c (24,0) c WaitingTime_winner : 0.000240
195.88/28.33	c (24,0) c ExchangingTime_0 : 0.031680
195.88/28.33	c (24,0) c ExchangingTime_1 : 0.030466
195.88/28.33	c (24,0) c ExchangingTime_2 : 0.031638
195.88/28.33	c (24,0) c ExchangingTime_3 : 0.028824
195.88/28.33	c (24,0) c ExchangingTime_4 : 0.033135
195.88/28.33	c (24,0) c ExchangingTime_5 : 0.033512
195.88/28.33	c (24,0) c ExchangingTime_6 : 0.032936
195.88/28.33	c (24,0) c ExchangingTime_7 : 0.032985
195.88/28.33	c (24,0) c ExchangingTime_total : 0.255176
195.88/28.33	c (24,0) c ExchangingTime_winner : 0.028824
195.88/28.33	c (24,0) c PeriodProcTime_0 : 0.001656
195.88/28.33	c (24,0) c PeriodProcTime_1 : 0.001896
195.88/28.33	c (24,0) c PeriodProcTime_2 : 0.001767
195.88/28.33	c (24,0) c PeriodProcTime_3 : 0.001632
195.88/28.33	c (24,0) c PeriodProcTime_4 : 0.001494
195.88/28.33	c (24,0) c PeriodProcTime_5 : 0.001530
195.88/28.33	c (24,0) c PeriodProcTime_6 : 0.001754
195.88/28.33	c (24,0) c PeriodProcTime_7 : 0.001546
195.88/28.33	c (24,0) c PeriodProcTime_total : 0.013274
195.88/28.33	c (24,0) c PeriodProcTime_winner : 0.001632
195.88/28.33	c (24,0) c SolvingTime_0 : 23.558513
195.88/28.33	c (24,0) c SolvingTime_1 : 24.277609
195.88/28.33	c (24,0) c SolvingTime_2 : 23.305274
195.88/28.33	c (24,0) c SolvingTime_3 : 23.293946
195.88/28.33	c (24,0) c SolvingTime_4 : 23.032433
195.88/28.33	c (24,0) c SolvingTime_5 : 23.000976
195.88/28.33	c (24,0) c SolvingTime_6 : 23.022709
195.88/28.33	c (24,0) c SolvingTime_7 : 23.015990
195.88/28.33	c (24,0) c SolvingTime_total : 186.507451
195.88/28.33	c (24,0) c SolvingTime_winner : 23.293946
195.88/28.33	c (24,0) c PropagationTime_0 : 21.438941
195.88/28.33	c (24,0) c PropagationTime_1 : 22.111001
195.88/28.33	c (24,0) c PropagationTime_2 : 20.970407
195.88/28.33	c (24,0) c PropagationTime_3 : 21.149919
195.88/28.33	c (24,0) c PropagationTime_4 : 20.917250
195.88/28.33	c (24,0) c PropagationTime_5 : 20.832053
195.88/28.33	c (24,0) c PropagationTime_6 : 20.840346
195.88/28.33	c (24,0) c PropagationTime_7 : 20.794781
195.88/28.33	c (24,0) c PropagationTime_total : 169.054698
195.88/28.33	c (24,0) c PropagationTime_winner : 21.149919
195.88/28.33	c (24,0) c AnalysisTime_0 : 1.412690
195.88/28.33	c (24,0) c AnalysisTime_1 : 1.462835
195.88/28.33	c (24,0) c AnalysisTime_2 : 1.640167
195.88/28.33	c (24,0) c AnalysisTime_3 : 1.440080
195.88/28.33	c (24,0) c AnalysisTime_4 : 1.418847
195.88/28.33	c (24,0) c AnalysisTime_5 : 1.431354
195.88/28.33	c (24,0) c AnalysisTime_6 : 1.478521
195.88/28.33	c (24,0) c AnalysisTime_7 : 1.518415
195.88/28.33	c (24,0) c AnalysisTime_total : 11.802909
195.88/28.33	c (24,0) c AnalysisTime_winner : 1.440080
195.88/28.33	c (24,0) c ReductionTime_0 : 0.094749
195.88/28.33	c (24,0) c ReductionTime_1 : 0.103590
195.88/28.33	c (24,0) c ReductionTime_2 : 0.104802
195.88/28.33	c (24,0) c ReductionTime_3 : 0.100231
195.88/28.33	c (24,0) c ReductionTime_4 : 0.103142
195.88/28.33	c (24,0) c ReductionTime_5 : 0.097603
195.88/28.33	c (24,0) c ReductionTime_6 : 0.098814
195.88/28.33	c (24,0) c ReductionTime_7 : 0.101664
195.88/28.33	c (24,0) c ReductionTime_total : 0.804595
195.88/28.33	c (24,0) c ReductionTime_winner : 0.100231
195.88/28.33	c (24,0) c SimplifyTime_0 : 0.089705
195.88/28.33	c (24,0) c SimplifyTime_1 : 0.090532
195.88/28.33	c (24,0) c SimplifyTime_2 : 0.087265
195.88/28.33	c (24,0) c SimplifyTime_3 : 0.091209
195.88/28.33	c (24,0) c SimplifyTime_4 : 0.092716
195.88/28.33	c (24,0) c SimplifyTime_5 : 0.120554
195.88/28.33	c (24,0) c SimplifyTime_6 : 0.089911
195.88/28.33	c (24,0) c SimplifyTime_7 : 0.092973
195.88/28.33	c (24,0) c SimplifyTime_total : 0.754864
195.88/28.33	c (24,0) c SimplifyTime_winner : 0.091209
195.88/28.33	c (24,0) c UsedRateTime_0 : 0.000000
195.88/28.33	c (24,0) c UsedRateTime_1 : 0.000000
195.88/28.33	c (24,0) c UsedRateTime_2 : 0.000000
195.88/28.33	c (24,0) c UsedRateTime_3 : 0.000000
195.88/28.33	c (24,0) c UsedRateTime_4 : 0.000000
195.88/28.33	c (24,0) c UsedRateTime_5 : 0.000000
195.88/28.33	c (24,0) c UsedRateTime_6 : 0.000000
195.88/28.33	c (24,0) c UsedRateTime_7 : 0.000000
195.88/28.33	c (24,0) c UsedRateTime_total : 0.000000
195.88/28.33	c (24,0) c UsedRateTime_winner : 0.000000
195.88/28.33	c (24,0) c OverlapRateTime_0 : 0.000000
195.88/28.33	c (24,0) c OverlapRateTime_1 : 0.000000
195.88/28.33	c (24,0) c OverlapRateTime_2 : 0.000000
195.88/28.33	c (24,0) c OverlapRateTime_3 : 0.000000
195.88/28.33	c (24,0) c OverlapRateTime_4 : 0.000000
195.88/28.33	c (24,0) c OverlapRateTime_5 : 0.000000
195.88/28.33	c (24,0) c OverlapRateTime_6 : 0.000000
195.88/28.33	c (24,0) c OverlapRateTime_7 : 0.000000
195.88/28.33	c (24,0) c OverlapRateTime_total : 0.000000
195.88/28.33	c (24,0) c OverlapRateTime_winner : 0.000000
195.88/28.33	c (24,0) c
195.88/28.33	c (24,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
195.88/28.33	c (24,0) c
195.88/28.33	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.88/28.33	c (24,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
195.88/28.33	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.88/28.33	c (24,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
195.88/28.33	c (24,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
195.88/28.33	c (24,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
195.88/28.33	c (24,0) c | Initial random_seed   |  302885059 |  518612122 |  564435643 | 1321125556 |  133345519 |  697861537 | 1890083149 | 1374309563 |
195.88/28.33	c (24,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
195.88/28.33	c (24,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
195.88/28.33	c (24,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
195.88/28.33	c (24,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
195.88/28.33	c (24,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
195.88/28.33	c (24,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
195.88/28.33	c (24,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
195.88/28.33	c (24,0) c | var_decay             |     0.9200 |     0.9200 |     0.9200 |     0.9200 |     0.9200 |     0.9200 |     0.9300 |     0.9200 |
195.88/28.33	c (24,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
195.88/28.33	c (24,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
195.88/28.33	c (24,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
195.88/28.33	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.88/28.33	c (24,0) 
195.88/28.33	c (24,0) s UNSATISFIABLE
195.88/28.34	c (24,0) SatSolver.solve End
195.88/28.34	c (24,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
195.88/28.34	c (24,0) Show results Begin
195.88/28.34	s UNSATISFIABLE
195.88/28.34	c (24,0) Show results End
195.88/28.34	c (24,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
195.88/28.34	c (24,0) 24,24,STOP-AFTER(ALL)
195.88/28.34	c END-Prog: Mon Sep 23 14:39:53 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 (13821 MiB free)
  memory of node 1: 16384 MiB (11344 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405531-1569242405/watcher-4405531-1569242405 -o /tmp/evaluation-result-4405531-1569242405/solver-4405531-1569242405 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569238588-5599 --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-4405531-1569242405.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6283, runsolver pid=6280
Current StackSize limit: 8192 KiB


[startup+0.105431 s]*
/proc/loadavg: 6.56 3.14 3.41 3/211 6305
/proc/meminfo: memFree=25674360/32770624 swapFree=66959684/67108860
[pid=6283] ppid=6280 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6283/stat : 6283 (scop.sh) S 6280 6283 5572 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500509306 115843072 349 33554432000 4194304 5098028 140735379547744 140735379545000 139897950093948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17248256 140735379551012 140735379551340 140735379551340 140735379554253 0
/proc/6283/statm: 28282 349 296 221 0 87 0
[pid=6286] ppid=6283 vsize=27314120 memory=109788 CPUtime=0.11 cores=0-7
/proc/6286/stat : 6286 (java) S 6283 6283 5572 0 -1 1077944320 6527 0 0 0 8 3 0 0 20 0 20 0 500509306 27969658880 27447 33554432000 4194304 4196468 140726317790448 140726317772992 139745395015415 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
/proc/6286/statm: 6828530 27447 2817 1 0 6790935 0
[pid=6286/tid=6287] ppid=6283 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/6286/task/6287/stat : 6287 (java) R 6283 6283 5572 0 -1 4202560 4607 0 0 0 7 2 0 0 20 0 20 0 500509306 27969658880 27578 33554432000 4194304 4196468 140726317790448 139745366835544 139745395037341 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6288] ppid=6283 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/6286/task/6288/stat : 6288 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500509308 27969658880 27578 33554432000 4194304 4196468 140726317790448 139745399257488 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6289] ppid=6283 vsize=27314120 memory=139722548840064 CPUtime=0 cores=0-7
/proc/6286/task/6289/stat : 6289 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500509309 27969658880 27578 33554432000 4194304 4196468 140726317790448 139744817084688 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6290] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6290/stat : 6290 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500509309 27969658880 27578 33554432000 4194304 4196468 140726317790448 139744816032400 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6291] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6291/stat : 6291 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500509309 27969658880 27578 33554432000 4194304 4196468 140726317790448 139744814979600 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6292] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6292/stat : 6292 (java) S 6283 6283 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500509309 27969658880 27578 33554432000 4194304 4196468 140726317790448 139744813927312 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6293] ppid=6283 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6286/task/6293/stat : 6293 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500509309 27969658880 27578 33554432000 4194304 4196468 140726317790448 139744812874512 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6294] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6294/stat : 6294 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500509309 27969658880 27578 33554432000 4194304 4196468 140726317790448 139744811822224 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6295] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6295/stat : 6295 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500509309 27969658880 27578 33554432000 4194304 4196468 140726317790448 139744810769424 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6296] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6296/stat : 6296 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500509310 27969658880 27578 33554432000 4194304 4196468 140726317790448 139744386357360 139745395026562 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6297] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6297/stat : 6297 (java) S 6283 6283 5572 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500509311 27969658880 27578 33554432000 4194304 4196468 140726317790448 139743337636640 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6298] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6298/stat : 6298 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500509311 27969658880 27578 33554432000 4194304 4196468 140726317790448 139743069201520 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6299] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6299/stat : 6299 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500509313 27969658880 27578 33554432000 4194304 4196468 140726317790448 139742694692944 139745395034011 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6300] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6300/stat : 6300 (java) S 6283 6283 5572 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 500509313 27969658880 27578 33554432000 4194304 4196468 140726317790448 139744385305200 139745395026562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6301] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6301/stat : 6301 (java) S 6283 6283 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500509313 27969658880 27578 33554432000 4194304 4196468 140726317790448 139744384252400 139745395026562 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6302] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6302/stat : 6302 (java) S 6283 6283 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500509313 27969658880 27578 33554432000 4194304 4196468 140726317790448 139744383200112 139745395026562 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6303] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6303/stat : 6303 (java) R 6283 6283 5572 0 -1 4202560 336 0 0 0 0 0 0 0 20 0 20 0 500509313 27969658880 27578 33554432000 4194304 4196468 140726317790448 139744382147312 139745373953497 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6304] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6304/stat : 6304 (java) S 6283 6283 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500509313 27969658880 27578 33554432000 4194304 4196468 140726317790448 139742196787552 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6305] ppid=6283 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6286/task/6305/stat : 6305 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500509314 27969658880 27578 33554432000 4194304 4196468 140726317790448 139744381094192 139745395026562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 111184 KiB

[startup+0.21051 s]*
/proc/loadavg: 6.56 3.14 3.41 2/211 6305
/proc/meminfo: memFree=25652544/32770624 swapFree=66959684/67108860
[pid=6283] ppid=6280 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6283/stat : 6283 (scop.sh) S 6280 6283 5572 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500509306 115843072 349 33554432000 4194304 5098028 140735379547744 140735379545000 139897950093948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17248256 140735379551012 140735379551340 140735379551340 140735379554253 0
/proc/6283/statm: 28282 349 296 221 0 87 0
[pid=6286] ppid=6283 vsize=27314120 memory=126512 CPUtime=0.25 cores=0-7
/proc/6286/stat : 6286 (java) S 6283 6283 5572 0 -1 1077944320 11917 0 0 0 20 5 0 0 20 0 20 0 500509306 27969658880 31628 33554432000 4194304 4196468 140726317790448 140726317772992 139745395015415 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
/proc/6286/statm: 6828530 31628 2937 1 0 6790935 0
[pid=6286/tid=6287] ppid=6283 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/6286/task/6287/stat : 6287 (java) R 6283 6283 5572 0 -1 4202560 9644 0 0 0 16 4 0 0 20 0 20 0 500509306 27969658880 31628 33554432000 4194304 4196468 140726317790448 139745366822976 139745380180960 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6288] ppid=6283 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/6286/task/6288/stat : 6288 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500509308 27969658880 31628 33554432000 4194304 4196468 140726317790448 139745399257488 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6289] ppid=6283 vsize=27314120 memory=139722548850643 CPUtime=0 cores=0-7
/proc/6286/task/6289/stat : 6289 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500509309 27969658880 31628 33554432000 4194304 4196468 140726317790448 139744817084688 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6290] ppid=6283 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6286/task/6290/stat : 6290 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500509309 27969658880 31628 33554432000 4194304 4196468 140726317790448 139744816032400 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6291] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6291/stat : 6291 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500509309 27969658880 31628 33554432000 4194304 4196468 140726317790448 139744814979600 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6292] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6292/stat : 6292 (java) S 6283 6283 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500509309 27969658880 31628 33554432000 4194304 4196468 140726317790448 139744813927312 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6293] ppid=6283 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6286/task/6293/stat : 6293 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500509309 27969658880 31628 33554432000 4194304 4196468 140726317790448 139744812874512 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6294] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6294/stat : 6294 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500509309 27969658880 31628 33554432000 4194304 4196468 140726317790448 139744811822224 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6295] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6295/stat : 6295 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500509309 27969658880 31628 33554432000 4194304 4196468 140726317790448 139744810769424 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6296] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6296/stat : 6296 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500509310 27969658880 31628 33554432000 4194304 4196468 140726317790448 139744386357360 139745395026562 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6297] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6297/stat : 6297 (java) S 6283 6283 5572 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500509311 27969658880 31628 33554432000 4194304 4196468 140726317790448 139743337636640 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6298] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6298/stat : 6298 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500509311 27969658880 31628 33554432000 4194304 4196468 140726317790448 139743069201520 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6299] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6299/stat : 6299 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500509313 27969658880 31628 33554432000 4194304 4196468 140726317790448 139742694692944 139745395034011 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6300] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6300/stat : 6300 (java) S 6283 6283 5572 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 500509313 27969658880 31628 33554432000 4194304 4196468 140726317790448 139744385305200 139745395026562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6301] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6301/stat : 6301 (java) S 6283 6283 5572 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 500509313 27969658880 31628 33554432000 4194304 4196468 140726317790448 139744384252400 139745395026562 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6302] ppid=6283 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6286/task/6302/stat : 6302 (java) S 6283 6283 5572 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 500509313 27969658880 31628 33554432000 4194304 4196468 140726317790448 139744383200112 139745395026562 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6303] ppid=6283 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/6286/task/6303/stat : 6303 (java) S 6283 6283 5572 0 -1 1077944384 453 0 0 0 2 0 0 0 20 0 20 0 500509313 27969658880 31628 33554432000 4194304 4196468 140726317790448 139744382147312 139745395026562 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6304] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6304/stat : 6304 (java) S 6283 6283 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500509313 27969658880 31628 33554432000 4194304 4196468 140726317790448 139742196787552 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6305] ppid=6283 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6286/task/6305/stat : 6305 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500509314 27969658880 31628 33554432000 4194304 4196468 140726317790448 139744381094192 139745395026562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127908 KiB

[startup+0.310297 s]*
/proc/loadavg: 6.56 3.14 3.41 2/211 6305
/proc/meminfo: memFree=25650000/32770624 swapFree=66959684/67108860
[pid=6283] ppid=6280 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6283/stat : 6283 (scop.sh) S 6280 6283 5572 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500509306 115843072 349 33554432000 4194304 5098028 140735379547744 140735379545000 139897950093948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17248256 140735379551012 140735379551340 140735379551340 140735379554253 0
/proc/6283/statm: 28282 349 296 221 0 87 0
[pid=6286] ppid=6283 vsize=27314120 memory=130196 CPUtime=0.43 cores=0-7
/proc/6286/stat : 6286 (java) S 6283 6283 5572 0 -1 1077944320 12899 0 0 0 37 6 0 0 20 0 20 0 500509306 27969658880 32549 33554432000 4194304 4196468 140726317790448 140726317772992 139745395015415 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
/proc/6286/statm: 6828530 32549 3023 1 0 6790935 0
[pid=6286/tid=6287] ppid=6283 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/6286/task/6287/stat : 6287 (java) R 6283 6283 5572 0 -1 4202560 10449 0 0 0 25 4 0 0 20 0 20 0 500509306 27969658880 32549 33554432000 4194304 4196468 140726317790448 139745366798432 139745395036762 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6288] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6288/stat : 6288 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500509308 27969658880 32549 33554432000 4194304 4196468 140726317790448 139745399257488 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6289] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6289/stat : 6289 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500509309 27969658880 32549 33554432000 4194304 4196468 140726317790448 139744817084688 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6290] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6290/stat : 6290 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500509309 27969658880 32549 33554432000 4194304 4196468 140726317790448 139744816032400 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6291] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6291/stat : 6291 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500509309 27969658880 32549 33554432000 4194304 4196468 140726317790448 139744814979600 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6292] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6292/stat : 6292 (java) S 6283 6283 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500509309 27969658880 32549 33554432000 4194304 4196468 140726317790448 139744813927312 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6293] ppid=6283 vsize=27314120 memory=139722399771311 CPUtime=0 cores=0-7
/proc/6286/task/6293/stat : 6293 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500509309 27969658880 32549 33554432000 4194304 4196468 140726317790448 139744812874512 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6294] ppid=6283 vsize=27314120 memory=139722399773616 CPUtime=0 cores=0-7
/proc/6286/task/6294/stat : 6294 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500509309 27969658880 32549 33554432000 4194304 4196468 140726317790448 139744811822224 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6295] ppid=6283 vsize=27314120 memory=139722399775920 CPUtime=0 cores=0-7
/proc/6286/task/6295/stat : 6295 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500509309 27969658880 32549 33554432000 4194304 4196468 140726317790448 139744810769424 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6296] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6296/stat : 6296 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500509310 27969658880 32549 33554432000 4194304 4196468 140726317790448 139744386357360 139745395026562 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6297] ppid=6283 vsize=27314120 memory=279444799565712 CPUtime=0 cores=0-7
/proc/6286/task/6297/stat : 6297 (java) S 6283 6283 5572 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500509311 27969658880 32549 33554432000 4194304 4196468 140726317790448 139743337636640 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6298] ppid=6283 vsize=27314120 memory=279444799563408 CPUtime=0 cores=0-7
/proc/6286/task/6298/stat : 6298 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500509311 27969658880 32549 33554432000 4194304 4196468 140726317790448 139743069201520 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6299] ppid=6283 vsize=27314120 memory=279444799570320 CPUtime=0 cores=0-7
/proc/6286/task/6299/stat : 6299 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500509313 27969658880 32549 33554432000 4194304 4196468 140726317790448 139742694692944 139745395034011 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6300] ppid=6283 vsize=27314120 memory=279444799511600 CPUtime=0 cores=0-7
/proc/6286/task/6300/stat : 6300 (java) S 6283 6283 5572 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 500509313 27969658880 32549 33554432000 4194304 4196468 140726317790448 139744385305200 139745395026562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6301] ppid=6283 vsize=27314120 memory=279444799584144 CPUtime=0.01 cores=0-7
/proc/6286/task/6301/stat : 6301 (java) R 6283 6283 5572 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 20 0 500509313 27969658880 32549 33554432000 4194304 4196468 140726317790448 139744384252400 139745395036762 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6302] ppid=6283 vsize=27314120 memory=279444799591056 CPUtime=0.01 cores=0-7
/proc/6286/task/6302/stat : 6302 (java) S 6283 6283 5572 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 20 0 500509313 27969658880 32549 33554432000 4194304 4196468 140726317790448 139744383200112 139745395026562 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6303] ppid=6283 vsize=27314120 memory=279444799588752 CPUtime=0.07 cores=0-7
/proc/6286/task/6303/stat : 6303 (java) S 6283 6283 5572 0 -1 1077944384 475 0 0 0 7 0 0 0 20 0 20 0 500509313 27969658880 32549 33554432000 4194304 4196468 140726317790448 139744382147312 139745395026562 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6304] ppid=6283 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6304/stat : 6304 (java) S 6283 6283 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500509313 27969658880 32549 33554432000 4194304 4196468 140726317790448 139742196787552 139745395025621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6305] ppid=6283 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6286/task/6305/stat : 6305 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500509314 27969658880 32549 33554432000 4194304 4196468 140726317790448 139744381094192 139745395026562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131592 KiB

[startup+0.701196 s]
/proc/loadavg: 6.56 3.14 3.41 2/211 6305
/proc/meminfo: memFree=25628784/32770624 swapFree=66959684/67108860
[pid=6283] ppid=6280 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6283/stat : 6283 (scop.sh) S 6280 6283 5572 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500509306 115843072 349 33554432000 4194304 5098028 140735379547744 140735379545000 139897950093948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17248256 140735379551012 140735379551340 140735379551340 140735379554253 0
/proc/6283/statm: 28282 349 296 221 0 87 0
[pid=6286] ppid=6283 vsize=27322516 memory=167912 CPUtime=0.99 cores=0-7
/proc/6286/stat : 6286 (java) S 6283 6283 5572 0 -1 1077944320 20032 0 0 0 91 8 0 0 20 0 20 0 500509306 27978256384 41978 33554432000 4194304 4196468 140726317790448 140726317772992 139745395015415 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
/proc/6286/statm: 6830629 41978 3201 1 0 6791959 0
[pid=6286/tid=6287] ppid=6283 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/6286/task/6287/stat : 6287 (java) R 6283 6283 5572 0 -1 4202560 17071 0 0 0 60 7 0 0 20 0 20 0 500509306 27978256384 41978 33554432000 4194304 4196468 140726317790448 139745366851104 139745395037341 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6288] ppid=6283 vsize=27322516 memory=139722399982448 CPUtime=0 cores=0-7
/proc/6286/task/6288/stat : 6288 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500509308 27978256384 41978 33554432000 4194304 4196468 140726317790448 139745399257488 139745395025621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6289] ppid=6283 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6289/stat : 6289 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500509309 27978256384 41978 33554432000 4194304 4196468 140726317790448 139744817084688 139745395025621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0
[pid=6286/tid=6290] ppid=6283 vsize=27322516 memory=1016 CPUtime=0 cores=0-7
/proc/6286/task/6290/stat : 6290 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500509309 27978256384 41978 33554432000 4194304 4196468 140726317790448 139744816032400 139745395025621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37023744 140726317798123 140726317798550 140726317798550 140726317801423 0

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

[pid=6306/tid=6316] ppid=6283 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6306/task/6316/stat : 6316 (java) S 6283 6283 5572 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500509626 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659964459632 139660871084674 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6317] ppid=6283 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6306/task/6317/stat : 6317 (java) S 6283 6283 5572 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500509627 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659451557152 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6318] ppid=6283 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/6306/task/6318/stat : 6318 (java) S 6283 6283 5572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500509627 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659317335664 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6319] ppid=6283 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/6306/task/6319/stat : 6319 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500509629 8616062976 29547 33554432000 4194304 4196468 140724102897376 139658942831184 139660871092123 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6320] ppid=6283 vsize=8414124 memory=920 CPUtime=0.05 cores=0-7
/proc/6306/task/6320/stat : 6320 (java) S 6283 6283 5572 0 -1 1077944384 530 0 0 0 5 0 0 0 20 0 24 0 500509629 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659963406448 139660871084674 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6321] ppid=6283 vsize=8414124 memory=4864 CPUtime=0.03 cores=0-7
/proc/6306/task/6321/stat : 6321 (java) S 6283 6283 5572 0 -1 1077944384 202 0 0 0 3 0 0 0 20 0 24 0 500509629 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659962353648 139660871084674 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6322] ppid=6283 vsize=8414124 memory=4100 CPUtime=0.08 cores=0-7
/proc/6306/task/6322/stat : 6322 (java) S 6283 6283 5572 0 -1 1077944384 427 0 0 0 8 0 0 0 20 0 24 0 500509629 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659961301360 139660871084674 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6323] ppid=6283 vsize=8414124 memory=1412 CPUtime=0.19 cores=0-7
/proc/6306/task/6323/stat : 6323 (java) S 6283 6283 5572 0 -1 1077944384 536 0 0 0 19 0 0 0 20 0 24 0 500509630 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659960248560 139660871084674 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6324] ppid=6283 vsize=8414124 memory=3280 CPUtime=0 cores=0-7
/proc/6306/task/6324/stat : 6324 (java) S 6283 6283 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500509630 8616062976 29547 33554432000 4194304 4196468 140724102897376 139658444925792 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6325] ppid=6283 vsize=8414124 memory=1476 CPUtime=0.02 cores=0-7
/proc/6306/task/6325/stat : 6325 (java) S 6283 6283 5572 0 -1 1077944384 3 0 0 0 1 1 0 0 20 0 24 0 500509630 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659959196464 139660871084674 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6327] ppid=6283 vsize=8414124 memory=118188 CPUtime=0 cores=0-7
/proc/6306/task/6327/stat : 6327 (java) S 6283 6283 5572 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500509695 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659951163200 139660871098137 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6329] ppid=6283 vsize=8414124 memory=180016 CPUtime=0 cores=0-7
/proc/6306/task/6329/stat : 6329 (java) S 6283 6283 5572 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500509695 8616062976 29547 33554432000 4194304 4196468 140724102897376 139657773825424 139660871095453 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6330] ppid=6283 vsize=8414124 memory=1656 CPUtime=0 cores=0-7
/proc/6306/task/6330/stat : 6330 (java) S 6283 6283 5572 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500509695 8616062976 29547 33554432000 4194304 4196468 140724102897376 139658042260752 139660871095453 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6331] ppid=6283 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/6306/task/6331/stat : 6331 (java) S 6283 6283 5572 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 500509697 8616062976 29547 33554432000 4194304 4196468 140724102897376 139657505398064 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
Current children cumulated CPU time: 195.59 s
Current children cumulated vsize: 9193876 KiB
Current children cumulated memory: 299732 KiB

[startup+28.2011 s]
/proc/loadavg: 6.24 3.40 3.49 2/217 6342
/proc/meminfo: memFree=25484640/32770624 swapFree=66959684/67108860
[pid=6283] ppid=6280 vsize=113128 memory=1476 CPUtime=9.56 cores=0-7
/proc/6283/stat : 6283 (scop.sh) S 6280 6283 5572 0 -1 4202496 583 29540 0 0 0 0 930 26 20 0 1 0 500509306 115843072 369 33554432000 4194304 5098028 140735379547744 140735379544488 139897950093948 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17248256 140735379551012 140735379551340 140735379551340 140735379554253 0
/proc/6283/statm: 28282 369 311 221 0 87 0
[pid=6306] ppid=6283 vsize=8414124 memory=118188 CPUtime=1.15 cores=0-7
/proc/6306/stat : 6306 (java) S 6283 6283 5572 0 -1 1077944320 19503 0 0 0 108 7 0 0 20 0 24 0 500509623 8616062976 29547 33554432000 4194304 4196468 140724102897376 140724102879920 139660871073527 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
/proc/6306/statm: 2103531 29547 3209 1 0 2064875 0
[pid=6326] ppid=6306 vsize=666624 memory=180068 CPUtime=185.07 cores=0-7
/proc/6326/stat : 6326 (manyglucose-4.1) S 6306 6283 5572 0 -1 1077944320 151993 0 0 0 18469 38 0 0 20 0 2 0 500509694 682622976 45017 33554432000 4194304 4454172 140728854562128 140728854560512 139759767564023 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 24588288 140728854565738 140728854565936 140728854565936 140728854568890 0
/proc/6326/statm: 166656 45017 416 64 0 162324 0
[pid=6326/tid=6333] ppid=6306 vsize=666624 memory=1536 CPUtime=24.09 cores=0-7
/proc/6326/task/6333/stat : 6333 (manyglucose-4.1) R 6306 6283 5572 0 -1 4202560 16438 0 0 0 2404 5 0 0 20 0 2 0 500509709 682622976 45017 33554432000 4194304 4454172 140728854562128 139759735635080 4319199 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 24588288 140728854565738 140728854565936 140728854565936 140728854568890 0
[pid=6306/tid=6307] ppid=6283 vsize=8414124 memory=9592 CPUtime=0.74 cores=0-7
/proc/6306/task/6307/stat : 6307 (java) S 6283 6283 5572 0 -1 1077944384 16383 0 0 0 69 5 0 0 20 0 24 0 500509624 8616062976 29547 33554432000 4194304 4196468 140724102897376 139660842913696 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6308] ppid=6283 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/6306/task/6308/stat : 6308 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500509625 8616062976 29547 33554432000 4194304 4196468 140724102897376 139660875316112 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6309] ppid=6283 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/6306/task/6309/stat : 6309 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500509625 8616062976 29547 33554432000 4194304 4196468 140724102897376 139660675484432 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6310] ppid=6283 vsize=8414124 memory=620 CPUtime=0 cores=0-7
/proc/6306/task/6310/stat : 6310 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500509625 8616062976 29547 33554432000 4194304 4196468 140724102897376 139660674432144 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6311] ppid=6283 vsize=8414124 memory=1496 CPUtime=0 cores=0-7
/proc/6306/task/6311/stat : 6311 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500509625 8616062976 29547 33554432000 4194304 4196468 140724102897376 139660673379344 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6312] ppid=6283 vsize=8414124 memory=304556123141439514 CPUtime=0 cores=0-7
/proc/6306/task/6312/stat : 6312 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500509625 8616062976 29547 33554432000 4194304 4196468 140724102897376 139660672326032 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6313] ppid=6283 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/6306/task/6313/stat : 6313 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500509625 8616062976 29547 33554432000 4194304 4196468 140724102897376 139660671273232 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6314] ppid=6283 vsize=8414124 memory=16099273431322896 CPUtime=0 cores=0-7
/proc/6306/task/6314/stat : 6314 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500509625 8616062976 29547 33554432000 4194304 4196468 140724102897376 139660670220944 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6315] ppid=6283 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6306/task/6315/stat : 6315 (java) S 6283 6283 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500509625 8616062976 29547 33554432000 4194304 4196468 140724102897376 139660669168144 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6316] ppid=6283 vsize=8414124 memory=118188 CPUtime=0 cores=0-7
/proc/6306/task/6316/stat : 6316 (java) S 6283 6283 5572 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500509626 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659964459632 139660871084674 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6317] ppid=6283 vsize=8414124 memory=180016 CPUtime=0 cores=0-7
/proc/6306/task/6317/stat : 6317 (java) S 6283 6283 5572 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500509627 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659451557152 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6318] ppid=6283 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/6306/task/6318/stat : 6318 (java) S 6283 6283 5572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500509627 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659317335664 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6319] ppid=6283 vsize=8414124 memory=279444801089792 CPUtime=0 cores=0-7
/proc/6306/task/6319/stat : 6319 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500509629 8616062976 29547 33554432000 4194304 4196468 140724102897376 139658942831184 139660871092123 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6320] ppid=6283 vsize=8414124 memory=6942688505448117823 CPUtime=0.05 cores=0-7
/proc/6306/task/6320/stat : 6320 (java) S 6283 6283 5572 0 -1 1077944384 530 0 0 0 5 0 0 0 20 0 24 0 500509629 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659963406448 139660871084674 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6321] ppid=6283 vsize=8414124 memory=6942688505448117823 CPUtime=0.03 cores=0-7
/proc/6306/task/6321/stat : 6321 (java) S 6283 6283 5572 0 -1 1077944384 202 0 0 0 3 0 0 0 20 0 24 0 500509629 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659962353648 139660871084674 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6322] ppid=6283 vsize=8414124 memory=6942688505448117823 CPUtime=0.08 cores=0-7
/proc/6306/task/6322/stat : 6322 (java) S 6283 6283 5572 0 -1 1077944384 427 0 0 0 8 0 0 0 20 0 24 0 500509629 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659961301360 139660871084674 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6323] ppid=6283 vsize=8414124 memory=7452165871287619685 CPUtime=0.19 cores=0-7
/proc/6306/task/6323/stat : 6323 (java) S 6283 6283 5572 0 -1 1077944384 536 0 0 0 19 0 0 0 20 0 24 0 500509630 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659960248560 139660871084674 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6324] ppid=6283 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6306/task/6324/stat : 6324 (java) S 6283 6283 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500509630 8616062976 29547 33554432000 4194304 4196468 140724102897376 139658444925792 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6325] ppid=6283 vsize=8414124 memory=279444801116288 CPUtime=0.02 cores=0-7
/proc/6306/task/6325/stat : 6325 (java) S 6283 6283 5572 0 -1 1077944384 3 0 0 0 1 1 0 0 20 0 24 0 500509630 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659959196464 139660871084674 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6327] ppid=6283 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/6306/task/6327/stat : 6327 (java) S 6283 6283 5572 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500509695 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659951163200 139660871098137 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6329] ppid=6283 vsize=8414124 memory=62280 CPUtime=0 cores=0-7
/proc/6306/task/6329/stat : 6329 (java) S 6283 6283 5572 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500509695 8616062976 29547 33554432000 4194304 4196468 140724102897376 139657773825424 139660871095453 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6330] ppid=6283 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/6306/task/6330/stat : 6330 (java) S 6283 6283 5572 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500509695 8616062976 29547 33554432000 4194304 4196468 140724102897376 139658042260752 139660871095453 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6331] ppid=6283 vsize=8414124 memory=2024 CPUtime=0 cores=0-7
/proc/6306/task/6331/stat : 6331 (java) S 6283 6283 5572 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 500509697 8616062976 29547 33554432000 4194304 4196468 140724102897376 139657505398064 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
Current children cumulated CPU time: 195.78 s
Current children cumulated vsize: 9193876 KiB
Current children cumulated memory: 299732 KiB

[startup+28.3011 s]
/proc/loadavg: 6.24 3.40 3.49 2/217 6342
/proc/meminfo: memFree=25484640/32770624 swapFree=66959684/67108860
[pid=6283] ppid=6280 vsize=113128 memory=1476 CPUtime=9.56 cores=0-7
/proc/6283/stat : 6283 (scop.sh) S 6280 6283 5572 0 -1 4202496 583 29540 0 0 0 0 930 26 20 0 1 0 500509306 115843072 369 33554432000 4194304 5098028 140735379547744 140735379544488 139897950093948 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17248256 140735379551012 140735379551340 140735379551340 140735379554253 0
/proc/6283/statm: 28282 369 311 221 0 87 0
[pid=6306] ppid=6283 vsize=8414124 memory=118188 CPUtime=1.15 cores=0-7
/proc/6306/stat : 6306 (java) S 6283 6283 5572 0 -1 1077944320 19503 0 0 0 108 7 0 0 20 0 24 0 500509623 8616062976 29547 33554432000 4194304 4196468 140724102897376 140724102879920 139660871073527 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
/proc/6306/statm: 2103531 29547 3209 1 0 2064875 0
[pid=6326] ppid=6306 vsize=666624 memory=180068 CPUtime=185.17 cores=0-7
/proc/6326/stat : 6326 (manyglucose-4.1) S 6306 6283 5572 0 -1 1077944320 152000 0 0 0 18479 38 0 0 20 0 2 0 500509694 682622976 45017 33554432000 4194304 4454172 140728854562128 140728854560512 139759767564023 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 24588288 140728854565738 140728854565936 140728854565936 140728854568890 0
/proc/6326/statm: 166656 45017 416 64 0 162324 0
[pid=6326/tid=6333] ppid=6306 vsize=666624 memory=1476 CPUtime=24.19 cores=0-7
/proc/6326/task/6333/stat : 6333 (manyglucose-4.1) R 6306 6283 5572 0 -1 4202560 16445 0 0 0 2414 5 0 0 20 0 2 0 500509709 682622976 45017 33554432000 4194304 4454172 140728854562128 139759735635080 4351209 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 24588288 140728854565738 140728854565936 140728854565936 140728854568890 0
[pid=6306/tid=6307] ppid=6283 vsize=8414124 memory=180068 CPUtime=0.74 cores=0-7
/proc/6306/task/6307/stat : 6307 (java) S 6283 6283 5572 0 -1 1077944384 16383 0 0 0 69 5 0 0 20 0 24 0 500509624 8616062976 29547 33554432000 4194304 4196468 140724102897376 139660842913696 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6308] ppid=6283 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/6306/task/6308/stat : 6308 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500509625 8616062976 29547 33554432000 4194304 4196468 140724102897376 139660875316112 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6309] ppid=6283 vsize=8414124 memory=62280 CPUtime=0 cores=0-7
/proc/6306/task/6309/stat : 6309 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500509625 8616062976 29547 33554432000 4194304 4196468 140724102897376 139660675484432 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6310] ppid=6283 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6306/task/6310/stat : 6310 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500509625 8616062976 29547 33554432000 4194304 4196468 140724102897376 139660674432144 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6311] ppid=6283 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6306/task/6311/stat : 6311 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500509625 8616062976 29547 33554432000 4194304 4196468 140724102897376 139660673379344 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6312] ppid=6283 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6306/task/6312/stat : 6312 (java) S 6283 6283 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500509625 8616062976 29547 33554432000 4194304 4196468 140724102897376 139660672326032 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6313] ppid=6283 vsize=8414124 memory=294254604 CPUtime=0 cores=0-7
/proc/6306/task/6313/stat : 6313 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500509625 8616062976 29547 33554432000 4194304 4196468 140724102897376 139660671273232 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6314] ppid=6283 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6306/task/6314/stat : 6314 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500509625 8616062976 29547 33554432000 4194304 4196468 140724102897376 139660670220944 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6315] ppid=6283 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6306/task/6315/stat : 6315 (java) S 6283 6283 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500509625 8616062976 29547 33554432000 4194304 4196468 140724102897376 139660669168144 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6316] ppid=6283 vsize=8414124 memory=8 CPUtime=0 cores=0-7
/proc/6306/task/6316/stat : 6316 (java) S 6283 6283 5572 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500509626 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659964459632 139660871084674 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6317] ppid=6283 vsize=8414124 memory=19 CPUtime=0 cores=0-7
/proc/6306/task/6317/stat : 6317 (java) S 6283 6283 5572 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500509627 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659451557152 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6318] ppid=6283 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6306/task/6318/stat : 6318 (java) S 6283 6283 5572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500509627 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659317335664 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6319] ppid=6283 vsize=8414124 memory=1 CPUtime=0 cores=0-7
/proc/6306/task/6319/stat : 6319 (java) S 6283 6283 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500509629 8616062976 29547 33554432000 4194304 4196468 140724102897376 139658942831184 139660871092123 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6320] ppid=6283 vsize=8414124 memory=1568 CPUtime=0.05 cores=0-7
/proc/6306/task/6320/stat : 6320 (java) S 6283 6283 5572 0 -1 1077944384 530 0 0 0 5 0 0 0 20 0 24 0 500509629 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659963406448 139660871084674 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6321] ppid=6283 vsize=8414124 memory=928 CPUtime=0.03 cores=0-7
/proc/6306/task/6321/stat : 6321 (java) S 6283 6283 5572 0 -1 1077944384 202 0 0 0 3 0 0 0 20 0 24 0 500509629 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659962353648 139660871084674 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6322] ppid=6283 vsize=8414124 memory=3656 CPUtime=0.08 cores=0-7
/proc/6306/task/6322/stat : 6322 (java) S 6283 6283 5572 0 -1 1077944384 427 0 0 0 8 0 0 0 20 0 24 0 500509629 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659961301360 139660871084674 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6323] ppid=6283 vsize=8414124 memory=279444799971424 CPUtime=0.19 cores=0-7
/proc/6306/task/6323/stat : 6323 (java) S 6283 6283 5572 0 -1 1077944384 536 0 0 0 19 0 0 0 20 0 24 0 500509630 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659960248560 139660871084674 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6324] ppid=6283 vsize=8414124 memory=279444800697600 CPUtime=0 cores=0-7
/proc/6306/task/6324/stat : 6324 (java) S 6283 6283 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500509630 8616062976 29547 33554432000 4194304 4196468 140724102897376 139658444925792 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6325] ppid=6283 vsize=8414124 memory=3475195960901435412 CPUtime=0.02 cores=0-7
/proc/6306/task/6325/stat : 6325 (java) S 6283 6283 5572 0 -1 1077944384 3 0 0 0 1 1 0 0 20 0 24 0 500509630 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659959196464 139660871084674 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6327] ppid=6283 vsize=8414124 memory=7596557092443533376 CPUtime=0 cores=0-7
/proc/6306/task/6327/stat : 6327 (java) S 6283 6283 5572 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500509695 8616062976 29547 33554432000 4194304 4196468 140724102897376 139659951163200 139660871098137 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6329] ppid=6283 vsize=8414124 memory=3157 CPUtime=0 cores=0-7
/proc/6306/task/6329/stat : 6329 (java) S 6283 6283 5572 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500509695 8616062976 29547 33554432000 4194304 4196468 140724102897376 139657773825424 139660871095453 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6330] ppid=6283 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6306/task/6330/stat : 6330 (java) S 6283 6283 5572 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500509695 8616062976 29547 33554432000 4194304 4196468 140724102897376 139658042260752 139660871095453 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
[pid=6306/tid=6331] ppid=6283 vsize=8414124 memory=118188 CPUtime=0 cores=0-7
/proc/6306/task/6331/stat : 6331 (java) S 6283 6283 5572 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 500509697 8616062976 29547 33554432000 4194304 4196468 140724102897376 139657505398064 139660871083733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7647232 140724102902776 140724102902934 140724102902934 140724102905807 0
Current children cumulated CPU time: 195.88 s
Current children cumulated vsize: 9193876 KiB
Current children cumulated memory: 299732 KiB

Child status: 0
Real time (s): 28.3615
CPU time (s): 196.008
CPU user time (s): 195.265
CPU system time (s): 0.74288
CPU usage (%): 691.105
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 794384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 195.265
system time used= 0.74288
maximum resident set size= 798284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201987
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9151
involuntary context switches= 2186


# summary of solver processes directly reported to runsolver:
#   pid: 6283
#   total CPU time (s): 196.008
#   total CPU user time (s): 195.265
#   total CPU system time (s): 0.74288

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.301985 second user time and 0.391337 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-23 14:39:24
IDJOB=4405531
IDBENCH=124317
IDSOLVER=2868
FILE ID=node127/4405531-1569242405
RUNJOBID= node127-1569238588-5599
PBS_JOBID= 21704903
Free space on /tmp= 35920 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Langford/Langford-m1-k4/Langford-4-15.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-4405531-1569242405/watcher-4405531-1569242405 -o /tmp/evaluation-result-4405531-1569242405/solver-4405531-1569242405 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569238588-5599 --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-4405531-1569242405.xml

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

MD5SUM BENCH= bb1ed06e96cb498235a61544b90f533b
RANDOM SEED=2091438772

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25770860 kB
MemAvailable:   31797688 kB
Buffers:           70360 kB
Cached:          6157648 kB
SwapCached:        44408 kB
Active:          3025272 kB
Inactive:        3254872 kB
Active(anon):       5136 kB
Inactive(anon):   104804 kB
Active(file):    3020136 kB
Inactive(file):  3150068 kB
Unevictable:      107068 kB
Mlocked:          107068 kB
SwapTotal:      67108860 kB
SwapFree:       66959684 kB
Dirty:             20684 kB
Writeback:             0 kB
AnonPages:        127916 kB
Mapped:            56272 kB
Shmem:             49024 kB
Slab:             314128 kB
SReclaimable:     285084 kB
SUnreclaim:        29044 kB
KernelStack:        3712 kB
PageTables:         5380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 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= 35900 MiB
End job on node127 at 2019-09-23 14:39:53