Trace number 4405234

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 60.5931 20.2387

General information on the benchmark

NameQueensKnights/QueensKnights-m1-s1/
QueensKnights-080-05-add.xml
MD5SUM18e8c61317b2c078d14d7e9ead8d31e0
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 benchmark25.0904
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints3170
Number of domains2
Minimum domain size80
Maximum domain size6400
Distribution of domain sizes[{"size":80,"count":80},{"size":6400,"count":5}]
Minimum variable degree4
Maximum variable degree79
Distribution of variable degrees[{"degree":4,"count":5},{"degree":79,"count":80}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":3170}]
Number of extensional constraints0
Number of intensional constraints3170
Distribution of constraint types[{"type":"intension","count":3170}]
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-32547-serial-file.bin HOME/instance-4405234-1569238644.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Mon Sep 23 13:36:44 CEST 2019
0.65/0.56	c PID: 32550
0.65/0.56	c IP: 172.20.3.151
0.65/0.56	c HOST: node151.alineos.net
0.65/0.57	c (0,0) Parsing Begin
4.49/1.65	c (1,1) Parsing End
4.49/1.66	c (1,1) CSP: 85 int (0 aux), 0 bool (0 aux), 3170 ctr, max domain size 6400
4.49/1.66	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.49/1.66	c (1,1) Constraint Name Generate Begin
4.92/1.70	c (1,1) Ctr:HOME/instance-4405234-1569238644.xml,And:Dist:Div:Eq:Mod:Ne:Num:Or:Var
4.92/1.70	c (1,1) Constraint Name Generate End
4.92/1.70	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
4.92/1.70	c (1,1) CSP to CSPinCNF Begin
5.78/2.07	c (1,1) translated 317 (10%) constraints
6.08/2.20	c (1,1) translated 634 (20%) constraints
6.40/2.29	c (1,1) translated 951 (30%) constraints
6.82/2.38	c (1,1) translated 1268 (40%) constraints
7.19/2.46	c (1,1) translated 1585 (50%) constraints
7.53/2.53	c (1,1) translated 1902 (60%) constraints
7.69/2.60	c (2,2) translated 2219 (70%) constraints
7.69/2.67	c (2,2) translated 2536 (80%) constraints
7.96/2.73	c (2,2) translated 2853 (90%) constraints
8.15/2.83	c (2,2) translated 3170 (100%) constraints
8.15/2.83	c (2,2) ===========================================
8.15/2.84	c (2,2) Order
8.15/2.84	c (2,2) ===========================================
8.58/2.92	c (2,2) translated 1274 (10%) constraints
8.58/2.98	c (2,2) translated 2548 (20%) constraints
9.01/3.03	c (2,2) translated 3822 (30%) constraints
9.01/3.08	c (2,2) translated 5096 (40%) constraints
9.36/3.13	c (2,2) translated 6370 (50%) constraints
9.36/3.17	c (2,2) translated 7644 (60%) constraints
9.72/3.21	c (2,2) translated 8918 (70%) constraints
9.72/3.25	c (2,2) translated 10192 (80%) constraints
9.72/3.29	c (2,2) translated 11466 (90%) constraints
10.10/3.33	c (2,2) translated 12740 (100%) constraints
10.10/3.34	c (2,2) CSP to CSPinCNF End
10.10/3.35	c (2,2) CSP: 105 int (20 aux), 3170 bool (3170 aux), 12750 ctr, max domain size 6400
10.10/3.35	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.10/3.35	c (2,2) CSPinCNF Propagation Begin
10.46/3.47	c (2,2) 1 values, 4 unsatisfiable literals, and 21 valid clauses are removed
10.46/3.47	c (2,2) CSPinCNF Propagation End
10.46/3.47	c (2,2) CSP: 105 int (20 aux), 3170 bool (3170 aux), 12729 ctr, max domain size 6400
10.46/3.47	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.46/3.47	c (2,2) Simplify CSPinCNF Begin
11.51/3.79	c (3,3) Simplify CSPinCNF End
11.92/3.80	c (3,3) CSP: 105 int (20 aux), 15858 bool (15858 aux), 25417 ctr, max domain size 6400
11.92/3.80	c (3,3) Heap : 901 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.92/3.80	c (3,3) Calculate Precise Domain Begin
11.92/3.80	c (3,3) 0 values are removed by re-calculation
11.92/3.80	c (3,3) Calculate Precise Domain End
11.92/3.80	c (3,3) CSP: 105 int (20 aux), 15858 bool (15858 aux), 25417 ctr, max domain size 6400
11.92/3.80	c (3,3) Heap : 901 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.92/3.80	c (3,3) CSPinCNF to SatSolver Begin
14.67/5.05	c (4,4) 2542 (10 %) CSP clauses are encoded (0 SAT variables, 144239 SAT clauses)
15.29/5.68	c (5,4) 5084 (20 %) CSP clauses are encoded (0 SAT variables, 251571 SAT clauses)
16.18/6.30	c (5,5) 7626 (30 %) CSP clauses are encoded (0 SAT variables, 358503 SAT clauses)
16.80/6.94	c (6,6) 10167 (40 %) CSP clauses are encoded (0 SAT variables, 469962 SAT clauses)
17.45/7.60	c (7,6) 12709 (50 %) CSP clauses are encoded (0 SAT variables, 586449 SAT clauses)
18.15/8.26	c (7,7) 15251 (60 %) CSP clauses are encoded (0 SAT variables, 704908 SAT clauses)
18.86/8.95	c (8,8) 17792 (70 %) CSP clauses are encoded (0 SAT variables, 827085 SAT clauses)
19.55/9.67	c (9,8) 20334 (80 %) CSP clauses are encoded (0 SAT variables, 954519 SAT clauses)
20.36/10.41	c (9,9) 22876 (90 %) CSP clauses are encoded (0 SAT variables, 1087267 SAT clauses)
22.26/11.89	c (11,11) 25417 (100 %) CSP clauses are encoded (0 SAT variables, 1413517 SAT clauses)
22.35/11.93	c (11,11) CSPinCNF to SatSolver End
22.35/11.93	c (11,11) Heap : 5632 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
22.35/11.93	c (11,11) 55752 bool, 1419917 clause
22.35/11.93	c (11,11) Export Begin
22.54/12.01	c (11,11) Export to HOME/scop-32547-serial-file.bin
22.54/12.01	c (11,11) Export End
22.54/12.02	c (11,11) Export File Size: 0.02 MB
22.54/12.02	c (11,11) 1,1,2,2,3,3,11,STOP-AFTER(DIMACS)
22.54/12.02	c END-Prog: Mon Sep 23 13:36:55 CEST 2019
22.54/12.10	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-32547-serial-file.bin
22.83/12.56	c (0,0) Read Serial File Begin
22.83/12.56	c (0,0) HOME/scop-32547-serial-file.bin
22.83/12.76	c (0,0) Read Serial File End
22.83/12.77	
22.83/12.77	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
22.83/12.77	(Solving Process)
22.83/12.77	
22.83/12.79	c BEGIN-Prog: Mon Sep 23 13:36:56 CEST 2019
22.83/12.79	c PID: 32570
22.83/12.79	c IP: 172.20.3.151
22.83/12.79	c HOST: node151.alineos.net
22.83/12.80	c (0,0) SatSolver.solve Begin
22.83/12.80	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405234-1569238644.xml-scop-32550.cnf
22.83/12.82	c (0,0) c
22.83/12.82	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)
22.83/12.83	c (0,0) c
22.83/12.83	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
22.83/12.83	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
22.83/12.83	c (0,0) c ========================================[ Problem Statistics ]===========================================
22.83/12.83	c (0,0) c |                                                                                                       |
24.32/13.25	c (0,0) c |  Number of variables:         55752                                                                   |
24.32/13.25	c (0,0) c |  Number of clauses:         1419917                                                                   |
24.32/13.25	c (0,0) c |  Parse time:                   0.39 s                                                                 |
24.32/13.25	c (0,0) c |                                                                                                       |
26.31/15.29	c (2,0) c |  Simplification time:          2.01 s                                                                 |
26.31/15.29	c (2,0) c |                                                                                                       |
26.31/15.29	c (2,0) c |  Generating clones                                                                                    |
26.72/15.66	c (3,0) c |  all clones generated. Memory =   846.05Mb.                                                           |
26.72/15.67	c (3,0) c ========================================================================================================|
26.72/15.67	c (3,0) c
26.72/15.67	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
26.72/15.67	c (3,0) c
26.72/15.67	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.72/15.67	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
26.72/15.67	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.72/15.67	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
26.72/15.67	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
26.72/15.67	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
26.72/15.67	c (3,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
26.72/15.67	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
26.72/15.67	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
26.72/15.67	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
26.72/15.67	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
26.72/15.67	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
26.72/15.67	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
26.72/15.67	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
26.72/15.67	c (3,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
26.72/15.67	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
26.72/15.67	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
26.72/15.67	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
26.72/15.67	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.35/20.17	c (7,0) c
60.35/20.17	c (7,0) c real time : 7.34507 s
60.35/20.17	c (7,0) c cpu time  : 35.5867 s
60.35/20.17	c (7,0) c
60.35/20.17	c (7,0) c
60.35/20.17	c (7,0) c
60.35/20.17	c (7,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
60.35/20.17	c (7,0) c
60.35/20.17	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.35/20.17	c (7,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
60.35/20.17	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.35/20.17	c (7,0) c | Conflicts     |           42657 |       5656 |       6756 |       4074 |       4273 |       5555 |       7019 |       6554 |       2770 |
60.35/20.17	c (7,0) c | Decisions     |          104510 |       7991 |       9795 |       8088 |       5813 |      23159 |      21666 |      23058 |       4940 |
60.35/20.17	c (7,0) c | Propagations  |       101688075 |   11915136 |   13778339 |   10494074 |   13427295 |   12245192 |   14479970 |   13101157 |   12246912 |
60.35/20.17	c (7,0) c | ReduceDBs     |              10 |          1 |          2 |          1 |          1 |          1 |          2 |          1 |          1 |
60.35/20.17	c (7,0) c | SimpDBs       |              18 |          2 |          2 |          2 |          3 |          3 |          2 |          2 |          2 |
60.35/20.17	c (7,0) c | Restarts      |              48 |          5 |          3 |         12 |          2 |          9 |          5 |          8 |          4 |
60.35/20.17	c (7,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
60.35/20.17	c (7,0) c | PropBinClauses|       112781541 |   12987570 |   15173953 |   11691907 |   14915864 |   13685436 |   15657496 |   14677953 |   13991362 |
60.35/20.17	c (7,0) c | PropPreBlocker|       737532914 |   72796063 |   89089287 |  125339563 |   67627429 |  116324032 |   72105170 |  124738497 |   69512873 |
60.35/20.17	c (7,0) c | PropNotBlocker|       135378375 |   16279505 |   16499307 |   14694166 |   19846984 |   12386898 |   23623898 |   12018066 |   20029551 |
60.35/20.17	c (7,0) c | LitFullScans  |      1084160152 |  114062003 |  132030360 |  162121693 |  117390931 |  156080553 |  126414187 |  162036392 |  114024033 |
60.35/20.17	c (7,0) c | LitScanFracts |          220997 |      36770 |      29673 |      18456 |      21182 |      48202 |      18836 |      33681 |      14197 |
60.35/20.17	c (7,0) c | DecisionLevel0|              83 |          6 |          6 |         16 |         13 |         13 |         13 |         11 |          5 |
60.35/20.17	c (7,0) c | Periods       |             180 |         19 |         22 |         27 |         19 |         26 |         21 |         27 |         19 |
60.35/20.17	c (7,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
60.35/20.17	c (7,0) c | Avg_Trail     |                 |      38167 |      40211 |      33212 |      26213 |      41556 |      22736 |      42459 |      40506 |
60.35/20.17	c (7,0) c | Avg_DL        |                 |        154 |        537 |         98 |         22 |       1988 |        184 |        767 |        166 |
60.35/20.17	c (7,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
60.35/20.17	c (7,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
60.35/20.17	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.35/20.17	c (7,0) c | Exported      |            1734 |        242 |        351 |         67 |         71 |        152 |        479 |        353 |         19 |
60.35/20.17	c (7,0) c | Imported      |             184 |          0 |         10 |         58 |          0 |         43 |         10 |         63 |          0 |
60.35/20.17	c (7,0) c | Good          |              15 |          0 |          0 |          6 |          0 |          3 |          0 |          6 |          0 |
60.35/20.17	c (7,0) c | Purge         |             169 |          0 |         10 |         52 |          0 |         40 |         10 |         57 |          0 |
60.35/20.17	c (7,0) c | Promoted      |               1 |          0 |          0 |          0 |          0 |          0 |          0 |          1 |          0 |
60.35/20.17	c (7,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
60.35/20.17	c (7,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
60.35/20.17	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.35/20.17	c (7,0) c | Unaries       |                 |          1 |          3 |          4 |         11 |          4 |          8 |          3 |          1 |
60.35/20.17	c (7,0) c | Binaries      |                 |          6 |         21 |         31 |         45 |         28 |         61 |         25 |         10 |
60.35/20.17	c (7,0) c | Glues         |                 |         41 |         95 |         67 |         71 |        108 |        198 |        103 |         19 |
60.35/20.17	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.35/20.17	c (7,0) c | Orig_Seen     |             1 % |      17302 |      14378 |      29599 |      15611 |      21096 |      15689 |      22107 |      34657 |
60.35/20.17	c (7,0) c | Diff Orig seen|                 |       1691 | -     1233 |      13988 |      X     |       5485 |         78 |       6496 |      19046 |
60.35/20.17	c (7,0) c | Hamming       |            27 % |      11346 |      19024 |      12777 |      X     |       9200 |      24132 |       9106 |      23435 |
60.35/20.17	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.35/20.17	c (7,0) c | RunningTime   |                 |    4.5 100%|    4.2 100%|    4.2 100%|    4.2 100%|    4.2 100%|    4.1 100%|    4.1 100%|    4.5 100%|
60.35/20.17	c (7,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
60.35/20.17	c (7,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
60.35/20.17	c (7,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%|
60.35/20.17	c (7,0) c | SolvingTime   |                 |    4.5     |    4.2     |    4.2     |    4.2     |    4.2     |    4.1     |    4.1     |    4.5     |
60.35/20.17	c (7,0) c | PropagationTim|                 |    4.2  95%|    4.0  95%|    4.0  93%|    4.0  94%|    4.0  94%|    3.8  94%|    3.9  94%|    4.3  95%|
60.35/20.17	c (7,0) c | AnalysisTime  |                 |    0.1   2%|    0.1   2%|    0.1   3%|    0.1   2%|    0.1   2%|    0.1   2%|    0.1   3%|    0.1   2%|
60.35/20.17	c (7,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
60.35/20.17	c (7,0) c | SimplifyTime  |                 |    0.0   1%|    0.0   1%|    0.0   1%|    0.1   2%|    0.1   2%|    0.0   1%|    0.0   1%|    0.0   1%|
60.35/20.17	c (7,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%|
60.35/20.17	c (7,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%|
60.35/20.17	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.35/20.17	c (7,0) c
60.35/20.17	c (7,0) c
60.35/20.17	c (7,0) c Threads : 8
60.35/20.17	c (7,0) c Winner : 3
60.35/20.17	c (7,0) c Conflicts_0 : 5656
60.35/20.17	c (7,0) c Conflicts_1 : 6756
60.35/20.17	c (7,0) c Conflicts_2 : 4074
60.35/20.17	c (7,0) c Conflicts_3 : 4273
60.35/20.17	c (7,0) c Conflicts_4 : 5555
60.35/20.17	c (7,0) c Conflicts_5 : 7019
60.35/20.17	c (7,0) c Conflicts_6 : 6554
60.35/20.17	c (7,0) c Conflicts_7 : 2770
60.35/20.17	c (7,0) c Conflicts_total : 42657
60.35/20.17	c (7,0) c Conflicts_winner : 4273
60.35/20.17	c (7,0) c Decisions_0 : 7991
60.35/20.17	c (7,0) c Decisions_1 : 9795
60.35/20.17	c (7,0) c Decisions_2 : 8088
60.35/20.17	c (7,0) c Decisions_3 : 5813
60.35/20.17	c (7,0) c Decisions_4 : 23159
60.35/20.17	c (7,0) c Decisions_5 : 21666
60.35/20.17	c (7,0) c Decisions_6 : 23058
60.35/20.17	c (7,0) c Decisions_7 : 4940
60.35/20.17	c (7,0) c Decisions_total : 104510
60.35/20.17	c (7,0) c Decisions_winner : 5813
60.35/20.17	c (7,0) c Propagations_0 : 11915136
60.35/20.17	c (7,0) c Propagations_1 : 13778339
60.35/20.17	c (7,0) c Propagations_2 : 10494074
60.35/20.17	c (7,0) c Propagations_3 : 13427295
60.35/20.17	c (7,0) c Propagations_4 : 12245192
60.35/20.17	c (7,0) c Propagations_5 : 14479970
60.35/20.17	c (7,0) c Propagations_6 : 13101157
60.35/20.17	c (7,0) c Propagations_7 : 12246912
60.35/20.17	c (7,0) c Propagations_total : 101688075
60.35/20.17	c (7,0) c Propagations_winner : 13427295
60.35/20.17	c (7,0) c ReduceDBs_0 : 1
60.35/20.17	c (7,0) c ReduceDBs_1 : 2
60.35/20.17	c (7,0) c ReduceDBs_2 : 1
60.35/20.17	c (7,0) c ReduceDBs_3 : 1
60.35/20.17	c (7,0) c ReduceDBs_4 : 1
60.35/20.17	c (7,0) c ReduceDBs_5 : 2
60.35/20.17	c (7,0) c ReduceDBs_6 : 1
60.35/20.17	c (7,0) c ReduceDBs_7 : 1
60.35/20.17	c (7,0) c ReduceDBs_total : 10
60.35/20.17	c (7,0) c ReduceDBs_winner : 1
60.35/20.17	c (7,0) c SimpDBs_0 : 2
60.35/20.17	c (7,0) c SimpDBs_1 : 2
60.35/20.17	c (7,0) c SimpDBs_2 : 2
60.35/20.17	c (7,0) c SimpDBs_3 : 3
60.35/20.17	c (7,0) c SimpDBs_4 : 3
60.35/20.17	c (7,0) c SimpDBs_5 : 2
60.35/20.17	c (7,0) c SimpDBs_6 : 2
60.35/20.17	c (7,0) c SimpDBs_7 : 2
60.35/20.17	c (7,0) c SimpDBs_total : 18
60.35/20.17	c (7,0) c SimpDBs_winner : 3
60.35/20.17	c (7,0) c Restarts_0 : 5
60.35/20.17	c (7,0) c Restarts_1 : 3
60.35/20.17	c (7,0) c Restarts_2 : 12
60.35/20.17	c (7,0) c Restarts_3 : 2
60.35/20.17	c (7,0) c Restarts_4 : 9
60.35/20.17	c (7,0) c Restarts_5 : 5
60.35/20.17	c (7,0) c Restarts_6 : 8
60.35/20.17	c (7,0) c Restarts_7 : 4
60.35/20.17	c (7,0) c Restarts_total : 48
60.35/20.17	c (7,0) c Restarts_winner : 2
60.35/20.17	c (7,0) c ForcedImports_0 : 0
60.35/20.17	c (7,0) c ForcedImports_1 : 0
60.35/20.17	c (7,0) c ForcedImports_2 : 0
60.35/20.17	c (7,0) c ForcedImports_3 : 0
60.35/20.17	c (7,0) c ForcedImports_4 : 0
60.35/20.17	c (7,0) c ForcedImports_5 : 0
60.35/20.17	c (7,0) c ForcedImports_6 : 0
60.35/20.17	c (7,0) c ForcedImports_7 : 0
60.35/20.17	c (7,0) c ForcedImports_total : 0
60.35/20.17	c (7,0) c ForcedImports_winner : 0
60.35/20.17	c (7,0) c PropsBinClauses_0 : 12987570
60.35/20.17	c (7,0) c PropsBinClauses_1 : 15173953
60.35/20.17	c (7,0) c PropsBinClauses_2 : 11691907
60.35/20.17	c (7,0) c PropsBinClauses_3 : 14915864
60.35/20.17	c (7,0) c PropsBinClauses_4 : 13685436
60.35/20.17	c (7,0) c PropsBinClauses_5 : 15657496
60.35/20.17	c (7,0) c PropsBinClauses_6 : 14677953
60.35/20.17	c (7,0) c PropsBinClauses_7 : 13991362
60.35/20.17	c (7,0) c PropsBinClauses_total : 112781541
60.35/20.17	c (7,0) c PropsBinClauses_winner : 14915864
60.35/20.17	c (7,0) c PropsPreBlocker_0 : 72796063
60.35/20.17	c (7,0) c PropsPreBlocker_1 : 89089287
60.35/20.17	c (7,0) c PropsPreBlocker_2 : 125339563
60.35/20.17	c (7,0) c PropsPreBlocker_3 : 67627429
60.35/20.17	c (7,0) c PropsPreBlocker_4 : 116324032
60.35/20.17	c (7,0) c PropsPreBlocker_5 : 72105170
60.35/20.17	c (7,0) c PropsPreBlocker_6 : 124738497
60.35/20.17	c (7,0) c PropsPreBlocker_7 : 69512873
60.35/20.17	c (7,0) c PropsPreBlocker_total : 737532914
60.35/20.17	c (7,0) c PropsPreBlocker_winner : 67627429
60.35/20.17	c (7,0) c PropsNotBlocker_0 : 16279505
60.35/20.17	c (7,0) c PropsNotBlocker_1 : 16499307
60.35/20.17	c (7,0) c PropsNotBlocker_2 : 14694166
60.35/20.17	c (7,0) c PropsNotBlocker_3 : 19846984
60.35/20.17	c (7,0) c PropsNotBlocker_4 : 12386898
60.35/20.17	c (7,0) c PropsNotBlocker_5 : 23623898
60.35/20.17	c (7,0) c PropsNotBlocker_6 : 12018066
60.35/20.17	c (7,0) c PropsNotBlocker_7 : 20029551
60.35/20.17	c (7,0) c PropsNotBlocker_total : 135378375
60.35/20.17	c (7,0) c PropsNotBlocker_winner : 19846984
60.35/20.17	c (7,0) c PropsLitFullScans_0 : 114062003
60.35/20.17	c (7,0) c PropsLitFullScans_1 : 132030360
60.35/20.17	c (7,0) c PropsLitFullScans_2 : 162121693
60.35/20.17	c (7,0) c PropsLitFullScans_3 : 117390931
60.35/20.17	c (7,0) c PropsLitFullScans_4 : 156080553
60.35/20.17	c (7,0) c PropsLitFullScans_5 : 126414187
60.35/20.17	c (7,0) c PropsLitFullScans_6 : 162036392
60.35/20.17	c (7,0) c PropsLitFullScans_7 : 114024033
60.35/20.17	c (7,0) c PropsLitFullScans_total : 1084160152
60.35/20.17	c (7,0) c PropsLitFullScans_winner : 117390931
60.35/20.17	c (7,0) c LitScanFractions_0 : 36770
60.35/20.17	c (7,0) c LitScanFractions_1 : 29673
60.35/20.17	c (7,0) c LitScanFractions_2 : 18456
60.35/20.17	c (7,0) c LitScanFractions_3 : 21182
60.35/20.17	c (7,0) c LitScanFractions_4 : 48202
60.35/20.17	c (7,0) c LitScanFractions_5 : 18836
60.35/20.17	c (7,0) c LitScanFractions_6 : 33681
60.35/20.17	c (7,0) c LitScanFractions_7 : 14197
60.35/20.17	c (7,0) c LitScanFractions_total : 220997
60.35/20.17	c (7,0) c LitScanFractions_winner : 21182
60.35/20.17	c (7,0) c DecisionLevel0_0 : 6
60.35/20.17	c (7,0) c DecisionLevel0_1 : 6
60.35/20.17	c (7,0) c DecisionLevel0_2 : 16
60.35/20.17	c (7,0) c DecisionLevel0_3 : 13
60.35/20.17	c (7,0) c DecisionLevel0_4 : 13
60.35/20.17	c (7,0) c DecisionLevel0_5 : 13
60.35/20.17	c (7,0) c DecisionLevel0_6 : 11
60.35/20.17	c (7,0) c DecisionLevel0_7 : 5
60.35/20.17	c (7,0) c DecisionLevel0_total : 83
60.35/20.18	c (7,0) c DecisionLevel0_winner : 13
60.35/20.18	c (7,0) c Periods_0 : 19
60.35/20.18	c (7,0) c Periods_1 : 22
60.35/20.18	c (7,0) c Periods_2 : 27
60.35/20.18	c (7,0) c Periods_3 : 19
60.35/20.18	c (7,0) c Periods_4 : 26
60.35/20.18	c (7,0) c Periods_5 : 21
60.35/20.18	c (7,0) c Periods_6 : 27
60.35/20.18	c (7,0) c Periods_7 : 19
60.35/20.18	c (7,0) c Periods_total : 180
60.35/20.18	c (7,0) c Periods_winner : 19
60.35/20.18	c (7,0) c Margin_0 : 20
60.35/20.18	c (7,0) c Margin_1 : 20
60.35/20.18	c (7,0) c Margin_2 : 20
60.35/20.18	c (7,0) c Margin_3 : 20
60.35/20.18	c (7,0) c Margin_4 : 20
60.35/20.18	c (7,0) c Margin_5 : 20
60.35/20.18	c (7,0) c Margin_6 : 20
60.35/20.18	c (7,0) c Margin_7 : 20
60.35/20.18	c (7,0) c Margin_total : 160
60.35/20.18	c (7,0) c Margin_winner : 20
60.35/20.18	c (7,0) c Exported_0 : 242
60.35/20.18	c (7,0) c Exported_1 : 351
60.35/20.18	c (7,0) c Exported_2 : 67
60.35/20.18	c (7,0) c Exported_3 : 71
60.35/20.18	c (7,0) c Exported_4 : 152
60.35/20.18	c (7,0) c Exported_5 : 479
60.35/20.18	c (7,0) c Exported_6 : 353
60.35/20.18	c (7,0) c Exported_7 : 19
60.35/20.18	c (7,0) c Exported_total : 1734
60.35/20.18	c (7,0) c Exported_winner : 71
60.35/20.18	c (7,0) c Imported_0 : 0
60.35/20.18	c (7,0) c Imported_1 : 10
60.35/20.18	c (7,0) c Imported_2 : 58
60.35/20.18	c (7,0) c Imported_3 : 0
60.35/20.18	c (7,0) c Imported_4 : 43
60.35/20.18	c (7,0) c Imported_5 : 10
60.35/20.18	c (7,0) c Imported_6 : 63
60.35/20.18	c (7,0) c Imported_7 : 0
60.35/20.18	c (7,0) c Imported_total : 184
60.35/20.18	c (7,0) c Imported_winner : 0
60.35/20.18	c (7,0) c Good_0 : 0
60.35/20.18	c (7,0) c Good_1 : 0
60.35/20.18	c (7,0) c Good_2 : 6
60.35/20.18	c (7,0) c Good_3 : 0
60.35/20.18	c (7,0) c Good_4 : 3
60.35/20.18	c (7,0) c Good_5 : 0
60.35/20.18	c (7,0) c Good_6 : 6
60.35/20.18	c (7,0) c Good_7 : 0
60.35/20.18	c (7,0) c Good_total : 15
60.35/20.18	c (7,0) c Good_winner : 0
60.35/20.18	c (7,0) c Purge_0 : 0
60.35/20.18	c (7,0) c Purge_1 : 10
60.35/20.18	c (7,0) c Purge_2 : 52
60.35/20.18	c (7,0) c Purge_3 : 0
60.35/20.18	c (7,0) c Purge_4 : 40
60.35/20.18	c (7,0) c Purge_5 : 10
60.35/20.18	c (7,0) c Purge_6 : 57
60.35/20.18	c (7,0) c Purge_7 : 0
60.35/20.18	c (7,0) c Purge_total : 169
60.35/20.18	c (7,0) c Purge_winner : 0
60.35/20.18	c (7,0) c Promoted_0 : 0
60.35/20.18	c (7,0) c Promoted_1 : 0
60.35/20.18	c (7,0) c Promoted_2 : 0
60.35/20.18	c (7,0) c Promoted_3 : 0
60.35/20.18	c (7,0) c Promoted_4 : 0
60.35/20.18	c (7,0) c Promoted_5 : 0
60.35/20.18	c (7,0) c Promoted_6 : 1
60.35/20.18	c (7,0) c Promoted_7 : 0
60.35/20.18	c (7,0) c Promoted_total : 1
60.35/20.18	c (7,0) c Promoted_winner : 0
60.35/20.18	c (7,0) c Remove_Imp_0 : 0
60.35/20.18	c (7,0) c Remove_Imp_1 : 0
60.35/20.18	c (7,0) c Remove_Imp_2 : 0
60.35/20.18	c (7,0) c Remove_Imp_3 : 0
60.35/20.18	c (7,0) c Remove_Imp_4 : 0
60.35/20.18	c (7,0) c Remove_Imp_5 : 0
60.35/20.18	c (7,0) c Remove_Imp_6 : 0
60.35/20.18	c (7,0) c Remove_Imp_7 : 0
60.35/20.18	c (7,0) c Remove_Imp_total : 0
60.35/20.18	c (7,0) c Remove_Imp_winner : 0
60.35/20.18	c (7,0) c Blocked_Reuse_0 : 0
60.35/20.18	c (7,0) c Blocked_Reuse_1 : 0
60.35/20.18	c (7,0) c Blocked_Reuse_2 : 0
60.35/20.18	c (7,0) c Blocked_Reuse_3 : 0
60.35/20.18	c (7,0) c Blocked_Reuse_4 : 0
60.35/20.18	c (7,0) c Blocked_Reuse_5 : 0
60.35/20.18	c (7,0) c Blocked_Reuse_6 : 0
60.35/20.18	c (7,0) c Blocked_Reuse_7 : 0
60.35/20.18	c (7,0) c Blocked_Reuse_total : 0
60.35/20.18	c (7,0) c Blocked_Reuse_winner : 0
60.35/20.18	c (7,0) c Unaries_0 : 1
60.35/20.18	c (7,0) c Unaries_1 : 3
60.35/20.18	c (7,0) c Unaries_2 : 4
60.35/20.18	c (7,0) c Unaries_3 : 11
60.35/20.18	c (7,0) c Unaries_4 : 4
60.35/20.18	c (7,0) c Unaries_5 : 8
60.35/20.18	c (7,0) c Unaries_6 : 3
60.35/20.18	c (7,0) c Unaries_7 : 1
60.35/20.18	c (7,0) c Unaries_total : 35
60.35/20.18	c (7,0) c Unaries_winner : 11
60.35/20.18	c (7,0) c Binaries_0 : 6
60.35/20.18	c (7,0) c Binaries_1 : 21
60.35/20.18	c (7,0) c Binaries_2 : 31
60.35/20.18	c (7,0) c Binaries_3 : 45
60.35/20.18	c (7,0) c Binaries_4 : 28
60.35/20.18	c (7,0) c Binaries_5 : 61
60.35/20.18	c (7,0) c Binaries_6 : 25
60.35/20.18	c (7,0) c Binaries_7 : 10
60.35/20.18	c (7,0) c Binaries_total : 227
60.35/20.18	c (7,0) c Binaries_winner : 45
60.35/20.18	c (7,0) c Glues_0 : 41
60.35/20.18	c (7,0) c Glues_1 : 95
60.35/20.18	c (7,0) c Glues_2 : 67
60.35/20.18	c (7,0) c Glues_3 : 71
60.35/20.18	c (7,0) c Glues_4 : 108
60.35/20.18	c (7,0) c Glues_5 : 198
60.35/20.18	c (7,0) c Glues_6 : 103
60.35/20.18	c (7,0) c Glues_7 : 19
60.35/20.18	c (7,0) c Glues_total : 702
60.35/20.18	c (7,0) c Glues_winner : 71
60.35/20.18	c (7,0) c RunningTime_0 : 4.462177
60.35/20.18	c (7,0) c RunningTime_1 : 4.195461
60.35/20.18	c (7,0) c RunningTime_2 : 4.228862
60.35/20.18	c (7,0) c RunningTime_3 : 4.239693
60.35/20.18	c (7,0) c RunningTime_4 : 4.247688
60.35/20.18	c (7,0) c RunningTime_5 : 4.078571
60.35/20.18	c (7,0) c RunningTime_6 : 4.131053
60.35/20.18	c (7,0) c RunningTime_7 : 4.496048
60.35/20.18	c (7,0) c RunningTime_total : 34.079552
60.35/20.18	c (7,0) c RunningTime_winner : 4.239693
60.35/20.18	c (7,0) c WaitingTime_0 : 0.000000
60.35/20.18	c (7,0) c WaitingTime_1 : 0.000009
60.35/20.18	c (7,0) c WaitingTime_2 : 0.000016
60.35/20.18	c (7,0) c WaitingTime_3 : 0.000000
60.35/20.18	c (7,0) c WaitingTime_4 : 0.000021
60.35/20.18	c (7,0) c WaitingTime_5 : 0.000001
60.35/20.18	c (7,0) c WaitingTime_6 : 0.000068
60.35/20.18	c (7,0) c WaitingTime_7 : 0.000000
60.35/20.18	c (7,0) c WaitingTime_total : 0.000115
60.35/20.18	c (7,0) c WaitingTime_winner : 0.000000
60.35/20.18	c (7,0) c ExchangingTime_0 : 0.000784
60.35/20.18	c (7,0) c ExchangingTime_1 : 0.001154
60.35/20.18	c (7,0) c ExchangingTime_2 : 0.000626
60.35/20.18	c (7,0) c ExchangingTime_3 : 0.000558
60.35/20.18	c (7,0) c ExchangingTime_4 : 0.000955
60.35/20.18	c (7,0) c ExchangingTime_5 : 0.000877
60.35/20.18	c (7,0) c ExchangingTime_6 : 0.000983
60.35/20.18	c (7,0) c ExchangingTime_7 : 0.000415
60.35/20.18	c (7,0) c ExchangingTime_total : 0.006352
60.35/20.18	c (7,0) c ExchangingTime_winner : 0.000558
60.35/20.18	c (7,0) c PeriodProcTime_0 : 0.000319
60.35/20.18	c (7,0) c PeriodProcTime_1 : 0.000437
60.35/20.18	c (7,0) c PeriodProcTime_2 : 0.000308
60.35/20.18	c (7,0) c PeriodProcTime_3 : 0.000399
60.35/20.18	c (7,0) c PeriodProcTime_4 : 0.000313
60.35/20.18	c (7,0) c PeriodProcTime_5 : 0.000398
60.35/20.18	c (7,0) c PeriodProcTime_6 : 0.000347
60.35/20.18	c (7,0) c PeriodProcTime_7 : 0.000329
60.35/20.18	c (7,0) c PeriodProcTime_total : 0.002849
60.35/20.18	c (7,0) c PeriodProcTime_winner : 0.000399
60.35/20.18	c (7,0) c SolvingTime_0 : 4.463280
60.35/20.18	c (7,0) c SolvingTime_1 : 4.197061
60.35/20.18	c (7,0) c SolvingTime_2 : 4.229812
60.35/20.18	c (7,0) c SolvingTime_3 : 4.240650
60.35/20.18	c (7,0) c SolvingTime_4 : 4.248977
60.35/20.18	c (7,0) c SolvingTime_5 : 4.079847
60.35/20.18	c (7,0) c SolvingTime_6 : 4.132451
60.35/20.18	c (7,0) c SolvingTime_7 : 4.496791
60.35/20.18	c (7,0) c SolvingTime_total : 34.088868
60.35/20.18	c (7,0) c SolvingTime_winner : 4.240650
60.35/20.18	c (7,0) c PropagationTime_0 : 4.231324
60.35/20.18	c (7,0) c PropagationTime_1 : 3.987002
60.35/20.18	c (7,0) c PropagationTime_2 : 3.952165
60.35/20.18	c (7,0) c PropagationTime_3 : 3.979290
60.35/20.18	c (7,0) c PropagationTime_4 : 3.976607
60.35/20.18	c (7,0) c PropagationTime_5 : 3.839617
60.35/20.18	c (7,0) c PropagationTime_6 : 3.875536
60.35/20.18	c (7,0) c PropagationTime_7 : 4.268010
60.35/20.18	c (7,0) c PropagationTime_total : 32.109552
60.35/20.18	c (7,0) c PropagationTime_winner : 3.979290
60.35/20.18	c (7,0) c AnalysisTime_0 : 0.084248
60.35/20.18	c (7,0) c AnalysisTime_1 : 0.068244
60.35/20.18	c (7,0) c AnalysisTime_2 : 0.132768
60.35/20.18	c (7,0) c AnalysisTime_3 : 0.071651
60.35/20.18	c (7,0) c AnalysisTime_4 : 0.093032
60.35/20.18	c (7,0) c AnalysisTime_5 : 0.083849
60.35/20.18	c (7,0) c AnalysisTime_6 : 0.111302
60.35/20.18	c (7,0) c AnalysisTime_7 : 0.084189
60.35/20.18	c (7,0) c AnalysisTime_total : 0.729285
60.35/20.18	c (7,0) c AnalysisTime_winner : 0.071651
60.35/20.18	c (7,0) c ReductionTime_0 : 0.000382
60.35/20.18	c (7,0) c ReductionTime_1 : 0.001173
60.35/20.18	c (7,0) c ReductionTime_2 : 0.000418
60.35/20.18	c (7,0) c ReductionTime_3 : 0.000475
60.35/20.18	c (7,0) c ReductionTime_4 : 0.000436
60.35/20.18	c (7,0) c ReductionTime_5 : 0.001678
60.35/20.18	c (7,0) c ReductionTime_6 : 0.000387
60.35/20.18	c (7,0) c ReductionTime_7 : 0.000900
60.35/20.18	c (7,0) c ReductionTime_total : 0.005849
60.35/20.18	c (7,0) c ReductionTime_winner : 0.000475
60.35/20.18	c (7,0) c SimplifyTime_0 : 0.034849
60.35/20.18	c (7,0) c SimplifyTime_1 : 0.032442
60.35/20.18	c (7,0) c SimplifyTime_2 : 0.031820
60.35/20.18	c (7,0) c SimplifyTime_3 : 0.078806
60.35/20.18	c (7,0) c SimplifyTime_4 : 0.065474
60.35/20.18	c (7,0) c SimplifyTime_5 : 0.037665
60.35/20.18	c (7,0) c SimplifyTime_6 : 0.032775
60.35/20.18	c (7,0) c SimplifyTime_7 : 0.026449
60.35/20.18	c (7,0) c SimplifyTime_total : 0.340280
60.35/20.18	c (7,0) c SimplifyTime_winner : 0.078806
60.35/20.18	c (7,0) c UsedRateTime_0 : 0.000000
60.35/20.18	c (7,0) c UsedRateTime_1 : 0.000000
60.35/20.18	c (7,0) c UsedRateTime_2 : 0.000000
60.35/20.18	c (7,0) c UsedRateTime_3 : 0.000000
60.35/20.18	c (7,0) c UsedRateTime_4 : 0.000000
60.35/20.18	c (7,0) c UsedRateTime_5 : 0.000000
60.35/20.18	c (7,0) c UsedRateTime_6 : 0.000000
60.35/20.18	c (7,0) c UsedRateTime_7 : 0.000000
60.35/20.18	c (7,0) c UsedRateTime_total : 0.000000
60.35/20.18	c (7,0) c UsedRateTime_winner : 0.000000
60.35/20.18	c (7,0) c OverlapRateTime_0 : 0.000000
60.35/20.18	c (7,0) c OverlapRateTime_1 : 0.000000
60.35/20.18	c (7,0) c OverlapRateTime_2 : 0.000000
60.35/20.18	c (7,0) c OverlapRateTime_3 : 0.000000
60.35/20.18	c (7,0) c OverlapRateTime_4 : 0.000000
60.35/20.18	c (7,0) c OverlapRateTime_5 : 0.000000
60.35/20.18	c (7,0) c OverlapRateTime_6 : 0.000000
60.35/20.18	c (7,0) c OverlapRateTime_7 : 0.000000
60.35/20.18	c (7,0) c OverlapRateTime_total : 0.000000
60.35/20.18	c (7,0) c OverlapRateTime_winner : 0.000000
60.35/20.18	c (7,0) c
60.35/20.18	c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
60.35/20.18	c (7,0) c
60.35/20.18	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.35/20.18	c (7,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
60.35/20.18	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.35/20.18	c (7,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
60.35/20.18	c (7,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
60.35/20.18	c (7,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
60.35/20.18	c (7,0) c | Initial random_seed   |  664956514 |  208116132 | 2141254881 | 1652992206 | 1251383107 |   81691757 |  898524639 |  257594422 |
60.35/20.18	c (7,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
60.35/20.18	c (7,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
60.35/20.18	c (7,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
60.35/20.18	c (7,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
60.35/20.18	c (7,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
60.35/20.18	c (7,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
60.35/20.18	c (7,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
60.35/20.18	c (7,0) c | var_decay             |     0.8100 |     0.8100 |     0.8000 |     0.8000 |     0.8100 |     0.8100 |     0.8100 |     0.8000 |
60.35/20.18	c (7,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
60.35/20.18	c (7,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
60.35/20.18	c (7,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
60.35/20.18	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.35/20.18	c (7,0) 
60.35/20.18	c (7,0) s UNSATISFIABLE
24.03/20.22	c (7,0) SatSolver.solve End
24.03/20.22	c (7,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
24.03/20.22	c (7,0) Show results Begin
24.03/20.22	s UNSATISFIABLE
24.03/20.22	c (7,0) Show results End
24.03/20.22	c (7,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
24.03/20.22	c (7,0) 7,7,STOP-AFTER(ALL)
24.03/20.22	c END-Prog: Mon Sep 23 13:37:04 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 (12602 MiB free)
  memory of node 1: 16384 MiB (11634 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405234-1569238644/watcher-4405234-1569238644 -o /tmp/evaluation-result-4405234-1569238644/solver-4405234-1569238644 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569238587-32288 --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-4405234-1569238644.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=32547, runsolver pid=32544
Current StackSize limit: 8192 KiB


[startup+0.100126 s]*
/proc/loadavg: 0.38 0.10 0.07 2/211 32569
/proc/meminfo: memFree=24724596/32770624 swapFree=66956140/67108860
[pid=32547] ppid=32544 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32547/stat : 32547 (scop.sh) S 32544 32547 32261 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500135704 115843072 349 33554432000 4194304 5098028 140727480676912 140727480674168 140528163361404 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18706432 140727480685349 140727480685676 140727480685676 140727480688589 0
/proc/32547/statm: 28282 349 296 221 0 87 0
[pid=32550] ppid=32547 vsize=27314120 memory=105600 CPUtime=0.1 cores=0-7
/proc/32550/stat : 32550 (java) S 32547 32547 32261 0 -1 1077944320 6491 0 0 0 8 2 0 0 20 0 20 0 500135704 27969658880 26400 33554432000 4194304 4196468 140727604625312 140727604607856 140180209614583 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
/proc/32550/statm: 6828530 26400 2792 1 0 6790935 0
[pid=32550/tid=32551] ppid=32547 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32550/task/32551/stat : 32551 (java) R 32547 32547 32261 0 -1 4202560 4573 0 0 0 7 2 0 0 20 0 20 0 500135704 27969658880 26400 33554432000 4194304 4196468 140727604625312 140180181432960 140180201851710 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32552] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32552/stat : 32552 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 26400 33554432000 4194304 4196468 140727604625312 140180213856656 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32553] ppid=32547 vsize=27314120 memory=140335482861184 CPUtime=0 cores=0-7
/proc/32550/task/32553/stat : 32553 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 26400 33554432000 4194304 4196468 140727604625312 140180028012816 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32554] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32554/stat : 32554 (java) S 32547 32547 32261 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 26400 33554432000 4194304 4196468 140727604625312 140180026960528 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32555] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32555/stat : 32555 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 26400 33554432000 4194304 4196468 140727604625312 140180025907728 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32556] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32556/stat : 32556 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 26400 33554432000 4194304 4196468 140727604625312 140180024855440 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32557] ppid=32547 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32550/task/32557/stat : 32557 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 26400 33554432000 4194304 4196468 140727604625312 140180023802640 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32558] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32558/stat : 32558 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 26400 33554432000 4194304 4196468 140727604625312 140180022750352 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32559] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32559/stat : 32559 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 26400 33554432000 4194304 4196468 140727604625312 140180021697552 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32560] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32560/stat : 32560 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500135708 27969658880 26400 33554432000 4194304 4196468 140727604625312 140178777208944 140180209625730 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32561] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32561/stat : 32561 (java) S 32547 32547 32261 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500135709 27969658880 26400 33554432000 4194304 4196468 140727604625312 140178001748768 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32562] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32562/stat : 32562 (java) S 32547 32547 32261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500135709 27969658880 26400 33554432000 4194304 4196468 140727604625312 140177867527280 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32563] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32563/stat : 32563 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500135711 27969658880 26400 33554432000 4194304 4196468 140727604625312 140177493022800 140180209633179 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32564] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32564/stat : 32564 (java) S 32547 32547 32261 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 500135711 27969658880 26400 33554432000 4194304 4196468 140727604625312 140178776156784 140180209625730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32565] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32565/stat : 32565 (java) S 32547 32547 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500135711 27969658880 26400 33554432000 4194304 4196468 140727604625312 140178775103984 140180209625730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32566] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32566/stat : 32566 (java) S 32547 32547 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500135711 27969658880 26400 33554432000 4194304 4196468 140727604625312 140178774051696 140180209625730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32567] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32567/stat : 32567 (java) S 32547 32547 32261 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 20 0 500135711 27969658880 26400 33554432000 4194304 4196468 140727604625312 140178772998896 140180209625730 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32568] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32568/stat : 32568 (java) S 32547 32547 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500135712 27969658880 26400 33554432000 4194304 4196468 140727604625312 140176995117408 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32569] ppid=32547 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32550/task/32569/stat : 32569 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500135712 27969658880 26400 33554432000 4194304 4196468 140727604625312 140178771945776 140180209625730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106996 KiB

[startup+0.210314 s]*
/proc/loadavg: 0.38 0.10 0.07 2/211 32569
/proc/meminfo: memFree=24702596/32770624 swapFree=66956140/67108860
[pid=32547] ppid=32544 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32547/stat : 32547 (scop.sh) S 32544 32547 32261 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500135704 115843072 349 33554432000 4194304 5098028 140727480676912 140727480674168 140528163361404 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18706432 140727480685349 140727480685676 140727480685676 140727480688589 0
/proc/32547/statm: 28282 349 296 221 0 87 0
[pid=32550] ppid=32547 vsize=27314120 memory=124724 CPUtime=0.24 cores=0-7
/proc/32550/stat : 32550 (java) S 32547 32547 32261 0 -1 1077944320 12109 0 0 0 20 4 0 0 20 0 20 0 500135704 27969658880 31181 33554432000 4194304 4196468 140727604625312 140727604607856 140180209614583 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
/proc/32550/statm: 6828530 31181 2940 1 0 6790935 0
[pid=32550/tid=32551] ppid=32547 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/32550/task/32551/stat : 32551 (java) R 32547 32547 32261 0 -1 4202560 9814 0 0 0 16 3 0 0 20 0 20 0 500135704 27969658880 31181 33554432000 4194304 4196468 140727604625312 140180181430992 140180191178208 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32552] ppid=32547 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/32550/task/32552/stat : 32552 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 31181 33554432000 4194304 4196468 140727604625312 140180213856656 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32553] ppid=32547 vsize=27314120 memory=3835009509846087328 CPUtime=0 cores=0-7
/proc/32550/task/32553/stat : 32553 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 31181 33554432000 4194304 4196468 140727604625312 140180028012816 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32554] ppid=32547 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32550/task/32554/stat : 32554 (java) S 32547 32547 32261 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 31181 33554432000 4194304 4196468 140727604625312 140180026960528 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32555] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32555/stat : 32555 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 31181 33554432000 4194304 4196468 140727604625312 140180025907728 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32556] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32556/stat : 32556 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 31181 33554432000 4194304 4196468 140727604625312 140180024855440 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32557] ppid=32547 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32550/task/32557/stat : 32557 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 31181 33554432000 4194304 4196468 140727604625312 140180023802640 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32558] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32558/stat : 32558 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 31181 33554432000 4194304 4196468 140727604625312 140180022750352 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32559] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32559/stat : 32559 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 31181 33554432000 4194304 4196468 140727604625312 140180021697552 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32560] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32560/stat : 32560 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500135708 27969658880 31181 33554432000 4194304 4196468 140727604625312 140178777208944 140180209625730 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32561] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32561/stat : 32561 (java) S 32547 32547 32261 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500135709 27969658880 31181 33554432000 4194304 4196468 140727604625312 140178001748768 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32562] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32562/stat : 32562 (java) S 32547 32547 32261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500135709 27969658880 31181 33554432000 4194304 4196468 140727604625312 140177867527280 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32563] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32563/stat : 32563 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500135711 27969658880 31181 33554432000 4194304 4196468 140727604625312 140177493022800 140180209633179 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32564] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32564/stat : 32564 (java) S 32547 32547 32261 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 20 0 500135711 27969658880 31181 33554432000 4194304 4196468 140727604625312 140178776156784 140180209625730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32565] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32565/stat : 32565 (java) S 32547 32547 32261 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 500135711 27969658880 31181 33554432000 4194304 4196468 140727604625312 140178775103984 140180209625730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32566] ppid=32547 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32550/task/32566/stat : 32566 (java) S 32547 32547 32261 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 500135711 27969658880 31181 33554432000 4194304 4196468 140727604625312 140178774051696 140180209625730 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32567] ppid=32547 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/32550/task/32567/stat : 32567 (java) S 32547 32547 32261 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 20 0 500135711 27969658880 31181 33554432000 4194304 4196468 140727604625312 140178772998896 140180209625730 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32568] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32568/stat : 32568 (java) S 32547 32547 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500135712 27969658880 31181 33554432000 4194304 4196468 140727604625312 140176995117408 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32569] ppid=32547 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32550/task/32569/stat : 32569 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500135712 27969658880 31181 33554432000 4194304 4196468 140727604625312 140178771945776 140180209625730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126120 KiB

