Trace number 4392357

Some explanations

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

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

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

Solver answer on this benchmark

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

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-3767-serial-file.bin HOME/instance-4392357-1568426967.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 04:08:28 CEST 2019
0.65/0.56	c PID: 3770
0.65/0.56	c IP: 172.20.3.103
0.65/0.56	c HOST: node103.alineos.net
0.65/0.57	c (0,0) Parsing Begin
12.33/6.28	c (5,5) Parsing End
12.33/6.29	c (5,5) CSP: 630 int (0 aux), 18 bool (0 aux), 92027 ctr, max domain size 8
12.33/6.29	c (5,5) Heap : 3717 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
12.33/6.29	c (5,5) Constraint Name Generate Begin
12.80/6.58	c (6,6) Ctr:HOME/instance-4392357-1568426967.xml,Cardinality:Instantiation:LexMatrix:Ne:Num:Or:Var
12.80/6.58	c (6,6) Constraint Name Generate End
12.80/6.58	c (6,6) Heap : 3829 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
12.80/6.58	c (6,6) CSP to CSPinCNF Begin
14.70/7.25	c (6,6) translated 9203 (10%) constraints
15.08/7.53	c (6,6) translated 18406 (20%) constraints
15.41/7.82	c (7,7) translated 27609 (30%) constraints
15.62/8.10	c (7,7) translated 36811 (40%) constraints
15.92/8.38	c (7,7) translated 46014 (50%) constraints
16.22/8.65	c (8,8) translated 55217 (60%) constraints
16.51/8.93	c (8,8) translated 64419 (70%) constraints
16.89/9.21	c (8,8) translated 73622 (80%) constraints
17.09/9.48	c (8,8) translated 82825 (90%) constraints
20.59/10.82	c (10,10) translated 92027 (100%) constraints
26.69/14.15	c (13,13) ===========================================
26.69/14.16	c (13,13) Order
26.69/14.16	c (13,13) ===========================================
27.83/14.78	c (14,14) translated 10480 (10%) constraints
28.43/15.34	c (14,14) translated 20960 (20%) constraints
29.10/15.90	c (15,15) translated 31440 (30%) constraints
29.60/16.45	c (15,15) translated 41920 (40%) constraints
30.21/17.01	c (16,16) translated 52400 (50%) constraints
30.70/17.56	c (17,16) translated 62880 (60%) constraints
31.31/18.12	c (17,17) translated 73360 (70%) constraints
31.81/18.67	c (18,17) translated 83840 (80%) constraints
33.05/19.34	c (18,18) translated 94320 (90%) constraints
34.56/20.03	c (19,19) translated 104800 (100%) constraints
34.56/20.03	c (19,19) CSP to CSPinCNF End
34.56/20.04	c (19,19) CSP: 2142 int (1512 aux), 11443 bool (11425 aux), 118336 ctr, max domain size 10
34.56/20.04	c (19,19) Heap : 4078 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
34.56/20.04	c (19,19) CSPinCNF Propagation Begin
36.73/21.08	c (20,20) 2440 values, 26560 unsatisfiable literals, and 22247 valid clauses are removed
36.73/21.08	c (20,20) CSPinCNF Propagation End
36.73/21.09	c (20,20) CSP: 2033 int (1403 aux), 11552 bool (11534 aux), 96089 ctr, max domain size 10
36.73/21.09	c (20,20) Heap : 4952 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
36.73/21.09	c (20,20) Simplify CSPinCNF Begin
38.96/22.86	c (22,22) Simplify CSPinCNF End
38.96/22.87	c (22,22) CSP: 2033 int (1403 aux), 53630 bool (53612 aux), 138167 ctr, max domain size 10
38.96/22.87	c (22,22) Heap : 5827 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
38.96/22.87	c (22,22) Calculate Precise Domain Begin
39.28/22.94	c (22,22) 0 values are removed by re-calculation
39.28/22.94	c (22,22) Calculate Precise Domain End
39.28/22.96	c (22,22) CSP: 2033 int (1403 aux), 53630 bool (53612 aux), 138167 ctr, max domain size 10
39.28/22.96	c (22,22) Heap : 5827 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
39.28/22.96	c (22,22) CSPinCNF to SatSolver Begin
43.74/24.02	c (23,23) 13817 (10 %) CSP clauses are encoded (0 SAT variables, 96035 SAT clauses)
44.18/24.46	c (23,23) 27634 (20 %) CSP clauses are encoded (0 SAT variables, 176149 SAT clauses)
44.58/24.88	c (24,23) 41451 (30 %) CSP clauses are encoded (0 SAT variables, 251825 SAT clauses)
45.00/25.29	c (24,24) 55267 (40 %) CSP clauses are encoded (0 SAT variables, 327430 SAT clauses)
45.31/25.57	c (25,24) 69084 (50 %) CSP clauses are encoded (0 SAT variables, 367259 SAT clauses)
45.51/25.74	c (25,24) 82901 (60 %) CSP clauses are encoded (0 SAT variables, 381076 SAT clauses)
45.71/25.91	c (25,24) 96717 (70 %) CSP clauses are encoded (0 SAT variables, 394892 SAT clauses)
45.81/26.08	c (25,25) 110534 (80 %) CSP clauses are encoded (0 SAT variables, 408709 SAT clauses)
47.02/26.47	c (25,25) 124351 (90 %) CSP clauses are encoded (0 SAT variables, 499454 SAT clauses)
47.83/26.82	c (26,25) 138167 (100 %) CSP clauses are encoded (0 SAT variables, 603582 SAT clauses)
47.83/26.82	c (26,25) CSPinCNF to SatSolver End
47.83/26.82	c (26,25) Heap : 2735 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
47.83/26.82	c (26,25) 66111 bool, 603589 clause
47.83/26.82	c (26,25) Export Begin
47.98/26.94	c (26,26) Export to HOME/scop-3767-serial-file.bin
47.98/26.94	c (26,26) Export End
47.98/26.94	c (26,26) Export File Size: 0.11 MB
47.98/26.94	c (26,26) 5,6,19,20,22,22,26,STOP-AFTER(DIMACS)
47.98/26.94	c END-Prog: Sat Sep 14 04:08:55 CEST 2019
47.98/27.00	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-3767-serial-file.bin
48.17/27.46	c (0,0) Read Serial File Begin
48.17/27.46	c (0,0) HOME/scop-3767-serial-file.bin
48.17/27.71	c (0,0) Read Serial File End
48.17/27.72	
48.17/27.72	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
48.17/27.72	(Solving Process)
48.17/27.72	
48.17/27.74	c BEGIN-Prog: Sat Sep 14 04:08:56 CEST 2019
48.17/27.74	c PID: 3793
48.17/27.74	c IP: 172.20.3.103
48.17/27.74	c HOST: node103.alineos.net
48.17/27.75	c (0,0) SatSolver.solve Begin
48.17/27.75	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392357-1568426967.xml-scop-3770.cnf
48.17/27.77	c (0,0) c
48.17/27.77	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)
48.17/27.77	c (0,0) c
48.17/27.77	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
48.17/27.77	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
48.17/27.77	c (0,0) c ========================================[ Problem Statistics ]===========================================
48.17/27.77	c (0,0) c |                                                                                                       |
48.17/27.99	c (0,0) c |  Number of variables:         66111                                                                   |
48.17/27.99	c (0,0) c |  Number of clauses:          603589                                                                   |
48.17/27.99	c (0,0) c |  Parse time:                   0.20 s                                                                 |
48.17/27.99	c (0,0) c |                                                                                                       |
50.02/28.35	c (0,0) c |  Simplification time:          0.36 s                                                                 |
50.02/28.35	c (0,0) c |                                                                                                       |
50.02/28.35	c (0,0) c |  Generating clones                                                                                    |
50.22/28.57	c (1,0) c |  all clones generated. Memory =   394.25Mb.                                                           |
50.22/28.57	c (1,0) c ========================================================================================================|
50.22/28.57	c (1,0) c
50.22/28.57	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
50.22/28.57	c (1,0) c
50.22/28.57	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.22/28.57	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
50.22/28.57	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.22/28.57	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
50.22/28.57	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
50.22/28.57	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
50.22/28.57	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
50.22/28.57	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
50.22/28.57	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
50.22/28.57	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
50.22/28.57	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
50.22/28.57	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
50.22/28.57	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
50.22/28.57	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
50.22/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.22/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.22/28.57	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
50.22/28.57	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
50.22/28.57	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.61/28.70	c (1,0) c
50.61/28.70	c (1,0) c real time : 0.930329 s
50.61/28.70	c (1,0) c cpu time  : 0.91678 s
50.61/28.70	c (1,0) c
50.61/28.70	c (1,0) c
50.61/28.70	c (1,0) c
50.61/28.70	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
50.61/28.70	c (1,0) c
50.61/28.70	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.61/28.70	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
50.61/28.70	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.61/28.70	c (1,0) c | Conflicts     |            6028 |         71 |       4958 |        640 |         24 |        207 |         71 |         41 |         16 |
50.61/28.70	c (1,0) c | Decisions     |           53739 |      11833 |      12180 |       8000 |       2393 |       7495 |       6801 |       4596 |        441 |
50.61/28.70	c (1,0) c | Propagations  |          693420 |      28537 |     448127 |     127026 |       8902 |      43648 |      23731 |       9613 |       3836 |
50.61/28.70	c (1,0) c | ReduceDBs     |               1 |          0 |          1 |          0 |          0 |          0 |          0 |          0 |          0 |
50.61/28.70	c (1,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
50.61/28.70	c (1,0) c | Restarts      |               9 |          1 |          1 |          2 |          1 |          1 |          1 |          1 |          1 |
50.61/28.70	c (1,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.61/28.70	c (1,0) c | PropBinClauses|         1020410 |      29571 |     715536 |     149944 |       8647 |      72861 |      29789 |       8875 |       5187 |
50.61/28.70	c (1,0) c | PropPreBlocker|         4296657 |     139524 |    3018093 |     534960 |      78920 |     267359 |     138300 |      68895 |      50606 |
50.61/28.70	c (1,0) c | PropNotBlocker|         1771969 |      97154 |     967897 |     282909 |      71741 |     143532 |      96077 |      64127 |      48532 |
50.61/28.70	c (1,0) c | LitFullScans  |         8872980 |     304187 |    6001848 |    1276405 |     167957 |     564222 |     301841 |     148569 |     107951 |
50.61/28.70	c (1,0) c | LitScanFracts |             586 |          0 |        586 |          0 |          0 |          0 |          0 |          0 |          0 |
50.61/28.70	c (1,0) c | DecisionLevel0|              51 |          4 |          2 |          5 |          5 |          5 |          4 |         18 |          8 |
50.61/28.70	c (1,0) c | Periods       |               1 |          0 |          1 |          0 |          0 |          0 |          0 |          0 |          0 |
50.61/28.70	c (1,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
50.61/28.70	c (1,0) c | Avg_Trail     |                 |       5990 |       1061 |       2154 |       2239 |       3498 |       5902 |       1055 |        802 |
50.61/28.70	c (1,0) c | Avg_DL        |                 |       5155 |        100 |        949 |        650 |       2664 |       5084 |        543 |        101 |
50.61/28.70	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.61/28.70	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.61/28.70	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.61/28.70	c (1,0) c | Exported      |             166 |          0 |        120 |          1 |         15 |          6 |          0 |         17 |          7 |
50.61/28.70	c (1,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.61/28.70	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.61/28.70	c (1,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.61/28.70	c (1,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.61/28.70	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.61/28.70	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.61/28.70	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.61/28.70	c (1,0) c | Unaries       |                 |          3 |          1 |          3 |          4 |          4 |          3 |         17 |          7 |
50.61/28.70	c (1,0) c | Binaries      |                 |          0 |          6 |          0 |          9 |          0 |          0 |         11 |          6 |
50.61/28.70	c (1,0) c | Glues         |                 |          0 |        120 |          1 |         15 |          6 |          0 |         17 |          7 |
50.61/28.70	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.61/28.70	c (1,0) c | Orig_Seen     |             0 % |       1549 |       1651 |       2276 |        116 |       1663 |       1549 |        230 |         76 |
50.61/28.70	c (1,0) c | Diff Orig seen|                 |       1433 |       1535 |       2160 |      X     |       1547 |       1433 |        114 | -       40 |
50.61/28.70	c (1,0) c | Hamming       |             3 % |       3348 |       1643 |       2662 |      X     |       2177 |       3180 |       1042 |        820 |
50.61/28.70	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.61/28.70	c (1,0) c | RunningTime   |                 |    0.0 100%|    0.1 100%|    0.0 100%|    0.0 100%|    0.0  99%|    0.0 100%|    0.0 100%|    0.0 100%|
50.61/28.70	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.61/28.70	c (1,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   1%|    0.0   0%|    0.0   0%|    0.0   0%|
50.61/28.70	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.61/28.70	c (1,0) c | SolvingTime   |                 |    0.0     |    0.1     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
50.61/28.70	c (1,0) c | PropagationTim|                 |    0.0  89%|    0.1  82%|    0.0  85%|    0.0  98%|    0.0  92%|    0.0  91%|    0.0  97%|    0.0  99%|
50.61/28.70	c (1,0) c | AnalysisTime  |                 |    0.0   2%|    0.0  11%|    0.0   6%|    0.0   0%|    0.0   3%|    0.0   2%|    0.0   0%|    0.0   0%|
50.61/28.70	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.61/28.70	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.61/28.70	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.61/28.70	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.61/28.70	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.61/28.70	c (1,0) c
50.61/28.70	c (1,0) c
50.61/28.70	c (1,0) c Threads : 8
50.61/28.70	c (1,0) c Winner : 3
50.61/28.70	c (1,0) c Conflicts_0 : 71
50.61/28.70	c (1,0) c Conflicts_1 : 4958
50.61/28.70	c (1,0) c Conflicts_2 : 640
50.61/28.70	c (1,0) c Conflicts_3 : 24
50.61/28.70	c (1,0) c Conflicts_4 : 207
50.61/28.70	c (1,0) c Conflicts_5 : 71
50.61/28.70	c (1,0) c Conflicts_6 : 41
50.61/28.70	c (1,0) c Conflicts_7 : 16
50.61/28.70	c (1,0) c Conflicts_total : 6028
50.61/28.70	c (1,0) c Conflicts_winner : 24
50.61/28.70	c (1,0) c Decisions_0 : 11833
50.61/28.70	c (1,0) c Decisions_1 : 12180
50.61/28.70	c (1,0) c Decisions_2 : 8000
50.61/28.70	c (1,0) c Decisions_3 : 2393
50.61/28.70	c (1,0) c Decisions_4 : 7495
50.61/28.70	c (1,0) c Decisions_5 : 6801
50.61/28.70	c (1,0) c Decisions_6 : 4596
50.61/28.70	c (1,0) c Decisions_7 : 441
50.61/28.70	c (1,0) c Decisions_total : 53739
50.61/28.70	c (1,0) c Decisions_winner : 2393
50.61/28.70	c (1,0) c Propagations_0 : 28537
50.61/28.70	c (1,0) c Propagations_1 : 448127
50.61/28.70	c (1,0) c Propagations_2 : 127026
50.61/28.70	c (1,0) c Propagations_3 : 8902
50.61/28.70	c (1,0) c Propagations_4 : 43648
50.61/28.70	c (1,0) c Propagations_5 : 23731
50.61/28.70	c (1,0) c Propagations_6 : 9613
50.61/28.70	c (1,0) c Propagations_7 : 3836
50.61/28.70	c (1,0) c Propagations_total : 693420
50.61/28.70	c (1,0) c Propagations_winner : 8902
50.61/28.70	c (1,0) c ReduceDBs_0 : 0
50.61/28.70	c (1,0) c ReduceDBs_1 : 1
50.61/28.70	c (1,0) c ReduceDBs_2 : 0
50.61/28.70	c (1,0) c ReduceDBs_3 : 0
50.61/28.70	c (1,0) c ReduceDBs_4 : 0
50.61/28.70	c (1,0) c ReduceDBs_5 : 0
50.61/28.70	c (1,0) c ReduceDBs_6 : 0
50.61/28.70	c (1,0) c ReduceDBs_7 : 0
50.61/28.70	c (1,0) c ReduceDBs_total : 1
50.61/28.70	c (1,0) c ReduceDBs_winner : 0
50.61/28.70	c (1,0) c SimpDBs_0 : 1
50.61/28.70	c (1,0) c SimpDBs_1 : 1
50.61/28.70	c (1,0) c SimpDBs_2 : 1
50.61/28.70	c (1,0) c SimpDBs_3 : 1
50.61/28.70	c (1,0) c SimpDBs_4 : 1
50.61/28.70	c (1,0) c SimpDBs_5 : 1
50.61/28.70	c (1,0) c SimpDBs_6 : 1
50.61/28.70	c (1,0) c SimpDBs_7 : 1
50.61/28.70	c (1,0) c SimpDBs_total : 8
50.61/28.70	c (1,0) c SimpDBs_winner : 1
50.61/28.70	c (1,0) c Restarts_0 : 1
50.61/28.70	c (1,0) c Restarts_1 : 1
50.61/28.70	c (1,0) c Restarts_2 : 2
50.61/28.70	c (1,0) c Restarts_3 : 1
50.61/28.70	c (1,0) c Restarts_4 : 1
50.61/28.70	c (1,0) c Restarts_5 : 1
50.61/28.70	c (1,0) c Restarts_6 : 1
50.61/28.70	c (1,0) c Restarts_7 : 1
50.61/28.70	c (1,0) c Restarts_total : 9
50.61/28.70	c (1,0) c Restarts_winner : 1
50.61/28.70	c (1,0) c ForcedImports_0 : 0
50.61/28.70	c (1,0) c ForcedImports_1 : 0
50.61/28.70	c (1,0) c ForcedImports_2 : 0
50.61/28.70	c (1,0) c ForcedImports_3 : 0
50.61/28.70	c (1,0) c ForcedImports_4 : 0
50.61/28.71	c (1,0) c ForcedImports_5 : 0
50.61/28.71	c (1,0) c ForcedImports_6 : 0
50.61/28.71	c (1,0) c ForcedImports_7 : 0
50.61/28.71	c (1,0) c ForcedImports_total : 0
50.61/28.71	c (1,0) c ForcedImports_winner : 0
50.61/28.71	c (1,0) c PropsBinClauses_0 : 29571
50.61/28.71	c (1,0) c PropsBinClauses_1 : 715536
50.61/28.71	c (1,0) c PropsBinClauses_2 : 149944
50.61/28.71	c (1,0) c PropsBinClauses_3 : 8647
50.61/28.71	c (1,0) c PropsBinClauses_4 : 72861
50.61/28.71	c (1,0) c PropsBinClauses_5 : 29789
50.61/28.71	c (1,0) c PropsBinClauses_6 : 8875
50.61/28.71	c (1,0) c PropsBinClauses_7 : 5187
50.61/28.71	c (1,0) c PropsBinClauses_total : 1020410
50.61/28.71	c (1,0) c PropsBinClauses_winner : 8647
50.61/28.71	c (1,0) c PropsPreBlocker_0 : 139524
50.61/28.71	c (1,0) c PropsPreBlocker_1 : 3018093
50.61/28.71	c (1,0) c PropsPreBlocker_2 : 534960
50.61/28.71	c (1,0) c PropsPreBlocker_3 : 78920
50.61/28.71	c (1,0) c PropsPreBlocker_4 : 267359
50.61/28.71	c (1,0) c PropsPreBlocker_5 : 138300
50.61/28.71	c (1,0) c PropsPreBlocker_6 : 68895
50.61/28.71	c (1,0) c PropsPreBlocker_7 : 50606
50.61/28.71	c (1,0) c PropsPreBlocker_total : 4296657
50.61/28.71	c (1,0) c PropsPreBlocker_winner : 78920
50.61/28.71	c (1,0) c PropsNotBlocker_0 : 97154
50.61/28.71	c (1,0) c PropsNotBlocker_1 : 967897
50.61/28.71	c (1,0) c PropsNotBlocker_2 : 282909
50.61/28.71	c (1,0) c PropsNotBlocker_3 : 71741
50.61/28.71	c (1,0) c PropsNotBlocker_4 : 143532
50.61/28.71	c (1,0) c PropsNotBlocker_5 : 96077
50.61/28.71	c (1,0) c PropsNotBlocker_6 : 64127
50.61/28.71	c (1,0) c PropsNotBlocker_7 : 48532
50.61/28.71	c (1,0) c PropsNotBlocker_total : 1771969
50.61/28.71	c (1,0) c PropsNotBlocker_winner : 71741
50.61/28.71	c (1,0) c PropsLitFullScans_0 : 304187
50.61/28.71	c (1,0) c PropsLitFullScans_1 : 6001848
50.61/28.71	c (1,0) c PropsLitFullScans_2 : 1276405
50.61/28.71	c (1,0) c PropsLitFullScans_3 : 167957
50.61/28.71	c (1,0) c PropsLitFullScans_4 : 564222
50.61/28.71	c (1,0) c PropsLitFullScans_5 : 301841
50.61/28.71	c (1,0) c PropsLitFullScans_6 : 148569
50.61/28.71	c (1,0) c PropsLitFullScans_7 : 107951
50.61/28.71	c (1,0) c PropsLitFullScans_total : 8872980
50.61/28.71	c (1,0) c PropsLitFullScans_winner : 167957
50.61/28.71	c (1,0) c LitScanFractions_0 : 0
50.61/28.71	c (1,0) c LitScanFractions_1 : 586
50.61/28.71	c (1,0) c LitScanFractions_2 : 0
50.61/28.71	c (1,0) c LitScanFractions_3 : 0
50.61/28.71	c (1,0) c LitScanFractions_4 : 0
50.61/28.71	c (1,0) c LitScanFractions_5 : 0
50.61/28.71	c (1,0) c LitScanFractions_6 : 0
50.61/28.71	c (1,0) c LitScanFractions_7 : 0
50.61/28.71	c (1,0) c LitScanFractions_total : 586
50.61/28.71	c (1,0) c LitScanFractions_winner : 0
50.61/28.71	c (1,0) c DecisionLevel0_0 : 4
50.61/28.71	c (1,0) c DecisionLevel0_1 : 2
50.61/28.71	c (1,0) c DecisionLevel0_2 : 5
50.61/28.71	c (1,0) c DecisionLevel0_3 : 5
50.61/28.71	c (1,0) c DecisionLevel0_4 : 5
50.61/28.71	c (1,0) c DecisionLevel0_5 : 4
50.61/28.71	c (1,0) c DecisionLevel0_6 : 18
50.61/28.71	c (1,0) c DecisionLevel0_7 : 8
50.61/28.71	c (1,0) c DecisionLevel0_total : 51
50.61/28.71	c (1,0) c DecisionLevel0_winner : 5
50.61/28.71	c (1,0) c Periods_0 : 0
50.61/28.71	c (1,0) c Periods_1 : 1
50.61/28.71	c (1,0) c Periods_2 : 0
50.61/28.71	c (1,0) c Periods_3 : 0
50.61/28.71	c (1,0) c Periods_4 : 0
50.61/28.71	c (1,0) c Periods_5 : 0
50.61/28.71	c (1,0) c Periods_6 : 0
50.61/28.71	c (1,0) c Periods_7 : 0
50.61/28.71	c (1,0) c Periods_total : 1
50.61/28.71	c (1,0) c Periods_winner : 0
50.61/28.71	c (1,0) c Margin_0 : 20
50.61/28.71	c (1,0) c Margin_1 : 20
50.61/28.71	c (1,0) c Margin_2 : 20
50.61/28.71	c (1,0) c Margin_3 : 20
50.61/28.71	c (1,0) c Margin_4 : 20
50.61/28.71	c (1,0) c Margin_5 : 20
50.61/28.71	c (1,0) c Margin_6 : 20
50.61/28.71	c (1,0) c Margin_7 : 20
50.61/28.71	c (1,0) c Margin_total : 160
50.61/28.71	c (1,0) c Margin_winner : 20
50.61/28.71	c (1,0) c Exported_0 : 0
50.61/28.71	c (1,0) c Exported_1 : 120
50.61/28.71	c (1,0) c Exported_2 : 1
50.61/28.71	c (1,0) c Exported_3 : 15
50.61/28.71	c (1,0) c Exported_4 : 6
50.61/28.71	c (1,0) c Exported_5 : 0
50.61/28.71	c (1,0) c Exported_6 : 17
50.61/28.71	c (1,0) c Exported_7 : 7
50.61/28.71	c (1,0) c Exported_total : 166
50.61/28.71	c (1,0) c Exported_winner : 15
50.61/28.71	c (1,0) c Imported_0 : 0
50.61/28.71	c (1,0) c Imported_1 : 0
50.61/28.71	c (1,0) c Imported_2 : 0
50.61/28.71	c (1,0) c Imported_3 : 0
50.61/28.71	c (1,0) c Imported_4 : 0
50.61/28.71	c (1,0) c Imported_5 : 0
50.61/28.71	c (1,0) c Imported_6 : 0
50.61/28.71	c (1,0) c Imported_7 : 0
50.61/28.71	c (1,0) c Imported_total : 0
50.61/28.71	c (1,0) c Imported_winner : 0
50.61/28.71	c (1,0) c Good_0 : 0
50.61/28.71	c (1,0) c Good_1 : 0
50.61/28.71	c (1,0) c Good_2 : 0
50.61/28.71	c (1,0) c Good_3 : 0
50.61/28.71	c (1,0) c Good_4 : 0
50.61/28.71	c (1,0) c Good_5 : 0
50.61/28.71	c (1,0) c Good_6 : 0
50.61/28.71	c (1,0) c Good_7 : 0
50.61/28.71	c (1,0) c Good_total : 0
50.61/28.71	c (1,0) c Good_winner : 0
50.61/28.71	c (1,0) c Purge_0 : 0
50.61/28.71	c (1,0) c Purge_1 : 0
50.61/28.71	c (1,0) c Purge_2 : 0
50.61/28.71	c (1,0) c Purge_3 : 0
50.61/28.71	c (1,0) c Purge_4 : 0
50.61/28.71	c (1,0) c Purge_5 : 0
50.61/28.71	c (1,0) c Purge_6 : 0
50.61/28.71	c (1,0) c Purge_7 : 0
50.61/28.71	c (1,0) c Purge_total : 0
50.61/28.71	c (1,0) c Purge_winner : 0
50.61/28.71	c (1,0) c Promoted_0 : 0
50.61/28.71	c (1,0) c Promoted_1 : 0
50.61/28.71	c (1,0) c Promoted_2 : 0
50.61/28.71	c (1,0) c Promoted_3 : 0
50.61/28.71	c (1,0) c Promoted_4 : 0
50.61/28.71	c (1,0) c Promoted_5 : 0
50.61/28.71	c (1,0) c Promoted_6 : 0
50.61/28.71	c (1,0) c Promoted_7 : 0
50.61/28.71	c (1,0) c Promoted_total : 0
50.61/28.71	c (1,0) c Promoted_winner : 0
50.61/28.71	c (1,0) c Remove_Imp_0 : 0
50.61/28.71	c (1,0) c Remove_Imp_1 : 0
50.61/28.71	c (1,0) c Remove_Imp_2 : 0
50.61/28.71	c (1,0) c Remove_Imp_3 : 0
50.61/28.71	c (1,0) c Remove_Imp_4 : 0
50.61/28.71	c (1,0) c Remove_Imp_5 : 0
50.61/28.71	c (1,0) c Remove_Imp_6 : 0
50.61/28.71	c (1,0) c Remove_Imp_7 : 0
50.61/28.71	c (1,0) c Remove_Imp_total : 0
50.61/28.71	c (1,0) c Remove_Imp_winner : 0
50.61/28.71	c (1,0) c Blocked_Reuse_0 : 0
50.61/28.71	c (1,0) c Blocked_Reuse_1 : 0
50.61/28.71	c (1,0) c Blocked_Reuse_2 : 0
50.61/28.71	c (1,0) c Blocked_Reuse_3 : 0
50.61/28.71	c (1,0) c Blocked_Reuse_4 : 0
50.61/28.71	c (1,0) c Blocked_Reuse_5 : 0
50.61/28.71	c (1,0) c Blocked_Reuse_6 : 0
50.61/28.71	c (1,0) c Blocked_Reuse_7 : 0
50.61/28.71	c (1,0) c Blocked_Reuse_total : 0
50.61/28.71	c (1,0) c Blocked_Reuse_winner : 0
50.61/28.71	c (1,0) c Unaries_0 : 3
50.61/28.71	c (1,0) c Unaries_1 : 1
50.61/28.71	c (1,0) c Unaries_2 : 3
50.61/28.71	c (1,0) c Unaries_3 : 4
50.61/28.71	c (1,0) c Unaries_4 : 4
50.61/28.71	c (1,0) c Unaries_5 : 3
50.61/28.71	c (1,0) c Unaries_6 : 17
50.61/28.71	c (1,0) c Unaries_7 : 7
50.61/28.71	c (1,0) c Unaries_total : 42
50.61/28.71	c (1,0) c Unaries_winner : 4
50.61/28.71	c (1,0) c Binaries_0 : 0
50.61/28.71	c (1,0) c Binaries_1 : 6
50.61/28.71	c (1,0) c Binaries_2 : 0
50.61/28.71	c (1,0) c Binaries_3 : 9
50.61/28.71	c (1,0) c Binaries_4 : 0
50.61/28.71	c (1,0) c Binaries_5 : 0
50.61/28.71	c (1,0) c Binaries_6 : 11
50.61/28.71	c (1,0) c Binaries_7 : 6
50.61/28.71	c (1,0) c Binaries_total : 32
50.61/28.71	c (1,0) c Binaries_winner : 9
50.61/28.71	c (1,0) c Glues_0 : 0
50.61/28.71	c (1,0) c Glues_1 : 120
50.61/28.71	c (1,0) c Glues_2 : 1
50.61/28.71	c (1,0) c Glues_3 : 15
50.61/28.71	c (1,0) c Glues_4 : 6
50.61/28.71	c (1,0) c Glues_5 : 0
50.61/28.71	c (1,0) c Glues_6 : 17
50.61/28.71	c (1,0) c Glues_7 : 7
50.61/28.71	c (1,0) c Glues_total : 166
50.61/28.71	c (1,0) c Glues_winner : 15
50.61/28.71	c (1,0) c RunningTime_0 : 0.032488
50.61/28.71	c (1,0) c RunningTime_1 : 0.127664
50.61/28.71	c (1,0) c RunningTime_2 : 0.045094
50.61/28.71	c (1,0) c RunningTime_3 : 0.037132
50.61/28.71	c (1,0) c RunningTime_4 : 0.040653
50.61/28.71	c (1,0) c RunningTime_5 : 0.036265
50.61/28.71	c (1,0) c RunningTime_6 : 0.034067
50.61/28.71	c (1,0) c RunningTime_7 : 0.030691
50.61/28.71	c (1,0) c RunningTime_total : 0.384055
50.61/28.71	c (1,0) c RunningTime_winner : 0.037132
50.61/28.71	c (1,0) c WaitingTime_0 : 0.000000
50.61/28.71	c (1,0) c WaitingTime_1 : 0.000000
50.61/28.71	c (1,0) c WaitingTime_2 : 0.000000
50.61/28.71	c (1,0) c WaitingTime_3 : 0.000000
50.61/28.71	c (1,0) c WaitingTime_4 : 0.000000
50.61/28.71	c (1,0) c WaitingTime_5 : 0.000000
50.61/28.71	c (1,0) c WaitingTime_6 : 0.000000
50.61/28.71	c (1,0) c WaitingTime_7 : 0.000000
50.61/28.71	c (1,0) c WaitingTime_total : 0.000000
50.61/28.71	c (1,0) c WaitingTime_winner : 0.000000
50.61/28.71	c (1,0) c ExchangingTime_0 : 0.000009
50.61/28.71	c (1,0) c ExchangingTime_1 : 0.000266
50.61/28.71	c (1,0) c ExchangingTime_2 : 0.000038
50.61/28.71	c (1,0) c ExchangingTime_3 : 0.000009
50.61/28.71	c (1,0) c ExchangingTime_4 : 0.000416
50.61/28.71	c (1,0) c ExchangingTime_5 : 0.000003
50.61/28.71	c (1,0) c ExchangingTime_6 : 0.000008
50.61/28.71	c (1,0) c ExchangingTime_7 : 0.000004
50.61/28.71	c (1,0) c ExchangingTime_total : 0.000751
50.61/28.71	c (1,0) c ExchangingTime_winner : 0.000009
50.61/28.71	c (1,0) c PeriodProcTime_0 : 0.000000
50.61/28.71	c (1,0) c PeriodProcTime_1 : 0.000008
50.61/28.71	c (1,0) c PeriodProcTime_2 : 0.000000
50.61/28.71	c (1,0) c PeriodProcTime_3 : 0.000000
50.61/28.71	c (1,0) c PeriodProcTime_4 : 0.000000
50.61/28.71	c (1,0) c PeriodProcTime_5 : 0.000000
50.61/28.71	c (1,0) c PeriodProcTime_6 : 0.000000
50.61/28.71	c (1,0) c PeriodProcTime_7 : 0.000000
50.61/28.71	c (1,0) c PeriodProcTime_total : 0.000008
50.61/28.71	c (1,0) c PeriodProcTime_winner : 0.000000
50.61/28.71	c (1,0) c SolvingTime_0 : 0.032497
50.61/28.71	c (1,0) c SolvingTime_1 : 0.127938
50.61/28.71	c (1,0) c SolvingTime_2 : 0.045131
50.61/28.71	c (1,0) c SolvingTime_3 : 0.037141
50.61/28.71	c (1,0) c SolvingTime_4 : 0.041069
50.61/28.71	c (1,0) c SolvingTime_5 : 0.036268
50.61/28.71	c (1,0) c SolvingTime_6 : 0.034075
50.61/28.71	c (1,0) c SolvingTime_7 : 0.030695
50.61/28.71	c (1,0) c SolvingTime_total : 0.384814
50.61/28.71	c (1,0) c SolvingTime_winner : 0.037141
50.61/28.71	c (1,0) c PropagationTime_0 : 0.029002
50.61/28.71	c (1,0) c PropagationTime_1 : 0.105030
50.61/28.71	c (1,0) c PropagationTime_2 : 0.038336
50.61/28.71	c (1,0) c PropagationTime_3 : 0.036374
50.61/28.71	c (1,0) c PropagationTime_4 : 0.037830
50.61/28.71	c (1,0) c PropagationTime_5 : 0.032996
50.61/28.71	c (1,0) c PropagationTime_6 : 0.033072
50.61/28.71	c (1,0) c PropagationTime_7 : 0.030250
50.61/28.71	c (1,0) c PropagationTime_total : 0.342890
50.61/28.71	c (1,0) c PropagationTime_winner : 0.036374
50.61/28.71	c (1,0) c AnalysisTime_0 : 0.000553
50.61/28.71	c (1,0) c AnalysisTime_1 : 0.013717
50.61/28.71	c (1,0) c AnalysisTime_2 : 0.002770
50.61/28.71	c (1,0) c AnalysisTime_3 : 0.000062
50.61/28.71	c (1,0) c AnalysisTime_4 : 0.001183
50.61/28.71	c (1,0) c AnalysisTime_5 : 0.000627
50.61/28.71	c (1,0) c AnalysisTime_6 : 0.000093
50.61/28.71	c (1,0) c AnalysisTime_7 : 0.000039
50.61/28.71	c (1,0) c AnalysisTime_total : 0.019044
50.61/28.71	c (1,0) c AnalysisTime_winner : 0.000062
50.61/28.71	c (1,0) c ReductionTime_0 : 0.000000
50.61/28.71	c (1,0) c ReductionTime_1 : 0.000302
50.61/28.71	c (1,0) c ReductionTime_2 : 0.000000
50.61/28.71	c (1,0) c ReductionTime_3 : 0.000000
50.61/28.71	c (1,0) c ReductionTime_4 : 0.000000
50.61/28.71	c (1,0) c ReductionTime_5 : 0.000000
50.61/28.71	c (1,0) c ReductionTime_6 : 0.000000
50.61/28.71	c (1,0) c ReductionTime_7 : 0.000000
50.61/28.71	c (1,0) c ReductionTime_total : 0.000302
50.61/28.71	c (1,0) c ReductionTime_winner : 0.000000
50.61/28.71	c (1,0) c SimplifyTime_0 : 0.000001
50.61/28.71	c (1,0) c SimplifyTime_1 : 0.000001
50.61/28.71	c (1,0) c SimplifyTime_2 : 0.000001
50.61/28.71	c (1,0) c SimplifyTime_3 : 0.000001
50.61/28.71	c (1,0) c SimplifyTime_4 : 0.000002
50.61/28.71	c (1,0) c SimplifyTime_5 : 0.000000
50.61/28.71	c (1,0) c SimplifyTime_6 : 0.000001
50.61/28.71	c (1,0) c SimplifyTime_7 : 0.000000
50.61/28.71	c (1,0) c SimplifyTime_total : 0.000007
50.61/28.71	c (1,0) c SimplifyTime_winner : 0.000001
50.61/28.71	c (1,0) c UsedRateTime_0 : 0.000000
50.61/28.71	c (1,0) c UsedRateTime_1 : 0.000000
50.61/28.71	c (1,0) c UsedRateTime_2 : 0.000000
50.61/28.71	c (1,0) c UsedRateTime_3 : 0.000000
50.61/28.71	c (1,0) c UsedRateTime_4 : 0.000000
50.61/28.71	c (1,0) c UsedRateTime_5 : 0.000000
50.61/28.71	c (1,0) c UsedRateTime_6 : 0.000000
50.61/28.71	c (1,0) c UsedRateTime_7 : 0.000000
50.61/28.71	c (1,0) c UsedRateTime_total : 0.000000
50.61/28.71	c (1,0) c UsedRateTime_winner : 0.000000
50.61/28.71	c (1,0) c OverlapRateTime_0 : 0.000000
50.61/28.71	c (1,0) c OverlapRateTime_1 : 0.000000
50.61/28.71	c (1,0) c OverlapRateTime_2 : 0.000000
50.61/28.71	c (1,0) c OverlapRateTime_3 : 0.000000
50.61/28.71	c (1,0) c OverlapRateTime_4 : 0.000000
50.61/28.71	c (1,0) c OverlapRateTime_5 : 0.000000
50.61/28.71	c (1,0) c OverlapRateTime_6 : 0.000000
50.61/28.71	c (1,0) c OverlapRateTime_7 : 0.000000
50.61/28.71	c (1,0) c OverlapRateTime_total : 0.000000
50.61/28.71	c (1,0) c OverlapRateTime_winner : 0.000000
50.61/28.71	c (1,0) c
50.61/28.71	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
50.61/28.71	c (1,0) c
50.61/28.71	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.61/28.71	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
50.61/28.71	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.61/28.71	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
50.61/28.71	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
50.61/28.71	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
50.61/28.71	c (1,0) c | Initial random_seed   | 1584272763 |  220808601 | 1010362337 |  690230294 | 1498664179 |  863035405 | 1714259369 |  247915957 |
50.61/28.71	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
50.61/28.71	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
50.61/28.71	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
50.61/28.71	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
50.61/28.71	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
50.61/28.72	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
50.61/28.72	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
50.61/28.72	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
50.61/28.72	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
50.61/28.72	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
50.61/28.72	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
50.61/28.72	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.61/28.72	c (1,0) 
50.61/28.72	c (1,0) s UNSATISFIABLE
50.61/28.72	c (1,0) SatSolver.solve End
50.61/28.72	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
50.61/28.72	c (1,0) Show results Begin
50.61/28.72	s UNSATISFIABLE
50.61/28.72	c (1,0) Show results End
50.61/28.72	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
50.61/28.72	c (1,0) 1,1,STOP-AFTER(ALL)
50.61/28.72	c END-Prog: Sat Sep 14 04:08:57 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 (15021 MiB free)
  memory of node 1: 16384 MiB (15577 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392357-1568426967/watcher-4392357-1568426967 -o /tmp/evaluation-result-4392357-1568426967/solver-4392357-1568426967 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568426882-3293 --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-4392357-1568426967.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=3767, runsolver pid=3764
Current StackSize limit: 8192 KiB


[startup+0.10015 s]*
/proc/loadavg: 6.92 8.22 8.25 2/211 3789
/proc/meminfo: memFree=31237660/32770624 swapFree=66996976/67108860
[pid=3767] ppid=3764 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3767/stat : 3767 (scop.sh) S 3764 3767 3266 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418949746 115843072 349 33554432000 4194304 5098028 140731862136624 140731862133880 139987204092540 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12488704 140731862143781 140731862144108 140731862144108 140731862147021 0
/proc/3767/statm: 28282 349 296 221 0 87 0
[pid=3770] ppid=3767 vsize=27314120 memory=106876 CPUtime=0.11 cores=0-7
/proc/3770/stat : 3770 (java) S 3767 3767 3266 0 -1 1077944320 6760 0 0 0 8 3 0 0 20 0 20 0 418949747 27969658880 26719 33554432000 4194304 4196468 140737386169504 140737386152048 139758446231287 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
/proc/3770/statm: 6828530 26719 2794 1 0 6790935 0
[pid=3770/tid=3771] ppid=3767 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/3770/task/3771/stat : 3771 (java) R 3767 3767 3266 0 -1 4202560 4891 0 0 0 6 2 0 0 20 0 20 0 418949747 27969658880 26784 33554432000 4194304 4196468 140737386169504 139758418056144 139758431913813 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3772] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3772/stat : 3772 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 26784 33554432000 4194304 4196468 140737386169504 139758450473872 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3773] ppid=3767 vsize=27314120 memory=3474158125980288672 CPUtime=0 cores=0-7
/proc/3770/task/3773/stat : 3773 (java) S 3767 3767 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 26784 33554432000 4194304 4196468 140737386169504 139758264630032 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3774] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3774/stat : 3774 (java) S 3767 3767 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 26784 33554432000 4194304 4196468 140737386169504 139758263577744 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3775] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3775/stat : 3775 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 26784 33554432000 4194304 4196468 140737386169504 139758262524944 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3776] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3776/stat : 3776 (java) S 3767 3767 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 26784 33554432000 4194304 4196468 140737386169504 139758261471632 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3777] ppid=3767 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3770/task/3777/stat : 3777 (java) S 3767 3767 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 26784 33554432000 4194304 4196468 140737386169504 139758260418832 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3778] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3778/stat : 3778 (java) S 3767 3767 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 26784 33554432000 4194304 4196468 140737386169504 139758259366544 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3779] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3779/stat : 3779 (java) S 3767 3767 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 26784 33554432000 4194304 4196468 140737386169504 139758258313744 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3780] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3780/stat : 3780 (java) S 3767 3767 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949751 27969658880 26784 33554432000 4194304 4196468 140737386169504 139756833536624 139758446242434 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3781] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3781/stat : 3781 (java) S 3767 3767 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418949752 27969658880 26784 33554432000 4194304 4196468 140737386169504 139756222539040 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3782] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3782/stat : 3782 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949752 27969658880 26784 33554432000 4194304 4196468 140737386169504 139755954103920 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3783] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3783/stat : 3783 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949754 27969658880 26784 33554432000 4194304 4196468 140737386169504 139755579595344 139758446249883 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3784] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3784/stat : 3784 (java) S 3767 3767 3266 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 418949754 27969658880 26784 33554432000 4194304 4196468 140737386169504 139756832483440 139758446242434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3785] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3785/stat : 3785 (java) R 3767 3767 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418949754 27969658880 26784 33554432000 4194304 4196468 140737386169504 139756831430640 139758446242434 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3786] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3786/stat : 3786 (java) S 3767 3767 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418949754 27969658880 26784 33554432000 4194304 4196468 140737386169504 139756830378352 139758446242434 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3787] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3787/stat : 3787 (java) S 3767 3767 3266 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 20 0 418949754 27969658880 26784 33554432000 4194304 4196468 140737386169504 139756829325552 139758446242434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3788] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3788/stat : 3788 (java) S 3767 3767 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418949755 27969658880 26784 33554432000 4194304 4196468 140737386169504 139755081689952 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3789] ppid=3767 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3770/task/3789/stat : 3789 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949755 27969658880 26784 33554432000 4194304 4196468 140737386169504 139756828273456 139758446242434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108272 KiB

