Trace number 4392371

Some explanations

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

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

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

Solver answer on this benchmark

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

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-29027-serial-file.bin HOME/instance-4392371-1568424515.xml
0.67/0.54	
0.67/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.67/0.54	
0.67/0.57	c BEGIN-Prog: Sat Sep 14 03:27:55 CEST 2019
0.67/0.57	c PID: 29030
0.67/0.57	c IP: 172.20.3.134
0.67/0.57	c HOST: node134.alineos.net
0.67/0.57	c (0,0) Parsing Begin
1.18/0.89	c (0,0) Parsing End
1.39/0.90	c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 46 ctr, max domain size 60
1.39/0.90	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.90	c (0,0) Constraint Name Generate Begin
1.39/0.91	c (0,0) Ctr:HOME/instance-4392371-1568424515.xml,Add:AllDifferent:Eq:Num:Var
1.39/0.91	c (0,0) Constraint Name Generate End
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) CSP to CSPinCNF Begin
2.48/1.38	c (0,0) translated 5 (10%) constraints
2.48/1.38	c (0,0) translated 10 (20%) constraints
2.48/1.39	c (0,0) translated 14 (30%) constraints
2.48/1.39	c (0,0) translated 19 (40%) constraints
2.48/1.39	c (0,0) translated 23 (50%) constraints
2.48/1.39	c (0,0) translated 28 (60%) constraints
2.48/1.39	c (0,0) translated 33 (70%) constraints
2.48/1.39	c (0,0) translated 37 (80%) constraints
2.48/1.39	c (0,0) translated 42 (90%) constraints
2.48/1.39	c (0,0) translated 46 (100%) constraints
2.48/1.39	c (0,0) ===========================================
2.48/1.39	c (0,0) Order
2.48/1.39	c (0,0) ===========================================
2.82/1.43	c (0,0) translated 188 (10%) constraints
2.82/1.45	c (0,0) translated 376 (20%) constraints
2.82/1.47	c (0,0) translated 564 (30%) constraints
2.82/1.48	c (0,0) translated 751 (40%) constraints
2.82/1.49	c (0,0) translated 939 (50%) constraints
3.24/1.50	c (0,0) translated 1127 (60%) constraints
3.24/1.51	c (0,0) translated 1314 (70%) constraints
3.24/1.52	c (0,0) translated 1502 (80%) constraints
3.24/1.53	c (0,0) translated 1690 (90%) constraints
4.34/1.85	c (1,1) translated 1877 (100%) constraints
4.34/1.85	c (1,1) CSP to CSPinCNF End
4.34/1.86	c (1,1) CSP: 60 int (0 aux), 3600 bool (3600 aux), 9122 ctr, max domain size 56
4.34/1.86	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.34/1.86	c (1,1) CSPinCNF Propagation Begin
5.21/2.04	c (1,1) 1485 values, 3177 unsatisfiable literals, and 3197 valid clauses are removed
5.21/2.04	c (1,1) CSPinCNF Propagation End
5.21/2.04	c (1,1) CSP: 60 int (0 aux), 3600 bool (3600 aux), 5925 ctr, max domain size 56
5.21/2.04	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.21/2.05	c (1,1) Simplify CSPinCNF Begin
5.63/2.15	c (1,1) Simplify CSPinCNF End
5.63/2.15	c (1,1) CSP: 60 int (0 aux), 6906 bool (6906 aux), 9231 ctr, max domain size 56
5.63/2.15	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.63/2.15	c (1,1) Calculate Precise Domain Begin
5.63/2.15	c (1,1) 0 values are removed by re-calculation
5.63/2.15	c (1,1) Calculate Precise Domain End
5.63/2.16	c (1,1) CSP: 60 int (0 aux), 6906 bool (6906 aux), 9231 ctr, max domain size 56
5.63/2.16	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.63/2.16	c (1,1) CSPinCNF to SatSolver Begin
7.30/2.53	c (1,1) 924 (10 %) CSP clauses are encoded (0 SAT variables, 21889 SAT clauses)
7.72/2.63	c (2,2) 1847 (20 %) CSP clauses are encoded (0 SAT variables, 36906 SAT clauses)
8.12/2.71	c (2,2) 2770 (30 %) CSP clauses are encoded (0 SAT variables, 52317 SAT clauses)
8.12/2.78	c (2,2) 3693 (40 %) CSP clauses are encoded (0 SAT variables, 63859 SAT clauses)
8.48/2.86	c (2,2) 4616 (50 %) CSP clauses are encoded (0 SAT variables, 78586 SAT clauses)
8.48/2.89	c (2,2) 5539 (60 %) CSP clauses are encoded (0 SAT variables, 84791 SAT clauses)
8.69/2.90	c (2,2) 6462 (70 %) CSP clauses are encoded (0 SAT variables, 85714 SAT clauses)
8.69/2.91	c (2,2) 7385 (80 %) CSP clauses are encoded (0 SAT variables, 86637 SAT clauses)
8.69/2.92	c (2,2) 8308 (90 %) CSP clauses are encoded (0 SAT variables, 87560 SAT clauses)
8.69/2.94	c (2,2) 9231 (100 %) CSP clauses are encoded (0 SAT variables, 91278 SAT clauses)
8.69/2.94	c (2,2) CSPinCNF to SatSolver End
8.69/2.94	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
8.69/2.94	c (2,2) 7476 bool, 91289 clause
8.69/2.94	c (2,2) Export Begin
8.86/3.02	c (2,2) Export to HOME/scop-29027-serial-file.bin
8.86/3.02	c (2,2) Export End
8.86/3.02	c (2,2) Export File Size: 0.01 MB
8.86/3.02	c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
8.86/3.02	c END-Prog: Sat Sep 14 03:27:57 CEST 2019
8.86/3.04	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-29027-serial-file.bin
8.91/3.50	c (0,0) Read Serial File Begin
8.91/3.50	c (0,0) HOME/scop-29027-serial-file.bin
8.91/3.70	c (0,0) Read Serial File End
8.91/3.71	
8.91/3.71	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
8.91/3.71	(Solving Process)
8.91/3.71	
8.91/3.73	c BEGIN-Prog: Sat Sep 14 03:27:58 CEST 2019
8.91/3.73	c PID: 29050
8.91/3.73	c IP: 172.20.3.134
8.91/3.73	c HOST: node134.alineos.net
8.91/3.74	c (0,0) SatSolver.solve Begin
8.91/3.74	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392371-1568424515.xml-scop-29030.cnf
8.91/3.76	c (0,0) c
8.91/3.76	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)
8.91/3.76	c (0,0) c
8.91/3.76	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
8.91/3.76	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
8.91/3.76	c (0,0) c ========================================[ Problem Statistics ]===========================================
8.91/3.76	c (0,0) c |                                                                                                       |
8.91/3.79	c (0,0) c |  Number of variables:          7476                                                                   |
8.91/3.79	c (0,0) c |  Number of clauses:           91274                                                                   |
8.91/3.79	c (0,0) c |  Parse time:                   0.03 s                                                                 |
8.91/3.79	c (0,0) c |                                                                                                       |
8.91/3.87	c (0,0) c |  Simplification time:          0.08 s                                                                 |
8.91/3.87	c (0,0) c |                                                                                                       |
8.91/3.87	c (0,0) c |  Generating clones                                                                                    |
8.91/3.90	c (0,0) c |  all clones generated. Memory =    76.39Mb.                                                           |
8.91/3.90	c (0,0) c ========================================================================================================|
8.91/3.90	c (0,0) c
8.91/3.90	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.91/3.90	c (0,0) c
8.91/3.90	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.91/3.90	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.91/3.90	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.91/3.90	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.91/3.90	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.91/3.90	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.91/3.90	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.91/3.90	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.91/3.90	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.91/3.90	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.91/3.90	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.91/3.90	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.91/3.90	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.91/3.90	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.91/3.90	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.91/3.90	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.91/3.90	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.91/3.90	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.91/3.90	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
194.20/27.73	c (24,0) c
194.20/27.73	c (24,0) c real time : 23.9721 s
194.20/27.73	c (24,0) c cpu time  : 183.902 s
194.20/27.73	c (24,0) c
194.20/27.73	c (24,0) c
194.20/27.73	c (24,0) c
194.20/27.73	c (24,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
194.20/27.73	c (24,0) c
194.20/27.73	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
194.20/27.73	c (24,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
194.20/27.73	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
194.20/27.73	c (24,0) c | Conflicts     |          515844 |      64526 |      64487 |      63458 |      64075 |      64827 |      64573 |      66091 |      63807 |
194.20/27.73	c (24,0) c | Decisions     |          968432 |     120442 |     121076 |     117857 |     122247 |     121397 |     120079 |     123279 |     122055 |
194.20/27.73	c (24,0) c | Propagations  |       306171355 |   38262607 |   38333785 |   37708616 |   38513849 |   38310189 |   38117148 |   38689683 |   38235478 |
194.20/27.73	c (24,0) c | ReduceDBs     |              48 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |
194.20/27.73	c (24,0) c | SimpDBs       |             170 |         23 |         22 |         19 |         21 |         21 |         23 |         21 |         20 |
194.20/27.73	c (24,0) c | Restarts      |            1378 |        157 |        148 |        178 |        187 |        152 |        186 |        197 |        173 |
194.20/27.73	c (24,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
194.20/27.73	c (24,0) c | PropBinClauses|       967654242 |  122062066 |  120737898 |  120488492 |  120758926 |  121343243 |  119892792 |  121934224 |  120436601 |
194.20/27.73	c (24,0) c | PropPreBlocker|      4932659206 |  615675595 |  614260697 |  613829629 |  616051975 |  617799926 |  616322434 |  622066400 |  616652550 |
194.20/27.73	c (24,0) c | PropNotBlocker|      1376608049 |  172069410 |  172727927 |  172064158 |  173752338 |  175225228 |  170477989 |  171957447 |  168333552 |
194.20/27.73	c (24,0) c | LitFullScans  |      9128668984 | 1134167127 | 1134463366 | 1134055380 | 1139238238 | 1150002758 | 1146262808 | 1156397717 | 1134081590 |
194.20/27.73	c (24,0) c | LitScanFracts |         1322001 |     141633 |     432397 |      37641 |     201300 |      45408 |     239002 |     166719 |      57901 |
194.20/27.73	c (24,0) c | DecisionLevel0|            1536 |        177 |        166 |        198 |        204 |        180 |        206 |        216 |        189 |
194.20/27.73	c (24,0) c | Periods       |            1519 |        189 |        189 |        189 |        189 |        191 |        191 |        192 |        189 |
194.20/27.73	c (24,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
194.20/27.73	c (24,0) c | Avg_Trail     |                 |       3325 |       3331 |       3301 |       3281 |       3323 |       3324 |       3362 |       3342 |
194.20/27.73	c (24,0) c | Avg_DL        |                 |         16 |         16 |         17 |         17 |         17 |         15 |         17 |         17 |
194.20/27.73	c (24,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
194.20/27.73	c (24,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
194.20/27.73	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
194.20/27.73	c (24,0) c | Exported      |           85495 |      10238 |      10947 |      11012 |      10551 |      10346 |      10923 |      10331 |      11147 |
194.20/27.73	c (24,0) c | Imported      |          544230 |      67964 |      67232 |      67331 |      68052 |      68942 |      68080 |      69217 |      67412 |
194.20/27.73	c (24,0) c | Good          |           47671 |       5904 |       6001 |       5914 |       5981 |       6046 |       5883 |       6039 |       5903 |
194.20/27.73	c (24,0) c | Purge         |          496559 |      62060 |      61231 |      61417 |      62071 |      62896 |      62197 |      63178 |      61509 |
194.20/27.73	c (24,0) c | Promoted      |           62652 |       8019 |       8210 |       6999 |       8157 |       7916 |       7513 |       8162 |       7676 |
194.20/27.73	c (24,0) c | Remove_Imp    |          239888 |      31826 |      28395 |      27201 |      30131 |      29598 |      32022 |      31417 |      29298 |
194.20/27.73	c (24,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
194.20/27.73	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
194.20/27.73	c (24,0) c | Unaries       |                 |         20 |         18 |         20 |         17 |         28 |         20 |         19 |         16 |
194.20/27.73	c (24,0) c | Binaries      |                 |        924 |        824 |        915 |        888 |        903 |       1030 |        928 |        941 |
194.20/27.73	c (24,0) c | Glues         |                 |       3104 |       3225 |       2997 |       3037 |       3057 |       3233 |       2969 |       3064 |
194.20/27.73	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
194.20/27.73	c (24,0) c | Orig_Seen     |            71 % |      59327 |      59364 |      57079 |      58625 |      59854 |      54224 |      58822 |      57663 |
194.20/27.73	c (24,0) c | Diff Orig seen|                 |        702 |        739 | -     1546 |      X     |       1229 | -     4401 |        197 | -      962 |
194.20/27.73	c (24,0) c | Hamming       |            11 % |       1199 |        860 |        598 |      X     |       1016 |       1073 |        904 |        462 |
194.20/27.73	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
194.20/27.73	c (24,0) c | RunningTime   |                 |   23.8 100%|   23.7 100%|   22.9 100%|   22.7 100%|   22.7 100%|   22.7 100%|   22.7 100%|   23.2 100%|
194.20/27.73	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%|
194.20/27.73	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%|
194.20/27.73	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%|
194.20/27.73	c (24,0) c | SolvingTime   |                 |   23.8     |   23.7     |   23.0     |   22.7     |   22.7     |   22.7     |   22.8     |   23.2     |
194.20/27.73	c (24,0) c | PropagationTim|                 |   21.7  91%|   21.6  91%|   20.7  90%|   20.6  91%|   20.6  91%|   20.6  91%|   20.6  91%|   21.0  91%|
194.20/27.73	c (24,0) c | AnalysisTime  |                 |    1.4   6%|    1.4   6%|    1.6   7%|    1.4   6%|    1.4   6%|    1.4   6%|    1.5   6%|    1.5   6%|
194.20/27.73	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%|
194.20/27.73	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%|
194.20/27.73	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%|
194.20/27.73	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%|
194.20/27.73	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
194.20/27.73	c (24,0) c
194.20/27.73	c (24,0) c
194.20/27.73	c (24,0) c Threads : 8
194.20/27.73	c (24,0) c Winner : 3
194.20/27.73	c (24,0) c Conflicts_0 : 64526
194.20/27.73	c (24,0) c Conflicts_1 : 64487
194.20/27.73	c (24,0) c Conflicts_2 : 63458
194.20/27.73	c (24,0) c Conflicts_3 : 64075
194.20/27.73	c (24,0) c Conflicts_4 : 64827
194.20/27.73	c (24,0) c Conflicts_5 : 64573
194.20/27.73	c (24,0) c Conflicts_6 : 66091
194.20/27.73	c (24,0) c Conflicts_7 : 63807
194.20/27.73	c (24,0) c Conflicts_total : 515844
194.20/27.73	c (24,0) c Conflicts_winner : 64075
194.20/27.73	c (24,0) c Decisions_0 : 120442
194.20/27.73	c (24,0) c Decisions_1 : 121076
194.20/27.73	c (24,0) c Decisions_2 : 117857
194.20/27.73	c (24,0) c Decisions_3 : 122247
194.20/27.73	c (24,0) c Decisions_4 : 121397
194.20/27.73	c (24,0) c Decisions_5 : 120079
194.20/27.73	c (24,0) c Decisions_6 : 123279
194.20/27.73	c (24,0) c Decisions_7 : 122055
194.20/27.73	c (24,0) c Decisions_total : 968432
194.20/27.73	c (24,0) c Decisions_winner : 122247
194.20/27.74	c (24,0) c Propagations_0 : 38262607
194.20/27.74	c (24,0) c Propagations_1 : 38333785
194.20/27.74	c (24,0) c Propagations_2 : 37708616
194.20/27.74	c (24,0) c Propagations_3 : 38513849
194.20/27.74	c (24,0) c Propagations_4 : 38310189
194.20/27.74	c (24,0) c Propagations_5 : 38117148
194.20/27.74	c (24,0) c Propagations_6 : 38689683
194.20/27.74	c (24,0) c Propagations_7 : 38235478
194.20/27.74	c (24,0) c Propagations_total : 306171355
194.20/27.74	c (24,0) c Propagations_winner : 38513849
194.20/27.74	c (24,0) c ReduceDBs_0 : 6
194.20/27.74	c (24,0) c ReduceDBs_1 : 6
194.20/27.74	c (24,0) c ReduceDBs_2 : 6
194.20/27.74	c (24,0) c ReduceDBs_3 : 6
194.20/27.74	c (24,0) c ReduceDBs_4 : 6
194.20/27.74	c (24,0) c ReduceDBs_5 : 6
194.20/27.74	c (24,0) c ReduceDBs_6 : 6
194.20/27.74	c (24,0) c ReduceDBs_7 : 6
194.20/27.74	c (24,0) c ReduceDBs_total : 48
194.20/27.74	c (24,0) c ReduceDBs_winner : 6
194.20/27.74	c (24,0) c SimpDBs_0 : 23
194.20/27.74	c (24,0) c SimpDBs_1 : 22
194.20/27.74	c (24,0) c SimpDBs_2 : 19
194.20/27.74	c (24,0) c SimpDBs_3 : 21
194.20/27.74	c (24,0) c SimpDBs_4 : 21
194.20/27.74	c (24,0) c SimpDBs_5 : 23
194.20/27.74	c (24,0) c SimpDBs_6 : 21
194.20/27.74	c (24,0) c SimpDBs_7 : 20
194.20/27.74	c (24,0) c SimpDBs_total : 170
194.20/27.74	c (24,0) c SimpDBs_winner : 21
194.20/27.74	c (24,0) c Restarts_0 : 157
194.20/27.74	c (24,0) c Restarts_1 : 148
194.20/27.74	c (24,0) c Restarts_2 : 178
194.20/27.74	c (24,0) c Restarts_3 : 187
194.20/27.74	c (24,0) c Restarts_4 : 152
194.20/27.74	c (24,0) c Restarts_5 : 186
194.20/27.74	c (24,0) c Restarts_6 : 197
194.20/27.74	c (24,0) c Restarts_7 : 173
194.20/27.74	c (24,0) c Restarts_total : 1378
194.20/27.74	c (24,0) c Restarts_winner : 187
194.20/27.74	c (24,0) c ForcedImports_0 : 0
194.20/27.74	c (24,0) c ForcedImports_1 : 0
194.20/27.74	c (24,0) c ForcedImports_2 : 0
194.20/27.74	c (24,0) c ForcedImports_3 : 0
194.20/27.74	c (24,0) c ForcedImports_4 : 0
194.20/27.74	c (24,0) c ForcedImports_5 : 0
194.20/27.74	c (24,0) c ForcedImports_6 : 0
194.20/27.74	c (24,0) c ForcedImports_7 : 0
194.20/27.74	c (24,0) c ForcedImports_total : 0
194.20/27.74	c (24,0) c ForcedImports_winner : 0
194.20/27.74	c (24,0) c PropsBinClauses_0 : 122062066
194.20/27.74	c (24,0) c PropsBinClauses_1 : 120737898
194.20/27.74	c (24,0) c PropsBinClauses_2 : 120488492
194.20/27.74	c (24,0) c PropsBinClauses_3 : 120758926
194.20/27.74	c (24,0) c PropsBinClauses_4 : 121343243
194.20/27.74	c (24,0) c PropsBinClauses_5 : 119892792
194.20/27.74	c (24,0) c PropsBinClauses_6 : 121934224
194.20/27.74	c (24,0) c PropsBinClauses_7 : 120436601
194.20/27.74	c (24,0) c PropsBinClauses_total : 967654242
194.20/27.74	c (24,0) c PropsBinClauses_winner : 120758926
194.20/27.74	c (24,0) c PropsPreBlocker_0 : 615675595
194.20/27.74	c (24,0) c PropsPreBlocker_1 : 614260697
194.20/27.74	c (24,0) c PropsPreBlocker_2 : 613829629
194.20/27.74	c (24,0) c PropsPreBlocker_3 : 616051975
194.20/27.74	c (24,0) c PropsPreBlocker_4 : 617799926
194.20/27.74	c (24,0) c PropsPreBlocker_5 : 616322434
194.20/27.74	c (24,0) c PropsPreBlocker_6 : 622066400
194.20/27.74	c (24,0) c PropsPreBlocker_7 : 616652550
194.20/27.74	c (24,0) c PropsPreBlocker_total : 4932659206
194.20/27.74	c (24,0) c PropsPreBlocker_winner : 616051975
194.20/27.74	c (24,0) c PropsNotBlocker_0 : 172069410
194.20/27.74	c (24,0) c PropsNotBlocker_1 : 172727927
194.20/27.74	c (24,0) c PropsNotBlocker_2 : 172064158
194.20/27.74	c (24,0) c PropsNotBlocker_3 : 173752338
194.20/27.74	c (24,0) c PropsNotBlocker_4 : 175225228
194.20/27.74	c (24,0) c PropsNotBlocker_5 : 170477989
194.20/27.74	c (24,0) c PropsNotBlocker_6 : 171957447
194.20/27.74	c (24,0) c PropsNotBlocker_7 : 168333552
194.20/27.74	c (24,0) c PropsNotBlocker_total : 1376608049
194.20/27.74	c (24,0) c PropsNotBlocker_winner : 173752338
194.20/27.74	c (24,0) c PropsLitFullScans_0 : 1134167127
194.20/27.74	c (24,0) c PropsLitFullScans_1 : 1134463366
194.20/27.74	c (24,0) c PropsLitFullScans_2 : 1134055380
194.20/27.74	c (24,0) c PropsLitFullScans_3 : 1139238238
194.20/27.74	c (24,0) c PropsLitFullScans_4 : 1150002758
194.20/27.74	c (24,0) c PropsLitFullScans_5 : 1146262808
194.20/27.74	c (24,0) c PropsLitFullScans_6 : 1156397717
194.20/27.74	c (24,0) c PropsLitFullScans_7 : 1134081590
194.20/27.74	c (24,0) c PropsLitFullScans_total : 9128668984
194.20/27.74	c (24,0) c PropsLitFullScans_winner : 1139238238
194.20/27.74	c (24,0) c LitScanFractions_0 : 141633
194.20/27.74	c (24,0) c LitScanFractions_1 : 432397
194.20/27.74	c (24,0) c LitScanFractions_2 : 37641
194.20/27.74	c (24,0) c LitScanFractions_3 : 201300
194.20/27.74	c (24,0) c LitScanFractions_4 : 45408
194.20/27.74	c (24,0) c LitScanFractions_5 : 239002
194.20/27.74	c (24,0) c LitScanFractions_6 : 166719
194.20/27.74	c (24,0) c LitScanFractions_7 : 57901
194.20/27.74	c (24,0) c LitScanFractions_total : 1322001
194.20/27.74	c (24,0) c LitScanFractions_winner : 201300
194.20/27.74	c (24,0) c DecisionLevel0_0 : 177
194.20/27.74	c (24,0) c DecisionLevel0_1 : 166
194.20/27.74	c (24,0) c DecisionLevel0_2 : 198
194.20/27.74	c (24,0) c DecisionLevel0_3 : 204
194.20/27.74	c (24,0) c DecisionLevel0_4 : 180
194.20/27.74	c (24,0) c DecisionLevel0_5 : 206
194.20/27.74	c (24,0) c DecisionLevel0_6 : 216
194.20/27.74	c (24,0) c DecisionLevel0_7 : 189
194.20/27.74	c (24,0) c DecisionLevel0_total : 1536
194.20/27.74	c (24,0) c DecisionLevel0_winner : 204
194.20/27.74	c (24,0) c Periods_0 : 189
194.20/27.74	c (24,0) c Periods_1 : 189
194.20/27.74	c (24,0) c Periods_2 : 189
194.20/27.74	c (24,0) c Periods_3 : 189
194.20/27.74	c (24,0) c Periods_4 : 191
194.20/27.74	c (24,0) c Periods_5 : 191
194.20/27.74	c (24,0) c Periods_6 : 192
194.20/27.74	c (24,0) c Periods_7 : 189
194.20/27.74	c (24,0) c Periods_total : 1519
194.20/27.74	c (24,0) c Periods_winner : 189
194.20/27.74	c (24,0) c Margin_0 : 20
194.20/27.74	c (24,0) c Margin_1 : 20
194.20/27.74	c (24,0) c Margin_2 : 20
194.20/27.74	c (24,0) c Margin_3 : 20
194.20/27.74	c (24,0) c Margin_4 : 20
194.20/27.74	c (24,0) c Margin_5 : 20
194.20/27.74	c (24,0) c Margin_6 : 20
194.20/27.74	c (24,0) c Margin_7 : 20
194.20/27.74	c (24,0) c Margin_total : 160
194.20/27.74	c (24,0) c Margin_winner : 20
194.20/27.74	c (24,0) c Exported_0 : 10238
194.20/27.74	c (24,0) c Exported_1 : 10947
194.20/27.74	c (24,0) c Exported_2 : 11012
194.20/27.74	c (24,0) c Exported_3 : 10551
194.20/27.74	c (24,0) c Exported_4 : 10346
194.20/27.74	c (24,0) c Exported_5 : 10923
194.20/27.74	c (24,0) c Exported_6 : 10331
194.20/27.74	c (24,0) c Exported_7 : 11147
194.20/27.74	c (24,0) c Exported_total : 85495
194.20/27.74	c (24,0) c Exported_winner : 10551
194.20/27.74	c (24,0) c Imported_0 : 67964
194.20/27.74	c (24,0) c Imported_1 : 67232
194.20/27.74	c (24,0) c Imported_2 : 67331
194.20/27.74	c (24,0) c Imported_3 : 68052
194.20/27.74	c (24,0) c Imported_4 : 68942
194.20/27.74	c (24,0) c Imported_5 : 68080
194.20/27.74	c (24,0) c Imported_6 : 69217
194.20/27.74	c (24,0) c Imported_7 : 67412
194.20/27.74	c (24,0) c Imported_total : 544230
194.20/27.74	c (24,0) c Imported_winner : 68052
194.20/27.74	c (24,0) c Good_0 : 5904
194.20/27.74	c (24,0) c Good_1 : 6001
194.20/27.74	c (24,0) c Good_2 : 5914
194.20/27.74	c (24,0) c Good_3 : 5981
194.20/27.74	c (24,0) c Good_4 : 6046
194.20/27.74	c (24,0) c Good_5 : 5883
194.20/27.74	c (24,0) c Good_6 : 6039
194.20/27.74	c (24,0) c Good_7 : 5903
194.20/27.74	c (24,0) c Good_total : 47671
194.20/27.74	c (24,0) c Good_winner : 5981
194.20/27.74	c (24,0) c Purge_0 : 62060
194.20/27.74	c (24,0) c Purge_1 : 61231
194.20/27.74	c (24,0) c Purge_2 : 61417
194.20/27.74	c (24,0) c Purge_3 : 62071
194.20/27.74	c (24,0) c Purge_4 : 62896
194.20/27.74	c (24,0) c Purge_5 : 62197
194.20/27.74	c (24,0) c Purge_6 : 63178
194.20/27.74	c (24,0) c Purge_7 : 61509
194.20/27.74	c (24,0) c Purge_total : 496559
194.20/27.74	c (24,0) c Purge_winner : 62071
194.20/27.74	c (24,0) c Promoted_0 : 8019
194.20/27.74	c (24,0) c Promoted_1 : 8210
194.20/27.74	c (24,0) c Promoted_2 : 6999
194.20/27.74	c (24,0) c Promoted_3 : 8157
194.20/27.74	c (24,0) c Promoted_4 : 7916
194.20/27.74	c (24,0) c Promoted_5 : 7513
194.20/27.74	c (24,0) c Promoted_6 : 8162
194.20/27.74	c (24,0) c Promoted_7 : 7676
194.20/27.74	c (24,0) c Promoted_total : 62652
194.20/27.74	c (24,0) c Promoted_winner : 8157
194.20/27.74	c (24,0) c Remove_Imp_0 : 31826
194.20/27.74	c (24,0) c Remove_Imp_1 : 28395
194.20/27.74	c (24,0) c Remove_Imp_2 : 27201
194.20/27.74	c (24,0) c Remove_Imp_3 : 30131
194.20/27.74	c (24,0) c Remove_Imp_4 : 29598
194.20/27.74	c (24,0) c Remove_Imp_5 : 32022
194.20/27.74	c (24,0) c Remove_Imp_6 : 31417
194.20/27.74	c (24,0) c Remove_Imp_7 : 29298
194.20/27.74	c (24,0) c Remove_Imp_total : 239888
194.20/27.74	c (24,0) c Remove_Imp_winner : 30131
194.20/27.74	c (24,0) c Blocked_Reuse_0 : 0
194.20/27.74	c (24,0) c Blocked_Reuse_1 : 0
194.20/27.74	c (24,0) c Blocked_Reuse_2 : 0
194.20/27.74	c (24,0) c Blocked_Reuse_3 : 0
194.20/27.74	c (24,0) c Blocked_Reuse_4 : 0
194.20/27.74	c (24,0) c Blocked_Reuse_5 : 0
194.20/27.74	c (24,0) c Blocked_Reuse_6 : 0
194.20/27.74	c (24,0) c Blocked_Reuse_7 : 0
194.20/27.74	c (24,0) c Blocked_Reuse_total : 0
194.20/27.74	c (24,0) c Blocked_Reuse_winner : 0
194.20/27.74	c (24,0) c Unaries_0 : 20
194.20/27.74	c (24,0) c Unaries_1 : 18
194.20/27.74	c (24,0) c Unaries_2 : 20
194.20/27.74	c (24,0) c Unaries_3 : 17
194.20/27.74	c (24,0) c Unaries_4 : 28
194.20/27.74	c (24,0) c Unaries_5 : 20
194.20/27.74	c (24,0) c Unaries_6 : 19
194.20/27.74	c (24,0) c Unaries_7 : 16
194.20/27.74	c (24,0) c Unaries_total : 158
194.20/27.74	c (24,0) c Unaries_winner : 17
194.20/27.74	c (24,0) c Binaries_0 : 924
194.20/27.74	c (24,0) c Binaries_1 : 824
194.20/27.74	c (24,0) c Binaries_2 : 915
194.20/27.74	c (24,0) c Binaries_3 : 888
194.20/27.74	c (24,0) c Binaries_4 : 903
194.20/27.74	c (24,0) c Binaries_5 : 1030
194.20/27.74	c (24,0) c Binaries_6 : 928
194.20/27.74	c (24,0) c Binaries_7 : 941
194.20/27.74	c (24,0) c Binaries_total : 7353
194.20/27.74	c (24,0) c Binaries_winner : 888
194.20/27.74	c (24,0) c Glues_0 : 3104
194.20/27.74	c (24,0) c Glues_1 : 3225
194.20/27.74	c (24,0) c Glues_2 : 2997
194.20/27.74	c (24,0) c Glues_3 : 3037
194.20/27.74	c (24,0) c Glues_4 : 3057
194.20/27.74	c (24,0) c Glues_5 : 3233
194.20/27.74	c (24,0) c Glues_6 : 2969
194.20/27.74	c (24,0) c Glues_7 : 3064
194.20/27.74	c (24,0) c Glues_total : 24686
194.20/27.74	c (24,0) c Glues_winner : 3037
194.20/27.74	c (24,0) c RunningTime_0 : 23.787035
194.20/27.74	c (24,0) c RunningTime_1 : 23.711707
194.20/27.74	c (24,0) c RunningTime_2 : 22.921970
194.20/27.74	c (24,0) c RunningTime_3 : 22.686876
194.20/27.74	c (24,0) c RunningTime_4 : 22.671071
194.20/27.74	c (24,0) c RunningTime_5 : 22.682742
194.20/27.74	c (24,0) c RunningTime_6 : 22.727625
194.20/27.74	c (24,0) c RunningTime_7 : 23.178618
194.20/27.74	c (24,0) c RunningTime_total : 184.367644
194.20/27.74	c (24,0) c RunningTime_winner : 22.686876
194.20/27.74	c (24,0) c WaitingTime_0 : 0.000224
194.20/27.74	c (24,0) c WaitingTime_1 : 0.000215
194.20/27.74	c (24,0) c WaitingTime_2 : 0.000281
194.20/27.74	c (24,0) c WaitingTime_3 : 0.000278
194.20/27.74	c (24,0) c WaitingTime_4 : 0.000280
194.20/27.74	c (24,0) c WaitingTime_5 : 0.000280
194.20/27.74	c (24,0) c WaitingTime_6 : 0.000254
194.20/27.74	c (24,0) c WaitingTime_7 : 0.000260
194.20/27.74	c (24,0) c WaitingTime_total : 0.002071
194.20/27.74	c (24,0) c WaitingTime_winner : 0.000278
194.20/27.74	c (24,0) c ExchangingTime_0 : 0.033128
194.20/27.74	c (24,0) c ExchangingTime_1 : 0.030548
194.20/27.74	c (24,0) c ExchangingTime_2 : 0.031447
194.20/27.74	c (24,0) c ExchangingTime_3 : 0.028175
194.20/27.74	c (24,0) c ExchangingTime_4 : 0.033155
194.20/27.74	c (24,0) c ExchangingTime_5 : 0.032512
194.20/27.74	c (24,0) c ExchangingTime_6 : 0.033999
194.20/27.74	c (24,0) c ExchangingTime_7 : 0.031621
194.20/27.74	c (24,0) c ExchangingTime_total : 0.254586
194.20/27.74	c (24,0) c ExchangingTime_winner : 0.028175
194.20/27.74	c (24,0) c PeriodProcTime_0 : 0.001828
194.20/27.74	c (24,0) c PeriodProcTime_1 : 0.001594
194.20/27.74	c (24,0) c PeriodProcTime_2 : 0.001634
194.20/27.74	c (24,0) c PeriodProcTime_3 : 0.001333
194.20/27.74	c (24,0) c PeriodProcTime_4 : 0.001587
194.20/27.74	c (24,0) c PeriodProcTime_5 : 0.001434
194.20/27.74	c (24,0) c PeriodProcTime_6 : 0.001746
194.20/27.74	c (24,0) c PeriodProcTime_7 : 0.001325
194.20/27.74	c (24,0) c PeriodProcTime_total : 0.012480
194.20/27.74	c (24,0) c PeriodProcTime_winner : 0.001333
194.20/27.74	c (24,0) c SolvingTime_0 : 23.822215
194.20/27.74	c (24,0) c SolvingTime_1 : 23.744064
194.20/27.74	c (24,0) c SolvingTime_2 : 22.955332
194.20/27.74	c (24,0) c SolvingTime_3 : 22.716663
194.20/27.74	c (24,0) c SolvingTime_4 : 22.706093
194.20/27.74	c (24,0) c SolvingTime_5 : 22.716967
194.20/27.74	c (24,0) c SolvingTime_6 : 22.763625
194.20/27.74	c (24,0) c SolvingTime_7 : 23.211823
194.20/27.74	c (24,0) c SolvingTime_total : 184.636781
194.20/27.74	c (24,0) c SolvingTime_winner : 22.716663
194.20/27.74	c (24,0) c PropagationTime_0 : 21.670186
194.20/27.74	c (24,0) c PropagationTime_1 : 21.612998
194.20/27.74	c (24,0) c PropagationTime_2 : 20.667167
194.20/27.74	c (24,0) c PropagationTime_3 : 20.600785
194.20/27.74	c (24,0) c PropagationTime_4 : 20.618173
194.20/27.74	c (24,0) c PropagationTime_5 : 20.607174
194.20/27.74	c (24,0) c PropagationTime_6 : 20.608597
194.20/27.74	c (24,0) c PropagationTime_7 : 21.038715
194.20/27.74	c (24,0) c PropagationTime_total : 167.423794
194.20/27.74	c (24,0) c PropagationTime_winner : 20.600785
194.20/27.74	c (24,0) c AnalysisTime_0 : 1.436855
194.20/27.74	c (24,0) c AnalysisTime_1 : 1.435093
194.20/27.74	c (24,0) c AnalysisTime_2 : 1.601217
194.20/27.74	c (24,0) c AnalysisTime_3 : 1.427972
194.20/27.75	c (24,0) c AnalysisTime_4 : 1.403946
194.20/27.75	c (24,0) c AnalysisTime_5 : 1.421741
194.20/27.75	c (24,0) c AnalysisTime_6 : 1.471578
194.20/27.75	c (24,0) c AnalysisTime_7 : 1.490993
194.20/27.75	c (24,0) c AnalysisTime_total : 11.689395
194.20/27.75	c (24,0) c AnalysisTime_winner : 1.427972
194.20/27.75	c (24,0) c ReductionTime_0 : 0.097699
194.20/27.75	c (24,0) c ReductionTime_1 : 0.103501
194.20/27.75	c (24,0) c ReductionTime_2 : 0.101033
194.20/27.75	c (24,0) c ReductionTime_3 : 0.097961
194.20/27.75	c (24,0) c ReductionTime_4 : 0.101855
194.20/27.75	c (24,0) c ReductionTime_5 : 0.099320
194.20/27.75	c (24,0) c ReductionTime_6 : 0.098973
194.20/27.75	c (24,0) c ReductionTime_7 : 0.102845
194.20/27.75	c (24,0) c ReductionTime_total : 0.803187
194.20/27.75	c (24,0) c ReductionTime_winner : 0.097961
194.20/27.75	c (24,0) c SimplifyTime_0 : 0.091470
194.20/27.75	c (24,0) c SimplifyTime_1 : 0.089473
194.20/27.75	c (24,0) c SimplifyTime_2 : 0.083692
194.20/27.75	c (24,0) c SimplifyTime_3 : 0.091274
194.20/27.75	c (24,0) c SimplifyTime_4 : 0.091383
194.20/27.75	c (24,0) c SimplifyTime_5 : 0.095414
194.20/27.75	c (24,0) c SimplifyTime_6 : 0.089534
194.20/27.75	c (24,0) c SimplifyTime_7 : 0.084362
194.20/27.75	c (24,0) c SimplifyTime_total : 0.716603
194.20/27.75	c (24,0) c SimplifyTime_winner : 0.091274
194.20/27.75	c (24,0) c UsedRateTime_0 : 0.000000
194.20/27.75	c (24,0) c UsedRateTime_1 : 0.000000
194.20/27.75	c (24,0) c UsedRateTime_2 : 0.000000
194.20/27.75	c (24,0) c UsedRateTime_3 : 0.000000
194.20/27.75	c (24,0) c UsedRateTime_4 : 0.000000
194.20/27.75	c (24,0) c UsedRateTime_5 : 0.000000
194.20/27.75	c (24,0) c UsedRateTime_6 : 0.000000
194.20/27.75	c (24,0) c UsedRateTime_7 : 0.000000
194.20/27.75	c (24,0) c UsedRateTime_total : 0.000000
194.20/27.75	c (24,0) c UsedRateTime_winner : 0.000000
194.20/27.75	c (24,0) c OverlapRateTime_0 : 0.000000
194.20/27.75	c (24,0) c OverlapRateTime_1 : 0.000000
194.20/27.75	c (24,0) c OverlapRateTime_2 : 0.000000
194.20/27.75	c (24,0) c OverlapRateTime_3 : 0.000000
194.20/27.75	c (24,0) c OverlapRateTime_4 : 0.000000
194.20/27.75	c (24,0) c OverlapRateTime_5 : 0.000000
194.20/27.75	c (24,0) c OverlapRateTime_6 : 0.000000
194.20/27.75	c (24,0) c OverlapRateTime_7 : 0.000000
194.20/27.75	c (24,0) c OverlapRateTime_total : 0.000000
194.20/27.75	c (24,0) c OverlapRateTime_winner : 0.000000
194.20/27.75	c (24,0) c
194.20/27.75	c (24,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
194.20/27.75	c (24,0) c
194.20/27.75	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
194.20/27.75	c (24,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
194.20/27.75	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
194.20/27.75	c (24,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
194.20/27.75	c (24,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
194.20/27.75	c (24,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
194.20/27.75	c (24,0) c | Initial random_seed   |  302885059 |  518612122 |  564435643 | 1321125556 | 1153528461 | 1124233231 |  756034408 |  380761737 |
194.20/27.75	c (24,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
194.20/27.75	c (24,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
194.20/27.75	c (24,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
194.20/27.75	c (24,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
194.20/27.75	c (24,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
194.20/27.75	c (24,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
194.20/27.75	c (24,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
194.20/27.75	c (24,0) c | var_decay             |     0.9200 |     0.9200 |     0.9200 |     0.9200 |     0.9200 |     0.9200 |     0.9300 |     0.9200 |
194.20/27.75	c (24,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
194.20/27.75	c (24,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
194.20/27.75	c (24,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
194.20/27.75	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
194.20/27.75	c (24,0) 
194.20/27.75	c (24,0) s UNSATISFIABLE
194.20/27.75	c (24,0) SatSolver.solve End
194.20/27.75	c (24,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
194.20/27.75	c (24,0) Show results Begin
194.20/27.75	s UNSATISFIABLE
194.20/27.75	c (24,0) Show results End
194.20/27.75	c (24,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
194.20/27.75	c (24,0) 24,24,STOP-AFTER(ALL)
194.20/27.75	c END-Prog: Sat Sep 14 03:28:22 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 (14384 MiB free)
  memory of node 1: 16384 MiB (15170 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392371-1568424515/watcher-4392371-1568424515 -o /tmp/evaluation-result-4392371-1568424515/solver-4392371-1568424515 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568416726-24393 --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-4392371-1568424515.xml 

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

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


[startup+0.10053 s]*
/proc/loadavg: 8.63 8.31 8.17 2/217 29049
/proc/meminfo: memFree=30171228/32770624 swapFree=66916620/67108860
[pid=29027] ppid=29024 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29027/stat : 29027 (scop.sh) S 29024 29027 24366 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418702075 115843072 349 33554432000 4194304 5098028 140731536577024 140731536574280 140372276814460 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13737984 140731536585509 140731536585836 140731536585836 140731536588749 0
/proc/29027/statm: 28282 349 296 221 0 87 0
[pid=29030] ppid=29027 vsize=27314120 memory=105436 CPUtime=0.11 cores=0-7
/proc/29030/stat : 29030 (java) S 29027 29027 24366 0 -1 1077944320 6970 0 0 0 9 2 0 0 20 0 20 0 418702075 27969658880 26359 33554432000 4194304 4196468 140731220123504 140731220106048 139868300750583 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
/proc/29030/statm: 6828530 26359 2802 1 0 6790935 0
[pid=29030/tid=29031] ppid=29027 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/29030/task/29031/stat : 29031 (java) R 29027 29027 24366 0 -1 4202560 5057 0 0 0 7 1 0 0 20 0 20 0 418702075 27969658880 26871 33554432000 4194304 4196468 140731220123504 139868272568960 139868286818702 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29032] ppid=29027 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/29030/task/29032/stat : 29032 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 26871 33554432000 4194304 4196468 140731220123504 139868304992656 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29033] ppid=29027 vsize=27314120 memory=140287608088192 CPUtime=0 cores=0-7
/proc/29030/task/29033/stat : 29033 (java) S 29027 29027 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 26871 33554432000 4194304 4196468 140731220123504 139868119148816 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29034] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29034/stat : 29034 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 26871 33554432000 4194304 4196468 140731220123504 139868118096528 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29035] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29035/stat : 29035 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 26871 33554432000 4194304 4196468 140731220123504 139868117043728 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29036] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29036/stat : 29036 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 26871 33554432000 4194304 4196468 140731220123504 139868115991440 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29037] ppid=29027 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29030/task/29037/stat : 29037 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 26871 33554432000 4194304 4196468 140731220123504 139868114938640 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29038] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29038/stat : 29038 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 26871 33554432000 4194304 4196468 140731220123504 139868113886352 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29039] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29039/stat : 29039 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 26871 33554432000 4194304 4196468 140731220123504 139868112833552 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29040] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29040/stat : 29040 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418702079 27969658880 26871 33554432000 4194304 4196468 140731220123504 139866822076528 139868300761730 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29041] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29041/stat : 29041 (java) S 29027 29027 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418702080 27969658880 26871 33554432000 4194304 4196468 140731220123504 139865945531168 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29042] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29042/stat : 29042 (java) S 29027 29027 24366 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418702080 27969658880 26871 33554432000 4194304 4196468 140731220123504 139865811309680 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29043] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29043/stat : 29043 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418702082 27969658880 26871 33554432000 4194304 4196468 140731220123504 139865436805200 139868300769179 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29044] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29044/stat : 29044 (java) S 29027 29027 24366 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 418702082 27969658880 26871 33554432000 4194304 4196468 140731220123504 139866821024368 139868300761730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29045] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29045/stat : 29045 (java) S 29027 29027 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418702082 27969658880 26871 33554432000 4194304 4196468 140731220123504 139866819971568 139868300761730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29046] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29046/stat : 29046 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418702082 27969658880 26871 33554432000 4194304 4196468 140731220123504 139866750839664 139868300761730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29047] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29047/stat : 29047 (java) S 29027 29027 24366 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 20 0 418702082 27969658880 26871 33554432000 4194304 4196468 140731220123504 139866749786864 139868300761730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29048] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29048/stat : 29048 (java) S 29027 29027 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418702083 27969658880 26871 33554432000 4194304 4196468 140731220123504 139864938899808 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29049] ppid=29027 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29030/task/29049/stat : 29049 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418702083 27969658880 26871 33554432000 4194304 4196468 140731220123504 139866748733744 139868300761730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106832 KiB

[startup+0.210855 s]*
/proc/loadavg: 8.63 8.31 8.17 2/217 29049
/proc/meminfo: memFree=30149496/32770624 swapFree=66916620/67108860
[pid=29027] ppid=29024 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29027/stat : 29027 (scop.sh) S 29024 29027 24366 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418702075 115843072 349 33554432000 4194304 5098028 140731536577024 140731536574280 140372276814460 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13737984 140731536585509 140731536585836 140731536585836 140731536588749 0
/proc/29027/statm: 28282 349 296 221 0 87 0
[pid=29030] ppid=29027 vsize=27314120 memory=124576 CPUtime=0.24 cores=0-7
/proc/29030/stat : 29030 (java) S 29027 29027 24366 0 -1 1077944320 12569 0 0 0 21 3 0 0 20 0 20 0 418702075 27969658880 31144 33554432000 4194304 4196468 140731220123504 140731220106048 139868300750583 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
/proc/29030/statm: 6828530 31144 2923 1 0 6790935 0
[pid=29030/tid=29031] ppid=29027 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/29030/task/29031/stat : 29031 (java) R 29027 29027 24366 0 -1 4202560 10284 0 0 0 17 3 0 0 20 0 20 0 418702075 27969658880 31144 33554432000 4194304 4196468 140731220123504 139868272549968 139868282314158 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29032] ppid=29027 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/29030/task/29032/stat : 29032 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 31144 33554432000 4194304 4196468 140731220123504 139868304992656 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29033] ppid=29027 vsize=27314120 memory=140287611254031 CPUtime=0 cores=0-7
/proc/29030/task/29033/stat : 29033 (java) S 29027 29027 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 31144 33554432000 4194304 4196468 140731220123504 139868119148816 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29034] ppid=29027 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29030/task/29034/stat : 29034 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 31144 33554432000 4194304 4196468 140731220123504 139868118096528 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29035] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29035/stat : 29035 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 31144 33554432000 4194304 4196468 140731220123504 139868117043728 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29036] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29036/stat : 29036 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 31144 33554432000 4194304 4196468 140731220123504 139868115991440 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29037] ppid=29027 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29030/task/29037/stat : 29037 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 31144 33554432000 4194304 4196468 140731220123504 139868114938640 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29038] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29038/stat : 29038 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 31144 33554432000 4194304 4196468 140731220123504 139868113886352 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29039] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29039/stat : 29039 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 31144 33554432000 4194304 4196468 140731220123504 139868112833552 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29040] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29040/stat : 29040 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418702079 27969658880 31144 33554432000 4194304 4196468 140731220123504 139866822076528 139868300761730 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29041] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29041/stat : 29041 (java) S 29027 29027 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418702080 27969658880 31144 33554432000 4194304 4196468 140731220123504 139865945531168 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29042] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29042/stat : 29042 (java) S 29027 29027 24366 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418702080 27969658880 31144 33554432000 4194304 4196468 140731220123504 139865811309680 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29043] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29043/stat : 29043 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418702082 27969658880 31144 33554432000 4194304 4196468 140731220123504 139865436805200 139868300769179 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29044] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29044/stat : 29044 (java) S 29027 29027 24366 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 20 0 418702082 27969658880 31144 33554432000 4194304 4196468 140731220123504 139866821024368 139868300761730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29045] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29045/stat : 29045 (java) S 29027 29027 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418702082 27969658880 31144 33554432000 4194304 4196468 140731220123504 139866819971568 139868300761730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29046] ppid=29027 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29030/task/29046/stat : 29046 (java) S 29027 29027 24366 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 418702082 27969658880 31144 33554432000 4194304 4196468 140731220123504 139866750839664 139868300761730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29047] ppid=29027 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/29030/task/29047/stat : 29047 (java) S 29027 29027 24366 0 -1 1077944384 443 0 0 0 2 0 0 0 20 0 20 0 418702082 27969658880 31144 33554432000 4194304 4196468 140731220123504 139866749786864 139868300761730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29048] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29048/stat : 29048 (java) S 29027 29027 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418702083 27969658880 31144 33554432000 4194304 4196468 140731220123504 139864938899808 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29049] ppid=29027 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29030/task/29049/stat : 29049 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418702083 27969658880 31144 33554432000 4194304 4196468 140731220123504 139866748733744 139868300761730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125972 KiB