[startup+0.309609 s]*
/proc/loadavg: 0.38 0.10 0.07 2/211 32569
/proc/meminfo: memFree=24700288/32770624 swapFree=66956140/67108860
[pid=32547] ppid=32544 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32547/stat : 32547 (scop.sh) S 32544 32547 32261 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500135704 115843072 349 33554432000 4194304 5098028 140727480676912 140727480674168 140528163361404 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18706432 140727480685349 140727480685676 140727480685676 140727480688589 0
/proc/32547/statm: 28282 349 296 221 0 87 0
[pid=32550] ppid=32547 vsize=27314120 memory=128328 CPUtime=0.41 cores=0-7
/proc/32550/stat : 32550 (java) S 32547 32547 32261 0 -1 1077944320 12973 0 0 0 37 4 0 0 20 0 20 0 500135704 27969658880 32082 33554432000 4194304 4196468 140727604625312 140727604607856 140180209614583 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
/proc/32550/statm: 6828530 32082 3024 1 0 6790935 0
[pid=32550/tid=32551] ppid=32547 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/32550/task/32551/stat : 32551 (java) R 32547 32547 32261 0 -1 4202560 10494 0 0 0 26 4 0 0 20 0 20 0 500135704 27969658880 32082 33554432000 4194304 4196468 140727604625312 140180181397600 140180193695070 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32552] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32552/stat : 32552 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 32082 33554432000 4194304 4196468 140727604625312 140180213856656 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32553] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32553/stat : 32553 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 32082 33554432000 4194304 4196468 140727604625312 140180028012816 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32554] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32554/stat : 32554 (java) S 32547 32547 32261 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 32082 33554432000 4194304 4196468 140727604625312 140180026960528 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32555] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32555/stat : 32555 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 32082 33554432000 4194304 4196468 140727604625312 140180025907728 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32556] ppid=32547 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/32550/task/32556/stat : 32556 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 32082 33554432000 4194304 4196468 140727604625312 140180024855440 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32557] ppid=32547 vsize=27314120 memory=140335372137391 CPUtime=0 cores=0-7
/proc/32550/task/32557/stat : 32557 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 32082 33554432000 4194304 4196468 140727604625312 140180023802640 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32558] ppid=32547 vsize=27314120 memory=140335372139696 CPUtime=0 cores=0-7
/proc/32550/task/32558/stat : 32558 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 32082 33554432000 4194304 4196468 140727604625312 140180022750352 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32559] ppid=32547 vsize=27314120 memory=140335372142000 CPUtime=0 cores=0-7
/proc/32550/task/32559/stat : 32559 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500135707 27969658880 32082 33554432000 4194304 4196468 140727604625312 140180021697552 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32560] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32560/stat : 32560 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500135708 27969658880 32082 33554432000 4194304 4196468 140727604625312 140178777208944 140180209625730 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32561] ppid=32547 vsize=27314120 memory=280670744290960 CPUtime=0 cores=0-7
/proc/32550/task/32561/stat : 32561 (java) S 32547 32547 32261 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500135709 27969658880 32082 33554432000 4194304 4196468 140727604625312 140178001748768 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32562] ppid=32547 vsize=27314120 memory=280670744297872 CPUtime=0 cores=0-7
/proc/32550/task/32562/stat : 32562 (java) S 32547 32547 32261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500135709 27969658880 32082 33554432000 4194304 4196468 140727604625312 140177867527280 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32563] ppid=32547 vsize=27314120 memory=280670744239152 CPUtime=0 cores=0-7
/proc/32550/task/32563/stat : 32563 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500135711 27969658880 32082 33554432000 4194304 4196468 140727604625312 140177493022800 140180209633179 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32564] ppid=32547 vsize=27314120 memory=280670744311696 CPUtime=0.01 cores=0-7
/proc/32550/task/32564/stat : 32564 (java) R 32547 32547 32261 0 -1 4202560 356 0 0 0 1 0 0 0 20 0 20 0 500135711 27969658880 32082 33554432000 4194304 4196468 140727604625312 140178776156784 140180209626518 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32565] ppid=32547 vsize=27314120 memory=280670744318608 CPUtime=0.01 cores=0-7
/proc/32550/task/32565/stat : 32565 (java) S 32547 32547 32261 0 -1 1077944384 115 0 0 0 1 0 0 0 20 0 20 0 500135711 27969658880 32082 33554432000 4194304 4196468 140727604625312 140178775103984 140180209625730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32566] ppid=32547 vsize=27314120 memory=280670744316304 CPUtime=0 cores=0-7
/proc/32550/task/32566/stat : 32566 (java) S 32547 32547 32261 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 20 0 500135711 27969658880 32082 33554432000 4194304 4196468 140727604625312 140178774051696 140180209625730 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32567] ppid=32547 vsize=27314120 memory=280670744332464 CPUtime=0.07 cores=0-7
/proc/32550/task/32567/stat : 32567 (java) S 32547 32547 32261 0 -1 1077944384 479 0 0 0 7 0 0 0 20 0 20 0 500135711 27969658880 32082 33554432000 4194304 4196468 140727604625312 140178772998896 140180209625730 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32568] ppid=32547 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32568/stat : 32568 (java) S 32547 32547 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500135712 27969658880 32082 33554432000 4194304 4196468 140727604625312 140176995117408 140180209624789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32569] ppid=32547 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32550/task/32569/stat : 32569 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500135712 27969658880 32082 33554432000 4194304 4196468 140727604625312 140178771945776 140180209625730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129724 KiB