[startup+0.210423 s]*
/proc/loadavg: 6.92 8.22 8.25 2/211 3789
/proc/meminfo: memFree=31219184/32770624 swapFree=66996976/67108860
[pid=3767] ppid=3764 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3767/stat : 3767 (scop.sh) S 3764 3767 3266 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418949746 115843072 349 33554432000 4194304 5098028 140731862136624 140731862133880 139987204092540 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12488704 140731862143781 140731862144108 140731862144108 140731862147021 0
/proc/3767/statm: 28282 349 296 221 0 87 0
[pid=3770] ppid=3767 vsize=27314120 memory=123700 CPUtime=0.25 cores=0-7
/proc/3770/stat : 3770 (java) S 3767 3767 3266 0 -1 1077944320 11798 0 0 0 20 5 0 0 20 0 20 0 418949747 27969658880 30925 33554432000 4194304 4196468 140737386169504 140737386152048 139758446231287 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
/proc/3770/statm: 6828530 30925 2954 1 0 6790935 0
[pid=3770/tid=3771] ppid=3767 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/3770/task/3771/stat : 3771 (java) R 3767 3767 3266 0 -1 4202560 9500 0 0 0 16 3 0 0 20 0 20 0 418949747 27969658880 30925 33554432000 4194304 4196468 140737386169504 139758418038848 139758427794839 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3772] ppid=3767 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/3770/task/3772/stat : 3772 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 30925 33554432000 4194304 4196468 140737386169504 139758450473872 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3773] ppid=3767 vsize=27314120 memory=139850305321603 CPUtime=0 cores=0-7
/proc/3770/task/3773/stat : 3773 (java) S 3767 3767 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 30925 33554432000 4194304 4196468 140737386169504 139758264630032 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3774] ppid=3767 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3770/task/3774/stat : 3774 (java) S 3767 3767 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 30925 33554432000 4194304 4196468 140737386169504 139758263577744 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3775] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3775/stat : 3775 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 30925 33554432000 4194304 4196468 140737386169504 139758262524944 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3776] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3776/stat : 3776 (java) S 3767 3767 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 30925 33554432000 4194304 4196468 140737386169504 139758261471632 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3777] ppid=3767 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3770/task/3777/stat : 3777 (java) S 3767 3767 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 30925 33554432000 4194304 4196468 140737386169504 139758260418832 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3778] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3778/stat : 3778 (java) S 3767 3767 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 30925 33554432000 4194304 4196468 140737386169504 139758259366544 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3779] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3779/stat : 3779 (java) S 3767 3767 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 30925 33554432000 4194304 4196468 140737386169504 139758258313744 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3780] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3780/stat : 3780 (java) S 3767 3767 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949751 27969658880 30925 33554432000 4194304 4196468 140737386169504 139756833536624 139758446242434 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3781] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3781/stat : 3781 (java) S 3767 3767 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418949752 27969658880 30925 33554432000 4194304 4196468 140737386169504 139756222539040 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3782] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3782/stat : 3782 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949752 27969658880 30925 33554432000 4194304 4196468 140737386169504 139755954103920 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3783] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3783/stat : 3783 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949754 27969658880 30925 33554432000 4194304 4196468 140737386169504 139755579595344 139758446249883 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3784] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3784/stat : 3784 (java) S 3767 3767 3266 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 418949754 27969658880 30925 33554432000 4194304 4196468 140737386169504 139756832483440 139758446242434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3785] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3785/stat : 3785 (java) S 3767 3767 3266 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 418949754 27969658880 30925 33554432000 4194304 4196468 140737386169504 139756831430640 139758446242434 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3786] ppid=3767 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3770/task/3786/stat : 3786 (java) S 3767 3767 3266 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 418949754 27969658880 30925 33554432000 4194304 4196468 140737386169504 139756830378352 139758446242434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3787] ppid=3767 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/3770/task/3787/stat : 3787 (java) S 3767 3767 3266 0 -1 1077944384 490 0 0 0 2 0 0 0 20 0 20 0 418949754 27969658880 30925 33554432000 4194304 4196468 140737386169504 139756829325552 139758446242434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3788] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3788/stat : 3788 (java) S 3767 3767 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418949755 27969658880 30925 33554432000 4194304 4196468 140737386169504 139755081689952 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3789] ppid=3767 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3770/task/3789/stat : 3789 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949755 27969658880 30925 33554432000 4194304 4196468 140737386169504 139756828273456 139758446242434 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125096 KiB

