Trace number 4405182

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameQRandom/QRandom-mdd-7-25-5-p7/
mdd-7-25-5-ps05-psh07-9.xml
MD5SUM2d7f03e466d78847960dc3f747db29ef
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 benchmark42.4013
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints58
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":25}]
Minimum variable degree12
Maximum variable degree25
Distribution of variable degrees[{"degree":12,"count":1},{"degree":13,"count":3},{"degree":14,"count":6},{"degree":15,"count":2},{"degree":16,"count":3},{"degree":17,"count":4},{"degree":18,"count":1},{"degree":19,"count":1},{"degree":20,"count":2},{"degree":23,"count":1},{"degree":25,"count":1}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":58}]
Number of extensional constraints58
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":58}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-5659-serial-file.bin HOME/instance-4405182-1569335979.xml
0.64/0.55	
0.64/0.55	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.64/0.55	
0.64/0.57	c BEGIN-Prog: Tue Sep 24 16:39:02 CEST 2019
0.64/0.57	c PID: 5662
0.64/0.57	c IP: 172.20.3.148
0.64/0.57	c HOST: node148.alineos.net
0.64/0.58	c (0,0) Parsing Begin
6.38/4.83	c (4,4) Parsing End
6.38/4.84	c (4,4) CSP: 25 int (0 aux), 0 bool (0 aux), 58 ctr, max domain size 5
6.38/4.84	c (4,4) Heap : 4057 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.38/4.84	c (4,4) Constraint Name Generate Begin
6.38/4.85	c (4,4) Ctr:HOME/instance-4405182-1569335979.xml,ExtensionSupport:Var
6.38/4.85	c (4,4) Constraint Name Generate End
6.38/4.85	c (4,4) Heap : 4057 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.38/4.85	c (4,4) CSP to CSPinCNF Begin
17.50/9.48	c (8,8) translated 6 (10%) constraints
22.37/13.49	c (12,12) translated 12 (20%) constraints
28.50/17.70	c (17,16) translated 18 (30%) constraints
33.43/21.66	c (21,20) translated 24 (40%) constraints
36.73/24.88	c (24,24) translated 29 (50%) constraints
40.64/28.79	c (28,27) translated 35 (60%) constraints
45.22/32.69	c (32,31) translated 41 (70%) constraints
50.41/36.55	c (35,35) translated 47 (80%) constraints
55.01/40.47	c (39,39) translated 53 (90%) constraints
58.12/43.52	c (42,42) translated 58 (100%) constraints
58.62/44.10	c (43,43) ===========================================
58.72/44.11	c (43,43) Order
58.72/44.11	c (43,43) ===========================================
59.25/44.35	c (43,43) translated 8073 (10%) constraints
59.75/44.54	c (43,43) translated 16145 (20%) constraints
59.98/44.72	c (44,43) translated 24218 (30%) constraints
60.19/44.90	c (44,43) translated 32290 (40%) constraints
60.30/45.08	c (44,44) translated 40362 (50%) constraints
60.50/45.25	c (44,44) translated 48435 (60%) constraints
60.70/45.43	c (44,44) translated 56507 (70%) constraints
60.90/45.60	c (45,44) translated 64580 (80%) constraints
61.00/45.78	c (45,44) translated 72652 (90%) constraints
61.25/45.95	c (45,44) translated 80724 (100%) constraints
61.25/45.95	c (45,44) CSP to CSPinCNF End
61.25/45.97	c (45,44) CSP: 25 int (0 aux), 8462 bool (8462 aux), 80724 ctr, max domain size 5
61.25/45.97	c (45,44) Heap : 3056 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
61.25/45.97	c (45,44) CSPinCNF Propagation Begin
62.40/46.51	c (45,45) 0 values, 154 unsatisfiable literals, and 138 valid clauses are removed
62.40/46.51	c (45,45) CSPinCNF Propagation End
62.40/46.51	c (45,45) CSP: 25 int (0 aux), 8462 bool (8462 aux), 80586 ctr, max domain size 5
62.40/46.51	c (45,45) Heap : 3503 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
62.40/46.52	c (45,45) Simplify CSPinCNF Begin
62.72/46.73	c (46,45) Simplify CSPinCNF End
62.72/46.73	c (46,45) CSP: 25 int (0 aux), 8462 bool (8462 aux), 80586 ctr, max domain size 5
62.72/46.73	c (46,45) Heap : 3615 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
62.72/46.73	c (46,45) Calculate Precise Domain Begin
62.72/46.73	c (46,45) 0 values are removed by re-calculation
62.72/46.73	c (46,45) Calculate Precise Domain End
62.72/46.73	c (46,45) CSP: 25 int (0 aux), 8462 bool (8462 aux), 80586 ctr, max domain size 5
62.72/46.73	c (46,45) Heap : 3615 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
62.72/46.73	c (46,45) CSPinCNF to SatSolver Begin
63.79/47.04	c (46,45) 8059 (10 %) CSP clauses are encoded (0 SAT variables, 8133 SAT clauses)
64.11/47.12	c (46,46) 16118 (20 %) CSP clauses are encoded (0 SAT variables, 16192 SAT clauses)
64.21/47.21	c (46,46) 24176 (30 %) CSP clauses are encoded (0 SAT variables, 24250 SAT clauses)
64.21/47.29	c (46,46) 32235 (40 %) CSP clauses are encoded (0 SAT variables, 32309 SAT clauses)
64.31/47.37	c (46,46) 40293 (50 %) CSP clauses are encoded (0 SAT variables, 40367 SAT clauses)
64.42/47.45	c (46,46) 48352 (60 %) CSP clauses are encoded (0 SAT variables, 48426 SAT clauses)
64.52/47.53	c (46,46) 56411 (70 %) CSP clauses are encoded (0 SAT variables, 56485 SAT clauses)
64.62/47.62	c (47,46) 64469 (80 %) CSP clauses are encoded (0 SAT variables, 64543 SAT clauses)
64.72/47.70	c (47,46) 72528 (90 %) CSP clauses are encoded (0 SAT variables, 72602 SAT clauses)
64.72/47.78	c (47,46) 80586 (100 %) CSP clauses are encoded (0 SAT variables, 80660 SAT clauses)
64.72/47.78	c (47,46) CSPinCNF to SatSolver End
64.72/47.78	c (47,46) Heap : 4398 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
64.72/47.78	c (47,46) 8541 bool, 80661 clause
64.72/47.78	c (47,46) Export Begin
64.82/47.86	c (47,46) Export to HOME/scop-5659-serial-file.bin
64.82/47.86	c (47,46) Export End
64.82/47.86	c (47,46) Export File Size: 0.01 MB
64.82/47.86	c (47,46) 4,4,45,45,46,46,47,STOP-AFTER(DIMACS)
64.82/47.86	c END-Prog: Tue Sep 24 16:39:50 CEST 2019
0.00/47.91	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5659-serial-file.bin
65.49/48.37	c (0,0) Read Serial File Begin
65.49/48.37	c (0,0) HOME/scop-5659-serial-file.bin
65.77/48.57	c (0,0) Read Serial File End
65.77/48.59	
65.77/48.59	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
65.77/48.59	(Solving Process)
65.77/48.59	
65.92/48.61	c BEGIN-Prog: Tue Sep 24 16:39:50 CEST 2019
65.92/48.61	c PID: 5685
65.92/48.61	c IP: 172.20.3.148
65.92/48.61	c HOST: node148.alineos.net
65.92/48.61	c (0,0) SatSolver.solve Begin
65.92/48.61	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405182-1569335979.xml-scop-5662.cnf
65.92/48.64	c (0,0) c
65.92/48.64	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
65.92/48.64	c (0,0) c
65.92/48.64	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
65.92/48.64	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
65.92/48.64	c (0,0) c ========================================[ Problem Statistics ]===========================================
65.92/48.64	c (0,0) c |                                                                                                       |
65.92/48.67	c (0,0) c |  Number of variables:          8541                                                                   |
65.92/48.67	c (0,0) c |  Number of clauses:           80661                                                                   |
65.92/48.67	c (0,0) c |  Parse time:                   0.03 s                                                                 |
65.92/48.67	c (0,0) c |                                                                                                       |
66.15/48.72	c (0,0) c |  Simplification time:          0.04 s                                                                 |
66.15/48.72	c (0,0) c |                                                                                                       |
66.15/48.72	c (0,0) c |  Generating clones                                                                                    |
66.15/48.74	c (0,0) c |  all clones generated. Memory =    67.07Mb.                                                           |
66.15/48.74	c (0,0) c ========================================================================================================|
66.15/48.74	c (0,0) c
66.15/48.74	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
66.15/48.74	c (0,0) c
66.15/48.74	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
66.15/48.74	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
66.15/48.74	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
66.15/48.74	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
66.15/48.74	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
66.15/48.74	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
66.15/48.74	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
66.15/48.74	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
66.15/48.74	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
66.15/48.74	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
66.15/48.74	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
66.15/48.74	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
66.15/48.74	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
66.15/48.74	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
66.15/48.74	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
66.15/48.74	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
66.15/48.74	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
66.15/48.74	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
66.15/48.74	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
268.89/74.70	c (26,0) c
268.89/74.70	c (26,0) c real time : 26.0694 s
268.89/74.71	c (26,0) c cpu time  : 202.043 s
268.89/74.71	c (26,0) c
268.89/74.71	c (26,0) c
268.89/74.71	c (26,0) c
268.89/74.71	c (26,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
268.89/74.71	c (26,0) c
268.89/74.71	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
268.89/74.71	c (26,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
268.89/74.71	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
268.89/74.71	c (26,0) c | Conflicts     |          345998 |      43969 |      42450 |      43937 |      42019 |      43644 |      42840 |      43555 |      43584 |
268.89/74.71	c (26,0) c | Decisions     |          427823 |      55297 |      51921 |      54221 |      51785 |      53963 |      52844 |      54229 |      53563 |
268.89/74.71	c (26,0) c | Propagations  |       584419658 |   72535152 |   73135471 |   74708611 |   73234979 |   73029070 |   72373512 |   72718835 |   72684028 |
268.89/74.71	c (26,0) c | ReduceDBs     |              40 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
268.89/74.71	c (26,0) c | SimpDBs       |              32 |          3 |          7 |          3 |          4 |          3 |          3 |          2 |          7 |
268.89/74.71	c (26,0) c | Restarts      |             264 |         54 |         35 |         36 |         15 |         33 |         28 |         36 |         27 |
268.89/74.71	c (26,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
268.89/74.71	c (26,0) c | PropBinClauses|       247440364 |   29929156 |   30557109 |   31120183 |   31085987 |   32349623 |   31247416 |   31430582 |   29720308 |
268.89/74.71	c (26,0) c | PropPreBlocker|      5162625347 |  644108428 |  644238676 |  653193962 |  643053395 |  645579750 |  644268185 |  645041269 |  643141682 |
268.89/74.71	c (26,0) c | PropNotBlocker|      1975811252 |  246181645 |  246894483 |  242313459 |  250553541 |  245875774 |  253164544 |  245374690 |  245453116 |
268.89/74.71	c (26,0) c | LitFullScans  |      9040357971 | 1128155695 | 1131488818 | 1134105929 | 1128125872 | 1128129790 | 1134135740 | 1128108034 | 1128108093 |
268.89/74.71	c (26,0) c | LitScanFracts |          919735 |     125424 |     128804 |      97358 |     116678 |     127108 |     117333 |     104902 |     102128 |
268.89/74.71	c (26,0) c | DecisionLevel0|             288 |         55 |         47 |         37 |         17 |         35 |         29 |         36 |         32 |
268.89/74.71	c (26,0) c | Periods       |            1506 |        188 |        188 |        189 |        188 |        188 |        189 |        188 |        188 |
268.89/74.71	c (26,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
268.89/74.71	c (26,0) c | Avg_Trail     |                 |       4911 |       4992 |       4970 |       4925 |       4877 |       4821 |       4872 |       4937 |
268.89/74.71	c (26,0) c | Avg_DL        |                 |         12 |         11 |         11 |         11 |         11 |         11 |         11 |         11 |
268.89/74.71	c (26,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
268.89/74.71	c (26,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
268.89/74.71	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
268.89/74.71	c (26,0) c | Exported      |           58309 |       6941 |       7545 |       7258 |       7120 |       7233 |       7208 |       7439 |       7565 |
268.89/74.71	c (26,0) c | Imported      |          360679 |      46885 |      47195 |      45003 |      44201 |      47049 |      43214 |      40252 |      46880 |
268.89/74.71	c (26,0) c | Good          |            2461 |        322 |        331 |        294 |        296 |        319 |        284 |        279 |        336 |
268.89/74.71	c (26,0) c | Purge         |          358218 |      46563 |      46864 |      44709 |      43905 |      46730 |      42930 |      39973 |      46544 |
268.89/74.71	c (26,0) c | Promoted      |           42218 |       5473 |       5476 |       5074 |       5058 |       5332 |       5187 |       5273 |       5345 |
268.89/74.71	c (26,0) c | Remove_Imp    |          137011 |      17997 |      18957 |      16788 |      22197 |      15618 |      19748 |       9328 |      16378 |
268.89/74.71	c (26,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
268.89/74.71	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
268.89/74.71	c (26,0) c | Unaries       |                 |          1 |         12 |          1 |          2 |          2 |          1 |          0 |          5 |
268.89/74.71	c (26,0) c | Binaries      |                 |         54 |         74 |         64 |         60 |         61 |         53 |         45 |         60 |
268.89/74.71	c (26,0) c | Glues         |                 |        659 |        602 |        615 |        611 |        639 |        597 |        640 |        563 |
268.89/74.71	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
268.89/74.71	c (26,0) c | Orig_Seen     |            39 % |      31089 |      29481 |      30304 |      30519 |      30632 |      30539 |      30464 |      30082 |
268.89/74.71	c (26,0) c | Diff Orig seen|                 |       1608 |      X     |        823 |       1038 |       1151 |       1058 |        983 |        601 |
268.89/74.71	c (26,0) c | Hamming       |            46 % |       4226 |      X     |       3525 |       4217 |       3786 |       3893 |       4066 |       3833 |
268.89/74.71	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
268.89/74.71	c (26,0) c | RunningTime   |                 |   25.7 100%|   25.1 100%|   25.1 100%|   25.3 100%|   25.3 100%|   25.2 100%|   25.9 100%|   25.8 100%|
268.89/74.71	c (26,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%|
268.89/74.71	c (26,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
268.89/74.71	c (26,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%|
268.89/74.71	c (26,0) c | SolvingTime   |                 |   25.7     |   25.1     |   25.2     |   25.3     |   25.3     |   25.2     |   26.0     |   25.8     |
268.89/74.71	c (26,0) c | PropagationTim|                 |   24.5  95%|   23.9  95%|   23.9  95%|   24.1  95%|   24.1  95%|   23.9  95%|   24.7  95%|   24.6  95%|
268.89/74.71	c (26,0) c | AnalysisTime  |                 |    0.6   2%|    0.6   2%|    0.6   2%|    0.6   2%|    0.6   2%|    0.6   2%|    0.6   2%|    0.6   2%|
268.89/74.71	c (26,0) c | ReductionTime |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.0   0%|    0.1   0%|
268.89/74.71	c (26,0) c | SimplifyTime  |                 |    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
268.89/74.71	c (26,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%|
268.89/74.71	c (26,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%|
268.89/74.71	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
268.89/74.71	c (26,0) c
268.89/74.71	c (26,0) c
268.89/74.71	c (26,0) c Threads : 8
268.89/74.71	c (26,0) c Winner : 1
268.89/74.71	c (26,0) c Conflicts_0 : 43969
268.89/74.71	c (26,0) c Conflicts_1 : 42450
268.89/74.71	c (26,0) c Conflicts_2 : 43937
268.89/74.71	c (26,0) c Conflicts_3 : 42019
268.89/74.71	c (26,0) c Conflicts_4 : 43644
268.89/74.71	c (26,0) c Conflicts_5 : 42840
268.89/74.71	c (26,0) c Conflicts_6 : 43555
268.89/74.71	c (26,0) c Conflicts_7 : 43584
268.89/74.71	c (26,0) c Conflicts_total : 345998
268.89/74.71	c (26,0) c Conflicts_winner : 42450
268.89/74.71	c (26,0) c Decisions_0 : 55297
268.89/74.71	c (26,0) c Decisions_1 : 51921
268.89/74.71	c (26,0) c Decisions_2 : 54221
268.89/74.71	c (26,0) c Decisions_3 : 51785
268.89/74.71	c (26,0) c Decisions_4 : 53963
268.89/74.71	c (26,0) c Decisions_5 : 52844
268.89/74.71	c (26,0) c Decisions_6 : 54229
268.89/74.71	c (26,0) c Decisions_7 : 53563
268.89/74.71	c (26,0) c Decisions_total : 427823
268.89/74.71	c (26,0) c Decisions_winner : 51921
268.89/74.71	c (26,0) c Propagations_0 : 72535152
268.89/74.71	c (26,0) c Propagations_1 : 73135471
268.89/74.71	c (26,0) c Propagations_2 : 74708611
268.89/74.71	c (26,0) c Propagations_3 : 73234979
268.89/74.71	c (26,0) c Propagations_4 : 73029070
268.89/74.71	c (26,0) c Propagations_5 : 72373512
268.89/74.71	c (26,0) c Propagations_6 : 72718835
268.89/74.71	c (26,0) c Propagations_7 : 72684028
268.89/74.71	c (26,0) c Propagations_total : 584419658
268.89/74.71	c (26,0) c Propagations_winner : 73135471
268.89/74.71	c (26,0) c ReduceDBs_0 : 5
268.89/74.71	c (26,0) c ReduceDBs_1 : 5
268.89/74.71	c (26,0) c ReduceDBs_2 : 5
268.89/74.71	c (26,0) c ReduceDBs_3 : 5
268.89/74.71	c (26,0) c ReduceDBs_4 : 5
268.89/74.71	c (26,0) c ReduceDBs_5 : 5
268.89/74.71	c (26,0) c ReduceDBs_6 : 5
268.89/74.71	c (26,0) c ReduceDBs_7 : 5
268.89/74.71	c (26,0) c ReduceDBs_total : 40
268.89/74.71	c (26,0) c ReduceDBs_winner : 5
268.89/74.71	c (26,0) c SimpDBs_0 : 3
268.89/74.71	c (26,0) c SimpDBs_1 : 7
268.89/74.71	c (26,0) c SimpDBs_2 : 3
268.89/74.71	c (26,0) c SimpDBs_3 : 4
268.89/74.71	c (26,0) c SimpDBs_4 : 3
268.89/74.71	c (26,0) c SimpDBs_5 : 3
268.89/74.71	c (26,0) c SimpDBs_6 : 2
268.89/74.71	c (26,0) c SimpDBs_7 : 7
268.89/74.71	c (26,0) c SimpDBs_total : 32
268.89/74.71	c (26,0) c SimpDBs_winner : 7
268.89/74.71	c (26,0) c Restarts_0 : 54
268.89/74.71	c (26,0) c Restarts_1 : 35
268.89/74.71	c (26,0) c Restarts_2 : 36
268.89/74.71	c (26,0) c Restarts_3 : 15
268.89/74.71	c (26,0) c Restarts_4 : 33
268.89/74.71	c (26,0) c Restarts_5 : 28
268.89/74.71	c (26,0) c Restarts_6 : 36
268.89/74.71	c (26,0) c Restarts_7 : 27
268.89/74.71	c (26,0) c Restarts_total : 264
268.89/74.71	c (26,0) c Restarts_winner : 35
268.89/74.71	c (26,0) c ForcedImports_0 : 0
268.89/74.71	c (26,0) c ForcedImports_1 : 0
268.89/74.71	c (26,0) c ForcedImports_2 : 0
268.89/74.71	c (26,0) c ForcedImports_3 : 0
268.89/74.71	c (26,0) c ForcedImports_4 : 0
268.89/74.71	c (26,0) c ForcedImports_5 : 0
268.89/74.71	c (26,0) c ForcedImports_6 : 0
268.89/74.71	c (26,0) c ForcedImports_7 : 0
268.89/74.71	c (26,0) c ForcedImports_total : 0
268.89/74.71	c (26,0) c ForcedImports_winner : 0
268.89/74.71	c (26,0) c PropsBinClauses_0 : 29929156
268.89/74.71	c (26,0) c PropsBinClauses_1 : 30557109
268.89/74.71	c (26,0) c PropsBinClauses_2 : 31120183
268.89/74.71	c (26,0) c PropsBinClauses_3 : 31085987
268.89/74.71	c (26,0) c PropsBinClauses_4 : 32349623
268.89/74.71	c (26,0) c PropsBinClauses_5 : 31247416
268.89/74.71	c (26,0) c PropsBinClauses_6 : 31430582
268.89/74.71	c (26,0) c PropsBinClauses_7 : 29720308
268.89/74.71	c (26,0) c PropsBinClauses_total : 247440364
268.89/74.71	c (26,0) c PropsBinClauses_winner : 30557109
268.89/74.71	c (26,0) c PropsPreBlocker_0 : 644108428
268.89/74.71	c (26,0) c PropsPreBlocker_1 : 644238676
268.89/74.71	c (26,0) c PropsPreBlocker_2 : 653193962
268.89/74.71	c (26,0) c PropsPreBlocker_3 : 643053395
268.89/74.71	c (26,0) c PropsPreBlocker_4 : 645579750
268.89/74.71	c (26,0) c PropsPreBlocker_5 : 644268185
268.89/74.71	c (26,0) c PropsPreBlocker_6 : 645041269
268.89/74.71	c (26,0) c PropsPreBlocker_7 : 643141682
268.89/74.71	c (26,0) c PropsPreBlocker_total : 5162625347
268.89/74.71	c (26,0) c PropsPreBlocker_winner : 644238676
268.89/74.71	c (26,0) c PropsNotBlocker_0 : 246181645
268.89/74.71	c (26,0) c PropsNotBlocker_1 : 246894483
268.89/74.71	c (26,0) c PropsNotBlocker_2 : 242313459
268.89/74.71	c (26,0) c PropsNotBlocker_3 : 250553541
268.89/74.71	c (26,0) c PropsNotBlocker_4 : 245875774
268.89/74.71	c (26,0) c PropsNotBlocker_5 : 253164544
268.89/74.71	c (26,0) c PropsNotBlocker_6 : 245374690
268.89/74.71	c (26,0) c PropsNotBlocker_7 : 245453116
268.89/74.71	c (26,0) c PropsNotBlocker_total : 1975811252
268.89/74.71	c (26,0) c PropsNotBlocker_winner : 246894483
268.89/74.71	c (26,0) c PropsLitFullScans_0 : 1128155695
268.89/74.71	c (26,0) c PropsLitFullScans_1 : 1131488818
268.89/74.71	c (26,0) c PropsLitFullScans_2 : 1134105929
268.89/74.71	c (26,0) c PropsLitFullScans_3 : 1128125872
268.89/74.71	c (26,0) c PropsLitFullScans_4 : 1128129790
268.89/74.71	c (26,0) c PropsLitFullScans_5 : 1134135740
268.89/74.71	c (26,0) c PropsLitFullScans_6 : 1128108034
268.89/74.71	c (26,0) c PropsLitFullScans_7 : 1128108093
268.89/74.71	c (26,0) c PropsLitFullScans_total : 9040357971
268.89/74.71	c (26,0) c PropsLitFullScans_winner : 1131488818
268.89/74.71	c (26,0) c LitScanFractions_0 : 125424
268.89/74.71	c (26,0) c LitScanFractions_1 : 128804
268.89/74.71	c (26,0) c LitScanFractions_2 : 97358
268.89/74.71	c (26,0) c LitScanFractions_3 : 116678
268.89/74.71	c (26,0) c LitScanFractions_4 : 127108
268.89/74.71	c (26,0) c LitScanFractions_5 : 117333
268.89/74.71	c (26,0) c LitScanFractions_6 : 104902
268.89/74.71	c (26,0) c LitScanFractions_7 : 102128
268.89/74.71	c (26,0) c LitScanFractions_total : 919735
268.89/74.71	c (26,0) c LitScanFractions_winner : 128804
268.89/74.71	c (26,0) c DecisionLevel0_0 : 55
268.89/74.71	c (26,0) c DecisionLevel0_1 : 47
268.89/74.71	c (26,0) c DecisionLevel0_2 : 37
268.89/74.71	c (26,0) c DecisionLevel0_3 : 17
268.89/74.71	c (26,0) c DecisionLevel0_4 : 35
268.89/74.71	c (26,0) c DecisionLevel0_5 : 29
268.89/74.71	c (26,0) c DecisionLevel0_6 : 36
268.89/74.71	c (26,0) c DecisionLevel0_7 : 32
268.89/74.71	c (26,0) c DecisionLevel0_total : 288
268.89/74.71	c (26,0) c DecisionLevel0_winner : 47
268.89/74.71	c (26,0) c Periods_0 : 188
268.89/74.71	c (26,0) c Periods_1 : 188
268.89/74.71	c (26,0) c Periods_2 : 189
268.89/74.71	c (26,0) c Periods_3 : 188
268.89/74.71	c (26,0) c Periods_4 : 188
268.89/74.71	c (26,0) c Periods_5 : 189
268.89/74.71	c (26,0) c Periods_6 : 188
268.89/74.71	c (26,0) c Periods_7 : 188
268.89/74.71	c (26,0) c Periods_total : 1506
268.89/74.71	c (26,0) c Periods_winner : 188
268.89/74.71	c (26,0) c Margin_0 : 20
268.89/74.71	c (26,0) c Margin_1 : 20
268.89/74.71	c (26,0) c Margin_2 : 20
268.89/74.71	c (26,0) c Margin_3 : 20
268.89/74.71	c (26,0) c Margin_4 : 20
268.89/74.71	c (26,0) c Margin_5 : 20
268.89/74.71	c (26,0) c Margin_6 : 20
268.89/74.71	c (26,0) c Margin_7 : 20
268.89/74.71	c (26,0) c Margin_total : 160
268.89/74.71	c (26,0) c Margin_winner : 20
268.89/74.71	c (26,0) c Exported_0 : 6941
268.89/74.71	c (26,0) c Exported_1 : 7545
268.89/74.71	c (26,0) c Exported_2 : 7258
268.89/74.71	c (26,0) c Exported_3 : 7120
268.89/74.71	c (26,0) c Exported_4 : 7233
268.89/74.71	c (26,0) c Exported_5 : 7208
268.89/74.71	c (26,0) c Exported_6 : 7439
268.89/74.71	c (26,0) c Exported_7 : 7565
268.89/74.71	c (26,0) c Exported_total : 58309
268.89/74.71	c (26,0) c Exported_winner : 7545
268.89/74.71	c (26,0) c Imported_0 : 46885
268.89/74.71	c (26,0) c Imported_1 : 47195
268.89/74.71	c (26,0) c Imported_2 : 45003
268.89/74.71	c (26,0) c Imported_3 : 44201
268.89/74.71	c (26,0) c Imported_4 : 47049
268.89/74.71	c (26,0) c Imported_5 : 43214
268.89/74.71	c (26,0) c Imported_6 : 40252
268.89/74.71	c (26,0) c Imported_7 : 46880
268.89/74.71	c (26,0) c Imported_total : 360679
268.89/74.71	c (26,0) c Imported_winner : 47195
268.89/74.71	c (26,0) c Good_0 : 322
268.89/74.72	c (26,0) c Good_1 : 331
268.89/74.72	c (26,0) c Good_2 : 294
268.89/74.72	c (26,0) c Good_3 : 296
268.89/74.72	c (26,0) c Good_4 : 319
268.89/74.72	c (26,0) c Good_5 : 284
268.89/74.72	c (26,0) c Good_6 : 279
268.89/74.72	c (26,0) c Good_7 : 336
268.89/74.72	c (26,0) c Good_total : 2461
268.89/74.72	c (26,0) c Good_winner : 331
268.89/74.72	c (26,0) c Purge_0 : 46563
268.89/74.72	c (26,0) c Purge_1 : 46864
268.89/74.72	c (26,0) c Purge_2 : 44709
268.89/74.72	c (26,0) c Purge_3 : 43905
268.89/74.72	c (26,0) c Purge_4 : 46730
268.89/74.72	c (26,0) c Purge_5 : 42930
268.89/74.72	c (26,0) c Purge_6 : 39973
268.89/74.72	c (26,0) c Purge_7 : 46544
268.89/74.72	c (26,0) c Purge_total : 358218
268.89/74.72	c (26,0) c Purge_winner : 46864
268.89/74.72	c (26,0) c Promoted_0 : 5473
268.89/74.72	c (26,0) c Promoted_1 : 5476
268.89/74.72	c (26,0) c Promoted_2 : 5074
268.89/74.72	c (26,0) c Promoted_3 : 5058
268.89/74.72	c (26,0) c Promoted_4 : 5332
268.89/74.72	c (26,0) c Promoted_5 : 5187
268.89/74.72	c (26,0) c Promoted_6 : 5273
268.89/74.72	c (26,0) c Promoted_7 : 5345
268.89/74.72	c (26,0) c Promoted_total : 42218
268.89/74.72	c (26,0) c Promoted_winner : 5476
268.89/74.72	c (26,0) c Remove_Imp_0 : 17997
268.89/74.72	c (26,0) c Remove_Imp_1 : 18957
268.89/74.72	c (26,0) c Remove_Imp_2 : 16788
268.89/74.72	c (26,0) c Remove_Imp_3 : 22197
268.89/74.72	c (26,0) c Remove_Imp_4 : 15618
268.89/74.72	c (26,0) c Remove_Imp_5 : 19748
268.89/74.72	c (26,0) c Remove_Imp_6 : 9328
268.89/74.72	c (26,0) c Remove_Imp_7 : 16378
268.89/74.72	c (26,0) c Remove_Imp_total : 137011
268.89/74.72	c (26,0) c Remove_Imp_winner : 18957
268.89/74.72	c (26,0) c Blocked_Reuse_0 : 0
268.89/74.72	c (26,0) c Blocked_Reuse_1 : 0
268.89/74.72	c (26,0) c Blocked_Reuse_2 : 0
268.89/74.72	c (26,0) c Blocked_Reuse_3 : 0
268.89/74.72	c (26,0) c Blocked_Reuse_4 : 0
268.89/74.72	c (26,0) c Blocked_Reuse_5 : 0
268.89/74.72	c (26,0) c Blocked_Reuse_6 : 0
268.89/74.72	c (26,0) c Blocked_Reuse_7 : 0
268.89/74.72	c (26,0) c Blocked_Reuse_total : 0
268.89/74.72	c (26,0) c Blocked_Reuse_winner : 0
268.89/74.72	c (26,0) c Unaries_0 : 1
268.89/74.72	c (26,0) c Unaries_1 : 12
268.89/74.72	c (26,0) c Unaries_2 : 1
268.89/74.72	c (26,0) c Unaries_3 : 2
268.89/74.72	c (26,0) c Unaries_4 : 2
268.89/74.72	c (26,0) c Unaries_5 : 1
268.89/74.72	c (26,0) c Unaries_6 : 0
268.89/74.72	c (26,0) c Unaries_7 : 5
268.89/74.72	c (26,0) c Unaries_total : 24
268.89/74.72	c (26,0) c Unaries_winner : 12
268.89/74.72	c (26,0) c Binaries_0 : 54
268.89/74.72	c (26,0) c Binaries_1 : 74
268.89/74.72	c (26,0) c Binaries_2 : 64
268.89/74.72	c (26,0) c Binaries_3 : 60
268.89/74.72	c (26,0) c Binaries_4 : 61
268.89/74.72	c (26,0) c Binaries_5 : 53
268.89/74.72	c (26,0) c Binaries_6 : 45
268.89/74.72	c (26,0) c Binaries_7 : 60
268.89/74.72	c (26,0) c Binaries_total : 471
268.89/74.72	c (26,0) c Binaries_winner : 74
268.89/74.72	c (26,0) c Glues_0 : 659
268.89/74.72	c (26,0) c Glues_1 : 602
268.89/74.72	c (26,0) c Glues_2 : 615
268.89/74.72	c (26,0) c Glues_3 : 611
268.89/74.72	c (26,0) c Glues_4 : 639
268.89/74.72	c (26,0) c Glues_5 : 597
268.89/74.72	c (26,0) c Glues_6 : 640
268.89/74.72	c (26,0) c Glues_7 : 563
268.89/74.72	c (26,0) c Glues_total : 4926
268.89/74.72	c (26,0) c Glues_winner : 602
268.89/74.72	c (26,0) c RunningTime_0 : 25.690381
268.89/74.72	c (26,0) c RunningTime_1 : 25.111523
268.89/74.72	c (26,0) c RunningTime_2 : 25.129585
268.89/74.72	c (26,0) c RunningTime_3 : 25.253584
268.89/74.72	c (26,0) c RunningTime_4 : 25.293208
268.89/74.72	c (26,0) c RunningTime_5 : 25.150657
268.89/74.72	c (26,0) c RunningTime_6 : 25.935869
268.89/74.72	c (26,0) c RunningTime_7 : 25.824669
268.89/74.72	c (26,0) c RunningTime_total : 203.389476
268.89/74.72	c (26,0) c RunningTime_winner : 25.111523
268.89/74.72	c (26,0) c WaitingTime_0 : 0.000253
268.89/74.72	c (26,0) c WaitingTime_1 : 0.000311
268.89/74.72	c (26,0) c WaitingTime_2 : 0.000269
268.89/74.72	c (26,0) c WaitingTime_3 : 0.000262
268.89/74.72	c (26,0) c WaitingTime_4 : 0.000276
268.89/74.72	c (26,0) c WaitingTime_5 : 0.000292
268.89/74.72	c (26,0) c WaitingTime_6 : 0.000187
268.89/74.72	c (26,0) c WaitingTime_7 : 0.000288
268.89/74.72	c (26,0) c WaitingTime_total : 0.002137
268.89/74.72	c (26,0) c WaitingTime_winner : 0.000311
268.89/74.72	c (26,0) c ExchangingTime_0 : 0.018114
268.89/74.72	c (26,0) c ExchangingTime_1 : 0.017471
268.89/74.72	c (26,0) c ExchangingTime_2 : 0.021375
268.89/74.72	c (26,0) c ExchangingTime_3 : 0.019413
268.89/74.72	c (26,0) c ExchangingTime_4 : 0.022381
268.89/74.72	c (26,0) c ExchangingTime_5 : 0.019792
268.89/74.72	c (26,0) c ExchangingTime_6 : 0.018819
268.89/74.72	c (26,0) c ExchangingTime_7 : 0.016717
268.89/74.72	c (26,0) c ExchangingTime_total : 0.154082
268.89/74.72	c (26,0) c ExchangingTime_winner : 0.017471
268.89/74.72	c (26,0) c PeriodProcTime_0 : 0.001517
268.89/74.72	c (26,0) c PeriodProcTime_1 : 0.001968
268.89/74.72	c (26,0) c PeriodProcTime_2 : 0.001723
268.89/74.72	c (26,0) c PeriodProcTime_3 : 0.001467
268.89/74.72	c (26,0) c PeriodProcTime_4 : 0.001781
268.89/74.72	c (26,0) c PeriodProcTime_5 : 0.001740
268.89/74.72	c (26,0) c PeriodProcTime_6 : 0.001794
268.89/74.72	c (26,0) c PeriodProcTime_7 : 0.001481
268.89/74.72	c (26,0) c PeriodProcTime_total : 0.013470
268.89/74.72	c (26,0) c PeriodProcTime_winner : 0.001968
268.89/74.72	c (26,0) c SolvingTime_0 : 25.710264
268.89/74.72	c (26,0) c SolvingTime_1 : 25.131273
268.89/74.72	c (26,0) c SolvingTime_2 : 25.152952
268.89/74.72	c (26,0) c SolvingTime_3 : 25.274726
268.89/74.72	c (26,0) c SolvingTime_4 : 25.317645
268.89/74.72	c (26,0) c SolvingTime_5 : 25.172481
268.89/74.72	c (26,0) c SolvingTime_6 : 25.956670
268.89/74.72	c (26,0) c SolvingTime_7 : 25.843155
268.89/74.72	c (26,0) c SolvingTime_total : 203.559165
268.89/74.72	c (26,0) c SolvingTime_winner : 25.131273
268.89/74.72	c (26,0) c PropagationTime_0 : 24.471792
268.89/74.72	c (26,0) c PropagationTime_1 : 23.874786
268.89/74.72	c (26,0) c PropagationTime_2 : 23.858025
268.89/74.72	c (26,0) c PropagationTime_3 : 24.053336
268.89/74.72	c (26,0) c PropagationTime_4 : 24.069681
268.89/74.72	c (26,0) c PropagationTime_5 : 23.927468
268.89/74.72	c (26,0) c PropagationTime_6 : 24.695724
268.89/74.72	c (26,0) c PropagationTime_7 : 24.577778
268.89/74.72	c (26,0) c PropagationTime_total : 193.528590
268.89/74.72	c (26,0) c PropagationTime_winner : 23.874786
268.89/74.72	c (26,0) c AnalysisTime_0 : 0.590073
268.89/74.72	c (26,0) c AnalysisTime_1 : 0.551178
268.89/74.72	c (26,0) c AnalysisTime_2 : 0.601455
268.89/74.72	c (26,0) c AnalysisTime_3 : 0.556582
268.89/74.72	c (26,0) c AnalysisTime_4 : 0.573934
268.89/74.72	c (26,0) c AnalysisTime_5 : 0.564567
268.89/74.72	c (26,0) c AnalysisTime_6 : 0.594034
268.89/74.72	c (26,0) c AnalysisTime_7 : 0.584914
268.89/74.72	c (26,0) c AnalysisTime_total : 4.616738
268.89/74.72	c (26,0) c AnalysisTime_winner : 0.551178
268.89/74.72	c (26,0) c ReductionTime_0 : 0.064412
268.89/74.72	c (26,0) c ReductionTime_1 : 0.069016
268.89/74.72	c (26,0) c ReductionTime_2 : 0.064589
268.89/74.72	c (26,0) c ReductionTime_3 : 0.063986
268.89/74.72	c (26,0) c ReductionTime_4 : 0.050040
268.89/74.72	c (26,0) c ReductionTime_5 : 0.065428
268.89/74.72	c (26,0) c ReductionTime_6 : 0.042851
268.89/74.72	c (26,0) c ReductionTime_7 : 0.064405
268.89/74.72	c (26,0) c ReductionTime_total : 0.484727
268.89/74.72	c (26,0) c ReductionTime_winner : 0.069016
268.89/74.72	c (26,0) c SimplifyTime_0 : 0.009386
268.89/74.72	c (26,0) c SimplifyTime_1 : 0.062451
268.89/74.72	c (26,0) c SimplifyTime_2 : 0.009601
268.89/74.72	c (26,0) c SimplifyTime_3 : 0.012978
268.89/74.72	c (26,0) c SimplifyTime_4 : 0.021625
268.89/74.72	c (26,0) c SimplifyTime_5 : 0.009287
268.89/74.72	c (26,0) c SimplifyTime_6 : 0.022751
268.89/74.72	c (26,0) c SimplifyTime_7 : 0.035592
268.89/74.72	c (26,0) c SimplifyTime_total : 0.183672
268.89/74.72	c (26,0) c SimplifyTime_winner : 0.062451
268.89/74.72	c (26,0) c UsedRateTime_0 : 0.000000
268.89/74.72	c (26,0) c UsedRateTime_1 : 0.000000
268.89/74.72	c (26,0) c UsedRateTime_2 : 0.000000
268.89/74.72	c (26,0) c UsedRateTime_3 : 0.000000
268.89/74.72	c (26,0) c UsedRateTime_4 : 0.000000
268.89/74.72	c (26,0) c UsedRateTime_5 : 0.000000
268.89/74.72	c (26,0) c UsedRateTime_6 : 0.000000
268.89/74.72	c (26,0) c UsedRateTime_7 : 0.000000
268.89/74.72	c (26,0) c UsedRateTime_total : 0.000000
268.89/74.72	c (26,0) c UsedRateTime_winner : 0.000000
268.89/74.72	c (26,0) c OverlapRateTime_0 : 0.000000
268.89/74.72	c (26,0) c OverlapRateTime_1 : 0.000000
268.89/74.72	c (26,0) c OverlapRateTime_2 : 0.000000
268.89/74.72	c (26,0) c OverlapRateTime_3 : 0.000000
268.89/74.72	c (26,0) c OverlapRateTime_4 : 0.000000
268.89/74.72	c (26,0) c OverlapRateTime_5 : 0.000000
268.89/74.72	c (26,0) c OverlapRateTime_6 : 0.000000
268.89/74.72	c (26,0) c OverlapRateTime_7 : 0.000000
268.89/74.72	c (26,0) c OverlapRateTime_total : 0.000000
268.89/74.72	c (26,0) c OverlapRateTime_winner : 0.000000
268.89/74.72	c (26,0) c
268.89/74.72	c (26,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
268.89/74.72	c (26,0) c
268.89/74.72	c (26,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
268.89/74.72	c (26,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
268.89/74.72	c (26,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
268.89/74.72	c (26,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
268.89/74.72	c (26,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
268.89/74.72	c (26,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
268.89/74.72	c (26,0) c | Initial random_seed   |  418288695 | 1645334336 |  195225010 | 1994001998 | 1067873843 | 1772959256 | 1320631848 | 1430687747 |
268.89/74.72	c (26,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
268.89/74.72	c (26,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
268.89/74.72	c (26,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
268.89/74.72	c (26,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
268.89/74.72	c (26,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
268.89/74.72	c (26,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
268.89/74.72	c (26,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
268.89/74.72	c (26,0) c | var_decay             |     0.8800 |     0.8800 |     0.8800 |     0.8800 |     0.8800 |     0.8800 |     0.8800 |     0.8800 |
268.89/74.72	c (26,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
268.89/74.72	c (26,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
268.89/74.72	c (26,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
268.89/74.72	c (26,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
268.89/74.72	c (26,0) 
268.89/74.72	c (26,0) s UNSATISFIABLE
268.89/74.72	c (26,0) SatSolver.solve End
268.89/74.72	c (26,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
268.89/74.72	c (26,0) Show results Begin
268.89/74.72	s UNSATISFIABLE
268.89/74.72	c (26,0) Show results End
268.89/74.72	c (26,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
268.89/74.73	c (26,0) 26,26,STOP-AFTER(ALL)
268.89/74.73	c END-Prog: Tue Sep 24 16:40:17 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 (8826 MiB free)
  memory of node 1: 16384 MiB (12699 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405182-1569335979/watcher-4405182-1569335979 -o /tmp/evaluation-result-4405182-1569335979/solver-4405182-1569335979 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405182-1569335979.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=5659, runsolver pid=5656

[startup+0.100113 s]*
/proc/loadavg: 0.08 0.03 0.05 2/211 5681
/proc/meminfo: memFree=21945600/32770624 swapFree=67002572/67108860
[pid=5659] ppid=5656 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5659/stat : 5659 (scop.sh) S 5656 5659 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509759446 115843072 349 33554432000 4194304 5098028 140734757526592 140734757523848 140660601782908 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27078656 140734757532453 140734757532780 140734757532780 140734757535693 0
/proc/5659/statm: 28282 349 296 221 0 87 0
[pid=5662] ppid=5659 vsize=27314120 memory=108592 CPUtime=0.09 cores=0-7
/proc/5662/stat : 5662 (java) S 5659 5659 5615 0 -1 1077944320 6226 0 0 0 7 2 0 0 20 0 20 0 509759446 27969658880 27148 33554432000 4194304 4196468 140728807908896 140728807891440 140410463067895 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
/proc/5662/statm: 6828530 27148 2741 1 0 6790935 0
[pid=5662/tid=5663] ppid=5659 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/5662/task/5663/stat : 5663 (java) R 5659 5659 5615 0 -1 4202560 4347 0 0 0 6 2 0 0 20 0 20 0 509759447 27969658880 27214 33554432000 4194304 4196468 140728807908896 140410434894080 140410463089821 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5664] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5664/stat : 5664 (java) S 5659 5659 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 27214 33554432000 4194304 4196468 140728807908896 140410467309968 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5665] ppid=5659 vsize=27314120 memory=14837913519978136 CPUtime=0 cores=0-7
/proc/5662/task/5665/stat : 5665 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 27214 33554432000 4194304 4196468 140728807908896 140410281466128 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5666] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5666/stat : 5666 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 27214 33554432000 4194304 4196468 140728807908896 140410280413840 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5667] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5667/stat : 5667 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 27214 33554432000 4194304 4196468 140728807908896 140410279361040 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5668] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5668/stat : 5668 (java) S 5659 5659 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 27214 33554432000 4194304 4196468 140728807908896 140410278308752 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5669] ppid=5659 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5662/task/5669/stat : 5669 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 27214 33554432000 4194304 4196468 140728807908896 140410277255952 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5670] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5670/stat : 5670 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 27214 33554432000 4194304 4196468 140728807908896 140410276203664 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5671] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5671/stat : 5671 (java) S 5659 5659 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 27214 33554432000 4194304 4196468 140728807908896 140410275150864 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5672] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5672/stat : 5672 (java) S 5659 5659 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509759451 27969658880 27214 33554432000 4194304 4196468 140728807908896 140408514381936 140410463079042 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5673] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5673/stat : 5673 (java) S 5659 5659 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509759451 27969658880 27214 33554432000 4194304 4196468 140728807908896 140408386478880 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5674] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5674/stat : 5674 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759452 27969658880 27214 33554432000 4194304 4196468 140728807908896 140408118043760 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5675] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5675/stat : 5675 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759454 27969658880 27214 33554432000 4194304 4196468 140728807908896 140407743535184 140410463086491 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5676] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5676/stat : 5676 (java) S 5659 5659 5615 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 509759454 27969658880 27214 33554432000 4194304 4196468 140728807908896 140408513329776 140410463079042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5677] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5677/stat : 5677 (java) S 5659 5659 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509759454 27969658880 27214 33554432000 4194304 4196468 140728807908896 140408512276976 140410463079042 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5678] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5678/stat : 5678 (java) S 5659 5659 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509759454 27969658880 27214 33554432000 4194304 4196468 140728807908896 140408511224688 140410463079042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5679] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5679/stat : 5679 (java) S 5659 5659 5615 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 20 0 509759454 27969658880 27214 33554432000 4194304 4196468 140728807908896 140408510171888 140410463079042 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5680] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5680/stat : 5680 (java) S 5659 5659 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509759455 27969658880 27214 33554432000 4194304 4196468 140728807908896 140407245629792 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5681] ppid=5659 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5662/task/5681/stat : 5681 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759455 27969658880 27214 33554432000 4194304 4196468 140728807908896 140408509118768 140410463079042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109988 KiB

[startup+0.210213 s]*
/proc/loadavg: 0.08 0.03 0.05 4/211 5681
/proc/meminfo: memFree=21925128/32770624 swapFree=67002572/67108860
[pid=5659] ppid=5656 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5659/stat : 5659 (scop.sh) S 5656 5659 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509759446 115843072 349 33554432000 4194304 5098028 140734757526592 140734757523848 140660601782908 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27078656 140734757532453 140734757532780 140734757532780 140734757535693 0
/proc/5659/statm: 28282 349 296 221 0 87 0
[pid=5662] ppid=5659 vsize=27314120 memory=128548 CPUtime=0.23 cores=0-7
/proc/5662/stat : 5662 (java) S 5659 5659 5615 0 -1 1077944320 11930 0 0 0 19 4 0 0 20 0 20 0 509759446 27969658880 32137 33554432000 4194304 4196468 140728807908896 140728807891440 140410463067895 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
/proc/5662/statm: 6828530 32137 2926 1 0 6790935 0
[pid=5662/tid=5663] ppid=5659 vsize=27314120 memory=8316850467074736180 CPUtime=0.18 cores=0-7
/proc/5662/task/5663/stat : 5663 (java) R 5659 5659 5615 0 -1 4202560 9661 0 0 0 15 3 0 0 20 0 20 0 509759447 27969658880 32137 33554432000 4194304 4196468 140728807908896 140410434867280 140410463089821 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5664] ppid=5659 vsize=27314120 memory=14976 CPUtime=0 cores=0-7
/proc/5662/task/5664/stat : 5664 (java) S 5659 5659 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 32137 33554432000 4194304 4196468 140728807908896 140410467309968 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5665] ppid=5659 vsize=27314120 memory=140508706714499 CPUtime=0 cores=0-7
/proc/5662/task/5665/stat : 5665 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 32137 33554432000 4194304 4196468 140728807908896 140410281466128 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5666] ppid=5659 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5662/task/5666/stat : 5666 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 32137 33554432000 4194304 4196468 140728807908896 140410280413840 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5667] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5667/stat : 5667 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 32137 33554432000 4194304 4196468 140728807908896 140410279361040 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5668] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5668/stat : 5668 (java) S 5659 5659 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 32137 33554432000 4194304 4196468 140728807908896 140410278308752 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5669] ppid=5659 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5662/task/5669/stat : 5669 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 32137 33554432000 4194304 4196468 140728807908896 140410277255952 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5670] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5670/stat : 5670 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 32137 33554432000 4194304 4196468 140728807908896 140410276203664 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5671] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5671/stat : 5671 (java) S 5659 5659 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 32137 33554432000 4194304 4196468 140728807908896 140410275150864 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5672] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5672/stat : 5672 (java) S 5659 5659 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509759451 27969658880 32137 33554432000 4194304 4196468 140728807908896 140408514381936 140410463079042 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5673] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5673/stat : 5673 (java) S 5659 5659 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509759451 27969658880 32137 33554432000 4194304 4196468 140728807908896 140408386478880 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5674] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5674/stat : 5674 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759452 27969658880 32137 33554432000 4194304 4196468 140728807908896 140408118043760 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5675] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5675/stat : 5675 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759454 27969658880 32137 33554432000 4194304 4196468 140728807908896 140407743535184 140410463086491 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5676] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5676/stat : 5676 (java) R 5659 5659 5615 0 -1 4202560 438 0 0 0 0 0 0 0 20 0 20 0 509759454 27969658880 32137 33554432000 4194304 4196468 140728807908896 140408513329776 140410443481200 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5677] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5677/stat : 5677 (java) S 5659 5659 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509759454 27969658880 32137 33554432000 4194304 4196468 140728807908896 140408512276976 140410463079042 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5678] ppid=5659 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5662/task/5678/stat : 5678 (java) S 5659 5659 5615 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 509759454 27969658880 32137 33554432000 4194304 4196468 140728807908896 140408511224688 140410463079042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5679] ppid=5659 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/5662/task/5679/stat : 5679 (java) S 5659 5659 5615 0 -1 1077944384 466 0 0 0 2 0 0 0 20 0 20 0 509759454 27969658880 32137 33554432000 4194304 4196468 140728807908896 140408510171888 140410463079042 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5680] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5680/stat : 5680 (java) S 5659 5659 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509759455 27969658880 32137 33554432000 4194304 4196468 140728807908896 140407245629792 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5681] ppid=5659 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5662/task/5681/stat : 5681 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759455 27969658880 32137 33554432000 4194304 4196468 140728807908896 140408509118768 140410463079042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129944 KiB

