Trace number 4392611

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)UNSAT 54.8066 9.59343

General information on the benchmark

NameKnights/Knights-m1-s1/
Knights-015-09.xml
MD5SUMcfe7c94c3eac37bc9c9baa094de7ccd9
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 benchmark0.089181
Satisfiable
(Un)Satisfiability was proved
Number of variables9
Number of constraints36
Number of domains1
Minimum domain size225
Maximum domain size225
Distribution of domain sizes[{"size":225,"count":9}]
Minimum variable degree7
Maximum variable degree7
Distribution of variable degrees[{"degree":7,"count":9}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":36}]
Number of extensional constraints0
Number of intensional constraints36
Distribution of constraint types[{"type":"intension","count":36}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-7481-serial-file.bin HOME/instance-4392611-1568416810.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 01:19:33 CEST 2019
0.65/0.56	c PID: 7484
0.65/0.56	c IP: 172.20.3.149
0.65/0.56	c HOST: node149.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.39/0.91	c (0,0) Parsing End
1.39/0.91	c (0,0) CSP: 9 int (0 aux), 0 bool (0 aux), 36 ctr, max domain size 225
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) Constraint Name Generate Begin
1.39/0.92	c (0,0) Ctr:HOME/instance-4392611-1568416810.xml,And:Dist:Div:Eq:Mod:Ne:Num:Or:Var
1.39/0.92	c (0,0) Constraint Name Generate End
1.39/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.92	c (0,0) CSP to CSPinCNF Begin
1.39/0.99	c (0,0) translated 4 (10%) constraints
1.39/1.00	c (0,0) translated 8 (20%) constraints
1.39/1.00	c (0,0) translated 11 (30%) constraints
1.39/1.00	c (0,0) translated 15 (40%) constraints
1.39/1.00	c (0,0) translated 18 (50%) constraints
1.39/1.00	c (0,0) translated 22 (60%) constraints
1.39/1.00	c (0,0) translated 26 (70%) constraints
1.57/1.06	c (0,0) translated 29 (80%) constraints
1.79/1.11	c (0,0) translated 33 (90%) constraints
1.79/1.14	c (0,0) translated 36 (100%) constraints
1.79/1.15	c (0,0) ===========================================
1.79/1.16	c (0,0) Hybrid: #OE=63, #LE=0
1.79/1.16	c (0,0) Hybrid
1.79/1.16	c (0,0) ===========================================
1.79/1.17	c (0,0) translated 20 (10%) constraints
1.79/1.18	c (0,0) translated 40 (20%) constraints
1.79/1.19	c (0,0) translated 60 (30%) constraints
1.79/1.19	c (0,0) translated 80 (40%) constraints
1.79/1.20	c (0,0) translated 99 (50%) constraints
2.01/1.20	c (0,0) translated 119 (60%) constraints
2.01/1.21	c (0,0) translated 139 (70%) constraints
2.01/1.21	c (0,0) translated 159 (80%) constraints
2.01/1.22	c (0,0) translated 179 (90%) constraints
2.01/1.22	c (0,0) translated 198 (100%) constraints
2.01/1.23	c (0,0) CSP to CSPinCNF End
2.01/1.23	c (0,0) CSP: 45 int (36 aux), 18 bool (18 aux), 216 ctr, max domain size 225
2.01/1.23	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.01/1.23	c (0,0) CSPinCNF Propagation Begin
2.01/1.24	c (0,0) 0 values, 0 unsatisfiable literals, and 36 valid clauses are removed
2.01/1.24	c (0,0) CSPinCNF Propagation End
2.01/1.24	c (0,0) CSP: 45 int (36 aux), 18 bool (18 aux), 180 ctr, max domain size 225
2.01/1.24	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.01/1.25	c (0,0) Hybrid: #OE=63, #LE=0
2.01/1.25	c (0,0) Simplify CSPinCNF Begin
2.01/1.27	c (0,0) Simplify CSPinCNF End
2.01/1.28	c (0,0) CSP: 45 int (36 aux), 144 bool (144 aux), 306 ctr, max domain size 225
2.01/1.28	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.01/1.28	c (0,0) Calculate Precise Domain Begin
2.01/1.28	c (0,0) 0 values are removed by re-calculation
2.01/1.28	c (0,0) Calculate Precise Domain End
2.01/1.28	c (0,0) CSP: 45 int (36 aux), 144 bool (144 aux), 306 ctr, max domain size 225
2.01/1.28	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.01/1.28	c (0,0) CSPinCNF to SatSolver Begin
2.52/1.47	c (0,0) 31 (10 %) CSP clauses are encoded (0 SAT variables, 6985 SAT clauses)
2.89/1.52	c (0,0) 62 (20 %) CSP clauses are encoded (0 SAT variables, 11496 SAT clauses)
2.89/1.56	c (1,1) 92 (30 %) CSP clauses are encoded (0 SAT variables, 14749 SAT clauses)
3.29/1.71	c (1,1) 123 (40 %) CSP clauses are encoded (0 SAT variables, 16788 SAT clauses)
3.29/1.72	c (1,1) 153 (50 %) CSP clauses are encoded (0 SAT variables, 17959 SAT clauses)
3.29/1.73	c (1,1) 184 (60 %) CSP clauses are encoded (0 SAT variables, 19568 SAT clauses)
3.29/1.74	c (1,1) 215 (70 %) CSP clauses are encoded (0 SAT variables, 21161 SAT clauses)
3.29/1.75	c (1,1) 245 (80 %) CSP clauses are encoded (0 SAT variables, 22333 SAT clauses)
3.29/1.76	c (1,1) 276 (90 %) CSP clauses are encoded (0 SAT variables, 23517 SAT clauses)
3.29/1.77	c (1,1) 306 (100 %) CSP clauses are encoded (0 SAT variables, 24690 SAT clauses)
3.29/1.77	c (1,1) CSPinCNF to SatSolver End
3.29/1.77	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.29/1.77	c (1,1) 2664 bool, 24705 clause
3.29/1.77	c (1,1) Export Begin
3.73/1.85	c (1,1) Export to HOME/scop-7481-serial-file.bin
3.73/1.85	c (1,1) Export End
3.73/1.85	c (1,1) Export File Size: 0.00 MB
3.73/1.85	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.73/1.85	c END-Prog: Sat Sep 14 01:19:34 CEST 2019
0.00/2.01	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7481-serial-file.bin
3.91/2.47	c (0,0) Read Serial File Begin
3.91/2.47	c (0,0) HOME/scop-7481-serial-file.bin
3.91/2.66	c (0,0) Read Serial File End
3.91/2.67	
3.91/2.67	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
3.91/2.67	(Solving Process)
3.91/2.67	
3.91/2.69	c BEGIN-Prog: Sat Sep 14 01:19:35 CEST 2019
3.91/2.69	c PID: 7504
3.91/2.69	c IP: 172.20.3.149
3.91/2.69	c HOST: node149.alineos.net
3.91/2.70	c (0,0) SatSolver.solve Begin
3.91/2.70	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392611-1568416810.xml-scop-7484.cnf
3.91/2.73	c (0,0) c
3.91/2.73	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)
3.91/2.73	c (0,0) c
3.91/2.73	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
3.91/2.73	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
3.91/2.73	c (0,0) c ========================================[ Problem Statistics ]===========================================
3.91/2.73	c (0,0) c |                                                                                                       |
3.91/2.73	c (0,0) c |  Number of variables:          2664                                                                   |
3.91/2.73	c (0,0) c |  Number of clauses:           24705                                                                   |
3.91/2.73	c (0,0) c |  Parse time:                   0.01 s                                                                 |
3.91/2.73	c (0,0) c |                                                                                                       |
3.91/2.75	c (0,0) c |  Simplification time:          0.02 s                                                                 |
3.91/2.75	c (0,0) c |                                                                                                       |
3.91/2.75	c (0,0) c |  Generating clones                                                                                    |
3.91/2.76	c (0,0) c |  all clones generated. Memory =    38.99Mb.                                                           |
3.91/2.76	c (0,0) c ========================================================================================================|
3.91/2.76	c (0,0) c
3.91/2.76	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
3.91/2.76	c (0,0) c
3.91/2.76	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.91/2.76	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
3.91/2.76	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.91/2.76	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
3.91/2.76	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
3.91/2.76	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
3.91/2.76	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
3.91/2.76	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
3.91/2.76	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
3.91/2.76	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
3.91/2.76	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
3.91/2.76	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
3.91/2.76	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
3.91/2.76	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
3.91/2.76	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
3.91/2.76	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
3.91/2.76	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
3.91/2.76	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
3.91/2.76	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.62/9.55	c (7,0) c
54.62/9.55	c (7,0) c real time : 6.82914 s
54.62/9.55	c (7,0) c cpu time  : 49.5087 s
54.62/9.55	c (7,0) c
54.62/9.55	c (7,0) c
54.62/9.55	c (7,0) c
54.62/9.55	c (7,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
54.62/9.55	c (7,0) c
54.62/9.55	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.62/9.55	c (7,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
54.62/9.55	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.62/9.55	c (7,0) c | Conflicts     |          915263 |     120334 |     116933 |     116579 |     117507 |     114867 |     101427 |     120265 |     107351 |
54.62/9.55	c (7,0) c | Decisions     |         1070763 |     141003 |     138170 |     135723 |     135694 |     137203 |     118088 |     140622 |     124260 |
54.62/9.55	c (7,0) c | Propagations  |       183645318 |   22614354 |   22736581 |   25055411 |   21027902 |   22444468 |   24096796 |   22250314 |   23419492 |
54.62/9.55	c (7,0) c | ReduceDBs     |              95 |         18 |          9 |         16 |          9 |          9 |          8 |         18 |          8 |
54.62/9.55	c (7,0) c | SimpDBs       |              21 |          2 |          2 |          6 |          3 |          2 |          1 |          1 |          4 |
54.62/9.55	c (7,0) c | Restarts      |             611 |         82 |        107 |         65 |         30 |        193 |         43 |         41 |         50 |
54.62/9.55	c (7,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.62/9.55	c (7,0) c | PropBinClauses|       259438277 |   32120708 |   32035948 |   35374133 |   29938269 |   31645515 |   33768871 |   31772100 |   32782733 |
54.62/9.55	c (7,0) c | PropPreBlocker|      2620086559 |  319327842 |  335433025 |  341061289 |  335730319 |  327304946 |  320977998 |  323044323 |  317206817 |
54.62/9.55	c (7,0) c | PropNotBlocker|       542470790 |   66398381 |   67106272 |   73337754 |   64166023 |   66773801 |   70206233 |   64835703 |   69646623 |
54.62/9.55	c (7,0) c | LitFullScans  |      4066887129 |  498023394 |  516024775 |  529032488 |  515672898 |  510034080 |  498027680 |  498023854 |  502047960 |
54.62/9.55	c (7,0) c | LitScanFracts |          153982 |      15053 |      12958 |      15301 |      20001 |      22119 |      14594 |      14290 |      39666 |
54.62/9.55	c (7,0) c | DecisionLevel0|             648 |         83 |        109 |         76 |         43 |        195 |         43 |         41 |         58 |
54.62/9.55	c (7,0) c | Periods       |             676 |         83 |         86 |         88 |         85 |         85 |         83 |         83 |         83 |
54.62/9.55	c (7,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
54.62/9.55	c (7,0) c | Avg_Trail     |                 |       1943 |       1991 |       2003 |       2017 |       2005 |       1998 |       2062 |       1939 |
54.62/9.55	c (7,0) c | Avg_DL        |                 |         16 |         16 |         16 |         16 |         16 |         17 |         17 |         16 |
54.62/9.55	c (7,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.62/9.55	c (7,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.62/9.55	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.62/9.55	c (7,0) c | Exported      |          143232 |      18390 |      17556 |      21596 |      19106 |      16051 |      15955 |      17934 |      16644 |
54.62/9.55	c (7,0) c | Imported      |          732614 |      92438 |      95840 |      98597 |      95549 |      94435 |      83284 |      77474 |      94997 |
54.62/9.55	c (7,0) c | Good          |             990 |        118 |        131 |        131 |        128 |        116 |        124 |        119 |        123 |
54.62/9.55	c (7,0) c | Purge         |          731624 |      92320 |      95709 |      98466 |      95421 |      94319 |      83160 |      77355 |      94874 |
54.62/9.55	c (7,0) c | Promoted      |           68805 |       9097 |       7494 |       8605 |       9545 |       8688 |       8407 |       6956 |      10013 |
54.62/9.55	c (7,0) c | Remove_Imp    |          434951 |      84987 |      32451 |      86348 |      41691 |      50415 |      42937 |      73266 |      22856 |
54.62/9.55	c (7,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.62/9.55	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.62/9.55	c (7,0) c | Unaries       |                 |          1 |          2 |         11 |         13 |          2 |          0 |          0 |          8 |
54.62/9.55	c (7,0) c | Binaries      |                 |         42 |         35 |         61 |         58 |         41 |         17 |         15 |         53 |
54.62/9.55	c (7,0) c | Glues         |                 |         66 |         84 |        123 |        100 |        115 |         42 |         51 |         74 |
54.62/9.55	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.62/9.55	c (7,0) c | Orig_Seen     |            61 % |      15525 |      14776 |      16980 |      14243 |      14636 |      14475 |      15410 |      13608 |
54.62/9.55	c (7,0) c | Diff Orig seen|                 |       1917 |       1168 |       3372 |        635 |       1028 |        867 |       1802 |      X     |
54.62/9.55	c (7,0) c | Hamming       |            35 % |       1293 |       1363 |       1099 |       1178 |        562 |        285 |        849 |      X     |
54.62/9.55	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.62/9.55	c (7,0) c | RunningTime   |                 |    6.2 100%|    6.1  99%|    6.0  99%|    6.1  99%|    6.1  99%|    6.7 100%|    6.2 100%|    6.1 100%|
54.62/9.55	c (7,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
54.62/9.55	c (7,0) c | ExchangingTime|                 |    0.0   0%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   0%|    0.0   0%|    0.0   0%|
54.62/9.55	c (7,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
54.62/9.55	c (7,0) c | SolvingTime   |                 |    6.2     |    6.1     |    6.1     |    6.1     |    6.1     |    6.8     |    6.2     |    6.1     |
54.62/9.55	c (7,0) c | PropagationTim|                 |    5.3  85%|    5.3  86%|    5.2  86%|    5.3  87%|    5.2  85%|    5.9  87%|    5.3  86%|    5.3  87%|
54.62/9.55	c (7,0) c | AnalysisTime  |                 |    0.6   9%|    0.5   7%|    0.5   8%|    0.4   7%|    0.5   9%|    0.5   8%|    0.5   8%|    0.4   7%|
54.62/9.55	c (7,0) c | ReductionTime |                 |    0.1   2%|    0.1   2%|    0.1   2%|    0.1   2%|    0.1   2%|    0.1   1%|    0.1   2%|    0.1   1%|
54.62/9.55	c (7,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   1%|
54.62/9.55	c (7,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
54.62/9.55	c (7,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
54.62/9.55	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.62/9.55	c (7,0) c
54.62/9.55	c (7,0) c
54.62/9.55	c (7,0) c Threads : 8
54.62/9.55	c (7,0) c Winner : 7
54.62/9.55	c (7,0) c Conflicts_0 : 120334
54.62/9.55	c (7,0) c Conflicts_1 : 116933
54.62/9.55	c (7,0) c Conflicts_2 : 116579
54.62/9.55	c (7,0) c Conflicts_3 : 117507
54.62/9.55	c (7,0) c Conflicts_4 : 114867
54.62/9.55	c (7,0) c Conflicts_5 : 101427
54.62/9.55	c (7,0) c Conflicts_6 : 120265
54.62/9.55	c (7,0) c Conflicts_7 : 107351
54.62/9.55	c (7,0) c Conflicts_total : 915263
54.62/9.55	c (7,0) c Conflicts_winner : 107351
54.62/9.55	c (7,0) c Decisions_0 : 141003
54.62/9.55	c (7,0) c Decisions_1 : 138170
54.62/9.55	c (7,0) c Decisions_2 : 135723
54.62/9.55	c (7,0) c Decisions_3 : 135694
54.62/9.55	c (7,0) c Decisions_4 : 137203
54.62/9.55	c (7,0) c Decisions_5 : 118088
54.62/9.55	c (7,0) c Decisions_6 : 140622
54.62/9.55	c (7,0) c Decisions_7 : 124260
54.62/9.55	c (7,0) c Decisions_total : 1070763
54.62/9.55	c (7,0) c Decisions_winner : 124260
54.62/9.55	c (7,0) c Propagations_0 : 22614354
54.62/9.55	c (7,0) c Propagations_1 : 22736581
54.62/9.55	c (7,0) c Propagations_2 : 25055411
54.62/9.55	c (7,0) c Propagations_3 : 21027902
54.62/9.55	c (7,0) c Propagations_4 : 22444468
54.62/9.55	c (7,0) c Propagations_5 : 24096796
54.62/9.55	c (7,0) c Propagations_6 : 22250314
54.62/9.55	c (7,0) c Propagations_7 : 23419492
54.62/9.55	c (7,0) c Propagations_total : 183645318
54.62/9.55	c (7,0) c Propagations_winner : 23419492
54.62/9.55	c (7,0) c ReduceDBs_0 : 18
54.62/9.56	c (7,0) c ReduceDBs_1 : 9
54.62/9.56	c (7,0) c ReduceDBs_2 : 16
54.62/9.56	c (7,0) c ReduceDBs_3 : 9
54.62/9.56	c (7,0) c ReduceDBs_4 : 9
54.62/9.56	c (7,0) c ReduceDBs_5 : 8
54.62/9.56	c (7,0) c ReduceDBs_6 : 18
54.62/9.56	c (7,0) c ReduceDBs_7 : 8
54.62/9.56	c (7,0) c ReduceDBs_total : 95
54.62/9.56	c (7,0) c ReduceDBs_winner : 8
54.62/9.56	c (7,0) c SimpDBs_0 : 2
54.62/9.56	c (7,0) c SimpDBs_1 : 2
54.62/9.56	c (7,0) c SimpDBs_2 : 6
54.62/9.56	c (7,0) c SimpDBs_3 : 3
54.62/9.56	c (7,0) c SimpDBs_4 : 2
54.62/9.56	c (7,0) c SimpDBs_5 : 1
54.62/9.56	c (7,0) c SimpDBs_6 : 1
54.62/9.56	c (7,0) c SimpDBs_7 : 4
54.62/9.56	c (7,0) c SimpDBs_total : 21
54.62/9.56	c (7,0) c SimpDBs_winner : 4
54.62/9.56	c (7,0) c Restarts_0 : 82
54.62/9.56	c (7,0) c Restarts_1 : 107
54.62/9.56	c (7,0) c Restarts_2 : 65
54.62/9.56	c (7,0) c Restarts_3 : 30
54.62/9.56	c (7,0) c Restarts_4 : 193
54.62/9.56	c (7,0) c Restarts_5 : 43
54.62/9.56	c (7,0) c Restarts_6 : 41
54.62/9.56	c (7,0) c Restarts_7 : 50
54.62/9.56	c (7,0) c Restarts_total : 611
54.62/9.56	c (7,0) c Restarts_winner : 50
54.62/9.56	c (7,0) c ForcedImports_0 : 0
54.62/9.56	c (7,0) c ForcedImports_1 : 0
54.62/9.56	c (7,0) c ForcedImports_2 : 0
54.62/9.56	c (7,0) c ForcedImports_3 : 0
54.62/9.56	c (7,0) c ForcedImports_4 : 0
54.62/9.56	c (7,0) c ForcedImports_5 : 0
54.62/9.56	c (7,0) c ForcedImports_6 : 0
54.62/9.56	c (7,0) c ForcedImports_7 : 0
54.62/9.56	c (7,0) c ForcedImports_total : 0
54.62/9.56	c (7,0) c ForcedImports_winner : 0
54.62/9.56	c (7,0) c PropsBinClauses_0 : 32120708
54.62/9.56	c (7,0) c PropsBinClauses_1 : 32035948
54.62/9.56	c (7,0) c PropsBinClauses_2 : 35374133
54.62/9.56	c (7,0) c PropsBinClauses_3 : 29938269
54.62/9.56	c (7,0) c PropsBinClauses_4 : 31645515
54.62/9.56	c (7,0) c PropsBinClauses_5 : 33768871
54.62/9.56	c (7,0) c PropsBinClauses_6 : 31772100
54.62/9.56	c (7,0) c PropsBinClauses_7 : 32782733
54.62/9.56	c (7,0) c PropsBinClauses_total : 259438277
54.62/9.56	c (7,0) c PropsBinClauses_winner : 32782733
54.62/9.56	c (7,0) c PropsPreBlocker_0 : 319327842
54.62/9.56	c (7,0) c PropsPreBlocker_1 : 335433025
54.62/9.56	c (7,0) c PropsPreBlocker_2 : 341061289
54.62/9.56	c (7,0) c PropsPreBlocker_3 : 335730319
54.62/9.56	c (7,0) c PropsPreBlocker_4 : 327304946
54.62/9.56	c (7,0) c PropsPreBlocker_5 : 320977998
54.62/9.56	c (7,0) c PropsPreBlocker_6 : 323044323
54.62/9.56	c (7,0) c PropsPreBlocker_7 : 317206817
54.62/9.56	c (7,0) c PropsPreBlocker_total : 2620086559
54.62/9.56	c (7,0) c PropsPreBlocker_winner : 317206817
54.62/9.56	c (7,0) c PropsNotBlocker_0 : 66398381
54.62/9.56	c (7,0) c PropsNotBlocker_1 : 67106272
54.62/9.56	c (7,0) c PropsNotBlocker_2 : 73337754
54.62/9.56	c (7,0) c PropsNotBlocker_3 : 64166023
54.62/9.56	c (7,0) c PropsNotBlocker_4 : 66773801
54.62/9.56	c (7,0) c PropsNotBlocker_5 : 70206233
54.62/9.56	c (7,0) c PropsNotBlocker_6 : 64835703
54.62/9.56	c (7,0) c PropsNotBlocker_7 : 69646623
54.62/9.56	c (7,0) c PropsNotBlocker_total : 542470790
54.62/9.56	c (7,0) c PropsNotBlocker_winner : 69646623
54.62/9.56	c (7,0) c PropsLitFullScans_0 : 498023394
54.62/9.56	c (7,0) c PropsLitFullScans_1 : 516024775
54.62/9.56	c (7,0) c PropsLitFullScans_2 : 529032488
54.62/9.56	c (7,0) c PropsLitFullScans_3 : 515672898
54.62/9.56	c (7,0) c PropsLitFullScans_4 : 510034080
54.62/9.56	c (7,0) c PropsLitFullScans_5 : 498027680
54.62/9.56	c (7,0) c PropsLitFullScans_6 : 498023854
54.62/9.56	c (7,0) c PropsLitFullScans_7 : 502047960
54.62/9.56	c (7,0) c PropsLitFullScans_total : 4066887129
54.62/9.56	c (7,0) c PropsLitFullScans_winner : 502047960
54.62/9.56	c (7,0) c LitScanFractions_0 : 15053
54.62/9.56	c (7,0) c LitScanFractions_1 : 12958
54.62/9.56	c (7,0) c LitScanFractions_2 : 15301
54.62/9.56	c (7,0) c LitScanFractions_3 : 20001
54.62/9.56	c (7,0) c LitScanFractions_4 : 22119
54.62/9.56	c (7,0) c LitScanFractions_5 : 14594
54.62/9.56	c (7,0) c LitScanFractions_6 : 14290
54.62/9.56	c (7,0) c LitScanFractions_7 : 39666
54.62/9.56	c (7,0) c LitScanFractions_total : 153982
54.62/9.56	c (7,0) c LitScanFractions_winner : 39666
54.62/9.56	c (7,0) c DecisionLevel0_0 : 83
54.62/9.56	c (7,0) c DecisionLevel0_1 : 109
54.62/9.56	c (7,0) c DecisionLevel0_2 : 76
54.62/9.56	c (7,0) c DecisionLevel0_3 : 43
54.62/9.56	c (7,0) c DecisionLevel0_4 : 195
54.62/9.56	c (7,0) c DecisionLevel0_5 : 43
54.62/9.56	c (7,0) c DecisionLevel0_6 : 41
54.62/9.56	c (7,0) c DecisionLevel0_7 : 58
54.62/9.56	c (7,0) c DecisionLevel0_total : 648
54.62/9.56	c (7,0) c DecisionLevel0_winner : 58
54.62/9.56	c (7,0) c Periods_0 : 83
54.62/9.56	c (7,0) c Periods_1 : 86
54.62/9.56	c (7,0) c Periods_2 : 88
54.62/9.56	c (7,0) c Periods_3 : 85
54.62/9.56	c (7,0) c Periods_4 : 85
54.62/9.56	c (7,0) c Periods_5 : 83
54.62/9.56	c (7,0) c Periods_6 : 83
54.62/9.56	c (7,0) c Periods_7 : 83
54.62/9.56	c (7,0) c Periods_total : 676
54.62/9.56	c (7,0) c Periods_winner : 83
54.62/9.56	c (7,0) c Margin_0 : 20
54.62/9.56	c (7,0) c Margin_1 : 20
54.62/9.56	c (7,0) c Margin_2 : 20
54.62/9.56	c (7,0) c Margin_3 : 20
54.62/9.56	c (7,0) c Margin_4 : 20
54.62/9.56	c (7,0) c Margin_5 : 20
54.62/9.56	c (7,0) c Margin_6 : 20
54.62/9.56	c (7,0) c Margin_7 : 20
54.62/9.56	c (7,0) c Margin_total : 160
54.62/9.56	c (7,0) c Margin_winner : 20
54.62/9.56	c (7,0) c Exported_0 : 18390
54.62/9.56	c (7,0) c Exported_1 : 17556
54.62/9.56	c (7,0) c Exported_2 : 21596
54.62/9.56	c (7,0) c Exported_3 : 19106
54.62/9.56	c (7,0) c Exported_4 : 16051
54.62/9.56	c (7,0) c Exported_5 : 15955
54.62/9.56	c (7,0) c Exported_6 : 17934
54.62/9.56	c (7,0) c Exported_7 : 16644
54.62/9.56	c (7,0) c Exported_total : 143232
54.62/9.56	c (7,0) c Exported_winner : 16644
54.62/9.56	c (7,0) c Imported_0 : 92438
54.62/9.56	c (7,0) c Imported_1 : 95840
54.62/9.56	c (7,0) c Imported_2 : 98597
54.62/9.56	c (7,0) c Imported_3 : 95549
54.62/9.56	c (7,0) c Imported_4 : 94435
54.62/9.56	c (7,0) c Imported_5 : 83284
54.62/9.56	c (7,0) c Imported_6 : 77474
54.62/9.56	c (7,0) c Imported_7 : 94997
54.62/9.56	c (7,0) c Imported_total : 732614
54.62/9.56	c (7,0) c Imported_winner : 94997
54.62/9.56	c (7,0) c Good_0 : 118
54.62/9.56	c (7,0) c Good_1 : 131
54.62/9.56	c (7,0) c Good_2 : 131
54.62/9.56	c (7,0) c Good_3 : 128
54.62/9.56	c (7,0) c Good_4 : 116
54.62/9.56	c (7,0) c Good_5 : 124
54.62/9.56	c (7,0) c Good_6 : 119
54.62/9.56	c (7,0) c Good_7 : 123
54.62/9.56	c (7,0) c Good_total : 990
54.62/9.56	c (7,0) c Good_winner : 123
54.62/9.56	c (7,0) c Purge_0 : 92320
54.62/9.56	c (7,0) c Purge_1 : 95709
54.62/9.56	c (7,0) c Purge_2 : 98466
54.62/9.56	c (7,0) c Purge_3 : 95421
54.62/9.56	c (7,0) c Purge_4 : 94319
54.62/9.56	c (7,0) c Purge_5 : 83160
54.62/9.56	c (7,0) c Purge_6 : 77355
54.62/9.56	c (7,0) c Purge_7 : 94874
54.62/9.56	c (7,0) c Purge_total : 731624
54.62/9.56	c (7,0) c Purge_winner : 94874
54.62/9.56	c (7,0) c Promoted_0 : 9097
54.62/9.56	c (7,0) c Promoted_1 : 7494
54.62/9.56	c (7,0) c Promoted_2 : 8605
54.62/9.56	c (7,0) c Promoted_3 : 9545
54.62/9.56	c (7,0) c Promoted_4 : 8688
54.62/9.56	c (7,0) c Promoted_5 : 8407
54.62/9.56	c (7,0) c Promoted_6 : 6956
54.62/9.56	c (7,0) c Promoted_7 : 10013
54.62/9.56	c (7,0) c Promoted_total : 68805
54.62/9.56	c (7,0) c Promoted_winner : 10013
54.62/9.56	c (7,0) c Remove_Imp_0 : 84987
54.62/9.56	c (7,0) c Remove_Imp_1 : 32451
54.62/9.56	c (7,0) c Remove_Imp_2 : 86348
54.62/9.56	c (7,0) c Remove_Imp_3 : 41691
54.62/9.56	c (7,0) c Remove_Imp_4 : 50415
54.62/9.56	c (7,0) c Remove_Imp_5 : 42937
54.62/9.56	c (7,0) c Remove_Imp_6 : 73266
54.62/9.56	c (7,0) c Remove_Imp_7 : 22856
54.62/9.56	c (7,0) c Remove_Imp_total : 434951
54.62/9.56	c (7,0) c Remove_Imp_winner : 22856
54.62/9.56	c (7,0) c Blocked_Reuse_0 : 0
54.62/9.56	c (7,0) c Blocked_Reuse_1 : 0
54.62/9.56	c (7,0) c Blocked_Reuse_2 : 0
54.62/9.56	c (7,0) c Blocked_Reuse_3 : 0
54.62/9.56	c (7,0) c Blocked_Reuse_4 : 0
54.62/9.56	c (7,0) c Blocked_Reuse_5 : 0
54.62/9.56	c (7,0) c Blocked_Reuse_6 : 0
54.62/9.56	c (7,0) c Blocked_Reuse_7 : 0
54.62/9.56	c (7,0) c Blocked_Reuse_total : 0
54.62/9.56	c (7,0) c Blocked_Reuse_winner : 0
54.62/9.56	c (7,0) c Unaries_0 : 1
54.62/9.56	c (7,0) c Unaries_1 : 2
54.62/9.56	c (7,0) c Unaries_2 : 11
54.62/9.56	c (7,0) c Unaries_3 : 13
54.62/9.56	c (7,0) c Unaries_4 : 2
54.62/9.56	c (7,0) c Unaries_5 : 0
54.62/9.56	c (7,0) c Unaries_6 : 0
54.62/9.56	c (7,0) c Unaries_7 : 8
54.62/9.56	c (7,0) c Unaries_total : 37
54.62/9.56	c (7,0) c Unaries_winner : 8
54.62/9.56	c (7,0) c Binaries_0 : 42
54.62/9.56	c (7,0) c Binaries_1 : 35
54.62/9.56	c (7,0) c Binaries_2 : 61
54.62/9.56	c (7,0) c Binaries_3 : 58
54.62/9.56	c (7,0) c Binaries_4 : 41
54.62/9.56	c (7,0) c Binaries_5 : 17
54.62/9.56	c (7,0) c Binaries_6 : 15
54.62/9.56	c (7,0) c Binaries_7 : 53
54.62/9.56	c (7,0) c Binaries_total : 322
54.62/9.56	c (7,0) c Binaries_winner : 53
54.62/9.56	c (7,0) c Glues_0 : 66
54.62/9.56	c (7,0) c Glues_1 : 84
54.62/9.56	c (7,0) c Glues_2 : 123
54.62/9.56	c (7,0) c Glues_3 : 100
54.62/9.56	c (7,0) c Glues_4 : 115
54.62/9.56	c (7,0) c Glues_5 : 42
54.62/9.56	c (7,0) c Glues_6 : 51
54.62/9.56	c (7,0) c Glues_7 : 74
54.62/9.56	c (7,0) c Glues_total : 655
54.62/9.56	c (7,0) c Glues_winner : 74
54.62/9.56	c (7,0) c RunningTime_0 : 6.199561
54.62/9.56	c (7,0) c RunningTime_1 : 6.079733
54.62/9.56	c (7,0) c RunningTime_2 : 6.020610
54.62/9.56	c (7,0) c RunningTime_3 : 6.111152
54.62/9.56	c (7,0) c RunningTime_4 : 6.100966
54.62/9.56	c (7,0) c RunningTime_5 : 6.746007
54.62/9.56	c (7,0) c RunningTime_6 : 6.168712
54.62/9.56	c (7,0) c RunningTime_7 : 6.054389
54.62/9.56	c (7,0) c RunningTime_total : 49.481129
54.62/9.56	c (7,0) c RunningTime_winner : 6.054389
54.62/9.56	c (7,0) c WaitingTime_0 : 0.000103
54.62/9.56	c (7,0) c WaitingTime_1 : 0.000084
54.62/9.56	c (7,0) c WaitingTime_2 : 0.000104
54.62/9.56	c (7,0) c WaitingTime_3 : 0.000094
54.62/9.56	c (7,0) c WaitingTime_4 : 0.000077
54.62/9.56	c (7,0) c WaitingTime_5 : 0.000069
54.62/9.56	c (7,0) c WaitingTime_6 : 0.000099
54.62/9.56	c (7,0) c WaitingTime_7 : 0.000087
54.62/9.56	c (7,0) c WaitingTime_total : 0.000716
54.62/9.56	c (7,0) c WaitingTime_winner : 0.000087
54.62/9.56	c (7,0) c ExchangingTime_0 : 0.028739
54.62/9.56	c (7,0) c ExchangingTime_1 : 0.032782
54.62/9.56	c (7,0) c ExchangingTime_2 : 0.036812
54.62/9.56	c (7,0) c ExchangingTime_3 : 0.031173
54.62/9.56	c (7,0) c ExchangingTime_4 : 0.031168
54.62/9.56	c (7,0) c ExchangingTime_5 : 0.031030
54.62/9.56	c (7,0) c ExchangingTime_6 : 0.027950
54.62/9.56	c (7,0) c ExchangingTime_7 : 0.029054
54.62/9.56	c (7,0) c ExchangingTime_total : 0.248708
54.62/9.56	c (7,0) c ExchangingTime_winner : 0.029054
54.62/9.56	c (7,0) c PeriodProcTime_0 : 0.000523
54.62/9.56	c (7,0) c PeriodProcTime_1 : 0.000668
54.62/9.56	c (7,0) c PeriodProcTime_2 : 0.000769
54.62/9.56	c (7,0) c PeriodProcTime_3 : 0.000489
54.62/9.56	c (7,0) c PeriodProcTime_4 : 0.000722
54.62/9.56	c (7,0) c PeriodProcTime_5 : 0.000477
54.62/9.56	c (7,0) c PeriodProcTime_6 : 0.000477
54.62/9.56	c (7,0) c PeriodProcTime_7 : 0.000638
54.62/9.56	c (7,0) c PeriodProcTime_total : 0.004763
54.62/9.56	c (7,0) c PeriodProcTime_winner : 0.000638
54.62/9.56	c (7,0) c SolvingTime_0 : 6.228925
54.62/9.56	c (7,0) c SolvingTime_1 : 6.113266
54.62/9.56	c (7,0) c SolvingTime_2 : 6.058296
54.62/9.56	c (7,0) c SolvingTime_3 : 6.142908
54.62/9.56	c (7,0) c SolvingTime_4 : 6.132934
54.62/9.56	c (7,0) c SolvingTime_5 : 6.777582
54.62/9.56	c (7,0) c SolvingTime_6 : 6.197238
54.62/9.56	c (7,0) c SolvingTime_7 : 6.084167
54.62/9.56	c (7,0) c SolvingTime_total : 49.735316
54.62/9.56	c (7,0) c SolvingTime_winner : 6.084167
54.62/9.56	c (7,0) c PropagationTime_0 : 5.294131
54.62/9.56	c (7,0) c PropagationTime_1 : 5.284220
54.62/9.56	c (7,0) c PropagationTime_2 : 5.205105
54.62/9.56	c (7,0) c PropagationTime_3 : 5.317572
54.62/9.56	c (7,0) c PropagationTime_4 : 5.229337
54.62/9.56	c (7,0) c PropagationTime_5 : 5.902210
54.62/9.56	c (7,0) c PropagationTime_6 : 5.310556
54.62/9.56	c (7,0) c PropagationTime_7 : 5.268046
54.62/9.56	c (7,0) c PropagationTime_total : 42.811177
54.62/9.56	c (7,0) c PropagationTime_winner : 5.268046
54.62/9.56	c (7,0) c AnalysisTime_0 : 0.558156
54.62/9.56	c (7,0) c AnalysisTime_1 : 0.454713
54.62/9.56	c (7,0) c AnalysisTime_2 : 0.460606
54.62/9.56	c (7,0) c AnalysisTime_3 : 0.448992
54.62/9.56	c (7,0) c AnalysisTime_4 : 0.537069
54.62/9.56	c (7,0) c AnalysisTime_5 : 0.544481
54.62/9.56	c (7,0) c AnalysisTime_6 : 0.494724
54.62/9.56	c (7,0) c AnalysisTime_7 : 0.441063
54.62/9.56	c (7,0) c AnalysisTime_total : 3.939804
54.62/9.56	c (7,0) c AnalysisTime_winner : 0.441063
54.62/9.56	c (7,0) c ReductionTime_0 : 0.116029
54.62/9.56	c (7,0) c ReductionTime_1 : 0.103784
54.62/9.56	c (7,0) c ReductionTime_2 : 0.102798
54.62/9.57	c (7,0) c ReductionTime_3 : 0.119643
54.62/9.57	c (7,0) c ReductionTime_4 : 0.098241
54.62/9.57	c (7,0) c ReductionTime_5 : 0.087931
54.62/9.57	c (7,0) c ReductionTime_6 : 0.112765
54.62/9.57	c (7,0) c ReductionTime_7 : 0.088978
54.62/9.57	c (7,0) c ReductionTime_total : 0.830169
54.62/9.57	c (7,0) c ReductionTime_winner : 0.088978
54.62/9.57	c (7,0) c SimplifyTime_0 : 0.003938
54.62/9.57	c (7,0) c SimplifyTime_1 : 0.013884
54.62/9.57	c (7,0) c SimplifyTime_2 : 0.012360
54.62/9.57	c (7,0) c SimplifyTime_3 : 0.017447
54.62/9.57	c (7,0) c SimplifyTime_4 : 0.021094
54.62/9.57	c (7,0) c SimplifyTime_5 : 0.000003
54.62/9.57	c (7,0) c SimplifyTime_6 : 0.000002
54.62/9.57	c (7,0) c SimplifyTime_7 : 0.041031
54.62/9.57	c (7,0) c SimplifyTime_total : 0.109759
54.62/9.57	c (7,0) c SimplifyTime_winner : 0.041031
54.62/9.57	c (7,0) c UsedRateTime_0 : 0.000000
54.62/9.57	c (7,0) c UsedRateTime_1 : 0.000000
54.62/9.57	c (7,0) c UsedRateTime_2 : 0.000000
54.62/9.57	c (7,0) c UsedRateTime_3 : 0.000000
54.62/9.57	c (7,0) c UsedRateTime_4 : 0.000000
54.62/9.57	c (7,0) c UsedRateTime_5 : 0.000000
54.62/9.57	c (7,0) c UsedRateTime_6 : 0.000000
54.62/9.57	c (7,0) c UsedRateTime_7 : 0.000000
54.62/9.57	c (7,0) c UsedRateTime_total : 0.000000
54.62/9.57	c (7,0) c UsedRateTime_winner : 0.000000
54.62/9.57	c (7,0) c OverlapRateTime_0 : 0.000000
54.62/9.57	c (7,0) c OverlapRateTime_1 : 0.000000
54.62/9.57	c (7,0) c OverlapRateTime_2 : 0.000000
54.62/9.57	c (7,0) c OverlapRateTime_3 : 0.000000
54.62/9.57	c (7,0) c OverlapRateTime_4 : 0.000000
54.62/9.57	c (7,0) c OverlapRateTime_5 : 0.000000
54.62/9.57	c (7,0) c OverlapRateTime_6 : 0.000000
54.62/9.57	c (7,0) c OverlapRateTime_7 : 0.000000
54.62/9.57	c (7,0) c OverlapRateTime_total : 0.000000
54.62/9.57	c (7,0) c OverlapRateTime_winner : 0.000000
54.62/9.57	c (7,0) c
54.62/9.57	c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
54.62/9.57	c (7,0) c
54.62/9.57	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.62/9.57	c (7,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
54.62/9.57	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.62/9.57	c (7,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
54.62/9.57	c (7,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
54.62/9.57	c (7,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
54.62/9.57	c (7,0) c | Initial random_seed   |  986368505 |  711608428 | 1074163699 | 2020288249 | 1975086584 |  245706201 | 1549154456 | 1750087892 |
54.62/9.57	c (7,0) c | chanseokStrategy      |       True |      False |       True |      False |      False |      False |       True |      False |
54.62/9.57	c (7,0) c | coLBDBound            |          4 |          5 |          4 |          5 |          5 |          5 |          4 |          5 |
54.62/9.57	c (7,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
54.62/9.57	c (7,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
54.62/9.57	c (7,0) c | incReduceDB           |          0 |        300 |          0 |        300 |        300 |        300 |          0 |        300 |
54.62/9.57	c (7,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
54.62/9.57	c (7,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
54.62/9.57	c (7,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
54.62/9.57	c (7,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
54.62/9.57	c (7,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
54.62/9.57	c (7,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
54.62/9.57	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.62/9.57	c (7,0) 
54.62/9.57	c (7,0) s UNSATISFIABLE
54.62/9.57	c (7,0) SatSolver.solve End
54.62/9.57	c (7,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
54.62/9.57	c (7,0) Show results Begin
54.62/9.57	s UNSATISFIABLE
54.62/9.57	c (7,0) Show results End
54.62/9.57	c (7,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
54.62/9.57	c (7,0) 7,7,STOP-AFTER(ALL)
54.62/9.57	c END-Prog: Sat Sep 14 01:19:42 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 (14857 MiB free)
  memory of node 1: 16384 MiB (15323 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392611-1568416810/watcher-4392611-1568416810 -o /tmp/evaluation-result-4392611-1568416810/solver-4392611-1568416810 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568416730-6442 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392611-1568416810.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=7481, runsolver pid=7478

[startup+0.10011 s]*
/proc/loadavg: 3.04 1.10 1.21 4/212 7503
/proc/meminfo: memFree=30809900/32770624 swapFree=66940928/67108860
[pid=7481] ppid=7478 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7481/stat : 7481 (scop.sh) S 7478 7481 6415 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 417919721 115843072 349 33554432000 4194304 5098028 140730992183376 140730992180632 139674598748796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27017216 140730992190244 140730992190572 140730992190572 140730992193485 0
/proc/7481/statm: 28282 349 296 221 0 87 0
[pid=7484] ppid=7481 vsize=27314120 memory=107408 CPUtime=0.1 cores=0-7
/proc/7484/stat : 7484 (java) S 7481 7481 6415 0 -1 1077944320 6461 0 0 0 8 2 0 0 20 0 20 0 417919722 27969658880 26852 33554432000 4194304 4196468 140720511471568 140720511454112 139973172215543 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
/proc/7484/statm: 6828530 26852 2778 1 0 6790935 0
[pid=7484/tid=7485] ppid=7481 vsize=27314120 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/7484/task/7485/stat : 7485 (java) R 7481 7481 6415 0 -1 4202560 4569 0 0 0 7 2 0 0 20 0 20 0 417919722 27969658880 26917 33554432000 4194304 4196468 140720511471568 139973144033920 139973172227478 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7486] ppid=7481 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/7484/task/7486/stat : 7486 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 26917 33554432000 4194304 4196468 140720511471568 139973176457872 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7487] ppid=7481 vsize=27314120 memory=140554728072832 CPUtime=0 cores=0-7
/proc/7484/task/7487/stat : 7487 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 26917 33554432000 4194304 4196468 140720511471568 139972990614032 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7488] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7488/stat : 7488 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 26917 33554432000 4194304 4196468 140720511471568 139972989561232 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7489] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7489/stat : 7489 (java) S 7481 7481 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 26917 33554432000 4194304 4196468 140720511471568 139972988508432 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7490] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7490/stat : 7490 (java) S 7481 7481 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 26917 33554432000 4194304 4196468 140720511471568 139972987456656 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7491] ppid=7481 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7484/task/7491/stat : 7491 (java) S 7481 7481 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 26917 33554432000 4194304 4196468 140720511471568 139972986403856 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7492] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7492/stat : 7492 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 26917 33554432000 4194304 4196468 140720511471568 139972985351056 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7493] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7493/stat : 7493 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 26917 33554432000 4194304 4196468 140720511471568 139972588501776 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7494] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7494/stat : 7494 (java) S 7481 7481 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417919726 27969658880 26917 33554432000 4194304 4196468 140720511471568 139971223550320 139973172226690 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7495] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7495/stat : 7495 (java) S 7481 7481 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417919726 27969658880 26917 33554432000 4194304 4196468 140720511471568 139971105121312 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7496] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7496/stat : 7496 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919727 27969658880 26917 33554432000 4194304 4196468 140720511471568 139970836685680 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7497] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7497/stat : 7497 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919729 27969658880 26917 33554432000 4194304 4196468 140720511471568 139970462177104 139973172234139 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7498] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7498/stat : 7498 (java) S 7481 7481 6415 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 417919729 27969658880 26917 33554432000 4194304 4196468 140720511471568 139971222498160 139973172226690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7499] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7499/stat : 7499 (java) R 7481 7481 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417919729 27969658880 26917 33554432000 4194304 4196468 140720511471568 139971221445360 139973172226690 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7500] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7500/stat : 7500 (java) S 7481 7481 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417919729 27969658880 26917 33554432000 4194304 4196468 140720511471568 139971220392560 139973172226690 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7501] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7501/stat : 7501 (java) S 7481 7481 6415 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 20 0 417919729 27969658880 26917 33554432000 4194304 4196468 140720511471568 139971219339760 139973172226690 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7502] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7502/stat : 7502 (java) S 7481 7481 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417919729 27969658880 26917 33554432000 4194304 4196468 140720511471568 139969964272224 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7503] ppid=7481 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7484/task/7503/stat : 7503 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919730 27969658880 26917 33554432000 4194304 4196468 140720511471568 139971218287152 139973172226690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108804 KiB

[startup+0.209811 s]*
/proc/loadavg: 3.04 1.10 1.21 2/212 7503
/proc/meminfo: memFree=30792088/32770624 swapFree=66940928/67108860
[pid=7481] ppid=7478 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7481/stat : 7481 (scop.sh) S 7478 7481 6415 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 417919721 115843072 349 33554432000 4194304 5098028 140730992183376 140730992180632 139674598748796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27017216 140730992190244 140730992190572 140730992190572 140730992193485 0
/proc/7481/statm: 28282 349 296 221 0 87 0
[pid=7484] ppid=7481 vsize=27314120 memory=124464 CPUtime=0.24 cores=0-7
/proc/7484/stat : 7484 (java) S 7481 7481 6415 0 -1 1077944320 11475 0 0 0 20 4 0 0 20 0 20 0 417919722 27969658880 31116 33554432000 4194304 4196468 140720511471568 140720511454112 139973172215543 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
/proc/7484/statm: 6828530 31116 2923 1 0 6790935 0
[pid=7484/tid=7485] ppid=7481 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/7484/task/7485/stat : 7485 (java) R 7481 7481 6415 0 -1 4202560 9181 0 0 0 16 3 0 0 20 0 20 0 417919722 27969658880 31116 33554432000 4194304 4196468 140720511471568 139973144014928 139973152490846 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7486] ppid=7481 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/7484/task/7486/stat : 7486 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 31116 33554432000 4194304 4196468 140720511471568 139973176457872 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7487] ppid=7481 vsize=27314120 memory=140554728080566 CPUtime=0 cores=0-7
/proc/7484/task/7487/stat : 7487 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 31116 33554432000 4194304 4196468 140720511471568 139972990614032 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7488] ppid=7481 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7484/task/7488/stat : 7488 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 31116 33554432000 4194304 4196468 140720511471568 139972989561232 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7489] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7489/stat : 7489 (java) S 7481 7481 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 31116 33554432000 4194304 4196468 140720511471568 139972988508432 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7490] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7490/stat : 7490 (java) S 7481 7481 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 31116 33554432000 4194304 4196468 140720511471568 139972987456656 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7491] ppid=7481 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7484/task/7491/stat : 7491 (java) S 7481 7481 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 31116 33554432000 4194304 4196468 140720511471568 139972986403856 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7492] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7492/stat : 7492 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 31116 33554432000 4194304 4196468 140720511471568 139972985351056 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7493] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7493/stat : 7493 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 31116 33554432000 4194304 4196468 140720511471568 139972588501776 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7494] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7494/stat : 7494 (java) S 7481 7481 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417919726 27969658880 31116 33554432000 4194304 4196468 140720511471568 139971223550320 139973172226690 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7495] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7495/stat : 7495 (java) S 7481 7481 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417919726 27969658880 31116 33554432000 4194304 4196468 140720511471568 139971105121312 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7496] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7496/stat : 7496 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919727 27969658880 31116 33554432000 4194304 4196468 140720511471568 139970836685680 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7497] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7497/stat : 7497 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919729 27969658880 31116 33554432000 4194304 4196468 140720511471568 139970462177104 139973172234139 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7498] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7498/stat : 7498 (java) S 7481 7481 6415 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 20 0 417919729 27969658880 31116 33554432000 4194304 4196468 140720511471568 139971222498160 139973172226690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7499] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7499/stat : 7499 (java) S 7481 7481 6415 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 417919729 27969658880 31116 33554432000 4194304 4196468 140720511471568 139971221445360 139973172226690 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7500] ppid=7481 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7484/task/7500/stat : 7500 (java) S 7481 7481 6415 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 417919729 27969658880 31116 33554432000 4194304 4196468 140720511471568 139971220392560 139973172226690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7501] ppid=7481 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/7484/task/7501/stat : 7501 (java) S 7481 7481 6415 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 20 0 417919729 27969658880 31116 33554432000 4194304 4196468 140720511471568 139971219339760 139973172226690 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7502] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7502/stat : 7502 (java) S 7481 7481 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417919729 27969658880 31116 33554432000 4194304 4196468 140720511471568 139969964272224 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7503] ppid=7481 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7484/task/7503/stat : 7503 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919730 27969658880 31116 33554432000 4194304 4196468 140720511471568 139971218287152 139973172226690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125860 KiB