[startup+0.310394 s]*
/proc/loadavg: 6.60 8.14 8.22 2/211 3789
/proc/meminfo: memFree=31216516/32770624 swapFree=66996976/67108860
[pid=3767] ppid=3764 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3767/stat : 3767 (scop.sh) S 3764 3767 3266 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418949746 115843072 349 33554432000 4194304 5098028 140731862136624 140731862133880 139987204092540 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12488704 140731862143781 140731862144108 140731862144108 140731862147021 0
/proc/3767/statm: 28282 349 296 221 0 87 0
[pid=3770] ppid=3767 vsize=27314120 memory=127480 CPUtime=0.42 cores=0-7
/proc/3770/stat : 3770 (java) S 3767 3767 3266 0 -1 1077944320 12262 0 0 0 37 5 0 0 20 0 20 0 418949747 27969658880 31870 33554432000 4194304 4196468 140737386169504 140737386152048 139758446231287 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
/proc/3770/statm: 6828530 31870 3030 1 0 6790935 0
[pid=3770/tid=3771] ppid=3767 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/3770/task/3771/stat : 3771 (java) R 3767 3767 3266 0 -1 4202560 9797 0 0 0 26 4 0 0 20 0 20 0 418949747 27969658880 31870 33554432000 4194304 4196468 140737386169504 139758418061360 139758426507168 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3772] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3772/stat : 3772 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 31870 33554432000 4194304 4196468 140737386169504 139758450473872 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3773] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3773/stat : 3773 (java) S 3767 3767 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 31870 33554432000 4194304 4196468 140737386169504 139758264630032 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3774] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3774/stat : 3774 (java) S 3767 3767 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 31870 33554432000 4194304 4196468 140737386169504 139758263577744 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3775] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3775/stat : 3775 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 31870 33554432000 4194304 4196468 140737386169504 139758262524944 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3776] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3776/stat : 3776 (java) S 3767 3767 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 31870 33554432000 4194304 4196468 140737386169504 139758261471632 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3777] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3777/stat : 3777 (java) S 3767 3767 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 31870 33554432000 4194304 4196468 140737386169504 139758260418832 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3778] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3778/stat : 3778 (java) S 3767 3767 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 31870 33554432000 4194304 4196468 140737386169504 139758259366544 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3779] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3779/stat : 3779 (java) S 3767 3767 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949750 27969658880 31870 33554432000 4194304 4196468 140737386169504 139758258313744 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3780] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3780/stat : 3780 (java) S 3767 3767 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949751 27969658880 31870 33554432000 4194304 4196468 140737386169504 139756833536624 139758446242434 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3781] ppid=3767 vsize=27314120 memory=279700350115200 CPUtime=0 cores=0-7
/proc/3770/task/3781/stat : 3781 (java) S 3767 3767 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418949752 27969658880 31870 33554432000 4194304 4196468 140737386169504 139756222539040 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3782] ppid=3767 vsize=27314120 memory=279700350119808 CPUtime=0 cores=0-7
/proc/3770/task/3782/stat : 3782 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949752 27969658880 31870 33554432000 4194304 4196468 140737386169504 139755954103920 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3783] ppid=3767 vsize=27314120 memory=279700350124416 CPUtime=0 cores=0-7
/proc/3770/task/3783/stat : 3783 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949754 27969658880 31870 33554432000 4194304 4196468 140737386169504 139755579595344 139758446249883 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3784] ppid=3767 vsize=27314120 memory=279700350129024 CPUtime=0.01 cores=0-7
/proc/3770/task/3784/stat : 3784 (java) S 3767 3767 3266 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 20 0 418949754 27969658880 31870 33554432000 4194304 4196468 140737386169504 139756832483440 139758446242434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3785] ppid=3767 vsize=27314120 memory=279700350133632 CPUtime=0 cores=0-7
/proc/3770/task/3785/stat : 3785 (java) S 3767 3767 3266 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 418949754 27969658880 31870 33554432000 4194304 4196468 140737386169504 139756831430640 139758446242434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3786] ppid=3767 vsize=27314120 memory=279700350138240 CPUtime=0.01 cores=0-7
/proc/3770/task/3786/stat : 3786 (java) R 3767 3767 3266 0 -1 4202560 198 0 0 0 1 0 0 0 20 0 20 0 418949754 27969658880 31870 33554432000 4194304 4196468 140737386169504 139756830378352 139758431357142 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3787] ppid=3767 vsize=27314120 memory=279700350142848 CPUtime=0.07 cores=0-7
/proc/3770/task/3787/stat : 3787 (java) S 3767 3767 3266 0 -1 1077944384 514 0 0 0 7 0 0 0 20 0 20 0 418949754 27969658880 31936 33554432000 4194304 4196468 140737386169504 139756829325552 139758446242434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3788] ppid=3767 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3788/stat : 3788 (java) S 3767 3767 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418949755 27969658880 31936 33554432000 4194304 4196468 140737386169504 139755081689952 139758446241493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3789] ppid=3767 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3770/task/3789/stat : 3789 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949755 27969658880 31936 33554432000 4194304 4196468 140737386169504 139756828273456 139758446242434 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128876 KiB

