Trace number 4405217

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 51.1481 28.6156

General information on the benchmark

NameSocialGolfers/SocialGolfers-cp-s1/
SocialGolfers-8-9-9-cp.xml
MD5SUM7f38f9e4cc6c9387b3de2b1a6255283e
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 benchmark27.2146
Satisfiable
(Un)Satisfiability was proved
Number of variables648
Number of constraints92027
Number of domains1
Minimum domain size8
Maximum domain size8
Distribution of domain sizes[{"size":8,"count":648}]
Minimum variable degree570
Maximum variable degree571
Distribution of variable degrees[{"degree":570,"count":576},{"degree":571,"count":72}]
Minimum constraint arity4
Maximum constraint arity648
Distribution of constraint arities[{"arity":4,"count":92016},{"arity":72,"count":10},{"arity":648,"count":1}]
Number of extensional constraints0
Number of intensional constraints92016
Distribution of constraint types[{"type":"intension","count":92016},{"type":"lex","count":1},{"type":"cardinality","count":9},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-6034-serial-file.bin HOME/instance-4405217-1569336072.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 16:40:36 CEST 2019
0.66/0.56	c PID: 6037
0.66/0.56	c IP: 172.20.3.148
0.66/0.56	c HOST: node148.alineos.net
0.66/0.57	c (0,0) Parsing Begin
12.99/6.20	c (5,5) Parsing End
12.99/6.21	c (5,5) CSP: 630 int (0 aux), 18 bool (0 aux), 92027 ctr, max domain size 8
12.99/6.21	c (5,5) Heap : 3717 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
12.99/6.21	c (5,5) Constraint Name Generate Begin
13.33/6.49	c (5,5) Ctr:HOME/instance-4405217-1569336072.xml,Cardinality:Instantiation:LexMatrix:Ne:Num:Or:Var
13.33/6.49	c (5,5) Constraint Name Generate End
13.33/6.49	c (5,5) Heap : 3829 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
13.33/6.49	c (5,5) CSP to CSPinCNF Begin
15.26/7.14	c (6,6) translated 9203 (10%) constraints
15.60/7.42	c (6,6) translated 18406 (20%) constraints
15.94/7.71	c (7,7) translated 27609 (30%) constraints
16.14/7.99	c (7,7) translated 36811 (40%) constraints
16.44/8.26	c (7,7) translated 46014 (50%) constraints
16.74/8.54	c (8,7) translated 55217 (60%) constraints
17.04/8.82	c (8,8) translated 64419 (70%) constraints
17.25/9.10	c (8,8) translated 73622 (80%) constraints
17.62/9.38	c (8,8) translated 82825 (90%) constraints
21.14/10.74	c (10,10) translated 92027 (100%) constraints
26.88/13.92	c (13,13) ===========================================
26.88/13.92	c (13,13) Order
26.88/13.92	c (13,13) ===========================================
27.96/14.53	c (13,13) translated 10480 (10%) constraints
28.48/15.07	c (14,14) translated 20960 (20%) constraints
29.14/15.61	c (15,14) translated 31440 (30%) constraints
29.65/16.15	c (15,15) translated 41920 (40%) constraints
30.14/16.69	c (16,15) translated 52400 (50%) constraints
30.74/17.23	c (16,16) translated 62880 (60%) constraints
31.24/17.77	c (17,17) translated 73360 (70%) constraints
31.84/18.30	c (17,17) translated 83840 (80%) constraints
32.97/18.98	c (18,18) translated 94320 (90%) constraints
34.91/19.69	c (19,18) translated 104800 (100%) constraints
34.91/19.69	c (19,18) CSP to CSPinCNF End
35.13/19.70	c (19,18) CSP: 2142 int (1512 aux), 11443 bool (11425 aux), 118336 ctr, max domain size 10
35.13/19.70	c (19,18) Heap : 4186 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
35.13/19.70	c (19,18) CSPinCNF Propagation Begin
37.11/20.73	c (20,19) 2440 values, 26560 unsatisfiable literals, and 22247 valid clauses are removed
37.11/20.73	c (20,19) CSPinCNF Propagation End
37.11/20.73	c (20,19) CSP: 2033 int (1403 aux), 11552 bool (11534 aux), 96089 ctr, max domain size 10
37.11/20.73	c (20,19) Heap : 4951 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
37.11/20.73	c (20,19) Simplify CSPinCNF Begin
39.17/22.49	c (21,21) Simplify CSPinCNF End
39.56/22.50	c (21,21) CSP: 2033 int (1403 aux), 53630 bool (53612 aux), 138167 ctr, max domain size 10
39.56/22.50	c (21,21) Heap : 5825 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
39.56/22.50	c (21,21) Calculate Precise Domain Begin
39.56/22.59	c (22,21) 0 values are removed by re-calculation
39.56/22.59	c (22,21) Calculate Precise Domain End
39.81/22.60	c (22,21) CSP: 2033 int (1403 aux), 53630 bool (53612 aux), 138167 ctr, max domain size 10
39.81/22.60	c (22,21) Heap : 5825 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
39.81/22.60	c (22,21) CSPinCNF to SatSolver Begin
44.04/23.70	c (23,22) 13817 (10 %) CSP clauses are encoded (0 SAT variables, 96035 SAT clauses)
44.50/24.18	c (23,23) 27634 (20 %) CSP clauses are encoded (0 SAT variables, 176149 SAT clauses)
44.99/24.63	c (24,23) 41451 (30 %) CSP clauses are encoded (0 SAT variables, 251825 SAT clauses)
45.42/25.08	c (24,24) 55267 (40 %) CSP clauses are encoded (0 SAT variables, 327430 SAT clauses)
45.71/25.37	c (24,24) 69084 (50 %) CSP clauses are encoded (0 SAT variables, 367259 SAT clauses)
45.91/25.55	c (25,24) 82901 (60 %) CSP clauses are encoded (0 SAT variables, 381076 SAT clauses)
46.11/25.73	c (25,24) 96717 (70 %) CSP clauses are encoded (0 SAT variables, 394892 SAT clauses)
46.31/25.92	c (25,24) 110534 (80 %) CSP clauses are encoded (0 SAT variables, 408709 SAT clauses)
47.70/26.33	c (25,25) 124351 (90 %) CSP clauses are encoded (0 SAT variables, 499454 SAT clauses)
48.30/26.70	c (26,25) 138167 (100 %) CSP clauses are encoded (0 SAT variables, 603582 SAT clauses)
48.30/26.70	c (26,25) CSPinCNF to SatSolver End
48.30/26.70	c (26,25) Heap : 2956 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
48.30/26.70	c (26,25) 66111 bool, 603589 clause
48.30/26.70	c (26,25) Export Begin
48.48/26.82	c (26,25) Export to HOME/scop-6034-serial-file.bin
48.48/26.82	c (26,25) Export End
48.48/26.82	c (26,25) Export File Size: 0.11 MB
48.48/26.82	c (26,25) 5,5,19,20,21,22,26,STOP-AFTER(DIMACS)
48.48/26.82	c END-Prog: Tue Sep 24 16:41:02 CEST 2019
48.48/26.87	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6034-serial-file.bin
49.17/27.33	c (0,0) Read Serial File Begin
49.17/27.33	c (0,0) HOME/scop-6034-serial-file.bin
49.44/27.57	c (0,0) Read Serial File End
49.44/27.59	
49.44/27.59	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
49.44/27.59	(Solving Process)
49.44/27.59	
49.72/27.61	c BEGIN-Prog: Tue Sep 24 16:41:03 CEST 2019
49.72/27.61	c PID: 6060
49.72/27.61	c IP: 172.20.3.148
49.72/27.61	c HOST: node148.alineos.net
49.72/27.61	c (0,0) SatSolver.solve Begin
49.72/27.61	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405217-1569336072.xml-scop-6037.cnf
49.72/27.64	c (0,0) c
49.72/27.64	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)
49.72/27.64	c (0,0) c
49.72/27.64	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
49.72/27.64	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
49.72/27.64	c (0,0) c ========================================[ Problem Statistics ]===========================================
49.72/27.64	c (0,0) c |                                                                                                       |
49.92/27.85	c (0,0) c |  Number of variables:         66111                                                                   |
49.92/27.85	c (0,0) c |  Number of clauses:          603589                                                                   |
49.92/27.85	c (0,0) c |  Parse time:                   0.20 s                                                                 |
49.92/27.85	c (0,0) c |                                                                                                       |
50.48/28.21	c (0,0) c |  Simplification time:          0.36 s                                                                 |
50.48/28.21	c (0,0) c |                                                                                                       |
50.48/28.21	c (0,0) c |  Generating clones                                                                                    |
50.67/28.43	c (1,0) c |  all clones generated. Memory =   394.25Mb.                                                           |
50.67/28.43	c (1,0) c ========================================================================================================|
50.67/28.43	c (1,0) c
50.67/28.43	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
50.67/28.43	c (1,0) c
50.67/28.43	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.67/28.43	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
50.67/28.43	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.67/28.43	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
50.67/28.43	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
50.67/28.43	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
50.67/28.43	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
50.67/28.43	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
50.67/28.43	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
50.67/28.43	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
50.67/28.43	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
50.67/28.43	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
50.67/28.43	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
50.67/28.43	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
50.67/28.43	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
50.67/28.43	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
50.67/28.43	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
50.67/28.43	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
50.67/28.43	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.96/28.56	c (1,0) c
50.96/28.56	c (1,0) c real time : 0.923882 s
50.96/28.56	c (1,0) c cpu time  : 0.891547 s
50.96/28.56	c (1,0) c
50.96/28.56	c (1,0) c
50.96/28.56	c (1,0) c
50.96/28.56	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
50.96/28.56	c (1,0) c
50.96/28.56	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.96/28.56	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
50.96/28.56	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.96/28.56	c (1,0) c | Conflicts     |            5459 |         71 |       4958 |         71 |         24 |        207 |         71 |         41 |         16 |
50.96/28.56	c (1,0) c | Decisions     |           52419 |      11833 |      12180 |       6680 |       2393 |       7495 |       6801 |       4596 |        441 |
50.96/28.56	c (1,0) c | Propagations  |          589358 |      28537 |     448127 |      22964 |       8902 |      43648 |      23731 |       9613 |       3836 |
50.96/28.56	c (1,0) c | ReduceDBs     |               1 |          0 |          1 |          0 |          0 |          0 |          0 |          0 |          0 |
50.96/28.56	c (1,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
50.96/28.56	c (1,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
50.96/28.56	c (1,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.96/28.56	c (1,0) c | PropBinClauses|          899273 |      29571 |     715536 |      28807 |       8647 |      72861 |      29789 |       8875 |       5187 |
50.96/28.56	c (1,0) c | PropPreBlocker|         3892553 |     139524 |    3018093 |     130856 |      78920 |     267359 |     138300 |      68895 |      50606 |
50.96/28.56	c (1,0) c | PropNotBlocker|         1577715 |      97154 |     967897 |      88655 |      71741 |     143532 |      96077 |      64127 |      48532 |
50.96/28.56	c (1,0) c | LitFullScans  |         7881519 |     304187 |    6001848 |     284944 |     167957 |     564222 |     301841 |     148569 |     107951 |
50.96/28.56	c (1,0) c | LitScanFracts |             586 |          0 |        586 |          0 |          0 |          0 |          0 |          0 |          0 |
50.96/28.56	c (1,0) c | DecisionLevel0|              50 |          4 |          2 |          4 |          5 |          5 |          4 |         18 |          8 |
50.96/28.56	c (1,0) c | Periods       |               1 |          0 |          1 |          0 |          0 |          0 |          0 |          0 |          0 |
50.96/28.56	c (1,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
50.96/28.56	c (1,0) c | Avg_Trail     |                 |       5990 |       1061 |       5915 |       2239 |       3498 |       5902 |       1055 |        802 |
50.96/28.56	c (1,0) c | Avg_DL        |                 |       5155 |        100 |       5083 |        650 |       2664 |       5084 |        543 |        101 |
50.96/28.56	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.96/28.56	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.96/28.56	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.96/28.56	c (1,0) c | Exported      |             165 |          0 |        120 |          0 |         15 |          6 |          0 |         17 |          7 |
50.96/28.56	c (1,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.96/28.56	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.96/28.56	c (1,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.96/28.56	c (1,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.96/28.56	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.96/28.56	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.96/28.56	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.96/28.56	c (1,0) c | Unaries       |                 |          3 |          1 |          3 |          4 |          4 |          3 |         17 |          7 |
50.96/28.56	c (1,0) c | Binaries      |                 |          0 |          6 |          0 |          9 |          0 |          0 |         11 |          6 |
50.96/28.56	c (1,0) c | Glues         |                 |          0 |        120 |          0 |         15 |          6 |          0 |         17 |          7 |
50.96/28.56	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.96/28.56	c (1,0) c | Orig_Seen     |             0 % |       1549 |       1651 |       1549 |        116 |       1663 |       1549 |        230 |         76 |
50.96/28.56	c (1,0) c | Diff Orig seen|                 |       1433 |       1535 |       1433 |      X     |       1547 |       1433 |        114 | -       40 |
50.96/28.56	c (1,0) c | Hamming       |             3 % |       3348 |       1643 |       3258 |      X     |       2177 |       3180 |       1042 |        820 |
50.96/28.56	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.96/28.56	c (1,0) c | RunningTime   |                 |    0.0 100%|    0.1 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|
50.96/28.56	c (1,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%|
50.96/28.56	c (1,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%|
50.96/28.56	c (1,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%|
50.96/28.56	c (1,0) c | SolvingTime   |                 |    0.0     |    0.1     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
50.96/28.56	c (1,0) c | PropagationTim|                 |    0.0  90%|    0.1  83%|    0.0  88%|    0.0  98%|    0.0  93%|    0.0  91%|    0.0  97%|    0.0  99%|
50.96/28.56	c (1,0) c | AnalysisTime  |                 |    0.0   2%|    0.0  11%|    0.0   2%|    0.0   0%|    0.0   3%|    0.0   2%|    0.0   0%|    0.0   0%|
50.96/28.56	c (1,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%|
50.96/28.56	c (1,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
50.96/28.56	c (1,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%|
50.96/28.56	c (1,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%|
50.96/28.56	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.96/28.56	c (1,0) c
50.96/28.56	c (1,0) c
50.96/28.56	c (1,0) c Threads : 8
50.96/28.56	c (1,0) c Winner : 3
50.96/28.56	c (1,0) c Conflicts_0 : 71
50.96/28.56	c (1,0) c Conflicts_1 : 4958
50.96/28.56	c (1,0) c Conflicts_2 : 71
50.96/28.56	c (1,0) c Conflicts_3 : 24
50.96/28.56	c (1,0) c Conflicts_4 : 207
50.96/28.56	c (1,0) c Conflicts_5 : 71
50.96/28.56	c (1,0) c Conflicts_6 : 41
50.96/28.56	c (1,0) c Conflicts_7 : 16
50.96/28.56	c (1,0) c Conflicts_total : 5459
50.96/28.56	c (1,0) c Conflicts_winner : 24
50.96/28.56	c (1,0) c Decisions_0 : 11833
50.96/28.56	c (1,0) c Decisions_1 : 12180
50.96/28.56	c (1,0) c Decisions_2 : 6680
50.96/28.56	c (1,0) c Decisions_3 : 2393
50.96/28.56	c (1,0) c Decisions_4 : 7495
50.96/28.56	c (1,0) c Decisions_5 : 6801
50.96/28.56	c (1,0) c Decisions_6 : 4596
50.96/28.56	c (1,0) c Decisions_7 : 441
50.96/28.56	c (1,0) c Decisions_total : 52419
50.96/28.56	c (1,0) c Decisions_winner : 2393
50.96/28.56	c (1,0) c Propagations_0 : 28537
50.96/28.56	c (1,0) c Propagations_1 : 448127
50.96/28.56	c (1,0) c Propagations_2 : 22964
50.96/28.56	c (1,0) c Propagations_3 : 8902
50.96/28.56	c (1,0) c Propagations_4 : 43648
50.96/28.56	c (1,0) c Propagations_5 : 23731
50.96/28.56	c (1,0) c Propagations_6 : 9613
50.96/28.56	c (1,0) c Propagations_7 : 3836
50.96/28.56	c (1,0) c Propagations_total : 589358
50.96/28.56	c (1,0) c Propagations_winner : 8902
50.96/28.56	c (1,0) c ReduceDBs_0 : 0
50.96/28.56	c (1,0) c ReduceDBs_1 : 1
50.96/28.56	c (1,0) c ReduceDBs_2 : 0
50.96/28.56	c (1,0) c ReduceDBs_3 : 0
50.96/28.56	c (1,0) c ReduceDBs_4 : 0
50.96/28.56	c (1,0) c ReduceDBs_5 : 0
50.96/28.56	c (1,0) c ReduceDBs_6 : 0
50.96/28.56	c (1,0) c ReduceDBs_7 : 0
50.96/28.56	c (1,0) c ReduceDBs_total : 1
50.96/28.56	c (1,0) c ReduceDBs_winner : 0
50.96/28.56	c (1,0) c SimpDBs_0 : 1
50.96/28.56	c (1,0) c SimpDBs_1 : 1
50.96/28.56	c (1,0) c SimpDBs_2 : 1
50.96/28.56	c (1,0) c SimpDBs_3 : 1
50.96/28.56	c (1,0) c SimpDBs_4 : 1
50.96/28.56	c (1,0) c SimpDBs_5 : 1
50.96/28.56	c (1,0) c SimpDBs_6 : 1
50.96/28.56	c (1,0) c SimpDBs_7 : 1
50.96/28.56	c (1,0) c SimpDBs_total : 8
50.96/28.56	c (1,0) c SimpDBs_winner : 1
50.96/28.56	c (1,0) c Restarts_0 : 1
50.96/28.56	c (1,0) c Restarts_1 : 1
50.96/28.56	c (1,0) c Restarts_2 : 1
50.96/28.56	c (1,0) c Restarts_3 : 1
50.96/28.56	c (1,0) c Restarts_4 : 1
50.96/28.56	c (1,0) c Restarts_5 : 1
50.96/28.56	c (1,0) c Restarts_6 : 1
50.96/28.56	c (1,0) c Restarts_7 : 1
50.96/28.56	c (1,0) c Restarts_total : 8
50.96/28.56	c (1,0) c Restarts_winner : 1
50.96/28.56	c (1,0) c ForcedImports_0 : 0
50.96/28.56	c (1,0) c ForcedImports_1 : 0
50.96/28.56	c (1,0) c ForcedImports_2 : 0
50.96/28.56	c (1,0) c ForcedImports_3 : 0
50.96/28.56	c (1,0) c ForcedImports_4 : 0
50.96/28.56	c (1,0) c ForcedImports_5 : 0
50.96/28.56	c (1,0) c ForcedImports_6 : 0
50.96/28.56	c (1,0) c ForcedImports_7 : 0
50.96/28.56	c (1,0) c ForcedImports_total : 0
50.96/28.56	c (1,0) c ForcedImports_winner : 0
50.96/28.56	c (1,0) c PropsBinClauses_0 : 29571
50.96/28.56	c (1,0) c PropsBinClauses_1 : 715536
50.96/28.56	c (1,0) c PropsBinClauses_2 : 28807
50.96/28.56	c (1,0) c PropsBinClauses_3 : 8647
50.96/28.56	c (1,0) c PropsBinClauses_4 : 72861
50.96/28.56	c (1,0) c PropsBinClauses_5 : 29789
50.96/28.56	c (1,0) c PropsBinClauses_6 : 8875
50.96/28.56	c (1,0) c PropsBinClauses_7 : 5187
50.96/28.56	c (1,0) c PropsBinClauses_total : 899273
50.96/28.56	c (1,0) c PropsBinClauses_winner : 8647
50.96/28.56	c (1,0) c PropsPreBlocker_0 : 139524
50.96/28.56	c (1,0) c PropsPreBlocker_1 : 3018093
50.96/28.56	c (1,0) c PropsPreBlocker_2 : 130856
50.96/28.56	c (1,0) c PropsPreBlocker_3 : 78920
50.96/28.56	c (1,0) c PropsPreBlocker_4 : 267359
50.96/28.56	c (1,0) c PropsPreBlocker_5 : 138300
50.96/28.56	c (1,0) c PropsPreBlocker_6 : 68895
50.96/28.56	c (1,0) c PropsPreBlocker_7 : 50606
50.96/28.56	c (1,0) c PropsPreBlocker_total : 3892553
50.96/28.56	c (1,0) c PropsPreBlocker_winner : 78920
50.96/28.56	c (1,0) c PropsNotBlocker_0 : 97154
50.96/28.56	c (1,0) c PropsNotBlocker_1 : 967897
50.96/28.56	c (1,0) c PropsNotBlocker_2 : 88655
50.96/28.56	c (1,0) c PropsNotBlocker_3 : 71741
50.96/28.56	c (1,0) c PropsNotBlocker_4 : 143532
50.96/28.56	c (1,0) c PropsNotBlocker_5 : 96077
50.96/28.56	c (1,0) c PropsNotBlocker_6 : 64127
50.96/28.56	c (1,0) c PropsNotBlocker_7 : 48532
50.96/28.56	c (1,0) c PropsNotBlocker_total : 1577715
50.96/28.56	c (1,0) c PropsNotBlocker_winner : 71741
50.96/28.56	c (1,0) c PropsLitFullScans_0 : 304187
50.96/28.57	c (1,0) c PropsLitFullScans_1 : 6001848
50.96/28.57	c (1,0) c PropsLitFullScans_2 : 284944
50.96/28.57	c (1,0) c PropsLitFullScans_3 : 167957
50.96/28.57	c (1,0) c PropsLitFullScans_4 : 564222
50.96/28.57	c (1,0) c PropsLitFullScans_5 : 301841
50.96/28.57	c (1,0) c PropsLitFullScans_6 : 148569
50.96/28.57	c (1,0) c PropsLitFullScans_7 : 107951
50.96/28.57	c (1,0) c PropsLitFullScans_total : 7881519
50.96/28.57	c (1,0) c PropsLitFullScans_winner : 167957
50.96/28.57	c (1,0) c LitScanFractions_0 : 0
50.96/28.57	c (1,0) c LitScanFractions_1 : 586
50.96/28.57	c (1,0) c LitScanFractions_2 : 0
50.96/28.57	c (1,0) c LitScanFractions_3 : 0
50.96/28.57	c (1,0) c LitScanFractions_4 : 0
50.96/28.57	c (1,0) c LitScanFractions_5 : 0
50.96/28.57	c (1,0) c LitScanFractions_6 : 0
50.96/28.57	c (1,0) c LitScanFractions_7 : 0
50.96/28.57	c (1,0) c LitScanFractions_total : 586
50.96/28.57	c (1,0) c LitScanFractions_winner : 0
50.96/28.57	c (1,0) c DecisionLevel0_0 : 4
50.96/28.57	c (1,0) c DecisionLevel0_1 : 2
50.96/28.57	c (1,0) c DecisionLevel0_2 : 4
50.96/28.57	c (1,0) c DecisionLevel0_3 : 5
50.96/28.57	c (1,0) c DecisionLevel0_4 : 5
50.96/28.57	c (1,0) c DecisionLevel0_5 : 4
50.96/28.57	c (1,0) c DecisionLevel0_6 : 18
50.96/28.57	c (1,0) c DecisionLevel0_7 : 8
50.96/28.57	c (1,0) c DecisionLevel0_total : 50
50.96/28.57	c (1,0) c DecisionLevel0_winner : 5
50.96/28.57	c (1,0) c Periods_0 : 0
50.96/28.57	c (1,0) c Periods_1 : 1
50.96/28.57	c (1,0) c Periods_2 : 0
50.96/28.57	c (1,0) c Periods_3 : 0
50.96/28.57	c (1,0) c Periods_4 : 0
50.96/28.57	c (1,0) c Periods_5 : 0
50.96/28.57	c (1,0) c Periods_6 : 0
50.96/28.57	c (1,0) c Periods_7 : 0
50.96/28.57	c (1,0) c Periods_total : 1
50.96/28.57	c (1,0) c Periods_winner : 0
50.96/28.57	c (1,0) c Margin_0 : 20
50.96/28.57	c (1,0) c Margin_1 : 20
50.96/28.57	c (1,0) c Margin_2 : 20
50.96/28.57	c (1,0) c Margin_3 : 20
50.96/28.57	c (1,0) c Margin_4 : 20
50.96/28.57	c (1,0) c Margin_5 : 20
50.96/28.57	c (1,0) c Margin_6 : 20
50.96/28.57	c (1,0) c Margin_7 : 20
50.96/28.57	c (1,0) c Margin_total : 160
50.96/28.57	c (1,0) c Margin_winner : 20
50.96/28.57	c (1,0) c Exported_0 : 0
50.96/28.57	c (1,0) c Exported_1 : 120
50.96/28.57	c (1,0) c Exported_2 : 0
50.96/28.57	c (1,0) c Exported_3 : 15
50.96/28.57	c (1,0) c Exported_4 : 6
50.96/28.57	c (1,0) c Exported_5 : 0
50.96/28.57	c (1,0) c Exported_6 : 17
50.96/28.57	c (1,0) c Exported_7 : 7
50.96/28.57	c (1,0) c Exported_total : 165
50.96/28.57	c (1,0) c Exported_winner : 15
50.96/28.57	c (1,0) c Imported_0 : 0
50.96/28.57	c (1,0) c Imported_1 : 0
50.96/28.57	c (1,0) c Imported_2 : 0
50.96/28.57	c (1,0) c Imported_3 : 0
50.96/28.57	c (1,0) c Imported_4 : 0
50.96/28.57	c (1,0) c Imported_5 : 0
50.96/28.57	c (1,0) c Imported_6 : 0
50.96/28.57	c (1,0) c Imported_7 : 0
50.96/28.57	c (1,0) c Imported_total : 0
50.96/28.57	c (1,0) c Imported_winner : 0
50.96/28.57	c (1,0) c Good_0 : 0
50.96/28.57	c (1,0) c Good_1 : 0
50.96/28.57	c (1,0) c Good_2 : 0
50.96/28.57	c (1,0) c Good_3 : 0
50.96/28.57	c (1,0) c Good_4 : 0
50.96/28.57	c (1,0) c Good_5 : 0
50.96/28.57	c (1,0) c Good_6 : 0
50.96/28.57	c (1,0) c Good_7 : 0
50.96/28.57	c (1,0) c Good_total : 0
50.96/28.57	c (1,0) c Good_winner : 0
50.96/28.57	c (1,0) c Purge_0 : 0
50.96/28.57	c (1,0) c Purge_1 : 0
50.96/28.57	c (1,0) c Purge_2 : 0
50.96/28.57	c (1,0) c Purge_3 : 0
50.96/28.57	c (1,0) c Purge_4 : 0
50.96/28.57	c (1,0) c Purge_5 : 0
50.96/28.57	c (1,0) c Purge_6 : 0
50.96/28.57	c (1,0) c Purge_7 : 0
50.96/28.57	c (1,0) c Purge_total : 0
50.96/28.57	c (1,0) c Purge_winner : 0
50.96/28.57	c (1,0) c Promoted_0 : 0
50.96/28.57	c (1,0) c Promoted_1 : 0
50.96/28.57	c (1,0) c Promoted_2 : 0
50.96/28.57	c (1,0) c Promoted_3 : 0
50.96/28.57	c (1,0) c Promoted_4 : 0
50.96/28.57	c (1,0) c Promoted_5 : 0
50.96/28.57	c (1,0) c Promoted_6 : 0
50.96/28.57	c (1,0) c Promoted_7 : 0
50.96/28.57	c (1,0) c Promoted_total : 0
50.96/28.57	c (1,0) c Promoted_winner : 0
50.96/28.57	c (1,0) c Remove_Imp_0 : 0
50.96/28.57	c (1,0) c Remove_Imp_1 : 0
50.96/28.57	c (1,0) c Remove_Imp_2 : 0
50.96/28.57	c (1,0) c Remove_Imp_3 : 0
50.96/28.57	c (1,0) c Remove_Imp_4 : 0
50.96/28.57	c (1,0) c Remove_Imp_5 : 0
50.96/28.57	c (1,0) c Remove_Imp_6 : 0
50.96/28.57	c (1,0) c Remove_Imp_7 : 0
50.96/28.57	c (1,0) c Remove_Imp_total : 0
50.96/28.57	c (1,0) c Remove_Imp_winner : 0
50.96/28.57	c (1,0) c Blocked_Reuse_0 : 0
50.96/28.57	c (1,0) c Blocked_Reuse_1 : 0
50.96/28.57	c (1,0) c Blocked_Reuse_2 : 0
50.96/28.57	c (1,0) c Blocked_Reuse_3 : 0
50.96/28.57	c (1,0) c Blocked_Reuse_4 : 0
50.96/28.57	c (1,0) c Blocked_Reuse_5 : 0
50.96/28.57	c (1,0) c Blocked_Reuse_6 : 0
50.96/28.57	c (1,0) c Blocked_Reuse_7 : 0
50.96/28.57	c (1,0) c Blocked_Reuse_total : 0
50.96/28.57	c (1,0) c Blocked_Reuse_winner : 0
50.96/28.57	c (1,0) c Unaries_0 : 3
50.96/28.57	c (1,0) c Unaries_1 : 1
50.96/28.57	c (1,0) c Unaries_2 : 3
50.96/28.57	c (1,0) c Unaries_3 : 4
50.96/28.57	c (1,0) c Unaries_4 : 4
50.96/28.57	c (1,0) c Unaries_5 : 3
50.96/28.57	c (1,0) c Unaries_6 : 17
50.96/28.57	c (1,0) c Unaries_7 : 7
50.96/28.57	c (1,0) c Unaries_total : 42
50.96/28.57	c (1,0) c Unaries_winner : 4
50.96/28.57	c (1,0) c Binaries_0 : 0
50.96/28.57	c (1,0) c Binaries_1 : 6
50.96/28.57	c (1,0) c Binaries_2 : 0
50.96/28.57	c (1,0) c Binaries_3 : 9
50.96/28.57	c (1,0) c Binaries_4 : 0
50.96/28.57	c (1,0) c Binaries_5 : 0
50.96/28.57	c (1,0) c Binaries_6 : 11
50.96/28.57	c (1,0) c Binaries_7 : 6
50.96/28.57	c (1,0) c Binaries_total : 32
50.96/28.57	c (1,0) c Binaries_winner : 9
50.96/28.57	c (1,0) c Glues_0 : 0
50.96/28.57	c (1,0) c Glues_1 : 120
50.96/28.57	c (1,0) c Glues_2 : 0
50.96/28.57	c (1,0) c Glues_3 : 15
50.96/28.57	c (1,0) c Glues_4 : 6
50.96/28.57	c (1,0) c Glues_5 : 0
50.96/28.57	c (1,0) c Glues_6 : 17
50.96/28.57	c (1,0) c Glues_7 : 7
50.96/28.57	c (1,0) c Glues_total : 165
50.96/28.57	c (1,0) c Glues_winner : 15
50.96/28.57	c (1,0) c RunningTime_0 : 0.038892
50.96/28.57	c (1,0) c RunningTime_1 : 0.123561
50.96/28.57	c (1,0) c RunningTime_2 : 0.030333
50.96/28.57	c (1,0) c RunningTime_3 : 0.039414
50.96/28.57	c (1,0) c RunningTime_4 : 0.041532
50.96/28.57	c (1,0) c RunningTime_5 : 0.038846
50.96/28.57	c (1,0) c RunningTime_6 : 0.036826
50.96/28.57	c (1,0) c RunningTime_7 : 0.028038
50.96/28.57	c (1,0) c RunningTime_total : 0.377442
50.96/28.57	c (1,0) c RunningTime_winner : 0.039414
50.96/28.57	c (1,0) c WaitingTime_0 : 0.000000
50.96/28.57	c (1,0) c WaitingTime_1 : 0.000000
50.96/28.57	c (1,0) c WaitingTime_2 : 0.000000
50.96/28.57	c (1,0) c WaitingTime_3 : 0.000000
50.96/28.57	c (1,0) c WaitingTime_4 : 0.000000
50.96/28.57	c (1,0) c WaitingTime_5 : 0.000000
50.96/28.57	c (1,0) c WaitingTime_6 : 0.000000
50.96/28.57	c (1,0) c WaitingTime_7 : 0.000000
50.96/28.57	c (1,0) c WaitingTime_total : 0.000000
50.96/28.57	c (1,0) c WaitingTime_winner : 0.000000
50.96/28.57	c (1,0) c ExchangingTime_0 : 0.000006
50.96/28.57	c (1,0) c ExchangingTime_1 : 0.000247
50.96/28.57	c (1,0) c ExchangingTime_2 : 0.000003
50.96/28.57	c (1,0) c ExchangingTime_3 : 0.000012
50.96/28.57	c (1,0) c ExchangingTime_4 : 0.000025
50.96/28.57	c (1,0) c ExchangingTime_5 : 0.000002
50.96/28.57	c (1,0) c ExchangingTime_6 : 0.000010
50.96/28.57	c (1,0) c ExchangingTime_7 : 0.000007
50.96/28.57	c (1,0) c ExchangingTime_total : 0.000312
50.96/28.57	c (1,0) c ExchangingTime_winner : 0.000012
50.96/28.57	c (1,0) c PeriodProcTime_0 : 0.000000
50.96/28.57	c (1,0) c PeriodProcTime_1 : 0.000010
50.96/28.57	c (1,0) c PeriodProcTime_2 : 0.000000
50.96/28.57	c (1,0) c PeriodProcTime_3 : 0.000000
50.96/28.57	c (1,0) c PeriodProcTime_4 : 0.000000
50.96/28.57	c (1,0) c PeriodProcTime_5 : 0.000000
50.96/28.57	c (1,0) c PeriodProcTime_6 : 0.000000
50.96/28.57	c (1,0) c PeriodProcTime_7 : 0.000000
50.96/28.57	c (1,0) c PeriodProcTime_total : 0.000010
50.96/28.57	c (1,0) c PeriodProcTime_winner : 0.000000
50.96/28.57	c (1,0) c SolvingTime_0 : 0.038898
50.96/28.57	c (1,0) c SolvingTime_1 : 0.123818
50.96/28.57	c (1,0) c SolvingTime_2 : 0.030336
50.96/28.57	c (1,0) c SolvingTime_3 : 0.039426
50.96/28.57	c (1,0) c SolvingTime_4 : 0.041556
50.96/28.57	c (1,0) c SolvingTime_5 : 0.038848
50.96/28.57	c (1,0) c SolvingTime_6 : 0.036836
50.96/28.57	c (1,0) c SolvingTime_7 : 0.028045
50.96/28.57	c (1,0) c SolvingTime_total : 0.377764
50.96/28.57	c (1,0) c SolvingTime_winner : 0.039426
50.96/28.57	c (1,0) c PropagationTime_0 : 0.035180
50.96/28.57	c (1,0) c PropagationTime_1 : 0.102252
50.96/28.57	c (1,0) c PropagationTime_2 : 0.026630
50.96/28.57	c (1,0) c PropagationTime_3 : 0.038647
50.96/28.57	c (1,0) c PropagationTime_4 : 0.038536
50.96/28.57	c (1,0) c PropagationTime_5 : 0.035491
50.96/28.57	c (1,0) c PropagationTime_6 : 0.035716
50.96/28.57	c (1,0) c PropagationTime_7 : 0.027698
50.96/28.57	c (1,0) c PropagationTime_total : 0.340149
50.96/28.57	c (1,0) c PropagationTime_winner : 0.038647
50.96/28.57	c (1,0) c AnalysisTime_0 : 0.000648
50.96/28.57	c (1,0) c AnalysisTime_1 : 0.013166
50.96/28.57	c (1,0) c AnalysisTime_2 : 0.000559
50.96/28.57	c (1,0) c AnalysisTime_3 : 0.000061
50.96/28.57	c (1,0) c AnalysisTime_4 : 0.001154
50.96/28.57	c (1,0) c AnalysisTime_5 : 0.000693
50.96/28.57	c (1,0) c AnalysisTime_6 : 0.000092
50.96/28.57	c (1,0) c AnalysisTime_7 : 0.000030
50.96/28.57	c (1,0) c AnalysisTime_total : 0.016403
50.96/28.57	c (1,0) c AnalysisTime_winner : 0.000061
50.96/28.57	c (1,0) c ReductionTime_0 : 0.000000
50.96/28.57	c (1,0) c ReductionTime_1 : 0.000292
50.96/28.57	c (1,0) c ReductionTime_2 : 0.000000
50.96/28.57	c (1,0) c ReductionTime_3 : 0.000000
50.96/28.57	c (1,0) c ReductionTime_4 : 0.000000
50.96/28.57	c (1,0) c ReductionTime_5 : 0.000000
50.96/28.57	c (1,0) c ReductionTime_6 : 0.000000
50.96/28.57	c (1,0) c ReductionTime_7 : 0.000000
50.96/28.57	c (1,0) c ReductionTime_total : 0.000292
50.96/28.57	c (1,0) c ReductionTime_winner : 0.000000
50.96/28.57	c (1,0) c SimplifyTime_0 : 0.000000
50.96/28.57	c (1,0) c SimplifyTime_1 : 0.000000
50.96/28.57	c (1,0) c SimplifyTime_2 : 0.000001
50.96/28.57	c (1,0) c SimplifyTime_3 : 0.000000
50.96/28.57	c (1,0) c SimplifyTime_4 : 0.000000
50.96/28.57	c (1,0) c SimplifyTime_5 : 0.000000
50.96/28.57	c (1,0) c SimplifyTime_6 : 0.000001
50.96/28.57	c (1,0) c SimplifyTime_7 : 0.000000
50.96/28.57	c (1,0) c SimplifyTime_total : 0.000002
50.96/28.57	c (1,0) c SimplifyTime_winner : 0.000000
50.96/28.57	c (1,0) c UsedRateTime_0 : 0.000000
50.96/28.57	c (1,0) c UsedRateTime_1 : 0.000000
50.96/28.57	c (1,0) c UsedRateTime_2 : 0.000000
50.96/28.57	c (1,0) c UsedRateTime_3 : 0.000000
50.96/28.57	c (1,0) c UsedRateTime_4 : 0.000000
50.96/28.57	c (1,0) c UsedRateTime_5 : 0.000000
50.96/28.57	c (1,0) c UsedRateTime_6 : 0.000000
50.96/28.57	c (1,0) c UsedRateTime_7 : 0.000000
50.96/28.57	c (1,0) c UsedRateTime_total : 0.000000
50.96/28.57	c (1,0) c UsedRateTime_winner : 0.000000
50.96/28.57	c (1,0) c OverlapRateTime_0 : 0.000000
50.96/28.57	c (1,0) c OverlapRateTime_1 : 0.000000
50.96/28.57	c (1,0) c OverlapRateTime_2 : 0.000000
50.96/28.57	c (1,0) c OverlapRateTime_3 : 0.000000
50.96/28.57	c (1,0) c OverlapRateTime_4 : 0.000000
50.96/28.57	c (1,0) c OverlapRateTime_5 : 0.000000
50.96/28.57	c (1,0) c OverlapRateTime_6 : 0.000000
50.96/28.57	c (1,0) c OverlapRateTime_7 : 0.000000
50.96/28.57	c (1,0) c OverlapRateTime_total : 0.000000
50.96/28.57	c (1,0) c OverlapRateTime_winner : 0.000000
50.96/28.57	c (1,0) c
50.96/28.57	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
50.96/28.57	c (1,0) c
50.96/28.57	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.96/28.57	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
50.96/28.57	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.96/28.57	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
50.96/28.57	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
50.96/28.57	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
50.96/28.57	c (1,0) c | Initial random_seed   | 1584272763 |  220808601 | 1932519440 |  690230294 | 1498664179 |  863035405 | 1714259369 |  247915957 |
50.96/28.57	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
50.96/28.57	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
50.96/28.57	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
50.96/28.57	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
50.96/28.57	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
50.96/28.57	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
50.96/28.57	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
50.96/28.57	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
50.96/28.57	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
50.96/28.57	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
50.96/28.57	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
50.96/28.57	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.96/28.57	c (1,0) 
50.96/28.57	c (1,0) s UNSATISFIABLE
50.96/28.58	c (1,0) SatSolver.solve End
50.96/28.58	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
50.96/28.58	c (1,0) Show results Begin
50.96/28.58	s UNSATISFIABLE
50.96/28.58	c (1,0) Show results End
50.96/28.58	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
50.96/28.58	c (1,0) 1,1,STOP-AFTER(ALL)
50.96/28.58	c END-Prog: Tue Sep 24 16:41: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 (8850 MiB free)
  memory of node 1: 16384 MiB (12697 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405217-1569336072/watcher-4405217-1569336072 -o /tmp/evaluation-result-4405217-1569336072/solver-4405217-1569336072 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --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-4405217-1569336072.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=6034, runsolver pid=6031
Current StackSize limit: 8192 KiB


[startup+0.100151 s]*
/proc/loadavg: 3.03 0.95 0.37 2/212 6056
/proc/meminfo: memFree=21974052/32770624 swapFree=67002572/67108860
[pid=6034] ppid=6031 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6034/stat : 6034 (scop.sh) S 6031 6034 5615 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 509768762 115843072 349 33554432000 4194304 5098028 140736995074688 140736995071944 140132625793660 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37654528 140736995083045 140736995083372 140736995083372 140736995086285 0
/proc/6034/statm: 28282 349 296 221 0 87 0
[pid=6037] ppid=6034 vsize=27314120 memory=104084 CPUtime=0.1 cores=0-7
/proc/6037/stat : 6037 (java) S 6034 6034 5615 0 -1 1077944320 6639 0 0 0 8 2 0 0 20 0 20 0 509768762 27969658880 26021 33554432000 4194304 4196468 140731897667440 140731897649984 139900623482615 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
/proc/6037/statm: 6828530 26021 2797 1 0 6790935 0
[pid=6037/tid=6038] ppid=6034 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/6037/task/6038/stat : 6038 (java) R 6034 6034 5615 0 -1 4202560 4727 0 0 0 7 2 0 0 20 0 20 0 509768762 27969658880 26533 33554432000 4194304 4196468 140731897667440 139900595300968 139900607563102 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6039] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6039/stat : 6039 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 26533 33554432000 4194304 4196468 140731897667440 139900627724816 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6040] ppid=6034 vsize=27314120 memory=15677275831703192 CPUtime=0 cores=0-7
/proc/6037/task/6040/stat : 6040 (java) S 6034 6034 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 26533 33554432000 4194304 4196468 140731897667440 139900441881232 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6041] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6041/stat : 6041 (java) S 6034 6034 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 26533 33554432000 4194304 4196468 140731897667440 139900440828176 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6042] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6042/stat : 6042 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 26533 33554432000 4194304 4196468 140731897667440 139900043819408 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6043] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6043/stat : 6043 (java) S 6034 6034 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 26533 33554432000 4194304 4196468 140731897667440 139900042767376 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6044] ppid=6034 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6037/task/6044/stat : 6044 (java) S 6034 6034 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 26533 33554432000 4194304 4196468 140731897667440 139900041714832 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6045] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6045/stat : 6045 (java) S 6034 6034 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 26533 33554432000 4194304 4196468 140731897667440 139900040661776 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6046] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6046/stat : 6046 (java) S 6034 6034 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 26533 33554432000 4194304 4196468 140731897667440 139900039609232 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6047] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6047/stat : 6047 (java) S 6034 6034 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509768766 27969658880 26533 33554432000 4194304 4196468 140731897667440 139899145066736 139900623493762 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6048] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6048/stat : 6048 (java) S 6034 6034 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509768767 27969658880 26533 33554432000 4194304 4196468 140731897667440 139898224895136 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6049] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6049/stat : 6049 (java) S 6034 6034 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509768767 27969658880 26533 33554432000 4194304 4196468 140731897667440 139898090672880 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6050] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6050/stat : 6050 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509768769 27969658880 26533 33554432000 4194304 4196468 140731897667440 139897716168656 139900623501211 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6051] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6051/stat : 6051 (java) S 6034 6034 5615 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 509768769 27969658880 26533 33554432000 4194304 4196468 140731897667440 139899144014576 139900623493762 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6052] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6052/stat : 6052 (java) S 6034 6034 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509768769 27969658880 26533 33554432000 4194304 4196468 140731897667440 139899142962032 139900623493762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6053] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6053/stat : 6053 (java) S 6034 6034 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509768769 27969658880 26533 33554432000 4194304 4196468 140731897667440 139899141908976 139900623493762 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6054] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6054/stat : 6054 (java) S 6034 6034 5615 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 20 0 509768769 27969658880 26533 33554432000 4194304 4196468 140731897667440 139899140856432 139900623493762 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6055] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6055/stat : 6055 (java) S 6034 6034 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509768770 27969658880 26533 33554432000 4194304 4196468 140731897667440 139897218263520 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6056] ppid=6034 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6037/task/6056/stat : 6056 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509768770 27969658880 26533 33554432000 4194304 4196468 140731897667440 139899139803824 139900623493762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105480 KiB