[startup+0.700928 s]
/proc/loadavg: 0.38 0.10 0.07 2/211 32569
/proc/meminfo: memFree=24679236/32770624 swapFree=66956140/67108860
[pid=32547] ppid=32544 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32547/stat : 32547 (scop.sh) S 32544 32547 32261 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500135704 115843072 349 33554432000 4194304 5098028 140727480676912 140727480674168 140528163361404 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18706432 140727480685349 140727480685676 140727480685676 140727480688589 0
/proc/32547/statm: 28282 349 296 221 0 87 0
[pid=32550] ppid=32547 vsize=27320392 memory=162972 CPUtime=0.98 cores=0-7
/proc/32550/stat : 32550 (java) S 32547 32547 32261 0 -1 1077944320 19842 0 0 0 92 6 0 0 20 0 20 0 500135704 27976081408 40743 33554432000 4194304 4196468 140727604625312 140727604607856 140180209614583 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
/proc/32550/statm: 6830098 40743 3199 1 0 6791447 0
[pid=32550/tid=32551] ppid=32547 vsize=27320392 memory=280670744690352 CPUtime=0.67 cores=0-7
/proc/32550/task/32551/stat : 32551 (java) R 32547 32547 32261 0 -1 4202560 16918 0 0 0 62 5 0 0 20 0 20 0 500135704 27976081408 40743 33554432000 4194304 4196468 140727604625312 140180181451712 140179698531894 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32552] ppid=32547 vsize=27320392 memory=140335372346224 CPUtime=0 cores=0-7
/proc/32550/task/32552/stat : 32552 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500135707 27976081408 40743 33554432000 4194304 4196468 140727604625312 140180213856656 140180209624789 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32553] ppid=32547 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/32550/task/32553/stat : 32553 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500135707 27976081408 40743 33554432000 4194304 4196468 140727604625312 140180028012816 140180209624789 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0
[pid=32550/tid=32554] ppid=32547 vsize=27320392 memory=8444 CPUtime=0 cores=0-7
/proc/32550/task/32554/stat : 32554 (java) S 32547 32547 32261 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 500135707 27976081408 40743 33554432000 4194304 4196468 140727604625312 140180026960528 140180209624789 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140727604630251 140727604630678 140727604630678 140727604633551 0

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