[startup+0.309807 s]*
/proc/loadavg: 0.08 0.03 0.05 2/211 5681
/proc/meminfo: memFree=21923908/32770624 swapFree=67002572/67108860
[pid=5659] ppid=5656 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5659/stat : 5659 (scop.sh) S 5656 5659 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509759446 115843072 349 33554432000 4194304 5098028 140734757526592 140734757523848 140660601782908 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27078656 140734757532453 140734757532780 140734757532780 140734757535693 0
/proc/5659/statm: 28282 349 296 221 0 87 0
[pid=5662] ppid=5659 vsize=27314120 memory=131892 CPUtime=0.41 cores=0-7
/proc/5662/stat : 5662 (java) S 5659 5659 5615 0 -1 1077944320 12294 0 0 0 36 5 0 0 20 0 20 0 509759446 27969658880 32973 33554432000 4194304 4196468 140728807908896 140728807891440 140410463067895 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
/proc/5662/statm: 6828530 32973 3028 1 0 6790935 0
[pid=5662/tid=5663] ppid=5659 vsize=27314120 memory=1398722017469774279 CPUtime=0.28 cores=0-7
/proc/5662/task/5663/stat : 5663 (java) R 5659 5659 5615 0 -1 4202560 9856 0 0 0 25 3 0 0 20 0 20 0 509759447 27969658880 32973 33554432000 4194304 4196468 140728807908896 140410434852880 140410444631464 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5664] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5664/stat : 5664 (java) S 5659 5659 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 32973 33554432000 4194304 4196468 140728807908896 140410467309968 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5665] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5665/stat : 5665 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 32973 33554432000 4194304 4196468 140728807908896 140410281466128 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5666] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5666/stat : 5666 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 32973 33554432000 4194304 4196468 140728807908896 140410280413840 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5667] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5667/stat : 5667 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 32973 33554432000 4194304 4196468 140728807908896 140410279361040 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5668] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5668/stat : 5668 (java) S 5659 5659 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 32973 33554432000 4194304 4196468 140728807908896 140410278308752 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5669] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5669/stat : 5669 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 32973 33554432000 4194304 4196468 140728807908896 140410277255952 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5670] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5670/stat : 5670 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 32973 33554432000 4194304 4196468 140728807908896 140410276203664 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5671] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5671/stat : 5671 (java) S 5659 5659 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509759449 27969658880 32973 33554432000 4194304 4196468 140728807908896 140410275150864 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5672] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5672/stat : 5672 (java) S 5659 5659 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509759451 27969658880 32973 33554432000 4194304 4196468 140728807908896 140408514381936 140410463079042 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5673] ppid=5659 vsize=27314120 memory=281017160244608 CPUtime=0 cores=0-7
/proc/5662/task/5673/stat : 5673 (java) S 5659 5659 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509759451 27969658880 32973 33554432000 4194304 4196468 140728807908896 140408386478880 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5674] ppid=5659 vsize=27314120 memory=281017160249216 CPUtime=0 cores=0-7
/proc/5662/task/5674/stat : 5674 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759452 27969658880 32973 33554432000 4194304 4196468 140728807908896 140408118043760 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5675] ppid=5659 vsize=27314120 memory=281017160253824 CPUtime=0 cores=0-7
/proc/5662/task/5675/stat : 5675 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759454 27969658880 32973 33554432000 4194304 4196468 140728807908896 140407743535184 140410463086491 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5676] ppid=5659 vsize=27314120 memory=281017160258432 CPUtime=0.03 cores=0-7
/proc/5662/task/5676/stat : 5676 (java) S 5659 5659 5615 0 -1 1077944384 547 0 0 0 3 0 0 0 20 0 20 0 509759454 27969658880 32973 33554432000 4194304 4196468 140728807908896 140408513329776 140410463079042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5677] ppid=5659 vsize=27314120 memory=281017160263040 CPUtime=0 cores=0-7
/proc/5662/task/5677/stat : 5677 (java) S 5659 5659 5615 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 509759454 27969658880 32973 33554432000 4194304 4196468 140728807908896 140408512276976 140410463079042 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5678] ppid=5659 vsize=27314120 memory=281017160267648 CPUtime=0 cores=0-7
/proc/5662/task/5678/stat : 5678 (java) S 5659 5659 5615 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 509759454 27969658880 32973 33554432000 4194304 4196468 140728807908896 140408511224688 140410463079042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5679] ppid=5659 vsize=27314120 memory=281017160272256 CPUtime=0.07 cores=0-7
/proc/5662/task/5679/stat : 5679 (java) S 5659 5659 5615 0 -1 1077944384 488 0 0 0 7 0 0 0 20 0 20 0 509759454 27969658880 32973 33554432000 4194304 4196468 140728807908896 140408510171888 140410463079042 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5680] ppid=5659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5680/stat : 5680 (java) S 5659 5659 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509759455 27969658880 32973 33554432000 4194304 4196468 140728807908896 140407245629792 140410463078101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5681] ppid=5659 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5662/task/5681/stat : 5681 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759455 27969658880 32973 33554432000 4194304 4196468 140728807908896 140408509118768 140410463079042 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 133288 KiB

