Trace number 4405517

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 hybrid+ManyGlucose (2019-09-22)UNSAT 52.4765 29.5234

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-8996-serial-file.bin HOME/instance-4405517-1569336073.xml
0.66/0.53	
0.66/0.53	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 16:40:33 CEST 2019
0.66/0.56	c PID: 8999
0.66/0.56	c IP: 172.20.3.151
0.66/0.56	c HOST: node151.alineos.net
0.66/0.57	c (0,0) Parsing Begin
12.04/6.15	c (5,5) Parsing End
12.04/6.15	c (5,5) CSP: 630 int (0 aux), 18 bool (0 aux), 92027 ctr, max domain size 8
12.04/6.16	c (5,5) Heap : 3717 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
12.04/6.16	c (5,5) Constraint Name Generate Begin
12.49/6.45	c (5,5) Ctr:HOME/instance-4405517-1569336073.xml,Cardinality:Instantiation:LexMatrix:Ne:Num:Or:Var
12.49/6.45	c (5,5) Constraint Name Generate End
12.49/6.45	c (5,5) Heap : 3829 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
12.49/6.45	c (5,5) CSP to CSPinCNF Begin
14.21/7.10	c (6,6) translated 9203 (10%) constraints
14.63/7.38	c (6,6) translated 18406 (20%) constraints
14.97/7.66	c (7,7) translated 27609 (30%) constraints
15.27/7.94	c (7,7) translated 36811 (40%) constraints
15.58/8.21	c (7,7) translated 46014 (50%) constraints
15.78/8.49	c (7,7) translated 55217 (60%) constraints
16.07/8.76	c (8,8) translated 64419 (70%) constraints
16.43/9.04	c (8,8) translated 73622 (80%) constraints
16.72/9.31	c (8,8) translated 82825 (90%) constraints
20.15/10.64	c (10,10) translated 92027 (100%) constraints
26.34/14.22	c (13,13) ===========================================
26.94/14.44	c (13,13) Hybrid: #OE=1633, #LE=5256
26.94/14.44	c (13,13) Hybrid
26.94/14.44	c (13,13) ===========================================
28.13/15.06	c (14,14) translated 10480 (10%) constraints
28.73/15.60	c (15,14) translated 20960 (20%) constraints
29.33/16.15	c (15,15) translated 31440 (30%) constraints
29.92/16.70	c (16,15) translated 41920 (40%) constraints
30.42/17.24	c (16,16) translated 52400 (50%) constraints
30.92/17.79	c (17,17) translated 62880 (60%) constraints
31.52/18.33	c (17,17) translated 73360 (70%) constraints
32.02/18.87	c (18,18) translated 83840 (80%) constraints
32.87/19.48	c (18,18) translated 94320 (90%) constraints
33.94/20.06	c (19,19) translated 104800 (100%) constraints
33.94/20.07	c (19,19) CSP to CSPinCNF End
33.94/20.07	c (19,19) CSP: 630 int (0 aux), 11443 bool (11425 aux), 115312 ctr, max domain size 8
33.94/20.07	c (19,19) Heap : 4305 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
33.94/20.07	c (19,19) CSPinCNF Propagation Begin
36.08/21.14	c (20,20) 1216 values, 26560 unsatisfiable literals, and 21911 valid clauses are removed
36.08/21.14	c (20,20) CSPinCNF Propagation End
36.08/21.14	c (20,20) CSP: 630 int (0 aux), 11443 bool (11425 aux), 93401 ctr, max domain size 8
36.08/21.14	c (20,20) Heap : 5179 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
36.52/21.40	c (20,20) Hybrid: #OE=6817, #LE=5256
36.52/21.40	c (20,20) Simplify CSPinCNF Begin
40.47/23.38	c (22,22) Simplify CSPinCNF End
40.47/23.39	c (22,22) CSP: 630 int (0 aux), 53521 bool (53503 aux), 135479 ctr, max domain size 8
40.47/23.39	c (22,22) Heap : 650 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
40.47/23.39	c (22,22) Calculate Precise Domain Begin
40.47/23.39	c (22,22) 0 values are removed by re-calculation
40.47/23.39	c (22,22) Calculate Precise Domain End
40.80/23.41	c (22,22) CSP: 630 int (0 aux), 53521 bool (53503 aux), 135479 ctr, max domain size 8
40.80/23.41	c (22,22) Heap : 650 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
40.80/23.41	c (22,22) CSPinCNF to SatSolver Begin
44.09/24.43	c (23,23) 13548 (10 %) CSP clauses are encoded (0 SAT variables, 85827 SAT clauses)
44.53/24.88	c (24,23) 27096 (20 %) CSP clauses are encoded (0 SAT variables, 164720 SAT clauses)
45.03/25.31	c (24,24) 40644 (30 %) CSP clauses are encoded (0 SAT variables, 238832 SAT clauses)
45.44/25.75	c (25,24) 54192 (40 %) CSP clauses are encoded (0 SAT variables, 313021 SAT clauses)
45.75/26.06	c (25,25) 67740 (50 %) CSP clauses are encoded (0 SAT variables, 357467 SAT clauses)
45.95/26.24	c (25,25) 81288 (60 %) CSP clauses are encoded (0 SAT variables, 371015 SAT clauses)
46.14/26.41	c (25,25) 94836 (70 %) CSP clauses are encoded (0 SAT variables, 384563 SAT clauses)
46.24/26.58	c (26,25) 108384 (80 %) CSP clauses are encoded (0 SAT variables, 398111 SAT clauses)
47.70/27.06	c (26,26) 121932 (90 %) CSP clauses are encoded (0 SAT variables, 522699 SAT clauses)
48.85/27.51	c (26,26) 135479 (100 %) CSP clauses are encoded (0 SAT variables, 660670 SAT clauses)
48.85/27.51	c (26,26) CSPinCNF to SatSolver End
48.85/27.51	c (26,26) Heap : 3328 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
48.85/27.51	c (26,26) 133503 bool, 660677 clause
48.85/27.51	c (26,26) Export Begin
49.11/27.64	c (27,26) Export to HOME/scop-8996-serial-file.bin
49.11/27.64	c (27,26) Export End
49.11/27.64	c (27,26) Export File Size: 0.11 MB
49.11/27.64	c (27,26) 5,5,19,20,22,22,26,STOP-AFTER(DIMACS)
49.11/27.64	c END-Prog: Tue Sep 24 16:41:00 CEST 2019
49.11/27.69	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8996-serial-file.bin
49.79/28.14	c (0,0) Read Serial File Begin
49.79/28.14	c (0,0) HOME/scop-8996-serial-file.bin
50.05/28.39	c (0,0) Read Serial File End
50.33/28.40	
50.33/28.40	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
50.33/28.40	(Solving Process)
50.33/28.40	
50.33/28.42	c BEGIN-Prog: Tue Sep 24 16:41:01 CEST 2019
50.33/28.42	c PID: 9019
50.33/28.42	c IP: 172.20.3.151
50.33/28.42	c HOST: node151.alineos.net
50.33/28.43	c (0,0) SatSolver.solve Begin
50.33/28.43	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405517-1569336073.xml-scop-8999.cnf
50.33/28.45	c (0,0) c
50.33/28.45	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)
50.33/28.45	c (0,0) c
50.33/28.45	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
50.33/28.45	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
50.33/28.45	c (0,0) c ========================================[ Problem Statistics ]===========================================
50.33/28.45	c (0,0) c |                                                                                                       |
50.62/28.70	c (0,0) c |  Number of variables:        133503                                                                   |
50.62/28.70	c (0,0) c |  Number of clauses:          660549                                                                   |
50.62/28.70	c (0,0) c |  Parse time:                   0.22 s                                                                 |
50.62/28.70	c (0,0) c |                                                                                                       |
51.17/29.09	c (1,0) c |  Simplification time:          0.38 s                                                                 |
51.17/29.09	c (1,0) c |                                                                                                       |
51.17/29.09	c (1,0) c |  Generating clones                                                                                    |
51.46/29.37	c (1,0) c |  all clones generated. Memory =   489.36Mb.                                                           |
51.46/29.37	c (1,0) c ========================================================================================================|
51.46/29.37	c (1,0) c
51.46/29.37	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
51.46/29.37	c (1,0) c
51.46/29.37	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
51.46/29.37	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
51.46/29.37	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
51.46/29.37	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
51.46/29.37	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
51.46/29.37	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
51.46/29.37	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
51.46/29.37	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
51.46/29.37	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
51.46/29.37	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
51.46/29.37	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
51.46/29.37	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
51.46/29.37	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
51.46/29.37	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
51.46/29.37	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
51.46/29.37	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
51.46/29.37	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
51.46/29.37	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
51.46/29.37	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
51.76/29.49	c (1,0) c
51.76/29.49	c (1,0) c real time : 1.03523 s
51.76/29.49	c (1,0) c cpu time  : 1.58078 s
51.76/29.49	c (1,0) c
51.76/29.49	c (1,0) c
51.76/29.49	c (1,0) c
51.76/29.49	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
51.76/29.49	c (1,0) c
51.76/29.49	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
51.76/29.49	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
51.76/29.49	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
51.76/29.49	c (1,0) c | Conflicts     |           33769 |       3454 |       3014 |       3079 |       3286 |       5459 |       3378 |       5949 |       6150 |
51.76/29.49	c (1,0) c | Decisions     |           60023 |       6265 |       6157 |       6814 |       6757 |       9170 |       6634 |       9264 |       8962 |
51.76/29.49	c (1,0) c | Propagations  |         4866096 |     678460 |     663488 |     659595 |     672342 |     447593 |     750507 |     469081 |     525030 |
51.76/29.49	c (1,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
51.76/29.49	c (1,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
51.76/29.49	c (1,0) c | Restarts      |              52 |          6 |          9 |         13 |          7 |          3 |          8 |          3 |          3 |
51.76/29.49	c (1,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
51.76/29.49	c (1,0) c | PropBinClauses|         4765744 |     605541 |     624779 |     596089 |     603711 |     548813 |     686038 |     497630 |     603143 |
51.76/29.49	c (1,0) c | PropPreBlocker|        21454815 |    2280383 |    1986284 |    2223672 |    2298391 |    3101774 |    2296875 |    3645228 |    3622208 |
51.76/29.49	c (1,0) c | PropNotBlocker|         6799592 |     758075 |     647299 |     714104 |     761420 |     939067 |     768141 |    1176621 |    1034865 |
51.76/29.49	c (1,0) c | LitFullScans  |        48414161 |    6000467 |    4995466 |    5610796 |    6001206 |    5851253 |    5918098 |    7043086 |    6993789 |
51.76/29.49	c (1,0) c | LitScanFracts |             167 |         66 |          0 |          0 |         41 |          0 |          0 |         30 |         30 |
51.76/29.49	c (1,0) c | DecisionLevel0|             108 |         11 |         13 |         20 |          9 |         14 |         11 |         15 |         15 |
51.76/29.49	c (1,0) c | Periods       |               4 |          1 |          0 |          0 |          1 |          0 |          0 |          1 |          1 |
51.76/29.49	c (1,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
51.76/29.49	c (1,0) c | Avg_Trail     |                 |       1040 |       1381 |       1403 |       1487 |        823 |       1211 |        937 |        851 |
51.76/29.49	c (1,0) c | Avg_DL        |                 |         34 |         52 |         44 |         83 |         52 |         26 |         61 |         44 |
51.76/29.49	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
51.76/29.49	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
51.76/29.49	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
51.76/29.49	c (1,0) c | Exported      |            2492 |         66 |         52 |         60 |         54 |        519 |         40 |        808 |        893 |
51.76/29.49	c (1,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
51.76/29.49	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
51.76/29.49	c (1,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
51.76/29.49	c (1,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
51.76/29.49	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
51.76/29.49	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
51.76/29.49	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
51.76/29.49	c (1,0) c | Unaries       |                 |          5 |          4 |          7 |          2 |         11 |          3 |         12 |         12 |
51.76/29.49	c (1,0) c | Binaries      |                 |         41 |         18 |         28 |         20 |         31 |         12 |         28 |         39 |
51.76/29.49	c (1,0) c | Glues         |                 |         66 |         52 |         60 |         54 |        185 |         40 |        167 |        165 |
51.76/29.49	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
51.76/29.49	c (1,0) c | Orig_Seen     |             0 % |       1537 |       1607 |       1700 |       1846 |       1615 |       1590 |       1691 |       1165 |
51.76/29.49	c (1,0) c | Diff Orig seen|                 | -       78 | -        8 |         85 |        231 |      X     | -       25 |         76 | -      450 |
51.76/29.49	c (1,0) c | Hamming       |             0 % |        865 |        817 |        987 |        968 |      X     |        944 |        762 |       1172 |
51.76/29.49	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
51.76/29.49	c (1,0) c | RunningTime   |                 |    0.1 100%|    0.1 100%|    0.1 100%|    0.1 100%|    0.1  99%|    0.1  99%|    0.1 100%|    0.1 100%|
51.76/29.49	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%|
51.76/29.49	c (1,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   1%|    0.0   1%|    0.0   0%|    0.0   0%|
51.76/29.49	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%|
51.76/29.49	c (1,0) c | SolvingTime   |                 |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |
51.76/29.49	c (1,0) c | PropagationTim|                 |    0.1  71%|    0.1  71%|    0.1  71%|    0.1  71%|    0.1  75%|    0.1  71%|    0.1  76%|    0.1  74%|
51.76/29.49	c (1,0) c | AnalysisTime  |                 |    0.0  21%|    0.0  20%|    0.0  21%|    0.0  21%|    0.0  15%|    0.0  20%|    0.0  16%|    0.0  17%|
51.76/29.49	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%|
51.76/29.49	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%|
51.76/29.49	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%|
51.76/29.49	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%|
51.76/29.49	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
51.76/29.49	c (1,0) c
51.76/29.49	c (1,0) c
51.76/29.49	c (1,0) c Threads : 8
51.76/29.49	c (1,0) c Winner : 4
51.76/29.49	c (1,0) c Conflicts_0 : 3454
51.76/29.49	c (1,0) c Conflicts_1 : 3014
51.76/29.49	c (1,0) c Conflicts_2 : 3079
51.76/29.49	c (1,0) c Conflicts_3 : 3286
51.76/29.49	c (1,0) c Conflicts_4 : 5459
51.76/29.49	c (1,0) c Conflicts_5 : 3378
51.76/29.49	c (1,0) c Conflicts_6 : 5949
51.76/29.49	c (1,0) c Conflicts_7 : 6150
51.76/29.49	c (1,0) c Conflicts_total : 33769
51.76/29.49	c (1,0) c Conflicts_winner : 5459
51.76/29.49	c (1,0) c Decisions_0 : 6265
51.76/29.49	c (1,0) c Decisions_1 : 6157
51.76/29.49	c (1,0) c Decisions_2 : 6814
51.76/29.49	c (1,0) c Decisions_3 : 6757
51.76/29.49	c (1,0) c Decisions_4 : 9170
51.76/29.49	c (1,0) c Decisions_5 : 6634
51.76/29.49	c (1,0) c Decisions_6 : 9264
51.76/29.49	c (1,0) c Decisions_7 : 8962
51.76/29.49	c (1,0) c Decisions_total : 60023
51.76/29.49	c (1,0) c Decisions_winner : 9170
51.76/29.49	c (1,0) c Propagations_0 : 678460
51.76/29.49	c (1,0) c Propagations_1 : 663488
51.76/29.49	c (1,0) c Propagations_2 : 659595
51.76/29.49	c (1,0) c Propagations_3 : 672342
51.76/29.49	c (1,0) c Propagations_4 : 447593
51.76/29.49	c (1,0) c Propagations_5 : 750507
51.76/29.49	c (1,0) c Propagations_6 : 469081
51.76/29.49	c (1,0) c Propagations_7 : 525030
51.76/29.49	c (1,0) c Propagations_total : 4866096
51.76/29.49	c (1,0) c Propagations_winner : 447593
51.76/29.49	c (1,0) c ReduceDBs_0 : 1
51.76/29.49	c (1,0) c ReduceDBs_1 : 1
51.76/29.49	c (1,0) c ReduceDBs_2 : 1
51.76/29.49	c (1,0) c ReduceDBs_3 : 1
51.76/29.49	c (1,0) c ReduceDBs_4 : 1
51.76/29.49	c (1,0) c ReduceDBs_5 : 1
51.76/29.49	c (1,0) c ReduceDBs_6 : 1
51.76/29.49	c (1,0) c ReduceDBs_7 : 1
51.76/29.49	c (1,0) c ReduceDBs_total : 8
51.76/29.49	c (1,0) c ReduceDBs_winner : 1
51.76/29.49	c (1,0) c SimpDBs_0 : 1
51.76/29.49	c (1,0) c SimpDBs_1 : 1
51.76/29.49	c (1,0) c SimpDBs_2 : 1
51.76/29.49	c (1,0) c SimpDBs_3 : 1
51.76/29.49	c (1,0) c SimpDBs_4 : 1
51.76/29.49	c (1,0) c SimpDBs_5 : 1
51.76/29.49	c (1,0) c SimpDBs_6 : 1
51.76/29.49	c (1,0) c SimpDBs_7 : 1
51.76/29.49	c (1,0) c SimpDBs_total : 8
51.76/29.49	c (1,0) c SimpDBs_winner : 1
51.76/29.49	c (1,0) c Restarts_0 : 6
51.76/29.49	c (1,0) c Restarts_1 : 9
51.76/29.49	c (1,0) c Restarts_2 : 13
51.76/29.49	c (1,0) c Restarts_3 : 7
51.76/29.49	c (1,0) c Restarts_4 : 3
51.76/29.49	c (1,0) c Restarts_5 : 8
51.76/29.49	c (1,0) c Restarts_6 : 3
51.76/29.49	c (1,0) c Restarts_7 : 3
51.76/29.49	c (1,0) c Restarts_total : 52
51.76/29.49	c (1,0) c Restarts_winner : 3
51.76/29.49	c (1,0) c ForcedImports_0 : 0
51.76/29.49	c (1,0) c ForcedImports_1 : 0
51.76/29.49	c (1,0) c ForcedImports_2 : 0
51.76/29.49	c (1,0) c ForcedImports_3 : 0
51.76/29.49	c (1,0) c ForcedImports_4 : 0
51.76/29.49	c (1,0) c ForcedImports_5 : 0
51.76/29.49	c (1,0) c ForcedImports_6 : 0
51.76/29.49	c (1,0) c ForcedImports_7 : 0
51.76/29.49	c (1,0) c ForcedImports_total : 0
51.76/29.49	c (1,0) c ForcedImports_winner : 0
51.76/29.49	c (1,0) c PropsBinClauses_0 : 605541
51.76/29.49	c (1,0) c PropsBinClauses_1 : 624779
51.76/29.49	c (1,0) c PropsBinClauses_2 : 596089
51.76/29.49	c (1,0) c PropsBinClauses_3 : 603711
51.76/29.49	c (1,0) c PropsBinClauses_4 : 548813
51.76/29.49	c (1,0) c PropsBinClauses_5 : 686038
51.76/29.49	c (1,0) c PropsBinClauses_6 : 497630
51.76/29.49	c (1,0) c PropsBinClauses_7 : 603143
51.76/29.49	c (1,0) c PropsBinClauses_total : 4765744
51.76/29.49	c (1,0) c PropsBinClauses_winner : 548813
51.76/29.49	c (1,0) c PropsPreBlocker_0 : 2280383
51.76/29.49	c (1,0) c PropsPreBlocker_1 : 1986284
51.76/29.49	c (1,0) c PropsPreBlocker_2 : 2223672
51.76/29.49	c (1,0) c PropsPreBlocker_3 : 2298391
51.76/29.49	c (1,0) c PropsPreBlocker_4 : 3101774
51.76/29.49	c (1,0) c PropsPreBlocker_5 : 2296875
51.76/29.49	c (1,0) c PropsPreBlocker_6 : 3645228
51.76/29.49	c (1,0) c PropsPreBlocker_7 : 3622208
51.76/29.49	c (1,0) c PropsPreBlocker_total : 21454815
51.76/29.49	c (1,0) c PropsPreBlocker_winner : 3101774
51.76/29.49	c (1,0) c PropsNotBlocker_0 : 758075
51.76/29.49	c (1,0) c PropsNotBlocker_1 : 647299
51.76/29.49	c (1,0) c PropsNotBlocker_2 : 714104
51.76/29.49	c (1,0) c PropsNotBlocker_3 : 761420
51.76/29.49	c (1,0) c PropsNotBlocker_4 : 939067
51.76/29.49	c (1,0) c PropsNotBlocker_5 : 768141
51.76/29.49	c (1,0) c PropsNotBlocker_6 : 1176621
51.76/29.49	c (1,0) c PropsNotBlocker_7 : 1034865
51.76/29.49	c (1,0) c PropsNotBlocker_total : 6799592
51.76/29.49	c (1,0) c PropsNotBlocker_winner : 939067
51.76/29.49	c (1,0) c PropsLitFullScans_0 : 6000467
51.76/29.49	c (1,0) c PropsLitFullScans_1 : 4995466
51.76/29.49	c (1,0) c PropsLitFullScans_2 : 5610796
51.76/29.49	c (1,0) c PropsLitFullScans_3 : 6001206
51.76/29.49	c (1,0) c PropsLitFullScans_4 : 5851253
51.76/29.49	c (1,0) c PropsLitFullScans_5 : 5918098
51.76/29.49	c (1,0) c PropsLitFullScans_6 : 7043086
51.76/29.49	c (1,0) c PropsLitFullScans_7 : 6993789
51.76/29.49	c (1,0) c PropsLitFullScans_total : 48414161
51.76/29.49	c (1,0) c PropsLitFullScans_winner : 5851253
51.76/29.49	c (1,0) c LitScanFractions_0 : 66
51.76/29.49	c (1,0) c LitScanFractions_1 : 0
51.76/29.49	c (1,0) c LitScanFractions_2 : 0
51.76/29.49	c (1,0) c LitScanFractions_3 : 41
51.76/29.49	c (1,0) c LitScanFractions_4 : 0
51.76/29.49	c (1,0) c LitScanFractions_5 : 0
51.76/29.49	c (1,0) c LitScanFractions_6 : 30
51.76/29.49	c (1,0) c LitScanFractions_7 : 30
51.76/29.49	c (1,0) c LitScanFractions_total : 167
51.76/29.49	c (1,0) c LitScanFractions_winner : 0
51.76/29.49	c (1,0) c DecisionLevel0_0 : 11
51.76/29.49	c (1,0) c DecisionLevel0_1 : 13
51.76/29.49	c (1,0) c DecisionLevel0_2 : 20
51.76/29.49	c (1,0) c DecisionLevel0_3 : 9
51.76/29.49	c (1,0) c DecisionLevel0_4 : 14
51.76/29.49	c (1,0) c DecisionLevel0_5 : 11
51.76/29.49	c (1,0) c DecisionLevel0_6 : 15
51.76/29.49	c (1,0) c DecisionLevel0_7 : 15
51.76/29.49	c (1,0) c DecisionLevel0_total : 108
51.76/29.49	c (1,0) c DecisionLevel0_winner : 14
51.76/29.49	c (1,0) c Periods_0 : 1
51.76/29.49	c (1,0) c Periods_1 : 0
51.76/29.50	c (1,0) c Periods_2 : 0
51.76/29.50	c (1,0) c Periods_3 : 1
51.76/29.50	c (1,0) c Periods_4 : 0
51.76/29.50	c (1,0) c Periods_5 : 0
51.76/29.50	c (1,0) c Periods_6 : 1
51.76/29.50	c (1,0) c Periods_7 : 1
51.76/29.50	c (1,0) c Periods_total : 4
51.76/29.50	c (1,0) c Periods_winner : 0
51.76/29.50	c (1,0) c Margin_0 : 20
51.76/29.50	c (1,0) c Margin_1 : 20
51.76/29.50	c (1,0) c Margin_2 : 20
51.76/29.50	c (1,0) c Margin_3 : 20
51.76/29.50	c (1,0) c Margin_4 : 20
51.76/29.50	c (1,0) c Margin_5 : 20
51.76/29.50	c (1,0) c Margin_6 : 20
51.76/29.50	c (1,0) c Margin_7 : 20
51.76/29.50	c (1,0) c Margin_total : 160
51.76/29.50	c (1,0) c Margin_winner : 20
51.76/29.50	c (1,0) c Exported_0 : 66
51.76/29.50	c (1,0) c Exported_1 : 52
51.76/29.50	c (1,0) c Exported_2 : 60
51.76/29.50	c (1,0) c Exported_3 : 54
51.76/29.50	c (1,0) c Exported_4 : 519
51.76/29.50	c (1,0) c Exported_5 : 40
51.76/29.50	c (1,0) c Exported_6 : 808
51.76/29.50	c (1,0) c Exported_7 : 893
51.76/29.50	c (1,0) c Exported_total : 2492
51.76/29.50	c (1,0) c Exported_winner : 519
51.76/29.50	c (1,0) c Imported_0 : 0
51.76/29.50	c (1,0) c Imported_1 : 0
51.76/29.50	c (1,0) c Imported_2 : 0
51.76/29.50	c (1,0) c Imported_3 : 0
51.76/29.50	c (1,0) c Imported_4 : 0
51.76/29.50	c (1,0) c Imported_5 : 0
51.76/29.50	c (1,0) c Imported_6 : 0
51.76/29.50	c (1,0) c Imported_7 : 0
51.76/29.50	c (1,0) c Imported_total : 0
51.76/29.50	c (1,0) c Imported_winner : 0
51.76/29.50	c (1,0) c Good_0 : 0
51.76/29.50	c (1,0) c Good_1 : 0
51.76/29.50	c (1,0) c Good_2 : 0
51.76/29.50	c (1,0) c Good_3 : 0
51.76/29.50	c (1,0) c Good_4 : 0
51.76/29.50	c (1,0) c Good_5 : 0
51.76/29.50	c (1,0) c Good_6 : 0
51.76/29.50	c (1,0) c Good_7 : 0
51.76/29.50	c (1,0) c Good_total : 0
51.76/29.50	c (1,0) c Good_winner : 0
51.76/29.50	c (1,0) c Purge_0 : 0
51.76/29.50	c (1,0) c Purge_1 : 0
51.76/29.50	c (1,0) c Purge_2 : 0
51.76/29.50	c (1,0) c Purge_3 : 0
51.76/29.50	c (1,0) c Purge_4 : 0
51.76/29.50	c (1,0) c Purge_5 : 0
51.76/29.50	c (1,0) c Purge_6 : 0
51.76/29.50	c (1,0) c Purge_7 : 0
51.76/29.50	c (1,0) c Purge_total : 0
51.76/29.50	c (1,0) c Purge_winner : 0
51.76/29.50	c (1,0) c Promoted_0 : 0
51.76/29.50	c (1,0) c Promoted_1 : 0
51.76/29.50	c (1,0) c Promoted_2 : 0
51.76/29.50	c (1,0) c Promoted_3 : 0
51.76/29.50	c (1,0) c Promoted_4 : 0
51.76/29.50	c (1,0) c Promoted_5 : 0
51.76/29.50	c (1,0) c Promoted_6 : 0
51.76/29.50	c (1,0) c Promoted_7 : 0
51.76/29.50	c (1,0) c Promoted_total : 0
51.76/29.50	c (1,0) c Promoted_winner : 0
51.76/29.50	c (1,0) c Remove_Imp_0 : 0
51.76/29.50	c (1,0) c Remove_Imp_1 : 0
51.76/29.50	c (1,0) c Remove_Imp_2 : 0
51.76/29.50	c (1,0) c Remove_Imp_3 : 0
51.76/29.50	c (1,0) c Remove_Imp_4 : 0
51.76/29.50	c (1,0) c Remove_Imp_5 : 0
51.76/29.50	c (1,0) c Remove_Imp_6 : 0
51.76/29.50	c (1,0) c Remove_Imp_7 : 0
51.76/29.50	c (1,0) c Remove_Imp_total : 0
51.76/29.50	c (1,0) c Remove_Imp_winner : 0
51.76/29.50	c (1,0) c Blocked_Reuse_0 : 0
51.76/29.50	c (1,0) c Blocked_Reuse_1 : 0
51.76/29.50	c (1,0) c Blocked_Reuse_2 : 0
51.76/29.50	c (1,0) c Blocked_Reuse_3 : 0
51.76/29.50	c (1,0) c Blocked_Reuse_4 : 0
51.76/29.50	c (1,0) c Blocked_Reuse_5 : 0
51.76/29.50	c (1,0) c Blocked_Reuse_6 : 0
51.76/29.50	c (1,0) c Blocked_Reuse_7 : 0
51.76/29.50	c (1,0) c Blocked_Reuse_total : 0
51.76/29.50	c (1,0) c Blocked_Reuse_winner : 0
51.76/29.50	c (1,0) c Unaries_0 : 5
51.76/29.50	c (1,0) c Unaries_1 : 4
51.76/29.50	c (1,0) c Unaries_2 : 7
51.76/29.50	c (1,0) c Unaries_3 : 2
51.76/29.50	c (1,0) c Unaries_4 : 11
51.76/29.50	c (1,0) c Unaries_5 : 3
51.76/29.50	c (1,0) c Unaries_6 : 12
51.76/29.50	c (1,0) c Unaries_7 : 12
51.76/29.50	c (1,0) c Unaries_total : 56
51.76/29.50	c (1,0) c Unaries_winner : 11
51.76/29.50	c (1,0) c Binaries_0 : 41
51.76/29.50	c (1,0) c Binaries_1 : 18
51.76/29.50	c (1,0) c Binaries_2 : 28
51.76/29.50	c (1,0) c Binaries_3 : 20
51.76/29.50	c (1,0) c Binaries_4 : 31
51.76/29.50	c (1,0) c Binaries_5 : 12
51.76/29.50	c (1,0) c Binaries_6 : 28
51.76/29.50	c (1,0) c Binaries_7 : 39
51.76/29.50	c (1,0) c Binaries_total : 217
51.76/29.50	c (1,0) c Binaries_winner : 31
51.76/29.50	c (1,0) c Glues_0 : 66
51.76/29.50	c (1,0) c Glues_1 : 52
51.76/29.50	c (1,0) c Glues_2 : 60
51.76/29.50	c (1,0) c Glues_3 : 54
51.76/29.50	c (1,0) c Glues_4 : 185
51.76/29.50	c (1,0) c Glues_5 : 40
51.76/29.50	c (1,0) c Glues_6 : 167
51.76/29.50	c (1,0) c Glues_7 : 165
51.76/29.50	c (1,0) c Glues_total : 789
51.76/29.50	c (1,0) c Glues_winner : 185
51.76/29.50	c (1,0) c RunningTime_0 : 0.105276
51.76/29.50	c (1,0) c RunningTime_1 : 0.097537
51.76/29.50	c (1,0) c RunningTime_2 : 0.100007
51.76/29.50	c (1,0) c RunningTime_3 : 0.106420
51.76/29.50	c (1,0) c RunningTime_4 : 0.090846
51.76/29.50	c (1,0) c RunningTime_5 : 0.112882
51.76/29.50	c (1,0) c RunningTime_6 : 0.099015
51.76/29.50	c (1,0) c RunningTime_7 : 0.100223
51.76/29.50	c (1,0) c RunningTime_total : 0.812205
51.76/29.50	c (1,0) c RunningTime_winner : 0.090846
51.76/29.50	c (1,0) c WaitingTime_0 : 0.000000
51.76/29.50	c (1,0) c WaitingTime_1 : 0.000000
51.76/29.50	c (1,0) c WaitingTime_2 : 0.000000
51.76/29.50	c (1,0) c WaitingTime_3 : 0.000000
51.76/29.50	c (1,0) c WaitingTime_4 : 0.000000
51.76/29.50	c (1,0) c WaitingTime_5 : 0.000000
51.76/29.50	c (1,0) c WaitingTime_6 : 0.000000
51.76/29.50	c (1,0) c WaitingTime_7 : 0.000000
51.76/29.50	c (1,0) c WaitingTime_total : 0.000000
51.76/29.50	c (1,0) c WaitingTime_winner : 0.000000
51.76/29.50	c (1,0) c ExchangingTime_0 : 0.000330
51.76/29.50	c (1,0) c ExchangingTime_1 : 0.000459
51.76/29.50	c (1,0) c ExchangingTime_2 : 0.000419
51.76/29.50	c (1,0) c ExchangingTime_3 : 0.000322
51.76/29.50	c (1,0) c ExchangingTime_4 : 0.001261
51.76/29.50	c (1,0) c ExchangingTime_5 : 0.001030
51.76/29.50	c (1,0) c ExchangingTime_6 : 0.000334
51.76/29.50	c (1,0) c ExchangingTime_7 : 0.000321
51.76/29.50	c (1,0) c ExchangingTime_total : 0.004476
51.76/29.50	c (1,0) c ExchangingTime_winner : 0.001261
51.76/29.50	c (1,0) c PeriodProcTime_0 : 0.000005
51.76/29.50	c (1,0) c PeriodProcTime_1 : 0.000000
51.76/29.50	c (1,0) c PeriodProcTime_2 : 0.000000
51.76/29.50	c (1,0) c PeriodProcTime_3 : 0.000004
51.76/29.50	c (1,0) c PeriodProcTime_4 : 0.000000
51.76/29.50	c (1,0) c PeriodProcTime_5 : 0.000000
51.76/29.50	c (1,0) c PeriodProcTime_6 : 0.000034
51.76/29.50	c (1,0) c PeriodProcTime_7 : 0.000005
51.76/29.50	c (1,0) c PeriodProcTime_total : 0.000048
51.76/29.50	c (1,0) c PeriodProcTime_winner : 0.000000
51.76/29.50	c (1,0) c SolvingTime_0 : 0.105611
51.76/29.50	c (1,0) c SolvingTime_1 : 0.097996
51.76/29.50	c (1,0) c SolvingTime_2 : 0.100426
51.76/29.50	c (1,0) c SolvingTime_3 : 0.106745
51.76/29.50	c (1,0) c SolvingTime_4 : 0.092107
51.76/29.50	c (1,0) c SolvingTime_5 : 0.113912
51.76/29.50	c (1,0) c SolvingTime_6 : 0.099383
51.76/29.50	c (1,0) c SolvingTime_7 : 0.100549
51.76/29.50	c (1,0) c SolvingTime_total : 0.816729
51.76/29.50	c (1,0) c SolvingTime_winner : 0.092107
51.76/29.50	c (1,0) c PropagationTime_0 : 0.074522
51.76/29.50	c (1,0) c PropagationTime_1 : 0.069717
51.76/29.50	c (1,0) c PropagationTime_2 : 0.071025
51.76/29.50	c (1,0) c PropagationTime_3 : 0.075665
51.76/29.50	c (1,0) c PropagationTime_4 : 0.069088
51.76/29.50	c (1,0) c PropagationTime_5 : 0.080927
51.76/29.50	c (1,0) c PropagationTime_6 : 0.075055
51.76/29.50	c (1,0) c PropagationTime_7 : 0.074185
51.76/29.50	c (1,0) c PropagationTime_total : 0.590182
51.76/29.50	c (1,0) c PropagationTime_winner : 0.069088
51.76/29.50	c (1,0) c AnalysisTime_0 : 0.022314
51.76/29.50	c (1,0) c AnalysisTime_1 : 0.019501
51.76/29.50	c (1,0) c AnalysisTime_2 : 0.020920
51.76/29.50	c (1,0) c AnalysisTime_3 : 0.022238
51.76/29.50	c (1,0) c AnalysisTime_4 : 0.013405
51.76/29.50	c (1,0) c AnalysisTime_5 : 0.022932
51.76/29.50	c (1,0) c AnalysisTime_6 : 0.015533
51.76/29.50	c (1,0) c AnalysisTime_7 : 0.017166
51.76/29.50	c (1,0) c AnalysisTime_total : 0.154009
51.76/29.50	c (1,0) c AnalysisTime_winner : 0.013405
51.76/29.50	c (1,0) c ReductionTime_0 : 0.000305
51.76/29.50	c (1,0) c ReductionTime_1 : 0.000317
51.76/29.50	c (1,0) c ReductionTime_2 : 0.000318
51.76/29.50	c (1,0) c ReductionTime_3 : 0.000306
51.76/29.50	c (1,0) c ReductionTime_4 : 0.000307
51.76/29.50	c (1,0) c ReductionTime_5 : 0.000323
51.76/29.50	c (1,0) c ReductionTime_6 : 0.000317
51.76/29.50	c (1,0) c ReductionTime_7 : 0.000307
51.76/29.50	c (1,0) c ReductionTime_total : 0.002500
51.76/29.50	c (1,0) c ReductionTime_winner : 0.000307
51.76/29.50	c (1,0) c SimplifyTime_0 : 0.000001
51.76/29.50	c (1,0) c SimplifyTime_1 : 0.000001
51.76/29.50	c (1,0) c SimplifyTime_2 : 0.000002
51.76/29.50	c (1,0) c SimplifyTime_3 : 0.000000
51.76/29.50	c (1,0) c SimplifyTime_4 : 0.000000
51.76/29.50	c (1,0) c SimplifyTime_5 : 0.000001
51.76/29.50	c (1,0) c SimplifyTime_6 : 0.000001
51.76/29.50	c (1,0) c SimplifyTime_7 : 0.000001
51.76/29.50	c (1,0) c SimplifyTime_total : 0.000007
51.76/29.50	c (1,0) c SimplifyTime_winner : 0.000000
51.76/29.50	c (1,0) c UsedRateTime_0 : 0.000000
51.76/29.50	c (1,0) c UsedRateTime_1 : 0.000000
51.76/29.50	c (1,0) c UsedRateTime_2 : 0.000000
51.76/29.50	c (1,0) c UsedRateTime_3 : 0.000000
51.76/29.50	c (1,0) c UsedRateTime_4 : 0.000000
51.76/29.50	c (1,0) c UsedRateTime_5 : 0.000000
51.76/29.50	c (1,0) c UsedRateTime_6 : 0.000000
51.76/29.50	c (1,0) c UsedRateTime_7 : 0.000000
51.76/29.50	c (1,0) c UsedRateTime_total : 0.000000
51.76/29.50	c (1,0) c UsedRateTime_winner : 0.000000
51.76/29.50	c (1,0) c OverlapRateTime_0 : 0.000000
51.76/29.50	c (1,0) c OverlapRateTime_1 : 0.000000
51.76/29.50	c (1,0) c OverlapRateTime_2 : 0.000000
51.76/29.50	c (1,0) c OverlapRateTime_3 : 0.000000
51.76/29.50	c (1,0) c OverlapRateTime_4 : 0.000000
51.76/29.50	c (1,0) c OverlapRateTime_5 : 0.000000
51.76/29.50	c (1,0) c OverlapRateTime_6 : 0.000000
51.76/29.50	c (1,0) c OverlapRateTime_7 : 0.000000
51.76/29.50	c (1,0) c OverlapRateTime_total : 0.000000
51.76/29.50	c (1,0) c OverlapRateTime_winner : 0.000000
51.76/29.50	c (1,0) c
51.76/29.50	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
51.76/29.50	c (1,0) c
51.76/29.50	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
51.76/29.50	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
51.76/29.50	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
51.76/29.50	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
51.76/29.50	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
51.76/29.50	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
51.76/29.50	c (1,0) c | Initial random_seed   |  861298460 |  598786092 |  753458775 |  170333232 | 2060611846 | 1313605343 | 2022169566 |  928175887 |
51.76/29.50	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
51.76/29.50	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
51.76/29.50	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
51.76/29.50	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
51.76/29.50	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
51.76/29.50	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
51.76/29.50	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
51.76/29.50	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8100 |     0.8000 |     0.8100 |     0.8100 |
51.76/29.50	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
51.76/29.50	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
51.76/29.50	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
51.76/29.50	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
51.76/29.50	c (1,0) 
51.76/29.50	c (1,0) s UNSATISFIABLE
50.67/29.51	c (1,0) SatSolver.solve End
50.67/29.51	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
50.67/29.51	c (1,0) Show results Begin
50.67/29.51	s UNSATISFIABLE
50.67/29.51	c (1,0) Show results End
50.67/29.51	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
50.67/29.51	c (1,0) 1,1,STOP-AFTER(ALL)
50.67/29.51	c END-Prog: Tue Sep 24 16:41:02 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 (11864 MiB free)
  memory of node 1: 16384 MiB (8919 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405517-1569336073/watcher-4405517-1569336073 -o /tmp/evaluation-result-4405517-1569336073/solver-4405517-1569336073 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405517-1569336073.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
Current StackSize limit: 8192 KiB

solver pid=8996, runsolver pid=8993

[startup+0.100146 s]*
/proc/loadavg: 1.34 0.43 0.19 2/212 9018
/proc/meminfo: memFree=21185096/32770624 swapFree=66956296/67108860
[pid=8996] ppid=8993 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8996/stat : 8996 (scop.sh) S 8993 8996 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509878596 115843072 349 33554432000 4194304 5098028 140729831425936 140729831423192 139807722238588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40566784 140729831428900 140729831429228 140729831429228 140729831432141 0
/proc/8996/statm: 28282 349 296 221 0 87 0
[pid=8999] ppid=8996 vsize=27314120 memory=107904 CPUtime=0.1 cores=0-7
/proc/8999/stat : 8999 (java) S 8996 8996 8819 0 -1 1077944320 6480 0 0 0 8 2 0 0 20 0 20 0 509878596 27969658880 26976 33554432000 4194304 4196468 140721816473568 140721816456112 139746355281655 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
/proc/8999/statm: 6828530 26976 2818 1 0 6790935 0
[pid=8999/tid=9000] ppid=8996 vsize=27314120 memory=4788342844978000800 CPUtime=0.09 cores=0-7
/proc/8999/task/9000/stat : 9000 (java) R 8996 8996 8819 0 -1 4202560 4582 0 0 0 7 2 0 0 20 0 20 0 509878596 27969658880 26976 33554432000 4194304 4196468 140721816473568 139746327116784 139746339325285 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9001] ppid=8996 vsize=27314120 memory=732370468015815653 CPUtime=0 cores=0-7
/proc/8999/task/9001/stat : 9001 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 26976 33554432000 4194304 4196468 140721816473568 139746359523600 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9002] ppid=8996 vsize=27314120 memory=140329678362240 CPUtime=0 cores=0-7
/proc/8999/task/9002/stat : 9002 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 26976 33554432000 4194304 4196468 140721816473568 139746173680016 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9003] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9003/stat : 9003 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 26976 33554432000 4194304 4196468 140721816473568 139746172627472 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9004] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9004/stat : 9004 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 26976 33554432000 4194304 4196468 140721816473568 139746171574928 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9005] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9005/stat : 9005 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 26976 33554432000 4194304 4196468 140721816473568 139746170522384 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9006] ppid=8996 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8999/task/9006/stat : 9006 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 26976 33554432000 4194304 4196468 140721816473568 139746169469840 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9007] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9007/stat : 9007 (java) S 8996 8996 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 26976 33554432000 4194304 4196468 140721816473568 139746168417296 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9008] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9008/stat : 9008 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 26976 33554432000 4194304 4196468 140721816473568 139746167364752 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9009] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9009/stat : 9009 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878600 27969658880 26976 33554432000 4194304 4196468 140721816473568 139744406984688 139746355292802 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9010] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9010/stat : 9010 (java) S 8996 8996 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509878601 27969658880 26976 33554432000 4194304 4196468 140721816473568 139744277160864 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9011] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9011/stat : 9011 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878601 27969658880 26976 33554432000 4194304 4196468 140721816473568 139744008725488 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9012] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9012/stat : 9012 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878603 27969658880 26976 33554432000 4194304 4196468 140721816473568 139743634217168 139746355300251 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9013] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9013/stat : 9013 (java) S 8996 8996 8819 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 20 0 509878603 27969658880 26976 33554432000 4194304 4196468 140721816473568 139744405932528 139746355292802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9014] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9014/stat : 9014 (java) S 8996 8996 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509878603 27969658880 26976 33554432000 4194304 4196468 140721816473568 139744404879984 139746355292802 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9015] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9015/stat : 9015 (java) S 8996 8996 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509878604 27969658880 27488 33554432000 4194304 4196468 140721816473568 139744403827440 139746355292802 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9016] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9016/stat : 9016 (java) S 8996 8996 8819 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 20 0 509878604 27969658880 27488 33554432000 4194304 4196468 140721816473568 139744402774896 139746355292802 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9017] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9017/stat : 9017 (java) S 8996 8996 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509878604 27969658880 27488 33554432000 4194304 4196468 140721816473568 139743136311520 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9018] ppid=8996 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8999/task/9018/stat : 9018 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878604 27969658880 27488 33554432000 4194304 4196468 140721816473568 139744401721776 139746355292802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109300 KiB

