Trace number 4405186

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-pigeon/
Pb-pigeon-card-015-010.xml
MD5SUM4075ec57c143d98d1900f8e9a33246e5
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 benchmark43.0368
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of constraints25
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":150}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":150}]
Minimum constraint arity10
Maximum constraint arity15
Distribution of constraint arities[{"arity":10,"count":15},{"arity":15,"count":10}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":25}]
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-20382-serial-file.bin HOME/instance-4405186-1569355781.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 22:11:55 CEST 2019
0.66/0.56	c PID: 20385
0.66/0.56	c IP: 172.20.3.139
0.66/0.56	c HOST: node139.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.40/0.90	c (0,0) Parsing End
1.40/0.91	c (0,0) CSP: 0 int (0 aux), 150 bool (0 aux), 25 ctr, max domain size 2
1.40/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.91	c (0,0) Constraint Name Generate Begin
1.40/0.91	c (0,0) Ctr:HOME/instance-4405186-1569355781.xml,Num:Var:WeightedSum
1.40/0.91	c (0,0) Constraint Name Generate End
1.40/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.91	c (0,0) CSP to CSPinCNF Begin
1.57/1.01	c (0,0) translated 3 (10%) constraints
1.57/1.02	c (0,0) translated 5 (20%) constraints
1.57/1.03	c (0,0) translated 8 (30%) constraints
1.57/1.04	c (0,0) translated 10 (40%) constraints
1.57/1.05	c (0,0) translated 13 (50%) constraints
1.57/1.05	c (0,0) translated 15 (60%) constraints
1.57/1.06	c (0,0) translated 18 (70%) constraints
1.57/1.07	c (0,0) translated 20 (80%) constraints
1.57/1.08	c (0,0) translated 23 (90%) constraints
1.57/1.08	c (0,0) translated 25 (100%) constraints
1.57/1.08	c (0,0) ===========================================
1.57/1.09	c (0,0) Order
1.57/1.09	c (0,0) ===========================================
1.57/1.09	c (0,0) translated 3 (10%) constraints
1.57/1.10	c (0,0) translated 5 (20%) constraints
1.57/1.10	c (0,0) translated 8 (30%) constraints
1.57/1.10	c (0,0) translated 10 (40%) constraints
1.57/1.10	c (0,0) translated 13 (50%) constraints
1.57/1.10	c (0,0) translated 15 (60%) constraints
1.91/1.12	c (0,0) translated 18 (70%) constraints
1.91/1.13	c (0,0) translated 20 (80%) constraints
1.91/1.14	c (0,0) translated 23 (90%) constraints
1.91/1.15	c (0,0) translated 25 (100%) constraints
1.91/1.16	c (0,0) CSP to CSPinCNF End
1.91/1.16	c (0,0) CSP: 30 int (30 aux), 150 bool (0 aux), 55 ctr, max domain size 2
1.91/1.16	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.91/1.16	c (0,0) CSPinCNF Propagation Begin
1.91/1.17	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.91/1.17	c (0,0) CSPinCNF Propagation End
1.91/1.17	c (0,0) CSP: 30 int (30 aux), 150 bool (0 aux), 55 ctr, max domain size 2
1.91/1.17	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.91/1.17	c (0,0) Simplify CSPinCNF Begin
1.91/1.18	c (0,0) Simplify CSPinCNF End
1.91/1.18	c (0,0) CSP: 30 int (30 aux), 150 bool (0 aux), 55 ctr, max domain size 2
1.91/1.18	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.91/1.18	c (0,0) Calculate Precise Domain Begin
2.13/1.21	c (0,0) 0 values are removed by re-calculation
2.13/1.21	c (0,0) Calculate Precise Domain End
2.13/1.21	c (0,0) CSP: 30 int (30 aux), 150 bool (0 aux), 55 ctr, max domain size 2
2.13/1.21	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.13/1.21	c (0,0) CSPinCNF to SatSolver Begin
2.13/1.27	c (0,0) 6 (10 %) CSP clauses are encoded (0 SAT variables, 5 SAT clauses)
2.13/1.28	c (0,0) 11 (20 %) CSP clauses are encoded (0 SAT variables, 10 SAT clauses)
2.13/1.29	c (0,0) 17 (30 %) CSP clauses are encoded (0 SAT variables, 18 SAT clauses)
2.13/1.29	c (0,0) 22 (40 %) CSP clauses are encoded (0 SAT variables, 81 SAT clauses)
2.38/1.30	c (0,0) 28 (50 %) CSP clauses are encoded (0 SAT variables, 159 SAT clauses)
2.38/1.31	c (0,0) 33 (60 %) CSP clauses are encoded (0 SAT variables, 210 SAT clauses)
2.38/1.31	c (0,0) 39 (70 %) CSP clauses are encoded (0 SAT variables, 288 SAT clauses)
2.38/1.32	c (0,0) 44 (80 %) CSP clauses are encoded (0 SAT variables, 351 SAT clauses)
2.38/1.32	c (0,0) 50 (90 %) CSP clauses are encoded (0 SAT variables, 417 SAT clauses)
2.38/1.33	c (0,0) 55 (100 %) CSP clauses are encoded (0 SAT variables, 480 SAT clauses)
2.38/1.33	c (0,0) CSPinCNF to SatSolver End
2.38/1.33	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.38/1.33	c (0,0) 180 bool, 495 clause
2.38/1.33	c (0,0) Export Begin
2.61/1.42	c (0,0) Export to HOME/scop-20382-serial-file.bin
2.61/1.42	c (0,0) Export End
2.61/1.42	c (0,0) Export File Size: 0.03 MB
2.61/1.42	c (0,0) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS)
2.61/1.42	c END-Prog: Tue Sep 24 22:11:56 CEST 2019
2.61/1.44	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-20382-serial-file.bin
2.67/1.90	c (0,0) Read Serial File Begin
2.67/1.90	c (0,0) HOME/scop-20382-serial-file.bin
3.57/2.11	c (0,0) Read Serial File End
3.57/2.12	
3.57/2.12	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
3.57/2.12	(Solving Process)
3.57/2.12	
3.57/2.14	c BEGIN-Prog: Tue Sep 24 22:11:56 CEST 2019
3.57/2.14	c PID: 20405
3.57/2.14	c IP: 172.20.3.139
3.57/2.14	c HOST: node139.alineos.net
3.57/2.15	c (0,0) SatSolver.solve Begin
3.57/2.15	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405186-1569355781.xml-scop-20385.cnf
3.57/2.17	c (0,0) c
3.57/2.17	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)
3.57/2.17	c (0,0) c
3.57/2.17	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
3.57/2.17	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
3.57/2.17	c (0,0) c ========================================[ Problem Statistics ]===========================================
3.57/2.18	c (0,0) c |                                                                                                       |
3.57/2.18	c (0,0) c |  Number of variables:           180                                                                   |
3.57/2.18	c (0,0) c |  Number of clauses:             495                                                                   |
3.57/2.18	c (0,0) c |  Parse time:                   0.00 s                                                                 |
3.57/2.18	c (0,0) c |                                                                                                       |
3.57/2.18	c (0,0) c |  Simplification time:          0.00 s                                                                 |
3.57/2.18	c (0,0) c |                                                                                                       |
3.57/2.18	c (0,0) c |  Generating clones                                                                                    |
3.57/2.18	c (0,0) c |  all clones generated. Memory =    23.12Mb.                                                           |
3.57/2.18	c (0,0) c ========================================================================================================|
3.57/2.18	c (0,0) c
3.57/2.18	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
3.57/2.18	c (0,0) c
3.57/2.18	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.57/2.18	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
3.57/2.18	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.57/2.18	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
3.57/2.18	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
3.57/2.18	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
3.57/2.18	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
3.57/2.18	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
3.57/2.18	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
3.57/2.18	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
3.57/2.18	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
3.57/2.18	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
3.57/2.18	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
3.57/2.18	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
3.57/2.18	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
3.57/2.18	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
3.57/2.18	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
3.57/2.18	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
3.57/2.18	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
219.82/30.21	c (28,0) c
219.82/30.21	c (28,0) c real time : 28.0437 s
219.82/30.21	c (28,0) c cpu time  : 215.631 s
219.82/30.21	c (28,0) c
219.82/30.21	c (28,0) c
219.82/30.22	c (28,0) c
219.82/30.22	c (28,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
219.82/30.22	c (28,0) c
219.82/30.22	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
219.82/30.22	c (28,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
219.82/30.22	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
219.82/30.22	c (28,0) c | Conflicts     |         1540196 |     157469 |     157717 |     160701 |     161975 |     161572 |     158689 |     417625 |     164448 |
219.82/30.22	c (28,0) c | Decisions     |         1838343 |     191071 |     187036 |     194141 |     193589 |     194588 |     190640 |     493551 |     193727 |
219.82/30.22	c (28,0) c | Propagations  |        29251716 |    3002535 |    2969444 |    3040956 |    3044398 |    3049340 |    2995522 |    8068652 |    3080869 |
219.82/30.22	c (28,0) c | ReduceDBs     |             236 |         10 |         10 |         10 |         10 |         10 |         10 |        166 |         10 |
219.82/30.22	c (28,0) c | SimpDBs       |              20 |          2 |          2 |          2 |          2 |          2 |          2 |          6 |          2 |
219.82/30.22	c (28,0) c | Restarts      |            3376 |        441 |        299 |        438 |        347 |        422 |        395 |        759 |        275 |
219.82/30.22	c (28,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
219.82/30.22	c (28,0) c | PropBinClauses|        48673962 |    4918960 |    4884783 |    5003736 |    5001815 |    5019791 |    4916143 |   13875995 |    5052739 |
219.82/30.22	c (28,0) c | PropPreBlocker|      6391899896 |  784576358 |  791087993 |  793412443 |  809330874 |  802850638 |  791981790 |  810329893 |  808329907 |
219.82/30.22	c (28,0) c | PropNotBlocker|      2504670050 |  317186196 |  313777349 |  313574685 |  311067653 |  313577848 |  314978903 |  315752494 |  304754922 |
219.82/30.22	c (28,0) c | LitFullScans  |     24844090789 | 3103427612 | 3109542519 | 3109403973 | 3103484641 | 3103356878 | 3103381147 | 3108004302 | 3103489717 |
219.82/30.22	c (28,0) c | LitScanFracts |        10753460 |    1407787 |    1536639 |    1386891 |    1477376 |    1349385 |    1373583 |     739607 |    1482192 |
219.82/30.22	c (28,0) c | DecisionLevel0|            3396 |        443 |        300 |        440 |        349 |        423 |        396 |        767 |        278 |
219.82/30.22	c (28,0) c | Periods       |            4138 |        517 |        518 |        518 |        517 |        517 |        517 |        517 |        517 |
219.82/30.22	c (28,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
219.82/30.22	c (28,0) c | Avg_Trail     |                 |        142 |        142 |        142 |        142 |        142 |        141 |        143 |        141 |
219.82/30.22	c (28,0) c | Avg_DL        |                 |         17 |         16 |         16 |         16 |         16 |         16 |         15 |         16 |
219.82/30.22	c (28,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
219.82/30.22	c (28,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
219.82/30.22	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
219.82/30.22	c (28,0) c | Exported      |          142429 |      14106 |      16498 |      13362 |      14611 |      13904 |      14885 |      38104 |      16959 |
219.82/30.22	c (28,0) c | Imported      |          943392 |     118394 |     119596 |     123559 |     121644 |     122559 |     118117 |     100097 |     119426 |
219.82/30.22	c (28,0) c | Good          |             551 |         56 |         71 |         81 |         76 |         80 |         54 |         60 |         73 |
219.82/30.22	c (28,0) c | Purge         |          942841 |     118338 |     119525 |     123478 |     121568 |     122479 |     118063 |     100037 |     119353 |
219.82/30.22	c (28,0) c | Promoted      |          143806 |      18330 |      18092 |      17663 |      17968 |      18036 |      18457 |      17190 |      18070 |
219.82/30.22	c (28,0) c | Remove_Imp    |          456303 |      52100 |      55535 |      62282 |      52760 |      53940 |      51701 |      84959 |      43026 |
219.82/30.22	c (28,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
219.82/30.22	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
219.82/30.22	c (28,0) c | Unaries       |                 |          2 |          1 |          2 |          2 |          1 |          1 |          8 |          3 |
219.82/30.22	c (28,0) c | Binaries      |                 |         15 |         14 |         18 |         11 |          8 |         10 |         61 |         14 |
219.82/30.22	c (28,0) c | Glues         |                 |         17 |         20 |         18 |         20 |         10 |         12 |         76 |         22 |
219.82/30.22	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
219.82/30.22	c (28,0) c | Orig_Seen     |           269 % |        480 |        480 |        480 |        480 |        480 |        480 |       6871 |        480 |
219.82/30.22	c (28,0) c | Diff Orig seen|                 | -     6391 | -     6391 | -     6391 | -     6391 | -     6391 | -     6391 |      X     | -     6391 |
219.82/30.22	c (28,0) c | Hamming       |            21 % |         38 |         38 |         39 |         37 |         43 |         37 |      X     |         35 |
219.82/30.22	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
219.82/30.22	c (28,0) c | RunningTime   |                 |   27.7 100%|   26.6  97%|   27.0  99%|   26.7  98%|   27.9 100%|   27.3 100%|   25.6  94%|   27.4  99%|
219.82/30.22	c (28,0) c | WaitingTime   |                 |    0.0   0%|    0.6   2%|    0.2   1%|    0.6   2%|    0.0   0%|    0.0   0%|    1.6   6%|    0.1   1%|
219.82/30.22	c (28,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
219.82/30.22	c (28,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%|
219.82/30.22	c (28,0) c | SolvingTime   |                 |   27.7     |   27.3     |   27.3     |   27.3     |   28.0     |   27.4     |   27.2     |   27.6     |
219.82/30.22	c (28,0) c | PropagationTim|                 |   26.4  95%|   25.7  94%|   25.8  95%|   25.9  95%|   26.6  95%|   25.8  94%|   23.9  88%|   25.7  93%|
219.82/30.22	c (28,0) c | AnalysisTime  |                 |    1.0   4%|    1.2   4%|    1.0   4%|    1.0   4%|    1.1   4%|    1.2   4%|    2.5   9%|    1.5   6%|
219.82/30.22	c (28,0) c | ReductionTime |                 |    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.4   2%|    0.2   1%|
219.82/30.22	c (28,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
219.82/30.22	c (28,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%|
219.82/30.22	c (28,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%|
219.82/30.22	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
219.82/30.22	c (28,0) c
219.82/30.22	c (28,0) c
219.82/30.22	c (28,0) c Threads : 8
219.82/30.22	c (28,0) c Winner : 6
219.82/30.22	c (28,0) c Conflicts_0 : 157469
219.82/30.22	c (28,0) c Conflicts_1 : 157717
219.82/30.22	c (28,0) c Conflicts_2 : 160701
219.82/30.22	c (28,0) c Conflicts_3 : 161975
219.82/30.22	c (28,0) c Conflicts_4 : 161572
219.82/30.22	c (28,0) c Conflicts_5 : 158689
219.82/30.22	c (28,0) c Conflicts_6 : 417625
219.82/30.22	c (28,0) c Conflicts_7 : 164448
219.82/30.22	c (28,0) c Conflicts_total : 1540196
219.82/30.22	c (28,0) c Conflicts_winner : 417625
219.82/30.22	c (28,0) c Decisions_0 : 191071
219.82/30.22	c (28,0) c Decisions_1 : 187036
219.82/30.22	c (28,0) c Decisions_2 : 194141
219.82/30.22	c (28,0) c Decisions_3 : 193589
219.82/30.22	c (28,0) c Decisions_4 : 194588
219.82/30.22	c (28,0) c Decisions_5 : 190640
219.82/30.22	c (28,0) c Decisions_6 : 493551
219.82/30.22	c (28,0) c Decisions_7 : 193727
219.82/30.22	c (28,0) c Decisions_total : 1838343
219.82/30.22	c (28,0) c Decisions_winner : 493551
219.82/30.22	c (28,0) c Propagations_0 : 3002535
219.82/30.22	c (28,0) c Propagations_1 : 2969444
219.82/30.22	c (28,0) c Propagations_2 : 3040956
219.82/30.22	c (28,0) c Propagations_3 : 3044398
219.82/30.22	c (28,0) c Propagations_4 : 3049340
219.82/30.22	c (28,0) c Propagations_5 : 2995522
219.82/30.22	c (28,0) c Propagations_6 : 8068652
219.82/30.22	c (28,0) c Propagations_7 : 3080869
219.82/30.22	c (28,0) c Propagations_total : 29251716
219.82/30.22	c (28,0) c Propagations_winner : 8068652
219.82/30.22	c (28,0) c ReduceDBs_0 : 10
219.82/30.22	c (28,0) c ReduceDBs_1 : 10
219.82/30.22	c (28,0) c ReduceDBs_2 : 10
219.82/30.22	c (28,0) c ReduceDBs_3 : 10
219.82/30.22	c (28,0) c ReduceDBs_4 : 10
219.82/30.22	c (28,0) c ReduceDBs_5 : 10
219.82/30.22	c (28,0) c ReduceDBs_6 : 166
219.82/30.22	c (28,0) c ReduceDBs_7 : 10
219.82/30.22	c (28,0) c ReduceDBs_total : 236
219.82/30.22	c (28,0) c ReduceDBs_winner : 166
219.82/30.22	c (28,0) c SimpDBs_0 : 2
219.82/30.22	c (28,0) c SimpDBs_1 : 2
219.82/30.22	c (28,0) c SimpDBs_2 : 2
219.82/30.22	c (28,0) c SimpDBs_3 : 2
219.82/30.22	c (28,0) c SimpDBs_4 : 2
219.82/30.22	c (28,0) c SimpDBs_5 : 2
219.82/30.22	c (28,0) c SimpDBs_6 : 6
219.82/30.22	c (28,0) c SimpDBs_7 : 2
219.82/30.22	c (28,0) c SimpDBs_total : 20
219.82/30.22	c (28,0) c SimpDBs_winner : 6
219.82/30.22	c (28,0) c Restarts_0 : 441
219.82/30.22	c (28,0) c Restarts_1 : 299
219.82/30.22	c (28,0) c Restarts_2 : 438
219.82/30.22	c (28,0) c Restarts_3 : 347
219.82/30.22	c (28,0) c Restarts_4 : 422
219.82/30.22	c (28,0) c Restarts_5 : 395
219.82/30.22	c (28,0) c Restarts_6 : 759
219.82/30.22	c (28,0) c Restarts_7 : 275
219.82/30.22	c (28,0) c Restarts_total : 3376
219.82/30.22	c (28,0) c Restarts_winner : 759
219.82/30.22	c (28,0) c ForcedImports_0 : 0
219.82/30.22	c (28,0) c ForcedImports_1 : 0
219.82/30.22	c (28,0) c ForcedImports_2 : 0
219.82/30.22	c (28,0) c ForcedImports_3 : 0
219.82/30.22	c (28,0) c ForcedImports_4 : 0
219.82/30.22	c (28,0) c ForcedImports_5 : 0
219.82/30.22	c (28,0) c ForcedImports_6 : 0
219.82/30.22	c (28,0) c ForcedImports_7 : 0
219.82/30.22	c (28,0) c ForcedImports_total : 0
219.82/30.22	c (28,0) c ForcedImports_winner : 0
219.82/30.22	c (28,0) c PropsBinClauses_0 : 4918960
219.82/30.22	c (28,0) c PropsBinClauses_1 : 4884783
219.82/30.22	c (28,0) c PropsBinClauses_2 : 5003736
219.82/30.22	c (28,0) c PropsBinClauses_3 : 5001815
219.82/30.22	c (28,0) c PropsBinClauses_4 : 5019791
219.82/30.22	c (28,0) c PropsBinClauses_5 : 4916143
219.82/30.22	c (28,0) c PropsBinClauses_6 : 13875995
219.82/30.22	c (28,0) c PropsBinClauses_7 : 5052739
219.82/30.22	c (28,0) c PropsBinClauses_total : 48673962
219.82/30.22	c (28,0) c PropsBinClauses_winner : 13875995
219.82/30.22	c (28,0) c PropsPreBlocker_0 : 784576358
219.82/30.22	c (28,0) c PropsPreBlocker_1 : 791087993
219.82/30.22	c (28,0) c PropsPreBlocker_2 : 793412443
219.82/30.22	c (28,0) c PropsPreBlocker_3 : 809330874
219.82/30.22	c (28,0) c PropsPreBlocker_4 : 802850638
219.82/30.22	c (28,0) c PropsPreBlocker_5 : 791981790
219.82/30.22	c (28,0) c PropsPreBlocker_6 : 810329893
219.82/30.22	c (28,0) c PropsPreBlocker_7 : 808329907
219.82/30.22	c (28,0) c PropsPreBlocker_total : 6391899896
219.82/30.22	c (28,0) c PropsPreBlocker_winner : 810329893
219.82/30.22	c (28,0) c PropsNotBlocker_0 : 317186196
219.82/30.22	c (28,0) c PropsNotBlocker_1 : 313777349
219.82/30.22	c (28,0) c PropsNotBlocker_2 : 313574685
219.82/30.22	c (28,0) c PropsNotBlocker_3 : 311067653
219.82/30.22	c (28,0) c PropsNotBlocker_4 : 313577848
219.82/30.22	c (28,0) c PropsNotBlocker_5 : 314978903
219.82/30.22	c (28,0) c PropsNotBlocker_6 : 315752494
219.82/30.22	c (28,0) c PropsNotBlocker_7 : 304754922
219.82/30.22	c (28,0) c PropsNotBlocker_total : 2504670050
219.82/30.22	c (28,0) c PropsNotBlocker_winner : 315752494
219.82/30.22	c (28,0) c PropsLitFullScans_0 : 3103427612
219.82/30.22	c (28,0) c PropsLitFullScans_1 : 3109542519
219.82/30.22	c (28,0) c PropsLitFullScans_2 : 3109403973
219.82/30.22	c (28,0) c PropsLitFullScans_3 : 3103484641
219.82/30.22	c (28,0) c PropsLitFullScans_4 : 3103356878
219.82/30.22	c (28,0) c PropsLitFullScans_5 : 3103381147
219.82/30.22	c (28,0) c PropsLitFullScans_6 : 3108004302
219.82/30.22	c (28,0) c PropsLitFullScans_7 : 3103489717
219.82/30.22	c (28,0) c PropsLitFullScans_total : 24844090789
219.82/30.22	c (28,0) c PropsLitFullScans_winner : 3108004302
219.82/30.22	c (28,0) c LitScanFractions_0 : 1407787
219.82/30.22	c (28,0) c LitScanFractions_1 : 1536639
219.82/30.22	c (28,0) c LitScanFractions_2 : 1386891
219.82/30.22	c (28,0) c LitScanFractions_3 : 1477376
219.82/30.22	c (28,0) c LitScanFractions_4 : 1349385
219.82/30.22	c (28,0) c LitScanFractions_5 : 1373583
219.82/30.22	c (28,0) c LitScanFractions_6 : 739607
219.82/30.22	c (28,0) c LitScanFractions_7 : 1482192
219.82/30.22	c (28,0) c LitScanFractions_total : 10753460
219.82/30.22	c (28,0) c LitScanFractions_winner : 739607
219.82/30.22	c (28,0) c DecisionLevel0_0 : 443
219.82/30.22	c (28,0) c DecisionLevel0_1 : 300
219.82/30.22	c (28,0) c DecisionLevel0_2 : 440
219.82/30.22	c (28,0) c DecisionLevel0_3 : 349
219.82/30.22	c (28,0) c DecisionLevel0_4 : 423
219.82/30.22	c (28,0) c DecisionLevel0_5 : 396
219.82/30.22	c (28,0) c DecisionLevel0_6 : 767
219.82/30.22	c (28,0) c DecisionLevel0_7 : 278
219.82/30.22	c (28,0) c DecisionLevel0_total : 3396
219.82/30.22	c (28,0) c DecisionLevel0_winner : 767
219.82/30.22	c (28,0) c Periods_0 : 517
219.82/30.22	c (28,0) c Periods_1 : 518
219.82/30.22	c (28,0) c Periods_2 : 518
219.82/30.22	c (28,0) c Periods_3 : 517
219.82/30.22	c (28,0) c Periods_4 : 517
219.82/30.22	c (28,0) c Periods_5 : 517
219.82/30.22	c (28,0) c Periods_6 : 517
219.82/30.22	c (28,0) c Periods_7 : 517
219.82/30.22	c (28,0) c Periods_total : 4138
219.82/30.22	c (28,0) c Periods_winner : 517
219.82/30.22	c (28,0) c Margin_0 : 20
219.82/30.22	c (28,0) c Margin_1 : 20
219.82/30.22	c (28,0) c Margin_2 : 20
219.82/30.22	c (28,0) c Margin_3 : 20
219.82/30.22	c (28,0) c Margin_4 : 20
219.82/30.22	c (28,0) c Margin_5 : 20
219.82/30.22	c (28,0) c Margin_6 : 20
219.82/30.22	c (28,0) c Margin_7 : 20
219.82/30.22	c (28,0) c Margin_total : 160
219.82/30.22	c (28,0) c Margin_winner : 20
219.82/30.22	c (28,0) c Exported_0 : 14106
219.82/30.22	c (28,0) c Exported_1 : 16498
219.82/30.22	c (28,0) c Exported_2 : 13362
219.82/30.22	c (28,0) c Exported_3 : 14611
219.82/30.22	c (28,0) c Exported_4 : 13904
219.82/30.22	c (28,0) c Exported_5 : 14885
219.82/30.22	c (28,0) c Exported_6 : 38104
219.82/30.22	c (28,0) c Exported_7 : 16959
219.82/30.22	c (28,0) c Exported_total : 142429
219.82/30.22	c (28,0) c Exported_winner : 38104
219.82/30.22	c (28,0) c Imported_0 : 118394
219.82/30.22	c (28,0) c Imported_1 : 119596
219.82/30.22	c (28,0) c Imported_2 : 123559
219.82/30.22	c (28,0) c Imported_3 : 121644
219.82/30.22	c (28,0) c Imported_4 : 122559
219.82/30.22	c (28,0) c Imported_5 : 118117
219.82/30.22	c (28,0) c Imported_6 : 100097
219.82/30.22	c (28,0) c Imported_7 : 119426
219.82/30.22	c (28,0) c Imported_total : 943392
219.82/30.22	c (28,0) c Imported_winner : 100097
219.82/30.22	c (28,0) c Good_0 : 56
219.82/30.22	c (28,0) c Good_1 : 71
219.82/30.22	c (28,0) c Good_2 : 81
219.82/30.22	c (28,0) c Good_3 : 76
219.82/30.22	c (28,0) c Good_4 : 80
219.82/30.22	c (28,0) c Good_5 : 54
219.82/30.22	c (28,0) c Good_6 : 60
219.82/30.22	c (28,0) c Good_7 : 73
219.82/30.22	c (28,0) c Good_total : 551
219.82/30.22	c (28,0) c Good_winner : 60
219.82/30.22	c (28,0) c Purge_0 : 118338
219.82/30.22	c (28,0) c Purge_1 : 119525
219.82/30.22	c (28,0) c Purge_2 : 123478
219.82/30.22	c (28,0) c Purge_3 : 121568
219.82/30.22	c (28,0) c Purge_4 : 122479
219.82/30.22	c (28,0) c Purge_5 : 118063
219.82/30.22	c (28,0) c Purge_6 : 100037
219.82/30.23	c (28,0) c Purge_7 : 119353
219.82/30.23	c (28,0) c Purge_total : 942841
219.82/30.23	c (28,0) c Purge_winner : 100037
219.82/30.23	c (28,0) c Promoted_0 : 18330
219.82/30.23	c (28,0) c Promoted_1 : 18092
219.82/30.23	c (28,0) c Promoted_2 : 17663
219.82/30.23	c (28,0) c Promoted_3 : 17968
219.82/30.23	c (28,0) c Promoted_4 : 18036
219.82/30.23	c (28,0) c Promoted_5 : 18457
219.82/30.23	c (28,0) c Promoted_6 : 17190
219.82/30.23	c (28,0) c Promoted_7 : 18070
219.82/30.23	c (28,0) c Promoted_total : 143806
219.82/30.23	c (28,0) c Promoted_winner : 17190
219.82/30.23	c (28,0) c Remove_Imp_0 : 52100
219.82/30.23	c (28,0) c Remove_Imp_1 : 55535
219.82/30.23	c (28,0) c Remove_Imp_2 : 62282
219.82/30.23	c (28,0) c Remove_Imp_3 : 52760
219.82/30.23	c (28,0) c Remove_Imp_4 : 53940
219.82/30.23	c (28,0) c Remove_Imp_5 : 51701
219.82/30.23	c (28,0) c Remove_Imp_6 : 84959
219.82/30.23	c (28,0) c Remove_Imp_7 : 43026
219.82/30.23	c (28,0) c Remove_Imp_total : 456303
219.82/30.23	c (28,0) c Remove_Imp_winner : 84959
219.82/30.23	c (28,0) c Blocked_Reuse_0 : 0
219.82/30.23	c (28,0) c Blocked_Reuse_1 : 0
219.82/30.23	c (28,0) c Blocked_Reuse_2 : 0
219.82/30.23	c (28,0) c Blocked_Reuse_3 : 0
219.82/30.23	c (28,0) c Blocked_Reuse_4 : 0
219.82/30.23	c (28,0) c Blocked_Reuse_5 : 0
219.82/30.23	c (28,0) c Blocked_Reuse_6 : 0
219.82/30.23	c (28,0) c Blocked_Reuse_7 : 0
219.82/30.23	c (28,0) c Blocked_Reuse_total : 0
219.82/30.23	c (28,0) c Blocked_Reuse_winner : 0
219.82/30.23	c (28,0) c Unaries_0 : 2
219.82/30.23	c (28,0) c Unaries_1 : 1
219.82/30.23	c (28,0) c Unaries_2 : 2
219.82/30.23	c (28,0) c Unaries_3 : 2
219.82/30.23	c (28,0) c Unaries_4 : 1
219.82/30.23	c (28,0) c Unaries_5 : 1
219.82/30.23	c (28,0) c Unaries_6 : 8
219.82/30.23	c (28,0) c Unaries_7 : 3
219.82/30.23	c (28,0) c Unaries_total : 20
219.82/30.23	c (28,0) c Unaries_winner : 8
219.82/30.23	c (28,0) c Binaries_0 : 15
219.82/30.23	c (28,0) c Binaries_1 : 14
219.82/30.23	c (28,0) c Binaries_2 : 18
219.82/30.23	c (28,0) c Binaries_3 : 11
219.82/30.23	c (28,0) c Binaries_4 : 8
219.82/30.23	c (28,0) c Binaries_5 : 10
219.82/30.23	c (28,0) c Binaries_6 : 61
219.82/30.23	c (28,0) c Binaries_7 : 14
219.82/30.23	c (28,0) c Binaries_total : 151
219.82/30.23	c (28,0) c Binaries_winner : 61
219.82/30.23	c (28,0) c Glues_0 : 17
219.82/30.23	c (28,0) c Glues_1 : 20
219.82/30.23	c (28,0) c Glues_2 : 18
219.82/30.23	c (28,0) c Glues_3 : 20
219.82/30.23	c (28,0) c Glues_4 : 10
219.82/30.23	c (28,0) c Glues_5 : 12
219.82/30.23	c (28,0) c Glues_6 : 76
219.82/30.23	c (28,0) c Glues_7 : 22
219.82/30.23	c (28,0) c Glues_total : 195
219.82/30.23	c (28,0) c Glues_winner : 76
219.82/30.23	c (28,0) c RunningTime_0 : 27.676454
219.82/30.23	c (28,0) c RunningTime_1 : 26.572485
219.82/30.23	c (28,0) c RunningTime_2 : 26.960483
219.82/30.23	c (28,0) c RunningTime_3 : 26.662964
219.82/30.23	c (28,0) c RunningTime_4 : 27.947750
219.82/30.23	c (28,0) c RunningTime_5 : 27.330258
219.82/30.23	c (28,0) c RunningTime_6 : 25.562058
219.82/30.23	c (28,0) c RunningTime_7 : 27.353816
219.82/30.23	c (28,0) c RunningTime_total : 216.066267
219.82/30.23	c (28,0) c RunningTime_winner : 25.562058
219.82/30.23	c (28,0) c WaitingTime_0 : 0.000607
219.82/30.23	c (28,0) c WaitingTime_1 : 0.615330
219.82/30.23	c (28,0) c WaitingTime_2 : 0.221767
219.82/30.23	c (28,0) c WaitingTime_3 : 0.588101
219.82/30.23	c (28,0) c WaitingTime_4 : 0.000633
219.82/30.23	c (28,0) c WaitingTime_5 : 0.000722
219.82/30.23	c (28,0) c WaitingTime_6 : 1.585443
219.82/30.23	c (28,0) c WaitingTime_7 : 0.145602
219.82/30.23	c (28,0) c WaitingTime_total : 3.158204
219.82/30.23	c (28,0) c WaitingTime_winner : 1.585443
219.82/30.23	c (28,0) c ExchangingTime_0 : 0.065213
219.82/30.23	c (28,0) c ExchangingTime_1 : 0.071063
219.82/30.23	c (28,0) c ExchangingTime_2 : 0.077224
219.82/30.23	c (28,0) c ExchangingTime_3 : 0.069546
219.82/30.23	c (28,0) c ExchangingTime_4 : 0.072332
219.82/30.23	c (28,0) c ExchangingTime_5 : 0.067758
219.82/30.23	c (28,0) c ExchangingTime_6 : 0.079626
219.82/30.23	c (28,0) c ExchangingTime_7 : 0.077729
219.82/30.23	c (28,0) c ExchangingTime_total : 0.580493
219.82/30.23	c (28,0) c ExchangingTime_winner : 0.079626
219.82/30.23	c (28,0) c PeriodProcTime_0 : 0.004184
219.82/30.23	c (28,0) c PeriodProcTime_1 : 0.004061
219.82/30.23	c (28,0) c PeriodProcTime_2 : 0.003906
219.82/30.23	c (28,0) c PeriodProcTime_3 : 0.003654
219.82/30.23	c (28,0) c PeriodProcTime_4 : 0.005369
219.82/30.23	c (28,0) c PeriodProcTime_5 : 0.003767
219.82/30.23	c (28,0) c PeriodProcTime_6 : 0.004533
219.82/30.23	c (28,0) c PeriodProcTime_7 : 0.003942
219.82/30.23	c (28,0) c PeriodProcTime_total : 0.033416
219.82/30.23	c (28,0) c PeriodProcTime_winner : 0.004533
219.82/30.23	c (28,0) c SolvingTime_0 : 27.746457
219.82/30.23	c (28,0) c SolvingTime_1 : 27.262939
219.82/30.23	c (28,0) c SolvingTime_2 : 27.263381
219.82/30.23	c (28,0) c SolvingTime_3 : 27.324265
219.82/30.23	c (28,0) c SolvingTime_4 : 28.026084
219.82/30.23	c (28,0) c SolvingTime_5 : 27.402505
219.82/30.23	c (28,0) c SolvingTime_6 : 27.231659
219.82/30.23	c (28,0) c SolvingTime_7 : 27.581090
219.82/30.23	c (28,0) c SolvingTime_total : 219.838380
219.82/30.23	c (28,0) c SolvingTime_winner : 27.231659
219.82/30.23	c (28,0) c PropagationTime_0 : 26.393084
219.82/30.23	c (28,0) c PropagationTime_1 : 25.726010
219.82/30.23	c (28,0) c PropagationTime_2 : 25.837446
219.82/30.23	c (28,0) c PropagationTime_3 : 25.934566
219.82/30.23	c (28,0) c PropagationTime_4 : 26.569420
219.82/30.23	c (28,0) c PropagationTime_5 : 25.804932
219.82/30.23	c (28,0) c PropagationTime_6 : 23.911890
219.82/30.23	c (28,0) c PropagationTime_7 : 25.658925
219.82/30.23	c (28,0) c PropagationTime_total : 205.836273
219.82/30.23	c (28,0) c PropagationTime_winner : 23.911890
219.82/30.23	c (28,0) c AnalysisTime_0 : 0.990335
219.82/30.23	c (28,0) c AnalysisTime_1 : 1.157124
219.82/30.23	c (28,0) c AnalysisTime_2 : 1.045455
219.82/30.23	c (28,0) c AnalysisTime_3 : 1.025398
219.82/30.23	c (28,0) c AnalysisTime_4 : 1.075876
219.82/30.23	c (28,0) c AnalysisTime_5 : 1.228931
219.82/30.23	c (28,0) c AnalysisTime_6 : 2.465963
219.82/30.23	c (28,0) c AnalysisTime_7 : 1.529060
219.82/30.23	c (28,0) c AnalysisTime_total : 10.518142
219.82/30.23	c (28,0) c AnalysisTime_winner : 2.465963
219.82/30.23	c (28,0) c ReductionTime_0 : 0.159769
219.82/30.23	c (28,0) c ReductionTime_1 : 0.167830
219.82/30.23	c (28,0) c ReductionTime_2 : 0.163529
219.82/30.23	c (28,0) c ReductionTime_3 : 0.163976
219.82/30.23	c (28,0) c ReductionTime_4 : 0.175803
219.82/30.23	c (28,0) c ReductionTime_5 : 0.164621
219.82/30.23	c (28,0) c ReductionTime_6 : 0.425834
219.82/30.23	c (28,0) c ReductionTime_7 : 0.177898
219.82/30.23	c (28,0) c ReductionTime_total : 1.599261
219.82/30.23	c (28,0) c ReductionTime_winner : 0.425834
219.82/30.23	c (28,0) c SimplifyTime_0 : 0.006797
219.82/30.23	c (28,0) c SimplifyTime_1 : 0.007727
219.82/30.23	c (28,0) c SimplifyTime_2 : 0.010667
219.82/30.23	c (28,0) c SimplifyTime_3 : 0.008828
219.82/30.23	c (28,0) c SimplifyTime_4 : 0.006645
219.82/30.23	c (28,0) c SimplifyTime_5 : 0.008327
219.82/30.23	c (28,0) c SimplifyTime_6 : 0.010384
219.82/30.23	c (28,0) c SimplifyTime_7 : 0.010658
219.82/30.23	c (28,0) c SimplifyTime_total : 0.070033
219.82/30.23	c (28,0) c SimplifyTime_winner : 0.010384
219.82/30.23	c (28,0) c UsedRateTime_0 : 0.000000
219.82/30.23	c (28,0) c UsedRateTime_1 : 0.000000
219.82/30.23	c (28,0) c UsedRateTime_2 : 0.000000
219.82/30.23	c (28,0) c UsedRateTime_3 : 0.000000
219.82/30.23	c (28,0) c UsedRateTime_4 : 0.000000
219.82/30.23	c (28,0) c UsedRateTime_5 : 0.000000
219.82/30.23	c (28,0) c UsedRateTime_6 : 0.000000
219.82/30.23	c (28,0) c UsedRateTime_7 : 0.000000
219.82/30.23	c (28,0) c UsedRateTime_total : 0.000000
219.82/30.23	c (28,0) c UsedRateTime_winner : 0.000000
219.82/30.23	c (28,0) c OverlapRateTime_0 : 0.000000
219.82/30.23	c (28,0) c OverlapRateTime_1 : 0.000000
219.82/30.23	c (28,0) c OverlapRateTime_2 : 0.000000
219.82/30.23	c (28,0) c OverlapRateTime_3 : 0.000000
219.82/30.23	c (28,0) c OverlapRateTime_4 : 0.000000
219.82/30.23	c (28,0) c OverlapRateTime_5 : 0.000000
219.82/30.23	c (28,0) c OverlapRateTime_6 : 0.000000
219.82/30.23	c (28,0) c OverlapRateTime_7 : 0.000000
219.82/30.23	c (28,0) c OverlapRateTime_total : 0.000000
219.82/30.23	c (28,0) c OverlapRateTime_winner : 0.000000
219.82/30.23	c (28,0) c
219.82/30.23	c (28,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
219.82/30.23	c (28,0) c
219.82/30.23	c (28,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
219.82/30.23	c (28,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
219.82/30.23	c (28,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
219.82/30.23	c (28,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
219.82/30.23	c (28,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
219.82/30.23	c (28,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
219.82/30.23	c (28,0) c | Initial random_seed   | 1764655475 |  178388425 |   32253314 | 1127020926 |  789489641 |  645862201 |  207133770 |  556871898 |
219.82/30.23	c (28,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |       True |      False |
219.82/30.23	c (28,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          4 |          5 |
219.82/30.23	c (28,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
219.82/30.23	c (28,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
219.82/30.23	c (28,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |          0 |        300 |
219.82/30.23	c (28,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
219.82/30.23	c (28,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
219.82/30.23	c (28,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
219.82/30.23	c (28,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
219.82/30.23	c (28,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
219.82/30.23	c (28,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
219.82/30.23	c (28,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
219.82/30.23	c (28,0) 
219.82/30.23	c (28,0) s UNSATISFIABLE
219.82/30.24	c (28,0) SatSolver.solve End
219.82/30.24	c (28,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
219.82/30.24	c (28,0) Show results Begin
219.82/30.24	s UNSATISFIABLE
219.82/30.24	c (28,0) Show results End
219.82/30.24	c (28,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
219.82/30.24	c (28,0) 28,28,STOP-AFTER(ALL)
219.82/30.24	c END-Prog: Tue Sep 24 22:12:25 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 (13191 MiB free)
  memory of node 1: 16384 MiB (11625 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405186-1569355781/watcher-4405186-1569355781 -o /tmp/evaluation-result-4405186-1569355781/solver-4405186-1569355781 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569348082-18090 --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-4405186-1569355781.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=20382, runsolver pid=20379
Current StackSize limit: 8192 KiB


[startup+0.100172 s]*
/proc/loadavg: 7.50 7.93 8.11 3/210 20404
/proc/meminfo: memFree=25316372/32770624 swapFree=66941056/67108860
[pid=20382] ppid=20379 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20382/stat : 20382 (scop.sh) S 20379 20382 18063 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 511848897 115843072 349 33554432000 4194304 5098028 140733700386336 140733700383592 140106694922876 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30994432 140733700391717 140733700392044 140733700392044 140733700394957 0
/proc/20382/statm: 28282 349 296 221 0 87 0
[pid=20385] ppid=20382 vsize=27314120 memory=107684 CPUtime=0.1 cores=0-7
/proc/20385/stat : 20385 (java) S 20382 20382 18063 0 -1 1077944320 6477 0 0 0 8 2 0 0 20 0 20 0 511848897 27969658880 26921 33554432000 4194304 4196468 140727396916384 140727396898928 140224963542775 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
/proc/20385/statm: 6828530 26921 2800 1 0 6790935 0
[pid=20385/tid=20386] ppid=20382 vsize=27314120 memory=7896106954314915487 CPUtime=0.09 cores=0-7
/proc/20385/task/20386/stat : 20386 (java) R 20382 20382 18063 0 -1 4202560 4586 0 0 0 7 2 0 0 20 0 20 0 511848898 27969658880 26921 33554432000 4194304 4196468 140727396916384 140224935367632 140224963564701 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20387] ppid=20382 vsize=27314120 memory=732369952929205221 CPUtime=0 cores=0-7
/proc/20385/task/20387/stat : 20387 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 26921 33554432000 4194304 4196468 140727396916384 140224967785488 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20388] ppid=20382 vsize=27314120 memory=139814591751808 CPUtime=0 cores=0-7
/proc/20385/task/20388/stat : 20388 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 26921 33554432000 4194304 4196468 140727396916384 140224781941904 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20389] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20389/stat : 20389 (java) S 20382 20382 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 26921 33554432000 4194304 4196468 140727396916384 140224780888848 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20390] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20390/stat : 20390 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 26921 33554432000 4194304 4196468 140727396916384 140224779836304 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20391] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20391/stat : 20391 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 26921 33554432000 4194304 4196468 140727396916384 140224778783248 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20392] ppid=20382 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20385/task/20392/stat : 20392 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 26921 33554432000 4194304 4196468 140727396916384 140224777730704 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20393] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20393/stat : 20393 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 26921 33554432000 4194304 4196468 140727396916384 140224380958992 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20394] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20394/stat : 20394 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 26921 33554432000 4194304 4196468 140727396916384 140224379906448 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20395] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20395/stat : 20395 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511848902 27969658880 26921 33554432000 4194304 4196468 140727396916384 140223283391216 140224963553922 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20396] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20396/stat : 20396 (java) S 20382 20382 18063 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511848902 27969658880 26921 33554432000 4194304 4196468 140727396916384 140222763361952 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20397] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20397/stat : 20397 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511848902 27969658880 26921 33554432000 4194304 4196468 140727396916384 140222494926064 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20398] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20398/stat : 20398 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511848905 27969658880 26921 33554432000 4194304 4196468 140727396916384 140222120417744 140224963561371 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20399] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20399/stat : 20399 (java) S 20382 20382 18063 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 511848905 27969658880 26921 33554432000 4194304 4196468 140727396916384 140223282338032 140224963553922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20400] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20400/stat : 20400 (java) S 20382 20382 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511848905 27969658880 26921 33554432000 4194304 4196468 140727396916384 140223281285488 140224963553922 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20401] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20401/stat : 20401 (java) S 20382 20382 18063 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 511848905 27969658880 26921 33554432000 4194304 4196468 140727396916384 140223280232432 140224963553922 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20402] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20402/stat : 20402 (java) S 20382 20382 18063 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 20 0 511848905 27969658880 26921 33554432000 4194304 4196468 140727396916384 140223279179888 140224963553922 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20403] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20403/stat : 20403 (java) S 20382 20382 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511848905 27969658880 26921 33554432000 4194304 4196468 140727396916384 140221622512608 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20404] ppid=20382 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20385/task/20404/stat : 20404 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511848905 27969658880 26921 33554432000 4194304 4196468 140727396916384 140223278128304 140224963553922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109080 KiB

[startup+0.210541 s]*
/proc/loadavg: 7.50 7.93 8.11 3/210 20404
/proc/meminfo: memFree=25298896/32770624 swapFree=66941056/67108860
[pid=20382] ppid=20379 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20382/stat : 20382 (scop.sh) S 20379 20382 18063 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 511848897 115843072 349 33554432000 4194304 5098028 140733700386336 140733700383592 140106694922876 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30994432 140733700391717 140733700392044 140733700392044 140733700394957 0
/proc/20382/statm: 28282 349 296 221 0 87 0
[pid=20385] ppid=20382 vsize=27314120 memory=124524 CPUtime=0.25 cores=0-7
/proc/20385/stat : 20385 (java) S 20382 20382 18063 0 -1 1077944320 11479 0 0 0 21 4 0 0 20 0 20 0 511848897 27969658880 31131 33554432000 4194304 4196468 140727396916384 140727396898928 140224963542775 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
/proc/20385/statm: 6828530 31131 2953 1 0 6790935 0
[pid=20385/tid=20386] ppid=20382 vsize=27314120 memory=576460756329955521 CPUtime=0.19 cores=0-7
/proc/20385/task/20386/stat : 20386 (java) R 20382 20382 18063 0 -1 4202560 9196 0 0 0 16 3 0 0 20 0 20 0 511848898 27969658880 31131 33554432000 4194304 4196468 140727396916384 140224935365488 140224948708414 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20387] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20387/stat : 20387 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 31131 33554432000 4194304 4196468 140727396916384 140224967785488 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20388] ppid=20382 vsize=27314120 memory=139814595476283 CPUtime=0 cores=0-7
/proc/20385/task/20388/stat : 20388 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 31131 33554432000 4194304 4196468 140727396916384 140224781941904 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20389] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20389/stat : 20389 (java) S 20382 20382 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 31131 33554432000 4194304 4196468 140727396916384 140224780888848 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20390] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20390/stat : 20390 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 31131 33554432000 4194304 4196468 140727396916384 140224779836304 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20391] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20391/stat : 20391 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 31131 33554432000 4194304 4196468 140727396916384 140224778783248 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20392] ppid=20382 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20385/task/20392/stat : 20392 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 31131 33554432000 4194304 4196468 140727396916384 140224777730704 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20393] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20393/stat : 20393 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 31131 33554432000 4194304 4196468 140727396916384 140224380958992 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20394] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20394/stat : 20394 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 31131 33554432000 4194304 4196468 140727396916384 140224379906448 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20395] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20395/stat : 20395 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511848902 27969658880 31131 33554432000 4194304 4196468 140727396916384 140223283391216 140224963553922 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20396] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20396/stat : 20396 (java) S 20382 20382 18063 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511848902 27969658880 31131 33554432000 4194304 4196468 140727396916384 140222763361952 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20397] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20397/stat : 20397 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511848902 27969658880 31131 33554432000 4194304 4196468 140727396916384 140222494926064 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20398] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20398/stat : 20398 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511848905 27969658880 31131 33554432000 4194304 4196468 140727396916384 140222120417744 140224963561371 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20399] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20399/stat : 20399 (java) S 20382 20382 18063 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 511848905 27969658880 31131 33554432000 4194304 4196468 140727396916384 140223282338032 140224963553922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20400] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20400/stat : 20400 (java) S 20382 20382 18063 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 511848905 27969658880 31131 33554432000 4194304 4196468 140727396916384 140223281285488 140224963553922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20401] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20401/stat : 20401 (java) S 20382 20382 18063 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 20 0 511848905 27969658880 31131 33554432000 4194304 4196468 140727396916384 140223280232432 140224963553922 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20402] ppid=20382 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/20385/task/20402/stat : 20402 (java) S 20382 20382 18063 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 20 0 511848905 27969658880 31131 33554432000 4194304 4196468 140727396916384 140223279179888 140224963553922 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20403] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20403/stat : 20403 (java) S 20382 20382 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511848905 27969658880 31131 33554432000 4194304 4196468 140727396916384 140221622512608 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20404] ppid=20382 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20385/task/20404/stat : 20404 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511848905 27969658880 31131 33554432000 4194304 4196468 140727396916384 140223278128304 140224963553922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125920 KiB