[startup+0.700863 s]
/proc/loadavg: 6.60 8.14 8.22 2/211 3789
/proc/meminfo: memFree=31193324/32770624 swapFree=66996976/67108860
[pid=3767] ppid=3764 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3767/stat : 3767 (scop.sh) S 3764 3767 3266 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418949746 115843072 349 33554432000 4194304 5098028 140731862136624 140731862133880 139987204092540 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12488704 140731862143781 140731862144108 140731862144108 140731862147021 0
/proc/3767/statm: 28282 349 296 221 0 87 0
[pid=3770] ppid=3767 vsize=27320392 memory=165304 CPUtime=1.02 cores=0-7
/proc/3770/stat : 3770 (java) S 3767 3767 3266 0 -1 1077944320 20436 0 0 0 94 8 0 0 20 0 20 0 418949747 27976081408 41326 33554432000 4194304 4196468 140737386169504 140737386152048 139758446231287 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
/proc/3770/statm: 6830098 41326 3186 1 0 6791447 0
[pid=3770/tid=3771] ppid=3767 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7
/proc/3770/task/3771/stat : 3771 (java) R 3767 3767 3266 0 -1 4202560 17374 0 0 0 62 6 0 0 20 0 20 0 418949747 27976081408 41326 33554432000 4194304 4196468 140737386169504 139758418069152 139758446253213 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3772] ppid=3767 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3772/stat : 3772 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949750 27976081408 41326 33554432000 4194304 4196468 140737386169504 139758450473872 139758446241493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3773] ppid=3767 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/3770/task/3773/stat : 3773 (java) S 3767 3767 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949750 27976081408 41326 33554432000 4194304 4196468 140737386169504 139758264630032 139758446241493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0
[pid=3770/tid=3774] ppid=3767 vsize=27320392 memory=2828 CPUtime=0 cores=0-7
/proc/3770/task/3774/stat : 3774 (java) S 3767 3767 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418949750 27976081408 41326 33554432000 4194304 4196468 140737386169504 139758263577744 139758446241493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13746176 140737386173164 140737386173590 140737386173590 140737386176463 0

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

