Trace number 4405231

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)UNSAT 195.751 27.7867

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-2170-serial-file.bin HOME/instance-4405231-1569242398.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Mon Sep 23 14:39:14 CEST 2019
0.65/0.57	c PID: 2173
0.65/0.57	c IP: 172.20.3.136
0.65/0.57	c HOST: node136.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.37/0.90	c (0,0) Parsing End
1.37/0.91	c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 46 ctr, max domain size 60
1.37/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.91	c (0,0) Constraint Name Generate Begin
1.37/0.91	c (0,0) Ctr:HOME/instance-4405231-1569242398.xml,Add:AllDifferent:Eq:Num:Var
1.37/0.91	c (0,0) Constraint Name Generate End
1.37/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.91	c (0,0) CSP to CSPinCNF Begin
2.85/1.40	c (0,0) translated 5 (10%) constraints
2.85/1.40	c (0,0) translated 10 (20%) constraints
2.85/1.40	c (0,0) translated 14 (30%) constraints
2.85/1.40	c (0,0) translated 19 (40%) constraints
2.85/1.40	c (0,0) translated 23 (50%) constraints
2.85/1.40	c (0,0) translated 28 (60%) constraints
2.85/1.41	c (0,0) translated 33 (70%) constraints
2.85/1.41	c (0,0) translated 37 (80%) constraints
2.85/1.41	c (0,0) translated 42 (90%) constraints
2.85/1.41	c (0,0) translated 46 (100%) constraints
2.85/1.41	c (0,0) ===========================================
2.85/1.41	c (0,0) Order
2.85/1.41	c (0,0) ===========================================
2.85/1.45	c (0,0) translated 188 (10%) constraints
2.85/1.47	c (0,0) translated 376 (20%) constraints
2.85/1.48	c (0,0) translated 564 (30%) constraints
2.85/1.50	c (0,0) translated 751 (40%) constraints
3.26/1.51	c (0,0) translated 939 (50%) constraints
3.26/1.52	c (0,0) translated 1127 (60%) constraints
3.26/1.53	c (0,0) translated 1314 (70%) constraints
3.26/1.54	c (1,0) translated 1502 (80%) constraints
3.26/1.55	c (1,1) translated 1690 (90%) constraints
4.39/1.88	c (1,1) translated 1877 (100%) constraints
4.39/1.88	c (1,1) CSP to CSPinCNF End
4.39/1.89	c (1,1) CSP: 60 int (0 aux), 3600 bool (3600 aux), 9122 ctr, max domain size 56
4.39/1.89	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.39/1.89	c (1,1) CSPinCNF Propagation Begin
5.26/2.08	c (1,1) 1485 values, 3177 unsatisfiable literals, and 3197 valid clauses are removed
5.26/2.08	c (1,1) CSPinCNF Propagation End
5.26/2.08	c (1,1) CSP: 60 int (0 aux), 3600 bool (3600 aux), 5925 ctr, max domain size 56
5.26/2.08	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.26/2.08	c (1,1) Simplify CSPinCNF Begin
5.68/2.19	c (1,1) Simplify CSPinCNF End
5.68/2.19	c (1,1) CSP: 60 int (0 aux), 6906 bool (6906 aux), 9231 ctr, max domain size 56
5.68/2.19	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.68/2.19	c (1,1) Calculate Precise Domain Begin
5.68/2.19	c (1,1) 0 values are removed by re-calculation
5.68/2.19	c (1,1) Calculate Precise Domain End
5.68/2.19	c (1,1) CSP: 60 int (0 aux), 6906 bool (6906 aux), 9231 ctr, max domain size 56
5.68/2.19	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.68/2.19	c (1,1) CSPinCNF to SatSolver Begin
7.38/2.57	c (2,2) 924 (10 %) CSP clauses are encoded (0 SAT variables, 21889 SAT clauses)
7.76/2.69	c (2,2) 1847 (20 %) CSP clauses are encoded (0 SAT variables, 36906 SAT clauses)
8.17/2.77	c (2,2) 2770 (30 %) CSP clauses are encoded (0 SAT variables, 52317 SAT clauses)
8.56/2.83	c (2,2) 3693 (40 %) CSP clauses are encoded (0 SAT variables, 63859 SAT clauses)
8.71/2.90	c (2,2) 4616 (50 %) CSP clauses are encoded (0 SAT variables, 78586 SAT clauses)
8.71/2.93	c (2,2) 5539 (60 %) CSP clauses are encoded (0 SAT variables, 84791 SAT clauses)
8.71/2.94	c (2,2) 6462 (70 %) CSP clauses are encoded (0 SAT variables, 85714 SAT clauses)
8.71/2.95	c (2,2) 7385 (80 %) CSP clauses are encoded (0 SAT variables, 86637 SAT clauses)
8.71/2.96	c (2,2) 8308 (90 %) CSP clauses are encoded (0 SAT variables, 87560 SAT clauses)
8.71/2.98	c (2,2) 9231 (100 %) CSP clauses are encoded (0 SAT variables, 91278 SAT clauses)
8.71/2.98	c (2,2) CSPinCNF to SatSolver End
8.71/2.98	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
8.71/2.98	c (2,2) 7476 bool, 91289 clause
8.71/2.98	c (2,2) Export Begin
8.89/3.06	c (2,2) Export to HOME/scop-2170-serial-file.bin
8.89/3.06	c (2,2) Export End
8.89/3.06	c (2,2) Export File Size: 0.01 MB
8.89/3.06	c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
8.89/3.06	c END-Prog: Mon Sep 23 14:39:17 CEST 2019
8.89/3.09	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-2170-serial-file.bin
9.04/3.57	c (0,0) Read Serial File Begin
9.04/3.57	c (0,0) HOME/scop-2170-serial-file.bin
9.04/3.77	c (0,0) Read Serial File End
9.04/3.78	
9.04/3.78	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
9.04/3.78	(Solving Process)
9.04/3.78	
9.04/3.80	c BEGIN-Prog: Mon Sep 23 14:39:17 CEST 2019
9.04/3.80	c PID: 2193
9.04/3.80	c IP: 172.20.3.136
9.04/3.80	c HOST: node136.alineos.net
9.04/3.81	c (0,0) SatSolver.solve Begin
9.04/3.81	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405231-1569242398.xml-scop-2173.cnf
9.04/3.84	c (0,0) c
9.04/3.84	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.04/3.84	c (0,0) c
9.04/3.84	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
9.04/3.84	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
9.04/3.84	c (0,0) c ========================================[ Problem Statistics ]===========================================
9.04/3.84	c (0,0) c |                                                                                                       |
9.04/3.86	c (0,0) c |  Number of variables:          7476                                                                   |
9.04/3.86	c (0,0) c |  Number of clauses:           91274                                                                   |
9.04/3.86	c (0,0) c |  Parse time:                   0.03 s                                                                 |
9.04/3.86	c (0,0) c |                                                                                                       |
9.04/3.94	c (0,0) c |  Simplification time:          0.08 s                                                                 |
9.04/3.94	c (0,0) c |                                                                                                       |
9.04/3.94	c (0,0) c |  Generating clones                                                                                    |
9.04/3.97	c (0,0) c |  all clones generated. Memory =    76.40Mb.                                                           |
9.04/3.97	c (0,0) c ========================================================================================================|
9.04/3.97	c (0,0) c
9.04/3.97	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
9.04/3.97	c (0,0) c
9.04/3.97	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.04/3.97	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
9.04/3.97	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.04/3.97	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
9.04/3.97	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
9.04/3.97	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
9.04/3.97	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
9.04/3.97	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
9.04/3.97	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
9.04/3.97	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
9.04/3.97	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
9.04/3.97	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
9.04/3.97	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
9.04/3.97	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
9.04/3.97	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
9.04/3.97	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
9.04/3.97	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
9.04/3.97	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
9.04/3.97	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.58/27.74	c (24,0) c
195.58/27.74	c (24,0) c real time : 23.9099 s
195.58/27.74	c (24,0) c cpu time  : 185.071 s
195.58/27.74	c (24,0) c
195.58/27.74	c (24,0) c
195.58/27.74	c (24,0) c
195.58/27.74	c (24,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
195.58/27.74	c (24,0) c
195.58/27.74	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.58/27.74	c (24,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
195.58/27.74	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.58/27.74	c (24,0) c | Conflicts     |          517634 |      65232 |      64487 |      64363 |      64075 |      64606 |      64907 |      65556 |      64408 |
195.58/27.74	c (24,0) c | Decisions     |          971118 |     121455 |     121076 |     119153 |     122247 |     121107 |     120538 |     122562 |     122980 |
195.58/27.74	c (24,0) c | Propagations  |       307113011 |   38603839 |   38333785 |   38203078 |   38513849 |   38194204 |   38269278 |   38415516 |   38579462 |
195.58/27.74	c (24,0) c | ReduceDBs     |              48 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |
195.58/27.74	c (24,0) c | SimpDBs       |             172 |         23 |         22 |         20 |         21 |         21 |         23 |         21 |         21 |
195.58/27.74	c (24,0) c | Restarts      |            1384 |        160 |        148 |        180 |        187 |        152 |        187 |        194 |        176 |
195.58/27.74	c (24,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
195.58/27.74	c (24,0) c | PropBinClauses|       970440886 |  123059064 |  120737898 |  121963837 |  120758926 |  121018901 |  120352661 |  121135580 |  121414019 |
195.58/27.74	c (24,0) c | PropPreBlocker|      4947889661 |  621336295 |  614260697 |  621894016 |  616051975 |  615949537 |  618979712 |  617276110 |  622141319 |
195.58/27.74	c (24,0) c | PropNotBlocker|      1381495359 |  173915099 |  172727927 |  174842851 |  173752338 |  174594964 |  171374819 |  170252813 |  170034548 |
195.58/27.74	c (24,0) c | LitFullScans  |      9162245680 | 1146157217 | 1134463366 | 1152053979 | 1139238238 | 1146064255 | 1151994913 | 1146199106 | 1146074606 |
195.58/27.74	c (24,0) c | LitScanFracts |         1322937 |     141686 |     432397 |      38237 |     201300 |      45408 |     239002 |     166716 |      58191 |
195.58/27.74	c (24,0) c | DecisionLevel0|            1549 |        181 |        166 |        201 |        204 |        170 |        210 |        211 |        206 |
195.58/27.74	c (24,0) c | Periods       |            1525 |        191 |        189 |        192 |        189 |        191 |        191 |        191 |        191 |
195.58/27.74	c (24,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
195.58/27.74	c (24,0) c | Avg_Trail     |                 |       3319 |       3331 |       3292 |       3281 |       3324 |       3320 |       3367 |       3340 |
195.58/27.74	c (24,0) c | Avg_DL        |                 |         16 |         16 |         17 |         17 |         17 |         15 |         17 |         17 |
195.58/27.74	c (24,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
195.58/27.74	c (24,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
195.58/27.74	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.58/27.74	c (24,0) c | Exported      |           85807 |      10309 |      10947 |      11191 |      10551 |      10272 |      10981 |      10257 |      11299 |
195.58/27.74	c (24,0) c | Imported      |          545458 |      68626 |      67232 |      67974 |      68052 |      68570 |      68435 |      68569 |      68000 |
195.58/27.74	c (24,0) c | Good          |           47798 |       5960 |       6001 |       5976 |       5981 |       6018 |       5909 |       5989 |       5964 |
195.58/27.74	c (24,0) c | Purge         |          497660 |      62666 |      61231 |      61998 |      62071 |      62552 |      62526 |      62580 |      62036 |
195.58/27.74	c (24,0) c | Promoted      |           62867 |       8092 |       8210 |       7107 |       8157 |       7883 |       7553 |       8103 |       7762 |
195.58/27.74	c (24,0) c | Remove_Imp    |          239888 |      31826 |      28395 |      27201 |      30131 |      29598 |      32022 |      31417 |      29298 |
195.58/27.74	c (24,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
195.58/27.74	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.58/27.74	c (24,0) c | Unaries       |                 |         21 |         18 |         21 |         17 |         18 |         23 |         17 |         30 |
195.58/27.74	c (24,0) c | Binaries      |                 |        927 |        824 |        921 |        888 |        893 |       1039 |        917 |        965 |
195.58/27.74	c (24,0) c | Glues         |                 |       3116 |       3225 |       3012 |       3037 |       3034 |       3251 |       2954 |       3106 |
195.58/27.74	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.58/27.74	c (24,0) c | Orig_Seen     |            71 % |      59356 |      59364 |      57119 |      58625 |      59847 |      54229 |      58807 |      57685 |
195.58/27.74	c (24,0) c | Diff Orig seen|                 |        731 |        739 | -     1506 |      X     |       1222 | -     4396 |        182 | -      940 |
195.58/27.74	c (24,0) c | Hamming       |            12 % |       1078 |        860 |        738 |      X     |       1077 |       1213 |        637 |        764 |
195.58/27.74	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.58/27.74	c (24,0) c | RunningTime   |                 |   23.7 100%|   23.7 100%|   22.9 100%|   23.6 100%|   22.9 100%|   22.8 100%|   22.9 100%|   23.1 100%|
195.58/27.74	c (24,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
195.58/27.74	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.58/27.74	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.58/27.74	c (24,0) c | SolvingTime   |                 |   23.7     |   23.8     |   22.9     |   23.7     |   23.0     |   22.9     |   22.9     |   23.1     |
195.58/27.74	c (24,0) c | PropagationTim|                 |   21.6  91%|   21.6  91%|   20.6  90%|   21.4  91%|   20.9  91%|   20.7  91%|   20.8  91%|   20.9  90%|
195.58/27.74	c (24,0) c | AnalysisTime  |                 |    1.4   6%|    1.5   6%|    1.6   7%|    1.5   6%|    1.4   6%|    1.5   6%|    1.5   6%|    1.5   7%|
195.58/27.74	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.58/27.74	c (24,0) c | SimplifyTime  |                 |    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.58/27.74	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.58/27.74	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.58/27.74	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.58/27.74	c (24,0) c
195.58/27.74	c (24,0) c
195.58/27.74	c (24,0) c Threads : 8
195.58/27.74	c (24,0) c Winner : 3
195.58/27.74	c (24,0) c Conflicts_0 : 65232
195.58/27.74	c (24,0) c Conflicts_1 : 64487
195.58/27.74	c (24,0) c Conflicts_2 : 64363
195.58/27.74	c (24,0) c Conflicts_3 : 64075
195.58/27.74	c (24,0) c Conflicts_4 : 64606
195.58/27.74	c (24,0) c Conflicts_5 : 64907
195.58/27.74	c (24,0) c Conflicts_6 : 65556
195.58/27.74	c (24,0) c Conflicts_7 : 64408
195.58/27.74	c (24,0) c Conflicts_total : 517634
195.58/27.74	c (24,0) c Conflicts_winner : 64075
195.58/27.74	c (24,0) c Decisions_0 : 121455
195.58/27.74	c (24,0) c Decisions_1 : 121076
195.58/27.74	c (24,0) c Decisions_2 : 119153
195.58/27.74	c (24,0) c Decisions_3 : 122247
195.58/27.74	c (24,0) c Decisions_4 : 121107
195.58/27.74	c (24,0) c Decisions_5 : 120538
195.58/27.74	c (24,0) c Decisions_6 : 122562
195.58/27.74	c (24,0) c Decisions_7 : 122980
195.58/27.74	c (24,0) c Decisions_total : 971118
195.58/27.74	c (24,0) c Decisions_winner : 122247
195.58/27.74	c (24,0) c Propagations_0 : 38603839
195.58/27.74	c (24,0) c Propagations_1 : 38333785
195.58/27.74	c (24,0) c Propagations_2 : 38203078
195.58/27.74	c (24,0) c Propagations_3 : 38513849
195.58/27.74	c (24,0) c Propagations_4 : 38194204
195.58/27.74	c (24,0) c Propagations_5 : 38269278
195.58/27.74	c (24,0) c Propagations_6 : 38415516
195.58/27.74	c (24,0) c Propagations_7 : 38579462
195.58/27.74	c (24,0) c Propagations_total : 307113011
195.58/27.75	c (24,0) c Propagations_winner : 38513849
195.58/27.75	c (24,0) c ReduceDBs_0 : 6
195.58/27.75	c (24,0) c ReduceDBs_1 : 6
195.58/27.75	c (24,0) c ReduceDBs_2 : 6
195.58/27.75	c (24,0) c ReduceDBs_3 : 6
195.58/27.75	c (24,0) c ReduceDBs_4 : 6
195.58/27.75	c (24,0) c ReduceDBs_5 : 6
195.58/27.75	c (24,0) c ReduceDBs_6 : 6
195.58/27.75	c (24,0) c ReduceDBs_7 : 6
195.58/27.75	c (24,0) c ReduceDBs_total : 48
195.58/27.75	c (24,0) c ReduceDBs_winner : 6
195.58/27.75	c (24,0) c SimpDBs_0 : 23
195.58/27.75	c (24,0) c SimpDBs_1 : 22
195.58/27.75	c (24,0) c SimpDBs_2 : 20
195.58/27.75	c (24,0) c SimpDBs_3 : 21
195.58/27.75	c (24,0) c SimpDBs_4 : 21
195.58/27.75	c (24,0) c SimpDBs_5 : 23
195.58/27.75	c (24,0) c SimpDBs_6 : 21
195.58/27.75	c (24,0) c SimpDBs_7 : 21
195.58/27.75	c (24,0) c SimpDBs_total : 172
195.58/27.75	c (24,0) c SimpDBs_winner : 21
195.58/27.75	c (24,0) c Restarts_0 : 160
195.58/27.75	c (24,0) c Restarts_1 : 148
195.58/27.75	c (24,0) c Restarts_2 : 180
195.58/27.75	c (24,0) c Restarts_3 : 187
195.58/27.75	c (24,0) c Restarts_4 : 152
195.58/27.75	c (24,0) c Restarts_5 : 187
195.58/27.75	c (24,0) c Restarts_6 : 194
195.58/27.75	c (24,0) c Restarts_7 : 176
195.58/27.75	c (24,0) c Restarts_total : 1384
195.58/27.75	c (24,0) c Restarts_winner : 187
195.58/27.75	c (24,0) c ForcedImports_0 : 0
195.58/27.75	c (24,0) c ForcedImports_1 : 0
195.58/27.75	c (24,0) c ForcedImports_2 : 0
195.58/27.75	c (24,0) c ForcedImports_3 : 0
195.58/27.75	c (24,0) c ForcedImports_4 : 0
195.58/27.75	c (24,0) c ForcedImports_5 : 0
195.58/27.75	c (24,0) c ForcedImports_6 : 0
195.58/27.75	c (24,0) c ForcedImports_7 : 0
195.58/27.75	c (24,0) c ForcedImports_total : 0
195.58/27.75	c (24,0) c ForcedImports_winner : 0
195.58/27.75	c (24,0) c PropsBinClauses_0 : 123059064
195.58/27.75	c (24,0) c PropsBinClauses_1 : 120737898
195.58/27.75	c (24,0) c PropsBinClauses_2 : 121963837
195.58/27.75	c (24,0) c PropsBinClauses_3 : 120758926
195.58/27.75	c (24,0) c PropsBinClauses_4 : 121018901
195.58/27.75	c (24,0) c PropsBinClauses_5 : 120352661
195.58/27.75	c (24,0) c PropsBinClauses_6 : 121135580
195.58/27.75	c (24,0) c PropsBinClauses_7 : 121414019
195.58/27.75	c (24,0) c PropsBinClauses_total : 970440886
195.58/27.75	c (24,0) c PropsBinClauses_winner : 120758926
195.58/27.75	c (24,0) c PropsPreBlocker_0 : 621336295
195.58/27.75	c (24,0) c PropsPreBlocker_1 : 614260697
195.58/27.75	c (24,0) c PropsPreBlocker_2 : 621894016
195.58/27.75	c (24,0) c PropsPreBlocker_3 : 616051975
195.58/27.75	c (24,0) c PropsPreBlocker_4 : 615949537
195.58/27.75	c (24,0) c PropsPreBlocker_5 : 618979712
195.58/27.75	c (24,0) c PropsPreBlocker_6 : 617276110
195.58/27.75	c (24,0) c PropsPreBlocker_7 : 622141319
195.58/27.75	c (24,0) c PropsPreBlocker_total : 4947889661
195.58/27.75	c (24,0) c PropsPreBlocker_winner : 616051975
195.58/27.75	c (24,0) c PropsNotBlocker_0 : 173915099
195.58/27.75	c (24,0) c PropsNotBlocker_1 : 172727927
195.58/27.75	c (24,0) c PropsNotBlocker_2 : 174842851
195.58/27.75	c (24,0) c PropsNotBlocker_3 : 173752338
195.58/27.75	c (24,0) c PropsNotBlocker_4 : 174594964
195.58/27.75	c (24,0) c PropsNotBlocker_5 : 171374819
195.58/27.75	c (24,0) c PropsNotBlocker_6 : 170252813
195.58/27.75	c (24,0) c PropsNotBlocker_7 : 170034548
195.58/27.75	c (24,0) c PropsNotBlocker_total : 1381495359
195.58/27.75	c (24,0) c PropsNotBlocker_winner : 173752338
195.58/27.75	c (24,0) c PropsLitFullScans_0 : 1146157217
195.58/27.75	c (24,0) c PropsLitFullScans_1 : 1134463366
195.58/27.75	c (24,0) c PropsLitFullScans_2 : 1152053979
195.58/27.75	c (24,0) c PropsLitFullScans_3 : 1139238238
195.58/27.75	c (24,0) c PropsLitFullScans_4 : 1146064255
195.58/27.75	c (24,0) c PropsLitFullScans_5 : 1151994913
195.58/27.75	c (24,0) c PropsLitFullScans_6 : 1146199106
195.58/27.75	c (24,0) c PropsLitFullScans_7 : 1146074606
195.58/27.75	c (24,0) c PropsLitFullScans_total : 9162245680
195.58/27.75	c (24,0) c PropsLitFullScans_winner : 1139238238
195.58/27.75	c (24,0) c LitScanFractions_0 : 141686
195.58/27.75	c (24,0) c LitScanFractions_1 : 432397
195.58/27.75	c (24,0) c LitScanFractions_2 : 38237
195.58/27.75	c (24,0) c LitScanFractions_3 : 201300
195.58/27.75	c (24,0) c LitScanFractions_4 : 45408
195.58/27.75	c (24,0) c LitScanFractions_5 : 239002
195.58/27.75	c (24,0) c LitScanFractions_6 : 166716
195.58/27.75	c (24,0) c LitScanFractions_7 : 58191
195.58/27.75	c (24,0) c LitScanFractions_total : 1322937
195.58/27.75	c (24,0) c LitScanFractions_winner : 201300
195.58/27.75	c (24,0) c DecisionLevel0_0 : 181
195.58/27.75	c (24,0) c DecisionLevel0_1 : 166
195.58/27.75	c (24,0) c DecisionLevel0_2 : 201
195.58/27.75	c (24,0) c DecisionLevel0_3 : 204
195.58/27.75	c (24,0) c DecisionLevel0_4 : 170
195.58/27.75	c (24,0) c DecisionLevel0_5 : 210
195.58/27.75	c (24,0) c DecisionLevel0_6 : 211
195.58/27.75	c (24,0) c DecisionLevel0_7 : 206
195.58/27.75	c (24,0) c DecisionLevel0_total : 1549
195.58/27.75	c (24,0) c DecisionLevel0_winner : 204
195.58/27.75	c (24,0) c Periods_0 : 191
195.58/27.75	c (24,0) c Periods_1 : 189
195.58/27.75	c (24,0) c Periods_2 : 192
195.58/27.75	c (24,0) c Periods_3 : 189
195.58/27.75	c (24,0) c Periods_4 : 191
195.58/27.75	c (24,0) c Periods_5 : 191
195.58/27.75	c (24,0) c Periods_6 : 191
195.58/27.75	c (24,0) c Periods_7 : 191
195.58/27.75	c (24,0) c Periods_total : 1525
195.58/27.75	c (24,0) c Periods_winner : 189
195.58/27.75	c (24,0) c Margin_0 : 20
195.58/27.75	c (24,0) c Margin_1 : 20
195.58/27.75	c (24,0) c Margin_2 : 20
195.58/27.75	c (24,0) c Margin_3 : 20
195.58/27.75	c (24,0) c Margin_4 : 20
195.58/27.75	c (24,0) c Margin_5 : 20
195.58/27.75	c (24,0) c Margin_6 : 20
195.58/27.75	c (24,0) c Margin_7 : 20
195.58/27.75	c (24,0) c Margin_total : 160
195.58/27.75	c (24,0) c Margin_winner : 20
195.58/27.75	c (24,0) c Exported_0 : 10309
195.58/27.75	c (24,0) c Exported_1 : 10947
195.58/27.75	c (24,0) c Exported_2 : 11191
195.58/27.75	c (24,0) c Exported_3 : 10551
195.58/27.75	c (24,0) c Exported_4 : 10272
195.58/27.75	c (24,0) c Exported_5 : 10981
195.58/27.75	c (24,0) c Exported_6 : 10257
195.58/27.75	c (24,0) c Exported_7 : 11299
195.58/27.75	c (24,0) c Exported_total : 85807
195.58/27.75	c (24,0) c Exported_winner : 10551
195.58/27.75	c (24,0) c Imported_0 : 68626
195.58/27.75	c (24,0) c Imported_1 : 67232
195.58/27.75	c (24,0) c Imported_2 : 67974
195.58/27.75	c (24,0) c Imported_3 : 68052
195.58/27.75	c (24,0) c Imported_4 : 68570
195.58/27.75	c (24,0) c Imported_5 : 68435
195.58/27.75	c (24,0) c Imported_6 : 68569
195.58/27.75	c (24,0) c Imported_7 : 68000
195.58/27.75	c (24,0) c Imported_total : 545458
195.58/27.75	c (24,0) c Imported_winner : 68052
195.58/27.75	c (24,0) c Good_0 : 5960
195.58/27.75	c (24,0) c Good_1 : 6001
195.58/27.75	c (24,0) c Good_2 : 5976
195.58/27.75	c (24,0) c Good_3 : 5981
195.58/27.75	c (24,0) c Good_4 : 6018
195.58/27.75	c (24,0) c Good_5 : 5909
195.58/27.75	c (24,0) c Good_6 : 5989
195.58/27.75	c (24,0) c Good_7 : 5964
195.58/27.75	c (24,0) c Good_total : 47798
195.58/27.75	c (24,0) c Good_winner : 5981
195.58/27.75	c (24,0) c Purge_0 : 62666
195.58/27.75	c (24,0) c Purge_1 : 61231
195.58/27.75	c (24,0) c Purge_2 : 61998
195.58/27.75	c (24,0) c Purge_3 : 62071
195.58/27.75	c (24,0) c Purge_4 : 62552
195.58/27.75	c (24,0) c Purge_5 : 62526
195.58/27.75	c (24,0) c Purge_6 : 62580
195.58/27.75	c (24,0) c Purge_7 : 62036
195.58/27.75	c (24,0) c Purge_total : 497660
195.58/27.75	c (24,0) c Purge_winner : 62071
195.58/27.75	c (24,0) c Promoted_0 : 8092
195.58/27.75	c (24,0) c Promoted_1 : 8210
195.58/27.75	c (24,0) c Promoted_2 : 7107
195.58/27.75	c (24,0) c Promoted_3 : 8157
195.58/27.75	c (24,0) c Promoted_4 : 7883
195.58/27.75	c (24,0) c Promoted_5 : 7553
195.58/27.75	c (24,0) c Promoted_6 : 8103
195.58/27.75	c (24,0) c Promoted_7 : 7762
195.58/27.75	c (24,0) c Promoted_total : 62867
195.58/27.75	c (24,0) c Promoted_winner : 8157
195.58/27.75	c (24,0) c Remove_Imp_0 : 31826
195.58/27.75	c (24,0) c Remove_Imp_1 : 28395
195.58/27.75	c (24,0) c Remove_Imp_2 : 27201
195.58/27.75	c (24,0) c Remove_Imp_3 : 30131
195.58/27.75	c (24,0) c Remove_Imp_4 : 29598
195.58/27.75	c (24,0) c Remove_Imp_5 : 32022
195.58/27.75	c (24,0) c Remove_Imp_6 : 31417
195.58/27.75	c (24,0) c Remove_Imp_7 : 29298
195.58/27.75	c (24,0) c Remove_Imp_total : 239888
195.58/27.75	c (24,0) c Remove_Imp_winner : 30131
195.58/27.75	c (24,0) c Blocked_Reuse_0 : 0
195.58/27.75	c (24,0) c Blocked_Reuse_1 : 0
195.58/27.75	c (24,0) c Blocked_Reuse_2 : 0
195.58/27.75	c (24,0) c Blocked_Reuse_3 : 0
195.58/27.75	c (24,0) c Blocked_Reuse_4 : 0
195.58/27.75	c (24,0) c Blocked_Reuse_5 : 0
195.58/27.75	c (24,0) c Blocked_Reuse_6 : 0
195.58/27.75	c (24,0) c Blocked_Reuse_7 : 0
195.58/27.75	c (24,0) c Blocked_Reuse_total : 0
195.58/27.75	c (24,0) c Blocked_Reuse_winner : 0
195.58/27.75	c (24,0) c Unaries_0 : 21
195.58/27.75	c (24,0) c Unaries_1 : 18
195.58/27.75	c (24,0) c Unaries_2 : 21
195.58/27.75	c (24,0) c Unaries_3 : 17
195.58/27.75	c (24,0) c Unaries_4 : 18
195.58/27.75	c (24,0) c Unaries_5 : 23
195.58/27.75	c (24,0) c Unaries_6 : 17
195.58/27.75	c (24,0) c Unaries_7 : 30
195.58/27.75	c (24,0) c Unaries_total : 165
195.58/27.75	c (24,0) c Unaries_winner : 17
195.58/27.75	c (24,0) c Binaries_0 : 927
195.58/27.75	c (24,0) c Binaries_1 : 824
195.58/27.75	c (24,0) c Binaries_2 : 921
195.58/27.75	c (24,0) c Binaries_3 : 888
195.58/27.75	c (24,0) c Binaries_4 : 893
195.58/27.75	c (24,0) c Binaries_5 : 1039
195.58/27.75	c (24,0) c Binaries_6 : 917
195.58/27.75	c (24,0) c Binaries_7 : 965
195.58/27.75	c (24,0) c Binaries_total : 7374
195.58/27.75	c (24,0) c Binaries_winner : 888
195.58/27.75	c (24,0) c Glues_0 : 3116
195.58/27.75	c (24,0) c Glues_1 : 3225
195.58/27.75	c (24,0) c Glues_2 : 3012
195.58/27.75	c (24,0) c Glues_3 : 3037
195.58/27.75	c (24,0) c Glues_4 : 3034
195.58/27.75	c (24,0) c Glues_5 : 3251
195.58/27.75	c (24,0) c Glues_6 : 2954
195.58/27.75	c (24,0) c Glues_7 : 3106
195.58/27.75	c (24,0) c Glues_total : 24735
195.58/27.75	c (24,0) c Glues_winner : 3037
195.58/27.75	c (24,0) c RunningTime_0 : 23.651776
195.58/27.75	c (24,0) c RunningTime_1 : 23.726197
195.58/27.75	c (24,0) c RunningTime_2 : 22.901553
195.58/27.75	c (24,0) c RunningTime_3 : 23.625157
195.58/27.75	c (24,0) c RunningTime_4 : 22.935148
195.58/27.75	c (24,0) c RunningTime_5 : 22.831033
195.58/27.75	c (24,0) c RunningTime_6 : 22.883113
195.58/27.75	c (24,0) c RunningTime_7 : 23.071694
195.58/27.75	c (24,0) c RunningTime_total : 185.625671
195.58/27.75	c (24,0) c RunningTime_winner : 23.625157
195.58/27.75	c (24,0) c WaitingTime_0 : 0.000231
195.58/27.75	c (24,0) c WaitingTime_1 : 0.000205
195.58/27.75	c (24,0) c WaitingTime_2 : 0.000315
195.58/27.75	c (24,0) c WaitingTime_3 : 0.000220
195.58/27.75	c (24,0) c WaitingTime_4 : 0.000281
195.58/27.75	c (24,0) c WaitingTime_5 : 0.000285
195.58/27.75	c (24,0) c WaitingTime_6 : 0.000293
195.58/27.75	c (24,0) c WaitingTime_7 : 0.000298
195.58/27.75	c (24,0) c WaitingTime_total : 0.002129
195.58/27.75	c (24,0) c WaitingTime_winner : 0.000220
195.58/27.75	c (24,0) c ExchangingTime_0 : 0.032156
195.58/27.75	c (24,0) c ExchangingTime_1 : 0.031344
195.58/27.75	c (24,0) c ExchangingTime_2 : 0.032926
195.58/27.75	c (24,0) c ExchangingTime_3 : 0.040417
195.58/27.75	c (24,0) c ExchangingTime_4 : 0.032834
195.58/27.75	c (24,0) c ExchangingTime_5 : 0.033599
195.58/27.75	c (24,0) c ExchangingTime_6 : 0.032850
195.58/27.75	c (24,0) c ExchangingTime_7 : 0.033292
195.58/27.75	c (24,0) c ExchangingTime_total : 0.269419
195.58/27.75	c (24,0) c ExchangingTime_winner : 0.040417
195.58/27.75	c (24,0) c PeriodProcTime_0 : 0.001787
195.58/27.75	c (24,0) c PeriodProcTime_1 : 0.001828
195.58/27.75	c (24,0) c PeriodProcTime_2 : 0.001466
195.58/27.75	c (24,0) c PeriodProcTime_3 : 0.001927
195.58/27.75	c (24,0) c PeriodProcTime_4 : 0.001455
195.58/27.75	c (24,0) c PeriodProcTime_5 : 0.001431
195.58/27.75	c (24,0) c PeriodProcTime_6 : 0.001470
195.58/27.75	c (24,0) c PeriodProcTime_7 : 0.001845
195.58/27.75	c (24,0) c PeriodProcTime_total : 0.013209
195.58/27.75	c (24,0) c PeriodProcTime_winner : 0.001927
195.58/27.75	c (24,0) c SolvingTime_0 : 23.685951
195.58/27.75	c (24,0) c SolvingTime_1 : 23.759575
195.58/27.75	c (24,0) c SolvingTime_2 : 22.936260
195.58/27.75	c (24,0) c SolvingTime_3 : 23.667721
195.58/27.75	c (24,0) c SolvingTime_4 : 22.969718
195.58/27.75	c (24,0) c SolvingTime_5 : 22.866348
195.58/27.75	c (24,0) c SolvingTime_6 : 22.917727
195.58/27.75	c (24,0) c SolvingTime_7 : 23.107128
195.58/27.75	c (24,0) c SolvingTime_total : 185.910427
195.58/27.75	c (24,0) c SolvingTime_winner : 23.667721
195.58/27.75	c (24,0) c PropagationTime_0 : 21.554188
195.58/27.75	c (24,0) c PropagationTime_1 : 21.565979
195.58/27.75	c (24,0) c PropagationTime_2 : 20.607999
195.58/27.75	c (24,0) c PropagationTime_3 : 21.448422
195.58/27.75	c (24,0) c PropagationTime_4 : 20.856381
195.58/27.75	c (24,0) c PropagationTime_5 : 20.701730
195.58/27.75	c (24,0) c PropagationTime_6 : 20.758281
195.58/27.75	c (24,0) c PropagationTime_7 : 20.858684
195.58/27.75	c (24,0) c PropagationTime_total : 168.351665
195.58/27.75	c (24,0) c PropagationTime_winner : 21.448422
195.58/27.75	c (24,0) c AnalysisTime_0 : 1.426858
195.58/27.75	c (24,0) c AnalysisTime_1 : 1.476536
195.58/27.75	c (24,0) c AnalysisTime_2 : 1.644330
195.58/27.76	c (24,0) c AnalysisTime_3 : 1.483466
195.58/27.76	c (24,0) c AnalysisTime_4 : 1.423272
195.58/27.76	c (24,0) c AnalysisTime_5 : 1.451110
195.58/27.76	c (24,0) c AnalysisTime_6 : 1.462803
195.58/27.76	c (24,0) c AnalysisTime_7 : 1.535149
195.58/27.76	c (24,0) c AnalysisTime_total : 11.903524
195.58/27.76	c (24,0) c AnalysisTime_winner : 1.483466
195.58/27.76	c (24,0) c ReductionTime_0 : 0.097073
195.58/27.76	c (24,0) c ReductionTime_1 : 0.101797
195.58/27.76	c (24,0) c ReductionTime_2 : 0.099619
195.58/27.76	c (24,0) c ReductionTime_3 : 0.104081
195.58/27.76	c (24,0) c ReductionTime_4 : 0.101011
195.58/27.76	c (24,0) c ReductionTime_5 : 0.099754
195.58/27.76	c (24,0) c ReductionTime_6 : 0.099528
195.58/27.76	c (24,0) c ReductionTime_7 : 0.106248
195.58/27.76	c (24,0) c ReductionTime_total : 0.809110
195.58/27.76	c (24,0) c ReductionTime_winner : 0.104081
195.58/27.76	c (24,0) c SimplifyTime_0 : 0.092372
195.58/27.76	c (24,0) c SimplifyTime_1 : 0.095405
195.58/27.76	c (24,0) c SimplifyTime_2 : 0.087520
195.58/27.76	c (24,0) c SimplifyTime_3 : 0.102062
195.58/27.76	c (24,0) c SimplifyTime_4 : 0.091471
195.58/27.76	c (24,0) c SimplifyTime_5 : 0.097520
195.58/27.76	c (24,0) c SimplifyTime_6 : 0.091094
195.58/27.76	c (24,0) c SimplifyTime_7 : 0.093060
195.58/27.76	c (24,0) c SimplifyTime_total : 0.750504
195.58/27.76	c (24,0) c SimplifyTime_winner : 0.102062
195.58/27.76	c (24,0) c UsedRateTime_0 : 0.000000
195.58/27.76	c (24,0) c UsedRateTime_1 : 0.000000
195.58/27.76	c (24,0) c UsedRateTime_2 : 0.000000
195.58/27.76	c (24,0) c UsedRateTime_3 : 0.000000
195.58/27.76	c (24,0) c UsedRateTime_4 : 0.000000
195.58/27.76	c (24,0) c UsedRateTime_5 : 0.000000
195.58/27.76	c (24,0) c UsedRateTime_6 : 0.000000
195.58/27.76	c (24,0) c UsedRateTime_7 : 0.000000
195.58/27.76	c (24,0) c UsedRateTime_total : 0.000000
195.58/27.76	c (24,0) c UsedRateTime_winner : 0.000000
195.58/27.76	c (24,0) c OverlapRateTime_0 : 0.000000
195.58/27.76	c (24,0) c OverlapRateTime_1 : 0.000000
195.58/27.76	c (24,0) c OverlapRateTime_2 : 0.000000
195.58/27.76	c (24,0) c OverlapRateTime_3 : 0.000000
195.58/27.76	c (24,0) c OverlapRateTime_4 : 0.000000
195.58/27.76	c (24,0) c OverlapRateTime_5 : 0.000000
195.58/27.76	c (24,0) c OverlapRateTime_6 : 0.000000
195.58/27.76	c (24,0) c OverlapRateTime_7 : 0.000000
195.58/27.76	c (24,0) c OverlapRateTime_total : 0.000000
195.58/27.76	c (24,0) c OverlapRateTime_winner : 0.000000
195.58/27.76	c (24,0) c
195.58/27.76	c (24,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
195.58/27.76	c (24,0) c
195.58/27.76	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.58/27.76	c (24,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
195.58/27.76	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.58/27.76	c (24,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
195.58/27.76	c (24,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
195.58/27.76	c (24,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
195.58/27.76	c (24,0) c | Initial random_seed   |  972687689 |  518612122 |  912303774 | 1321125556 |  133345519 |  697861537 |  752186079 | 1588109612 |
195.58/27.76	c (24,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
195.58/27.76	c (24,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
195.58/27.76	c (24,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
195.58/27.76	c (24,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
195.58/27.76	c (24,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
195.58/27.76	c (24,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
195.58/27.76	c (24,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
195.58/27.76	c (24,0) c | var_decay             |     0.9300 |     0.9200 |     0.9200 |     0.9200 |     0.9200 |     0.9200 |     0.9300 |     0.9200 |
195.58/27.76	c (24,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
195.58/27.76	c (24,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
195.58/27.76	c (24,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
195.58/27.76	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.58/27.76	c (24,0) 
195.58/27.76	c (24,0) s UNSATISFIABLE
195.58/27.76	c (24,0) SatSolver.solve End
195.58/27.76	c (24,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
195.58/27.76	c (24,0) Show results Begin
195.58/27.76	s UNSATISFIABLE
195.58/27.76	c (24,0) Show results End
195.58/27.76	c (24,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
195.58/27.76	c (24,0) 24,24,STOP-AFTER(ALL)
195.58/27.76	c END-Prog: Mon Sep 23 14:39:41 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 (13167 MiB free)
  memory of node 1: 16384 MiB (12303 MiB free)
  node distances:
     10  21
     21  10

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

solver pid=2170, runsolver pid=2167

[startup+0.100138 s]*
/proc/loadavg: 5.89 2.59 2.32 2/211 2192
/proc/meminfo: memFree=25985428/32770624 swapFree=67002076/67108860
[pid=2170] ppid=2167 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/2170/stat : 2170 (scop.sh) S 2167 2170 1211 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 500488424 115843072 349 33554432000 4194304 5098028 140725181729568 140725181726824 140637699564156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13316096 140725181731581 140725181731928 140725181731928 140725181734857 0
/proc/2170/statm: 28282 349 297 221 0 87 0
[pid=2173] ppid=2170 vsize=27314120 memory=107552 CPUtime=0.1 cores=0-7
/proc/2173/stat : 2173 (java) S 2170 2170 1211 0 -1 1077944320 6469 0 0 0 8 2 0 0 20 0 20 0 500488424 27969658880 26888 33554432000 4194304 4196468 140734850329664 140734850312208 140014696607479 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
/proc/2173/statm: 6828530 26888 2772 1 0 6790935 0
[pid=2173/tid=2174] ppid=2170 vsize=27314120 memory=1400242874264906928 CPUtime=0.09 cores=0-7
/proc/2173/task/2174/stat : 2174 (java) R 2170 2170 1211 0 -1 4202560 4598 0 0 0 7 2 0 0 20 0 20 0 500488424 27969658880 26952 33554432000 4194304 4196468 140734850329664 140014668433808 140014696619414 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2175] ppid=2170 vsize=27314120 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/2173/task/2175/stat : 2175 (java) S 2170 2170 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 26952 33554432000 4194304 4196468 140734850329664 140014700849680 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2176] ppid=2170 vsize=27314120 memory=140259506706048 CPUtime=0 cores=0-7
/proc/2173/task/2176/stat : 2176 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 26952 33554432000 4194304 4196468 140734850329664 140014118402704 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2177] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2177/stat : 2177 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 26952 33554432000 4194304 4196468 140734850329664 140014117349648 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2178] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2178/stat : 2178 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 26952 33554432000 4194304 4196468 140734850329664 140014116297104 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2179] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2179/stat : 2179 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 26952 33554432000 4194304 4196468 140734850329664 140014115245072 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2180] ppid=2170 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2173/task/2180/stat : 2180 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 26952 33554432000 4194304 4196468 140734850329664 140014114192528 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2181] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2181/stat : 2181 (java) S 2170 2170 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 26952 33554432000 4194304 4196468 140734850329664 140014113139472 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2182] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2182/stat : 2182 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 27017 33554432000 4194304 4196468 140734850329664 140014112086928 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2183] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2183/stat : 2183 (java) S 2170 2170 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500488428 27969658880 27017 33554432000 4194304 4196468 140734850329664 140012815530224 140014696618626 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2184] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2184/stat : 2184 (java) S 2170 2170 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500488429 27969658880 27017 33554432000 4194304 4196468 140734850329664 140012645508256 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2185] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2185/stat : 2185 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488429 27969658880 27017 33554432000 4194304 4196468 140734850329664 140012377072368 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2186] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2186/stat : 2186 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488432 27969658880 27017 33554432000 4194304 4196468 140734850329664 140012002564048 140014696626075 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2187] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2187/stat : 2187 (java) S 2170 2170 1211 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 20 0 500488432 27969658880 27017 33554432000 4194304 4196468 140734850329664 140012814478064 140014696618626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2188] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2188/stat : 2188 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488432 27969658880 27017 33554432000 4194304 4196468 140734850329664 140012813425520 140014696618626 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2189] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2189/stat : 2189 (java) R 2170 2170 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500488432 27969658880 27017 33554432000 4194304 4196468 140734850329664 140012812372464 140014696618626 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2190] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2190/stat : 2190 (java) S 2170 2170 1211 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 20 0 500488432 27969658880 27017 33554432000 4194304 4196468 140734850329664 140012811319920 140014696618626 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2191] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2191/stat : 2191 (java) S 2170 2170 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500488432 27969658880 27017 33554432000 4194304 4196468 140734850329664 140011504658912 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2192] ppid=2170 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2173/task/2192/stat : 2192 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488432 27969658880 27017 33554432000 4194304 4196468 140734850329664 140012810267312 140014696618626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108948 KiB

[startup+0.210199 s]*
/proc/loadavg: 5.89 2.59 2.32 2/211 2192
/proc/meminfo: memFree=25967872/32770624 swapFree=67002076/67108860
[pid=2170] ppid=2167 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/2170/stat : 2170 (scop.sh) S 2167 2170 1211 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 500488424 115843072 349 33554432000 4194304 5098028 140725181729568 140725181726824 140637699564156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13316096 140725181731581 140725181731928 140725181731928 140725181734857 0
/proc/2170/statm: 28282 349 297 221 0 87 0
[pid=2173] ppid=2170 vsize=27314120 memory=124752 CPUtime=0.25 cores=0-7
/proc/2173/stat : 2173 (java) S 2170 2170 1211 0 -1 1077944320 11379 0 0 0 21 4 0 0 20 0 20 0 500488424 27969658880 31188 33554432000 4194304 4196468 140734850329664 140734850312208 140014696607479 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
/proc/2173/statm: 6828530 31188 2955 1 0 6790935 0
[pid=2173/tid=2174] ppid=2170 vsize=27314120 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/2173/task/2174/stat : 2174 (java) R 2170 2170 1211 0 -1 4202560 9096 0 0 0 16 3 0 0 20 0 20 0 500488424 27969658880 31188 33554432000 4194304 4196468 140734850329664 140014668411856 140014678171054 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2175] ppid=2170 vsize=27314120 memory=288230600413020183 CPUtime=0 cores=0-7
/proc/2173/task/2175/stat : 2175 (java) S 2170 2170 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 31188 33554432000 4194304 4196468 140734850329664 140014700849680 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2176] ppid=2170 vsize=27314120 memory=288370635658417792 CPUtime=0 cores=0-7
/proc/2173/task/2176/stat : 2176 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 31188 33554432000 4194304 4196468 140734850329664 140014118402704 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2177] ppid=2170 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2173/task/2177/stat : 2177 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 31188 33554432000 4194304 4196468 140734850329664 140014117349648 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2178] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2178/stat : 2178 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 31188 33554432000 4194304 4196468 140734850329664 140014116297104 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2179] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2179/stat : 2179 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 31188 33554432000 4194304 4196468 140734850329664 140014115245072 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2180] ppid=2170 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2173/task/2180/stat : 2180 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 31188 33554432000 4194304 4196468 140734850329664 140014114192528 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2181] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2181/stat : 2181 (java) S 2170 2170 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 31188 33554432000 4194304 4196468 140734850329664 140014113139472 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2182] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2182/stat : 2182 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 31188 33554432000 4194304 4196468 140734850329664 140014112086928 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2183] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2183/stat : 2183 (java) S 2170 2170 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500488428 27969658880 31188 33554432000 4194304 4196468 140734850329664 140012815530224 140014696618626 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2184] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2184/stat : 2184 (java) S 2170 2170 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500488429 27969658880 31188 33554432000 4194304 4196468 140734850329664 140012645508256 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2185] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2185/stat : 2185 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488429 27969658880 31188 33554432000 4194304 4196468 140734850329664 140012377072368 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2186] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2186/stat : 2186 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488432 27969658880 31188 33554432000 4194304 4196468 140734850329664 140012002564048 140014696626075 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2187] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2187/stat : 2187 (java) S 2170 2170 1211 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 500488432 27969658880 31188 33554432000 4194304 4196468 140734850329664 140012814478064 140014696618626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2188] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2188/stat : 2188 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488432 27969658880 31188 33554432000 4194304 4196468 140734850329664 140012813425520 140014696618626 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2189] ppid=2170 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2173/task/2189/stat : 2189 (java) S 2170 2170 1211 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 500488432 27969658880 31188 33554432000 4194304 4196468 140734850329664 140012812372464 140014696618626 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2190] ppid=2170 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/2173/task/2190/stat : 2190 (java) S 2170 2170 1211 0 -1 1077944384 491 0 0 0 2 0 0 0 20 0 20 0 500488432 27969658880 31188 33554432000 4194304 4196468 140734850329664 140012811319920 140014696618626 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2191] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2191/stat : 2191 (java) S 2170 2170 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500488432 27969658880 31188 33554432000 4194304 4196468 140734850329664 140011504658912 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2192] ppid=2170 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2173/task/2192/stat : 2192 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488432 27969658880 31188 33554432000 4194304 4196468 140734850329664 140012810267312 140014696618626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126148 KiB