[startup+0.700907 s]
/proc/loadavg: 0.08 0.03 0.05 3/211 5681
/proc/meminfo: memFree=21903320/32770624 swapFree=67002572/67108860
[pid=5659] ppid=5656 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5659/stat : 5659 (scop.sh) S 5656 5659 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509759446 115843072 349 33554432000 4194304 5098028 140734757526592 140734757523848 140660601782908 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27078656 140734757532453 140734757532780 140734757532780 140734757535693 0
/proc/5659/statm: 28282 349 296 221 0 87 0
[pid=5662] ppid=5659 vsize=27320392 memory=167060 CPUtime=0.97 cores=0-7
/proc/5662/stat : 5662 (java) S 5659 5659 5615 0 -1 1077944320 19834 0 0 0 90 7 0 0 20 0 20 0 509759446 27976081408 41765 33554432000 4194304 4196468 140728807908896 140728807891440 140410463067895 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
/proc/5662/statm: 6830098 41765 3191 1 0 6791447 0
[pid=5662/tid=5663] ppid=5659 vsize=27320392 memory=0 CPUtime=0.66 cores=0-7
/proc/5662/task/5663/stat : 5663 (java) R 5659 5659 5615 0 -1 4202560 16776 0 0 0 61 5 0 0 20 0 20 0 509759447 27976081408 41765 33554432000 4194304 4196468 140728807908896 140410434903632 140410463089821 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5664] ppid=5659 vsize=27320392 memory=140508580324224 CPUtime=0 cores=0-7
/proc/5662/task/5664/stat : 5664 (java) S 5659 5659 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509759449 27976081408 41765 33554432000 4194304 4196468 140728807908896 140410467309968 140410463078101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5665] ppid=5659 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5665/stat : 5665 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759449 27976081408 41765 33554432000 4194304 4196468 140728807908896 140410281466128 140410463078101 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0
[pid=5662/tid=5666] ppid=5659 vsize=27320392 memory=1052 CPUtime=0 cores=0-7
/proc/5662/task/5666/stat : 5666 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509759449 27976081408 41765 33554432000 4194304 4196468 140728807908896 140410280413840 140410463078101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140728807912172 140728807912598 140728807912598 140728807915471 0

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