[pid=3793/tid=3801] ppid=3767 vsize=8414124 memory=676 CPUtime=0 cores=0-7
/proc/3793/task/3801/stat : 3801 (java) S 3767 3767 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418952449 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475656202512 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3802] ppid=3767 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/3793/task/3802/stat : 3802 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418952449 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475655149968 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3803] ppid=3767 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/3793/task/3803/stat : 3803 (java) S 3767 3767 3266 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418952450 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475084270320 140475857066626 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3804] ppid=3767 vsize=8414124 memory=3028 CPUtime=0 cores=0-7
/proc/3793/task/3804/stat : 3804 (java) S 3767 3767 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418952451 8616062976 30299 33554432000 4194304 4196468 140726101310448 140474153166496 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3805] ppid=3767 vsize=8414124 memory=2012 CPUtime=0 cores=0-7
/proc/3793/task/3805/stat : 3805 (java) S 3767 3767 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418952451 8616062976 30299 33554432000 4194304 4196468 140726101310448 140474018944240 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3806] ppid=3767 vsize=8414124 memory=1388 CPUtime=0 cores=0-7
/proc/3793/task/3806/stat : 3806 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418952453 8616062976 30299 33554432000 4194304 4196468 140726101310448 140473644440016 140475857074075 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3807] ppid=3767 vsize=8414124 memory=8112282956445269571 CPUtime=0.1 cores=0-7
/proc/3793/task/3807/stat : 3807 (java) S 3767 3767 3266 0 -1 1077944384 595 0 0 0 10 0 0 0 20 0 24 0 418952453 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475083217136 140475857066626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3808] ppid=3767 vsize=8414124 memory=3972 CPUtime=0.06 cores=0-7
/proc/3793/task/3808/stat : 3808 (java) S 3767 3767 3266 0 -1 1077944384 143 0 0 0 6 0 0 0 20 0 24 0 418952453 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475082164592 140475857066626 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3809] ppid=3767 vsize=8414124 memory=2828 CPUtime=0.12 cores=0-7
/proc/3793/task/3809/stat : 3809 (java) S 3767 3767 3266 0 -1 1077944384 696 0 0 0 12 0 0 0 20 0 24 0 418952453 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475081111536 140475857066626 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3810] ppid=3767 vsize=8414124 memory=676 CPUtime=0.22 cores=0-7
/proc/3793/task/3810/stat : 3810 (java) S 3767 3767 3266 0 -1 1077944384 612 0 0 0 22 0 0 0 20 0 24 0 418952453 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475080058992 140475857066626 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3811] ppid=3767 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/3793/task/3811/stat : 3811 (java) S 3767 3767 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418952453 8616062976 30299 33554432000 4194304 4196468 140726101310448 140473146534880 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3812] ppid=3767 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/3793/task/3812/stat : 3812 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418952454 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475079007408 140475857066626 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3814] ppid=3767 vsize=8414124 memory=8560 CPUtime=0 cores=0-7
/proc/3793/task/3814/stat : 3814 (java) S 3767 3767 3266 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418952524 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475160245696 140475857080089 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3816] ppid=3767 vsize=8414124 memory=1668 CPUtime=0 cores=0-7
/proc/3793/task/3816/stat : 3816 (java) S 3767 3767 3266 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418952524 8616062976 30299 33554432000 4194304 4196468 140726101310448 140472475434512 140475857077405 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3817] ppid=3767 vsize=8414124 memory=1112 CPUtime=0 cores=0-7
/proc/3793/task/3817/stat : 3817 (java) S 3767 3767 3266 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418952524 8616062976 30299 33554432000 4194304 4196468 140726101310448 140472743870096 140475857077405 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3818] ppid=3767 vsize=8414124 memory=1004 CPUtime=0 cores=0-7
/proc/3793/task/3818/stat : 3818 (java) S 3767 3767 3266 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418952526 8616062976 30299 33554432000 4194304 4196468 140726101310448 140472207006640 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
Current children cumulated CPU time: 50.12 s
Current children cumulated vsize: 8674880 KiB
Current children cumulated memory: 245724 KiB