[startup+0.31068 s]*
/proc/loadavg: 8.63 8.31 8.17 2/217 29049
/proc/meminfo: memFree=30146952/32770624 swapFree=66916620/67108860
[pid=29027] ppid=29024 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29027/stat : 29027 (scop.sh) S 29024 29027 24366 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418702075 115843072 349 33554432000 4194304 5098028 140731536577024 140731536574280 140372276814460 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13737984 140731536585509 140731536585836 140731536585836 140731536588749 0
/proc/29027/statm: 28282 349 296 221 0 87 0
[pid=29030] ppid=29027 vsize=27314120 memory=128180 CPUtime=0.43 cores=0-7
/proc/29030/stat : 29030 (java) S 29027 29027 24366 0 -1 1077944320 12940 0 0 0 39 4 0 0 20 0 20 0 418702075 27969658880 32045 33554432000 4194304 4196468 140731220123504 140731220106048 139868300750583 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
/proc/29030/statm: 6828530 32045 3024 1 0 6790935 0
[pid=29030/tid=29031] ppid=29027 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/29030/task/29031/stat : 29031 (java) R 29027 29027 24366 0 -1 4202560 10471 0 0 0 27 3 0 0 20 0 20 0 418702075 27969658880 32045 33554432000 4194304 4196468 140731220123504 139868272573776 139868282314182 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29032] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29032/stat : 29032 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 32045 33554432000 4194304 4196468 140731220123504 139868304992656 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29033] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29033/stat : 29033 (java) S 29027 29027 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 32045 33554432000 4194304 4196468 140731220123504 139868119148816 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29034] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29034/stat : 29034 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 32045 33554432000 4194304 4196468 140731220123504 139868118096528 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29035] ppid=29027 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/29030/task/29035/stat : 29035 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 32045 33554432000 4194304 4196468 140731220123504 139868117043728 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29036] ppid=29027 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/29030/task/29036/stat : 29036 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 32045 33554432000 4194304 4196468 140731220123504 139868115991440 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29037] ppid=29027 vsize=27314120 memory=140287456410799 CPUtime=0 cores=0-7
/proc/29030/task/29037/stat : 29037 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 32045 33554432000 4194304 4196468 140731220123504 139868114938640 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29038] ppid=29027 vsize=27314120 memory=140287456413104 CPUtime=0 cores=0-7
/proc/29030/task/29038/stat : 29038 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 32045 33554432000 4194304 4196468 140731220123504 139868113886352 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29039] ppid=29027 vsize=27314120 memory=140287456415408 CPUtime=0 cores=0-7
/proc/29030/task/29039/stat : 29039 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418702078 27969658880 32045 33554432000 4194304 4196468 140731220123504 139868112833552 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29040] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29040/stat : 29040 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418702079 27969658880 32045 33554432000 4194304 4196468 140731220123504 139866822076528 139868300761730 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29041] ppid=29027 vsize=27314120 memory=280574912840080 CPUtime=0 cores=0-7
/proc/29030/task/29041/stat : 29041 (java) S 29027 29027 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418702080 27969658880 32045 33554432000 4194304 4196468 140731220123504 139865945531168 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29042] ppid=29027 vsize=27314120 memory=280574912781232 CPUtime=0 cores=0-7
/proc/29030/task/29042/stat : 29042 (java) S 29027 29027 24366 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418702080 27969658880 32045 33554432000 4194304 4196468 140731220123504 139865811309680 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29043] ppid=29027 vsize=27314120 memory=280574912853904 CPUtime=0 cores=0-7
/proc/29030/task/29043/stat : 29043 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418702082 27969658880 32045 33554432000 4194304 4196468 140731220123504 139865436805200 139868300769179 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29044] ppid=29027 vsize=27314120 memory=280574912860816 CPUtime=0 cores=0-7
/proc/29030/task/29044/stat : 29044 (java) S 29027 29027 24366 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 20 0 418702082 27969658880 32045 33554432000 4194304 4196468 140731220123504 139866821024368 139868300761730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29045] ppid=29027 vsize=27314120 memory=280574912858512 CPUtime=0.01 cores=0-7
/proc/29030/task/29045/stat : 29045 (java) R 29027 29027 24366 0 -1 4202560 66 0 0 0 1 0 0 0 20 0 20 0 418702082 27969658880 32110 33554432000 4194304 4196468 140731220123504 139866819971568 139868278329744 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29046] ppid=29027 vsize=27314120 memory=280574912874640 CPUtime=0.01 cores=0-7
/proc/29030/task/29046/stat : 29046 (java) S 29027 29027 24366 0 -1 1077944384 134 0 0 0 1 0 0 0 20 0 20 0 418702082 27969658880 32110 33554432000 4194304 4196468 140731220123504 139866750839664 139868300761730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29047] ppid=29027 vsize=27314120 memory=280574912872336 CPUtime=0.07 cores=0-7
/proc/29030/task/29047/stat : 29047 (java) S 29027 29027 24366 0 -1 1077944384 465 0 0 0 7 0 0 0 20 0 20 0 418702082 27969658880 32110 33554432000 4194304 4196468 140731220123504 139866749786864 139868300761730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29048] ppid=29027 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29048/stat : 29048 (java) S 29027 29027 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418702083 27969658880 32110 33554432000 4194304 4196468 140731220123504 139864938899808 139868300760789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29049] ppid=29027 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29030/task/29049/stat : 29049 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418702083 27969658880 32110 33554432000 4194304 4196468 140731220123504 139866748733744 139868300761730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129576 KiB