[pid=5685/tid=5695] ppid=5659 vsize=8414124 memory=740 CPUtime=0 cores=0-7
/proc/5685/task/5695/stat : 5695 (java) S 5659 5659 5615 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509764240 8616062976 30096 33554432000 4194304 4196468 140722207266016 140451052845296 140452294859394 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5696] ppid=5659 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/5685/task/5696/stat : 5696 (java) S 5659 5659 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509764241 8616062976 30096 33554432000 4194304 4196468 140722207266016 140450933499040 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5697] ppid=5659 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/5685/task/5697/stat : 5697 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509764241 8616062976 30096 33554432000 4194304 4196468 140722207266016 140450665063152 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5698] ppid=5659 vsize=8414124 memory=120384 CPUtime=0 cores=0-7
/proc/5685/task/5698/stat : 5698 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509764243 8616062976 30096 33554432000 4194304 4196468 140722207266016 140450290554832 140452294866843 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5699] ppid=5659 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/5685/task/5699/stat : 5699 (java) S 5659 5659 5615 0 -1 1077944384 593 0 0 0 6 0 0 0 20 0 24 0 509764243 8616062976 30096 33554432000 4194304 4196468 140722207266016 140451051793136 140452294859394 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5700] ppid=5659 vsize=8414124 memory=120384 CPUtime=0.05 cores=0-7
/proc/5685/task/5700/stat : 5700 (java) S 5659 5659 5615 0 -1 1077944384 401 0 0 0 5 0 0 0 20 0 24 0 509764243 8616062976 30096 33554432000 4194304 4196468 140722207266016 140451050740592 140452294859394 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5701] ppid=5659 vsize=8414124 memory=170936 CPUtime=0.06 cores=0-7
/proc/5685/task/5701/stat : 5701 (java) S 5659 5659 5615 0 -1 1077944384 171 0 0 0 6 0 0 0 20 0 24 0 509764243 8616062976 30096 33554432000 4194304 4196468 140722207266016 140451049687536 140452294859394 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5702] ppid=5659 vsize=8414124 memory=193 CPUtime=0.2 cores=0-7
/proc/5685/task/5702/stat : 5702 (java) S 5659 5659 5615 0 -1 1077944384 557 0 0 0 20 0 0 0 20 0 24 0 509764243 8616062976 30096 33554432000 4194304 4196468 140722207266016 140451048634992 140452294859394 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5703] ppid=5659 vsize=8414124 memory=-2893623298589923098 CPUtime=0 cores=0-7
/proc/5685/task/5703/stat : 5703 (java) S 5659 5659 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509764244 8616062976 30096 33554432000 4194304 4196468 140722207266016 140449792649696 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5704] ppid=5659 vsize=8414124 memory=9126232286719478932 CPUtime=0.01 cores=0-7
/proc/5685/task/5704/stat : 5704 (java) S 5659 5659 5615 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 509764244 8616062976 30096 33554432000 4194304 4196468 140722207266016 140451047582384 140452294859394 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5706] ppid=5659 vsize=8414124 memory=7379236407344260967 CPUtime=0 cores=0-7
/proc/5685/task/5706/stat : 5706 (java) S 5659 5659 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509764310 8616062976 30096 33554432000 4194304 4196468 140722207266016 140451039548352 140452294872857 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5708] ppid=5659 vsize=8414124 memory=7379236407344260967 CPUtime=0 cores=0-7
/proc/5685/task/5708/stat : 5708 (java) S 5659 5659 5615 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509764310 8616062976 30096 33554432000 4194304 4196468 140722207266016 140449121550352 140452294870173 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5709] ppid=5659 vsize=8414124 memory=164964123955193 CPUtime=0 cores=0-7
/proc/5685/task/5709/stat : 5709 (java) S 5659 5659 5615 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 509764310 8616062976 30096 33554432000 4194304 4196468 140722207266016 140449389985936 140452294870173 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5710] ppid=5659 vsize=8414124 memory=7090749827852560997 CPUtime=0 cores=0-7
/proc/5685/task/5710/stat : 5710 (java) S 5659 5659 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509764312 8616062976 30096 33554432000 4194304 4196468 140722207266016 140448853122480 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
Current children cumulated CPU time: 268.34 s
Current children cumulated vsize: 9190692 KiB
Current children cumulated memory: 313708 KiB