[startup+0.210208 s]*
/proc/loadavg: 3.03 0.95 0.37 3/212 6056
/proc/meminfo: memFree=21956356/32770624 swapFree=67002572/67108860
[pid=6034] ppid=6031 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6034/stat : 6034 (scop.sh) S 6031 6034 5615 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 509768762 115843072 349 33554432000 4194304 5098028 140736995074688 140736995071944 140132625793660 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37654528 140736995083045 140736995083372 140736995083372 140736995086285 0
/proc/6034/statm: 28282 349 296 221 0 87 0
[pid=6037] ppid=6034 vsize=27314120 memory=120932 CPUtime=0.24 cores=0-7
/proc/6037/stat : 6037 (java) S 6034 6034 5615 0 -1 1077944320 11649 0 0 0 20 4 0 0 20 0 20 0 509768762 27969658880 30233 33554432000 4194304 4196468 140731897667440 140731897649984 139900623482615 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
/proc/6037/statm: 6828530 30233 2955 1 0 6790935 0
[pid=6037/tid=6038] ppid=6034 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/6037/task/6038/stat : 6038 (java) R 6034 6034 5615 0 -1 4202560 9318 0 0 0 16 3 0 0 20 0 20 0 509768762 27969658880 30233 33554432000 4194304 4196468 140731897667440 139900595282000 139900605046171 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6039] ppid=6034 vsize=27314120 memory=14976 CPUtime=0 cores=0-7
/proc/6037/task/6039/stat : 6039 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 30233 33554432000 4194304 4196468 140731897667440 139900627724816 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6040] ppid=6034 vsize=27314120 memory=139869954950917 CPUtime=0 cores=0-7
/proc/6037/task/6040/stat : 6040 (java) S 6034 6034 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 30233 33554432000 4194304 4196468 140731897667440 139900441881232 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6041] ppid=6034 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6037/task/6041/stat : 6041 (java) S 6034 6034 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 30233 33554432000 4194304 4196468 140731897667440 139900440828176 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6042] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6042/stat : 6042 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 30233 33554432000 4194304 4196468 140731897667440 139900043819408 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6043] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6043/stat : 6043 (java) S 6034 6034 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 30233 33554432000 4194304 4196468 140731897667440 139900042767376 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6044] ppid=6034 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6037/task/6044/stat : 6044 (java) S 6034 6034 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 30233 33554432000 4194304 4196468 140731897667440 139900041714832 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6045] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6045/stat : 6045 (java) S 6034 6034 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 30233 33554432000 4194304 4196468 140731897667440 139900040661776 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6046] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6046/stat : 6046 (java) S 6034 6034 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 30233 33554432000 4194304 4196468 140731897667440 139900039609232 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6047] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6047/stat : 6047 (java) S 6034 6034 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509768766 27969658880 30233 33554432000 4194304 4196468 140731897667440 139899145066736 139900623493762 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6048] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6048/stat : 6048 (java) S 6034 6034 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509768767 27969658880 30233 33554432000 4194304 4196468 140731897667440 139898224895136 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6049] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6049/stat : 6049 (java) S 6034 6034 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509768767 27969658880 30233 33554432000 4194304 4196468 140731897667440 139898090672880 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6050] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6050/stat : 6050 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509768769 27969658880 30233 33554432000 4194304 4196468 140731897667440 139897716168656 139900623501211 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6051] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6051/stat : 6051 (java) S 6034 6034 5615 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 509768769 27969658880 30233 33554432000 4194304 4196468 140731897667440 139899144014576 139900623493762 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6052] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6052/stat : 6052 (java) S 6034 6034 5615 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 509768769 27969658880 30233 33554432000 4194304 4196468 140731897667440 139899142962032 139900623493762 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6053] ppid=6034 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6037/task/6053/stat : 6053 (java) S 6034 6034 5615 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 509768769 27969658880 30233 33554432000 4194304 4196468 140731897667440 139899141908976 139900623493762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6054] ppid=6034 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/6037/task/6054/stat : 6054 (java) S 6034 6034 5615 0 -1 1077944384 495 0 0 0 2 0 0 0 20 0 20 0 509768769 27969658880 30233 33554432000 4194304 4196468 140731897667440 139899140856432 139900623493762 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6055] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6055/stat : 6055 (java) S 6034 6034 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509768770 27969658880 30233 33554432000 4194304 4196468 140731897667440 139897218263520 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6056] ppid=6034 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6037/task/6056/stat : 6056 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509768770 27969658880 30233 33554432000 4194304 4196468 140731897667440 139899139803824 139900623493762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122328 KiB