[startup+0.70452 s]
/proc/loadavg: 8.63 8.31 8.17 2/217 29049
/proc/meminfo: memFree=30125992/32770624 swapFree=66916620/67108860
[pid=29027] ppid=29024 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29027/stat : 29027 (scop.sh) S 29024 29027 24366 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418702075 115843072 349 33554432000 4194304 5098028 140731536577024 140731536574280 140372276814460 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13737984 140731536585509 140731536585836 140731536585836 140731536588749 0
/proc/29027/statm: 28282 349 296 221 0 87 0
[pid=29030] ppid=29027 vsize=27322516 memory=164116 CPUtime=1 cores=0-7
/proc/29030/stat : 29030 (java) S 29027 29027 24366 0 -1 1077944320 20631 0 0 0 93 7 0 0 20 0 20 0 418702075 27978256384 41029 33554432000 4194304 4196468 140731220123504 140731220106048 139868300750583 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
/proc/29030/statm: 6830885 41029 3206 1 0 6792215 0
[pid=29030/tid=29031] ppid=29027 vsize=27323540 memory=0 CPUtime=0.68 cores=0-7
/proc/29030/task/29031/stat : 29031 (java) R 29027 29027 24366 0 -1 4202560 17698 0 0 0 63 5 0 0 20 0 20 0 418702075 27979304960 41029 33554432000 4194304 4196468 140731220123504 139868272567968 139868293430301 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29032] ppid=29027 vsize=27323540 memory=140287456621936 CPUtime=0 cores=0-7
/proc/29030/task/29032/stat : 29032 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418702078 27979304960 41029 33554432000 4194304 4196468 140731220123504 139868304992656 139868300760789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29033] ppid=29027 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/29030/task/29033/stat : 29033 (java) S 29027 29027 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418702078 27978256384 41029 33554432000 4194304 4196468 140731220123504 139868119148816 139868300760789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0
[pid=29030/tid=29034] ppid=29027 vsize=27322516 memory=5996 CPUtime=0 cores=0-7
/proc/29030/task/29034/stat : 29034 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418702078 27978256384 41029 33554432000 4194304 4196468 140731220123504 139868118096528 139868300760789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30679040 140731220132587 140731220133014 140731220133014 140731220135887 0

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