/proc/32570/task/32578/stat : 32578 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500136915 8616062976 29950 33554432000 4194304 4196468 140724806636768 140373309102736 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32579] ppid=32547 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/32570/task/32579/stat : 32579 (java) S 32547 32547 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500136915 8616062976 29950 33554432000 4194304 4196468 140724806636768 140373308049936 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32580] ppid=32547 vsize=8414124 memory=976 CPUtime=0 cores=0-7
/proc/32570/task/32580/stat : 32580 (java) S 32547 32547 32261 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500136917 8616062976 29950 33554432000 4194304 4196468 140724806636768 140372334930544 140373509966466 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32581] ppid=32547 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/32570/task/32581/stat : 32581 (java) S 32547 32547 32261 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500136917 8616062976 29950 33554432000 4194304 4196468 140724806636768 140372147692832 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32582] ppid=32547 vsize=8414124 memory=280670744669152 CPUtime=0 cores=0-7
/proc/32570/task/32582/stat : 32582 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500136918 8616062976 29950 33554432000 4194304 4196468 140724806636768 140371879257712 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32583] ppid=32547 vsize=8414124 memory=923024 CPUtime=0 cores=0-7
/proc/32570/task/32583/stat : 32583 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500136920 8616062976 29950 33554432000 4194304 4196468 140724806636768 140371504749136 140373509973915 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32584] ppid=32547 vsize=8414124 memory=140335372175072 CPUtime=0.07 cores=0-7
/proc/32570/task/32584/stat : 32584 (java) S 32547 32547 32261 0 -1 1077944384 579 0 0 0 7 0 0 0 20 0 24 0 500136920 8616062976 29950 33554432000 4194304 4196468 140724806636768 140372333877360 140373509966466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32585] ppid=32547 vsize=8414124 memory=3616 CPUtime=0.03 cores=0-7
/proc/32570/task/32585/stat : 32585 (java) S 32547 32547 32261 0 -1 1077944384 268 0 0 0 3 0 0 0 20 0 24 0 500136920 8616062976 29950 33554432000 4194304 4196468 140724806636768 140372332824560 140373509966466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32586] ppid=32547 vsize=8414124 memory=2832 CPUtime=0.04 cores=0-7
/proc/32570/task/32586/stat : 32586 (java) S 32547 32547 32261 0 -1 1077944384 262 0 0 0 4 0 0 0 20 0 24 0 500136920 8616062976 29950 33554432000 4194304 4196468 140724806636768 140372331772272 140373509966466 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32587] ppid=32547 vsize=8414124 memory=1548 CPUtime=0.19 cores=0-7
/proc/32570/task/32587/stat : 32587 (java) S 32547 32547 32261 0 -1 1077944384 550 0 0 0 19 0 0 0 20 0 24 0 500136920 8616062976 29950 33554432000 4194304 4196468 140724806636768 140372330719472 140373509966466 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32588] ppid=32547 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/32570/task/32588/stat : 32588 (java) S 32547 32547 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500136920 8616062976 29950 33554432000 4194304 4196468 140724806636768 140371006843744 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32589] ppid=32547 vsize=8414124 memory=744 CPUtime=0 cores=0-7
/proc/32570/task/32589/stat : 32589 (java) S 32547 32547 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500136921 8616062976 29950 33554432000 4194304 4196468 140724806636768 140372329667376 140373509966466 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32591] ppid=32547 vsize=8414124 memory=8444 CPUtime=0 cores=0-7
/proc/32570/task/32591/stat : 32591 (java) S 32547 32547 32261 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500136986 8616062976 29950 33554432000 4194304 4196468 140724806636768 140372321634112 140373509979929 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32593] ppid=32547 vsize=8414124 memory=6164 CPUtime=0 cores=0-7
/proc/32570/task/32593/stat : 32593 (java) S 32547 32547 32261 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 500136986 8616062976 29950 33554432000 4194304 4196468 140724806636768 140370335743376 140373509977245 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32594] ppid=32547 vsize=8414124 memory=1124 CPUtime=0 cores=0-7
/proc/32570/task/32594/stat : 32594 (java) S 32547 32547 32261 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 500136986 8616062976 29950 33554432000 4194304 4196468 140724806636768 140370604178704 140373509977245 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32595] ppid=32547 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/32570/task/32595/stat : 32595 (java) S 32547 32547 32261 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500136989 8616062976 29950 33554432000 4194304 4196468 140724806636768 140370067316016 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
Current children cumulated CPU time: 54.59 s
Current children cumulated vsize: 10004992 KiB
Current children cumulated memory: 1045064 KiB