[startup+0.310254 s]*
/proc/loadavg: 7.50 7.93 8.11 2/210 20404
/proc/meminfo: memFree=25295112/32770624 swapFree=66941056/67108860
[pid=20382] ppid=20379 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20382/stat : 20382 (scop.sh) S 20379 20382 18063 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 511848897 115843072 349 33554432000 4194304 5098028 140733700386336 140733700383592 140106694922876 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30994432 140733700391717 140733700392044 140733700392044 140733700394957 0
/proc/20382/statm: 28282 349 296 221 0 87 0
[pid=20385] ppid=20382 vsize=27314120 memory=128200 CPUtime=0.42 cores=0-7
/proc/20385/stat : 20385 (java) S 20382 20382 18063 0 -1 1077944320 12405 0 0 0 37 5 0 0 20 0 20 0 511848897 27969658880 32050 33554432000 4194304 4196468 140727396916384 140727396898928 140224963542775 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
/proc/20385/statm: 6828530 32050 3011 1 0 6790935 0
[pid=20385/tid=20386] ppid=20382 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/20385/task/20386/stat : 20386 (java) R 20382 20382 18063 0 -1 4202560 9960 0 0 0 26 4 0 0 20 0 20 0 511848898 27969658880 32050 33554432000 4194304 4196468 140727396916384 140224935325792 140224946729584 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20387] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20387/stat : 20387 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 32050 33554432000 4194304 4196468 140727396916384 140224967785488 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20388] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20388/stat : 20388 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 32050 33554432000 4194304 4196468 140727396916384 140224781941904 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20389] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20389/stat : 20389 (java) S 20382 20382 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 32050 33554432000 4194304 4196468 140727396916384 140224780888848 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20390] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20390/stat : 20390 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 32050 33554432000 4194304 4196468 140727396916384 140224779836304 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20391] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20391/stat : 20391 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 32050 33554432000 4194304 4196468 140727396916384 140224778783248 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20392] ppid=20382 vsize=27314120 memory=139814473132719 CPUtime=0 cores=0-7
/proc/20385/task/20392/stat : 20392 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 32050 33554432000 4194304 4196468 140727396916384 140224777730704 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20393] ppid=20382 vsize=27314120 memory=139814473135024 CPUtime=0 cores=0-7
/proc/20385/task/20393/stat : 20393 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 32050 33554432000 4194304 4196468 140727396916384 140224380958992 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20394] ppid=20382 vsize=27314120 memory=139814473137328 CPUtime=0 cores=0-7
/proc/20385/task/20394/stat : 20394 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511848900 27969658880 32050 33554432000 4194304 4196468 140727396916384 140224379906448 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20395] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20395/stat : 20395 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511848902 27969658880 32050 33554432000 4194304 4196468 140727396916384 140223283391216 140224963553922 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20396] ppid=20382 vsize=27314120 memory=279628946288528 CPUtime=0 cores=0-7
/proc/20385/task/20396/stat : 20396 (java) S 20382 20382 18063 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511848902 27969658880 32050 33554432000 4194304 4196468 140727396916384 140222763361952 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20397] ppid=20382 vsize=27314120 memory=279628946286224 CPUtime=0 cores=0-7
/proc/20385/task/20397/stat : 20397 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511848902 27969658880 32050 33554432000 4194304 4196468 140727396916384 140222494926064 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20398] ppid=20382 vsize=27314120 memory=279628946293136 CPUtime=0 cores=0-7
/proc/20385/task/20398/stat : 20398 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511848905 27969658880 32050 33554432000 4194304 4196468 140727396916384 140222120417744 140224963561371 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20399] ppid=20382 vsize=27314120 memory=279628946234416 CPUtime=0.01 cores=0-7
/proc/20385/task/20399/stat : 20399 (java) S 20382 20382 18063 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 20 0 511848905 27969658880 32050 33554432000 4194304 4196468 140727396916384 140223282338032 140224963553922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20400] ppid=20382 vsize=27314120 memory=279628946306960 CPUtime=0.02 cores=0-7
/proc/20385/task/20400/stat : 20400 (java) R 20382 20382 18063 0 -1 4202560 67 0 0 0 2 0 0 0 20 0 20 0 511848905 27969658880 32050 33554432000 4194304 4196468 140727396916384 140223281285488 140224948304944 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20401] ppid=20382 vsize=27314120 memory=279628946313872 CPUtime=0 cores=0-7
/proc/20385/task/20401/stat : 20401 (java) S 20382 20382 18063 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 20 0 511848905 27969658880 32050 33554432000 4194304 4196468 140727396916384 140223280232432 140224963553922 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20402] ppid=20382 vsize=27314120 memory=279628946311568 CPUtime=0.07 cores=0-7
/proc/20385/task/20402/stat : 20402 (java) S 20382 20382 18063 0 -1 1077944384 495 0 0 0 7 0 0 0 20 0 20 0 511848905 27969658880 32050 33554432000 4194304 4196468 140727396916384 140223279179888 140224963553922 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20403] ppid=20382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20403/stat : 20403 (java) S 20382 20382 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511848905 27969658880 32050 33554432000 4194304 4196468 140727396916384 140221622512608 140224963552981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20404] ppid=20382 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20385/task/20404/stat : 20404 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511848905 27969658880 32050 33554432000 4194304 4196468 140727396916384 140223278128304 140224963553922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129596 KiB