[startup+0.309502 s]*
/proc/loadavg: 5.89 2.59 2.32 2/211 2192
/proc/meminfo: memFree=25964460/32770624 swapFree=67002076/67108860
[pid=2170] ppid=2167 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/2170/stat : 2170 (scop.sh) S 2167 2170 1211 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 500488424 115843072 349 33554432000 4194304 5098028 140725181729568 140725181726824 140637699564156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13316096 140725181731581 140725181731928 140725181731928 140725181734857 0
/proc/2170/statm: 28282 349 297 221 0 87 0
[pid=2173] ppid=2170 vsize=27314120 memory=128040 CPUtime=0.42 cores=0-7
/proc/2173/stat : 2173 (java) S 2170 2170 1211 0 -1 1077944320 12427 0 0 0 37 5 0 0 20 0 20 0 500488424 27969658880 32010 33554432000 4194304 4196468 140734850329664 140734850312208 140014696607479 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
/proc/2173/statm: 6828530 32010 2989 1 0 6790935 0
[pid=2173/tid=2174] ppid=2170 vsize=27314120 memory=1399051139730258233 CPUtime=0.29 cores=0-7
/proc/2173/task/2174/stat : 2174 (java) R 2170 2170 1211 0 -1 4202560 9974 0 0 0 25 4 0 0 20 0 20 0 500488424 27969658880 32010 33554432000 4194304 4196468 140734850329664 140014668390496 140014676883277 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2175] ppid=2170 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2173/task/2175/stat : 2175 (java) S 2170 2170 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 32010 33554432000 4194304 4196468 140734850329664 140014700849680 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2176] ppid=2170 vsize=27314120 memory=12040 CPUtime=0 cores=0-7
/proc/2173/task/2176/stat : 2176 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 32010 33554432000 4194304 4196468 140734850329664 140014118402704 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2177] ppid=2170 vsize=27314120 memory=2120 CPUtime=0 cores=0-7
/proc/2173/task/2177/stat : 2177 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 32010 33554432000 4194304 4196468 140734850329664 140014117349648 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2178] ppid=2170 vsize=27314120 memory=33660 CPUtime=0 cores=0-7
/proc/2173/task/2178/stat : 2178 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 32010 33554432000 4194304 4196468 140734850329664 140014116297104 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2179] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2179/stat : 2179 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 32010 33554432000 4194304 4196468 140734850329664 140014115245072 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2180] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2180/stat : 2180 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 32010 33554432000 4194304 4196468 140734850329664 140014114192528 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2181] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2181/stat : 2181 (java) S 2170 2170 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 32010 33554432000 4194304 4196468 140734850329664 140014113139472 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2182] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2182/stat : 2182 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488427 27969658880 32010 33554432000 4194304 4196468 140734850329664 140014112086928 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2183] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2183/stat : 2183 (java) S 2170 2170 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500488428 27969658880 32010 33554432000 4194304 4196468 140734850329664 140012815530224 140014696618626 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2184] ppid=2170 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/2173/task/2184/stat : 2184 (java) S 2170 2170 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500488429 27969658880 32010 33554432000 4194304 4196468 140734850329664 140012645508256 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2185] ppid=2170 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/2173/task/2185/stat : 2185 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488429 27969658880 32010 33554432000 4194304 4196468 140734850329664 140012377072368 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2186] ppid=2170 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/2173/task/2186/stat : 2186 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488432 27969658880 32010 33554432000 4194304 4196468 140734850329664 140012002564048 140014696626075 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2187] ppid=2170 vsize=27314120 memory=2244 CPUtime=0.01 cores=0-7
/proc/2173/task/2187/stat : 2187 (java) S 2170 2170 1211 0 -1 1077944384 382 0 0 0 1 0 0 0 20 0 20 0 500488432 27969658880 32010 33554432000 4194304 4196468 140734850329664 140012814478064 140014696618626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2188] ppid=2170 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/2173/task/2188/stat : 2188 (java) S 2170 2170 1211 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 500488432 27969658880 32010 33554432000 4194304 4196468 140734850329664 140012813425520 140014696618626 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2189] ppid=2170 vsize=27314120 memory=2244 CPUtime=0.01 cores=0-7
/proc/2173/task/2189/stat : 2189 (java) S 2170 2170 1211 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 20 0 500488432 27969658880 32010 33554432000 4194304 4196468 140734850329664 140012812372464 140014696618626 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2190] ppid=2170 vsize=27314120 memory=2244 CPUtime=0.07 cores=0-7
/proc/2173/task/2190/stat : 2190 (java) S 2170 2170 1211 0 -1 1077944384 512 0 0 0 7 0 0 0 20 0 20 0 500488432 27969658880 32010 33554432000 4194304 4196468 140734850329664 140012811319920 140014696618626 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2191] ppid=2170 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2191/stat : 2191 (java) S 2170 2170 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500488432 27969658880 32010 33554432000 4194304 4196468 140734850329664 140011504658912 140014696617685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2192] ppid=2170 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2173/task/2192/stat : 2192 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488432 27969658880 32010 33554432000 4194304 4196468 140734850329664 140012810267312 140014696618626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129436 KiB

