Trace number 4392311

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-15584-serial-file.bin HOME/instance-4392311-1568416810.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 01:19:31 CEST 2019
0.65/0.56	c PID: 15587
0.65/0.56	c IP: 172.20.3.151
0.65/0.56	c HOST: node151.alineos.net
0.65/0.57	c (0,0) Parsing Begin
0.98/0.91	c (0,0) Parsing End
0.98/1.02	c (0,0) CSP: 9 int (0 aux), 0 bool (0 aux), 36 ctr, max domain size 225
0.98/1.02	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
0.98/1.02	c (0,0) Constraint Name Generate Begin
0.98/1.02	c (0,0) Ctr:HOME/instance-4392311-1568416810.xml,And:Dist:Div:Eq:Mod:Ne:Num:Or:Var
0.98/1.02	c (0,0) Constraint Name Generate End
0.98/1.02	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
0.98/1.02	c (0,0) CSP to CSPinCNF Begin
0.98/1.02	c (0,0) translated 4 (10%) constraints
0.98/1.02	c (0,0) translated 8 (20%) constraints
0.98/1.02	c (0,0) translated 11 (30%) constraints
0.98/1.02	c (0,0) translated 15 (40%) constraints
0.98/1.02	c (0,0) translated 18 (50%) constraints
0.98/1.02	c (0,0) translated 22 (60%) constraints
0.98/1.02	c (0,0) translated 26 (70%) constraints
0.98/1.06	c (0,0) translated 29 (80%) constraints
0.98/1.12	c (0,0) translated 33 (90%) constraints
1.79/1.15	c (0,0) translated 36 (100%) constraints
1.79/1.15	c (0,0) ===========================================
1.79/1.15	c (0,0) Order
1.79/1.15	c (0,0) ===========================================
1.79/1.17	c (0,0) translated 20 (10%) constraints
1.79/1.17	c (0,0) translated 40 (20%) constraints
1.79/1.18	c (0,0) translated 60 (30%) constraints
1.79/1.19	c (0,0) translated 80 (40%) constraints
1.79/1.19	c (0,0) translated 99 (50%) constraints
1.79/1.20	c (0,0) translated 119 (60%) constraints
1.99/1.20	c (0,0) translated 139 (70%) constraints
1.99/1.21	c (0,0) translated 159 (80%) constraints
1.99/1.21	c (0,0) translated 179 (90%) constraints
1.99/1.21	c (0,0) translated 198 (100%) constraints
1.99/1.22	c (0,0) CSP to CSPinCNF End
1.99/1.22	c (0,0) CSP: 45 int (36 aux), 18 bool (18 aux), 216 ctr, max domain size 225
1.99/1.22	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
1.99/1.22	c (0,0) CSPinCNF Propagation Begin
1.99/1.24	c (0,0) 0 values, 0 unsatisfiable literals, and 36 valid clauses are removed
1.99/1.24	c (0,0) CSPinCNF Propagation End
1.99/1.24	c (0,0) CSP: 45 int (36 aux), 18 bool (18 aux), 180 ctr, max domain size 225
1.99/1.24	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
1.99/1.24	c (0,0) Simplify CSPinCNF Begin
1.99/1.26	c (0,0) Simplify CSPinCNF End
1.99/1.26	c (0,0) CSP: 45 int (36 aux), 144 bool (144 aux), 306 ctr, max domain size 225
1.99/1.26	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
1.99/1.26	c (0,0) Calculate Precise Domain Begin
1.99/1.27	c (0,0) 0 values are removed by re-calculation
1.99/1.27	c (0,0) Calculate Precise Domain End
1.99/1.27	c (0,0) CSP: 45 int (36 aux), 144 bool (144 aux), 306 ctr, max domain size 225
1.99/1.27	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
1.99/1.27	c (0,0) CSPinCNF to SatSolver Begin
2.53/1.47	c (0,0) 31 (10 %) CSP clauses are encoded (0 SAT variables, 6985 SAT clauses)
2.86/1.52	c (0,0) 62 (20 %) CSP clauses are encoded (0 SAT variables, 11496 SAT clauses)
2.86/1.55	c (1,1) 92 (30 %) CSP clauses are encoded (0 SAT variables, 14749 SAT clauses)
2.86/1.58	c (1,1) 123 (40 %) CSP clauses are encoded (0 SAT variables, 16788 SAT clauses)
2.86/1.59	c (1,1) 153 (50 %) CSP clauses are encoded (0 SAT variables, 17959 SAT clauses)
3.29/1.60	c (1,1) 184 (60 %) CSP clauses are encoded (0 SAT variables, 19568 SAT clauses)
3.29/1.62	c (1,1) 215 (70 %) CSP clauses are encoded (0 SAT variables, 21161 SAT clauses)
3.29/1.62	c (1,1) 245 (80 %) CSP clauses are encoded (0 SAT variables, 22333 SAT clauses)
3.29/1.63	c (1,1) 276 (90 %) CSP clauses are encoded (0 SAT variables, 23517 SAT clauses)
3.29/1.64	c (1,1) 306 (100 %) CSP clauses are encoded (0 SAT variables, 24690 SAT clauses)
3.29/1.64	c (1,1) CSPinCNF to SatSolver End
3.29/1.64	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.29/1.64	c (1,1) 2664 bool, 24705 clause
3.29/1.64	c (1,1) Export Begin
3.73/1.72	c (1,1) Export to HOME/scop-15584-serial-file.bin
3.73/1.72	c (1,1) Export End
3.73/1.72	c (1,1) Export File Size: 0.00 MB
3.73/1.72	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.73/1.72	c END-Prog: Sat Sep 14 01:19:32 CEST 2019
3.73/1.74	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15584-serial-file.bin
3.87/2.20	c (0,0) Read Serial File Begin
3.87/2.20	c (0,0) HOME/scop-15584-serial-file.bin
4.61/2.39	c (0,0) Read Serial File End
4.61/2.40	
4.61/2.40	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
4.61/2.40	(Solving Process)
4.61/2.40	
4.77/2.42	c BEGIN-Prog: Sat Sep 14 01:19:33 CEST 2019
4.77/2.42	c PID: 15608
4.77/2.42	c IP: 172.20.3.151
4.77/2.42	c HOST: node151.alineos.net
4.77/2.43	c (0,0) SatSolver.solve Begin
4.77/2.43	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392311-1568416810.xml-scop-15587.cnf
4.77/2.45	c (0,0) c
4.77/2.45	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
4.77/2.45	c (0,0) c
4.77/2.45	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.77/2.45	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
4.77/2.45	c (0,0) c ========================================[ Problem Statistics ]===========================================
4.77/2.45	c (0,0) c |                                                                                                       |
4.77/2.46	c (0,0) c |  Number of variables:          2664                                                                   |
4.77/2.46	c (0,0) c |  Number of clauses:           24705                                                                   |
4.77/2.46	c (0,0) c |  Parse time:                   0.01 s                                                                 |
4.77/2.46	c (0,0) c |                                                                                                       |
4.77/2.48	c (0,0) c |  Simplification time:          0.02 s                                                                 |
4.77/2.48	c (0,0) c |                                                                                                       |
4.77/2.48	c (0,0) c |  Generating clones                                                                                    |
4.77/2.49	c (0,0) c |  all clones generated. Memory =    38.99Mb.                                                           |
4.77/2.49	c (0,0) c ========================================================================================================|
4.77/2.49	c (0,0) c
4.77/2.49	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
4.77/2.49	c (0,0) c
4.77/2.49	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.77/2.49	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
4.77/2.49	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.77/2.49	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
4.77/2.49	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
4.77/2.49	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
4.77/2.49	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
4.77/2.49	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
4.77/2.49	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
4.77/2.49	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
4.77/2.49	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
4.77/2.49	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
4.77/2.49	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
4.77/2.49	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
4.77/2.49	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
4.77/2.49	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
4.77/2.49	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
4.77/2.50	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
4.77/2.50	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.81/8.71	c (6,0) c
53.81/8.71	c (6,0) c real time : 6.25912 s
53.81/8.71	c (6,0) c cpu time  : 48.6632 s
53.81/8.71	c (6,0) c
53.81/8.71	c (6,0) c
53.81/8.71	c (6,0) c
53.81/8.71	c (6,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
53.81/8.71	c (6,0) c
53.81/8.71	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.81/8.71	c (6,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
53.81/8.71	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.81/8.71	c (6,0) c | Conflicts     |          916994 |     122594 |     116933 |     109639 |     117507 |     113424 |     102438 |     127108 |     107351 |
53.81/8.71	c (6,0) c | Decisions     |         1072690 |     143519 |     138170 |     127822 |     135694 |     135555 |     119272 |     148398 |     124260 |
53.81/8.71	c (6,0) c | Propagations  |       184188906 |   23161713 |   22736581 |   23803373 |   21027902 |   22196608 |   24306124 |   23537113 |   23419492 |
53.81/8.71	c (6,0) c | ReduceDBs     |              95 |         19 |          9 |         12 |          9 |          9 |          8 |         21 |          8 |
53.81/8.71	c (6,0) c | SimpDBs       |              21 |          5 |          2 |          2 |          3 |          2 |          2 |          1 |          4 |
53.81/8.71	c (6,0) c | Restarts      |             610 |         82 |        107 |         62 |         30 |        193 |         43 |         43 |         50 |
53.81/8.71	c (6,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
53.81/8.71	c (6,0) c | PropBinClauses|       260172855 |   32899163 |   32035948 |   33536597 |   29938269 |   31283918 |   34067822 |   33628405 |   32782733 |
53.81/8.71	c (6,0) c | PropPreBlocker|      2627792065 |  324606140 |  335433025 |  328556878 |  335730319 |  323452000 |  324255283 |  338551603 |  317206817 |
53.81/8.71	c (6,0) c | PropNotBlocker|       544143747 |   67934747 |   67106272 |   70036727 |   64166023 |   66009528 |   70833689 |   68410138 |   69646623 |
53.81/8.71	c (6,0) c | LitFullScans  |      4079140355 |  506926905 |  516024775 |  508377316 |  515672898 |  504033038 |  504025460 |  522032003 |  502047960 |
53.81/8.71	c (6,0) c | LitScanFracts |          154205 |      15380 |      12958 |      14771 |      20001 |      21946 |      14731 |      14752 |      39666 |
53.81/8.71	c (6,0) c | DecisionLevel0|             645 |         90 |        109 |         63 |         43 |        195 |         44 |         43 |         58 |
53.81/8.71	c (6,0) c | Periods       |             677 |         84 |         86 |         84 |         85 |         84 |         84 |         87 |         83 |
53.81/8.71	c (6,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
53.81/8.71	c (6,0) c | Avg_Trail     |                 |       1946 |       1991 |       2020 |       2017 |       2003 |       2000 |       2057 |       1939 |
53.81/8.71	c (6,0) c | Avg_DL        |                 |         15 |         16 |         16 |         16 |         16 |         17 |         17 |         16 |
53.81/8.71	c (6,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
53.81/8.71	c (6,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
53.81/8.71	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.81/8.71	c (6,0) c | Exported      |          143545 |      19297 |      17556 |      19617 |      19106 |      15836 |      16208 |      19281 |      16644 |
53.81/8.71	c (6,0) c | Imported      |          762252 |      95156 |      95840 |      94091 |      95549 |      94435 |      95157 |      97027 |      94997 |
53.81/8.71	c (6,0) c | Good          |            1004 |        120 |        131 |        127 |        128 |        116 |        130 |        129 |        123 |
53.81/8.71	c (6,0) c | Purge         |          761248 |      95036 |      95709 |      93964 |      95421 |      94319 |      95027 |      96898 |      94874 |
53.81/8.71	c (6,0) c | Promoted      |           69010 |       9119 |       7494 |       8505 |       9545 |       8574 |       8562 |       7198 |      10013 |
53.81/8.71	c (6,0) c | Remove_Imp    |          450595 |      86728 |      32451 |      84390 |      41691 |      50415 |      42937 |      89127 |      22856 |
53.81/8.71	c (6,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
53.81/8.71	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.81/8.71	c (6,0) c | Unaries       |                 |          8 |          2 |          1 |         13 |          2 |          1 |          0 |          8 |
53.81/8.71	c (6,0) c | Binaries      |                 |         58 |         35 |         32 |         58 |         40 |         19 |         17 |         53 |
53.81/8.71	c (6,0) c | Glues         |                 |         88 |         84 |         69 |        100 |        114 |         44 |         53 |         74 |
53.81/8.71	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.81/8.71	c (6,0) c | Orig_Seen     |            65 % |      16272 |      14776 |      15746 |      14243 |      14574 |      14481 |      15906 |      13608 |
53.81/8.71	c (6,0) c | Diff Orig seen|                 |       2664 |       1168 |       2138 |        635 |        966 |        873 |       2298 |      X     |
53.81/8.71	c (6,0) c | Hamming       |            37 % |        845 |       1363 |       1159 |       1178 |        272 |       1228 |        941 |      X     |
53.81/8.71	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.81/8.71	c (6,0) c | RunningTime   |                 |    6.1 100%|    6.0  99%|    6.1  99%|    5.9  99%|    6.1  99%|    6.2  99%|    6.0  99%|    6.2 100%|
53.81/8.71	c (6,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%|
53.81/8.71	c (6,0) c | ExchangingTime|                 |    0.0   0%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   0%|
53.81/8.71	c (6,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%|
53.81/8.71	c (6,0) c | SolvingTime   |                 |    6.2     |    6.0     |    6.2     |    6.0     |    6.2     |    6.2     |    6.0     |    6.2     |
53.81/8.71	c (6,0) c | PropagationTim|                 |    5.2  85%|    5.2  86%|    5.3  87%|    5.2  86%|    5.3  85%|    5.3  86%|    5.1  85%|    5.4  87%|
53.81/8.71	c (6,0) c | AnalysisTime  |                 |    0.6   9%|    0.5   8%|    0.4   7%|    0.4   7%|    0.5   9%|    0.5   9%|    0.5   8%|    0.5   7%|
53.81/8.71	c (6,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   2%|
53.81/8.71	c (6,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%|
53.81/8.71	c (6,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%|
53.81/8.71	c (6,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%|
53.81/8.71	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.81/8.71	c (6,0) c
53.81/8.71	c (6,0) c
53.81/8.71	c (6,0) c Threads : 8
53.81/8.71	c (6,0) c Winner : 7
53.81/8.71	c (6,0) c Conflicts_0 : 122594
53.81/8.71	c (6,0) c Conflicts_1 : 116933
53.81/8.71	c (6,0) c Conflicts_2 : 109639
53.81/8.71	c (6,0) c Conflicts_3 : 117507
53.81/8.71	c (6,0) c Conflicts_4 : 113424
53.81/8.71	c (6,0) c Conflicts_5 : 102438
53.81/8.71	c (6,0) c Conflicts_6 : 127108
53.81/8.71	c (6,0) c Conflicts_7 : 107351
53.81/8.71	c (6,0) c Conflicts_total : 916994
53.81/8.71	c (6,0) c Conflicts_winner : 107351
53.81/8.71	c (6,0) c Decisions_0 : 143519
53.81/8.71	c (6,0) c Decisions_1 : 138170
53.81/8.71	c (6,0) c Decisions_2 : 127822
53.81/8.71	c (6,0) c Decisions_3 : 135694
53.81/8.71	c (6,0) c Decisions_4 : 135555
53.81/8.71	c (6,0) c Decisions_5 : 119272
53.81/8.71	c (6,0) c Decisions_6 : 148398
53.81/8.71	c (6,0) c Decisions_7 : 124260
53.81/8.71	c (6,0) c Decisions_total : 1072690
53.81/8.71	c (6,0) c Decisions_winner : 124260
53.81/8.71	c (6,0) c Propagations_0 : 23161713
53.81/8.71	c (6,0) c Propagations_1 : 22736581
53.81/8.71	c (6,0) c Propagations_2 : 23803373
53.81/8.71	c (6,0) c Propagations_3 : 21027902
53.81/8.71	c (6,0) c Propagations_4 : 22196608
53.81/8.71	c (6,0) c Propagations_5 : 24306124
53.81/8.71	c (6,0) c Propagations_6 : 23537113
53.81/8.71	c (6,0) c Propagations_7 : 23419492
53.81/8.71	c (6,0) c Propagations_total : 184188906
53.81/8.71	c (6,0) c Propagations_winner : 23419492
53.81/8.71	c (6,0) c ReduceDBs_0 : 19
53.81/8.71	c (6,0) c ReduceDBs_1 : 9
53.81/8.71	c (6,0) c ReduceDBs_2 : 12
53.81/8.71	c (6,0) c ReduceDBs_3 : 9
53.81/8.71	c (6,0) c ReduceDBs_4 : 9
53.81/8.71	c (6,0) c ReduceDBs_5 : 8
53.81/8.71	c (6,0) c ReduceDBs_6 : 21
53.81/8.71	c (6,0) c ReduceDBs_7 : 8
53.81/8.71	c (6,0) c ReduceDBs_total : 95
53.81/8.71	c (6,0) c ReduceDBs_winner : 8
53.81/8.71	c (6,0) c SimpDBs_0 : 5
53.81/8.71	c (6,0) c SimpDBs_1 : 2
53.81/8.71	c (6,0) c SimpDBs_2 : 2
53.81/8.71	c (6,0) c SimpDBs_3 : 3
53.81/8.71	c (6,0) c SimpDBs_4 : 2
53.81/8.71	c (6,0) c SimpDBs_5 : 2
53.81/8.71	c (6,0) c SimpDBs_6 : 1
53.81/8.71	c (6,0) c SimpDBs_7 : 4
53.81/8.71	c (6,0) c SimpDBs_total : 21
53.81/8.71	c (6,0) c SimpDBs_winner : 4
53.81/8.71	c (6,0) c Restarts_0 : 82
53.81/8.71	c (6,0) c Restarts_1 : 107
53.81/8.71	c (6,0) c Restarts_2 : 62
53.81/8.71	c (6,0) c Restarts_3 : 30
53.81/8.71	c (6,0) c Restarts_4 : 193
53.81/8.71	c (6,0) c Restarts_5 : 43
53.81/8.71	c (6,0) c Restarts_6 : 43
53.81/8.71	c (6,0) c Restarts_7 : 50
53.81/8.71	c (6,0) c Restarts_total : 610
53.81/8.71	c (6,0) c Restarts_winner : 50
53.81/8.71	c (6,0) c ForcedImports_0 : 0
53.81/8.71	c (6,0) c ForcedImports_1 : 0
53.81/8.71	c (6,0) c ForcedImports_2 : 0
53.81/8.71	c (6,0) c ForcedImports_3 : 0
53.81/8.71	c (6,0) c ForcedImports_4 : 0
53.81/8.71	c (6,0) c ForcedImports_5 : 0
53.81/8.71	c (6,0) c ForcedImports_6 : 0
53.81/8.71	c (6,0) c ForcedImports_7 : 0
53.81/8.71	c (6,0) c ForcedImports_total : 0
53.81/8.71	c (6,0) c ForcedImports_winner : 0
53.81/8.71	c (6,0) c PropsBinClauses_0 : 32899163
53.81/8.71	c (6,0) c PropsBinClauses_1 : 32035948
53.81/8.71	c (6,0) c PropsBinClauses_2 : 33536597
53.81/8.71	c (6,0) c PropsBinClauses_3 : 29938269
53.81/8.71	c (6,0) c PropsBinClauses_4 : 31283918
53.81/8.71	c (6,0) c PropsBinClauses_5 : 34067822
53.81/8.71	c (6,0) c PropsBinClauses_6 : 33628405
53.81/8.71	c (6,0) c PropsBinClauses_7 : 32782733
53.81/8.71	c (6,0) c PropsBinClauses_total : 260172855
53.81/8.71	c (6,0) c PropsBinClauses_winner : 32782733
53.81/8.71	c (6,0) c PropsPreBlocker_0 : 324606140
53.81/8.71	c (6,0) c PropsPreBlocker_1 : 335433025
53.81/8.71	c (6,0) c PropsPreBlocker_2 : 328556878
53.81/8.71	c (6,0) c PropsPreBlocker_3 : 335730319
53.81/8.71	c (6,0) c PropsPreBlocker_4 : 323452000
53.81/8.71	c (6,0) c PropsPreBlocker_5 : 324255283
53.81/8.71	c (6,0) c PropsPreBlocker_6 : 338551603
53.81/8.71	c (6,0) c PropsPreBlocker_7 : 317206817
53.81/8.71	c (6,0) c PropsPreBlocker_total : 2627792065
53.81/8.71	c (6,0) c PropsPreBlocker_winner : 317206817
53.81/8.71	c (6,0) c PropsNotBlocker_0 : 67934747
53.81/8.71	c (6,0) c PropsNotBlocker_1 : 67106272
53.81/8.71	c (6,0) c PropsNotBlocker_2 : 70036727
53.81/8.71	c (6,0) c PropsNotBlocker_3 : 64166023
53.81/8.71	c (6,0) c PropsNotBlocker_4 : 66009528
53.81/8.71	c (6,0) c PropsNotBlocker_5 : 70833689
53.81/8.72	c (6,0) c PropsNotBlocker_6 : 68410138
53.81/8.72	c (6,0) c PropsNotBlocker_7 : 69646623
53.81/8.72	c (6,0) c PropsNotBlocker_total : 544143747
53.81/8.72	c (6,0) c PropsNotBlocker_winner : 69646623
53.81/8.72	c (6,0) c PropsLitFullScans_0 : 506926905
53.81/8.72	c (6,0) c PropsLitFullScans_1 : 516024775
53.81/8.72	c (6,0) c PropsLitFullScans_2 : 508377316
53.81/8.72	c (6,0) c PropsLitFullScans_3 : 515672898
53.81/8.72	c (6,0) c PropsLitFullScans_4 : 504033038
53.81/8.72	c (6,0) c PropsLitFullScans_5 : 504025460
53.81/8.72	c (6,0) c PropsLitFullScans_6 : 522032003
53.81/8.72	c (6,0) c PropsLitFullScans_7 : 502047960
53.81/8.72	c (6,0) c PropsLitFullScans_total : 4079140355
53.81/8.72	c (6,0) c PropsLitFullScans_winner : 502047960
53.81/8.72	c (6,0) c LitScanFractions_0 : 15380
53.81/8.72	c (6,0) c LitScanFractions_1 : 12958
53.81/8.72	c (6,0) c LitScanFractions_2 : 14771
53.81/8.72	c (6,0) c LitScanFractions_3 : 20001
53.81/8.72	c (6,0) c LitScanFractions_4 : 21946
53.81/8.72	c (6,0) c LitScanFractions_5 : 14731
53.81/8.72	c (6,0) c LitScanFractions_6 : 14752
53.81/8.72	c (6,0) c LitScanFractions_7 : 39666
53.81/8.72	c (6,0) c LitScanFractions_total : 154205
53.81/8.72	c (6,0) c LitScanFractions_winner : 39666
53.81/8.72	c (6,0) c DecisionLevel0_0 : 90
53.81/8.72	c (6,0) c DecisionLevel0_1 : 109
53.81/8.72	c (6,0) c DecisionLevel0_2 : 63
53.81/8.72	c (6,0) c DecisionLevel0_3 : 43
53.81/8.72	c (6,0) c DecisionLevel0_4 : 195
53.81/8.72	c (6,0) c DecisionLevel0_5 : 44
53.81/8.72	c (6,0) c DecisionLevel0_6 : 43
53.81/8.72	c (6,0) c DecisionLevel0_7 : 58
53.81/8.72	c (6,0) c DecisionLevel0_total : 645
53.81/8.72	c (6,0) c DecisionLevel0_winner : 58
53.81/8.72	c (6,0) c Periods_0 : 84
53.81/8.72	c (6,0) c Periods_1 : 86
53.81/8.72	c (6,0) c Periods_2 : 84
53.81/8.72	c (6,0) c Periods_3 : 85
53.81/8.72	c (6,0) c Periods_4 : 84
53.81/8.72	c (6,0) c Periods_5 : 84
53.81/8.72	c (6,0) c Periods_6 : 87
53.81/8.72	c (6,0) c Periods_7 : 83
53.81/8.72	c (6,0) c Periods_total : 677
53.81/8.72	c (6,0) c Periods_winner : 83
53.81/8.72	c (6,0) c Margin_0 : 20
53.81/8.72	c (6,0) c Margin_1 : 20
53.81/8.72	c (6,0) c Margin_2 : 20
53.81/8.72	c (6,0) c Margin_3 : 20
53.81/8.72	c (6,0) c Margin_4 : 20
53.81/8.72	c (6,0) c Margin_5 : 20
53.81/8.72	c (6,0) c Margin_6 : 20
53.81/8.72	c (6,0) c Margin_7 : 20
53.81/8.72	c (6,0) c Margin_total : 160
53.81/8.72	c (6,0) c Margin_winner : 20
53.81/8.72	c (6,0) c Exported_0 : 19297
53.81/8.72	c (6,0) c Exported_1 : 17556
53.81/8.72	c (6,0) c Exported_2 : 19617
53.81/8.72	c (6,0) c Exported_3 : 19106
53.81/8.72	c (6,0) c Exported_4 : 15836
53.81/8.72	c (6,0) c Exported_5 : 16208
53.81/8.72	c (6,0) c Exported_6 : 19281
53.81/8.72	c (6,0) c Exported_7 : 16644
53.81/8.72	c (6,0) c Exported_total : 143545
53.81/8.72	c (6,0) c Exported_winner : 16644
53.81/8.72	c (6,0) c Imported_0 : 95156
53.81/8.72	c (6,0) c Imported_1 : 95840
53.81/8.72	c (6,0) c Imported_2 : 94091
53.81/8.72	c (6,0) c Imported_3 : 95549
53.81/8.72	c (6,0) c Imported_4 : 94435
53.81/8.72	c (6,0) c Imported_5 : 95157
53.81/8.72	c (6,0) c Imported_6 : 97027
53.81/8.72	c (6,0) c Imported_7 : 94997
53.81/8.72	c (6,0) c Imported_total : 762252
53.81/8.72	c (6,0) c Imported_winner : 94997
53.81/8.72	c (6,0) c Good_0 : 120
53.81/8.72	c (6,0) c Good_1 : 131
53.81/8.72	c (6,0) c Good_2 : 127
53.81/8.72	c (6,0) c Good_3 : 128
53.81/8.72	c (6,0) c Good_4 : 116
53.81/8.72	c (6,0) c Good_5 : 130
53.81/8.72	c (6,0) c Good_6 : 129
53.81/8.72	c (6,0) c Good_7 : 123
53.81/8.72	c (6,0) c Good_total : 1004
53.81/8.72	c (6,0) c Good_winner : 123
53.81/8.72	c (6,0) c Purge_0 : 95036
53.81/8.72	c (6,0) c Purge_1 : 95709
53.81/8.72	c (6,0) c Purge_2 : 93964
53.81/8.72	c (6,0) c Purge_3 : 95421
53.81/8.72	c (6,0) c Purge_4 : 94319
53.81/8.72	c (6,0) c Purge_5 : 95027
53.81/8.72	c (6,0) c Purge_6 : 96898
53.81/8.72	c (6,0) c Purge_7 : 94874
53.81/8.72	c (6,0) c Purge_total : 761248
53.81/8.72	c (6,0) c Purge_winner : 94874
53.81/8.72	c (6,0) c Promoted_0 : 9119
53.81/8.72	c (6,0) c Promoted_1 : 7494
53.81/8.72	c (6,0) c Promoted_2 : 8505
53.81/8.72	c (6,0) c Promoted_3 : 9545
53.81/8.72	c (6,0) c Promoted_4 : 8574
53.81/8.72	c (6,0) c Promoted_5 : 8562
53.81/8.72	c (6,0) c Promoted_6 : 7198
53.81/8.72	c (6,0) c Promoted_7 : 10013
53.81/8.72	c (6,0) c Promoted_total : 69010
53.81/8.72	c (6,0) c Promoted_winner : 10013
53.81/8.72	c (6,0) c Remove_Imp_0 : 86728
53.81/8.72	c (6,0) c Remove_Imp_1 : 32451
53.81/8.72	c (6,0) c Remove_Imp_2 : 84390
53.81/8.72	c (6,0) c Remove_Imp_3 : 41691
53.81/8.72	c (6,0) c Remove_Imp_4 : 50415
53.81/8.72	c (6,0) c Remove_Imp_5 : 42937
53.81/8.72	c (6,0) c Remove_Imp_6 : 89127
53.81/8.72	c (6,0) c Remove_Imp_7 : 22856
53.81/8.72	c (6,0) c Remove_Imp_total : 450595
53.81/8.72	c (6,0) c Remove_Imp_winner : 22856
53.81/8.72	c (6,0) c Blocked_Reuse_0 : 0
53.81/8.72	c (6,0) c Blocked_Reuse_1 : 0
53.81/8.72	c (6,0) c Blocked_Reuse_2 : 0
53.81/8.72	c (6,0) c Blocked_Reuse_3 : 0
53.81/8.72	c (6,0) c Blocked_Reuse_4 : 0
53.81/8.72	c (6,0) c Blocked_Reuse_5 : 0
53.81/8.72	c (6,0) c Blocked_Reuse_6 : 0
53.81/8.72	c (6,0) c Blocked_Reuse_7 : 0
53.81/8.72	c (6,0) c Blocked_Reuse_total : 0
53.81/8.72	c (6,0) c Blocked_Reuse_winner : 0
53.81/8.72	c (6,0) c Unaries_0 : 8
53.81/8.72	c (6,0) c Unaries_1 : 2
53.81/8.72	c (6,0) c Unaries_2 : 1
53.81/8.72	c (6,0) c Unaries_3 : 13
53.81/8.72	c (6,0) c Unaries_4 : 2
53.81/8.72	c (6,0) c Unaries_5 : 1
53.81/8.72	c (6,0) c Unaries_6 : 0
53.81/8.72	c (6,0) c Unaries_7 : 8
53.81/8.72	c (6,0) c Unaries_total : 35
53.81/8.72	c (6,0) c Unaries_winner : 8
53.81/8.72	c (6,0) c Binaries_0 : 58
53.81/8.72	c (6,0) c Binaries_1 : 35
53.81/8.72	c (6,0) c Binaries_2 : 32
53.81/8.72	c (6,0) c Binaries_3 : 58
53.81/8.72	c (6,0) c Binaries_4 : 40
53.81/8.72	c (6,0) c Binaries_5 : 19
53.81/8.72	c (6,0) c Binaries_6 : 17
53.81/8.72	c (6,0) c Binaries_7 : 53
53.81/8.72	c (6,0) c Binaries_total : 312
53.81/8.72	c (6,0) c Binaries_winner : 53
53.81/8.72	c (6,0) c Glues_0 : 88
53.81/8.72	c (6,0) c Glues_1 : 84
53.81/8.72	c (6,0) c Glues_2 : 69
53.81/8.72	c (6,0) c Glues_3 : 100
53.81/8.72	c (6,0) c Glues_4 : 114
53.81/8.72	c (6,0) c Glues_5 : 44
53.81/8.72	c (6,0) c Glues_6 : 53
53.81/8.72	c (6,0) c Glues_7 : 74
53.81/8.72	c (6,0) c Glues_total : 626
53.81/8.72	c (6,0) c Glues_winner : 74
53.81/8.72	c (6,0) c RunningTime_0 : 6.121197
53.81/8.72	c (6,0) c RunningTime_1 : 5.965911
53.81/8.72	c (6,0) c RunningTime_2 : 6.130302
53.81/8.72	c (6,0) c RunningTime_3 : 5.946267
53.81/8.72	c (6,0) c RunningTime_4 : 6.147923
53.81/8.72	c (6,0) c RunningTime_5 : 6.155461
53.81/8.72	c (6,0) c RunningTime_6 : 5.987978
53.81/8.72	c (6,0) c RunningTime_7 : 6.172484
53.81/8.72	c (6,0) c RunningTime_total : 48.627523
53.81/8.72	c (6,0) c RunningTime_winner : 6.172484
53.81/8.72	c (6,0) c WaitingTime_0 : 0.000080
53.81/8.72	c (6,0) c WaitingTime_1 : 0.000101
53.81/8.72	c (6,0) c WaitingTime_2 : 0.000078
53.81/8.72	c (6,0) c WaitingTime_3 : 0.000097
53.81/8.72	c (6,0) c WaitingTime_4 : 0.000068
53.81/8.72	c (6,0) c WaitingTime_5 : 0.000085
53.81/8.72	c (6,0) c WaitingTime_6 : 0.000080
53.81/8.72	c (6,0) c WaitingTime_7 : 0.000067
53.81/8.72	c (6,0) c WaitingTime_total : 0.000657
53.81/8.72	c (6,0) c WaitingTime_winner : 0.000067
53.81/8.72	c (6,0) c ExchangingTime_0 : 0.029051
53.81/8.72	c (6,0) c ExchangingTime_1 : 0.032388
53.81/8.72	c (6,0) c ExchangingTime_2 : 0.034077
53.81/8.72	c (6,0) c ExchangingTime_3 : 0.032220
53.81/8.72	c (6,0) c ExchangingTime_4 : 0.031430
53.81/8.72	c (6,0) c ExchangingTime_5 : 0.031664
53.81/8.72	c (6,0) c ExchangingTime_6 : 0.030836
53.81/8.72	c (6,0) c ExchangingTime_7 : 0.027637
53.81/8.72	c (6,0) c ExchangingTime_total : 0.249302
53.81/8.72	c (6,0) c ExchangingTime_winner : 0.027637
53.81/8.72	c (6,0) c PeriodProcTime_0 : 0.000565
53.81/8.72	c (6,0) c PeriodProcTime_1 : 0.000521
53.81/8.72	c (6,0) c PeriodProcTime_2 : 0.000610
53.81/8.72	c (6,0) c PeriodProcTime_3 : 0.000497
53.81/8.72	c (6,0) c PeriodProcTime_4 : 0.000631
53.81/8.72	c (6,0) c PeriodProcTime_5 : 0.000598
53.81/8.72	c (6,0) c PeriodProcTime_6 : 0.000603
53.81/8.72	c (6,0) c PeriodProcTime_7 : 0.000575
53.81/8.72	c (6,0) c PeriodProcTime_total : 0.004600
53.81/8.72	c (6,0) c PeriodProcTime_winner : 0.000575
53.81/8.72	c (6,0) c SolvingTime_0 : 6.150892
53.81/8.72	c (6,0) c SolvingTime_1 : 5.998921
53.81/8.72	c (6,0) c SolvingTime_2 : 6.165067
53.81/8.72	c (6,0) c SolvingTime_3 : 5.979080
53.81/8.72	c (6,0) c SolvingTime_4 : 6.180053
53.81/8.72	c (6,0) c SolvingTime_5 : 6.187809
53.81/8.72	c (6,0) c SolvingTime_6 : 6.019497
53.81/8.72	c (6,0) c SolvingTime_7 : 6.200763
53.81/8.72	c (6,0) c SolvingTime_total : 48.882082
53.81/8.72	c (6,0) c SolvingTime_winner : 6.200763
53.81/8.72	c (6,0) c PropagationTime_0 : 5.199908
53.81/8.72	c (6,0) c PropagationTime_1 : 5.177171
53.81/8.72	c (6,0) c PropagationTime_2 : 5.346388
53.81/8.72	c (6,0) c PropagationTime_3 : 5.158717
53.81/8.72	c (6,0) c PropagationTime_4 : 5.266504
53.81/8.72	c (6,0) c PropagationTime_5 : 5.305557
53.81/8.72	c (6,0) c PropagationTime_6 : 5.119290
53.81/8.72	c (6,0) c PropagationTime_7 : 5.367049
53.81/8.72	c (6,0) c PropagationTime_total : 41.940585
53.81/8.72	c (6,0) c PropagationTime_winner : 5.367049
53.81/8.72	c (6,0) c AnalysisTime_0 : 0.564541
53.81/8.72	c (6,0) c AnalysisTime_1 : 0.454962
53.81/8.72	c (6,0) c AnalysisTime_2 : 0.443310
53.81/8.72	c (6,0) c AnalysisTime_3 : 0.445863
53.81/8.72	c (6,0) c AnalysisTime_4 : 0.547064
53.81/8.72	c (6,0) c AnalysisTime_5 : 0.534778
53.81/8.72	c (6,0) c AnalysisTime_6 : 0.499344
53.81/8.72	c (6,0) c AnalysisTime_7 : 0.458269
53.81/8.72	c (6,0) c AnalysisTime_total : 3.948131
53.81/8.72	c (6,0) c AnalysisTime_winner : 0.458269
53.81/8.72	c (6,0) c ReductionTime_0 : 0.115081
53.81/8.72	c (6,0) c ReductionTime_1 : 0.098674
53.81/8.72	c (6,0) c ReductionTime_2 : 0.106416
53.81/8.72	c (6,0) c ReductionTime_3 : 0.115996
53.81/8.72	c (6,0) c ReductionTime_4 : 0.095306
53.81/8.72	c (6,0) c ReductionTime_5 : 0.086849
53.81/8.72	c (6,0) c ReductionTime_6 : 0.123335
53.81/8.72	c (6,0) c ReductionTime_7 : 0.093949
53.81/8.72	c (6,0) c ReductionTime_total : 0.835607
53.81/8.72	c (6,0) c ReductionTime_winner : 0.093949
53.81/8.72	c (6,0) c SimplifyTime_0 : 0.007582
53.81/8.72	c (6,0) c SimplifyTime_1 : 0.013619
53.81/8.72	c (6,0) c SimplifyTime_2 : 0.003798
53.81/8.72	c (6,0) c SimplifyTime_3 : 0.016313
53.81/8.72	c (6,0) c SimplifyTime_4 : 0.022739
53.81/8.72	c (6,0) c SimplifyTime_5 : 0.014096
53.81/8.72	c (6,0) c SimplifyTime_6 : 0.000001
53.81/8.72	c (6,0) c SimplifyTime_7 : 0.038592
53.81/8.72	c (6,0) c SimplifyTime_total : 0.116740
53.81/8.72	c (6,0) c SimplifyTime_winner : 0.038592
53.81/8.72	c (6,0) c UsedRateTime_0 : 0.000000
53.81/8.72	c (6,0) c UsedRateTime_1 : 0.000000
53.81/8.72	c (6,0) c UsedRateTime_2 : 0.000000
53.81/8.72	c (6,0) c UsedRateTime_3 : 0.000000
53.81/8.72	c (6,0) c UsedRateTime_4 : 0.000000
53.81/8.72	c (6,0) c UsedRateTime_5 : 0.000000
53.81/8.72	c (6,0) c UsedRateTime_6 : 0.000000
53.81/8.72	c (6,0) c UsedRateTime_7 : 0.000000
53.81/8.72	c (6,0) c UsedRateTime_total : 0.000000
53.81/8.72	c (6,0) c UsedRateTime_winner : 0.000000
53.81/8.72	c (6,0) c OverlapRateTime_0 : 0.000000
53.81/8.72	c (6,0) c OverlapRateTime_1 : 0.000000
53.81/8.72	c (6,0) c OverlapRateTime_2 : 0.000000
53.81/8.72	c (6,0) c OverlapRateTime_3 : 0.000000
53.81/8.72	c (6,0) c OverlapRateTime_4 : 0.000000
53.81/8.72	c (6,0) c OverlapRateTime_5 : 0.000000
53.81/8.72	c (6,0) c OverlapRateTime_6 : 0.000000
53.81/8.72	c (6,0) c OverlapRateTime_7 : 0.000000
53.81/8.72	c (6,0) c OverlapRateTime_total : 0.000000
53.81/8.72	c (6,0) c OverlapRateTime_winner : 0.000000
53.81/8.72	c (6,0) c
53.81/8.72	c (6,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
53.81/8.72	c (6,0) c
53.81/8.72	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.81/8.72	c (6,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
53.81/8.72	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.81/8.72	c (6,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
53.81/8.72	c (6,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
53.81/8.72	c (6,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
53.81/8.72	c (6,0) c | Initial random_seed   |  155448226 |  711608428 |  267401609 | 2020288249 | 1803955543 | 1167927294 | 1188688363 | 1750087892 |
53.81/8.72	c (6,0) c | chanseokStrategy      |       True |      False |       True |      False |      False |      False |       True |      False |
53.81/8.72	c (6,0) c | coLBDBound            |          4 |          5 |          4 |          5 |          5 |          5 |          4 |          5 |
53.81/8.72	c (6,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
53.81/8.72	c (6,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
53.81/8.72	c (6,0) c | incReduceDB           |          0 |        300 |          0 |        300 |        300 |        300 |          0 |        300 |
53.81/8.72	c (6,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
53.81/8.72	c (6,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
53.81/8.72	c (6,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
53.81/8.72	c (6,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
53.81/8.72	c (6,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
53.81/8.72	c (6,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
53.81/8.72	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.81/8.72	c (6,0) 
53.81/8.72	c (6,0) s UNSATISFIABLE
53.81/8.73	c (6,0) SatSolver.solve End
53.81/8.73	c (6,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
53.81/8.73	c (6,0) Show results Begin
53.81/8.73	s UNSATISFIABLE
53.81/8.73	c (6,0) Show results End
53.81/8.73	c (6,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
53.81/8.73	c (6,0) 6,6,STOP-AFTER(ALL)
53.81/8.73	c END-Prog: Sat Sep 14 01:19:39 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 (14889 MiB free)
  memory of node 1: 16384 MiB (15385 MiB free)
  node distances:
     10  21
     21  10

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

[startup+0.100155 s]*
/proc/loadavg: 0.64 0.45 0.79 2/211 15606
/proc/meminfo: memFree=30909476/32770624 swapFree=66935016/67108860
[pid=15584] ppid=15581 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/15584/stat : 15584 (scop.sh) S 15581 15584 14714 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 417952411 115843072 348 33554432000 4194304 5098028 140727741643568 140727741640824 140298127835772 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16752640 140727741645605 140727741645932 140727741645932 140727741648845 0
/proc/15584/statm: 28282 348 296 221 0 87 0
[pid=15587] ppid=15584 vsize=27314120 memory=104228 CPUtime=0.1 cores=0-7
/proc/15587/stat : 15587 (java) S 15584 15584 14714 0 -1 1077944320 6676 0 0 0 8 2 0 0 20 0 20 0 417952412 27969658880 26057 33554432000 4194304 4196468 140727411388096 140727411370640 139735322476279 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
/proc/15587/statm: 6828530 26057 2799 1 0 6790935 0
[pid=15587/tid=15588] ppid=15584 vsize=27314120 memory=8041628417762697375 CPUtime=0.09 cores=0-7
/proc/15587/task/15588/stat : 15588 (java) R 15584 15584 14714 0 -1 4202560 4754 0 0 0 7 2 0 0 20 0 20 0 417952412 27969658880 26569 33554432000 4194304 4196468 140727411388096 139735294299328 139735308544398 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15589] ppid=15584 vsize=27314120 memory=732370278833777637 CPUtime=0 cores=0-7
/proc/15587/task/15589/stat : 15589 (java) S 15584 15584 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417952414 27969658880 26569 33554432000 4194304 4196468 140727411388096 139735326718736 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15590] ppid=15584 vsize=27314120 memory=140140496324224 CPUtime=0 cores=0-7
/proc/15587/task/15590/stat : 15590 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952414 27969658880 26569 33554432000 4194304 4196468 140727411388096 139734744202128 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15591] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15591/stat : 15591 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952414 27969658880 26569 33554432000 4194304 4196468 140727411388096 139734743149584 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15592] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15592/stat : 15592 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952415 27969658880 26569 33554432000 4194304 4196468 140727411388096 139734742097040 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15593] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15593/stat : 15593 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952415 27969658880 26569 33554432000 4194304 4196468 140727411388096 139734741043472 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15594] ppid=15584 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15587/task/15594/stat : 15594 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952415 27969658880 26569 33554432000 4194304 4196468 140727411388096 139734739990928 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15595] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15595/stat : 15595 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952415 27969658880 26569 33554432000 4194304 4196468 140727411388096 139734738938384 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15596] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15596/stat : 15596 (java) S 15584 15584 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417952415 27969658880 26569 33554432000 4194304 4196468 140727411388096 139734737885840 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15597] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15597/stat : 15597 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952416 27969658880 26569 33554432000 4194304 4196468 140727411388096 139733911136752 139735322487426 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15598] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15598/stat : 15598 (java) S 15584 15584 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417952417 27969658880 26569 33554432000 4194304 4196468 140727411388096 139732868654496 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15599] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15599/stat : 15599 (java) S 15584 15584 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417952417 27969658880 26569 33554432000 4194304 4196468 140727411388096 139732734432752 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15600] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15600/stat : 15600 (java) S 15584 15584 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417952419 27969658880 26569 33554432000 4194304 4196468 140727411388096 139732359928528 139735322494875 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15601] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15601/stat : 15601 (java) S 15584 15584 14714 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 417952419 27969658880 26569 33554432000 4194304 4196468 140727411388096 139733910083568 139735322487426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15602] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15602/stat : 15602 (java) S 15584 15584 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417952419 27969658880 26569 33554432000 4194304 4196468 140727411388096 139733909031024 139735322487426 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15603] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15603/stat : 15603 (java) S 15584 15584 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417952419 27969658880 26569 33554432000 4194304 4196468 140727411388096 139733907978480 139735322487426 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15604] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15604/stat : 15604 (java) S 15584 15584 14714 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 20 0 417952419 27969658880 26569 33554432000 4194304 4196468 140727411388096 139733906925936 139735322487426 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15605] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15605/stat : 15605 (java) S 15584 15584 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417952419 27969658880 26569 33554432000 4194304 4196468 140727411388096 139731862022880 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15606] ppid=15584 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15587/task/15606/stat : 15606 (java) S 15584 15584 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417952420 27969658880 26569 33554432000 4194304 4196468 140727411388096 139733905873840 139735322487426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105620 KiB

[startup+0.210215 s]*
/proc/loadavg: 0.64 0.45 0.79 3/211 15606
/proc/meminfo: memFree=30888728/32770624 swapFree=66935016/67108860
[pid=15584] ppid=15581 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/15584/stat : 15584 (scop.sh) S 15581 15584 14714 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 417952411 115843072 348 33554432000 4194304 5098028 140727741643568 140727741640824 140298127835772 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16752640 140727741645605 140727741645932 140727741645932 140727741648845 0
/proc/15584/statm: 28282 348 296 221 0 87 0
[pid=15587] ppid=15584 vsize=27314120 memory=123612 CPUtime=0.24 cores=0-7
/proc/15587/stat : 15587 (java) S 15584 15584 14714 0 -1 1077944320 12290 0 0 0 20 4 0 0 20 0 20 0 417952412 27969658880 30903 33554432000 4194304 4196468 140727411388096 140727411370640 139735322476279 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
/proc/15587/statm: 6828530 30903 2928 1 0 6790935 0
[pid=15587/tid=15588] ppid=15584 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/15587/task/15588/stat : 15588 (java) R 15584 15584 14714 0 -1 4202560 9979 0 0 0 16 3 0 0 20 0 20 0 417952412 27969658880 30903 33554432000 4194304 4196468 140727411388096 139735294275664 139735304039854 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15589] ppid=15584 vsize=27314120 memory=732370278833777637 CPUtime=0 cores=0-7
/proc/15587/task/15589/stat : 15589 (java) S 15584 15584 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417952414 27969658880 30903 33554432000 4194304 4196468 140727411388096 139735326718736 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15590] ppid=15584 vsize=27314120 memory=140140496324224 CPUtime=0 cores=0-7
/proc/15587/task/15590/stat : 15590 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952414 27969658880 30903 33554432000 4194304 4196468 140727411388096 139734744202128 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15591] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15591/stat : 15591 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952414 27969658880 30903 33554432000 4194304 4196468 140727411388096 139734743149584 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15592] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15592/stat : 15592 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952415 27969658880 30903 33554432000 4194304 4196468 140727411388096 139734742097040 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15593] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15593/stat : 15593 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952415 27969658880 30903 33554432000 4194304 4196468 140727411388096 139734741043472 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15594] ppid=15584 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15587/task/15594/stat : 15594 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952415 27969658880 30903 33554432000 4194304 4196468 140727411388096 139734739990928 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15595] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15595/stat : 15595 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952415 27969658880 30903 33554432000 4194304 4196468 140727411388096 139734738938384 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15596] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15596/stat : 15596 (java) S 15584 15584 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417952415 27969658880 30903 33554432000 4194304 4196468 140727411388096 139734737885840 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15597] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15597/stat : 15597 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952416 27969658880 30903 33554432000 4194304 4196468 140727411388096 139733911136752 139735322487426 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15598] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15598/stat : 15598 (java) S 15584 15584 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417952417 27969658880 30903 33554432000 4194304 4196468 140727411388096 139732868654496 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15599] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15599/stat : 15599 (java) S 15584 15584 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417952417 27969658880 30903 33554432000 4194304 4196468 140727411388096 139732734432752 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15600] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15600/stat : 15600 (java) S 15584 15584 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417952419 27969658880 30903 33554432000 4194304 4196468 140727411388096 139732359928528 139735322494875 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15601] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15601/stat : 15601 (java) S 15584 15584 14714 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 417952419 27969658880 30903 33554432000 4194304 4196468 140727411388096 139733910083568 139735322487426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15602] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15602/stat : 15602 (java) S 15584 15584 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417952419 27969658880 30903 33554432000 4194304 4196468 140727411388096 139733909031024 139735322487426 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15603] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15603/stat : 15603 (java) S 15584 15584 14714 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 417952419 27969658880 30903 33554432000 4194304 4196468 140727411388096 139733907978480 139735322487426 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15604] ppid=15584 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/15587/task/15604/stat : 15604 (java) S 15584 15584 14714 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 20 0 417952419 27969658880 30903 33554432000 4194304 4196468 140727411388096 139733906925936 139735322487426 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15605] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15605/stat : 15605 (java) S 15584 15584 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417952419 27969658880 30903 33554432000 4194304 4196468 140727411388096 139731862022880 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15606] ppid=15584 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15587/task/15606/stat : 15606 (java) S 15584 15584 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417952420 27969658880 30903 33554432000 4194304 4196468 140727411388096 139733905873840 139735322487426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125004 KiB