[startup+0.700947 s]
/proc/loadavg: 7.50 7.93 8.11 2/210 20404
/proc/meminfo: memFree=25271300/32770624 swapFree=66941056/67108860
[pid=20382] ppid=20379 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20382/stat : 20382 (scop.sh) S 20379 20382 18063 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 511848897 115843072 349 33554432000 4194304 5098028 140733700386336 140733700383592 140106694922876 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30994432 140733700391717 140733700392044 140733700392044 140733700394957 0
/proc/20382/statm: 28282 349 296 221 0 87 0
[pid=20385] ppid=20382 vsize=27322516 memory=166256 CPUtime=1.01 cores=0-7
/proc/20385/stat : 20385 (java) S 20382 20382 18063 0 -1 1077944320 20110 0 0 0 94 7 0 0 20 0 20 0 511848897 27978256384 41564 33554432000 4194304 4196468 140727396916384 140727396898928 140224963542775 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
/proc/20385/statm: 6830629 41564 3205 1 0 6791959 0
[pid=20385/tid=20386] ppid=20382 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/20385/task/20386/stat : 20386 (java) R 20382 20382 18063 0 -1 4202560 17090 0 0 0 62 5 0 0 20 0 20 0 511848898 27978256384 41564 33554432000 4194304 4196468 140727396916384 140224935379264 140224947623292 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20387] ppid=20382 vsize=27322516 memory=2353 CPUtime=0 cores=0-7
/proc/20385/task/20387/stat : 20387 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511848900 27978256384 41564 33554432000 4194304 4196468 140727396916384 140224967785488 140224963552981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20388] ppid=20382 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/20385/task/20388/stat : 20388 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511848900 27978256384 41564 33554432000 4194304 4196468 140727396916384 140224781941904 140224963552981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0
[pid=20385/tid=20389] ppid=20382 vsize=27322516 memory=10728 CPUtime=0 cores=0-7
/proc/20385/task/20389/stat : 20389 (java) S 20382 20382 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511848900 27978256384 41564 33554432000 4194304 4196468 140727396916384 140224780888848 140224963552981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29446144 140727396917995 140727396918422 140727396918422 140727396921295 0

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