[pid=29050/tid=29061] ppid=29027 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/29050/task/29061/stat : 29061 (java) S 29027 29027 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418702382 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299334575392 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29062] ppid=29027 vsize=8414124 memory=5996 CPUtime=0 cores=0-7
/proc/29050/task/29062/stat : 29062 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418702382 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299066140272 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29063] ppid=29027 vsize=8414124 memory=8300 CPUtime=0 cores=0-7
/proc/29050/task/29063/stat : 29063 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418702385 8616062976 29868 33554432000 4194304 4196468 140720677395776 140298691631696 140300682643355 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29064] ppid=29027 vsize=8414124 memory=776 CPUtime=0.07 cores=0-7
/proc/29050/task/29064/stat : 29064 (java) S 29027 29027 24366 0 -1 1077944384 423 0 0 0 7 0 0 0 20 0 24 0 418702386 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299640887408 140300682635906 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29065] ppid=29027 vsize=8414124 memory=14012 CPUtime=0.02 cores=0-7
/proc/29050/task/29065/stat : 29065 (java) S 29027 29027 24366 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 24 0 418702386 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299639834608 140300682635906 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29066] ppid=29027 vsize=8414124 memory=20652 CPUtime=0.07 cores=0-7
/proc/29050/task/29066/stat : 29066 (java) S 29027 29027 24366 0 -1 1077944384 296 0 0 0 7 0 0 0 20 0 24 0 418702386 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299638782320 140300682635906 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29067] ppid=29027 vsize=8414124 memory=12036 CPUtime=0.19 cores=0-7
/proc/29050/task/29067/stat : 29067 (java) S 29027 29027 24366 0 -1 1077944384 496 0 0 0 19 0 0 0 20 0 24 0 418702386 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299637729520 140300682635906 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29068] ppid=29027 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/29050/task/29068/stat : 29068 (java) S 29027 29027 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418702386 8616062976 29868 33554432000 4194304 4196468 140720677395776 140298193726304 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29069] ppid=29027 vsize=8414124 memory=500 CPUtime=0.01 cores=0-7
/proc/29050/task/29069/stat : 29069 (java) S 29027 29027 24366 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 418702386 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299636677424 140300682635906 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29071] ppid=29027 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/29050/task/29071/stat : 29071 (java) S 29027 29027 24366 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418702451 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299628644160 140300682649369 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29073] ppid=29027 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29050/task/29073/stat : 29073 (java) S 29027 29027 24366 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418702451 8616062976 29868 33554432000 4194304 4196468 140720677395776 140297522625936 140300682646685 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29074] ppid=29027 vsize=8414124 memory=280574913805824 CPUtime=0 cores=0-7
/proc/29050/task/29074/stat : 29074 (java) S 29027 29027 24366 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418702451 8616062976 29868 33554432000 4194304 4196468 140720677395776 140297791061264 140300682646685 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29075] ppid=29027 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29050/task/29075/stat : 29075 (java) S 29027 29027 24366 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418702453 8616062976 29868 33554432000 4194304 4196468 140720677395776 140297254198576 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
Current children cumulated CPU time: 193.25 s
Current children cumulated vsize: 9198208 KiB
Current children cumulated memory: 304904 KiB