[startup+0.210181 s]*
/proc/loadavg: 1.34 0.43 0.19 2/212 9018
/proc/meminfo: memFree=21163492/32770624 swapFree=66956296/67108860
[pid=8996] ppid=8993 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8996/stat : 8996 (scop.sh) S 8993 8996 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509878596 115843072 349 33554432000 4194304 5098028 140729831425936 140729831423192 139807722238588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40566784 140729831428900 140729831429228 140729831429228 140729831432141 0
/proc/8996/statm: 28282 349 296 221 0 87 0
[pid=8999] ppid=8996 vsize=27314120 memory=126784 CPUtime=0.24 cores=0-7
/proc/8999/stat : 8999 (java) S 8996 8996 8819 0 -1 1077944320 12081 0 0 0 20 4 0 0 20 0 20 0 509878596 27969658880 31696 33554432000 4194304 4196468 140721816473568 140721816456112 139746355281655 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
/proc/8999/statm: 6828530 31696 2941 1 0 6790935 0
[pid=8999/tid=9000] ppid=8996 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/8999/task/9000/stat : 9000 (java) R 8996 8996 8819 0 -1 4202560 9818 0 0 0 16 4 0 0 20 0 20 0 509878596 27969658880 31696 33554432000 4194304 4196468 140721816473568 139746327090128 139746335556985 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9001] ppid=8996 vsize=27314120 memory=732370468015815653 CPUtime=0 cores=0-7
/proc/8999/task/9001/stat : 9001 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 31696 33554432000 4194304 4196468 140721816473568 139746359523600 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9002] ppid=8996 vsize=27314120 memory=140329678362240 CPUtime=0 cores=0-7
/proc/8999/task/9002/stat : 9002 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 31696 33554432000 4194304 4196468 140721816473568 139746173680016 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9003] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9003/stat : 9003 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 31696 33554432000 4194304 4196468 140721816473568 139746172627472 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9004] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9004/stat : 9004 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 31696 33554432000 4194304 4196468 140721816473568 139746171574928 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9005] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9005/stat : 9005 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 31696 33554432000 4194304 4196468 140721816473568 139746170522384 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9006] ppid=8996 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8999/task/9006/stat : 9006 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 31696 33554432000 4194304 4196468 140721816473568 139746169469840 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9007] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9007/stat : 9007 (java) S 8996 8996 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 31696 33554432000 4194304 4196468 140721816473568 139746168417296 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9008] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9008/stat : 9008 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 31696 33554432000 4194304 4196468 140721816473568 139746167364752 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9009] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9009/stat : 9009 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878600 27969658880 31696 33554432000 4194304 4196468 140721816473568 139744406984688 139746355292802 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9010] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9010/stat : 9010 (java) S 8996 8996 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509878601 27969658880 31696 33554432000 4194304 4196468 140721816473568 139744277160864 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9011] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9011/stat : 9011 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878601 27969658880 31696 33554432000 4194304 4196468 140721816473568 139744008725488 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9012] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9012/stat : 9012 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878603 27969658880 31696 33554432000 4194304 4196468 140721816473568 139743634217168 139746355300251 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9013] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9013/stat : 9013 (java) S 8996 8996 8819 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 20 0 509878603 27969658880 31696 33554432000 4194304 4196468 140721816473568 139744405932528 139746355292802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9014] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9014/stat : 9014 (java) S 8996 8996 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509878603 27969658880 31696 33554432000 4194304 4196468 140721816473568 139744404879984 139746355292802 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9015] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9015/stat : 9015 (java) S 8996 8996 8819 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 509878604 27969658880 31696 33554432000 4194304 4196468 140721816473568 139744403827440 139746355292802 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9016] ppid=8996 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/8999/task/9016/stat : 9016 (java) S 8996 8996 8819 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 20 0 509878604 27969658880 31696 33554432000 4194304 4196468 140721816473568 139744402774896 139746355292802 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9017] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9017/stat : 9017 (java) S 8996 8996 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509878604 27969658880 31696 33554432000 4194304 4196468 140721816473568 139743136311520 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9018] ppid=8996 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8999/task/9018/stat : 9018 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878604 27969658880 31696 33554432000 4194304 4196468 140721816473568 139744401721776 139746355292802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128180 KiB