[startup+28.6011 s]
/proc/loadavg: 4.82 7.60 8.04 2/216 3818
/proc/meminfo: memFree=31155472/32770624 swapFree=66996976/67108860
[pid=3767] ppid=3764 vsize=113128 memory=1476 CPUtime=48.17 cores=0-7
/proc/3767/stat : 3767 (scop.sh) S 3764 3767 3266 0 -1 4202496 582 45832 0 0 0 0 4600 217 20 0 1 0 418949746 115843072 369 33554432000 4194304 5098028 140731862136624 140731862133368 139987204092540 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12488704 140731862143781 140731862144108 140731862144108 140731862147021 0
/proc/3767/statm: 28282 369 311 221 0 87 0
[pid=3793] ppid=3767 vsize=8414124 memory=121196 CPUtime=1.33 cores=0-7
/proc/3793/stat : 3793 (java) S 3767 3767 3266 0 -1 1077944320 20829 0 0 0 125 8 0 0 20 0 24 0 418952447 8616062976 30299 33554432000 4194304 4196468 140726101310448 140726101292992 140475857055479 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
/proc/3793/statm: 2103531 30299 3213 1 0 2064875 0
[pid=3813] ppid=3793 vsize=994888 memory=386264 CPUtime=0.95 cores=0-7
/proc/3813/stat : 3813 (manyglucose-4.1) S 3793 3767 3266 0 -1 1077944320 61392 0 0 0 77 18 0 0 20 0 9 0 418952524 1018765312 96566 33554432000 4194304 4454172 140728155777824 140728155776224 139830845323906 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 21299200 140728155784042 140728155784240 140728155784240 140728155787194 0
/proc/3813/statm: 248722 96566 403 64 0 244390 0
[pid=3793/tid=3794] ppid=3767 vsize=8414124 memory=1112 CPUtime=0.79 cores=0-7
/proc/3793/task/3794/stat : 3794 (java) S 3767 3767 3266 0 -1 1077944384 17366 0 0 0 73 6 0 0 20 0 24 0 418952447 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475828895648 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3795] ppid=3767 vsize=8414124 memory=1004 CPUtime=0 cores=0-7
/proc/3793/task/3795/stat : 3795 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418952449 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475861298192 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3796] ppid=3767 vsize=8414124 memory=5976 CPUtime=0 cores=0-7
/proc/3793/task/3796/stat : 3796 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418952449 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475661466768 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3797] ppid=3767 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/3793/task/3797/stat : 3797 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418952449 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475660413712 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3798] ppid=3767 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/3793/task/3798/stat : 3798 (java) S 3767 3767 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418952449 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475659361168 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3799] ppid=3767 vsize=8414124 memory=22300 CPUtime=0 cores=0-7
/proc/3793/task/3799/stat : 3799 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418952449 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475658308112 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3800] ppid=3767 vsize=8414124 memory=11960 CPUtime=0 cores=0-7
/proc/3793/task/3800/stat : 3800 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418952449 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475657255568 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3801] ppid=3767 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/3793/task/3801/stat : 3801 (java) S 3767 3767 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418952449 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475656202512 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3802] ppid=3767 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/3793/task/3802/stat : 3802 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418952449 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475655149968 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3803] ppid=3767 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/3793/task/3803/stat : 3803 (java) S 3767 3767 3266 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418952450 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475084270320 140475857066626 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3804] ppid=3767 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/3793/task/3804/stat : 3804 (java) S 3767 3767 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418952451 8616062976 30299 33554432000 4194304 4196468 140726101310448 140474153166496 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3805] ppid=3767 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/3793/task/3805/stat : 3805 (java) S 3767 3767 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418952451 8616062976 30299 33554432000 4194304 4196468 140726101310448 140474018944240 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3806] ppid=3767 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/3793/task/3806/stat : 3806 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418952453 8616062976 30299 33554432000 4194304 4196468 140726101310448 140473644440016 140475857074075 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3807] ppid=3767 vsize=8414124 memory=14971165911288375 CPUtime=0.1 cores=0-7
/proc/3793/task/3807/stat : 3807 (java) S 3767 3767 3266 0 -1 1077944384 595 0 0 0 10 0 0 0 20 0 24 0 418952453 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475083217136 140475857066626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3808] ppid=3767 vsize=8414124 memory=1060 CPUtime=0.06 cores=0-7
/proc/3793/task/3808/stat : 3808 (java) S 3767 3767 3266 0 -1 1077944384 143 0 0 0 6 0 0 0 20 0 24 0 418952453 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475082164592 140475857066626 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3809] ppid=3767 vsize=8414124 memory=1548 CPUtime=0.12 cores=0-7
/proc/3793/task/3809/stat : 3809 (java) S 3767 3767 3266 0 -1 1077944384 696 0 0 0 12 0 0 0 20 0 24 0 418952453 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475081111536 140475857066626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3810] ppid=3767 vsize=8414124 memory=8560 CPUtime=0.22 cores=0-7
/proc/3793/task/3810/stat : 3810 (java) S 3767 3767 3266 0 -1 1077944384 613 0 0 0 22 0 0 0 20 0 24 0 418952453 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475080058992 140475857066626 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3811] ppid=3767 vsize=8414124 memory=1668 CPUtime=0 cores=0-7
/proc/3793/task/3811/stat : 3811 (java) S 3767 3767 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418952453 8616062976 30299 33554432000 4194304 4196468 140726101310448 140473146534880 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3812] ppid=3767 vsize=8414124 memory=1112 CPUtime=0 cores=0-7
/proc/3793/task/3812/stat : 3812 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418952454 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475079007408 140475857066626 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3814] ppid=3767 vsize=8414124 memory=1004 CPUtime=0 cores=0-7
/proc/3793/task/3814/stat : 3814 (java) S 3767 3767 3266 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418952524 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475160245696 140475857080089 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3816] ppid=3767 vsize=8414124 memory=5976 CPUtime=0 cores=0-7
/proc/3793/task/3816/stat : 3816 (java) S 3767 3767 3266 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418952524 8616062976 30299 33554432000 4194304 4196468 140726101310448 140472475434512 140475857077405 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3817] ppid=3767 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/3793/task/3817/stat : 3817 (java) S 3767 3767 3266 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418952524 8616062976 30299 33554432000 4194304 4196468 140726101310448 140472743870096 140475857077405 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3818] ppid=3767 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/3793/task/3818/stat : 3818 (java) S 3767 3767 3266 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418952526 8616062976 30299 33554432000 4194304 4196468 140726101310448 140472207006640 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
Current children cumulated CPU time: 50.45 s
Current children cumulated vsize: 9522140 KiB
Current children cumulated memory: 508936 KiB