[startup+0.309425 s]*
/proc/loadavg: 3.03 0.95 0.37 2/212 6056
/proc/meminfo: memFree=21952872/32770624 swapFree=67002572/67108860
[pid=6034] ppid=6031 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6034/stat : 6034 (scop.sh) S 6031 6034 5615 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 509768762 115843072 349 33554432000 4194304 5098028 140736995074688 140736995071944 140132625793660 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37654528 140736995083045 140736995083372 140736995083372 140736995086285 0
/proc/6034/statm: 28282 349 296 221 0 87 0
[pid=6037] ppid=6034 vsize=27314120 memory=125552 CPUtime=0.42 cores=0-7
/proc/6037/stat : 6037 (java) S 6034 6034 5615 0 -1 1077944320 12770 0 0 0 37 5 0 0 20 0 20 0 509768762 27969658880 31388 33554432000 4194304 4196468 140731897667440 140731897649984 139900623482615 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
/proc/6037/statm: 6828530 31388 3024 1 0 6790935 0
[pid=6037/tid=6038] ppid=6034 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/6037/task/6038/stat : 6038 (java) R 6034 6034 5615 0 -1 4202560 10254 0 0 0 26 4 0 0 20 0 20 0 509768762 27969658880 31388 33554432000 4194304 4196468 140731897667440 139900595300112 139900606669424 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6039] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6039/stat : 6039 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 31388 33554432000 4194304 4196468 140731897667440 139900627724816 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6040] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6040/stat : 6040 (java) S 6034 6034 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 31388 33554432000 4194304 4196468 140731897667440 139900441881232 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6041] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6041/stat : 6041 (java) S 6034 6034 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 31388 33554432000 4194304 4196468 140731897667440 139900440828176 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6042] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6042/stat : 6042 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 31388 33554432000 4194304 4196468 140731897667440 139900043819408 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6043] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6043/stat : 6043 (java) S 6034 6034 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 31388 33554432000 4194304 4196468 140731897667440 139900042767376 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6044] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6044/stat : 6044 (java) S 6034 6034 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 31388 33554432000 4194304 4196468 140731897667440 139900041714832 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6045] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6045/stat : 6045 (java) S 6034 6034 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 31388 33554432000 4194304 4196468 140731897667440 139900040661776 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6046] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6046/stat : 6046 (java) S 6034 6034 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509768765 27969658880 31388 33554432000 4194304 4196468 140731897667440 139900039609232 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6047] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6047/stat : 6047 (java) S 6034 6034 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509768766 27969658880 31388 33554432000 4194304 4196468 140731897667440 139899145066736 139900623493762 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6048] ppid=6034 vsize=27314120 memory=279739675909504 CPUtime=0 cores=0-7
/proc/6037/task/6048/stat : 6048 (java) S 6034 6034 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509768767 27969658880 31388 33554432000 4194304 4196468 140731897667440 139898224895136 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6049] ppid=6034 vsize=27314120 memory=279739675914112 CPUtime=0 cores=0-7
/proc/6037/task/6049/stat : 6049 (java) S 6034 6034 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509768767 27969658880 31388 33554432000 4194304 4196468 140731897667440 139898090672880 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6050] ppid=6034 vsize=27314120 memory=279739675918720 CPUtime=0 cores=0-7
/proc/6037/task/6050/stat : 6050 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509768769 27969658880 31388 33554432000 4194304 4196468 140731897667440 139897716168656 139900623501211 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6051] ppid=6034 vsize=27314120 memory=279739675923328 CPUtime=0.01 cores=0-7
/proc/6037/task/6051/stat : 6051 (java) S 6034 6034 5615 0 -1 1077944384 397 0 0 0 1 0 0 0 20 0 20 0 509768769 27969658880 31388 33554432000 4194304 4196468 140731897667440 139899144014576 139900623493762 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6052] ppid=6034 vsize=27314120 memory=279739675927936 CPUtime=0.01 cores=0-7
/proc/6037/task/6052/stat : 6052 (java) S 6034 6034 5615 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 20 0 509768769 27969658880 31388 33554432000 4194304 4196468 140731897667440 139899142962032 139900623493762 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6053] ppid=6034 vsize=27314120 memory=279739675932544 CPUtime=0 cores=0-7
/proc/6037/task/6053/stat : 6053 (java) R 6034 6034 5615 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 20 0 509768769 27969658880 31388 33554432000 4194304 4196468 140731897667440 139899141908976 139900615724005 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6054] ppid=6034 vsize=27314120 memory=279739675937152 CPUtime=0.07 cores=0-7
/proc/6037/task/6054/stat : 6054 (java) S 6034 6034 5615 0 -1 1077944384 545 0 0 0 7 0 0 0 20 0 20 0 509768769 27969658880 31388 33554432000 4194304 4196468 140731897667440 139899140856432 139900623493762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6055] ppid=6034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6055/stat : 6055 (java) S 6034 6034 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509768770 27969658880 31388 33554432000 4194304 4196468 140731897667440 139897218263520 139900623492821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6056] ppid=6034 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6037/task/6056/stat : 6056 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509768770 27969658880 31388 33554432000 4194304 4196468 140731897667440 139899139803824 139900623493762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126948 KiB