[pid=20405/tid=20415] ppid=20382 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/20405/task/20415/stat : 20415 (java) S 20382 20382 18063 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511849045 8616062976 30014 33554432000 4194304 4196468 140720625233248 140058126371056 140059301448322 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20416] ppid=20382 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/20405/task/20416/stat : 20416 (java) S 20382 20382 18063 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511849045 8616062976 30014 33554432000 4194304 4196468 140720625233248 140057943991456 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20417] ppid=20382 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/20405/task/20417/stat : 20417 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511849045 8616062976 30014 33554432000 4194304 4196468 140720625233248 140057675555568 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20418] ppid=20382 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/20405/task/20418/stat : 20418 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511849048 8616062976 30014 33554432000 4194304 4196468 140720625233248 140057301047248 140059301455771 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20419] ppid=20382 vsize=8414124 memory=2241 CPUtime=0.06 cores=0-7
/proc/20405/task/20419/stat : 20419 (java) S 20382 20382 18063 0 -1 1077944384 679 0 0 0 6 0 0 0 20 0 24 0 511849048 8616062976 30014 33554432000 4194304 4196468 140720625233248 140058125318896 140059301448322 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20420] ppid=20382 vsize=8414124 memory=2244 CPUtime=0.03 cores=0-7
/proc/20405/task/20420/stat : 20420 (java) S 20382 20382 18063 0 -1 1077944384 202 0 0 0 3 0 0 0 20 0 24 0 511849048 8616062976 30014 33554432000 4194304 4196468 140720625233248 140058124266352 140059301448322 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20421] ppid=20382 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/20405/task/20421/stat : 20421 (java) S 20382 20382 18063 0 -1 1077944384 291 0 0 0 7 0 0 0 20 0 24 0 511849048 8616062976 30014 33554432000 4194304 4196468 140720625233248 140058123213296 140059301448322 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20422] ppid=20382 vsize=8414124 memory=6656426216303648864 CPUtime=0.19 cores=0-7
/proc/20405/task/20422/stat : 20422 (java) S 20382 20382 18063 0 -1 1077944384 531 0 0 0 19 0 0 0 20 0 24 0 511849048 8616062976 30014 33554432000 4194304 4196468 140720625233248 140058122160752 140059301448322 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20423] ppid=20382 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20405/task/20423/stat : 20423 (java) S 20382 20382 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511849048 8616062976 30014 33554432000 4194304 4196468 140720625233248 140056803142112 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20424] ppid=20382 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7
/proc/20405/task/20424/stat : 20424 (java) S 20382 20382 18063 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 511849048 8616062976 30014 33554432000 4194304 4196468 140720625233248 140058121108144 140059301448322 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20426] ppid=20382 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20405/task/20426/stat : 20426 (java) S 20382 20382 18063 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511849114 8616062976 30014 33554432000 4194304 4196468 140720625233248 140058113074112 140059301461785 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20436] ppid=20382 vsize=8414124 memory=279628946502944 CPUtime=0 cores=0-7
/proc/20405/task/20436/stat : 20436 (java) S 20382 20382 18063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511849115 8616062976 30014 33554432000 4194304 4196468 140720625233248 140056132042768 140059301459101 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20437] ppid=20382 vsize=8414124 memory=4294967295 CPUtime=0 cores=0-7
/proc/20405/task/20437/stat : 20437 (java) S 20382 20382 18063 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 511849115 8616062976 30014 33554432000 4194304 4196468 140720625233248 140056400478352 140059301459101 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20438] ppid=20382 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20405/task/20438/stat : 20438 (java) S 20382 20382 18063 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511849117 8616062976 30014 33554432000 4194304 4196468 140720625233248 140055863614896 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
Current children cumulated CPU time: 218.7 s
Current children cumulated vsize: 9143648 KiB
Current children cumulated memory: 359916 KiB