[startup+0.309483 s]*
/proc/loadavg: 3.04 1.10 1.21 2/212 7503
/proc/meminfo: memFree=30788536/32770624 swapFree=66940928/67108860
[pid=7481] ppid=7478 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7481/stat : 7481 (scop.sh) S 7478 7481 6415 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 417919721 115843072 349 33554432000 4194304 5098028 140730992183376 140730992180632 139674598748796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27017216 140730992190244 140730992190572 140730992190572 140730992193485 0
/proc/7481/statm: 28282 349 296 221 0 87 0
[pid=7484] ppid=7481 vsize=27314120 memory=128140 CPUtime=0.41 cores=0-7
/proc/7484/stat : 7484 (java) S 7481 7481 6415 0 -1 1077944320 12409 0 0 0 36 5 0 0 20 0 20 0 417919722 27969658880 32035 33554432000 4194304 4196468 140720511471568 140720511454112 139973172215543 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
/proc/7484/statm: 6828530 32035 3014 1 0 6790935 0
[pid=7484/tid=7485] ppid=7481 vsize=27314120 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7484/task/7485/stat : 7485 (java) R 7481 7481 6415 0 -1 4202560 9946 0 0 0 25 4 0 0 20 0 20 0 417919722 27969658880 32035 33554432000 4194304 4196468 140720511471568 139973143998560 139973156296030 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7486] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7486/stat : 7486 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 32035 33554432000 4194304 4196468 140720511471568 139973176457872 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7487] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7487/stat : 7487 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 32035 33554432000 4194304 4196468 140720511471568 139972990614032 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7488] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7488/stat : 7488 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 32035 33554432000 4194304 4196468 140720511471568 139972989561232 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7489] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7489/stat : 7489 (java) S 7481 7481 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 32035 33554432000 4194304 4196468 140720511471568 139972988508432 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7490] ppid=7481 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/7484/task/7490/stat : 7490 (java) S 7481 7481 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 32035 33554432000 4194304 4196468 140720511471568 139972987456656 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7491] ppid=7481 vsize=27314120 memory=140554616796079 CPUtime=0 cores=0-7
/proc/7484/task/7491/stat : 7491 (java) S 7481 7481 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 32035 33554432000 4194304 4196468 140720511471568 139972986403856 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7492] ppid=7481 vsize=27314120 memory=140554616798384 CPUtime=0 cores=0-7
/proc/7484/task/7492/stat : 7492 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 32035 33554432000 4194304 4196468 140720511471568 139972985351056 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7493] ppid=7481 vsize=27314120 memory=140554616800688 CPUtime=0 cores=0-7
/proc/7484/task/7493/stat : 7493 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919724 27969658880 32035 33554432000 4194304 4196468 140720511471568 139972588501776 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7494] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7494/stat : 7494 (java) S 7481 7481 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417919726 27969658880 32035 33554432000 4194304 4196468 140720511471568 139971223550320 139973172226690 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7495] ppid=7481 vsize=27314120 memory=281109233608336 CPUtime=0 cores=0-7
/proc/7484/task/7495/stat : 7495 (java) S 7481 7481 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417919726 27969658880 32035 33554432000 4194304 4196468 140720511471568 139971105121312 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7496] ppid=7481 vsize=27314120 memory=281109233615248 CPUtime=0 cores=0-7
/proc/7484/task/7496/stat : 7496 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919727 27969658880 32035 33554432000 4194304 4196468 140720511471568 139970836685680 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7497] ppid=7481 vsize=27314120 memory=281109233556400 CPUtime=0 cores=0-7
/proc/7484/task/7497/stat : 7497 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919729 27969658880 32035 33554432000 4194304 4196468 140720511471568 139970462177104 139973172234139 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7498] ppid=7481 vsize=27314120 memory=281109233629072 CPUtime=0.01 cores=0-7
/proc/7484/task/7498/stat : 7498 (java) R 7481 7481 6415 0 -1 4202560 387 0 0 0 1 0 0 0 20 0 20 0 417919729 27969658880 32035 33554432000 4194304 4196468 140720511471568 139971222498160 139973155721883 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7499] ppid=7481 vsize=27314120 memory=281109233635984 CPUtime=0 cores=0-7
/proc/7484/task/7499/stat : 7499 (java) S 7481 7481 6415 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 417919729 27969658880 32035 33554432000 4194304 4196468 140720511471568 139971221445360 139973172226690 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7500] ppid=7481 vsize=27314120 memory=281109233633680 CPUtime=0.01 cores=0-7
/proc/7484/task/7500/stat : 7500 (java) S 7481 7481 6415 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 417919729 27969658880 32035 33554432000 4194304 4196468 140720511471568 139971220392560 139973172226690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7501] ppid=7481 vsize=27314120 memory=281109233649840 CPUtime=0.07 cores=0-7
/proc/7484/task/7501/stat : 7501 (java) S 7481 7481 6415 0 -1 1077944384 502 0 0 0 7 0 0 0 20 0 20 0 417919729 27969658880 32035 33554432000 4194304 4196468 140720511471568 139971219339760 139973172226690 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7502] ppid=7481 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7502/stat : 7502 (java) S 7481 7481 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417919729 27969658880 32035 33554432000 4194304 4196468 140720511471568 139969964272224 139973172225749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7503] ppid=7481 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7484/task/7503/stat : 7503 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919730 27969658880 32035 33554432000 4194304 4196468 140720511471568 139971218287152 139973172226690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129536 KiB