[startup+20.0014 s]*
/proc/loadavg: 1.23 0.30 0.14 3/218 32604
/proc/meminfo: memFree=23755752/32770624 swapFree=66956140/67108860
[pid=32547] ppid=32544 vsize=113128 memory=1476 CPUtime=22.83 cores=0-7
/proc/32547/stat : 32547 (scop.sh) S 32544 32547 32261 0 -1 4202496 581 37759 0 0 0 0 2172 111 20 0 1 0 500135704 115843072 369 33554432000 4194304 5098028 140727480676912 140727480673656 140528163361404 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 18706432 140727480685349 140727480685676 140727480685676 140727480688589 0
/proc/32547/statm: 28282 369 311 221 0 87 0
[pid=32570] ppid=32547 vsize=8414124 memory=119800 CPUtime=1.13 cores=0-7
/proc/32570/stat : 32570 (java) S 32547 32547 32261 0 -1 1077944320 20432 0 0 0 108 5 0 0 20 0 24 0 500136914 8616062976 29950 33554432000 4194304 4196468 140724806636768 140724806619312 140373509955319 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
/proc/32570/statm: 2103531 29950 3201 1 0 2064875 0
[pid=32590] ppid=32570 vsize=1477872 memory=924956 CPUtime=36.19 cores=0-7
/proc/32590/stat : 32590 (manyglucose-4.1) S 32570 32547 32261 0 -1 1077944320 290017 0 0 0 3530 89 0 0 20 0 3 0 500136986 1513340928 231239 33554432000 4194304 4454172 140726386456208 140726386454592 140536958877431 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 20107264 140726386459497 140726386459696 140726386459696 140726386462650 0
/proc/32590/statm: 369468 231239 420 64 0 365136 0
[pid=32590/tid=32597] ppid=32570 vsize=1477872 memory=0 CPUtime=4.26 cores=0-7
/proc/32590/task/32597/stat : 32597 (manyglucose-4.1) R 32570 32547 32261 0 -1 4202560 18384 0 0 0 417 9 0 0 20 0 3 0 500137271 1513340928 231239 33554432000 4194304 4454172 140726386456208 140536455822072 4351800 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 20107264 140726386459497 140726386459696 140726386459696 140726386462650 0
[pid=32590/tid=32604] ppid=32570 vsize=1477872 memory=0 CPUtime=4.18 cores=0-7
/proc/32590/task/32604/stat : 32604 (manyglucose-4.1) R 32570 32547 32261 0 -1 4202560 14749 0 0 0 406 12 0 0 20 0 3 0 500137271 1513340928 231239 33554432000 4194304 4454172 140726386456208 140536397073192 4351209 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 20107264 140726386459497 140726386459696 140726386459696 140726386462650 0
[pid=32570/tid=32571] ppid=32547 vsize=8414124 memory=0 CPUtime=0.75 cores=0-7
/proc/32570/task/32571/stat : 32571 (java) S 32547 32547 32261 0 -1 1077944384 17370 0 0 0 71 4 0 0 20 0 24 0 500136914 8616062976 29950 33554432000 4194304 4196468 140724806636768 140373481795488 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32572] ppid=32547 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32570/task/32572/stat : 32572 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500136915 8616062976 29950 33554432000 4194304 4196468 140724806636768 140373514197904 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32573] ppid=32547 vsize=8414124 memory=2315025979133090017 CPUtime=0 cores=0-7
/proc/32570/task/32573/stat : 32573 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500136915 8616062976 29950 33554432000 4194304 4196468 140724806636768 140373314366224 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32574] ppid=32547 vsize=8414124 memory=8562012947928686716 CPUtime=0 cores=0-7
/proc/32570/task/32574/stat : 32574 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500136915 8616062976 29950 33554432000 4194304 4196468 140724806636768 140373313313936 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32575] ppid=32547 vsize=8414124 memory=6944656591647563856 CPUtime=0 cores=0-7
/proc/32570/task/32575/stat : 32575 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500136915 8616062976 29950 33554432000 4194304 4196468 140724806636768 140373312261136 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32576] ppid=32547 vsize=8414124 memory=3616988855022924080 CPUtime=0 cores=0-7
/proc/32570/task/32576/stat : 32576 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500136915 8616062976 29950 33554432000 4194304 4196468 140724806636768 140373311207824 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32577] ppid=32547 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32570/task/32577/stat : 32577 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500136915 8616062976 29950 33554432000 4194304 4196468 140724806636768 140373310155024 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32578] ppid=32547 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32570/task/32578/stat : 32578 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500136915 8616062976 29950 33554432000 4194304 4196468 140724806636768 140373309102736 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32579] ppid=32547 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32570/task/32579/stat : 32579 (java) S 32547 32547 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500136915 8616062976 29950 33554432000 4194304 4196468 140724806636768 140373308049936 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32580] ppid=32547 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32570/task/32580/stat : 32580 (java) S 32547 32547 32261 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500136917 8616062976 29950 33554432000 4194304 4196468 140724806636768 140372334930544 140373509966466 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32581] ppid=32547 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32570/task/32581/stat : 32581 (java) S 32547 32547 32261 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500136917 8616062976 29950 33554432000 4194304 4196468 140724806636768 140372147692832 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32582] ppid=32547 vsize=8414124 memory=280670745022680 CPUtime=0 cores=0-7
/proc/32570/task/32582/stat : 32582 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500136918 8616062976 29950 33554432000 4194304 4196468 140724806636768 140371879257712 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32583] ppid=32547 vsize=8414124 memory=19 CPUtime=0 cores=0-7
/proc/32570/task/32583/stat : 32583 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500136920 8616062976 29950 33554432000 4194304 4196468 140724806636768 140371504749136 140373509973915 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32584] ppid=32547 vsize=8414124 memory=9116199896 CPUtime=0.07 cores=0-7
/proc/32570/task/32584/stat : 32584 (java) S 32547 32547 32261 0 -1 1077944384 579 0 0 0 7 0 0 0 20 0 24 0 500136920 8616062976 29950 33554432000 4194304 4196468 140724806636768 140372333877360 140373509966466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32585] ppid=32547 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7
/proc/32570/task/32585/stat : 32585 (java) S 32547 32547 32261 0 -1 1077944384 268 0 0 0 3 0 0 0 20 0 24 0 500136920 8616062976 29950 33554432000 4194304 4196468 140724806636768 140372332824560 140373509966466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32586] ppid=32547 vsize=8414124 memory=7517218339091229587 CPUtime=0.04 cores=0-7
/proc/32570/task/32586/stat : 32586 (java) S 32547 32547 32261 0 -1 1077944384 262 0 0 0 4 0 0 0 20 0 24 0 500136920 8616062976 29950 33554432000 4194304 4196468 140724806636768 140372331772272 140373509966466 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32587] ppid=32547 vsize=8414124 memory=8616062976 CPUtime=0.19 cores=0-7
/proc/32570/task/32587/stat : 32587 (java) S 32547 32547 32261 0 -1 1077944384 550 0 0 0 19 0 0 0 20 0 24 0 500136920 8616062976 29950 33554432000 4194304 4196468 140724806636768 140372330719472 140373509966466 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32588] ppid=32547 vsize=8414124 memory=8616062975 CPUtime=0 cores=0-7
/proc/32570/task/32588/stat : 32588 (java) S 32547 32547 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500136920 8616062976 29950 33554432000 4194304 4196468 140724806636768 140371006843744 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32589] ppid=32547 vsize=8414124 memory=8616062975 CPUtime=0 cores=0-7
/proc/32570/task/32589/stat : 32589 (java) S 32547 32547 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500136921 8616062976 29950 33554432000 4194304 4196468 140724806636768 140372329667376 140373509966466 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32591] ppid=32547 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32570/task/32591/stat : 32591 (java) S 32547 32547 32261 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500136986 8616062976 29950 33554432000 4194304 4196468 140724806636768 140372321634112 140373509979929 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32593] ppid=32547 vsize=8414124 memory=7517218339091229587 CPUtime=0 cores=0-7
/proc/32570/task/32593/stat : 32593 (java) S 32547 32547 32261 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 500136986 8616062976 29950 33554432000 4194304 4196468 140724806636768 140370335743376 140373509977245 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32594] ppid=32547 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32570/task/32594/stat : 32594 (java) S 32547 32547 32261 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 500136986 8616062976 29950 33554432000 4194304 4196468 140724806636768 140370604178704 140373509977245 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32595] ppid=32547 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32570/task/32595/stat : 32595 (java) S 32547 32547 32261 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500136989 8616062976 29950 33554432000 4194304 4196468 140724806636768 140370067316016 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
Current children cumulated CPU time: 60.15 s
Current children cumulated vsize: 10005124 KiB
Current children cumulated memory: 1046232 KiB