[startup+28.7011 s]
/proc/loadavg: 4.82 7.60 8.04 2/216 3818
/proc/meminfo: memFree=31155472/32770624 swapFree=66996976/67108860
[pid=3767] ppid=3764 vsize=113128 memory=1476 CPUtime=48.17 cores=0-7
/proc/3767/stat : 3767 (scop.sh) S 3764 3767 3266 0 -1 4202496 582 45832 0 0 0 0 4600 217 20 0 1 0 418949746 115843072 369 33554432000 4194304 5098028 140731862136624 140731862133368 139987204092540 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12488704 140731862143781 140731862144108 140731862144108 140731862147021 0
/proc/3767/statm: 28282 369 311 221 0 87 0
[pid=3793] ppid=3767 vsize=8414124 memory=121196 CPUtime=1.33 cores=0-7
/proc/3793/stat : 3793 (java) S 3767 3767 3266 0 -1 1077944320 20829 0 0 0 125 8 0 0 20 0 24 0 418952447 8616062976 30299 33554432000 4194304 4196468 140726101310448 140726101292992 140475857055479 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
/proc/3793/statm: 2103531 30299 3213 1 0 2064875 0
[pid=3813] ppid=3793 vsize=995944 memory=388200 CPUtime=1.11 cores=0-7
/proc/3813/stat : 3813 (manyglucose-4.1) S 3793 3767 3266 0 -1 1077944320 62241 0 0 0 91 20 0 0 20 0 2 0 418952524 1019846656 97050 33554432000 4194304 4454172 140728155777824 140728155776208 139830845312759 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 21299200 140728155784042 140728155784240 140728155784240 140728155787194 0
/proc/3813/statm: 248986 97050 419 64 0 244654 0
[pid=3793/tid=3794] ppid=3767 vsize=8414124 memory=2241 CPUtime=0.79 cores=0-7
/proc/3793/task/3794/stat : 3794 (java) S 3767 3767 3266 0 -1 1077944384 17366 0 0 0 73 6 0 0 20 0 24 0 418952447 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475828895648 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3795] ppid=3767 vsize=8414124 memory=2244 CPUtime=0 cores=0-7
/proc/3793/task/3795/stat : 3795 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418952449 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475861298192 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3796] ppid=3767 vsize=8414124 memory=3504 CPUtime=0 cores=0-7
/proc/3793/task/3796/stat : 3796 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418952449 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475661466768 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3797] ppid=3767 vsize=8414124 memory=40840 CPUtime=0 cores=0-7
/proc/3793/task/3797/stat : 3797 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418952449 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475660413712 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3798] ppid=3767 vsize=8414124 memory=3028 CPUtime=0 cores=0-7
/proc/3793/task/3798/stat : 3798 (java) S 3767 3767 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418952449 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475659361168 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3799] ppid=3767 vsize=8414124 memory=2012 CPUtime=0 cores=0-7
/proc/3793/task/3799/stat : 3799 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418952449 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475658308112 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3800] ppid=3767 vsize=8414124 memory=121196 CPUtime=0 cores=0-7
/proc/3793/task/3800/stat : 3800 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418952449 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475657255568 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3801] ppid=3767 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/3793/task/3801/stat : 3801 (java) S 3767 3767 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418952449 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475656202512 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3802] ppid=3767 vsize=8414124 memory=6323188 CPUtime=0 cores=0-7
/proc/3793/task/3802/stat : 3802 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418952449 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475655149968 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3803] ppid=3767 vsize=8414124 memory=139850175104672 CPUtime=0 cores=0-7
/proc/3793/task/3803/stat : 3803 (java) S 3767 3767 3266 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418952450 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475084270320 140475857066626 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3804] ppid=3767 vsize=8414124 memory=139850175104704 CPUtime=0 cores=0-7
/proc/3793/task/3804/stat : 3804 (java) S 3767 3767 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418952451 8616062976 30299 33554432000 4194304 4196468 140726101310448 140474153166496 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3805] ppid=3767 vsize=8414124 memory=139850175104736 CPUtime=0 cores=0-7
/proc/3793/task/3805/stat : 3805 (java) S 3767 3767 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418952451 8616062976 30299 33554432000 4194304 4196468 140726101310448 140474018944240 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3806] ppid=3767 vsize=8414124 memory=139850175104768 CPUtime=0 cores=0-7
/proc/3793/task/3806/stat : 3806 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418952453 8616062976 30299 33554432000 4194304 4196468 140726101310448 140473644440016 140475857074075 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3807] ppid=3767 vsize=8414124 memory=121196 CPUtime=0.1 cores=0-7
/proc/3793/task/3807/stat : 3807 (java) S 3767 3767 3266 0 -1 1077944384 595 0 0 0 10 0 0 0 20 0 24 0 418952453 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475083217136 140475857066626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3808] ppid=3767 vsize=8414124 memory=64272 CPUtime=0.06 cores=0-7
/proc/3793/task/3808/stat : 3808 (java) S 3767 3767 3266 0 -1 1077944384 143 0 0 0 6 0 0 0 20 0 24 0 418952453 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475082164592 140475857066626 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3809] ppid=3767 vsize=8414124 memory=500 CPUtime=0.12 cores=0-7
/proc/3793/task/3809/stat : 3809 (java) S 3767 3767 3266 0 -1 1077944384 696 0 0 0 12 0 0 0 20 0 24 0 418952453 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475081111536 140475857066626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3810] ppid=3767 vsize=8414124 memory=1560 CPUtime=0.22 cores=0-7
/proc/3793/task/3810/stat : 3810 (java) S 3767 3767 3266 0 -1 1077944384 613 0 0 0 22 0 0 0 20 0 24 0 418952453 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475080058992 140475857066626 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3811] ppid=3767 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/3793/task/3811/stat : 3811 (java) S 3767 3767 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418952453 8616062976 30299 33554432000 4194304 4196468 140726101310448 140473146534880 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3812] ppid=3767 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/3793/task/3812/stat : 3812 (java) S 3767 3767 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418952454 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475079007408 140475857066626 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3814] ppid=3767 vsize=8414124 memory=1004 CPUtime=0 cores=0-7
/proc/3793/task/3814/stat : 3814 (java) S 3767 3767 3266 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418952524 8616062976 30299 33554432000 4194304 4196468 140726101310448 140475160245696 140475857080089 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3816] ppid=3767 vsize=8414124 memory=5976 CPUtime=0 cores=0-7
/proc/3793/task/3816/stat : 3816 (java) S 3767 3767 3266 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418952524 8616062976 30299 33554432000 4194304 4196468 140726101310448 140472475434512 140475857077405 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3817] ppid=3767 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/3793/task/3817/stat : 3817 (java) S 3767 3767 3266 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418952524 8616062976 30299 33554432000 4194304 4196468 140726101310448 140472743870096 140475857077405 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
[pid=3793/tid=3818] ppid=3767 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/3793/task/3818/stat : 3818 (java) S 3767 3767 3266 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418952526 8616062976 30299 33554432000 4194304 4196468 140726101310448 140472207006640 140475857065685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140726101316600 140726101316758 140726101316758 140726101319631 0
Current children cumulated CPU time: 50.61 s
Current children cumulated vsize: 9523196 KiB
Current children cumulated memory: 510872 KiB