[startup+0.309454 s]*
/proc/loadavg: 0.64 0.45 0.79 2/211 15606
/proc/meminfo: memFree=30885556/32770624 swapFree=66935016/67108860
[pid=15584] ppid=15581 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/15584/stat : 15584 (scop.sh) S 15581 15584 14714 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 417952411 115843072 348 33554432000 4194304 5098028 140727741643568 140727741640824 140298127835772 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16752640 140727741645605 140727741645932 140727741645932 140727741648845 0
/proc/15584/statm: 28282 348 296 221 0 87 0
[pid=15587] ppid=15584 vsize=27314120 memory=127640 CPUtime=0.42 cores=0-7
/proc/15587/stat : 15587 (java) S 15584 15584 14714 0 -1 1077944320 13344 0 0 0 37 5 0 0 20 0 20 0 417952412 27969658880 31910 33554432000 4194304 4196468 140727411388096 140727411370640 139735322476279 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
/proc/15587/statm: 6828530 31910 3036 1 0 6790935 0
[pid=15587/tid=15588] ppid=15584 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/15587/task/15588/stat : 15588 (java) R 15584 15584 14714 0 -1 4202560 10833 0 0 0 25 4 0 0 20 0 20 0 417952412 27969658880 31910 33554432000 4194304 4196468 140727411388096 139735294259296 139735304039835 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15589] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15589/stat : 15589 (java) S 15584 15584 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417952414 27969658880 31910 33554432000 4194304 4196468 140727411388096 139735326718736 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15590] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15590/stat : 15590 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952414 27969658880 31910 33554432000 4194304 4196468 140727411388096 139734744202128 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15591] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15591/stat : 15591 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952414 27969658880 31910 33554432000 4194304 4196468 140727411388096 139734743149584 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15592] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15592/stat : 15592 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952415 27969658880 31910 33554432000 4194304 4196468 140727411388096 139734742097040 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15593] ppid=15584 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/15587/task/15593/stat : 15593 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952415 27969658880 31910 33554432000 4194304 4196468 140727411388096 139734741043472 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15594] ppid=15584 vsize=27314120 memory=140140353778607 CPUtime=0 cores=0-7
/proc/15587/task/15594/stat : 15594 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952415 27969658880 31910 33554432000 4194304 4196468 140727411388096 139734739990928 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15595] ppid=15584 vsize=27314120 memory=140140353780912 CPUtime=0 cores=0-7
/proc/15587/task/15595/stat : 15595 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952415 27969658880 31910 33554432000 4194304 4196468 140727411388096 139734738938384 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15596] ppid=15584 vsize=27314120 memory=140140353783216 CPUtime=0 cores=0-7
/proc/15587/task/15596/stat : 15596 (java) S 15584 15584 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417952415 27969658880 31910 33554432000 4194304 4196468 140727411388096 139734737885840 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15597] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15597/stat : 15597 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952416 27969658880 31910 33554432000 4194304 4196468 140727411388096 139733911136752 139735322487426 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15598] ppid=15584 vsize=27314120 memory=280280707573392 CPUtime=0 cores=0-7
/proc/15587/task/15598/stat : 15598 (java) S 15584 15584 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417952417 27969658880 31910 33554432000 4194304 4196468 140727411388096 139732868654496 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15599] ppid=15584 vsize=27314120 memory=280280707580304 CPUtime=0 cores=0-7
/proc/15587/task/15599/stat : 15599 (java) S 15584 15584 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417952417 27969658880 31910 33554432000 4194304 4196468 140727411388096 139732734432752 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15600] ppid=15584 vsize=27314120 memory=280280707521584 CPUtime=0 cores=0-7
/proc/15587/task/15600/stat : 15600 (java) S 15584 15584 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417952419 27969658880 31910 33554432000 4194304 4196468 140727411388096 139732359928528 139735322494875 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15601] ppid=15584 vsize=27314120 memory=280280707594128 CPUtime=0.01 cores=0-7
/proc/15587/task/15601/stat : 15601 (java) R 15584 15584 14714 0 -1 4202560 524 0 0 0 1 0 0 0 20 0 20 0 417952419 27969658880 31910 33554432000 4194304 4196468 140727411388096 139733910083568 139735307381755 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15602] ppid=15584 vsize=27314120 memory=280280707601040 CPUtime=0 cores=0-7
/proc/15587/task/15602/stat : 15602 (java) S 15584 15584 14714 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 417952419 27969658880 31910 33554432000 4194304 4196468 140727411388096 139733909031024 139735322487426 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15603] ppid=15584 vsize=27314120 memory=280280707598736 CPUtime=0.01 cores=0-7
/proc/15587/task/15603/stat : 15603 (java) S 15584 15584 14714 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 20 0 417952419 27969658880 31910 33554432000 4194304 4196468 140727411388096 139733907978480 139735322487426 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15604] ppid=15584 vsize=27314120 memory=280280707614896 CPUtime=0.07 cores=0-7
/proc/15587/task/15604/stat : 15604 (java) S 15584 15584 14714 0 -1 1077944384 524 0 0 0 7 0 0 0 20 0 20 0 417952419 27969658880 31910 33554432000 4194304 4196468 140727411388096 139733906925936 139735322487426 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15605] ppid=15584 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15605/stat : 15605 (java) S 15584 15584 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417952419 27969658880 31910 33554432000 4194304 4196468 140727411388096 139731862022880 139735322486485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15606] ppid=15584 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15587/task/15606/stat : 15606 (java) S 15584 15584 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417952420 27969658880 31910 33554432000 4194304 4196468 140727411388096 139733905873840 139735322487426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129032 KiB