[startup+27.6012 s]
/proc/loadavg: 8.00 8.17 8.13 4/226 29086
/proc/meminfo: memFree=29972180/32770624 swapFree=66916620/67108860
[pid=29027] ppid=29024 vsize=113128 memory=1476 CPUtime=8.91 cores=0-7
/proc/29027/stat : 29027 (scop.sh) S 29024 29027 24366 0 -1 4202496 582 29585 0 0 0 0 869 22 20 0 1 0 418702075 115843072 369 33554432000 4194304 5098028 140731536577024 140731536573768 140372276814460 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13737984 140731536585509 140731536585836 140731536585836 140731536588749 0
/proc/29027/statm: 28282 369 311 221 0 87 0
[pid=29050] ppid=29027 vsize=8414124 memory=119472 CPUtime=1.13 cores=0-7
/proc/29050/stat : 29050 (java) S 29027 29027 24366 0 -1 1077944320 19370 0 0 0 107 6 0 0 20 0 24 0 418702379 8616062976 29868 33554432000 4194304 4196468 140720677395776 140720677378320 140300682624759 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
/proc/29050/statm: 2103531 29868 3197 1 0 2064875 0
[pid=29070] ppid=29050 vsize=670956 memory=183956 CPUtime=184.01 cores=0-7
/proc/29070/stat : 29070 (manyglucose-4.1) S 29050 29027 24366 0 -1 1077944320 140454 0 0 0 18371 30 0 0 20 0 3 0 418702451 687058944 45989 33554432000 4194304 4454172 140735289088480 140735289086864 139719657619191 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 7184384 140735289090921 140735289091120 140735289091120 140735289094074 0
/proc/29070/statm: 167739 45989 416 64 0 163407 0
[pid=29070/tid=29076] ppid=29050 vsize=670956 memory=2044 CPUtime=23.15 cores=0-7
/proc/29070/task/29076/stat : 29076 (manyglucose-4.1) R 29050 29027 24366 0 -1 4202560 17186 0 0 0 2312 3 0 0 20 0 3 0 418702465 687058944 45989 33554432000 4194304 4454172 140735289088480 139719634082920 4351576 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 7184384 140735289090921 140735289091120 140735289091120 140735289094074 0
[pid=29070/tid=29077] ppid=29050 vsize=670956 memory=1296 CPUtime=23.67 cores=0-7
/proc/29070/task/29077/stat : 29077 (manyglucose-4.1) R 29050 29027 24366 0 -1 4202560 15521 0 0 0 2364 3 0 0 20 0 3 0 418702465 687058944 45989 33554432000 4194304 4454172 140735289088480 139719625689960 4350219 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 7184384 140735289090921 140735289091120 140735289091120 140735289094074 0
[pid=29050/tid=29051] ppid=29027 vsize=8414124 memory=620 CPUtime=0.74 cores=0-7
/proc/29050/task/29051/stat : 29051 (java) S 29027 29027 24366 0 -1 1077944384 16397 0 0 0 69 5 0 0 20 0 24 0 418702379 8616062976 29868 33554432000 4194304 4196468 140720677395776 140300654464928 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29052] ppid=29027 vsize=8414124 memory=4000 CPUtime=0 cores=0-7
/proc/29050/task/29052/stat : 29052 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418702380 8616062976 29868 33554432000 4194304 4196468 140720677395776 140300686867344 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29053] ppid=29027 vsize=8414124 memory=183904 CPUtime=0 cores=0-7
/proc/29050/task/29053/stat : 29053 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418702380 8616062976 29868 33554432000 4194304 4196468 140720677395776 140300487035664 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29054] ppid=29027 vsize=8414124 memory=1156 CPUtime=0 cores=0-7
/proc/29050/task/29054/stat : 29054 (java) S 29027 29027 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418702380 8616062976 29868 33554432000 4194304 4196468 140720677395776 140300485983376 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29055] ppid=29027 vsize=8414124 memory=944 CPUtime=0 cores=0-7
/proc/29050/task/29055/stat : 29055 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418702380 8616062976 29868 33554432000 4194304 4196468 140720677395776 140300484930576 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29056] ppid=29027 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/29050/task/29056/stat : 29056 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418702380 8616062976 29868 33554432000 4194304 4196468 140720677395776 140300483877264 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29057] ppid=29027 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/29050/task/29057/stat : 29057 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418702380 8616062976 29868 33554432000 4194304 4196468 140720677395776 140300482824464 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29058] ppid=29027 vsize=8414124 memory=5996 CPUtime=0 cores=0-7
/proc/29050/task/29058/stat : 29058 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418702380 8616062976 29868 33554432000 4194304 4196468 140720677395776 140300481772176 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29059] ppid=29027 vsize=8414124 memory=8300 CPUtime=0 cores=0-7
/proc/29050/task/29059/stat : 29059 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418702380 8616062976 29868 33554432000 4194304 4196468 140720677395776 140300480719376 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29060] ppid=29027 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/29050/task/29060/stat : 29060 (java) S 29027 29027 24366 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418702382 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299641940592 140300682635906 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29061] ppid=29027 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/29050/task/29061/stat : 29061 (java) S 29027 29027 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418702382 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299334575392 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29062] ppid=29027 vsize=8414124 memory=20652 CPUtime=0 cores=0-7
/proc/29050/task/29062/stat : 29062 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418702382 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299066140272 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29063] ppid=29027 vsize=8414124 memory=12036 CPUtime=0 cores=0-7
/proc/29050/task/29063/stat : 29063 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418702385 8616062976 29868 33554432000 4194304 4196468 140720677395776 140298691631696 140300682643355 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29064] ppid=29027 vsize=8414124 memory=2116 CPUtime=0.07 cores=0-7
/proc/29050/task/29064/stat : 29064 (java) S 29027 29027 24366 0 -1 1077944384 423 0 0 0 7 0 0 0 20 0 24 0 418702386 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299640887408 140300682635906 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29065] ppid=29027 vsize=8414124 memory=500 CPUtime=0.02 cores=0-7
/proc/29050/task/29065/stat : 29065 (java) S 29027 29027 24366 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 24 0 418702386 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299639834608 140300682635906 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29066] ppid=29027 vsize=8414124 memory=1556 CPUtime=0.07 cores=0-7
/proc/29050/task/29066/stat : 29066 (java) S 29027 29027 24366 0 -1 1077944384 296 0 0 0 7 0 0 0 20 0 24 0 418702386 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299638782320 140300682635906 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29067] ppid=29027 vsize=8414124 memory=928 CPUtime=0.19 cores=0-7
/proc/29050/task/29067/stat : 29067 (java) S 29027 29027 24366 0 -1 1077944384 496 0 0 0 19 0 0 0 20 0 24 0 418702386 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299637729520 140300682635906 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29068] ppid=29027 vsize=8414124 memory=280574913408544 CPUtime=0 cores=0-7
/proc/29050/task/29068/stat : 29068 (java) S 29027 29027 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418702386 8616062976 29868 33554432000 4194304 4196468 140720677395776 140298193726304 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29069] ppid=29027 vsize=8414124 memory=302867294839898427 CPUtime=0.01 cores=0-7
/proc/29050/task/29069/stat : 29069 (java) S 29027 29027 24366 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 418702386 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299636677424 140300682635906 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29071] ppid=29027 vsize=8414124 memory=15815590841420219 CPUtime=0 cores=0-7
/proc/29050/task/29071/stat : 29071 (java) S 29027 29027 24366 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418702451 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299628644160 140300682649369 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29073] ppid=29027 vsize=8414124 memory=6945507666079274341 CPUtime=0 cores=0-7
/proc/29050/task/29073/stat : 29073 (java) S 29027 29027 24366 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418702451 8616062976 29868 33554432000 4194304 4196468 140720677395776 140297522625936 140300682646685 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29074] ppid=29027 vsize=8414124 memory=6945507666079274341 CPUtime=0 cores=0-7
/proc/29050/task/29074/stat : 29074 (java) S 29027 29027 24366 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418702451 8616062976 29868 33554432000 4194304 4196468 140720677395776 140297791061264 140300682646685 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29075] ppid=29027 vsize=8414124 memory=5793717546049419881 CPUtime=0 cores=0-7
/proc/29050/task/29075/stat : 29075 (java) S 29027 29027 24366 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418702453 8616062976 29868 33554432000 4194304 4196468 140720677395776 140297254198576 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
Current children cumulated CPU time: 194.05 s
Current children cumulated vsize: 9198208 KiB
Current children cumulated memory: 304904 KiB