[startup+0.700872 s]
/proc/loadavg: 5.89 2.59 2.32 3/211 2192
/proc/meminfo: memFree=25942388/32770624 swapFree=67002076/67108860
[pid=2170] ppid=2167 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/2170/stat : 2170 (scop.sh) S 2167 2170 1211 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 500488424 115843072 349 33554432000 4194304 5098028 140725181729568 140725181726824 140637699564156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13316096 140725181731581 140725181731928 140725181731928 140725181734857 0
/proc/2170/statm: 28282 349 297 221 0 87 0
[pid=2173] ppid=2170 vsize=27322516 memory=165412 CPUtime=0.97 cores=0-7
/proc/2173/stat : 2173 (java) S 2170 2170 1211 0 -1 1077944320 19962 0 0 0 90 7 0 0 20 0 20 0 500488424 27978256384 41353 33554432000 4194304 4196468 140734850329664 140734850312208 140014696607479 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
/proc/2173/statm: 6830629 41353 3182 1 0 6791959 0
[pid=2173/tid=2174] ppid=2170 vsize=27322516 memory=4580 CPUtime=0.67 cores=0-7
/proc/2173/task/2174/stat : 2174 (java) R 2170 2170 1211 0 -1 4202560 17069 0 0 0 61 6 0 0 20 0 20 0 500488424 27978256384 41353 33554432000 4194304 4196468 140734850329664 140014668439248 140014680687966 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2175] ppid=2170 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2175/stat : 2175 (java) S 2170 2170 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500488427 27978256384 41353 33554432000 4194304 4196468 140734850329664 140014700849680 140014696617685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2176] ppid=2170 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/2173/task/2176/stat : 2176 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488427 27978256384 41353 33554432000 4194304 4196468 140734850329664 140014118402704 140014696617685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0
[pid=2173/tid=2177] ppid=2170 vsize=27322516 memory=55 CPUtime=0 cores=0-7
/proc/2173/task/2177/stat : 2177 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500488427 27978256384 41353 33554432000 4194304 4196468 140734850329664 140014117349648 140014696617685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25554944 140734850335432 140734850335878 140734850335878 140734850338767 0

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