Child status: 0
Real time (s): 28.7477
CPU time (s): 50.7413
CPU user time (s): 48.2493
CPU system time (s): 2.49208
CPU usage (%): 176.506
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6325108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.2493
system time used= 2.49208
maximum resident set size= 6323796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129994
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23601
involuntary context switches= 95


# summary of solver processes directly reported to runsolver:
#   pid: 3767
#   total CPU time (s): 50.7413
#   total CPU user time (s): 48.2493
#   total CPU system time (s): 2.49208

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.257357 second user time and 0.315705 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-14 04:08:28
IDJOB=4392357
IDBENCH=126615
IDSOLVER=2838
FILE ID=node103/4392357-1568426967
RUNJOBID= node103-1568426882-3293
PBS_JOBID= 21702292
Free space on /tmp= 61712 MiB

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

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

MD5SUM BENCH= 7f38f9e4cc6c9387b3de2b1a6255283e
RANDOM SEED=2085625420

node103.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.74
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.74
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.74
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.74
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:        31334288 kB
MemAvailable:   31889040 kB
Buffers:           97748 kB
Cached:           740716 kB
SwapCached:         9132 kB
Active:           603972 kB
Inactive:         247016 kB
Active(anon):       6624 kB
Inactive(anon):    47004 kB
Active(file):     597348 kB
Inactive(file):   200012 kB
Unevictable:      111168 kB
Mlocked:          111168 kB
SwapTotal:      67108860 kB
SwapFree:       66996976 kB
Dirty:             26092 kB
Writeback:             0 kB
AnonPages:        125376 kB
Mapped:            45032 kB
Shmem:             32644 kB
Slab:             175668 kB
SReclaimable:     146452 kB
SUnreclaim:        29216 kB
KernelStack:        3712 kB
PageTables:         5268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61692 MiB
End job on node103 at 2019-09-14 04:08:57