[startup+0.309529 s]*
/proc/loadavg: 1.34 0.43 0.19 2/212 9018
/proc/meminfo: memFree=21160700/32770624 swapFree=66956296/67108860
[pid=8996] ppid=8993 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8996/stat : 8996 (scop.sh) S 8993 8996 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509878596 115843072 349 33554432000 4194304 5098028 140729831425936 140729831423192 139807722238588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40566784 140729831428900 140729831429228 140729831429228 140729831432141 0
/proc/8996/statm: 28282 349 296 221 0 87 0
[pid=8999] ppid=8996 vsize=27314120 memory=130388 CPUtime=0.42 cores=0-7
/proc/8999/stat : 8999 (java) S 8996 8996 8819 0 -1 1077944320 12457 0 0 0 37 5 0 0 20 0 20 0 509878596 27969658880 32597 33554432000 4194304 4196468 140721816473568 140721816456112 139746355281655 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
/proc/8999/statm: 6828530 32597 3024 1 0 6790935 0
[pid=8999/tid=9000] ppid=8996 vsize=27314120 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/8999/task/9000/stat : 9000 (java) R 8996 8996 8819 0 -1 4202560 10005 0 0 0 26 4 0 0 20 0 20 0 509878596 27969658880 32597 33554432000 4194304 4196468 140721816473568 139746327081600 139746336846651 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9001] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9001/stat : 9001 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 32597 33554432000 4194304 4196468 140721816473568 139746359523600 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9002] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9002/stat : 9002 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 32597 33554432000 4194304 4196468 140721816473568 139746173680016 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9003] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9003/stat : 9003 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 32597 33554432000 4194304 4196468 140721816473568 139746172627472 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9004] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9004/stat : 9004 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 32597 33554432000 4194304 4196468 140721816473568 139746171574928 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9005] ppid=8996 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/8999/task/9005/stat : 9005 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 32597 33554432000 4194304 4196468 140721816473568 139746170522384 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9006] ppid=8996 vsize=27314120 memory=140329533666223 CPUtime=0 cores=0-7
/proc/8999/task/9006/stat : 9006 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 32597 33554432000 4194304 4196468 140721816473568 139746169469840 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9007] ppid=8996 vsize=27314120 memory=140329533668528 CPUtime=0 cores=0-7
/proc/8999/task/9007/stat : 9007 (java) S 8996 8996 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 32597 33554432000 4194304 4196468 140721816473568 139746168417296 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9008] ppid=8996 vsize=27314120 memory=140329533670832 CPUtime=0 cores=0-7
/proc/8999/task/9008/stat : 9008 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878599 27969658880 32597 33554432000 4194304 4196468 140721816473568 139746167364752 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9009] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9009/stat : 9009 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878600 27969658880 32597 33554432000 4194304 4196468 140721816473568 139744406984688 139746355292802 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9010] ppid=8996 vsize=27314120 memory=280659067348624 CPUtime=0 cores=0-7
/proc/8999/task/9010/stat : 9010 (java) S 8996 8996 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509878601 27969658880 32597 33554432000 4194304 4196468 140721816473568 139744277160864 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9011] ppid=8996 vsize=27314120 memory=280659067355536 CPUtime=0 cores=0-7
/proc/8999/task/9011/stat : 9011 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878601 27969658880 32597 33554432000 4194304 4196468 140721816473568 139744008725488 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9012] ppid=8996 vsize=27314120 memory=280659067296816 CPUtime=0 cores=0-7
/proc/8999/task/9012/stat : 9012 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878603 27969658880 32597 33554432000 4194304 4196468 140721816473568 139743634217168 139746355300251 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9013] ppid=8996 vsize=27314120 memory=280659067369360 CPUtime=0.01 cores=0-7
/proc/8999/task/9013/stat : 9013 (java) S 8996 8996 8819 0 -1 1077944384 373 0 0 0 1 0 0 0 20 0 20 0 509878603 27969658880 32597 33554432000 4194304 4196468 140721816473568 139744405932528 139746355292802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9014] ppid=8996 vsize=27314120 memory=280659067376272 CPUtime=0.01 cores=0-7
/proc/8999/task/9014/stat : 9014 (java) R 8996 8996 8819 0 -1 4202560 111 0 0 0 1 0 0 0 20 0 20 0 509878603 27969658880 32597 33554432000 4194304 4196468 140721816473568 139744404879984 139746332609664 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9015] ppid=8996 vsize=27314120 memory=280659067373968 CPUtime=0 cores=0-7
/proc/8999/task/9015/stat : 9015 (java) S 8996 8996 8819 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 20 0 509878604 27969658880 32597 33554432000 4194304 4196468 140721816473568 139744403827440 139746355292802 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9016] ppid=8996 vsize=27314120 memory=280659067390128 CPUtime=0.07 cores=0-7
/proc/8999/task/9016/stat : 9016 (java) S 8996 8996 8819 0 -1 1077944384 478 0 0 0 7 0 0 0 20 0 20 0 509878604 27969658880 32597 33554432000 4194304 4196468 140721816473568 139744402774896 139746355292802 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9017] ppid=8996 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9017/stat : 9017 (java) S 8996 8996 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509878604 27969658880 32597 33554432000 4194304 4196468 140721816473568 139743136311520 139746355291861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9018] ppid=8996 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8999/task/9018/stat : 9018 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878604 27969658880 32597 33554432000 4194304 4196468 140721816473568 139744401721776 139746355292802 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131784 KiB