[startup+20.2012 s]
/proc/loadavg: 1.23 0.30 0.14 3/218 32604
/proc/meminfo: memFree=23755752/32770624 swapFree=66956140/67108860
[pid=32547] ppid=32544 vsize=113128 memory=1476 CPUtime=22.83 cores=0-7
/proc/32547/stat : 32547 (scop.sh) S 32544 32547 32261 0 -1 4202496 581 37759 0 0 0 0 2172 111 20 0 1 0 500135704 115843072 369 33554432000 4194304 5098028 140727480676912 140727480673656 140528163361404 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 18706432 140727480685349 140727480685676 140727480685676 140727480688589 0
/proc/32547/statm: 28282 369 311 221 0 87 0
[pid=32570] ppid=32547 vsize=8414124 memory=121064 CPUtime=1.2 cores=0-7
/proc/32570/stat : 32570 (java) S 32547 32547 32261 0 -1 1077944320 20759 0 0 0 114 6 0 0 20 0 24 0 500136914 8616062976 30266 33554432000 4194304 4196468 140724806636768 140724806619312 140373509955319 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
/proc/32570/statm: 2103531 30266 3210 1 0 2064875 0
[pid=32570/tid=32571] ppid=32547 vsize=8414124 memory=7451319264464031849 CPUtime=0.75 cores=0-7
/proc/32570/task/32571/stat : 32571 (java) S 32547 32547 32261 0 -1 1077944384 17370 0 0 0 71 4 0 0 20 0 24 0 500136914 8616062976 30266 33554432000 4194304 4196468 140724806636768 140373481795488 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32572] ppid=32547 vsize=8414124 memory=-7522837583045875833 CPUtime=0 cores=0-7
/proc/32570/task/32572/stat : 32572 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500136915 8616062976 30266 33554432000 4194304 4196468 140724806636768 140373514197904 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32573] ppid=32547 vsize=8414124 memory=4206468019014099040 CPUtime=0 cores=0-7
/proc/32570/task/32573/stat : 32573 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500136915 8616062976 30266 33554432000 4194304 4196468 140724806636768 140373314366224 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32574] ppid=32547 vsize=8414124 memory=-3040564339105353098 CPUtime=0 cores=0-7
/proc/32570/task/32574/stat : 32574 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500136915 8616062976 30266 33554432000 4194304 4196468 140724806636768 140373313313936 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32575] ppid=32547 vsize=8414124 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/32570/task/32575/stat : 32575 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500136915 8616062976 30266 33554432000 4194304 4196468 140724806636768 140373312261136 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32576] ppid=32547 vsize=8414124 memory=280670744111296 CPUtime=0 cores=0-7
/proc/32570/task/32576/stat : 32576 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500136915 8616062976 30266 33554432000 4194304 4196468 140724806636768 140373311207824 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32577] ppid=32547 vsize=8414124 memory=7454130749351154278 CPUtime=0 cores=0-7
/proc/32570/task/32577/stat : 32577 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500136915 8616062976 30266 33554432000 4194304 4196468 140724806636768 140373310155024 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32578] ppid=32547 vsize=8414124 memory=7163649553410713703 CPUtime=0 cores=0-7
/proc/32570/task/32578/stat : 32578 (java) S 32547 32547 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500136915 8616062976 30266 33554432000 4194304 4196468 140724806636768 140373309102736 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32579] ppid=32547 vsize=8414124 memory=6296384536551517032 CPUtime=0 cores=0-7
/proc/32570/task/32579/stat : 32579 (java) S 32547 32547 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500136915 8616062976 30266 33554432000 4194304 4196468 140724806636768 140373308049936 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32580] ppid=32547 vsize=8414124 memory=7162531440177276259 CPUtime=0 cores=0-7
/proc/32570/task/32580/stat : 32580 (java) S 32547 32547 32261 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500136917 8616062976 30266 33554432000 4194304 4196468 140724806636768 140372334930544 140373509966466 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32581] ppid=32547 vsize=8414124 memory=7589803793346227048 CPUtime=0 cores=0-7
/proc/32570/task/32581/stat : 32581 (java) S 32547 32547 32261 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500136917 8616062976 30266 33554432000 4194304 4196468 140724806636768 140372147692832 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32582] ppid=32547 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32570/task/32582/stat : 32582 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500136918 8616062976 30266 33554432000 4194304 4196468 140724806636768 140371879257712 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32583] ppid=32547 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32570/task/32583/stat : 32583 (java) S 32547 32547 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500136920 8616062976 30266 33554432000 4194304 4196468 140724806636768 140371504749136 140373509973915 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32584] ppid=32547 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/32570/task/32584/stat : 32584 (java) S 32547 32547 32261 0 -1 1077944384 583 0 0 0 8 0 0 0 20 0 24 0 500136920 8616062976 30266 33554432000 4194304 4196468 140724806636768 140372333877360 140373509966466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32585] ppid=32547 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/32570/task/32585/stat : 32585 (java) S 32547 32547 32261 0 -1 1077944384 294 0 0 0 4 0 0 0 20 0 24 0 500136920 8616062976 30266 33554432000 4194304 4196468 140724806636768 140372332824560 140373509966466 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32586] ppid=32547 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/32570/task/32586/stat : 32586 (java) S 32547 32547 32261 0 -1 1077944384 266 0 0 0 6 0 0 0 20 0 24 0 500136920 8616062976 30266 33554432000 4194304 4196468 140724806636768 140372331772272 140373509966466 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32587] ppid=32547 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/32570/task/32587/stat : 32587 (java) S 32547 32547 32261 0 -1 1077944384 833 0 0 0 20 0 0 0 20 0 24 0 500136920 8616062976 30266 33554432000 4194304 4196468 140724806636768 140372330719472 140373509966466 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32588] ppid=32547 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32570/task/32588/stat : 32588 (java) S 32547 32547 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500136920 8616062976 30266 33554432000 4194304 4196468 140724806636768 140371006843744 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32589] ppid=32547 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32570/task/32589/stat : 32589 (java) S 32547 32547 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500136921 8616062976 30266 33554432000 4194304 4196468 140724806636768 140372329667376 140373509966466 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32591] ppid=32547 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32570/task/32591/stat : 32591 (java) S 32547 32547 32261 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500136986 8616062976 30266 33554432000 4194304 4196468 140724806636768 140372321634112 140373509979929 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32593] ppid=32547 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7
/proc/32570/task/32593/stat : 32593 (java) S 32547 32547 32261 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 24 0 500136986 8616062976 30266 33554432000 4194304 4196468 140724806636768 140370335743408 140373509977245 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32594] ppid=32547 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32570/task/32594/stat : 32594 (java) S 32547 32547 32261 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 500136986 8616062976 30266 33554432000 4194304 4196468 140724806636768 140370604178704 140373509977245 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
[pid=32570/tid=32595] ppid=32547 vsize=8414124 memory=97 CPUtime=0 cores=0-7
/proc/32570/task/32595/stat : 32595 (java) S 32547 32547 32261 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500136989 8616062976 30266 33554432000 4194304 4196468 140724806636768 140370067316016 140373509965525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22245376 140724806640631 140724806640790 140724806640790 140724806643663 0
Current children cumulated CPU time: 24.03 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 122540 KiB