[startup+0.700868 s]
/proc/loadavg: 3.03 0.95 0.37 3/212 6056
/proc/meminfo: memFree=21930104/32770624 swapFree=67002572/67108860
[pid=6034] ppid=6031 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6034/stat : 6034 (scop.sh) S 6031 6034 5615 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 509768762 115843072 349 33554432000 4194304 5098028 140736995074688 140736995071944 140132625793660 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37654528 140736995083045 140736995083372 140736995083372 140736995086285 0
/proc/6034/statm: 28282 349 296 221 0 87 0
[pid=6037] ppid=6034 vsize=27320392 memory=163676 CPUtime=1.02 cores=0-7
/proc/6037/stat : 6037 (java) S 6034 6034 5615 0 -1 1077944320 20548 0 0 0 95 7 0 0 20 0 20 0 509768762 27976081408 40919 33554432000 4194304 4196468 140731897667440 140731897649984 139900623482615 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
/proc/6037/statm: 6830098 40919 3181 1 0 6791447 0
[pid=6037/tid=6038] ppid=6034 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/6037/task/6038/stat : 6038 (java) R 6034 6034 5615 0 -1 4202560 17348 0 0 0 61 6 0 0 20 0 20 0 509768762 27976081408 40919 33554432000 4194304 4196468 140731897667440 139900595320096 139900120863565 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6039] ppid=6034 vsize=27320392 memory=139869838156672 CPUtime=0 cores=0-7
/proc/6037/task/6039/stat : 6039 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509768765 27976081408 40919 33554432000 4194304 4196468 140731897667440 139900627724816 139900623492821 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6040] ppid=6034 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/6037/task/6040/stat : 6040 (java) S 6034 6034 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509768765 27976081408 40919 33554432000 4194304 4196468 140731897667440 139900441881232 139900623492821 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0
[pid=6037/tid=6041] ppid=6034 vsize=27320392 memory=1052 CPUtime=0 cores=0-7
/proc/6037/task/6041/stat : 6041 (java) S 6034 6034 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509768765 27976081408 40919 33554432000 4194304 4196468 140731897667440 139900440828176 139900623492821 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13807616 140731897676524 140731897676950 140731897676950 140731897679823 0

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