[startup+0.700832 s]
/proc/loadavg: 3.04 1.10 1.21 2/212 7503
/proc/meminfo: memFree=30766336/32770624 swapFree=66940928/67108860
[pid=7481] ppid=7478 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7481/stat : 7481 (scop.sh) S 7478 7481 6415 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 417919721 115843072 349 33554432000 4194304 5098028 140730992183376 140730992180632 139674598748796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27017216 140730992190244 140730992190572 140730992190572 140730992193485 0
/proc/7481/statm: 28282 349 296 221 0 87 0
[pid=7484] ppid=7481 vsize=27322516 memory=166032 CPUtime=1 cores=0-7
/proc/7484/stat : 7484 (java) S 7481 7481 6415 0 -1 1077944320 20207 0 0 0 92 8 0 0 20 0 20 0 417919722 27978256384 41508 33554432000 4194304 4196468 140720511471568 140720511454112 139973172215543 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
/proc/7484/statm: 6830629 41508 3200 1 0 6791959 0
[pid=7484/tid=7485] ppid=7481 vsize=27322516 memory=281109234007728 CPUtime=0.68 cores=0-7
/proc/7484/task/7485/stat : 7485 (java) R 7481 7481 6415 0 -1 4202560 17223 0 0 0 61 7 0 0 20 0 20 0 417919722 27978256384 41508 33554432000 4194304 4196468 140720511471568 139973144032928 139973156296030 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7486] ppid=7481 vsize=27322516 memory=140554617004912 CPUtime=0 cores=0-7
/proc/7484/task/7486/stat : 7486 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919724 27978256384 41508 33554432000 4194304 4196468 140720511471568 139973176457872 139973172225749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7487] ppid=7481 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/7484/task/7487/stat : 7487 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919724 27978256384 41508 33554432000 4194304 4196468 140720511471568 139972990614032 139973172225749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0
[pid=7484/tid=7488] ppid=7481 vsize=27322516 memory=5980 CPUtime=0 cores=0-7
/proc/7484/task/7488/stat : 7488 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417919724 27978256384 41508 33554432000 4194304 4196468 140720511471568 139972989561232 139973172225749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140720511480555 140720511480982 140720511480982 140720511483855 0

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