[startup+74.6012 s]
/proc/loadavg: 3.12 0.82 0.31 6/222 5727
/proc/meminfo: memFree=21743220/32770624 swapFree=67002572/67108860
[pid=5659] ppid=5656 vsize=113128 memory=1476 CPUtime=64.99 cores=0-7
/proc/5659/stat : 5659 (scop.sh) S 5656 5659 5615 0 -1 4202496 583 65098 0 0 0 0 6239 260 20 0 1 0 509759446 115843072 369 33554432000 4194304 5098028 140734757526592 140734757523336 140660601782908 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 27078656 140734757532453 140734757532780 140734757532780 140734757535693 0
/proc/5659/statm: 28282 369 311 221 0 87 0
[pid=5685] ppid=5659 vsize=8414124 memory=120384 CPUtime=1.18 cores=0-7
/proc/5685/stat : 5685 (java) S 5659 5659 5615 0 -1 1077944320 20539 0 0 0 112 6 0 0 20 0 24 0 509764237 8616062976 30096 33554432000 4194304 4196468 140722207266016 140722207248560 140452294848247 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
/proc/5685/statm: 2103531 30096 3209 1 0 2064875 0
[pid=5705] ppid=5685 vsize=647048 memory=192088 CPUtime=202.62 cores=0-7
/proc/5705/stat : 5705 (manyglucose-4.1) S 5685 5659 5615 0 -1 1077944320 112518 0 0 0 20193 69 0 0 20 0 2 0 509764309 662577152 48022 33554432000 4194304 4454172 140734126814576 140734126812960 140690922876663 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 26771456 140734126822250 140734126822448 140734126822448 140734126825402 0
/proc/5705/statm: 161762 48022 418 64 0 157430 0
[pid=5705/tid=5717] ppid=5685 vsize=647048 memory=7666642136924055632 CPUtime=25.19 cores=0-7
/proc/5705/task/5717/stat : 5717 (manyglucose-4.1) R 5685 5659 5615 0 -1 4202560 11316 0 0 0 2511 8 0 0 20 0 2 0 509764320 662577152 48022 33554432000 4194304 4454172 140734126814576 140690780580728 4351765 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 26771456 140734126822250 140734126822448 140734126822448 140734126825402 0
[pid=5685/tid=5686] ppid=5659 vsize=8414124 memory=1476 CPUtime=0.74 cores=0-7
/proc/5685/task/5686/stat : 5686 (java) S 5659 5659 5615 0 -1 1077944384 17425 0 0 0 70 4 0 0 20 0 24 0 509764237 8616062976 30096 33554432000 4194304 4196468 140722207266016 140452266688416 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5687] ppid=5659 vsize=8414124 memory=120384 CPUtime=0 cores=0-7
/proc/5685/task/5687/stat : 5687 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509764239 8616062976 30096 33554432000 4194304 4196468 140722207266016 140452299090448 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5688] ppid=5659 vsize=8414124 memory=187672 CPUtime=0 cores=0-7
/proc/5685/task/5688/stat : 5688 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509764239 8616062976 30096 33554432000 4194304 4196468 140722207266016 140452099259024 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5689] ppid=5659 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/5685/task/5689/stat : 5689 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509764239 8616062976 30096 33554432000 4194304 4196468 140722207266016 140452098205968 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5690] ppid=5659 vsize=8414124 memory=740 CPUtime=0 cores=0-7
/proc/5685/task/5690/stat : 5690 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509764239 8616062976 30096 33554432000 4194304 4196468 140722207266016 140452097153424 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5691] ppid=5659 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/5685/task/5691/stat : 5691 (java) S 5659 5659 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509764239 8616062976 30096 33554432000 4194304 4196468 140722207266016 140452096101392 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5692] ppid=5659 vsize=8414124 memory=7548 CPUtime=0 cores=0-7
/proc/5685/task/5692/stat : 5692 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509764239 8616062976 30096 33554432000 4194304 4196468 140722207266016 140452095048848 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5693] ppid=5659 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/5685/task/5693/stat : 5693 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509764239 8616062976 30096 33554432000 4194304 4196468 140722207266016 140452093995792 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5694] ppid=5659 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/5685/task/5694/stat : 5694 (java) S 5659 5659 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509764239 8616062976 30096 33554432000 4194304 4196468 140722207266016 140452092943248 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5695] ppid=5659 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/5685/task/5695/stat : 5695 (java) S 5659 5659 5615 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509764240 8616062976 30096 33554432000 4194304 4196468 140722207266016 140451052845296 140452294859394 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5696] ppid=5659 vsize=8414124 memory=1160 CPUtime=0 cores=0-7
/proc/5685/task/5696/stat : 5696 (java) S 5659 5659 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509764241 8616062976 30096 33554432000 4194304 4196468 140722207266016 140450933499040 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5697] ppid=5659 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/5685/task/5697/stat : 5697 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509764241 8616062976 30096 33554432000 4194304 4196468 140722207266016 140450665063152 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5698] ppid=5659 vsize=8414124 memory=1096 CPUtime=0 cores=0-7
/proc/5685/task/5698/stat : 5698 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509764243 8616062976 30096 33554432000 4194304 4196468 140722207266016 140450290554832 140452294866843 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5699] ppid=5659 vsize=8414124 memory=6160 CPUtime=0.06 cores=0-7
/proc/5685/task/5699/stat : 5699 (java) S 5659 5659 5615 0 -1 1077944384 593 0 0 0 6 0 0 0 20 0 24 0 509764243 8616062976 30096 33554432000 4194304 4196468 140722207266016 140451051793136 140452294859394 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5700] ppid=5659 vsize=8414124 memory=14012 CPUtime=0.05 cores=0-7
/proc/5685/task/5700/stat : 5700 (java) S 5659 5659 5615 0 -1 1077944384 401 0 0 0 5 0 0 0 20 0 24 0 509764243 8616062976 30096 33554432000 4194304 4196468 140722207266016 140451050740592 140452294859394 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5701] ppid=5659 vsize=8414124 memory=32704 CPUtime=0.06 cores=0-7
/proc/5685/task/5701/stat : 5701 (java) S 5659 5659 5615 0 -1 1077944384 171 0 0 0 6 0 0 0 20 0 24 0 509764243 8616062976 30096 33554432000 4194304 4196468 140722207266016 140451049687536 140452294859394 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5702] ppid=5659 vsize=8414124 memory=14068 CPUtime=0.2 cores=0-7
/proc/5685/task/5702/stat : 5702 (java) S 5659 5659 5615 0 -1 1077944384 557 0 0 0 20 0 0 0 20 0 24 0 509764243 8616062976 30096 33554432000 4194304 4196468 140722207266016 140451048634992 140452294859394 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5703] ppid=5659 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/5685/task/5703/stat : 5703 (java) S 5659 5659 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509764244 8616062976 30096 33554432000 4194304 4196468 140722207266016 140449792649696 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5704] ppid=5659 vsize=8414124 memory=2120 CPUtime=0.01 cores=0-7
/proc/5685/task/5704/stat : 5704 (java) S 5659 5659 5615 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 509764244 8616062976 30096 33554432000 4194304 4196468 140722207266016 140451047582384 140452294859394 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5706] ppid=5659 vsize=8414124 memory=504 CPUtime=0 cores=0-7
/proc/5685/task/5706/stat : 5706 (java) S 5659 5659 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509764310 8616062976 30096 33554432000 4194304 4196468 140722207266016 140451039548352 140452294872857 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5708] ppid=5659 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/5685/task/5708/stat : 5708 (java) S 5659 5659 5615 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509764310 8616062976 30096 33554432000 4194304 4196468 140722207266016 140449121550352 140452294870173 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5709] ppid=5659 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/5685/task/5709/stat : 5709 (java) S 5659 5659 5615 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 509764310 8616062976 30096 33554432000 4194304 4196468 140722207266016 140449389985936 140452294870173 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5710] ppid=5659 vsize=8414124 memory=1692 CPUtime=0 cores=0-7
/proc/5685/task/5710/stat : 5710 (java) S 5659 5659 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509764312 8616062976 30096 33554432000 4194304 4196468 140722207266016 140448853122480 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
Current children cumulated CPU time: 268.79 s
Current children cumulated vsize: 9174300 KiB
Current children cumulated memory: 313948 KiB