[startup+0.700889 s]
/proc/loadavg: 0.64 0.45 0.79 2/211 15606
/proc/meminfo: memFree=30864576/32770624 swapFree=66935016/67108860
[pid=15584] ppid=15581 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/15584/stat : 15584 (scop.sh) S 15581 15584 14714 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 417952411 115843072 348 33554432000 4194304 5098028 140727741643568 140727741640824 140298127835772 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16752640 140727741645605 140727741645932 140727741645932 140727741648845 0
/proc/15584/statm: 28282 348 296 221 0 87 0
[pid=15587] ppid=15584 vsize=27322516 memory=163356 CPUtime=0.98 cores=0-7
/proc/15587/stat : 15587 (java) S 15584 15584 14714 0 -1 1077944320 20566 0 0 0 91 7 0 0 20 0 20 0 417952412 27978256384 40839 33554432000 4194304 4196468 140727411388096 140727411370640 139735322476279 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
/proc/15587/statm: 6830629 40839 3195 1 0 6791959 0
[pid=15587/tid=15588] ppid=15584 vsize=27322516 memory=280280707909824 CPUtime=0.68 cores=0-7
/proc/15587/task/15588/stat : 15588 (java) R 15584 15584 14714 0 -1 4202560 17600 0 0 0 62 6 0 0 20 0 20 0 417952412 27978256384 40839 33554432000 4194304 4196468 140727411388096 139735294308048 139735306556766 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15589] ppid=15584 vsize=27322516 memory=5076651345044 CPUtime=0 cores=0-7
/proc/15587/task/15589/stat : 15589 (java) S 15584 15584 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417952414 27978256384 40839 33554432000 4194304 4196468 140727411388096 139735326718736 139735322486485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15590] ppid=15584 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15590/stat : 15590 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952414 27978256384 40839 33554432000 4194304 4196468 140727411388096 139734744202128 139735322486485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0
[pid=15587/tid=15591] ppid=15584 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/15587/task/15591/stat : 15591 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417952414 27978256384 40839 33554432000 4194304 4196468 140727411388096 139734743149584 139735322486485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37216256 140727411393259 140727411393686 140727411393686 140727411396559 0

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