[startup+0.700875 s]
/proc/loadavg: 1.34 0.43 0.19 2/212 9018
/proc/meminfo: memFree=21140104/32770624 swapFree=66956296/67108860
[pid=8996] ppid=8993 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8996/stat : 8996 (scop.sh) S 8993 8996 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509878596 115843072 349 33554432000 4194304 5098028 140729831425936 140729831423192 139807722238588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40566784 140729831428900 140729831429228 140729831429228 140729831432141 0
/proc/8996/statm: 28282 349 296 221 0 87 0
[pid=8999] ppid=8996 vsize=27320392 memory=165560 CPUtime=1.02 cores=0-7
/proc/8999/stat : 8999 (java) S 8996 8996 8819 0 -1 1077944320 19964 0 0 0 94 8 0 0 20 0 20 0 509878596 27976081408 41390 33554432000 4194304 4196468 140721816473568 140721816456112 139746355281655 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
/proc/8999/statm: 6830098 41390 3184 1 0 6791447 0
[pid=8999/tid=9000] ppid=8996 vsize=27320392 memory=280659067685056 CPUtime=0.68 cores=0-7
/proc/8999/task/9000/stat : 9000 (java) R 8996 8996 8819 0 -1 4202560 16925 0 0 0 62 6 0 0 20 0 20 0 509878596 27976081408 41390 33554432000 4194304 4196468 140721816473568 139746327117472 139745839755194 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9001] ppid=8996 vsize=27320392 memory=5076651345044 CPUtime=0 cores=0-7
/proc/8999/task/9001/stat : 9001 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878599 27976081408 41390 33554432000 4194304 4196468 140721816473568 139746359523600 139746355291861 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9002] ppid=8996 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9002/stat : 9002 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509878599 27976081408 41390 33554432000 4194304 4196468 140721816473568 139746173680016 139746355291861 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0
[pid=8999/tid=9003] ppid=8996 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/8999/task/9003/stat : 9003 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509878599 27976081408 41902 33554432000 4194304 4196468 140721816473568 139746172627472 139746355291861 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140721816482539 140721816482966 140721816482966 140721816485839 0

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