[pid=2193/tid=2207] ppid=2170 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/2193/task/2207/stat : 2207 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500488739 8616062976 29997 33554432000 4194304 4196468 140721636817024 140481535141104 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2208] ppid=2170 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/2193/task/2208/stat : 2208 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500488741 8616062976 29997 33554432000 4194304 4196468 140721636817024 140481160632784 140483129853851 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2209] ppid=2170 vsize=8414124 memory=61692 CPUtime=0.04 cores=0-7
/proc/2193/task/2209/stat : 2209 (java) S 2170 2170 1211 0 -1 1077944384 505 0 0 0 4 0 0 0 20 0 24 0 500488741 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482423650544 140483129846402 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2210] ppid=2170 vsize=8414124 memory=988 CPUtime=0.08 cores=0-7
/proc/2193/task/2210/stat : 2210 (java) S 2170 2170 1211 0 -1 1077944384 455 0 0 0 8 0 0 0 20 0 24 0 500488741 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482422598000 140483129846402 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2211] ppid=2170 vsize=8414124 memory=2024 CPUtime=0.04 cores=0-7
/proc/2193/task/2211/stat : 2211 (java) S 2170 2170 1211 0 -1 1077944384 188 0 0 0 4 0 0 0 20 0 24 0 500488741 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482421544944 140483129846402 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2212] ppid=2170 vsize=8414124 memory=1416 CPUtime=0.18 cores=0-7
/proc/2193/task/2212/stat : 2212 (java) S 2170 2170 1211 0 -1 1077944384 537 0 0 0 18 0 0 0 20 0 24 0 500488741 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482420492400 140483129846402 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2213] ppid=2170 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/2193/task/2213/stat : 2213 (java) S 2170 2170 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500488742 8616062976 29997 33554432000 4194304 4196468 140721636817024 140480662727648 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2214] ppid=2170 vsize=8414124 memory=81 CPUtime=0.01 cores=0-7
/proc/2193/task/2214/stat : 2214 (java) S 2170 2170 1211 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 500488742 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482419440816 140483129846402 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2216] ppid=2170 vsize=8414124 memory=7091870255954486889 CPUtime=0 cores=0-7
/proc/2193/task/2216/stat : 2216 (java) S 2170 2170 1211 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500488807 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482411406784 140483129859865 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2218] ppid=2170 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/2193/task/2218/stat : 2218 (java) S 2170 2170 1211 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 500488808 8616062976 29997 33554432000 4194304 4196468 140721636817024 140479991627280 140483129857181 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2219] ppid=2170 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/2193/task/2219/stat : 2219 (java) S 2170 2170 1211 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500488808 8616062976 29997 33554432000 4194304 4196468 140721636817024 140480260062864 140483129857181 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2220] ppid=2170 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/2193/task/2220/stat : 2220 (java) S 2170 2170 1211 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500488810 8616062976 29997 33554432000 4194304 4196468 140721636817024 140479723199408 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
Current children cumulated CPU time: 194.16 s
Current children cumulated vsize: 9198228 KiB
Current children cumulated memory: 305076 KiB