/proc/6060/task/6064/stat : 6064 (java) S 6034 6034 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509771451 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009485842832 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6065] ppid=6034 vsize=8414124 memory=504 CPUtime=0 cores=0-7
/proc/6060/task/6065/stat : 6065 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509771451 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009484790032 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6066] ppid=6034 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/6060/task/6066/stat : 6066 (java) S 6034 6034 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509771451 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009483738256 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6067] ppid=6034 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/6060/task/6067/stat : 6067 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509771451 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009482685456 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6068] ppid=6034 vsize=8414124 memory=1692 CPUtime=0 cores=0-7
/proc/6060/task/6068/stat : 6068 (java) S 6034 6034 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509771451 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009481632656 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6069] ppid=6034 vsize=8414124 memory=912 CPUtime=0 cores=0-7
/proc/6060/task/6069/stat : 6069 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509771451 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009480579856 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6070] ppid=6034 vsize=8414124 memory=1448 CPUtime=0 cores=0-7
/proc/6060/task/6070/stat : 6070 (java) S 6034 6034 5615 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509771452 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009430636912 140010001562242 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6071] ppid=6034 vsize=8414124 memory=1964 CPUtime=0 cores=0-7
/proc/6060/task/6071/stat : 6071 (java) S 6034 6034 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509771452 8616062976 30281 33554432000 4194304 4196468 140723481634560 140008686085152 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6072] ppid=6034 vsize=8414124 memory=2456 CPUtime=0 cores=0-7
/proc/6060/task/6072/stat : 6072 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509771453 8616062976 30281 33554432000 4194304 4196468 140723481634560 140008417649520 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6073] ppid=6034 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/6060/task/6073/stat : 6073 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509771455 8616062976 30281 33554432000 4194304 4196468 140723481634560 140008043140944 140010001569691 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6074] ppid=6034 vsize=8414124 memory=111632 CPUtime=0.13 cores=0-7
/proc/6060/task/6074/stat : 6074 (java) S 6034 6034 5615 0 -1 1077944384 895 0 0 0 13 0 0 0 20 0 24 0 509771455 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009429584752 140010001562242 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6075] ppid=6034 vsize=8414124 memory=804 CPUtime=0.08 cores=0-7
/proc/6060/task/6075/stat : 6075 (java) S 6034 6034 5615 0 -1 1077944384 437 0 0 0 8 0 0 0 20 0 24 0 509771455 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009428531952 140010001562242 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6076] ppid=6034 vsize=8414124 memory=4104 CPUtime=0.04 cores=0-7
/proc/6060/task/6076/stat : 6076 (java) S 6034 6034 5615 0 -1 1077944384 93 0 0 0 4 0 0 0 20 0 24 0 509771455 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009427479152 140010001562242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6077] ppid=6034 vsize=8414124 memory=1804 CPUtime=0.22 cores=0-7
/proc/6060/task/6077/stat : 6077 (java) S 6034 6034 5615 0 -1 1077944384 547 0 0 0 22 0 0 0 20 0 24 0 509771455 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009426426352 140010001562242 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6078] ppid=6034 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/6060/task/6078/stat : 6078 (java) S 6034 6034 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509771456 8616062976 30281 33554432000 4194304 4196468 140723481634560 140007545236064 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6079] ppid=6034 vsize=8414124 memory=4244 CPUtime=0 cores=0-7
/proc/6060/task/6079/stat : 6079 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509771456 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009425373744 140010001562242 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6081] ppid=6034 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/6060/task/6081/stat : 6081 (java) S 6034 6034 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509771525 8616062976 30281 33554432000 4194304 4196468 140723481634560 140008544883776 140010001575705 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6083] ppid=6034 vsize=8414124 memory=2908 CPUtime=0 cores=0-7
/proc/6060/task/6083/stat : 6083 (java) S 6034 6034 5615 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509771526 8616062976 30281 33554432000 4194304 4196468 140723481634560 140006874136720 140010001573021 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6084] ppid=6034 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6060/task/6084/stat : 6084 (java) S 6034 6034 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509771526 8616062976 30281 33554432000 4194304 4196468 140723481634560 140007142572048 140010001573021 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6085] ppid=6034 vsize=8414124 memory=54864 CPUtime=0 cores=0-7
/proc/6060/task/6085/stat : 6085 (java) S 6034 6034 5615 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 509771528 8616062976 30281 33554432000 4194304 4196468 140723481634560 140006605708848 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
Current children cumulated CPU time: 50.29 s
Current children cumulated vsize: 8613496 KiB
Current children cumulated memory: 186440 KiB