/proc/9019/task/9025/stat : 9025 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509881367 8616062976 30595 33554432000 4194304 4196468 140727161166480 140672260929808 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9026] ppid=8996 vsize=8414124 memory=6172 CPUtime=0 cores=0-7
/proc/9019/task/9026/stat : 9026 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509881367 8616062976 30595 33554432000 4194304 4196468 140727161166480 140672259877264 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9027] ppid=8996 vsize=8414124 memory=1124 CPUtime=0 cores=0-7
/proc/9019/task/9027/stat : 9027 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509881367 8616062976 30595 33554432000 4194304 4196468 140727161166480 140671934171664 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9028] ppid=8996 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/9019/task/9028/stat : 9028 (java) S 8996 8996 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509881367 8616062976 30595 33554432000 4194304 4196468 140727161166480 140671933119120 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9029] ppid=8996 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/9019/task/9029/stat : 9029 (java) S 8996 8996 8819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509881368 8616062976 30595 33554432000 4194304 4196468 140727161166480 140671279127024 140672454093442 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9030] ppid=8996 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/9019/task/9030/stat : 9030 (java) S 8996 8996 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509881369 8616062976 30595 33554432000 4194304 4196468 140727161166480 140671117682080 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9031] ppid=8996 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9019/task/9031/stat : 9031 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509881369 8616062976 30595 33554432000 4194304 4196468 140727161166480 140670849246704 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9032] ppid=8996 vsize=8414124 memory=14323715934760 CPUtime=0 cores=0-7
/proc/9019/task/9032/stat : 9032 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509881371 8616062976 30595 33554432000 4194304 4196468 140727161166480 140670474738384 140672454100891 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9033] ppid=8996 vsize=8414124 memory=288230583166042426 CPUtime=0.07 cores=0-7
/proc/9019/task/9033/stat : 9033 (java) S 8996 8996 8819 0 -1 1077944384 676 0 0 0 7 0 0 0 20 0 24 0 509881371 8616062976 30595 33554432000 4194304 4196468 140727161166480 140671278073840 140672454093442 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9034] ppid=8996 vsize=8414124 memory=14978858180937137 CPUtime=0.17 cores=0-7
/proc/9019/task/9034/stat : 9034 (java) S 8996 8996 8819 0 -1 1077944384 830 0 0 0 17 0 0 0 20 0 24 0 509881371 8616062976 30595 33554432000 4194304 4196468 140727161166480 140671277021296 140672454093442 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9035] ppid=8996 vsize=8414124 memory=-7003737579269690708 CPUtime=0.07 cores=0-7
/proc/9019/task/9035/stat : 9035 (java) S 8996 8996 8819 0 -1 1077944384 185 0 0 0 7 0 0 0 20 0 24 0 509881371 8616062976 30595 33554432000 4194304 4196468 140727161166480 140671275968752 140672454093442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9036] ppid=8996 vsize=8414124 memory=1328 CPUtime=0.22 cores=0-7
/proc/9019/task/9036/stat : 9036 (java) S 8996 8996 8819 0 -1 1077944384 583 0 0 0 22 0 0 0 20 0 24 0 509881371 8616062976 30595 33554432000 4194304 4196468 140727161166480 140671274916208 140672454093442 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9037] ppid=8996 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/9019/task/9037/stat : 9037 (java) S 8996 8996 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509881371 8616062976 30595 33554432000 4194304 4196468 140727161166480 140669976832736 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9038] ppid=8996 vsize=8414124 memory=976 CPUtime=0 cores=0-7
/proc/9019/task/9038/stat : 9038 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509881372 8616062976 30595 33554432000 4194304 4196468 140727161166480 140671273864112 140672454093442 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9040] ppid=8996 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/9019/task/9040/stat : 9040 (java) S 8996 8996 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509881441 8616062976 30595 33554432000 4194304 4196468 140727161166480 140671265830592 140672454106905 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9042] ppid=8996 vsize=8414124 memory=6401936 CPUtime=0 cores=0-7
/proc/9019/task/9042/stat : 9042 (java) S 8996 8996 8819 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509881441 8616062976 30595 33554432000 4194304 4196468 140727161166480 140669305732368 140672454104221 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9043] ppid=8996 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/9019/task/9043/stat : 9043 (java) S 8996 8996 8819 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509881442 8616062976 30595 33554432000 4194304 4196468 140727161166480 140669574167952 140672454104221 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9044] ppid=8996 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9019/task/9044/stat : 9044 (java) S 8996 8996 8819 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 509881444 8616062976 30595 33554432000 4194304 4196468 140727161166480 140669037305008 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
Current children cumulated CPU time: 51.36 s
Current children cumulated vsize: 8771556 KiB
Current children cumulated memory: 346244 KiB