[startup+27.6014 s]
/proc/loadavg: 6.45 3.03 2.48 5/220 2228
/proc/meminfo: memFree=25788096/32770624 swapFree=67002076/67108860
[pid=2170] ppid=2167 vsize=113128 memory=1472 CPUtime=9.04 cores=0-7
/proc/2170/stat : 2170 (scop.sh) S 2167 2170 1211 0 -1 4202496 582 28114 0 0 0 0 881 23 20 0 1 0 500488424 115843072 368 33554432000 4194304 5098028 140725181729568 140725181726312 140637699564156 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13316096 140725181731581 140725181731928 140725181731928 140725181734857 0
/proc/2170/statm: 28282 368 311 221 0 87 0
[pid=2193] ppid=2170 vsize=8414124 memory=119988 CPUtime=1.15 cores=0-7
/proc/2193/stat : 2193 (java) S 2170 2170 1211 0 -1 1077944320 20483 0 0 0 109 6 0 0 20 0 24 0 500488733 8616062976 29997 33554432000 4194304 4196468 140721636817024 140721636799568 140483129835255 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
/proc/2193/statm: 2103531 29997 3210 1 0 2064875 0
[pid=2215] ppid=2193 vsize=670976 memory=183616 CPUtime=185.17 cores=0-7
/proc/2215/stat : 2215 (manyglucose-4.1) S 2193 2170 1211 0 -1 1077944320 148476 0 0 0 18480 37 0 0 20 0 4 0 500488807 687079424 45904 33554432000 4194304 4454172 140730052271664 140730052270048 140193170104055 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 39018496 140730052277070 140730052277276 140730052277276 140730052280246 0
/proc/2215/statm: 167744 45904 417 64 0 163412 0
[pid=2215/tid=2221] ppid=2193 vsize=670976 memory=6944656592387989600 CPUtime=23.6 cores=0-7
/proc/2215/task/2221/stat : 2221 (manyglucose-4.1) R 2193 2170 1211 0 -1 4202560 18864 0 0 0 2356 4 0 0 20 0 4 0 500488822 687079424 45904 33554432000 4194304 4454172 140730052271664 140193146567768 4335594 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 39018496 140730052277070 140730052277276 140730052277276 140730052280246 0
[pid=2215/tid=2222] ppid=2193 vsize=670976 memory=6655300316396806240 CPUtime=23.59 cores=0-7
/proc/2215/task/2222/stat : 2222 (manyglucose-4.1) R 2193 2170 1211 0 -1 4202560 17834 0 0 0 2354 5 0 0 20 0 4 0 500488822 687079424 45904 33554432000 4194304 4454172 140730052271664 140193138175080 4349826 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 39018496 140730052277070 140730052277276 140730052277276 140730052280246 0
[pid=2215/tid=2224] ppid=2193 vsize=670976 memory=7512114578044973668 CPUtime=23.07 cores=0-7
/proc/2215/task/2224/stat : 2224 (manyglucose-4.1) R 2193 2170 1211 0 -1 4202560 17761 0 0 0 2303 4 0 0 20 0 4 0 500488822 687079424 45904 33554432000 4194304 4454172 140730052271664 140193121389672 4351209 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 39018496 140730052277070 140730052277276 140730052277276 140730052280246 0
[pid=2193/tid=2194] ppid=2170 vsize=8414124 memory=7512114578044973668 CPUtime=0.75 cores=0-7
/proc/2193/task/2194/stat : 2194 (java) S 2170 2170 1211 0 -1 1077944384 17396 0 0 0 70 5 0 0 20 0 24 0 500488734 8616062976 29997 33554432000 4194304 4196468 140721636817024 140483101675424 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2195] ppid=2170 vsize=8414124 memory=280518809879800 CPUtime=0 cores=0-7
/proc/2193/task/2195/stat : 2195 (java) S 2170 2170 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500488737 8616062976 29997 33554432000 4194304 4196468 140721636817024 140483134077968 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2196] ppid=2170 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/2193/task/2196/stat : 2196 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500488737 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482948234384 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2197] ppid=2170 vsize=8414124 memory=119988 CPUtime=0 cores=0-7
/proc/2193/task/2197/stat : 2197 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500488737 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482947181328 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2198] ppid=2170 vsize=8414124 memory=185588 CPUtime=0 cores=0-7
/proc/2193/task/2198/stat : 2198 (java) S 2170 2170 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500488737 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482946128784 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2199] ppid=2170 vsize=8414124 memory=4283944208989000595 CPUtime=0 cores=0-7
/proc/2193/task/2199/stat : 2199 (java) S 2170 2170 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500488737 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482611673616 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2200] ppid=2170 vsize=8414124 memory=8331817152320607067 CPUtime=0 cores=0-7
/proc/2193/task/2200/stat : 2200 (java) S 2170 2170 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500488737 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482610621072 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2201] ppid=2170 vsize=8414124 memory=5450919713671312938 CPUtime=0 cores=0-7
/proc/2193/task/2201/stat : 2201 (java) S 2170 2170 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500488737 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482609568016 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2203] ppid=2170 vsize=8414124 memory=-7737623356902253916 CPUtime=0 cores=0-7
/proc/2193/task/2203/stat : 2203 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500488737 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482608515472 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2205] ppid=2170 vsize=8414124 memory=-8452003593126069693 CPUtime=0 cores=0-7
/proc/2193/task/2205/stat : 2205 (java) S 2170 2170 1211 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500488738 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482424703728 140483129846402 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2206] ppid=2170 vsize=8414124 memory=6224326950734024024 CPUtime=0 cores=0-7
/proc/2193/task/2206/stat : 2206 (java) S 2170 2170 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500488739 8616062976 29997 33554432000 4194304 4196468 140721636817024 140481803576992 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2207] ppid=2170 vsize=8414124 memory=186 CPUtime=0 cores=0-7
/proc/2193/task/2207/stat : 2207 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500488739 8616062976 29997 33554432000 4194304 4196468 140721636817024 140481535141104 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2208] ppid=2170 vsize=8414124 memory=7588959419991156070 CPUtime=0 cores=0-7
/proc/2193/task/2208/stat : 2208 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500488741 8616062976 29997 33554432000 4194304 4196468 140721636817024 140481160632784 140483129853851 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2209] ppid=2170 vsize=8414124 memory=7301006030138331746 CPUtime=0.04 cores=0-7
/proc/2193/task/2209/stat : 2209 (java) S 2170 2170 1211 0 -1 1077944384 505 0 0 0 4 0 0 0 20 0 24 0 500488741 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482423650544 140483129846402 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2210] ppid=2170 vsize=8414124 memory=1472 CPUtime=0.08 cores=0-7
/proc/2193/task/2210/stat : 2210 (java) S 2170 2170 1211 0 -1 1077944384 455 0 0 0 8 0 0 0 20 0 24 0 500488741 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482422598000 140483129846402 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2211] ppid=2170 vsize=8414124 memory=280518811443456 CPUtime=0.04 cores=0-7
/proc/2193/task/2211/stat : 2211 (java) S 2170 2170 1211 0 -1 1077944384 188 0 0 0 4 0 0 0 20 0 24 0 500488741 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482421544944 140483129846402 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2212] ppid=2170 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7
/proc/2193/task/2212/stat : 2212 (java) S 2170 2170 1211 0 -1 1077944384 537 0 0 0 18 0 0 0 20 0 24 0 500488741 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482420492400 140483129846402 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2213] ppid=2170 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/2193/task/2213/stat : 2213 (java) S 2170 2170 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500488742 8616062976 29997 33554432000 4194304 4196468 140721636817024 140480662727648 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2214] ppid=2170 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7
/proc/2193/task/2214/stat : 2214 (java) S 2170 2170 1211 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 500488742 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482419440816 140483129846402 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2216] ppid=2170 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/2193/task/2216/stat : 2216 (java) S 2170 2170 1211 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500488807 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482411406784 140483129859865 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2218] ppid=2170 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/2193/task/2218/stat : 2218 (java) S 2170 2170 1211 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 500488808 8616062976 29997 33554432000 4194304 4196468 140721636817024 140479991627280 140483129857181 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2219] ppid=2170 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/2193/task/2219/stat : 2219 (java) S 2170 2170 1211 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500488808 8616062976 29997 33554432000 4194304 4196468 140721636817024 140480260062864 140483129857181 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2220] ppid=2170 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/2193/task/2220/stat : 2220 (java) S 2170 2170 1211 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500488810 8616062976 29997 33554432000 4194304 4196468 140721636817024 140479723199408 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
Current children cumulated CPU time: 195.36 s
Current children cumulated vsize: 9198228 KiB
Current children cumulated memory: 305076 KiB