[pid=15608/tid=15625] ppid=15584 vsize=8414124 memory=2241 CPUtime=0.18 cores=0-7
/proc/15608/task/15625/stat : 15625 (java) S 15584 15584 14714 0 -1 1077944384 516 0 0 0 18 0 0 0 20 0 24 0 417952592 8616062976 29347 33554432000 4194304 4196468 140723224311728 140705731119088 140706373761666 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15626] ppid=15584 vsize=8414124 memory=2244 CPUtime=0 cores=0-7
/proc/15608/task/15626/stat : 15626 (java) S 15584 15584 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417952593 8616062976 29347 33554432000 4194304 4196468 140723224311728 140703665482848 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15627] ppid=15584 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15608/task/15627/stat : 15627 (java) S 15584 15584 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417952593 8616062976 29347 33554432000 4194304 4196468 140723224311728 140705730067504 140706373761666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15629] ppid=15584 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15608/task/15629/stat : 15629 (java) S 15584 15584 14714 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417952657 8616062976 29347 33554432000 4194304 4196468 140723224311728 140705813276224 140706373775129 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15631] ppid=15584 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15608/task/15631/stat : 15631 (java) S 15584 15584 14714 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 417952657 8616062976 29347 33554432000 4194304 4196468 140723224311728 140702994382480 140706373772445 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15632] ppid=15584 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15608/task/15632/stat : 15632 (java) S 15584 15584 14714 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417952657 8616062976 29347 33554432000 4194304 4196468 140723224311728 140703262817808 140706373772445 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15633] ppid=15584 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/15608/task/15633/stat : 15633 (java) S 15584 15584 14714 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 417952659 8616062976 29347 33554432000 4194304 4196468 140723224311728 140702725954608 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
Current children cumulated CPU time: 44.92 s
Current children cumulated vsize: 9161284 KiB
Current children cumulated memory: 279748 KiB