[pid=7504/tid=7514] ppid=7481 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7504/task/7514/stat : 7514 (java) S 7481 7481 6415 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417919926 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395921701744 140396492606082 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7515] ppid=7481 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7504/task/7515/stat : 7515 (java) S 7481 7481 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417919927 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395031815712 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7516] ppid=7481 vsize=8414124 memory=55 CPUtime=0 cores=0-7
/proc/7504/task/7516/stat : 7516 (java) S 7481 7481 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417919927 8616062976 29338 33554432000 4194304 4196468 140734522364336 140394897593712 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7517] ppid=7481 vsize=8414124 memory=7449888804147915367 CPUtime=0 cores=0-7
/proc/7504/task/7517/stat : 7517 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417919929 8616062976 29338 33554432000 4194304 4196468 140734522364336 140394523089232 140396492613531 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7518] ppid=7481 vsize=8414124 memory=7306062783016687469 CPUtime=0.05 cores=0-7
/proc/7504/task/7518/stat : 7518 (java) S 7481 7481 6415 0 -1 1077944384 651 0 0 0 5 0 0 0 20 0 24 0 417919929 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395920648560 140396492606082 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7519] ppid=7481 vsize=8414124 memory=4639939496134862184 CPUtime=0.06 cores=0-7
/proc/7504/task/7519/stat : 7519 (java) S 7481 7481 6415 0 -1 1077944384 235 0 0 0 6 0 0 0 20 0 24 0 417919929 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395919595760 140396492606082 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7520] ppid=7481 vsize=8414124 memory=295148039 CPUtime=0.04 cores=0-7
/proc/7504/task/7520/stat : 7520 (java) S 7481 7481 6415 0 -1 1077944384 283 0 0 0 4 0 0 0 20 0 24 0 417919929 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395918542960 140396492606082 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7521] ppid=7481 vsize=8414124 memory=2420 CPUtime=0.17 cores=0-7
/proc/7504/task/7521/stat : 7521 (java) S 7481 7481 6415 0 -1 1077944384 482 0 0 0 17 0 0 0 20 0 24 0 417919929 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395917490160 140396492606082 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7522] ppid=7481 vsize=8414124 memory=8257237230052613020 CPUtime=0 cores=0-7
/proc/7504/task/7522/stat : 7522 (java) S 7481 7481 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417919929 8616062976 29338 33554432000 4194304 4196468 140734522364336 140394025184352 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7523] ppid=7481 vsize=8414124 memory=-7173504570862900581 CPUtime=0 cores=0-7
/proc/7504/task/7523/stat : 7523 (java) S 7481 7481 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417919930 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395916438576 140396492606082 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7525] ppid=7481 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7504/task/7525/stat : 7525 (java) S 7481 7481 6415 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417919994 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395908404800 140396492619545 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7527] ppid=7481 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/7504/task/7527/stat : 7527 (java) S 7481 7481 6415 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 417919994 8616062976 29338 33554432000 4194304 4196468 140734522364336 140393354083984 140396492616861 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7528] ppid=7481 vsize=8414124 memory=-7812736537705029536 CPUtime=0 cores=0-7
/proc/7504/task/7528/stat : 7528 (java) S 7481 7481 6415 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417919994 8616062976 29338 33554432000 4194304 4196468 140734522364336 140393622519312 140396492616861 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7529] ppid=7481 vsize=8414124 memory=5937245581412941926 CPUtime=0 cores=0-7
/proc/7504/task/7529/stat : 7529 (java) S 7481 7481 6415 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417919996 8616062976 29338 33554432000 4194304 4196468 140734522364336 140393085656112 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
Current children cumulated CPU time: 54.32 s
Current children cumulated vsize: 9153868 KiB
Current children cumulated memory: 304756 KiB