[startup+28.401 s]
/proc/loadavg: 2.16 0.93 0.38 2/217 6085
/proc/meminfo: memFree=21885080/32770624 swapFree=67002572/67108860
[pid=6034] ppid=6031 vsize=113128 memory=1476 CPUtime=48.61 cores=0-7
/proc/6034/stat : 6034 (scop.sh) S 6031 6034 5615 0 -1 4202496 584 48154 0 0 0 0 4660 201 20 0 1 0 509768762 115843072 369 33554432000 4194304 5098028 140736995074688 140736995071432 140132625793660 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37654528 140736995083045 140736995083372 140736995083372 140736995086285 0
/proc/6034/statm: 28282 369 311 221 0 87 0
[pid=6060] ppid=6034 vsize=8414124 memory=121124 CPUtime=1.31 cores=0-7
/proc/6060/stat : 6060 (java) S 6034 6034 5615 0 -1 1077944320 20270 0 0 0 123 8 0 0 20 0 24 0 509771449 8616062976 30281 33554432000 4194304 4196468 140723481634560 140723481617104 140010001551095 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
/proc/6060/statm: 2103531 30281 3208 1 0 2064875 0
[pid=6080] ppid=6060 vsize=348736 memory=324264 CPUtime=0.75 cores=0-7
/proc/6080/stat : 6080 (manyglucose-4.1) R 6060 6034 5615 0 -1 4202496 51967 0 0 0 68 7 0 0 20 0 1 0 509771525 357105664 81066 33554432000 4194304 4454172 140723310380864 140723310378264 4370421 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552832 6554400 32190464 140723310383978 140723310384176 140723310384176 140723310387130 0
/proc/6080/statm: 87184 81066 378 64 0 82852 0
[pid=6060/tid=6061] ppid=6034 vsize=8414124 memory=1398722017469774279 CPUtime=0.79 cores=0-7
/proc/6060/task/6061/stat : 6061 (java) S 6034 6034 5615 0 -1 1077944384 16904 0 0 0 73 6 0 0 20 0 24 0 509771449 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009973391264 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6062] ppid=6034 vsize=8414124 memory=-6586051048821847232 CPUtime=0 cores=0-7
/proc/6060/task/6062/stat : 6062 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509771450 8616062976 30281 33554432000 4194304 4196468 140723481634560 140010005793424 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6063] ppid=6034 vsize=8414124 memory=-9001734043636558696 CPUtime=0 cores=0-7
/proc/6060/task/6063/stat : 6063 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509771451 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009828289040 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6064] ppid=6034 vsize=8414124 memory=6944656592455350634 CPUtime=0 cores=0-7
/proc/6060/task/6064/stat : 6064 (java) S 6034 6034 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509771451 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009485842832 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6065] ppid=6034 vsize=8414124 memory=-7025452035940392864 CPUtime=0 cores=0-7
/proc/6060/task/6065/stat : 6065 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509771451 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009484790032 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6066] ppid=6034 vsize=8414124 memory=-9062862659931694204 CPUtime=0 cores=0-7
/proc/6060/task/6066/stat : 6066 (java) S 6034 6034 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509771451 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009483738256 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6067] ppid=6034 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/6060/task/6067/stat : 6067 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509771451 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009482685456 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6068] ppid=6034 vsize=8414124 memory=6298028 CPUtime=0 cores=0-7
/proc/6060/task/6068/stat : 6068 (java) S 6034 6034 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509771451 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009481632656 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6069] ppid=6034 vsize=8414124 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/6060/task/6069/stat : 6069 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509771451 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009480579856 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6070] ppid=6034 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/6060/task/6070/stat : 6070 (java) S 6034 6034 5615 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509771452 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009430636912 140010001562242 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6071] ppid=6034 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/6060/task/6071/stat : 6071 (java) S 6034 6034 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509771452 8616062976 30281 33554432000 4194304 4196468 140723481634560 140008686085152 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6072] ppid=6034 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/6060/task/6072/stat : 6072 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509771453 8616062976 30281 33554432000 4194304 4196468 140723481634560 140008417649520 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6073] ppid=6034 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/6060/task/6073/stat : 6073 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509771455 8616062976 30281 33554432000 4194304 4196468 140723481634560 140008043140944 140010001569691 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6074] ppid=6034 vsize=8414124 memory=4244 CPUtime=0.13 cores=0-7
/proc/6060/task/6074/stat : 6074 (java) S 6034 6034 5615 0 -1 1077944384 895 0 0 0 13 0 0 0 20 0 24 0 509771455 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009429584752 140010001562242 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6075] ppid=6034 vsize=8414124 memory=1412 CPUtime=0.08 cores=0-7
/proc/6060/task/6075/stat : 6075 (java) S 6034 6034 5615 0 -1 1077944384 437 0 0 0 8 0 0 0 20 0 24 0 509771455 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009428531952 140010001562242 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6076] ppid=6034 vsize=8414124 memory=2772 CPUtime=0.04 cores=0-7
/proc/6060/task/6076/stat : 6076 (java) S 6034 6034 5615 0 -1 1077944384 93 0 0 0 4 0 0 0 20 0 24 0 509771455 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009427479152 140010001562242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6077] ppid=6034 vsize=8414124 memory=1396 CPUtime=0.22 cores=0-7
/proc/6060/task/6077/stat : 6077 (java) S 6034 6034 5615 0 -1 1077944384 547 0 0 0 22 0 0 0 20 0 24 0 509771455 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009426426352 140010001562242 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6078] ppid=6034 vsize=8414124 memory=6101244 CPUtime=0 cores=0-7
/proc/6060/task/6078/stat : 6078 (java) S 6034 6034 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509771456 8616062976 30281 33554432000 4194304 4196468 140723481634560 140007545236064 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6079] ppid=6034 vsize=8414124 memory=-5059952977386882957 CPUtime=0 cores=0-7
/proc/6060/task/6079/stat : 6079 (java) S 6034 6034 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509771456 8616062976 30281 33554432000 4194304 4196468 140723481634560 140009425373744 140010001562242 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6081] ppid=6034 vsize=8414124 memory=-8253362762722141311 CPUtime=0 cores=0-7
/proc/6060/task/6081/stat : 6081 (java) S 6034 6034 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509771525 8616062976 30281 33554432000 4194304 4196468 140723481634560 140008544883776 140010001575705 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6083] ppid=6034 vsize=8414124 memory=7100839861465685612 CPUtime=0 cores=0-7
/proc/6060/task/6083/stat : 6083 (java) S 6034 6034 5615 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509771526 8616062976 30281 33554432000 4194304 4196468 140723481634560 140006874136720 140010001573021 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6084] ppid=6034 vsize=8414124 memory=-7175204567652784766 CPUtime=0 cores=0-7
/proc/6060/task/6084/stat : 6084 (java) S 6034 6034 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509771526 8616062976 30281 33554432000 4194304 4196468 140723481634560 140007142572048 140010001573021 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6085] ppid=6034 vsize=8414124 memory=3054156605268465310 CPUtime=0 cores=0-7
/proc/6060/task/6085/stat : 6085 (java) S 6034 6034 5615 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 509771528 8616062976 30281 33554432000 4194304 4196468 140723481634560 140006605708848 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
Current children cumulated CPU time: 50.67 s
Current children cumulated vsize: 8875988 KiB
Current children cumulated memory: 446864 KiB