[startup+29.4048 s]
/proc/loadavg: 1.36 0.52 0.23 2/217 9044
/proc/meminfo: memFree=21080944/32770624 swapFree=66956296/67108860
[pid=8996] ppid=8993 vsize=113128 memory=1476 CPUtime=49.25 cores=0-7
/proc/8996/stat : 8996 (scop.sh) S 8993 8996 8819 0 -1 4202496 583 46401 0 0 0 0 4652 273 20 0 1 0 509878596 115843072 369 33554432000 4194304 5098028 140729831425936 140729831422680 139807722238588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40566784 140729831428900 140729831429228 140729831429228 140729831432141 0
/proc/8996/statm: 28282 369 311 221 0 87 0
[pid=9019] ppid=8996 vsize=8414124 memory=122380 CPUtime=1.37 cores=0-7
/proc/9019/stat : 9019 (java) S 8996 8996 8819 0 -1 1077944320 20072 0 0 0 128 9 0 0 20 0 24 0 509881365 8616062976 30595 33554432000 4194304 4196468 140727161166480 140727161149024 140672454082295 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
/proc/9019/statm: 2103531 30595 3205 1 0 2064875 0
[pid=9039] ppid=9019 vsize=1091356 memory=487268 CPUtime=1.14 cores=0-7
/proc/9039/stat : 9039 (manyglucose-4.1) S 9019 8996 8819 0 -1 1077944320 79608 0 0 0 100 14 0 0 20 0 9 0 509881441 1117548544 121817 33554432000 4194304 4454172 140735912932768 140735912931168 140329138535042 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 37502976 140735912940394 140735912940592 140735912940592 140735912943546 0
/proc/9039/statm: 272839 121817 403 64 0 268507 0
[pid=9019/tid=9020] ppid=8996 vsize=8414124 memory=14978858180937137 CPUtime=0.79 cores=0-7
/proc/9019/task/9020/stat : 9020 (java) S 8996 8996 8819 0 -1 1077944384 16399 0 0 0 72 7 0 0 20 0 24 0 509881365 8616062976 30595 33554432000 4194304 4196468 140727161166480 140672425922464 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9021] ppid=8996 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/9019/task/9021/stat : 9021 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509881367 8616062976 30595 33554432000 4194304 4196468 140727161166480 140672458324752 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9022] ppid=8996 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/9019/task/9022/stat : 9022 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509881367 8616062976 30595 33554432000 4194304 4196468 140727161166480 140672264088464 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9023] ppid=8996 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/9019/task/9023/stat : 9023 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509881367 8616062976 30595 33554432000 4194304 4196468 140727161166480 140672263035920 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9024] ppid=8996 vsize=8414124 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/9019/task/9024/stat : 9024 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509881367 8616062976 30595 33554432000 4194304 4196468 140727161166480 140672261983376 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9025] ppid=8996 vsize=8414124 memory=7886128541282481457 CPUtime=0 cores=0-7
/proc/9019/task/9025/stat : 9025 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509881367 8616062976 30595 33554432000 4194304 4196468 140727161166480 140672260929808 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9026] ppid=8996 vsize=8414124 memory=8242475861831399473 CPUtime=0 cores=0-7
/proc/9019/task/9026/stat : 9026 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509881367 8616062976 30595 33554432000 4194304 4196468 140727161166480 140672259877264 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9027] ppid=8996 vsize=8414124 memory=8386028099987388465 CPUtime=0 cores=0-7
/proc/9019/task/9027/stat : 9027 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509881367 8616062976 30595 33554432000 4194304 4196468 140727161166480 140671934171664 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9028] ppid=8996 vsize=8414124 memory=4137280412607091059 CPUtime=0 cores=0-7
/proc/9019/task/9028/stat : 9028 (java) S 8996 8996 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509881367 8616062976 30595 33554432000 4194304 4196468 140727161166480 140671933119120 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9029] ppid=8996 vsize=8414124 memory=-7812193691855986592 CPUtime=0 cores=0-7
/proc/9019/task/9029/stat : 9029 (java) S 8996 8996 8819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509881368 8616062976 30595 33554432000 4194304 4196468 140727161166480 140671279127024 140672454093442 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9030] ppid=8996 vsize=8414124 memory=-5587106306044206369 CPUtime=0 cores=0-7
/proc/9019/task/9030/stat : 9030 (java) S 8996 8996 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509881369 8616062976 30595 33554432000 4194304 4196468 140727161166480 140671117682080 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9031] ppid=8996 vsize=8414124 memory=-2672971631320983069 CPUtime=0 cores=0-7
/proc/9019/task/9031/stat : 9031 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509881369 8616062976 30595 33554432000 4194304 4196468 140727161166480 140670849246704 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9032] ppid=8996 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/9019/task/9032/stat : 9032 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509881371 8616062976 30595 33554432000 4194304 4196468 140727161166480 140670474738384 140672454100891 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9033] ppid=8996 vsize=8414124 memory=21896 CPUtime=0.07 cores=0-7
/proc/9019/task/9033/stat : 9033 (java) S 8996 8996 8819 0 -1 1077944384 676 0 0 0 7 0 0 0 20 0 24 0 509881371 8616062976 30595 33554432000 4194304 4196468 140727161166480 140671278073840 140672454093442 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9034] ppid=8996 vsize=8414124 memory=504 CPUtime=0.17 cores=0-7
/proc/9019/task/9034/stat : 9034 (java) S 8996 8996 8819 0 -1 1077944384 830 0 0 0 17 0 0 0 20 0 24 0 509881371 8616062976 30595 33554432000 4194304 4196468 140727161166480 140671277021296 140672454093442 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9035] ppid=8996 vsize=8414124 memory=1564 CPUtime=0.07 cores=0-7
/proc/9019/task/9035/stat : 9035 (java) S 8996 8996 8819 0 -1 1077944384 185 0 0 0 7 0 0 0 20 0 24 0 509881371 8616062976 30595 33554432000 4194304 4196468 140727161166480 140671275968752 140672454093442 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9036] ppid=8996 vsize=8414124 memory=924 CPUtime=0.22 cores=0-7
/proc/9019/task/9036/stat : 9036 (java) S 8996 8996 8819 0 -1 1077944384 585 0 0 0 22 0 0 0 20 0 24 0 509881371 8616062976 30595 33554432000 4194304 4196468 140727161166480 140671274916208 140672454093442 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9037] ppid=8996 vsize=8414124 memory=1420 CPUtime=0 cores=0-7
/proc/9019/task/9037/stat : 9037 (java) S 8996 8996 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509881371 8616062976 30595 33554432000 4194304 4196468 140727161166480 140669976832736 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9038] ppid=8996 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/9019/task/9038/stat : 9038 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509881372 8616062976 30595 33554432000 4194304 4196468 140727161166480 140671273864112 140672454093442 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9040] ppid=8996 vsize=8414124 memory=2532 CPUtime=0 cores=0-7
/proc/9019/task/9040/stat : 9040 (java) S 8996 8996 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509881441 8616062976 30595 33554432000 4194304 4196468 140727161166480 140671265830592 140672454106905 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9042] ppid=8996 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/9019/task/9042/stat : 9042 (java) S 8996 8996 8819 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509881441 8616062976 30595 33554432000 4194304 4196468 140727161166480 140669305732368 140672454104221 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9043] ppid=8996 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/9019/task/9043/stat : 9043 (java) S 8996 8996 8819 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509881442 8616062976 30595 33554432000 4194304 4196468 140727161166480 140669574167952 140672454104221 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9044] ppid=8996 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/9019/task/9044/stat : 9044 (java) S 8996 8996 8819 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 509881444 8616062976 30595 33554432000 4194304 4196468 140727161166480 140669037305008 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
Current children cumulated CPU time: 51.76 s
Current children cumulated vsize: 9618608 KiB
Current children cumulated memory: 611124 KiB