[startup+9.40101 s]
/proc/loadavg: 3.73 1.31 1.28 3/219 7537
/proc/meminfo: memFree=30615172/32770624 swapFree=66940928/67108860
[pid=7481] ppid=7478 vsize=113128 memory=1476 CPUtime=3.91 cores=0-7
/proc/7481/stat : 7481 (scop.sh) S 7478 7481 6415 0 -1 4202496 583 25889 0 0 0 0 376 15 20 0 1 0 417919721 115843072 369 33554432000 4194304 5098028 140730992183376 140730992180120 139674598748796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27017216 140730992190244 140730992190572 140730992190572 140730992193485 0
/proc/7481/statm: 28282 369 311 221 0 87 0
[pid=7504] ppid=7481 vsize=8414124 memory=117352 CPUtime=1.1 cores=0-7
/proc/7504/stat : 7504 (java) S 7481 7481 6415 0 -1 1077944320 20454 0 0 0 104 6 0 0 20 0 24 0 417919923 8616062976 29338 33554432000 4194304 4196468 140734522364336 140734522346880 140396492594935 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
/proc/7504/statm: 2103531 29338 3199 1 0 2064875 0
[pid=7524] ppid=7504 vsize=626616 memory=185928 CPUtime=49.51 cores=0-7
/proc/7524/stat : 7524 (manyglucose-4.1) S 7504 7481 6415 0 -1 1077944320 108054 0 0 0 4935 16 0 0 20 0 2 0 417919994 641654784 46482 33554432000 4194304 4454172 140726155445360 140726155443744 140312301973239 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 16437248 140726155453290 140726155453488 140726155453488 140726155456442 0
/proc/7524/statm: 156654 46482 419 64 0 152322 0
[pid=7524/tid=7535] ppid=7504 vsize=626616 memory=0 CPUtime=6.62 cores=0-7
/proc/7524/task/7535/stat : 7535 (manyglucose-4.1) R 7504 7481 6415 0 -1 4202560 12596 0 0 0 661 1 0 0 20 0 2 0 417919998 641654784 46482 33554432000 4194304 4454172 140726155445360 140312244792056 4351389 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 16437248 140726155453290 140726155453488 140726155453488 140726155456442 0
[pid=7504/tid=7505] ppid=7481 vsize=8414124 memory=7307202912301573226 CPUtime=0.74 cores=0-7
/proc/7504/task/7505/stat : 7505 (java) S 7481 7481 6415 0 -1 1077944384 17384 0 0 0 69 5 0 0 20 0 24 0 417919923 8616062976 29338 33554432000 4194304 4196468 140734522364336 140396464435104 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7506] ppid=7481 vsize=8414124 memory=5787509600338602067 CPUtime=0 cores=0-7
/proc/7504/task/7506/stat : 7506 (java) S 7481 7481 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417919924 8616062976 29338 33554432000 4194304 4196468 140734522364336 140396496837776 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7507] ppid=7481 vsize=8414124 memory=5787509600338602067 CPUtime=0 cores=0-7
/proc/7504/task/7507/stat : 7507 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417919924 8616062976 29338 33554432000 4194304 4196468 140734522364336 140396310993936 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7508] ppid=7481 vsize=8414124 memory=5787509600338602067 CPUtime=0 cores=0-7
/proc/7504/task/7508/stat : 7508 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417919924 8616062976 29338 33554432000 4194304 4196468 140734522364336 140396309941136 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7509] ppid=7481 vsize=8414124 memory=8028631073110250065 CPUtime=0 cores=0-7
/proc/7504/task/7509/stat : 7509 (java) S 7481 7481 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417919924 8616062976 29338 33554432000 4194304 4196468 140734522364336 140396308888336 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7510] ppid=7481 vsize=8414124 memory=7309167735352552301 CPUtime=0 cores=0-7
/proc/7504/task/7510/stat : 7510 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417919924 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395974130320 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7511] ppid=7481 vsize=8414124 memory=7309167735352552301 CPUtime=0 cores=0-7
/proc/7504/task/7511/stat : 7511 (java) S 7481 7481 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417919925 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395973077520 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7512] ppid=7481 vsize=8414124 memory=7204 CPUtime=0 cores=0-7
/proc/7504/task/7512/stat : 7512 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417919925 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395972024720 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7513] ppid=7481 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7504/task/7513/stat : 7513 (java) S 7481 7481 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417919925 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395970971920 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7514] ppid=7481 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7504/task/7514/stat : 7514 (java) S 7481 7481 6415 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417919926 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395921701744 140396492606082 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7515] ppid=7481 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7504/task/7515/stat : 7515 (java) S 7481 7481 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417919927 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395031815712 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7516] ppid=7481 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7504/task/7516/stat : 7516 (java) S 7481 7481 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417919927 8616062976 29338 33554432000 4194304 4196468 140734522364336 140394897593712 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7517] ppid=7481 vsize=8414124 memory=281109235029184 CPUtime=0 cores=0-7
/proc/7504/task/7517/stat : 7517 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417919929 8616062976 29338 33554432000 4194304 4196468 140734522364336 140394523089232 140396492613531 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7518] ppid=7481 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/7504/task/7518/stat : 7518 (java) S 7481 7481 6415 0 -1 1077944384 651 0 0 0 5 0 0 0 20 0 24 0 417919929 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395920648560 140396492606082 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7519] ppid=7481 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/7504/task/7519/stat : 7519 (java) S 7481 7481 6415 0 -1 1077944384 235 0 0 0 6 0 0 0 20 0 24 0 417919929 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395919595760 140396492606082 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7520] ppid=7481 vsize=8414124 memory=6935650355339879252 CPUtime=0.04 cores=0-7
/proc/7504/task/7520/stat : 7520 (java) S 7481 7481 6415 0 -1 1077944384 283 0 0 0 4 0 0 0 20 0 24 0 417919929 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395918542960 140396492606082 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7521] ppid=7481 vsize=8414124 memory=4639939496134862184 CPUtime=0.17 cores=0-7
/proc/7504/task/7521/stat : 7521 (java) S 7481 7481 6415 0 -1 1077944384 482 0 0 0 17 0 0 0 20 0 24 0 417919929 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395917490160 140396492606082 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7522] ppid=7481 vsize=8414124 memory=281109235108160 CPUtime=0 cores=0-7
/proc/7504/task/7522/stat : 7522 (java) S 7481 7481 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417919929 8616062976 29338 33554432000 4194304 4196468 140734522364336 140394025184352 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7523] ppid=7481 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7504/task/7523/stat : 7523 (java) S 7481 7481 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417919930 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395916438576 140396492606082 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7525] ppid=7481 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/7504/task/7525/stat : 7525 (java) S 7481 7481 6415 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417919994 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395908404800 140396492619545 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7527] ppid=7481 vsize=8414124 memory=4638778398333091936 CPUtime=0 cores=0-7
/proc/7504/task/7527/stat : 7527 (java) S 7481 7481 6415 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 417919994 8616062976 29338 33554432000 4194304 4196468 140734522364336 140393354083984 140396492616861 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7528] ppid=7481 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7504/task/7528/stat : 7528 (java) S 7481 7481 6415 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417919994 8616062976 29338 33554432000 4194304 4196468 140734522364336 140393622519312 140396492616861 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7529] ppid=7481 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7504/task/7529/stat : 7529 (java) S 7481 7481 6415 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417919996 8616062976 29338 33554432000 4194304 4196468 140734522364336 140393085656112 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
Current children cumulated CPU time: 54.52 s
Current children cumulated vsize: 9153868 KiB
Current children cumulated memory: 304756 KiB