[startup+28.6011 s]
/proc/loadavg: 2.16 0.93 0.38 2/217 6085
/proc/meminfo: memFree=21885080/32770624 swapFree=67002572/67108860
[pid=6034] ppid=6031 vsize=113128 memory=1476 CPUtime=48.61 cores=0-7
/proc/6034/stat : 6034 (scop.sh) S 6031 6034 5615 0 -1 4202496 584 48154 0 0 0 0 4660 201 20 0 1 0 509768762 115843072 369 33554432000 4194304 5098028 140736995074688 140736995071432 140132625793660 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37654528 140736995083045 140736995083372 140736995083372 140736995086285 0
/proc/6034/statm: 28282 369 311 221 0 87 0
[pid=6060] ppid=6034 vsize=8283048 memory=123804 CPUtime=2.49 cores=0-7
/proc/6060/stat : 6060 (java) S 6034 6034 5615 0 -1 1077944320 20788 61989 0 0 130 8 89 22 20 0 22 0 509771449 8481841152 30951 33554432000 4194304 4196468 140723481634560 140723481617104 140010001551095 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
/proc/6060/statm: 2070762 30951 3217 1 0 2032106 0
[pid=6060/tid=6061] ppid=6034 vsize=8283048 memory=279739677171136 CPUtime=1.9 cores=0-7
/proc/6060/task/6061/stat : 6061 (java) D 6034 6034 5615 0 -1 4202560 16917 61989 0 0 73 6 89 22 20 0 22 0 509771449 8481841152 30951 33554432000 4194304 4196468 140723481634560 140009973392872 140009994236727 0 4 2 25189581 18446744072099880069 0 0 -1 4 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6062] ppid=6034 vsize=8283048 memory=279739677171200 CPUtime=1.11 cores=0-7
/proc/6060/task/6062/stat : 6062 (java) S 6034 6034 5615 0 -1 1077944384 1 61989 0 0 0 0 89 22 20 0 22 0 509771450 8481841152 30951 33554432000 4194304 4196468 140723481634560 140010005793424 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6063] ppid=6034 vsize=8283048 memory=165781442664338 CPUtime=1.11 cores=0-7
/proc/6060/task/6063/stat : 6063 (java) S 6034 6034 5615 0 -1 1077944384 1 61989 0 0 0 0 89 22 20 0 22 0 509771451 8481841152 30951 33554432000 4194304 4196468 140723481634560 140009828289040 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6064] ppid=6034 vsize=8283048 memory=165781442670399 CPUtime=1.11 cores=0-7
/proc/6060/task/6064/stat : 6064 (java) S 6034 6034 5615 0 -1 1077944384 3 61989 0 0 0 0 89 22 20 0 22 0 509771451 8481841152 30951 33554432000 4194304 4196468 140723481634560 140009485842832 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6065] ppid=6034 vsize=8283048 memory=165781442670400 CPUtime=1.11 cores=0-7
/proc/6060/task/6065/stat : 6065 (java) S 6034 6034 5615 0 -1 1077944384 1 61989 0 0 0 0 89 22 20 0 22 0 509771451 8481841152 30951 33554432000 4194304 4196468 140723481634560 140009484790032 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6066] ppid=6034 vsize=8283048 memory=165781442670401 CPUtime=1.11 cores=0-7
/proc/6060/task/6066/stat : 6066 (java) S 6034 6034 5615 0 -1 1077944384 2 61989 0 0 0 0 89 22 20 0 22 0 509771451 8481841152 30951 33554432000 4194304 4196468 140723481634560 140009483738256 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6067] ppid=6034 vsize=8283048 memory=165781442670402 CPUtime=1.11 cores=0-7
/proc/6060/task/6067/stat : 6067 (java) S 6034 6034 5615 0 -1 1077944384 1 61989 0 0 0 0 89 22 20 0 22 0 509771451 8481841152 30951 33554432000 4194304 4196468 140723481634560 140009482685456 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6068] ppid=6034 vsize=8283048 memory=165781442670403 CPUtime=1.11 cores=0-7
/proc/6060/task/6068/stat : 6068 (java) S 6034 6034 5615 0 -1 1077944384 2 61989 0 0 0 0 89 22 20 0 22 0 509771451 8481841152 30951 33554432000 4194304 4196468 140723481634560 140009481632656 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6069] ppid=6034 vsize=8283048 memory=165781442670404 CPUtime=1.11 cores=0-7
/proc/6060/task/6069/stat : 6069 (java) S 6034 6034 5615 0 -1 1077944384 1 61989 0 0 0 0 89 22 20 0 22 0 509771451 8481841152 30951 33554432000 4194304 4196468 140723481634560 140009480579856 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6070] ppid=6034 vsize=8283048 memory=165781442670405 CPUtime=1.11 cores=0-7
/proc/6060/task/6070/stat : 6070 (java) S 6034 6034 5615 0 -1 1077944384 5 61989 0 0 0 0 89 22 20 0 22 0 509771452 8481841152 30951 33554432000 4194304 4196468 140723481634560 140009430636912 140010001562242 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6071] ppid=6034 vsize=8283048 memory=1398722017469774279 CPUtime=1.11 cores=0-7
/proc/6060/task/6071/stat : 6071 (java) S 6034 6034 5615 0 -1 1077944384 13 61989 0 0 0 0 89 22 20 0 22 0 509771452 8481841152 30951 33554432000 4194304 4196468 140723481634560 140008686085152 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6072] ppid=6034 vsize=8283048 memory=2241 CPUtime=1.11 cores=0-7
/proc/6060/task/6072/stat : 6072 (java) S 6034 6034 5615 0 -1 1077944384 1 61989 0 0 0 0 89 22 20 0 22 0 509771453 8481841152 30951 33554432000 4194304 4196468 140723481634560 140008417649520 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6073] ppid=6034 vsize=8283048 memory=3588 CPUtime=1.11 cores=0-7
/proc/6060/task/6073/stat : 6073 (java) S 6034 6034 5615 0 -1 1077944384 1 61989 0 0 0 0 89 22 20 0 22 0 509771455 8481841152 30951 33554432000 4194304 4196468 140723481634560 140008043140944 140010001569691 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6074] ppid=6034 vsize=8283048 memory=63188 CPUtime=1.25 cores=0-7
/proc/6060/task/6074/stat : 6074 (java) S 6034 6034 5615 0 -1 1077944384 900 61989 0 0 14 0 89 22 20 0 22 0 509771455 8481841152 30951 33554432000 4194304 4196468 140723481634560 140009429584752 140010001562242 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6075] ppid=6034 vsize=8283048 memory=984 CPUtime=1.2 cores=0-7
/proc/6060/task/6075/stat : 6075 (java) S 6034 6034 5615 0 -1 1077944384 443 61989 0 0 9 0 89 22 20 0 22 0 509771455 8481841152 30951 33554432000 4194304 4196468 140723481634560 140009428531952 140010001562242 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6076] ppid=6034 vsize=8283048 memory=1940 CPUtime=1.17 cores=0-7
/proc/6060/task/6076/stat : 6076 (java) S 6034 6034 5615 0 -1 1077944384 146 61989 0 0 6 0 89 22 20 0 22 0 509771455 8481841152 30951 33554432000 4194304 4196468 140723481634560 140009427479152 140010001562242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6077] ppid=6034 vsize=8283048 memory=1416 CPUtime=1.35 cores=0-7
/proc/6060/task/6077/stat : 6077 (java) S 6034 6034 5615 0 -1 1077944384 591 61989 0 0 24 0 89 22 20 0 22 0 509771455 8481841152 30951 33554432000 4194304 4196468 140723481634560 140009426426352 140010001562242 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6078] ppid=6034 vsize=8283048 memory=1556 CPUtime=1.11 cores=0-7
/proc/6060/task/6078/stat : 6078 (java) S 6034 6034 5615 0 -1 1077944384 3 61989 0 0 0 0 89 22 20 0 22 0 509771456 8481841152 30951 33554432000 4194304 4196468 140723481634560 140007545236064 140010001561301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6079] ppid=6034 vsize=8283048 memory=0 CPUtime=1.11 cores=0-7
/proc/6060/task/6079/stat : 6079 (java) S 6034 6034 5615 0 -1 1077944384 3 61989 0 0 0 0 89 22 20 0 22 0 509771456 8481841152 30951 33554432000 4194304 4196468 140723481634560 140009425373744 140010001562242 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6081] ppid=6034 vsize=8283048 memory=0 CPUtime=1.11 cores=0-7
/proc/6060/task/6081/stat : 6081 (java) S 6034 6034 5615 0 -1 1077944384 26 61989 0 0 0 0 89 22 20 0 22 0 509771525 8481841152 30951 33554432000 4194304 4196468 140723481634560 140008544882960 140010001562242 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
[pid=6060/tid=6085] ppid=6034 vsize=8283048 memory=0 CPUtime=1.11 cores=0-7
/proc/6060/task/6085/stat : 6085 (java) S 6034 6034 5615 0 -1 1077944384 386 61989 0 0 0 0 89 22 20 0 22 0 509771528 8481841152 30951 33554432000 4194304 4196468 140723481634560 140006605710640 140010001562242 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8314880 140723481641976 140723481642134 140723481642134 140723481645007 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 125280 KiB