[startup+27.7013 s]
/proc/loadavg: 6.45 3.03 2.48 5/220 2228
/proc/meminfo: memFree=25788096/32770624 swapFree=67002076/67108860
[pid=2170] ppid=2167 vsize=113128 memory=1472 CPUtime=9.04 cores=0-7
/proc/2170/stat : 2170 (scop.sh) S 2167 2170 1211 0 -1 4202496 582 28114 0 0 0 0 881 23 20 0 1 0 500488424 115843072 368 33554432000 4194304 5098028 140725181729568 140725181726312 140637699564156 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13316096 140725181731581 140725181731928 140725181731928 140725181734857 0
/proc/2170/statm: 28282 368 311 221 0 87 0
[pid=2193] ppid=2170 vsize=8414124 memory=119988 CPUtime=1.15 cores=0-7
/proc/2193/stat : 2193 (java) S 2170 2170 1211 0 -1 1077944320 20483 0 0 0 109 6 0 0 20 0 24 0 500488733 8616062976 29997 33554432000 4194304 4196468 140721636817024 140721636799568 140483129835255 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
/proc/2193/statm: 2103531 29997 3210 1 0 2064875 0
[pid=2215] ppid=2193 vsize=670976 memory=183616 CPUtime=185.39 cores=0-7
/proc/2215/stat : 2215 (manyglucose-4.1) S 2193 2170 1211 0 -1 1077944320 148479 0 0 0 18502 37 0 0 20 0 2 0 500488807 687079424 45904 33554432000 4194304 4454172 140730052271664 140730052270048 140193170104055 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 39018496 140730052277070 140730052277276 140730052277276 140730052280246 0
/proc/2215/statm: 167744 45904 417 64 0 163412 0
[pid=2215/tid=2222] ppid=2193 vsize=670976 memory=183616 CPUtime=23.69 cores=0-7
/proc/2215/task/2222/stat : 2222 (manyglucose-4.1) R 2193 2170 1211 0 -1 4202560 17834 0 0 0 2364 5 0 0 20 0 2 0 500488822 687079424 45904 33554432000 4194304 4454172 140730052271664 140193138175080 4351129 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 39018496 140730052277070 140730052277276 140730052277276 140730052280246 0
[pid=2193/tid=2194] ppid=2170 vsize=8414124 memory=7686721470284404373 CPUtime=0.75 cores=0-7
/proc/2193/task/2194/stat : 2194 (java) S 2170 2170 1211 0 -1 1077944384 17396 0 0 0 70 5 0 0 20 0 24 0 500488734 8616062976 29997 33554432000 4194304 4196468 140721636817024 140483101675424 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2195] ppid=2170 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/2193/task/2195/stat : 2195 (java) S 2170 2170 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500488737 8616062976 29997 33554432000 4194304 4196468 140721636817024 140483134077968 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2196] ppid=2170 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/2193/task/2196/stat : 2196 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500488737 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482948234384 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2197] ppid=2170 vsize=8414124 memory=1416 CPUtime=0 cores=0-7
/proc/2193/task/2197/stat : 2197 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500488737 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482947181328 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2198] ppid=2170 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/2193/task/2198/stat : 2198 (java) S 2170 2170 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500488737 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482946128784 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2199] ppid=2170 vsize=8414124 memory=1736 CPUtime=0 cores=0-7
/proc/2193/task/2199/stat : 2199 (java) S 2170 2170 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500488737 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482611673616 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2200] ppid=2170 vsize=8414124 memory=6176 CPUtime=0 cores=0-7
/proc/2193/task/2200/stat : 2200 (java) S 2170 2170 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500488737 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482610621072 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2201] ppid=2170 vsize=8414124 memory=636 CPUtime=0 cores=0-7
/proc/2193/task/2201/stat : 2201 (java) S 2170 2170 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500488737 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482609568016 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2203] ppid=2170 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/2193/task/2203/stat : 2203 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500488737 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482608515472 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2205] ppid=2170 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/2193/task/2205/stat : 2205 (java) S 2170 2170 1211 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500488738 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482424703728 140483129846402 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2206] ppid=2170 vsize=8414124 memory=119988 CPUtime=0 cores=0-7
/proc/2193/task/2206/stat : 2206 (java) S 2170 2170 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500488739 8616062976 29997 33554432000 4194304 4196468 140721636817024 140481803576992 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2207] ppid=2170 vsize=8414124 memory=184744 CPUtime=0 cores=0-7
/proc/2193/task/2207/stat : 2207 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500488739 8616062976 29997 33554432000 4194304 4196468 140721636817024 140481535141104 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2208] ppid=2170 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/2193/task/2208/stat : 2208 (java) S 2170 2170 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500488741 8616062976 29997 33554432000 4194304 4196468 140721636817024 140481160632784 140483129853851 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2209] ppid=2170 vsize=8414124 memory=119988 CPUtime=0.04 cores=0-7
/proc/2193/task/2209/stat : 2209 (java) S 2170 2170 1211 0 -1 1077944384 505 0 0 0 4 0 0 0 20 0 24 0 500488741 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482423650544 140483129846402 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2210] ppid=2170 vsize=8414124 memory=140259405127009 CPUtime=0.08 cores=0-7
/proc/2193/task/2210/stat : 2210 (java) S 2170 2170 1211 0 -1 1077944384 455 0 0 0 8 0 0 0 20 0 24 0 500488741 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482422598000 140483129846402 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2211] ppid=2170 vsize=8414124 memory=7234254856600639568 CPUtime=0.04 cores=0-7
/proc/2193/task/2211/stat : 2211 (java) S 2170 2170 1211 0 -1 1077944384 188 0 0 0 4 0 0 0 20 0 24 0 500488741 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482421544944 140483129846402 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2212] ppid=2170 vsize=8414124 memory=119988 CPUtime=0.18 cores=0-7
/proc/2193/task/2212/stat : 2212 (java) S 2170 2170 1211 0 -1 1077944384 537 0 0 0 18 0 0 0 20 0 24 0 500488741 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482420492400 140483129846402 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2213] ppid=2170 vsize=8414124 memory=185588 CPUtime=0 cores=0-7
/proc/2193/task/2213/stat : 2213 (java) S 2170 2170 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500488742 8616062976 29997 33554432000 4194304 4196468 140721636817024 140480662727648 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2214] ppid=2170 vsize=8414124 memory=1472 CPUtime=0.01 cores=0-7
/proc/2193/task/2214/stat : 2214 (java) S 2170 2170 1211 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 500488742 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482419440816 140483129846402 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2216] ppid=2170 vsize=8414124 memory=119988 CPUtime=0 cores=0-7
/proc/2193/task/2216/stat : 2216 (java) S 2170 2170 1211 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500488807 8616062976 29997 33554432000 4194304 4196468 140721636817024 140482411406784 140483129859865 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2218] ppid=2170 vsize=8414124 memory=185588 CPUtime=0 cores=0-7
/proc/2193/task/2218/stat : 2218 (java) S 2170 2170 1211 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 500488808 8616062976 29997 33554432000 4194304 4196468 140721636817024 140479991627280 140483129857181 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2219] ppid=2170 vsize=8414124 memory=1064 CPUtime=0 cores=0-7
/proc/2193/task/2219/stat : 2219 (java) S 2170 2170 1211 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500488808 8616062976 29997 33554432000 4194304 4196468 140721636817024 140480260062864 140483129857181 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
[pid=2193/tid=2220] ppid=2170 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/2193/task/2220/stat : 2220 (java) S 2170 2170 1211 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500488810 8616062976 29997 33554432000 4194304 4196468 140721636817024 140479723199408 140483129845461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140721636824032 140721636824198 140721636824198 140721636827087 0
Current children cumulated CPU time: 195.58 s
Current children cumulated vsize: 9198228 KiB
Current children cumulated memory: 305076 KiB