[startup+9.50107 s]
/proc/loadavg: 3.73 1.31 1.28 3/219 7537
/proc/meminfo: memFree=30615172/32770624 swapFree=66940928/67108860
[pid=7481] ppid=7478 vsize=113128 memory=1476 CPUtime=3.91 cores=0-7
/proc/7481/stat : 7481 (scop.sh) S 7478 7481 6415 0 -1 4202496 583 25889 0 0 0 0 376 15 20 0 1 0 417919721 115843072 369 33554432000 4194304 5098028 140730992183376 140730992180120 139674598748796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27017216 140730992190244 140730992190572 140730992190572 140730992193485 0
/proc/7481/statm: 28282 369 311 221 0 87 0
[pid=7504] ppid=7481 vsize=8414124 memory=117352 CPUtime=1.1 cores=0-7
/proc/7504/stat : 7504 (java) S 7481 7481 6415 0 -1 1077944320 20454 0 0 0 104 6 0 0 20 0 24 0 417919923 8616062976 29338 33554432000 4194304 4196468 140734522364336 140734522346880 140396492594935 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
/proc/7504/statm: 2103531 29338 3199 1 0 2064875 0
[pid=7524] ppid=7504 vsize=626788 memory=185964 CPUtime=49.61 cores=0-7
/proc/7524/stat : 7524 (manyglucose-4.1) S 7504 7481 6415 0 -1 1077944320 108095 0 0 0 4945 16 0 0 20 0 2 0 417919994 641830912 46491 33554432000 4194304 4454172 140726155445360 140726155443744 140312301973239 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 16437248 140726155453290 140726155453488 140726155453488 140726155456442 0
/proc/7524/statm: 156697 46491 419 64 0 152365 0
[pid=7524/tid=7535] ppid=7504 vsize=626788 memory=5937245581412941926 CPUtime=6.72 cores=0-7
/proc/7524/task/7535/stat : 7535 (manyglucose-4.1) R 7504 7481 6415 0 -1 4202560 12637 0 0 0 671 1 0 0 20 0 2 0 417919998 641830912 46491 33554432000 4194304 4454172 140726155445360 140312244792056 4350026 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 16437248 140726155453290 140726155453488 140726155453488 140726155456442 0
[pid=7504/tid=7505] ppid=7481 vsize=8414124 memory=1476 CPUtime=0.74 cores=0-7
/proc/7504/task/7505/stat : 7505 (java) S 7481 7481 6415 0 -1 1077944384 17384 0 0 0 69 5 0 0 20 0 24 0 417919923 8616062976 29338 33554432000 4194304 4196468 140734522364336 140396464435104 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7506] ppid=7481 vsize=8414124 memory=117352 CPUtime=0 cores=0-7
/proc/7504/task/7506/stat : 7506 (java) S 7481 7481 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417919924 8616062976 29338 33554432000 4194304 4196468 140734522364336 140396496837776 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7507] ppid=7481 vsize=8414124 memory=129644 CPUtime=0 cores=0-7
/proc/7504/task/7507/stat : 7507 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417919924 8616062976 29338 33554432000 4194304 4196468 140734522364336 140396310993936 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7508] ppid=7481 vsize=8414124 memory=-4075877051373423740 CPUtime=0 cores=0-7
/proc/7504/task/7508/stat : 7508 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417919924 8616062976 29338 33554432000 4194304 4196468 140734522364336 140396309941136 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7509] ppid=7481 vsize=8414124 memory=7666935697955509609 CPUtime=0 cores=0-7
/proc/7504/task/7509/stat : 7509 (java) S 7481 7481 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417919924 8616062976 29338 33554432000 4194304 4196468 140734522364336 140396308888336 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7510] ppid=7481 vsize=8414124 memory=7233462043404887872 CPUtime=0 cores=0-7
/proc/7504/task/7510/stat : 7510 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417919924 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395974130320 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7511] ppid=7481 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7504/task/7511/stat : 7511 (java) S 7481 7481 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417919925 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395973077520 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7512] ppid=7481 vsize=8414124 memory=281109234837552 CPUtime=0 cores=0-7
/proc/7504/task/7512/stat : 7512 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417919925 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395972024720 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7513] ppid=7481 vsize=8414124 memory=281109235121088 CPUtime=0 cores=0-7
/proc/7504/task/7513/stat : 7513 (java) S 7481 7481 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417919925 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395970971920 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7514] ppid=7481 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7504/task/7514/stat : 7514 (java) S 7481 7481 6415 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417919926 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395921701744 140396492606082 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7515] ppid=7481 vsize=8414124 memory=117352 CPUtime=0 cores=0-7
/proc/7504/task/7515/stat : 7515 (java) S 7481 7481 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417919927 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395031815712 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7516] ppid=7481 vsize=8414124 memory=281109233599136 CPUtime=0 cores=0-7
/proc/7504/task/7516/stat : 7516 (java) S 7481 7481 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417919927 8616062976 29338 33554432000 4194304 4196468 140734522364336 140394897593712 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7517] ppid=7481 vsize=8414124 memory=55 CPUtime=0 cores=0-7
/proc/7504/task/7517/stat : 7517 (java) S 7481 7481 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417919929 8616062976 29338 33554432000 4194304 4196468 140734522364336 140394523089232 140396492613531 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7518] ppid=7481 vsize=8414124 memory=6944656592387989600 CPUtime=0.05 cores=0-7
/proc/7504/task/7518/stat : 7518 (java) S 7481 7481 6415 0 -1 1077944384 651 0 0 0 5 0 0 0 20 0 24 0 417919929 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395920648560 140396492606082 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7519] ppid=7481 vsize=8414124 memory=-3117775541953849440 CPUtime=0.06 cores=0-7
/proc/7504/task/7519/stat : 7519 (java) S 7481 7481 6415 0 -1 1077944384 235 0 0 0 6 0 0 0 20 0 24 0 417919929 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395919595760 140396492606082 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7520] ppid=7481 vsize=8414124 memory=4 CPUtime=0.04 cores=0-7
/proc/7504/task/7520/stat : 7520 (java) S 7481 7481 6415 0 -1 1077944384 283 0 0 0 4 0 0 0 20 0 24 0 417919929 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395918542960 140396492606082 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7521] ppid=7481 vsize=8414124 memory=17 CPUtime=0.17 cores=0-7
/proc/7504/task/7521/stat : 7521 (java) S 7481 7481 6415 0 -1 1077944384 482 0 0 0 17 0 0 0 20 0 24 0 417919929 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395917490160 140396492606082 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7522] ppid=7481 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7504/task/7522/stat : 7522 (java) S 7481 7481 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417919929 8616062976 29338 33554432000 4194304 4196468 140734522364336 140394025184352 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7523] ppid=7481 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7504/task/7523/stat : 7523 (java) S 7481 7481 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417919930 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395916438576 140396492606082 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7525] ppid=7481 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7504/task/7525/stat : 7525 (java) S 7481 7481 6415 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417919994 8616062976 29338 33554432000 4194304 4196468 140734522364336 140395908404800 140396492619545 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7527] ppid=7481 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7504/task/7527/stat : 7527 (java) S 7481 7481 6415 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 417919994 8616062976 29338 33554432000 4194304 4196468 140734522364336 140393354083984 140396492616861 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7528] ppid=7481 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7504/task/7528/stat : 7528 (java) S 7481 7481 6415 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417919994 8616062976 29338 33554432000 4194304 4196468 140734522364336 140393622519312 140396492616861 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
[pid=7504/tid=7529] ppid=7481 vsize=8414124 memory=117352 CPUtime=0 cores=0-7
/proc/7504/task/7529/stat : 7529 (java) S 7481 7481 6415 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417919996 8616062976 29338 33554432000 4194304 4196468 140734522364336 140393085656112 140396492605141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8335360 140734522373112 140734522373270 140734522373270 140734522376143 0
Current children cumulated CPU time: 54.62 s
Current children cumulated vsize: 9154040 KiB
Current children cumulated memory: 304792 KiB