[startup+30.0012 s]*
/proc/loadavg: 7.43 7.89 8.09 2/216 20441
/proc/meminfo: memFree=25066680/32770624 swapFree=66941056/67108860
[pid=20382] ppid=20379 vsize=113128 memory=1476 CPUtime=2.67 cores=0-7
/proc/20382/stat : 20382 (scop.sh) S 20379 20382 18063 0 -1 4202496 582 24432 0 0 0 0 257 10 20 0 1 0 511848897 115843072 369 33554432000 4194304 5098028 140733700386336 140733700383080 140106694922876 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30994432 140733700391717 140733700392044 140733700392044 140733700394957 0
/proc/20382/statm: 28282 369 311 221 0 87 0
[pid=20405] ppid=20382 vsize=8414124 memory=120056 CPUtime=1.16 cores=0-7
/proc/20405/stat : 20405 (java) S 20382 20382 18063 0 -1 1077944320 20002 0 0 0 108 8 0 0 20 0 24 0 511849042 8616062976 30014 33554432000 4194304 4196468 140720625233248 140720625215792 140059301437175 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
/proc/20405/statm: 2103531 30014 3208 1 0 2064875 0
[pid=20425] ppid=20405 vsize=616396 memory=240520 CPUtime=215.8 cores=0-7
/proc/20425/stat : 20425 (manyglucose-4.1) S 20405 20382 18063 0 -1 1077944320 184998 0 0 0 21542 38 0 0 20 0 2 0 511849114 631189504 60130 33554432000 4194304 4454172 140720638925472 140720638923856 140616290512631 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 13164544 140720638927721 140720638927920 140720638927920 140720638930874 0
/proc/20425/statm: 154099 60130 416 64 0 149767 0
[pid=20425/tid=20432] ppid=20405 vsize=616396 memory=7881696724453321575 CPUtime=27.65 cores=0-7
/proc/20425/task/20432/stat : 20432 (manyglucose-4.1) R 20405 20382 18063 0 -1 4202560 18334 0 0 0 2761 4 0 0 20 0 2 0 511849115 631189504 60130 33554432000 4194304 4454172 140720638925472 140616241724552 4349976 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 13164544 140720638927721 140720638927920 140720638927920 140720638930874 0
[pid=20405/tid=20406] ppid=20382 vsize=8414124 memory=7686721470317369747 CPUtime=0.75 cores=0-7
/proc/20405/task/20406/stat : 20406 (java) S 20382 20382 18063 0 -1 1077944384 16897 0 0 0 69 6 0 0 20 0 24 0 511849042 8616062976 30014 33554432000 4194304 4196468 140720625233248 140059273277344 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20407] ppid=20382 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/20405/task/20407/stat : 20407 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511849043 8616062976 30014 33554432000 4194304 4196468 140720625233248 140059305679376 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20408] ppid=20382 vsize=8414124 memory=238864 CPUtime=0 cores=0-7
/proc/20405/task/20408/stat : 20408 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511849043 8616062976 30014 33554432000 4194304 4196468 140720625233248 140059105847952 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20409] ppid=20382 vsize=8414124 memory=7686721470317369747 CPUtime=0 cores=0-7
/proc/20405/task/20409/stat : 20409 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511849043 8616062976 30014 33554432000 4194304 4196468 140720625233248 140059104794896 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20410] ppid=20382 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/20405/task/20410/stat : 20410 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511849043 8616062976 30014 33554432000 4194304 4196468 140720625233248 140059103742352 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20411] ppid=20382 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/20405/task/20411/stat : 20411 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511849043 8616062976 30014 33554432000 4194304 4196468 140720625233248 140059102690320 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20412] ppid=20382 vsize=8414124 memory=2364 CPUtime=0 cores=0-7
/proc/20405/task/20412/stat : 20412 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511849043 8616062976 30014 33554432000 4194304 4196468 140720625233248 140059101637776 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20413] ppid=20382 vsize=8414124 memory=1744 CPUtime=0 cores=0-7
/proc/20405/task/20413/stat : 20413 (java) S 20382 20382 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511849043 8616062976 30014 33554432000 4194304 4196468 140720625233248 140059100584720 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20414] ppid=20382 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/20405/task/20414/stat : 20414 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511849043 8616062976 30014 33554432000 4194304 4196468 140720625233248 140059099532176 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20415] ppid=20382 vsize=8414124 memory=1448 CPUtime=0 cores=0-7
/proc/20405/task/20415/stat : 20415 (java) S 20382 20382 18063 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511849045 8616062976 30014 33554432000 4194304 4196468 140720625233248 140058126371056 140059301448322 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20416] ppid=20382 vsize=8414124 memory=1748 CPUtime=0 cores=0-7
/proc/20405/task/20416/stat : 20416 (java) S 20382 20382 18063 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511849045 8616062976 30014 33554432000 4194304 4196468 140720625233248 140057943991456 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20417] ppid=20382 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/20405/task/20417/stat : 20417 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511849045 8616062976 30014 33554432000 4194304 4196468 140720625233248 140057675555568 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20418] ppid=20382 vsize=8414124 memory=808 CPUtime=0 cores=0-7
/proc/20405/task/20418/stat : 20418 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511849048 8616062976 30014 33554432000 4194304 4196468 140720625233248 140057301047248 140059301455771 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20419] ppid=20382 vsize=8414124 memory=1804 CPUtime=0.06 cores=0-7
/proc/20405/task/20419/stat : 20419 (java) S 20382 20382 18063 0 -1 1077944384 679 0 0 0 6 0 0 0 20 0 24 0 511849048 8616062976 30014 33554432000 4194304 4196468 140720625233248 140058125318896 140059301448322 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20420] ppid=20382 vsize=8414124 memory=916 CPUtime=0.03 cores=0-7
/proc/20405/task/20420/stat : 20420 (java) S 20382 20382 18063 0 -1 1077944384 202 0 0 0 3 0 0 0 20 0 24 0 511849048 8616062976 30014 33554432000 4194304 4196468 140720625233248 140058124266352 140059301448322 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20421] ppid=20382 vsize=8414124 memory=4448 CPUtime=0.07 cores=0-7
/proc/20405/task/20421/stat : 20421 (java) S 20382 20382 18063 0 -1 1077944384 291 0 0 0 7 0 0 0 20 0 24 0 511849048 8616062976 30014 33554432000 4194304 4196468 140720625233248 140058123213296 140059301448322 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20422] ppid=20382 vsize=8414124 memory=238820 CPUtime=0.19 cores=0-7
/proc/20405/task/20422/stat : 20422 (java) S 20382 20382 18063 0 -1 1077944384 531 0 0 0 19 0 0 0 20 0 24 0 511849048 8616062976 30014 33554432000 4194304 4196468 140720625233248 140058122160752 140059301448322 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20423] ppid=20382 vsize=8414124 memory=33 CPUtime=0 cores=0-7
/proc/20405/task/20423/stat : 20423 (java) S 20382 20382 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511849048 8616062976 30014 33554432000 4194304 4196468 140720625233248 140056803142112 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20424] ppid=20382 vsize=8414124 memory=8025788805588609132 CPUtime=0.01 cores=0-7
/proc/20405/task/20424/stat : 20424 (java) S 20382 20382 18063 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 511849048 8616062976 30014 33554432000 4194304 4196468 140720625233248 140058121108144 140059301448322 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20426] ppid=20382 vsize=8414124 memory=8099279071866868838 CPUtime=0 cores=0-7
/proc/20405/task/20426/stat : 20426 (java) S 20382 20382 18063 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511849114 8616062976 30014 33554432000 4194304 4196468 140720625233248 140058113074112 140059301461785 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20436] ppid=20382 vsize=8414124 memory=6081081520060394577 CPUtime=0 cores=0-7
/proc/20405/task/20436/stat : 20436 (java) S 20382 20382 18063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511849115 8616062976 30014 33554432000 4194304 4196468 140720625233248 140056132042768 140059301459101 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20437] ppid=20382 vsize=8414124 memory=6081664273974319207 CPUtime=0 cores=0-7
/proc/20405/task/20437/stat : 20437 (java) S 20382 20382 18063 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 511849115 8616062976 30014 33554432000 4194304 4196468 140720625233248 140056400478352 140059301459101 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20438] ppid=20382 vsize=8414124 memory=7013340846366745708 CPUtime=0 cores=0-7
/proc/20405/task/20438/stat : 20438 (java) S 20382 20382 18063 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511849117 8616062976 30014 33554432000 4194304 4196468 140720625233248 140055863614896 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
Current children cumulated CPU time: 219.63 s
Current children cumulated vsize: 9143648 KiB
Current children cumulated memory: 362052 KiB