[startup+8.30175 s]*
/proc/loadavg: 1.40 0.62 0.84 9/224 15641
/proc/meminfo: memFree=30723340/32770624 swapFree=66935016/67108860
[pid=15584] ppid=15581 vsize=113128 memory=1472 CPUtime=3.87 cores=0-7
/proc/15584/stat : 15584 (scop.sh) S 15581 15584 14714 0 -1 4202496 582 26419 0 0 0 0 373 14 20 0 1 0 417952411 115843072 368 33554432000 4194304 5098028 140727741643568 140727741640312 140298127835772 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16752640 140727741645605 140727741645932 140727741645932 140727741648845 0
/proc/15584/statm: 28282 368 311 221 0 87 0
[pid=15608] ppid=15584 vsize=8414124 memory=117388 CPUtime=1.11 cores=0-7
/proc/15608/stat : 15608 (java) S 15584 15584 14714 0 -1 1077944320 20390 0 0 0 103 8 0 0 20 0 24 0 417952586 8616062976 29347 33554432000 4194304 4196468 140723224311728 140723224294272 140706373750519 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
/proc/15608/statm: 2103531 29347 3202 1 0 2064875 0
[pid=15628] ppid=15608 vsize=634872 memory=174664 CPUtime=46.38 cores=0-7
/proc/15628/stat : 15628 (manyglucose-4.1) S 15608 15584 14714 0 -1 1077944320 91521 0 0 0 4621 17 0 0 20 0 9 0 417952657 650108928 43666 33554432000 4194304 4454172 140732349895056 140732349893456 140054348966530 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 22065152 140732349903721 140732349903920 140732349903920 140732349906874 0
/proc/15628/statm: 158718 43666 403 64 0 154386 0
[pid=15628/tid=15634] ppid=15608 vsize=634872 memory=7309178837960058450 CPUtime=5.79 cores=0-7
/proc/15628/task/15634/stat : 15634 (manyglucose-4.1) R 15608 15584 14714 0 -1 4202560 9011 0 0 0 578 1 0 0 20 0 9 0 417952661 650108928 43666 33554432000 4194304 4454172 140732349895056 140054333737720 4351612 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 22065152 140732349903721 140732349903920 140732349903920 140732349906874 0
[pid=15628/tid=15635] ppid=15608 vsize=634872 memory=7013342048940813417 CPUtime=5.8 cores=0-7
/proc/15628/task/15635/stat : 15635 (manyglucose-4.1) R 15608 15584 14714 0 -1 4202560 12379 0 0 0 578 2 0 0 20 0 9 0 417952661 650108928 43666 33554432000 4194304 4454172 140732349895056 140054325345016 4351769 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 22065152 140732349903721 140732349903920 140732349903920 140732349906874 0
[pid=15628/tid=15636] ppid=15608 vsize=634872 memory=8025788805588675948 CPUtime=5.8 cores=0-7
/proc/15628/task/15636/stat : 15636 (manyglucose-4.1) R 15608 15584 14714 0 -1 4202560 11533 0 0 0 578 2 0 0 20 0 9 0 417952661 650108928 43666 33554432000 4194304 4454172 140732349895056 140054316952424 4351209 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 22065152 140732349903721 140732349903920 140732349903920 140732349906874 0
[pid=15628/tid=15637] ppid=15608 vsize=634872 memory=7013342048940813417 CPUtime=5.8 cores=0-7
/proc/15628/task/15637/stat : 15637 (manyglucose-4.1) R 15608 15584 14714 0 -1 4202560 12700 0 0 0 578 2 0 0 20 0 9 0 417952661 650108928 43666 33554432000 4194304 4454172 140732349895056 140054308559976 4351331 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 22065152 140732349903721 140732349903920 140732349903920 140732349906874 0
[pid=15628/tid=15638] ppid=15608 vsize=634872 memory=7309178837960058450 CPUtime=5.81 cores=0-7
/proc/15628/task/15638/stat : 15638 (manyglucose-4.1) R 15608 15584 14714 0 -1 4202560 11494 0 0 0 579 2 0 0 20 0 9 0 417952661 650108928 43666 33554432000 4194304 4454172 140732349895056 140054300166904 4351535 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 22065152 140732349903721 140732349903920 140732349903920 140732349906874 0
[pid=15628/tid=15639] ppid=15608 vsize=634872 memory=0 CPUtime=5.8 cores=0-7
/proc/15628/task/15639/stat : 15639 (manyglucose-4.1) R 15608 15584 14714 0 -1 4202560 9638 0 0 0 579 1 0 0 20 0 9 0 417952661 650108928 43666 33554432000 4194304 4454172 140732349895056 140054291774568 4351305 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 22065152 140732349903721 140732349903920 140732349903920 140732349906874 0
[pid=15628/tid=15640] ppid=15608 vsize=634872 memory=0 CPUtime=5.8 cores=0-7
/proc/15628/task/15640/stat : 15640 (manyglucose-4.1) R 15608 15584 14714 0 -1 4202560 9342 0 0 0 579 1 0 0 20 0 9 0 417952661 650108928 43666 33554432000 4194304 4454172 140732349895056 140054283381496 4351286 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 22065152 140732349903721 140732349903920 140732349903920 140732349906874 0
[pid=15628/tid=15641] ppid=15608 vsize=634872 memory=0 CPUtime=5.67 cores=0-7
/proc/15628/task/15641/stat : 15641 (manyglucose-4.1) R 15608 15584 14714 0 -1 4202560 10807 0 0 0 565 2 0 0 20 0 9 0 417952661 650108928 43666 33554432000 4194304 4454172 140732349895056 140054274988792 4351747 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 22065152 140732349903721 140732349903920 140732349903920 140732349906874 0
[pid=15608/tid=15609] ppid=15584 vsize=8414124 memory=7686721470367701912 CPUtime=0.73 cores=0-7
/proc/15608/task/15609/stat : 15609 (java) S 15584 15584 14714 0 -1 1077944384 17364 0 0 0 68 5 0 0 20 0 24 0 417952586 8616062976 29347 33554432000 4194304 4196468 140723224311728 140706345590688 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15610] ppid=15584 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/15608/task/15610/stat : 15610 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417952588 8616062976 29347 33554432000 4194304 4196468 140723224311728 140706377993360 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15611] ppid=15584 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15608/task/15611/stat : 15611 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417952588 8616062976 29347 33554432000 4194304 4196468 140723224311728 140706178161680 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15612] ppid=15584 vsize=8414124 memory=140140354302784 CPUtime=0 cores=0-7
/proc/15608/task/15612/stat : 15612 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417952588 8616062976 29347 33554432000 4194304 4196468 140723224311728 140706177108880 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15613] ppid=15584 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/15608/task/15613/stat : 15613 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417952588 8616062976 29347 33554432000 4194304 4196468 140723224311728 140706176056080 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15614] ppid=15584 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15608/task/15614/stat : 15614 (java) S 15584 15584 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417952588 8616062976 29347 33554432000 4194304 4196468 140723224311728 140706175003280 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15615] ppid=15584 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15608/task/15615/stat : 15615 (java) S 15584 15584 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417952588 8616062976 29347 33554432000 4194304 4196468 140723224311728 140706173950480 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15616] ppid=15584 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/15608/task/15616/stat : 15616 (java) S 15584 15584 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417952588 8616062976 29347 33554432000 4194304 4196468 140723224311728 140706172897680 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15617] ppid=15584 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15608/task/15617/stat : 15617 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417952588 8616062976 29347 33554432000 4194304 4196468 140723224311728 140706171844880 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15618] ppid=15584 vsize=8414124 memory=9122745479247552727 CPUtime=0 cores=0-7
/proc/15608/task/15618/stat : 15618 (java) S 15584 15584 14714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417952589 8616062976 29347 33554432000 4194304 4196468 140723224311728 140705735330672 140706373761666 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15619] ppid=15584 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/15608/task/15619/stat : 15619 (java) S 15584 15584 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417952590 8616062976 29347 33554432000 4194304 4196468 140723224311728 140704672114208 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15620] ppid=15584 vsize=8414124 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/15608/task/15620/stat : 15620 (java) S 15584 15584 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417952590 8616062976 29347 33554432000 4194304 4196468 140723224311728 140704537892208 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15621] ppid=15584 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/15608/task/15621/stat : 15621 (java) S 15584 15584 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417952592 8616062976 29347 33554432000 4194304 4196468 140723224311728 140704163387728 140706373769115 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15622] ppid=15584 vsize=8414124 memory=-3040564339105353098 CPUtime=0.03 cores=0-7
/proc/15608/task/15622/stat : 15622 (java) S 15584 15584 14714 0 -1 1077944384 401 0 0 0 3 0 0 0 20 0 24 0 417952592 8616062976 29347 33554432000 4194304 4196468 140723224311728 140705734277488 140706373761666 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15623] ppid=15584 vsize=8414124 memory=7161331908245094050 CPUtime=0.07 cores=0-7
/proc/15608/task/15623/stat : 15623 (java) S 15584 15584 14714 0 -1 1077944384 428 0 0 0 7 0 0 0 20 0 24 0 417952592 8616062976 29347 33554432000 4194304 4196468 140723224311728 140705733224688 140706373761666 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15624] ppid=15584 vsize=8414124 memory=6944656591801720471 CPUtime=0.05 cores=0-7
/proc/15608/task/15624/stat : 15624 (java) S 15584 15584 14714 0 -1 1077944384 256 0 0 0 5 0 0 0 20 0 24 0 417952592 8616062976 29347 33554432000 4194304 4196468 140723224311728 140705732171888 140706373761666 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15625] ppid=15584 vsize=8414124 memory=-8458152057954561420 CPUtime=0.18 cores=0-7
/proc/15608/task/15625/stat : 15625 (java) S 15584 15584 14714 0 -1 1077944384 516 0 0 0 18 0 0 0 20 0 24 0 417952592 8616062976 29347 33554432000 4194304 4196468 140723224311728 140705731119088 140706373761666 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15626] ppid=15584 vsize=8414124 memory=8514701219781834910 CPUtime=0 cores=0-7
/proc/15608/task/15626/stat : 15626 (java) S 15584 15584 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417952593 8616062976 29347 33554432000 4194304 4196468 140723224311728 140703665482848 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15627] ppid=15584 vsize=8414124 memory=280280708333664 CPUtime=0 cores=0-7
/proc/15608/task/15627/stat : 15627 (java) S 15584 15584 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417952593 8616062976 29347 33554432000 4194304 4196468 140723224311728 140705730067504 140706373761666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15629] ppid=15584 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15608/task/15629/stat : 15629 (java) S 15584 15584 14714 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417952657 8616062976 29347 33554432000 4194304 4196468 140723224311728 140705813276224 140706373775129 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15631] ppid=15584 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15608/task/15631/stat : 15631 (java) S 15584 15584 14714 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 417952657 8616062976 29347 33554432000 4194304 4196468 140723224311728 140702994382480 140706373772445 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15632] ppid=15584 vsize=8414124 memory=7884792935807543893 CPUtime=0 cores=0-7
/proc/15608/task/15632/stat : 15632 (java) S 15584 15584 14714 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417952657 8616062976 29347 33554432000 4194304 4196468 140723224311728 140703262817808 140706373772445 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15633] ppid=15584 vsize=8414124 memory=7309178837960058450 CPUtime=0 cores=0-7
/proc/15608/task/15633/stat : 15633 (java) S 15584 15584 14714 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 417952659 8616062976 29347 33554432000 4194304 4196468 140723224311728 140702725954608 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
Current children cumulated CPU time: 51.36 s
Current children cumulated vsize: 9162124 KiB
Current children cumulated memory: 293524 KiB