Child status: 0
Real time (s): 9.59343
CPU time (s): 54.8066
CPU user time (s): 54.3883
CPU system time (s): 0.418329
CPU usage (%): 571.293
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 304792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.3883
system time used= 0.418329
maximum resident set size= 285992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155419
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7371
involuntary context switches= 594


# summary of solver processes directly reported to runsolver:
#   pid: 7481
#   total CPU time (s): 54.8066
#   total CPU user time (s): 54.3883
#   total CPU system time (s): 0.418329

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.100302 second user time and 0.15875 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-14 01:19:32
IDJOB=4392611
IDBENCH=120664
IDSOLVER=2839
FILE ID=node149/4392611-1568416810
RUNJOBID= node149-1568416730-6442
PBS_JOBID= 21702252
Free space on /tmp= 61424 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Knights/Knights-m1-s1/Knights-015-09.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392611-1568416810/watcher-4392611-1568416810 -o /tmp/evaluation-result-4392611-1568416810/solver-4392611-1568416810 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568416730-6442 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392611-1568416810.xml

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

MD5SUM BENCH= cfe7c94c3eac37bc9c9baa094de7ccd9
RANDOM SEED=1450637892

node149.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.81
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.81
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.81
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.81
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:        30906228 kB
MemAvailable:   31857204 kB
Buffers:          174108 kB
Cached:          1078216 kB
SwapCached:        61320 kB
Active:           590156 kB
Inactive:         723764 kB
Active(anon):      29796 kB
Inactive(anon):    72460 kB
Active(file):     560360 kB
Inactive(file):   651304 kB
Unevictable:      111252 kB
Mlocked:          111252 kB
SwapTotal:      67108860 kB
SwapFree:       66940928 kB
Dirty:             20600 kB
Writeback:             0 kB
AnonPages:        113168 kB
Mapped:            43604 kB
Shmem:             31360 kB
Slab:             139796 kB
SReclaimable:     110292 kB
SUnreclaim:        29504 kB
KernelStack:        3440 kB
PageTables:         5684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498336 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:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61400 MiB
End job on node149 at 2019-09-14 01:19:42