[startup+30.2011 s]
/proc/loadavg: 7.43 7.89 8.09 2/216 20441
/proc/meminfo: memFree=25066680/32770624 swapFree=66941056/67108860
[pid=20382] ppid=20379 vsize=113128 memory=1476 CPUtime=2.67 cores=0-7
/proc/20382/stat : 20382 (scop.sh) S 20379 20382 18063 0 -1 4202496 582 24432 0 0 0 0 257 10 20 0 1 0 511848897 115843072 369 33554432000 4194304 5098028 140733700386336 140733700383080 140106694922876 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30994432 140733700391717 140733700392044 140733700392044 140733700394957 0
/proc/20382/statm: 28282 369 311 221 0 87 0
[pid=20405] ppid=20382 vsize=8414124 memory=120056 CPUtime=1.16 cores=0-7
/proc/20405/stat : 20405 (java) S 20382 20382 18063 0 -1 1077944320 20002 0 0 0 108 8 0 0 20 0 24 0 511849042 8616062976 30014 33554432000 4194304 4196468 140720625233248 140720625215792 140059301437175 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
/proc/20405/statm: 2103531 30014 3208 1 0 2064875 0
[pid=20425] ppid=20405 vsize=616396 memory=240700 CPUtime=215.99 cores=0-7
/proc/20425/stat : 20425 (manyglucose-4.1) S 20405 20382 18063 0 -1 1077944320 185067 0 0 0 21561 38 0 0 20 0 2 0 511849114 631189504 60175 33554432000 4194304 4454172 140720638925472 140720638923856 140616290512631 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 13164544 140720638927721 140720638927920 140720638927920 140720638930874 0
/proc/20425/statm: 154099 60175 416 64 0 149767 0
[pid=20425/tid=20432] ppid=20405 vsize=616396 memory=1476 CPUtime=27.84 cores=0-7
/proc/20425/task/20432/stat : 20432 (manyglucose-4.1) R 20405 20382 18063 0 -1 4202560 18403 0 0 0 2780 4 0 0 20 0 2 0 511849115 631189504 60175 33554432000 4194304 4454172 140720638925472 140616241724552 4349922 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 13164544 140720638927721 140720638927920 140720638927920 140720638930874 0
[pid=20405/tid=20406] ppid=20382 vsize=8414124 memory=288230574492221466 CPUtime=0.75 cores=0-7
/proc/20405/task/20406/stat : 20406 (java) S 20382 20382 18063 0 -1 1077944384 16897 0 0 0 69 6 0 0 20 0 24 0 511849042 8616062976 30014 33554432000 4194304 4196468 140720625233248 140059273277344 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20407] ppid=20382 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/20405/task/20407/stat : 20407 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511849043 8616062976 30014 33554432000 4194304 4196468 140720625233248 140059305679376 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20408] ppid=20382 vsize=8414124 memory=13571487609129518 CPUtime=0 cores=0-7
/proc/20405/task/20408/stat : 20408 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511849043 8616062976 30014 33554432000 4194304 4196468 140720625233248 140059105847952 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20409] ppid=20382 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20405/task/20409/stat : 20409 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511849043 8616062976 30014 33554432000 4194304 4196468 140720625233248 140059104794896 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20410] ppid=20382 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20405/task/20410/stat : 20410 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511849043 8616062976 30014 33554432000 4194304 4196468 140720625233248 140059103742352 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20411] ppid=20382 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20405/task/20411/stat : 20411 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511849043 8616062976 30014 33554432000 4194304 4196468 140720625233248 140059102690320 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20412] ppid=20382 vsize=8414124 memory=16624 CPUtime=0 cores=0-7
/proc/20405/task/20412/stat : 20412 (java) S 20382 20382 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511849043 8616062976 30014 33554432000 4194304 4196468 140720625233248 140059101637776 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20413] ppid=20382 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20405/task/20413/stat : 20413 (java) S 20382 20382 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511849043 8616062976 30014 33554432000 4194304 4196468 140720625233248 140059100584720 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20414] ppid=20382 vsize=8414124 memory=192242267 CPUtime=0 cores=0-7
/proc/20405/task/20414/stat : 20414 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511849043 8616062976 30014 33554432000 4194304 4196468 140720625233248 140059099532176 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20415] ppid=20382 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20405/task/20415/stat : 20415 (java) S 20382 20382 18063 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511849045 8616062976 30014 33554432000 4194304 4196468 140720625233248 140058126371056 140059301448322 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20416] ppid=20382 vsize=8414124 memory=4 CPUtime=0 cores=0-7
/proc/20405/task/20416/stat : 20416 (java) S 20382 20382 18063 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511849045 8616062976 30014 33554432000 4194304 4196468 140720625233248 140057943991456 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20417] ppid=20382 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20405/task/20417/stat : 20417 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511849045 8616062976 30014 33554432000 4194304 4196468 140720625233248 140057675555568 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20418] ppid=20382 vsize=8414124 memory=6141378 CPUtime=0 cores=0-7
/proc/20405/task/20418/stat : 20418 (java) S 20382 20382 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511849048 8616062976 30014 33554432000 4194304 4196468 140720625233248 140057301047248 140059301455771 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20419] ppid=20382 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/20405/task/20419/stat : 20419 (java) S 20382 20382 18063 0 -1 1077944384 679 0 0 0 6 0 0 0 20 0 24 0 511849048 8616062976 30014 33554432000 4194304 4196468 140720625233248 140058125318896 140059301448322 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20420] ppid=20382 vsize=8414124 memory=7686721470317369747 CPUtime=0.03 cores=0-7
/proc/20405/task/20420/stat : 20420 (java) S 20382 20382 18063 0 -1 1077944384 202 0 0 0 3 0 0 0 20 0 24 0 511849048 8616062976 30014 33554432000 4194304 4196468 140720625233248 140058124266352 140059301448322 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20421] ppid=20382 vsize=8414124 memory=120056 CPUtime=0.07 cores=0-7
/proc/20405/task/20421/stat : 20421 (java) S 20382 20382 18063 0 -1 1077944384 291 0 0 0 7 0 0 0 20 0 24 0 511849048 8616062976 30014 33554432000 4194304 4196468 140720625233248 140058123213296 140059301448322 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20422] ppid=20382 vsize=8414124 memory=237840 CPUtime=0.19 cores=0-7
/proc/20405/task/20422/stat : 20422 (java) S 20382 20382 18063 0 -1 1077944384 531 0 0 0 19 0 0 0 20 0 24 0 511849048 8616062976 30014 33554432000 4194304 4196468 140720625233248 140058122160752 140059301448322 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20423] ppid=20382 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/20405/task/20423/stat : 20423 (java) S 20382 20382 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511849048 8616062976 30014 33554432000 4194304 4196468 140720625233248 140056803142112 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20424] ppid=20382 vsize=8414124 memory=-3756611412707075625 CPUtime=0.01 cores=0-7
/proc/20405/task/20424/stat : 20424 (java) S 20382 20382 18063 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 511849048 8616062976 30014 33554432000 4194304 4196468 140720625233248 140058121108144 140059301448322 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20426] ppid=20382 vsize=8414124 memory=8028676333680759155 CPUtime=0 cores=0-7
/proc/20405/task/20426/stat : 20426 (java) S 20382 20382 18063 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511849114 8616062976 30014 33554432000 4194304 4196468 140720625233248 140058113074112 140059301461785 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20436] ppid=20382 vsize=8414124 memory=6944656592455350634 CPUtime=0 cores=0-7
/proc/20405/task/20436/stat : 20436 (java) S 20382 20382 18063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511849115 8616062976 30014 33554432000 4194304 4196468 140720625233248 140056132042768 140059301459101 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20437] ppid=20382 vsize=8414124 memory=1329904169539632281 CPUtime=0 cores=0-7
/proc/20405/task/20437/stat : 20437 (java) S 20382 20382 18063 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 511849115 8616062976 30014 33554432000 4194304 4196468 140720625233248 140056400478352 140059301459101 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
[pid=20405/tid=20438] ppid=20382 vsize=8414124 memory=5450909908396308010 CPUtime=0 cores=0-7
/proc/20405/task/20438/stat : 20438 (java) S 20382 20382 18063 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511849117 8616062976 30014 33554432000 4194304 4196468 140720625233248 140055863614896 140059301447381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140720625234935 140720625235094 140720625235094 140720625237967 0
Current children cumulated CPU time: 219.82 s
Current children cumulated vsize: 9143648 KiB
Current children cumulated memory: 362232 KiB