[startup+8.70134 s]
/proc/loadavg: 1.40 0.62 0.84 9/224 15641
/proc/meminfo: memFree=30723340/32770624 swapFree=66935016/67108860
[pid=15584] ppid=15581 vsize=113128 memory=1472 CPUtime=3.87 cores=0-7
/proc/15584/stat : 15584 (scop.sh) S 15581 15584 14714 0 -1 4202496 582 26419 0 0 0 0 373 14 20 0 1 0 417952411 115843072 368 33554432000 4194304 5098028 140727741643568 140727741640312 140298127835772 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16752640 140727741645605 140727741645932 140727741645932 140727741648845 0
/proc/15584/statm: 28282 368 311 221 0 87 0
[pid=15608] ppid=15584 vsize=8414124 memory=117388 CPUtime=1.11 cores=0-7
/proc/15608/stat : 15608 (java) S 15584 15584 14714 0 -1 1077944320 20390 0 0 0 103 8 0 0 20 0 24 0 417952586 8616062976 29347 33554432000 4194304 4196468 140723224311728 140723224294272 140706373750519 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
/proc/15608/statm: 2103531 29347 3202 1 0 2064875 0
[pid=15628] ppid=15608 vsize=610592 memory=182660 CPUtime=48.83 cores=0-7
/proc/15628/stat : 15628 (manyglucose-4.1) S 15608 15584 14714 0 -1 1077944320 93007 0 0 0 4865 18 0 0 20 0 2 0 417952657 625246208 45665 33554432000 4194304 4454172 140732349895056 140732349893440 140054348955383 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 22065152 140732349903721 140732349903920 140732349903920 140732349906874 0
/proc/15628/statm: 152648 45665 418 64 0 148316 0
[pid=15628/tid=15641] ppid=15608 vsize=610592 memory=0 CPUtime=6.06 cores=0-7
/proc/15628/task/15641/stat : 15641 (manyglucose-4.1) R 15608 15584 14714 0 -1 4202560 10852 0 0 0 604 2 0 0 20 0 2 0 417952661 625246208 45665 33554432000 4194304 4454172 140732349895056 140054274988792 4321221 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 22065152 140732349903721 140732349903920 140732349903920 140732349906874 0
[pid=15608/tid=15609] ppid=15584 vsize=8414124 memory=0 CPUtime=0.73 cores=0-7
/proc/15608/task/15609/stat : 15609 (java) S 15584 15584 14714 0 -1 1077944384 17364 0 0 0 68 5 0 0 20 0 24 0 417952586 8616062976 29347 33554432000 4194304 4196468 140723224311728 140706345590688 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15610] ppid=15584 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15608/task/15610/stat : 15610 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417952588 8616062976 29347 33554432000 4194304 4196468 140723224311728 140706377993360 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15611] ppid=15584 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15608/task/15611/stat : 15611 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417952588 8616062976 29347 33554432000 4194304 4196468 140723224311728 140706178161680 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15612] ppid=15584 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15608/task/15612/stat : 15612 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417952588 8616062976 29347 33554432000 4194304 4196468 140723224311728 140706177108880 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15613] ppid=15584 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15608/task/15613/stat : 15613 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417952588 8616062976 29347 33554432000 4194304 4196468 140723224311728 140706176056080 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15614] ppid=15584 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15608/task/15614/stat : 15614 (java) S 15584 15584 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417952588 8616062976 29347 33554432000 4194304 4196468 140723224311728 140706175003280 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15615] ppid=15584 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15608/task/15615/stat : 15615 (java) S 15584 15584 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417952588 8616062976 29347 33554432000 4194304 4196468 140723224311728 140706173950480 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15616] ppid=15584 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15608/task/15616/stat : 15616 (java) S 15584 15584 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417952588 8616062976 29347 33554432000 4194304 4196468 140723224311728 140706172897680 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15617] ppid=15584 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15608/task/15617/stat : 15617 (java) S 15584 15584 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417952588 8616062976 29347 33554432000 4194304 4196468 140723224311728 140706171844880 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15618] ppid=15584 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15608/task/15618/stat : 15618 (java) S 15584 15584 14714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417952589 8616062976 29347 33554432000 4194304 4196468 140723224311728 140705735330672 140706373761666 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15619] ppid=15584 vsize=8414124 memory=7016952788452808050 CPUtime=0 cores=0-7
/proc/15608/task/15619/stat : 15619 (java) S 15584 15584 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417952590 8616062976 29347 33554432000 4194304 4196468 140723224311728 140704672114208 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15620] ppid=15584 vsize=8414124 memory=280280707447296 CPUtime=0 cores=0-7
/proc/15608/task/15620/stat : 15620 (java) S 15584 15584 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417952590 8616062976 29347 33554432000 4194304 4196468 140723224311728 140704537892208 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15621] ppid=15584 vsize=8414124 memory=4207095702712496170 CPUtime=0 cores=0-7
/proc/15608/task/15621/stat : 15621 (java) S 15584 15584 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417952592 8616062976 29347 33554432000 4194304 4196468 140723224311728 140704163387728 140706373769115 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15622] ppid=15584 vsize=8414124 memory=3049007562806629424 CPUtime=0.03 cores=0-7
/proc/15608/task/15622/stat : 15622 (java) S 15584 15584 14714 0 -1 1077944384 401 0 0 0 3 0 0 0 20 0 24 0 417952592 8616062976 29347 33554432000 4194304 4196468 140723224311728 140705734277488 140706373761666 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15623] ppid=15584 vsize=8414124 memory=3470692292451393600 CPUtime=0.07 cores=0-7
/proc/15608/task/15623/stat : 15623 (java) S 15584 15584 14714 0 -1 1077944384 428 0 0 0 7 0 0 0 20 0 24 0 417952592 8616062976 29347 33554432000 4194304 4196468 140723224311728 140705733224688 140706373761666 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15624] ppid=15584 vsize=8414124 memory=6935649255759568960 CPUtime=0.05 cores=0-7
/proc/15608/task/15624/stat : 15624 (java) S 15584 15584 14714 0 -1 1077944384 256 0 0 0 5 0 0 0 20 0 24 0 417952592 8616062976 29347 33554432000 4194304 4196468 140723224311728 140705732171888 140706373761666 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15625] ppid=15584 vsize=8414124 memory=6935649255759568960 CPUtime=0.18 cores=0-7
/proc/15608/task/15625/stat : 15625 (java) S 15584 15584 14714 0 -1 1077944384 516 0 0 0 18 0 0 0 20 0 24 0 417952592 8616062976 29347 33554432000 4194304 4196468 140723224311728 140705731119088 140706373761666 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15626] ppid=15584 vsize=8414124 memory=4638778398332698723 CPUtime=0 cores=0-7
/proc/15608/task/15626/stat : 15626 (java) S 15584 15584 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417952593 8616062976 29347 33554432000 4194304 4196468 140723224311728 140703665482848 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15627] ppid=15584 vsize=8414124 memory=2311308138814469261 CPUtime=0 cores=0-7
/proc/15608/task/15627/stat : 15627 (java) S 15584 15584 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417952593 8616062976 29347 33554432000 4194304 4196468 140723224311728 140705730067504 140706373761666 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15629] ppid=15584 vsize=8414124 memory=4634274592177799264 CPUtime=0 cores=0-7
/proc/15608/task/15629/stat : 15629 (java) S 15584 15584 14714 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417952657 8616062976 29347 33554432000 4194304 4196468 140723224311728 140705813276224 140706373775129 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15631] ppid=15584 vsize=8414124 memory=6935649255827990592 CPUtime=0 cores=0-7
/proc/15608/task/15631/stat : 15631 (java) S 15584 15584 14714 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 417952657 8616062976 29347 33554432000 4194304 4196468 140723224311728 140702994382480 140706373772445 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15632] ppid=15584 vsize=8414124 memory=7250080924377825376 CPUtime=0 cores=0-7
/proc/15608/task/15632/stat : 15632 (java) S 15584 15584 14714 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417952657 8616062976 29347 33554432000 4194304 4196468 140723224311728 140703262817808 140706373772445 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
[pid=15608/tid=15633] ppid=15584 vsize=8414124 memory=5792566111574704224 CPUtime=0 cores=0-7
/proc/15608/task/15633/stat : 15633 (java) S 15584 15584 14714 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 417952659 8616062976 29347 33554432000 4194304 4196468 140723224311728 140702725954608 140706373760725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19521536 140723224318967 140723224319126 140723224319126 140723224321999 0
Current children cumulated CPU time: 53.81 s
Current children cumulated vsize: 9137844 KiB
Current children cumulated memory: 301520 KiB