Child status: 0
Real time (s): 28.6156
CPU time (s): 51.1481
CPU user time (s): 48.8061
CPU system time (s): 2.342
CPU usage (%): 178.742
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6300860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.8061
system time used= 2.342
maximum resident set size= 6299692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131554
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22754
involuntary context switches= 157


# summary of solver processes directly reported to runsolver:
#   pid: 6034
#   total CPU time (s): 51.1481
#   total CPU user time (s): 48.8061
#   total CPU system time (s): 2.342

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.221574 second user time and 0.318402 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-24 16:40:35
IDJOB=4405217
IDBENCH=126615
IDSOLVER=2867
FILE ID=node148/4405217-1569336072
RUNJOBID= node148-1569335941-5642
PBS_JOBID= 21705049
Free space on /tmp= 22080 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-8-9-9-cp.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-4405217-1569336072/watcher-4405217-1569336072 -o /tmp/evaluation-result-4405217-1569336072/solver-4405217-1569336072 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --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-4405217-1569336072.xml

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

MD5SUM BENCH= 7f38f9e4cc6c9387b3de2b1a6255283e
RANDOM SEED=693132921

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22065664 kB
MemAvailable:   31851128 kB
Buffers:           89272 kB
Cached:          9966392 kB
SwapCached:         3340 kB
Active:          5148632 kB
Inactive:        4912944 kB
Active(anon):       5112 kB
Inactive(anon):    56480 kB
Active(file):    5143520 kB
Inactive(file):  4856464 kB
Unevictable:      110656 kB
Mlocked:          110656 kB
SwapTotal:      67108860 kB
SwapFree:       67002572 kB
Dirty:             25704 kB
Writeback:             0 kB
AnonPages:        186688 kB
Mapped:            56504 kB
Shmem:             47080 kB
Slab:             231656 kB
SReclaimable:     202628 kB
SUnreclaim:        29028 kB
KernelStack:        3968 kB
PageTables:         5836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 22060 MiB
End job on node148 at 2019-09-24 16:41:04