Child status: 0
Real time (s): 30.2617
CPU time (s): 219.955
CPU user time (s): 219.364
CPU system time (s): 0.591176
CPU usage (%): 726.842
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 368420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 219.364
system time used= 0.591176
maximum resident set size= 253264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230857
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7279
involuntary context switches= 2000


# summary of solver processes directly reported to runsolver:
#   pid: 20382
#   total CPU time (s): 219.955
#   total CPU user time (s): 219.364
#   total CPU system time (s): 0.591176

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.30877 second user time and 0.430895 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-24 22:11:54
IDJOB=4405186
IDBENCH=135575
IDSOLVER=2867
FILE ID=node139/4405186-1569355781
RUNJOBID= node139-1569348082-18090
PBS_JOBID= 21705078
Free space on /tmp= 5144 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-pigeon/Pb-pigeon-card-015-010.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-4405186-1569355781/watcher-4405186-1569355781 -o /tmp/evaluation-result-4405186-1569355781/solver-4405186-1569355781 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569348082-18090 --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-4405186-1569355781.xml

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

MD5SUM BENCH= 4075ec57c143d98d1900f8e9a33246e5
RANDOM SEED=1998573785

node139.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.57
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.57
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.57
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.57
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:        25413040 kB
MemAvailable:   31779608 kB
Buffers:          110072 kB
Cached:          6345228 kB
SwapCached:        64816 kB
Active:          3221364 kB
Inactive:        3303072 kB
Active(anon):       4528 kB
Inactive(anon):   120880 kB
Active(file):    3216836 kB
Inactive(file):  3182192 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66941056 kB
Dirty:             20540 kB
Writeback:            12 kB
AnonPages:        113344 kB
Mapped:            57268 kB
Shmem:             47396 kB
Slab:             425068 kB
SReclaimable:     396000 kB
SUnreclaim:        29068 kB
KernelStack:        3392 kB
PageTables:         5844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 5124 MiB
End job on node139 at 2019-09-24 22:12:25