[startup+27.7012 s]
/proc/loadavg: 8.00 8.17 8.13 4/226 29086
/proc/meminfo: memFree=29972180/32770624 swapFree=66916620/67108860
[pid=29027] ppid=29024 vsize=113128 memory=1476 CPUtime=8.91 cores=0-7
/proc/29027/stat : 29027 (scop.sh) S 29024 29027 24366 0 -1 4202496 582 29585 0 0 0 0 869 22 20 0 1 0 418702075 115843072 369 33554432000 4194304 5098028 140731536577024 140731536573768 140372276814460 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13737984 140731536585509 140731536585836 140731536585836 140731536588749 0
/proc/29027/statm: 28282 369 311 221 0 87 0
[pid=29050] ppid=29027 vsize=8414124 memory=119472 CPUtime=1.13 cores=0-7
/proc/29050/stat : 29050 (java) S 29027 29027 24366 0 -1 1077944320 19370 0 0 0 107 6 0 0 20 0 24 0 418702379 8616062976 29868 33554432000 4194304 4196468 140720677395776 140720677378320 140300682624759 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
/proc/29050/statm: 2103531 29868 3197 1 0 2064875 0
[pid=29070] ppid=29050 vsize=670956 memory=183956 CPUtime=184.16 cores=0-7
/proc/29070/stat : 29070 (manyglucose-4.1) S 29050 29027 24366 0 -1 1077944320 140456 0 0 0 18386 30 0 0 20 0 2 0 418702451 687058944 45989 33554432000 4194304 4454172 140735289088480 140735289086864 139719657619191 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 7184384 140735289090921 140735289091120 140735289091120 140735289094074 0
/proc/29070/statm: 167739 45989 416 64 0 163407 0
[pid=29070/tid=29076] ppid=29050 vsize=670956 memory=1476 CPUtime=23.25 cores=0-7
/proc/29070/task/29076/stat : 29076 (manyglucose-4.1) R 29050 29027 24366 0 -1 4202560 17186 0 0 0 2322 3 0 0 20 0 2 0 418702465 687058944 45989 33554432000 4194304 4454172 140735289088480 139719634082920 4351209 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 7184384 140735289090921 140735289091120 140735289091120 140735289094074 0
[pid=29050/tid=29051] ppid=29027 vsize=8414124 memory=620 CPUtime=0.74 cores=0-7
/proc/29050/task/29051/stat : 29051 (java) S 29027 29027 24366 0 -1 1077944384 16397 0 0 0 69 5 0 0 20 0 24 0 418702379 8616062976 29868 33554432000 4194304 4196468 140720677395776 140300654464928 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29052] ppid=29027 vsize=8414124 memory=4000 CPUtime=0 cores=0-7
/proc/29050/task/29052/stat : 29052 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418702380 8616062976 29868 33554432000 4194304 4196468 140720677395776 140300686867344 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29053] ppid=29027 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/29050/task/29053/stat : 29053 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418702380 8616062976 29868 33554432000 4194304 4196468 140720677395776 140300487035664 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29054] ppid=29027 vsize=8414124 memory=7686721470233810332 CPUtime=0 cores=0-7
/proc/29050/task/29054/stat : 29054 (java) S 29027 29027 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418702380 8616062976 29868 33554432000 4194304 4196468 140720677395776 140300485983376 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29055] ppid=29027 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/29050/task/29055/stat : 29055 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418702380 8616062976 29868 33554432000 4194304 4196468 140720677395776 140300484930576 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29056] ppid=29027 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/29050/task/29056/stat : 29056 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418702380 8616062976 29868 33554432000 4194304 4196468 140720677395776 140300483877264 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29057] ppid=29027 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/29050/task/29057/stat : 29057 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418702380 8616062976 29868 33554432000 4194304 4196468 140720677395776 140300482824464 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29058] ppid=29027 vsize=8414124 memory=119472 CPUtime=0 cores=0-7
/proc/29050/task/29058/stat : 29058 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418702380 8616062976 29868 33554432000 4194304 4196468 140720677395776 140300481772176 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29059] ppid=29027 vsize=8414124 memory=183792 CPUtime=0 cores=0-7
/proc/29050/task/29059/stat : 29059 (java) S 29027 29027 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418702380 8616062976 29868 33554432000 4194304 4196468 140720677395776 140300480719376 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29060] ppid=29027 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/29050/task/29060/stat : 29060 (java) S 29027 29027 24366 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418702382 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299641940592 140300682635906 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29061] ppid=29027 vsize=8414124 memory=119472 CPUtime=0 cores=0-7
/proc/29050/task/29061/stat : 29061 (java) S 29027 29027 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418702382 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299334575392 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29062] ppid=29027 vsize=8414124 memory=183904 CPUtime=0 cores=0-7
/proc/29050/task/29062/stat : 29062 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418702382 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299066140272 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29063] ppid=29027 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29050/task/29063/stat : 29063 (java) S 29027 29027 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418702385 8616062976 29868 33554432000 4194304 4196468 140720677395776 140298691631696 140300682643355 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29064] ppid=29027 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/29050/task/29064/stat : 29064 (java) S 29027 29027 24366 0 -1 1077944384 423 0 0 0 7 0 0 0 20 0 24 0 418702386 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299640887408 140300682635906 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29065] ppid=29027 vsize=8414124 memory=0 CPUtime=0.02 cores=0-7
/proc/29050/task/29065/stat : 29065 (java) S 29027 29027 24366 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 24 0 418702386 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299639834608 140300682635906 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29066] ppid=29027 vsize=8414124 memory=39784 CPUtime=0.07 cores=0-7
/proc/29050/task/29066/stat : 29066 (java) S 29027 29027 24366 0 -1 1077944384 296 0 0 0 7 0 0 0 20 0 24 0 418702386 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299638782320 140300682635906 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29067] ppid=29027 vsize=8414124 memory=992 CPUtime=0.19 cores=0-7
/proc/29050/task/29067/stat : 29067 (java) S 29027 29027 24366 0 -1 1077944384 496 0 0 0 19 0 0 0 20 0 24 0 418702386 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299637729520 140300682635906 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29068] ppid=29027 vsize=8414124 memory=7686721470233810332 CPUtime=0 cores=0-7
/proc/29050/task/29068/stat : 29068 (java) S 29027 29027 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418702386 8616062976 29868 33554432000 4194304 4196468 140720677395776 140298193726304 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29069] ppid=29027 vsize=8414124 memory=288230596050944315 CPUtime=0.01 cores=0-7
/proc/29050/task/29069/stat : 29069 (java) S 29027 29027 24366 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 418702386 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299636677424 140300682635906 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29071] ppid=29027 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29050/task/29071/stat : 29071 (java) S 29027 29027 24366 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418702451 8616062976 29868 33554432000 4194304 4196468 140720677395776 140299628644160 140300682649369 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29073] ppid=29027 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29050/task/29073/stat : 29073 (java) S 29027 29027 24366 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418702451 8616062976 29868 33554432000 4194304 4196468 140720677395776 140297522625936 140300682646685 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29074] ppid=29027 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29050/task/29074/stat : 29074 (java) S 29027 29027 24366 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418702451 8616062976 29868 33554432000 4194304 4196468 140720677395776 140297791061264 140300682646685 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
[pid=29050/tid=29075] ppid=29027 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29050/task/29075/stat : 29075 (java) S 29027 29027 24366 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418702453 8616062976 29868 33554432000 4194304 4196468 140720677395776 140297254198576 140300682634965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140720677401591 140720677401750 140720677401750 140720677404623 0
Current children cumulated CPU time: 194.2 s
Current children cumulated vsize: 9198208 KiB
Current children cumulated memory: 304904 KiB