Child status: 0
Real time (s): 20.2387
CPU time (s): 60.5931
CPU user time (s): 58.461
CPU system time (s): 2.1321
CPU usage (%): 299.392
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 5630916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.461
system time used= 2.1321
maximum resident set size= 5657600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350405
page faults= 0
swaps= 0
block input operations= 0
block output operations= 55448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51634
involuntary context switches= 401


# summary of solver processes directly reported to runsolver:
#   pid: 32547
#   total CPU time (s): 60.5931
#   total CPU user time (s): 58.461
#   total CPU system time (s): 2.1321

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.166357 second user time and 0.277107 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-23 13:36:43
IDJOB=4405234
IDBENCH=120889
IDSOLVER=2867
FILE ID=node151/4405234-1569238644
RUNJOBID= node151-1569238587-32288
PBS_JOBID= 21704891
Free space on /tmp= 12412 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/QueensKnights/QueensKnights-m1-s1/QueensKnights-080-05-add.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-4405234-1569238644/watcher-4405234-1569238644 -o /tmp/evaluation-result-4405234-1569238644/solver-4405234-1569238644 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569238587-32288 --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-4405234-1569238644.xml

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

MD5SUM BENCH= 18e8c61317b2c078d14d7e9ead8d31e0
RANDOM SEED=600633216

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24819488 kB
MemAvailable:   31797432 kB
Buffers:           86416 kB
Cached:          7053568 kB
SwapCached:        51108 kB
Active:          3520524 kB
Inactive:        3675800 kB
Active(anon):       4792 kB
Inactive(anon):   106028 kB
Active(file):    3515732 kB
Inactive(file):  3569772 kB
Unevictable:      108388 kB
Mlocked:          108388 kB
SwapTotal:      67108860 kB
SwapFree:       66956140 kB
Dirty:             20876 kB
Writeback:             0 kB
AnonPages:        126276 kB
Mapped:            52776 kB
Shmem:             45796 kB
Slab:             349832 kB
SReclaimable:     320900 kB
SUnreclaim:        28932 kB
KernelStack:        3712 kB
PageTables:         5968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 12392 MiB
End job on node151 at 2019-09-23 13:37:04