Child status: 0
Real time (s): 8.75128
CPU time (s): 53.9176
CPU user time (s): 53.4958
CPU system time (s): 0.421785
CPU usage (%): 616.111
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 301520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.4958
system time used= 0.421785
maximum resident set size= 283984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140808
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7341
involuntary context switches= 608


# summary of solver processes directly reported to runsolver:
#   pid: 15584
#   total CPU time (s): 53.9176
#   total CPU user time (s): 53.4958
#   total CPU system time (s): 0.421785

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.07472 second user time and 0.168121 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-14 01:19:30
IDJOB=4392311
IDBENCH=120664
IDSOLVER=2838
FILE ID=node151/4392311-1568416810
RUNJOBID= node151-1568416728-14741
PBS_JOBID= 21702250
Free space on /tmp= 59308 MiB

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

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

MD5SUM BENCH= cfe7c94c3eac37bc9c9baa094de7ccd9
RANDOM SEED=1786624715

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31002860 kB
MemAvailable:   31852476 kB
Buffers:          177356 kB
Cached:           965308 kB
SwapCached:        71244 kB
Active:           627604 kB
Inactive:         588328 kB
Active(anon):       9804 kB
Inactive(anon):    96880 kB
Active(file):     617800 kB
Inactive(file):   491448 kB
Unevictable:      110856 kB
Mlocked:          110856 kB
SwapTotal:      67108860 kB
SwapFree:       66935016 kB
Dirty:             20892 kB
Writeback:             0 kB
AnonPages:        112832 kB
Mapped:            36552 kB
Shmem:             24252 kB
Slab:             141192 kB
SReclaimable:     112404 kB
SUnreclaim:        28788 kB
KernelStack:        3360 kB
PageTables:         5108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 59288 MiB
End job on node151 at 2019-09-14 01:19:39