Child status: 0
Real time (s): 27.7646
CPU time (s): 194.353
CPU user time (s): 193.735
CPU system time (s): 0.617688
CPU usage (%): 700.001
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 780612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 193.735
system time used= 0.617688
maximum resident set size= 784064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190449
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= 9141
involuntary context switches= 2277


# summary of solver processes directly reported to runsolver:
#   pid: 29027
#   total CPU time (s): 194.353
#   total CPU user time (s): 193.735
#   total CPU system time (s): 0.617688

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.29427 second user time and 0.399125 second system time

The end

Launcher Data 

Begin job on node134 at 2019-09-14 03:27:54
IDJOB=4392371
IDBENCH=124317
IDSOLVER=2838
FILE ID=node134/4392371-1568424515
RUNJOBID= node134-1568416726-24393
PBS_JOBID= 21702257
Free space on /tmp= 59576 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
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 /tmp/evaluation-result-4392371-1568424515/watcher-4392371-1568424515 -o /tmp/evaluation-result-4392371-1568424515/solver-4392371-1568424515 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568416726-24393 --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-4392371-1568424515.xml

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

MD5SUM BENCH= bb1ed06e96cb498235a61544b90f533b
RANDOM SEED=634117694

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30265384 kB
MemAvailable:   31795188 kB
Buffers:          194480 kB
Cached:          1602580 kB
SwapCached:        90608 kB
Active:           492364 kB
Inactive:        1395772 kB
Active(anon):      24428 kB
Inactive(anon):   106580 kB
Active(file):     467936 kB
Inactive(file):  1289192 kB
Unevictable:      110920 kB
Mlocked:          110920 kB
SwapTotal:      67108860 kB
SwapFree:       66916620 kB
Dirty:             20612 kB
Writeback:             0 kB
AnonPages:        104516 kB
Mapped:            43952 kB
Shmem:             31096 kB
Slab:             206772 kB
SReclaimable:     177020 kB
SUnreclaim:        29752 kB
KernelStack:        3488 kB
PageTables:         5456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     499260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59556 MiB
End job on node134 at 2019-09-14 03:28:22