[startup+74.7012 s]
/proc/loadavg: 3.12 0.82 0.31 6/222 5727
/proc/meminfo: memFree=21743220/32770624 swapFree=67002572/67108860
[pid=5659] ppid=5656 vsize=113128 memory=1476 CPUtime=64.99 cores=0-7
/proc/5659/stat : 5659 (scop.sh) S 5656 5659 5615 0 -1 4202496 583 65098 0 0 0 0 6239 260 20 0 1 0 509759446 115843072 369 33554432000 4194304 5098028 140734757526592 140734757523336 140660601782908 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 27078656 140734757532453 140734757532780 140734757532780 140734757535693 0
/proc/5659/statm: 28282 369 311 221 0 87 0
[pid=5685] ppid=5659 vsize=8414124 memory=120384 CPUtime=1.18 cores=0-7
/proc/5685/stat : 5685 (java) S 5659 5659 5615 0 -1 1077944320 20539 0 0 0 112 6 0 0 20 0 24 0 509764237 8616062976 30096 33554432000 4194304 4196468 140722207266016 140722207248560 140452294848247 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
/proc/5685/statm: 2103531 30096 3209 1 0 2064875 0
[pid=5705] ppid=5685 vsize=647048 memory=192088 CPUtime=202.72 cores=0-7
/proc/5705/stat : 5705 (manyglucose-4.1) S 5685 5659 5615 0 -1 1077944320 112518 0 0 0 20203 69 0 0 20 0 2 0 509764309 662577152 48022 33554432000 4194304 4454172 140734126814576 140734126812960 140690922876663 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 26771456 140734126822250 140734126822448 140734126822448 140734126825402 0
/proc/5705/statm: 161762 48022 418 64 0 157430 0
[pid=5705/tid=5717] ppid=5685 vsize=647048 memory=1476 CPUtime=25.29 cores=0-7
/proc/5705/task/5717/stat : 5717 (manyglucose-4.1) R 5685 5659 5615 0 -1 4202560 11316 0 0 0 2521 8 0 0 20 0 2 0 509764320 662577152 48022 33554432000 4194304 4454172 140734126814576 140690780580728 4318951 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 26771456 140734126822250 140734126822448 140734126822448 140734126825402 0
[pid=5685/tid=5686] ppid=5659 vsize=8414124 memory=187672 CPUtime=0.74 cores=0-7
/proc/5685/task/5686/stat : 5686 (java) S 5659 5659 5615 0 -1 1077944384 17425 0 0 0 70 4 0 0 20 0 24 0 509764237 8616062976 30096 33554432000 4194304 4196468 140722207266016 140452266688416 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5687] ppid=5659 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/5685/task/5687/stat : 5687 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509764239 8616062976 30096 33554432000 4194304 4196468 140722207266016 140452299090448 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5688] ppid=5659 vsize=8414124 memory=120384 CPUtime=0 cores=0-7
/proc/5685/task/5688/stat : 5688 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509764239 8616062976 30096 33554432000 4194304 4196468 140722207266016 140452099259024 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5689] ppid=5659 vsize=8414124 memory=105796 CPUtime=0 cores=0-7
/proc/5685/task/5689/stat : 5689 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509764239 8616062976 30096 33554432000 4194304 4196468 140722207266016 140452098205968 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5690] ppid=5659 vsize=8414124 memory=48 CPUtime=0 cores=0-7
/proc/5685/task/5690/stat : 5690 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509764239 8616062976 30096 33554432000 4194304 4196468 140722207266016 140452097153424 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5691] ppid=5659 vsize=8414124 memory=55 CPUtime=0 cores=0-7
/proc/5685/task/5691/stat : 5691 (java) S 5659 5659 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509764239 8616062976 30096 33554432000 4194304 4196468 140722207266016 140452096101392 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5692] ppid=5659 vsize=8414124 memory=-3258418265892434876 CPUtime=0 cores=0-7
/proc/5685/task/5692/stat : 5692 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509764239 8616062976 30096 33554432000 4194304 4196468 140722207266016 140452095048848 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5693] ppid=5659 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/5685/task/5693/stat : 5693 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509764239 8616062976 30096 33554432000 4194304 4196468 140722207266016 140452093995792 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5694] ppid=5659 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/5685/task/5694/stat : 5694 (java) S 5659 5659 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509764239 8616062976 30096 33554432000 4194304 4196468 140722207266016 140452092943248 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5695] ppid=5659 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5685/task/5695/stat : 5695 (java) S 5659 5659 5615 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509764240 8616062976 30096 33554432000 4194304 4196468 140722207266016 140451052845296 140452294859394 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5696] ppid=5659 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5685/task/5696/stat : 5696 (java) S 5659 5659 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509764241 8616062976 30096 33554432000 4194304 4196468 140722207266016 140450933499040 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5697] ppid=5659 vsize=8414124 memory=-4075877051373423739 CPUtime=0 cores=0-7
/proc/5685/task/5697/stat : 5697 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509764241 8616062976 30096 33554432000 4194304 4196468 140722207266016 140450665063152 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5698] ppid=5659 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5685/task/5698/stat : 5698 (java) S 5659 5659 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509764243 8616062976 30096 33554432000 4194304 4196468 140722207266016 140450290554832 140452294866843 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5699] ppid=5659 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/5685/task/5699/stat : 5699 (java) S 5659 5659 5615 0 -1 1077944384 593 0 0 0 6 0 0 0 20 0 24 0 509764243 8616062976 30096 33554432000 4194304 4196468 140722207266016 140451051793136 140452294859394 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5700] ppid=5659 vsize=8414124 memory=3588 CPUtime=0.05 cores=0-7
/proc/5685/task/5700/stat : 5700 (java) S 5659 5659 5615 0 -1 1077944384 401 0 0 0 5 0 0 0 20 0 24 0 509764243 8616062976 30096 33554432000 4194304 4196468 140722207266016 140451050740592 140452294859394 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5701] ppid=5659 vsize=8414124 memory=2372 CPUtime=0.06 cores=0-7
/proc/5685/task/5701/stat : 5701 (java) S 5659 5659 5615 0 -1 1077944384 171 0 0 0 6 0 0 0 20 0 24 0 509764243 8616062976 30096 33554432000 4194304 4196468 140722207266016 140451049687536 140452294859394 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5702] ppid=5659 vsize=8414124 memory=6944652177228980320 CPUtime=0.2 cores=0-7
/proc/5685/task/5702/stat : 5702 (java) S 5659 5659 5615 0 -1 1077944384 557 0 0 0 20 0 0 0 20 0 24 0 509764243 8616062976 30096 33554432000 4194304 4196468 140722207266016 140451048634992 140452294859394 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5703] ppid=5659 vsize=8414124 memory=849 CPUtime=0 cores=0-7
/proc/5685/task/5703/stat : 5703 (java) S 5659 5659 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509764244 8616062976 30096 33554432000 4194304 4196468 140722207266016 140449792649696 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5704] ppid=5659 vsize=8414124 memory=74 CPUtime=0.01 cores=0-7
/proc/5685/task/5704/stat : 5704 (java) S 5659 5659 5615 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 509764244 8616062976 30096 33554432000 4194304 4196468 140722207266016 140451047582384 140452294859394 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5706] ppid=5659 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5685/task/5706/stat : 5706 (java) S 5659 5659 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509764310 8616062976 30096 33554432000 4194304 4196468 140722207266016 140451039548352 140452294872857 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5708] ppid=5659 vsize=8414124 memory=120384 CPUtime=0 cores=0-7
/proc/5685/task/5708/stat : 5708 (java) S 5659 5659 5615 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509764310 8616062976 30096 33554432000 4194304 4196468 140722207266016 140449121550352 140452294870173 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5709] ppid=5659 vsize=8414124 memory=166544 CPUtime=0 cores=0-7
/proc/5685/task/5709/stat : 5709 (java) S 5659 5659 5615 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 509764310 8616062976 30096 33554432000 4194304 4196468 140722207266016 140449389985936 140452294870173 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
[pid=5685/tid=5710] ppid=5659 vsize=8414124 memory=3588 CPUtime=0 cores=0-7
/proc/5685/task/5710/stat : 5710 (java) S 5659 5659 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509764312 8616062976 30096 33554432000 4194304 4196468 140722207266016 140448853122480 140452294858453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20574208 140722207269880 140722207270038 140722207270038 140722207272911 0
Current children cumulated CPU time: 268.89 s
Current children cumulated vsize: 9174300 KiB
Current children cumulated memory: 313948 KiB