[startup+29.5064 s]
/proc/loadavg: 1.36 0.52 0.23 2/217 9044
/proc/meminfo: memFree=21080944/32770624 swapFree=66956296/67108860
[pid=8996] ppid=8993 vsize=113128 memory=1476 CPUtime=49.25 cores=0-7
/proc/8996/stat : 8996 (scop.sh) S 8993 8996 8819 0 -1 4202496 583 46401 0 0 0 0 4652 273 20 0 1 0 509878596 115843072 369 33554432000 4194304 5098028 140729831425936 140729831422680 139807722238588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40566784 140729831428900 140729831429228 140729831429228 140729831432141 0
/proc/8996/statm: 28282 369 311 221 0 87 0
[pid=9019] ppid=8996 vsize=8414124 memory=122652 CPUtime=1.42 cores=0-7
/proc/9019/stat : 9019 (java) S 8996 8996 8819 0 -1 1077944320 20129 0 0 0 133 9 0 0 20 0 24 0 509881365 8616062976 30663 33554432000 4194304 4196468 140727161166480 140727161149024 140672454082295 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
/proc/9019/statm: 2103531 30663 3206 1 0 2064875 0
[pid=9019/tid=9020] ppid=8996 vsize=8414124 memory=-7684191407570971757 CPUtime=0.79 cores=0-7
/proc/9019/task/9020/stat : 9020 (java) S 8996 8996 8819 0 -1 1077944384 16399 0 0 0 72 7 0 0 20 0 24 0 509881365 8616062976 30663 33554432000 4194304 4196468 140727161166480 140672425922464 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9021] ppid=8996 vsize=8414124 memory=122380 CPUtime=0 cores=0-7
/proc/9019/task/9021/stat : 9021 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509881367 8616062976 30663 33554432000 4194304 4196468 140727161166480 140672458324752 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9022] ppid=8996 vsize=8414124 memory=97108 CPUtime=0 cores=0-7
/proc/9019/task/9022/stat : 9022 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509881367 8616062976 30663 33554432000 4194304 4196468 140727161166480 140672264088464 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9023] ppid=8996 vsize=8414124 memory=280659067378040 CPUtime=0 cores=0-7
/proc/9019/task/9023/stat : 9023 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509881367 8616062976 30663 33554432000 4194304 4196468 140727161166480 140672263035920 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9024] ppid=8996 vsize=8414124 memory=40909630605546 CPUtime=0 cores=0-7
/proc/9019/task/9024/stat : 9024 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509881367 8616062976 30663 33554432000 4194304 4196468 140727161166480 140672261983376 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9025] ppid=8996 vsize=8414124 memory=55 CPUtime=0 cores=0-7
/proc/9019/task/9025/stat : 9025 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509881367 8616062976 30663 33554432000 4194304 4196468 140727161166480 140672260929808 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9026] ppid=8996 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9019/task/9026/stat : 9026 (java) S 8996 8996 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509881367 8616062976 30663 33554432000 4194304 4196468 140727161166480 140672259877264 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9027] ppid=8996 vsize=8414124 memory=280659068153728 CPUtime=0 cores=0-7
/proc/9019/task/9027/stat : 9027 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509881367 8616062976 30663 33554432000 4194304 4196468 140727161166480 140671934171664 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9028] ppid=8996 vsize=8414124 memory=6402052 CPUtime=0 cores=0-7
/proc/9019/task/9028/stat : 9028 (java) S 8996 8996 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509881367 8616062976 30663 33554432000 4194304 4196468 140727161166480 140671933119120 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9029] ppid=8996 vsize=8414124 memory=6402052 CPUtime=0 cores=0-7
/proc/9019/task/9029/stat : 9029 (java) S 8996 8996 8819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509881368 8616062976 30663 33554432000 4194304 4196468 140727161166480 140671279127024 140672454093442 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9030] ppid=8996 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/9019/task/9030/stat : 9030 (java) S 8996 8996 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509881369 8616062976 30663 33554432000 4194304 4196468 140727161166480 140671117682080 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9031] ppid=8996 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/9019/task/9031/stat : 9031 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509881369 8616062976 30663 33554432000 4194304 4196468 140727161166480 140670849246704 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9032] ppid=8996 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/9019/task/9032/stat : 9032 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509881371 8616062976 30663 33554432000 4194304 4196468 140727161166480 140670474738384 140672454100891 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9033] ppid=8996 vsize=8414124 memory=6401936 CPUtime=0.08 cores=0-7
/proc/9019/task/9033/stat : 9033 (java) R 8996 8996 8819 0 -1 4202560 677 0 0 0 8 0 0 0 20 0 24 0 509881371 8616062976 30663 33554432000 4194304 4196468 140727161166480 140671278073840 140672437581164 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9034] ppid=8996 vsize=8414124 memory=1808 CPUtime=0.18 cores=0-7
/proc/9019/task/9034/stat : 9034 (java) S 8996 8996 8819 0 -1 1077944384 836 0 0 0 18 0 0 0 20 0 24 0 509881371 8616062976 30663 33554432000 4194304 4196468 140727161166480 140671277021296 140672454093442 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9035] ppid=8996 vsize=8414124 memory=920 CPUtime=0.08 cores=0-7
/proc/9019/task/9035/stat : 9035 (java) S 8996 8996 8819 0 -1 1077944384 189 0 0 0 8 0 0 0 20 0 24 0 509881371 8616062976 30663 33554432000 4194304 4196468 140727161166480 140671275968752 140672454093442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9036] ppid=8996 vsize=8414124 memory=-4075877051373423735 CPUtime=0.24 cores=0-7
/proc/9019/task/9036/stat : 9036 (java) R 8996 8996 8819 0 -1 4202560 623 0 0 0 24 0 0 0 20 0 24 0 509881371 8616062976 30663 33554432000 4194304 4196468 140727161166480 140671274916336 140672446319422 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9037] ppid=8996 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/9019/task/9037/stat : 9037 (java) S 8996 8996 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509881371 8616062976 30663 33554432000 4194304 4196468 140727161166480 140669976832736 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9038] ppid=8996 vsize=8414124 memory=1724 CPUtime=0 cores=0-7
/proc/9019/task/9038/stat : 9038 (java) S 8996 8996 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509881372 8616062976 30663 33554432000 4194304 4196468 140727161166480 140671273864112 140672454093442 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9040] ppid=8996 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/9019/task/9040/stat : 9040 (java) S 8996 8996 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509881441 8616062976 30663 33554432000 4194304 4196468 140727161166480 140671265830592 140672454106905 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9042] ppid=8996 vsize=8414124 memory=51716 CPUtime=0.01 cores=0-7
/proc/9019/task/9042/stat : 9042 (java) S 8996 8996 8819 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 24 0 509881441 8616062976 30663 33554432000 4194304 4196468 140727161166480 140669305732400 140672454104221 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9043] ppid=8996 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/9019/task/9043/stat : 9043 (java) S 8996 8996 8819 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509881442 8616062976 30663 33554432000 4194304 4196468 140727161166480 140669574167952 140672454104221 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
[pid=9019/tid=9044] ppid=8996 vsize=8414124 memory=2032 CPUtime=0 cores=0-7
/proc/9019/task/9044/stat : 9044 (java) S 8996 8996 8819 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 509881444 8616062976 30663 33554432000 4194304 4196468 140727161166480 140669037305008 140672454092501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140727161168888 140727161169046 140727161169046 140727161171919 0
Current children cumulated CPU time: 50.67 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 124128 KiB