Child status: 0
Real time (s): 27.7867
CPU time (s): 195.751
CPU user time (s): 195.047
CPU system time (s): 0.703439
CPU usage (%): 704.475
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 782952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 195.047
system time used= 0.703439
maximum resident set size= 787432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197922
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9017
involuntary context switches= 2226


# summary of solver processes directly reported to runsolver:
#   pid: 2170
#   total CPU time (s): 195.751
#   total CPU user time (s): 195.047
#   total CPU system time (s): 0.703439

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.268749 second user time and 0.423753 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-23 14:39:13
IDJOB=4405231
IDBENCH=124317
IDSOLVER=2867
FILE ID=node136/4405231-1569242398
RUNJOBID= node136-1569238583-1238
PBS_JOBID= 21704901
Free space on /var/tmp= 13488 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Langford/Langford-m1-k4/Langford-4-15.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405231-1569242398/watcher-4405231-1569242398 -o /var/tmp/evaluation-result-4405231-1569242398/solver-4405231-1569242398 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569238583-1238 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405231-1569242398.xml

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

MD5SUM BENCH= bb1ed06e96cb498235a61544b90f533b
RANDOM SEED=1648521297

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26081732 kB
MemAvailable:   31841160 kB
Buffers:          128444 kB
Cached:          5750676 kB
SwapCached:         3568 kB
Active:          2701920 kB
Inactive:        3185008 kB
Active(anon):       6552 kB
Inactive(anon):    58216 kB
Active(file):    2695368 kB
Inactive(file):  3126792 kB
Unevictable:      108544 kB
Mlocked:          108544 kB
SwapTotal:      67108860 kB
SwapFree:       67002076 kB
Dirty:             20376 kB
Writeback:             0 kB
AnonPages:        114248 kB
Mapped:            55328 kB
Shmem:             48212 kB
Slab:             395744 kB
SReclaimable:     365728 kB
SUnreclaim:        30016 kB
KernelStack:        3408 kB
PageTables:         5728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     516164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13464 MiB
End job on node136 at 2019-09-23 14:39:41