Child status: 0
Real time (s): 74.739
CPU time (s): 269.009
CPU user time (s): 265.624
CPU system time (s): 3.38574
CPU usage (%): 359.932
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 6460712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 265.624
system time used= 3.38574
maximum resident set size= 6460268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199109
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51124
involuntary context switches= 2437


# summary of solver processes directly reported to runsolver:
#   pid: 5659
#   total CPU time (s): 269.009
#   total CPU user time (s): 265.624
#   total CPU system time (s): 3.38574

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.601353 second user time and 0.860781 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-24 16:39:02
IDJOB=4405182
IDBENCH=125590
IDSOLVER=2867
FILE ID=node148/4405182-1569335979
RUNJOBID= node148-1569335941-5642
PBS_JOBID= 21705049
Free space on /tmp= 22052 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5-p7/mdd-7-25-5-ps05-psh07-9.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405182-1569335979/watcher-4405182-1569335979 -o /tmp/evaluation-result-4405182-1569335979/solver-4405182-1569335979 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405182-1569335979.xml

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

MD5SUM BENCH= 2d7f03e466d78847960dc3f747db29ef
RANDOM SEED=2101077985

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22043784 kB
MemAvailable:   31856676 kB
Buffers:           89096 kB
Cached:          9994276 kB
SwapCached:         3340 kB
Active:          5174768 kB
Inactive:        4913084 kB
Active(anon):       3568 kB
Inactive(anon):    56740 kB
Active(file):    5171200 kB
Inactive(file):  4856344 kB
Unevictable:      110664 kB
Mlocked:          110664 kB
SwapTotal:      67108860 kB
SwapFree:       67002572 kB
Dirty:             53276 kB
Writeback:             0 kB
AnonPages:        113100 kB
Mapped:            55928 kB
Shmem:             47080 kB
Slab:             230772 kB
SReclaimable:     202364 kB
SUnreclaim:        28408 kB
KernelStack:        3280 kB
PageTables:         5340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     513892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 22032 MiB
End job on node148 at 2019-09-24 16:40:17