Child status: 0
Real time (s): 29.5234
CPU time (s): 52.4765
CPU user time (s): 49.4674
CPU system time (s): 3.00909
CPU usage (%): 177.745
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6407736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.4674
system time used= 3.00909
maximum resident set size= 6406556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147367
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14392
involuntary context switches= 127


# summary of solver processes directly reported to runsolver:
#   pid: 8996
#   total CPU time (s): 52.4765
#   total CPU user time (s): 49.4674
#   total CPU system time (s): 3.00909

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.238005 second user time and 0.351008 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-24 16:40:32
IDJOB=4405517
IDBENCH=126615
IDSOLVER=2868
FILE ID=node151/4405517-1569336073
RUNJOBID= node151-1569335938-8846
PBS_JOBID= 21705046
Free space on /tmp= 12408 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-8-9-9-cp.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid 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-4405517-1569336073/watcher-4405517-1569336073 -o /tmp/evaluation-result-4405517-1569336073/solver-4405517-1569336073 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405517-1569336073.xml

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

MD5SUM BENCH= 7f38f9e4cc6c9387b3de2b1a6255283e
RANDOM SEED=969539028

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21282332 kB
MemAvailable:   31796640 kB
Buffers:           97660 kB
Cached:         10571468 kB
SwapCached:        50992 kB
Active:          5434448 kB
Inactive:        5290492 kB
Active(anon):       4264 kB
Inactive(anon):   105920 kB
Active(file):    5430184 kB
Inactive(file):  5184572 kB
Unevictable:      108536 kB
Mlocked:          108536 kB
SwapTotal:      67108860 kB
SwapFree:       66956296 kB
Dirty:             25816 kB
Writeback:            12 kB
AnonPages:        113360 kB
Mapped:            54304 kB
Shmem:             45944 kB
Slab:             356672 kB
SReclaimable:     328012 kB
SUnreclaim:        28660 kB
KernelStack:        3392 kB
PageTables:         5716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 12388 MiB
End job on node151 at 2019-09-24 16:41:02