Trace number 4392861

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameKnights/Knights-m1-s1/
Knights-080-25.xml
MD5SUM86f21c6f99b90e2b5de67b4ee346bae4
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 benchmark51.5215
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints300
Number of domains1
Minimum domain size6400
Maximum domain size6400
Distribution of domain sizes[{"size":6400,"count":25}]
Minimum variable degree23
Maximum variable degree23
Distribution of variable degrees[{"degree":23,"count":25}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":300}]
Number of extensional constraints0
Number of intensional constraints300
Distribution of constraint types[{"type":"intension","count":300}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-25363-serial-file.bin HOME/instance-4392861-1568416809.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 01:19:28 CEST 2019
0.66/0.56	c PID: 25366
0.66/0.56	c IP: 172.20.3.134
0.66/0.56	c HOST: node134.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.69/1.05	c (0,0) Parsing End
1.69/1.06	c (0,0) CSP: 25 int (0 aux), 0 bool (0 aux), 300 ctr, max domain size 6400
1.69/1.06	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.69/1.06	c (0,0) Constraint Name Generate Begin
1.69/1.07	c (0,0) Ctr:HOME/instance-4392861-1568416809.xml,And:Dist:Div:Eq:Mod:Ne:Num:Or:Var
1.69/1.07	c (0,0) Constraint Name Generate End
1.69/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.69/1.07	c (0,0) CSP to CSPinCNF Begin
1.89/1.15	c (0,0) translated 30 (10%) constraints
1.89/1.16	c (0,0) translated 60 (20%) constraints
1.89/1.16	c (0,0) translated 90 (30%) constraints
1.89/1.17	c (0,0) translated 120 (40%) constraints
1.89/1.18	c (0,0) translated 150 (50%) constraints
1.89/1.18	c (0,0) translated 180 (60%) constraints
1.89/1.19	c (0,0) translated 210 (70%) constraints
1.89/1.20	c (0,0) translated 240 (80%) constraints
2.05/1.20	c (0,0) translated 270 (90%) constraints
2.32/1.39	c (0,0) translated 300 (100%) constraints
2.32/1.39	c (0,0) ===========================================
2.62/1.41	c (0,0) Hybrid: #OE=50, #LE=125
2.62/1.41	c (0,0) Hybrid
2.62/1.41	c (0,0) ===========================================
2.62/1.43	c (0,0) translated 75 (10%) constraints
2.62/1.44	c (0,0) translated 150 (20%) constraints
2.62/1.45	c (0,0) translated 225 (30%) constraints
2.62/1.46	c (0,0) translated 300 (40%) constraints
2.62/1.47	c (0,0) translated 375 (50%) constraints
2.62/1.47	c (0,0) translated 450 (60%) constraints
2.62/1.48	c (0,0) translated 525 (70%) constraints
2.62/1.49	c (0,0) translated 600 (80%) constraints
2.62/1.49	c (0,0) translated 675 (90%) constraints
2.90/1.50	c (0,0) translated 750 (100%) constraints
2.90/1.50	c (0,0) CSP to CSPinCNF End
2.90/1.50	c (0,0) CSP: 125 int (100 aux), 50 bool (50 aux), 800 ctr, max domain size 6400
2.90/1.50	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.90/1.50	c (0,0) CSPinCNF Propagation Begin
2.90/1.53	c (0,0) 0 values, 0 unsatisfiable literals, and 100 valid clauses are removed
2.90/1.53	c (0,0) CSPinCNF Propagation End
2.90/1.53	c (0,0) CSP: 125 int (100 aux), 50 bool (50 aux), 700 ctr, max domain size 6400
2.90/1.53	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.90/1.54	c (0,0) Hybrid: #OE=50, #LE=125
2.90/1.54	c (0,0) Simplify CSPinCNF Begin
2.90/1.60	c (1,1) Simplify CSPinCNF End
3.18/1.60	c (1,1) CSP: 125 int (100 aux), 800 bool (800 aux), 1450 ctr, max domain size 6400
3.18/1.60	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.18/1.60	c (1,1) Calculate Precise Domain Begin
3.18/1.60	c (1,1) 0 values are removed by re-calculation
3.18/1.60	c (1,1) Calculate Precise Domain End
3.18/1.60	c (1,1) CSP: 125 int (100 aux), 800 bool (800 aux), 1450 ctr, max domain size 6400
3.18/1.60	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.18/1.60	c (1,1) CSPinCNF to SatSolver Begin
3.72/1.82	c (1,1) 145 (10 %) CSP clauses are encoded (0 SAT variables, 9442 SAT clauses)
3.72/1.88	c (1,1) 290 (20 %) CSP clauses are encoded (0 SAT variables, 18035 SAT clauses)
4.14/1.92	c (1,1) 435 (30 %) CSP clauses are encoded (0 SAT variables, 26716 SAT clauses)
4.14/1.96	c (1,1) 580 (40 %) CSP clauses are encoded (0 SAT variables, 35397 SAT clauses)
4.14/2.00	c (1,1) 725 (50 %) CSP clauses are encoded (0 SAT variables, 43990 SAT clauses)
4.43/2.04	c (1,1) 870 (60 %) CSP clauses are encoded (0 SAT variables, 54862 SAT clauses)
4.43/2.09	c (1,1) 1015 (70 %) CSP clauses are encoded (0 SAT variables, 69863 SAT clauses)
4.63/2.14	c (1,1) 1160 (80 %) CSP clauses are encoded (0 SAT variables, 84881 SAT clauses)
4.63/2.18	c (1,1) 1305 (90 %) CSP clauses are encoded (0 SAT variables, 99958 SAT clauses)
4.77/2.22	c (1,1) 1450 (100 %) CSP clauses are encoded (0 SAT variables, 113653 SAT clauses)
4.77/2.22	c (1,1) CSPinCNF to SatSolver End
4.77/2.22	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
4.77/2.22	c (1,1) 49750 bool, 113700 clause
4.77/2.22	c (1,1) Export Begin
4.93/2.33	c (1,1) Export to HOME/scop-25363-serial-file.bin
4.93/2.33	c (1,1) Export End
4.93/2.33	c (1,1) Export File Size: 0.06 MB
4.93/2.33	c (1,1) 0,0,0,0,1,1,1,STOP-AFTER(DIMACS)
4.93/2.33	c END-Prog: Sat Sep 14 01:19:30 CEST 2019
4.93/2.36	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-25363-serial-file.bin
5.06/2.81	c (0,0) Read Serial File Begin
5.06/2.81	c (0,0) HOME/scop-25363-serial-file.bin
5.96/3.05	c (0,0) Read Serial File End
5.96/3.06	
6.25/3.30	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
6.25/3.30	(Solving Process)
6.25/3.30	
6.25/3.30	c BEGIN-Prog: Sat Sep 14 01:19:31 CEST 2019
6.25/3.30	c PID: 25386
6.25/3.30	c IP: 172.20.3.134
6.25/3.30	c HOST: node134.alineos.net
6.25/3.30	c (0,0) SatSolver.solve Begin
6.25/3.30	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392861-1568416809.xml-scop-25366.cnf
6.25/3.30	c (0,0) c
6.25/3.30	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)
6.25/3.30	c (0,0) c
6.25/3.30	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.25/3.30	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.25/3.30	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.25/3.30	c (0,0) c |                                                                                                       |
6.25/3.36	c (0,0) c |  Number of variables:         49750                                                                   |
6.25/3.36	c (0,0) c |  Number of clauses:          113475                                                                   |
6.25/3.36	c (0,0) c |  Parse time:                   0.04 s                                                                 |
6.25/3.36	c (0,0) c |                                                                                                       |
6.36/3.53	c (0,0) c |  Simplification time:          0.17 s                                                                 |
6.36/3.53	c (0,0) c |                                                                                                       |
6.36/3.53	c (0,0) c |  Generating clones                                                                                    |
6.36/3.63	c (0,0) c |  all clones generated. Memory =   142.66Mb.                                                           |
6.36/3.63	c (0,0) c ========================================================================================================|
6.36/3.63	c (0,0) c
6.36/3.63	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.36/3.63	c (0,0) c
6.36/3.63	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.36/3.63	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.36/3.63	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.36/3.63	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.36/3.63	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.36/3.63	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.36/3.63	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
6.36/3.63	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.36/3.63	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.36/3.63	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.36/3.63	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.36/3.63	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.36/3.63	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.36/3.63	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.36/3.63	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
6.36/3.63	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.36/3.63	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.36/3.63	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.36/3.63	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.50/30.13	c (27,0) c
205.50/30.13	c (27,0) c real time : 27.0183 s
205.50/30.13	c (27,0) c cpu time  : 198.565 s
205.50/30.13	c (27,0) c
205.50/30.13	c (27,0) c
205.50/30.13	c (27,0) c
205.50/30.13	c (27,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
205.50/30.13	c (27,0) c
205.50/30.13	c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.50/30.13	c (27,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
205.50/30.13	c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.50/30.13	c (27,0) c | Conflicts     |         1616200 |     195435 |     200243 |     204835 |     203991 |     199736 |     203674 |     200275 |     208011 |
205.50/30.13	c (27,0) c | Decisions     |        11215517 |    1413698 |    1370788 |    1421589 |    1379247 |    1429262 |    1428807 |    1379538 |    1392588 |
205.50/30.13	c (27,0) c | Propagations  |       635393012 |   80192097 |   79083179 |   79185535 |   78620976 |   80035704 |   79611142 |   79557740 |   79106639 |
205.50/30.13	c (27,0) c | ReduceDBs     |              95 |         11 |         12 |         12 |         12 |         12 |         12 |         12 |         12 |
205.50/30.13	c (27,0) c | SimpDBs       |             304 |         34 |         35 |         40 |         39 |         38 |         38 |         41 |         39 |
205.50/30.13	c (27,0) c | Restarts      |           10106 |       1337 |       1245 |       1299 |       1252 |       1255 |       1295 |       1243 |       1180 |
205.50/30.13	c (27,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
205.50/30.13	c (27,0) c | PropBinClauses|       351047542 |   43564003 |   43958267 |   44128022 |   43697232 |   43923419 |   44141459 |   43633632 |   44001508 |
205.50/30.13	c (27,0) c | PropPreBlocker|      3109753687 |  385844455 |  387886122 |  391950896 |  386259043 |  387281683 |  392616282 |  384885924 |  393029282 |
205.50/30.13	c (27,0) c | PropNotBlocker|      1260725216 |  157353839 |  156546358 |  158583988 |  153927697 |  157644077 |  160437849 |  156367163 |  159864245 |
205.50/30.13	c (27,0) c | LitFullScans  |      6623485989 |  822025270 |  822156860 |  836111492 |  822140294 |  823761463 |  835240923 |  822020039 |  840029648 |
205.50/30.13	c (27,0) c | LitScanFracts |          415461 |      17269 |     147620 |      18008 |     130306 |      34104 |      39024 |      11232 |      17898 |
205.50/30.13	c (27,0) c | DecisionLevel0|           10619 |       1399 |       1302 |       1372 |       1313 |       1326 |       1362 |       1302 |       1243 |
205.50/30.13	c (27,0) c | Periods       |            1103 |        137 |        137 |        139 |        137 |        137 |        139 |        137 |        140 |
205.50/30.13	c (27,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
205.50/30.13	c (27,0) c | Avg_Trail     |                 |       6685 |       6627 |       6506 |       6467 |       6718 |       6614 |       6780 |       6480 |
205.50/30.13	c (27,0) c | Avg_DL        |                 |        146 |        146 |        144 |        146 |        146 |        148 |        152 |        147 |
205.50/30.13	c (27,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
205.50/30.13	c (27,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
205.50/30.13	c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.50/30.13	c (27,0) c | Exported      |          214255 |      24687 |      25876 |      27955 |      25290 |      27518 |      27311 |      27294 |      28324 |
205.50/30.13	c (27,0) c | Imported      |         1231230 |     150302 |     150521 |     156174 |     154231 |     154196 |     157064 |     152803 |     155939 |
205.50/30.13	c (27,0) c | Good          |           20878 |       2589 |       2607 |       2598 |       2614 |       2601 |       2621 |       2625 |       2623 |
205.50/30.13	c (27,0) c | Purge         |         1210352 |     147713 |     147914 |     153576 |     151617 |     151595 |     154443 |     150178 |     153316 |
205.50/30.13	c (27,0) c | Promoted      |          124747 |      15926 |      15816 |      15737 |      15135 |      15619 |      15843 |      15552 |      15119 |
205.50/30.13	c (27,0) c | Remove_Imp    |          725213 |      85260 |      93224 |      93837 |      89819 |      91393 |      92580 |      89604 |      89496 |
205.50/30.13	c (27,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
205.50/30.13	c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.50/30.13	c (27,0) c | Unaries       |                 |         62 |         57 |         73 |         61 |         71 |         67 |         59 |         63 |
205.50/30.13	c (27,0) c | Binaries      |                 |        385 |        376 |        444 |        376 |        427 |        402 |        369 |        382 |
205.50/30.13	c (27,0) c | Glues         |                 |       2094 |       2182 |       2272 |       2139 |       2270 |       2322 |       2148 |       2178 |
205.50/30.13	c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.50/30.13	c (27,0) c | Orig_Seen     |            84 % |      45707 |      45541 |      45460 |      45407 |      45517 |      45671 |      45590 |      45360 |
205.50/30.13	c (27,0) c | Diff Orig seen|                 |        190 |         24 | -       57 | -      110 |      X     |        154 |         73 | -      157 |
205.50/30.13	c (27,0) c | Hamming       |             7 % |       4014 |       4276 |       3880 |       4450 |      X     |       3926 |       3662 |       3471 |
205.50/30.13	c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.50/30.13	c (27,0) c | RunningTime   |                 |   26.4 100%|   25.3 100%|   24.3  98%|   24.8 100%|   24.7 100%|   24.5  99%|   24.7 100%|   24.3  98%|
205.50/30.13	c (27,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.4   2%|    0.0   0%|    0.0   0%|    0.2   1%|    0.0   0%|    0.5   2%|
205.50/30.13	c (27,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.1   0%|
205.50/30.13	c (27,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%|
205.50/30.13	c (27,0) c | SolvingTime   |                 |   26.5     |   25.4     |   24.7     |   24.9     |   24.8     |   24.7     |   24.8     |   24.9     |
205.50/30.13	c (27,0) c | PropagationTim|                 |   21.8  82%|   20.4  81%|   20.0  81%|   20.2  81%|   19.9  80%|   19.9  81%|   19.9  80%|   19.9  80%|
205.50/30.13	c (27,0) c | AnalysisTime  |                 |    1.8   7%|    2.1   8%|    1.8   7%|    1.8   7%|    2.0   8%|    1.9   8%|    2.1   8%|    2.1   9%|
205.50/30.13	c (27,0) c | ReductionTime |                 |    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|
205.50/30.13	c (27,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
205.50/30.13	c (27,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%|
205.50/30.13	c (27,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%|
205.50/30.13	c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.50/30.13	c (27,0) c
205.50/30.13	c (27,0) c
205.50/30.13	c (27,0) c Threads : 8
205.50/30.13	c (27,0) c Winner : 4
205.50/30.13	c (27,0) c Conflicts_0 : 195435
205.50/30.13	c (27,0) c Conflicts_1 : 200243
205.50/30.13	c (27,0) c Conflicts_2 : 204835
205.50/30.13	c (27,0) c Conflicts_3 : 203991
205.50/30.13	c (27,0) c Conflicts_4 : 199736
205.50/30.13	c (27,0) c Conflicts_5 : 203674
205.50/30.13	c (27,0) c Conflicts_6 : 200275
205.50/30.13	c (27,0) c Conflicts_7 : 208011
205.50/30.13	c (27,0) c Conflicts_total : 1616200
205.50/30.13	c (27,0) c Conflicts_winner : 199736
205.50/30.13	c (27,0) c Decisions_0 : 1413698
205.50/30.13	c (27,0) c Decisions_1 : 1370788
205.50/30.13	c (27,0) c Decisions_2 : 1421589
205.50/30.13	c (27,0) c Decisions_3 : 1379247
205.50/30.13	c (27,0) c Decisions_4 : 1429262
205.50/30.13	c (27,0) c Decisions_5 : 1428807
205.50/30.13	c (27,0) c Decisions_6 : 1379538
205.50/30.13	c (27,0) c Decisions_7 : 1392588
205.50/30.13	c (27,0) c Decisions_total : 11215517
205.50/30.13	c (27,0) c Decisions_winner : 1429262
205.50/30.13	c (27,0) c Propagations_0 : 80192097
205.50/30.13	c (27,0) c Propagations_1 : 79083179
205.50/30.13	c (27,0) c Propagations_2 : 79185535
205.50/30.13	c (27,0) c Propagations_3 : 78620976
205.50/30.13	c (27,0) c Propagations_4 : 80035704
205.50/30.13	c (27,0) c Propagations_5 : 79611142
205.50/30.13	c (27,0) c Propagations_6 : 79557740
205.50/30.13	c (27,0) c Propagations_7 : 79106639
205.50/30.13	c (27,0) c Propagations_total : 635393012
205.50/30.13	c (27,0) c Propagations_winner : 80035704
205.50/30.13	c (27,0) c ReduceDBs_0 : 11
205.50/30.13	c (27,0) c ReduceDBs_1 : 12
205.50/30.13	c (27,0) c ReduceDBs_2 : 12
205.50/30.13	c (27,0) c ReduceDBs_3 : 12
205.50/30.13	c (27,0) c ReduceDBs_4 : 12
205.50/30.13	c (27,0) c ReduceDBs_5 : 12
205.50/30.13	c (27,0) c ReduceDBs_6 : 12
205.50/30.13	c (27,0) c ReduceDBs_7 : 12
205.50/30.13	c (27,0) c ReduceDBs_total : 95
205.50/30.13	c (27,0) c ReduceDBs_winner : 12
205.50/30.13	c (27,0) c SimpDBs_0 : 34
205.50/30.13	c (27,0) c SimpDBs_1 : 35
205.50/30.13	c (27,0) c SimpDBs_2 : 40
205.50/30.13	c (27,0) c SimpDBs_3 : 39
205.50/30.13	c (27,0) c SimpDBs_4 : 38
205.50/30.13	c (27,0) c SimpDBs_5 : 38
205.50/30.13	c (27,0) c SimpDBs_6 : 41
205.50/30.13	c (27,0) c SimpDBs_7 : 39
205.50/30.13	c (27,0) c SimpDBs_total : 304
205.50/30.13	c (27,0) c SimpDBs_winner : 38
205.50/30.13	c (27,0) c Restarts_0 : 1337
205.50/30.13	c (27,0) c Restarts_1 : 1245
205.50/30.13	c (27,0) c Restarts_2 : 1299
205.50/30.13	c (27,0) c Restarts_3 : 1252
205.50/30.13	c (27,0) c Restarts_4 : 1255
205.50/30.13	c (27,0) c Restarts_5 : 1295
205.50/30.13	c (27,0) c Restarts_6 : 1243
205.50/30.13	c (27,0) c Restarts_7 : 1180
205.50/30.13	c (27,0) c Restarts_total : 10106
205.50/30.13	c (27,0) c Restarts_winner : 1255
205.50/30.13	c (27,0) c ForcedImports_0 : 0
205.50/30.13	c (27,0) c ForcedImports_1 : 0
205.50/30.13	c (27,0) c ForcedImports_2 : 0
205.50/30.13	c (27,0) c ForcedImports_3 : 0
205.50/30.13	c (27,0) c ForcedImports_4 : 0
205.50/30.13	c (27,0) c ForcedImports_5 : 0
205.50/30.13	c (27,0) c ForcedImports_6 : 0
205.50/30.13	c (27,0) c ForcedImports_7 : 0
205.50/30.13	c (27,0) c ForcedImports_total : 0
205.50/30.13	c (27,0) c ForcedImports_winner : 0
205.50/30.13	c (27,0) c PropsBinClauses_0 : 43564003
205.50/30.13	c (27,0) c PropsBinClauses_1 : 43958267
205.50/30.13	c (27,0) c PropsBinClauses_2 : 44128022
205.50/30.13	c (27,0) c PropsBinClauses_3 : 43697232
205.50/30.13	c (27,0) c PropsBinClauses_4 : 43923419
205.50/30.13	c (27,0) c PropsBinClauses_5 : 44141459
205.50/30.13	c (27,0) c PropsBinClauses_6 : 43633632
205.50/30.13	c (27,0) c PropsBinClauses_7 : 44001508
205.50/30.13	c (27,0) c PropsBinClauses_total : 351047542
205.50/30.13	c (27,0) c PropsBinClauses_winner : 43923419
205.50/30.13	c (27,0) c PropsPreBlocker_0 : 385844455
205.50/30.13	c (27,0) c PropsPreBlocker_1 : 387886122
205.50/30.13	c (27,0) c PropsPreBlocker_2 : 391950896
205.50/30.13	c (27,0) c PropsPreBlocker_3 : 386259043
205.50/30.13	c (27,0) c PropsPreBlocker_4 : 387281683
205.50/30.13	c (27,0) c PropsPreBlocker_5 : 392616282
205.50/30.13	c (27,0) c PropsPreBlocker_6 : 384885924
205.50/30.13	c (27,0) c PropsPreBlocker_7 : 393029282
205.50/30.13	c (27,0) c PropsPreBlocker_total : 3109753687
205.50/30.13	c (27,0) c PropsPreBlocker_winner : 387281683
205.50/30.13	c (27,0) c PropsNotBlocker_0 : 157353839
205.50/30.13	c (27,0) c PropsNotBlocker_1 : 156546358
205.50/30.13	c (27,0) c PropsNotBlocker_2 : 158583988
205.50/30.13	c (27,0) c PropsNotBlocker_3 : 153927697
205.50/30.13	c (27,0) c PropsNotBlocker_4 : 157644077
205.50/30.13	c (27,0) c PropsNotBlocker_5 : 160437849
205.50/30.13	c (27,0) c PropsNotBlocker_6 : 156367163
205.50/30.13	c (27,0) c PropsNotBlocker_7 : 159864245
205.50/30.13	c (27,0) c PropsNotBlocker_total : 1260725216
205.50/30.13	c (27,0) c PropsNotBlocker_winner : 157644077
205.50/30.13	c (27,0) c PropsLitFullScans_0 : 822025270
205.50/30.13	c (27,0) c PropsLitFullScans_1 : 822156860
205.50/30.13	c (27,0) c PropsLitFullScans_2 : 836111492
205.50/30.13	c (27,0) c PropsLitFullScans_3 : 822140294
205.50/30.13	c (27,0) c PropsLitFullScans_4 : 823761463
205.50/30.13	c (27,0) c PropsLitFullScans_5 : 835240923
205.50/30.13	c (27,0) c PropsLitFullScans_6 : 822020039
205.50/30.13	c (27,0) c PropsLitFullScans_7 : 840029648
205.50/30.13	c (27,0) c PropsLitFullScans_total : 6623485989
205.50/30.14	c (27,0) c PropsLitFullScans_winner : 823761463
205.50/30.14	c (27,0) c LitScanFractions_0 : 17269
205.50/30.14	c (27,0) c LitScanFractions_1 : 147620
205.50/30.14	c (27,0) c LitScanFractions_2 : 18008
205.50/30.14	c (27,0) c LitScanFractions_3 : 130306
205.50/30.14	c (27,0) c LitScanFractions_4 : 34104
205.50/30.14	c (27,0) c LitScanFractions_5 : 39024
205.50/30.14	c (27,0) c LitScanFractions_6 : 11232
205.50/30.14	c (27,0) c LitScanFractions_7 : 17898
205.50/30.14	c (27,0) c LitScanFractions_total : 415461
205.50/30.14	c (27,0) c LitScanFractions_winner : 34104
205.50/30.14	c (27,0) c DecisionLevel0_0 : 1399
205.50/30.14	c (27,0) c DecisionLevel0_1 : 1302
205.50/30.14	c (27,0) c DecisionLevel0_2 : 1372
205.50/30.14	c (27,0) c DecisionLevel0_3 : 1313
205.50/30.14	c (27,0) c DecisionLevel0_4 : 1326
205.50/30.14	c (27,0) c DecisionLevel0_5 : 1362
205.50/30.14	c (27,0) c DecisionLevel0_6 : 1302
205.50/30.14	c (27,0) c DecisionLevel0_7 : 1243
205.50/30.14	c (27,0) c DecisionLevel0_total : 10619
205.50/30.14	c (27,0) c DecisionLevel0_winner : 1326
205.50/30.14	c (27,0) c Periods_0 : 137
205.50/30.14	c (27,0) c Periods_1 : 137
205.50/30.14	c (27,0) c Periods_2 : 139
205.50/30.14	c (27,0) c Periods_3 : 137
205.50/30.14	c (27,0) c Periods_4 : 137
205.50/30.14	c (27,0) c Periods_5 : 139
205.50/30.14	c (27,0) c Periods_6 : 137
205.50/30.14	c (27,0) c Periods_7 : 140
205.50/30.14	c (27,0) c Periods_total : 1103
205.50/30.14	c (27,0) c Periods_winner : 137
205.50/30.14	c (27,0) c Margin_0 : 20
205.50/30.14	c (27,0) c Margin_1 : 20
205.50/30.14	c (27,0) c Margin_2 : 20
205.50/30.14	c (27,0) c Margin_3 : 20
205.50/30.14	c (27,0) c Margin_4 : 20
205.50/30.14	c (27,0) c Margin_5 : 20
205.50/30.14	c (27,0) c Margin_6 : 20
205.50/30.14	c (27,0) c Margin_7 : 20
205.50/30.14	c (27,0) c Margin_total : 160
205.50/30.14	c (27,0) c Margin_winner : 20
205.50/30.14	c (27,0) c Exported_0 : 24687
205.50/30.14	c (27,0) c Exported_1 : 25876
205.50/30.14	c (27,0) c Exported_2 : 27955
205.50/30.14	c (27,0) c Exported_3 : 25290
205.50/30.14	c (27,0) c Exported_4 : 27518
205.50/30.14	c (27,0) c Exported_5 : 27311
205.50/30.14	c (27,0) c Exported_6 : 27294
205.50/30.14	c (27,0) c Exported_7 : 28324
205.50/30.14	c (27,0) c Exported_total : 214255
205.50/30.14	c (27,0) c Exported_winner : 27518
205.50/30.14	c (27,0) c Imported_0 : 150302
205.50/30.14	c (27,0) c Imported_1 : 150521
205.50/30.14	c (27,0) c Imported_2 : 156174
205.50/30.14	c (27,0) c Imported_3 : 154231
205.50/30.14	c (27,0) c Imported_4 : 154196
205.50/30.14	c (27,0) c Imported_5 : 157064
205.50/30.14	c (27,0) c Imported_6 : 152803
205.50/30.14	c (27,0) c Imported_7 : 155939
205.50/30.14	c (27,0) c Imported_total : 1231230
205.50/30.14	c (27,0) c Imported_winner : 154196
205.50/30.14	c (27,0) c Good_0 : 2589
205.50/30.14	c (27,0) c Good_1 : 2607
205.50/30.14	c (27,0) c Good_2 : 2598
205.50/30.14	c (27,0) c Good_3 : 2614
205.50/30.14	c (27,0) c Good_4 : 2601
205.50/30.14	c (27,0) c Good_5 : 2621
205.50/30.14	c (27,0) c Good_6 : 2625
205.50/30.14	c (27,0) c Good_7 : 2623
205.50/30.14	c (27,0) c Good_total : 20878
205.50/30.14	c (27,0) c Good_winner : 2601
205.50/30.14	c (27,0) c Purge_0 : 147713
205.50/30.14	c (27,0) c Purge_1 : 147914
205.50/30.14	c (27,0) c Purge_2 : 153576
205.50/30.14	c (27,0) c Purge_3 : 151617
205.50/30.14	c (27,0) c Purge_4 : 151595
205.50/30.14	c (27,0) c Purge_5 : 154443
205.50/30.14	c (27,0) c Purge_6 : 150178
205.50/30.14	c (27,0) c Purge_7 : 153316
205.50/30.14	c (27,0) c Purge_total : 1210352
205.50/30.14	c (27,0) c Purge_winner : 151595
205.50/30.14	c (27,0) c Promoted_0 : 15926
205.50/30.14	c (27,0) c Promoted_1 : 15816
205.50/30.14	c (27,0) c Promoted_2 : 15737
205.50/30.14	c (27,0) c Promoted_3 : 15135
205.50/30.14	c (27,0) c Promoted_4 : 15619
205.50/30.14	c (27,0) c Promoted_5 : 15843
205.50/30.14	c (27,0) c Promoted_6 : 15552
205.50/30.14	c (27,0) c Promoted_7 : 15119
205.50/30.14	c (27,0) c Promoted_total : 124747
205.50/30.14	c (27,0) c Promoted_winner : 15619
205.50/30.14	c (27,0) c Remove_Imp_0 : 85260
205.50/30.14	c (27,0) c Remove_Imp_1 : 93224
205.50/30.14	c (27,0) c Remove_Imp_2 : 93837
205.50/30.14	c (27,0) c Remove_Imp_3 : 89819
205.50/30.14	c (27,0) c Remove_Imp_4 : 91393
205.50/30.14	c (27,0) c Remove_Imp_5 : 92580
205.50/30.14	c (27,0) c Remove_Imp_6 : 89604
205.50/30.14	c (27,0) c Remove_Imp_7 : 89496
205.50/30.14	c (27,0) c Remove_Imp_total : 725213
205.50/30.14	c (27,0) c Remove_Imp_winner : 91393
205.50/30.14	c (27,0) c Blocked_Reuse_0 : 0
205.50/30.14	c (27,0) c Blocked_Reuse_1 : 0
205.50/30.14	c (27,0) c Blocked_Reuse_2 : 0
205.50/30.14	c (27,0) c Blocked_Reuse_3 : 0
205.50/30.14	c (27,0) c Blocked_Reuse_4 : 0
205.50/30.14	c (27,0) c Blocked_Reuse_5 : 0
205.50/30.14	c (27,0) c Blocked_Reuse_6 : 0
205.50/30.14	c (27,0) c Blocked_Reuse_7 : 0
205.50/30.14	c (27,0) c Blocked_Reuse_total : 0
205.50/30.14	c (27,0) c Blocked_Reuse_winner : 0
205.50/30.14	c (27,0) c Unaries_0 : 62
205.50/30.14	c (27,0) c Unaries_1 : 57
205.50/30.14	c (27,0) c Unaries_2 : 73
205.50/30.14	c (27,0) c Unaries_3 : 61
205.50/30.14	c (27,0) c Unaries_4 : 71
205.50/30.14	c (27,0) c Unaries_5 : 67
205.50/30.14	c (27,0) c Unaries_6 : 59
205.50/30.14	c (27,0) c Unaries_7 : 63
205.50/30.14	c (27,0) c Unaries_total : 513
205.50/30.14	c (27,0) c Unaries_winner : 71
205.50/30.14	c (27,0) c Binaries_0 : 385
205.50/30.14	c (27,0) c Binaries_1 : 376
205.50/30.14	c (27,0) c Binaries_2 : 444
205.50/30.14	c (27,0) c Binaries_3 : 376
205.50/30.14	c (27,0) c Binaries_4 : 427
205.50/30.14	c (27,0) c Binaries_5 : 402
205.50/30.14	c (27,0) c Binaries_6 : 369
205.50/30.14	c (27,0) c Binaries_7 : 382
205.50/30.14	c (27,0) c Binaries_total : 3161
205.50/30.14	c (27,0) c Binaries_winner : 427
205.50/30.14	c (27,0) c Glues_0 : 2094
205.50/30.14	c (27,0) c Glues_1 : 2182
205.50/30.14	c (27,0) c Glues_2 : 2272
205.50/30.14	c (27,0) c Glues_3 : 2139
205.50/30.14	c (27,0) c Glues_4 : 2270
205.50/30.14	c (27,0) c Glues_5 : 2322
205.50/30.14	c (27,0) c Glues_6 : 2148
205.50/30.14	c (27,0) c Glues_7 : 2178
205.50/30.14	c (27,0) c Glues_total : 17605
205.50/30.14	c (27,0) c Glues_winner : 2270
205.50/30.14	c (27,0) c RunningTime_0 : 26.407973
205.50/30.14	c (27,0) c RunningTime_1 : 25.321813
205.50/30.14	c (27,0) c RunningTime_2 : 24.267831
205.50/30.14	c (27,0) c RunningTime_3 : 24.821261
205.50/30.14	c (27,0) c RunningTime_4 : 24.719930
205.50/30.14	c (27,0) c RunningTime_5 : 24.472765
205.50/30.14	c (27,0) c RunningTime_6 : 24.725402
205.50/30.14	c (27,0) c RunningTime_7 : 24.323622
205.50/30.14	c (27,0) c RunningTime_total : 199.060598
205.50/30.14	c (27,0) c RunningTime_winner : 24.719930
205.50/30.14	c (27,0) c WaitingTime_0 : 0.000120
205.50/30.14	c (27,0) c WaitingTime_1 : 0.000158
205.50/30.14	c (27,0) c WaitingTime_2 : 0.405807
205.50/30.14	c (27,0) c WaitingTime_3 : 0.000170
205.50/30.14	c (27,0) c WaitingTime_4 : 0.000187
205.50/30.14	c (27,0) c WaitingTime_5 : 0.189804
205.50/30.14	c (27,0) c WaitingTime_6 : 0.000172
205.50/30.14	c (27,0) c WaitingTime_7 : 0.476398
205.50/30.14	c (27,0) c WaitingTime_total : 1.072816
205.50/30.14	c (27,0) c WaitingTime_winner : 0.000187
205.50/30.14	c (27,0) c ExchangingTime_0 : 0.065243
205.50/30.14	c (27,0) c ExchangingTime_1 : 0.050736
205.50/30.14	c (27,0) c ExchangingTime_2 : 0.053495
205.50/30.14	c (27,0) c ExchangingTime_3 : 0.049390
205.50/30.14	c (27,0) c ExchangingTime_4 : 0.048465
205.50/30.14	c (27,0) c ExchangingTime_5 : 0.053710
205.50/30.14	c (27,0) c ExchangingTime_6 : 0.054568
205.50/30.14	c (27,0) c ExchangingTime_7 : 0.051000
205.50/30.14	c (27,0) c ExchangingTime_total : 0.426606
205.50/30.14	c (27,0) c ExchangingTime_winner : 0.048465
205.50/30.14	c (27,0) c PeriodProcTime_0 : 0.001371
205.50/30.14	c (27,0) c PeriodProcTime_1 : 0.001494
205.50/30.14	c (27,0) c PeriodProcTime_2 : 0.001148
205.50/30.14	c (27,0) c PeriodProcTime_3 : 0.001203
205.50/30.14	c (27,0) c PeriodProcTime_4 : 0.001138
205.50/30.14	c (27,0) c PeriodProcTime_5 : 0.001637
205.50/30.14	c (27,0) c PeriodProcTime_6 : 0.001615
205.50/30.14	c (27,0) c PeriodProcTime_7 : 0.001485
205.50/30.14	c (27,0) c PeriodProcTime_total : 0.011091
205.50/30.14	c (27,0) c PeriodProcTime_winner : 0.001138
205.50/30.14	c (27,0) c SolvingTime_0 : 26.474708
205.50/30.14	c (27,0) c SolvingTime_1 : 25.374200
205.50/30.14	c (27,0) c SolvingTime_2 : 24.728282
205.50/30.14	c (27,0) c SolvingTime_3 : 24.872024
205.50/30.14	c (27,0) c SolvingTime_4 : 24.769720
205.50/30.14	c (27,0) c SolvingTime_5 : 24.717915
205.50/30.14	c (27,0) c SolvingTime_6 : 24.781757
205.50/30.14	c (27,0) c SolvingTime_7 : 24.852504
205.50/30.14	c (27,0) c SolvingTime_total : 200.571110
205.50/30.14	c (27,0) c SolvingTime_winner : 24.769720
205.50/30.14	c (27,0) c PropagationTime_0 : 21.824342
205.50/30.14	c (27,0) c PropagationTime_1 : 20.436754
205.50/30.14	c (27,0) c PropagationTime_2 : 20.046614
205.50/30.14	c (27,0) c PropagationTime_3 : 20.217495
205.50/30.14	c (27,0) c PropagationTime_4 : 19.878061
205.50/30.14	c (27,0) c PropagationTime_5 : 19.930353
205.50/30.14	c (27,0) c PropagationTime_6 : 19.896570
205.50/30.14	c (27,0) c PropagationTime_7 : 19.943037
205.50/30.14	c (27,0) c PropagationTime_total : 162.173227
205.50/30.14	c (27,0) c PropagationTime_winner : 19.878061
205.50/30.14	c (27,0) c AnalysisTime_0 : 1.764769
205.50/30.14	c (27,0) c AnalysisTime_1 : 2.138912
205.50/30.14	c (27,0) c AnalysisTime_2 : 1.847175
205.50/30.14	c (27,0) c AnalysisTime_3 : 1.783697
205.50/30.14	c (27,0) c AnalysisTime_4 : 1.979750
205.50/30.14	c (27,0) c AnalysisTime_5 : 1.906276
205.50/30.14	c (27,0) c AnalysisTime_6 : 2.067860
205.50/30.14	c (27,0) c AnalysisTime_7 : 2.124063
205.50/30.14	c (27,0) c AnalysisTime_total : 15.612503
205.50/30.14	c (27,0) c AnalysisTime_winner : 1.979750
205.50/30.14	c (27,0) c ReductionTime_0 : 0.271785
205.50/30.14	c (27,0) c ReductionTime_1 : 0.312210
205.50/30.14	c (27,0) c ReductionTime_2 : 0.321104
205.50/30.14	c (27,0) c ReductionTime_3 : 0.307607
205.50/30.14	c (27,0) c ReductionTime_4 : 0.302848
205.50/30.14	c (27,0) c ReductionTime_5 : 0.315381
205.50/30.14	c (27,0) c ReductionTime_6 : 0.310451
205.50/30.14	c (27,0) c ReductionTime_7 : 0.311597
205.50/30.14	c (27,0) c ReductionTime_total : 2.452983
205.50/30.14	c (27,0) c ReductionTime_winner : 0.302848
205.50/30.14	c (27,0) c SimplifyTime_0 : 0.098517
205.50/30.14	c (27,0) c SimplifyTime_1 : 0.096395
205.50/30.14	c (27,0) c SimplifyTime_2 : 0.114300
205.50/30.14	c (27,0) c SimplifyTime_3 : 0.108532
205.50/30.14	c (27,0) c SimplifyTime_4 : 0.110769
205.50/30.14	c (27,0) c SimplifyTime_5 : 0.102535
205.50/30.14	c (27,0) c SimplifyTime_6 : 0.119819
205.50/30.14	c (27,0) c SimplifyTime_7 : 0.108399
205.50/30.14	c (27,0) c SimplifyTime_total : 0.859266
205.50/30.14	c (27,0) c SimplifyTime_winner : 0.110769
205.50/30.14	c (27,0) c UsedRateTime_0 : 0.000000
205.50/30.14	c (27,0) c UsedRateTime_1 : 0.000000
205.50/30.14	c (27,0) c UsedRateTime_2 : 0.000000
205.50/30.14	c (27,0) c UsedRateTime_3 : 0.000000
205.50/30.14	c (27,0) c UsedRateTime_4 : 0.000000
205.50/30.14	c (27,0) c UsedRateTime_5 : 0.000000
205.50/30.14	c (27,0) c UsedRateTime_6 : 0.000000
205.50/30.14	c (27,0) c UsedRateTime_7 : 0.000000
205.50/30.14	c (27,0) c UsedRateTime_total : 0.000000
205.50/30.14	c (27,0) c UsedRateTime_winner : 0.000000
205.50/30.14	c (27,0) c OverlapRateTime_0 : 0.000000
205.50/30.14	c (27,0) c OverlapRateTime_1 : 0.000000
205.50/30.14	c (27,0) c OverlapRateTime_2 : 0.000000
205.50/30.14	c (27,0) c OverlapRateTime_3 : 0.000000
205.50/30.14	c (27,0) c OverlapRateTime_4 : 0.000000
205.50/30.14	c (27,0) c OverlapRateTime_5 : 0.000000
205.50/30.14	c (27,0) c OverlapRateTime_6 : 0.000000
205.50/30.14	c (27,0) c OverlapRateTime_7 : 0.000000
205.50/30.14	c (27,0) c OverlapRateTime_total : 0.000000
205.50/30.14	c (27,0) c OverlapRateTime_winner : 0.000000
205.50/30.14	c (27,0) c
205.50/30.14	c (27,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
205.50/30.14	c (27,0) c
205.50/30.14	c (27,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.50/30.14	c (27,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
205.50/30.14	c (27,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.50/30.14	c (27,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
205.50/30.14	c (27,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
205.50/30.14	c (27,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
205.50/30.14	c (27,0) c | Initial random_seed   |  466306313 |   60719944 | 1259947195 | 1845525041 | 1211769503 | 1954139605 | 1015932823 |  203029515 |
205.50/30.14	c (27,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
205.50/30.14	c (27,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
205.50/30.14	c (27,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
205.50/30.14	c (27,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
205.50/30.14	c (27,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
205.50/30.14	c (27,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
205.50/30.14	c (27,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
205.50/30.14	c (27,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
205.50/30.14	c (27,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
205.50/30.14	c (27,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
205.50/30.14	c (27,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
205.50/30.14	c (27,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.50/30.14	c (27,0) 
205.50/30.15	c (27,0) s UNSATISFIABLE
205.50/30.15	c (27,0) SatSolver.solve End
205.50/30.15	c (27,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
205.50/30.15	c (27,0) Show results Begin
205.50/30.15	s UNSATISFIABLE
205.50/30.15	c (27,0) Show results End
205.50/30.15	c (27,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
205.50/30.15	c (27,0) 27,27,STOP-AFTER(ALL)
205.50/30.15	c END-Prog: Sat Sep 14 01:19:58 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 (14385 MiB free)
  memory of node 1: 16384 MiB (15172 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392861-1568416809/watcher-4392861-1568416809 -o /tmp/evaluation-result-4392861-1568416809/solver-4392861-1568416809 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568416726-24393 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392861-1568416809.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25363, runsolver pid=25360
Current StackSize limit: 8192 KiB


[startup+0.100117 s]*
/proc/loadavg: 2.47 0.77 0.70 4/215 25385
/proc/meminfo: memFree=30173728/32770624 swapFree=66916596/67108860
[pid=25363] ppid=25360 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25363/stat : 25363 (scop.sh) S 25360 25363 24366 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 417931423 115843072 349 33554432000 4194304 5098028 140730363826992 140730363824248 140112923906684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9502720 140730363835172 140730363835500 140730363835500 140730363838413 0
/proc/25363/statm: 28282 349 296 221 0 87 0
[pid=25366] ppid=25363 vsize=27314120 memory=107652 CPUtime=0.1 cores=0-7
/proc/25366/stat : 25366 (java) S 25363 25363 24366 0 -1 1077944320 6466 0 0 0 8 2 0 0 20 0 20 0 417931423 27969658880 26913 33554432000 4194304 4196468 140731368184800 140731368167344 140155505102583 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
/proc/25366/statm: 6828530 26913 2801 1 0 6790935 0
[pid=25366/tid=25367] ppid=25363 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/25366/task/25367/stat : 25367 (java) R 25363 25363 24366 0 -1 4202560 4575 0 0 0 6 2 0 0 20 0 20 0 417931424 27969658880 26913 33554432000 4194304 4196468 140731368184800 140155476937248 140155489183070 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25368] ppid=25363 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25366/task/25368/stat : 25368 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 26913 33554432000 4194304 4196468 140731368184800 140155509344656 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25369] ppid=25363 vsize=27314120 memory=140356293731968 CPUtime=0 cores=0-7
/proc/25366/task/25369/stat : 25369 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 26913 33554432000 4194304 4196468 140731368184800 140155323500816 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25370] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25370/stat : 25370 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 26913 33554432000 4194304 4196468 140731368184800 140155322448528 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25371] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25371/stat : 25371 (java) S 25363 25363 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 26913 33554432000 4194304 4196468 140731368184800 140155321395728 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25372] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25372/stat : 25372 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 26913 33554432000 4194304 4196468 140731368184800 140155320343440 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25373] ppid=25363 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25366/task/25373/stat : 25373 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 26913 33554432000 4194304 4196468 140731368184800 140154923285264 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25374] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25374/stat : 25374 (java) S 25363 25363 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 26913 33554432000 4194304 4196468 140731368184800 140154922232976 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25375] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25375/stat : 25375 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 26913 33554432000 4194304 4196468 140731368184800 140154921180176 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25376] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25376/stat : 25376 (java) S 25363 25363 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417931428 27969658880 26913 33554432000 4194304 4196468 140731368184800 140153556740208 140155505113730 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25377] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25377/stat : 25377 (java) S 25363 25363 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417931428 27969658880 26913 33554432000 4194304 4196468 140731368184800 140153439904544 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25378] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25378/stat : 25378 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931428 27969658880 26913 33554432000 4194304 4196468 140731368184800 140153171469424 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25379] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25379/stat : 25379 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931431 27969658880 26913 33554432000 4194304 4196468 140731368184800 140152796960848 140155505121179 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25380] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25380/stat : 25380 (java) S 25363 25363 24366 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 417931431 27969658880 26913 33554432000 4194304 4196468 140731368184800 140153555688048 140155505113730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25381] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25381/stat : 25381 (java) S 25363 25363 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417931431 27969658880 26913 33554432000 4194304 4196468 140731368184800 140153554635248 140155505113730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25382] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25382/stat : 25382 (java) S 25363 25363 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417931431 27969658880 26913 33554432000 4194304 4196468 140731368184800 140153553582960 140155505113730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25383] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25383/stat : 25383 (java) S 25363 25363 24366 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 20 0 417931431 27969658880 26913 33554432000 4194304 4196468 140731368184800 140153552530160 140155505113730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25384] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25384/stat : 25384 (java) S 25363 25363 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417931431 27969658880 26913 33554432000 4194304 4196468 140731368184800 140152299055456 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25385] ppid=25363 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25366/task/25385/stat : 25385 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931431 27969658880 26913 33554432000 4194304 4196468 140731368184800 140153551477040 140155505113730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109048 KiB

[startup+0.2108 s]*
/proc/loadavg: 2.47 0.77 0.70 2/215 25385
/proc/meminfo: memFree=30150376/32770624 swapFree=66916596/67108860
[pid=25363] ppid=25360 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25363/stat : 25363 (scop.sh) S 25360 25363 24366 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 417931423 115843072 349 33554432000 4194304 5098028 140730363826992 140730363824248 140112923906684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9502720 140730363835172 140730363835500 140730363835500 140730363838413 0
/proc/25363/statm: 28282 349 296 221 0 87 0
[pid=25366] ppid=25363 vsize=27314120 memory=126740 CPUtime=0.25 cores=0-7
/proc/25366/stat : 25366 (java) S 25363 25363 24366 0 -1 1077944320 12079 0 0 0 20 5 0 0 20 0 20 0 417931423 27969658880 31685 33554432000 4194304 4196468 140731368184800 140731368167344 140155505102583 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
/proc/25366/statm: 6828530 31685 2927 1 0 6790935 0
[pid=25366/tid=25367] ppid=25363 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/25366/task/25367/stat : 25367 (java) R 25363 25363 24366 0 -1 4202560 9805 0 0 0 16 4 0 0 20 0 20 0 417931424 27969658880 31685 33554432000 4194304 4196468 140731368184800 140155476909168 140155485378464 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25368] ppid=25363 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/25366/task/25368/stat : 25368 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 31685 33554432000 4194304 4196468 140731368184800 140155509344656 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25369] ppid=25363 vsize=27314120 memory=140356293755105 CPUtime=0 cores=0-7
/proc/25366/task/25369/stat : 25369 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 31685 33554432000 4194304 4196468 140731368184800 140155323500816 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25370] ppid=25363 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25366/task/25370/stat : 25370 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 31685 33554432000 4194304 4196468 140731368184800 140155322448528 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25371] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25371/stat : 25371 (java) S 25363 25363 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 31685 33554432000 4194304 4196468 140731368184800 140155321395728 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25372] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25372/stat : 25372 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 31685 33554432000 4194304 4196468 140731368184800 140155320343440 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25373] ppid=25363 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25366/task/25373/stat : 25373 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 31685 33554432000 4194304 4196468 140731368184800 140154923285264 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25374] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25374/stat : 25374 (java) S 25363 25363 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 31685 33554432000 4194304 4196468 140731368184800 140154922232976 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25375] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25375/stat : 25375 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 31685 33554432000 4194304 4196468 140731368184800 140154921180176 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25376] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25376/stat : 25376 (java) S 25363 25363 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417931428 27969658880 31685 33554432000 4194304 4196468 140731368184800 140153556740208 140155505113730 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25377] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25377/stat : 25377 (java) S 25363 25363 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417931428 27969658880 31685 33554432000 4194304 4196468 140731368184800 140153439904544 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25378] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25378/stat : 25378 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931428 27969658880 31685 33554432000 4194304 4196468 140731368184800 140153171469424 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25379] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25379/stat : 25379 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931431 27969658880 31685 33554432000 4194304 4196468 140731368184800 140152796960848 140155505121179 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25380] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25380/stat : 25380 (java) S 25363 25363 24366 0 -1 1077944384 462 0 0 0 0 0 0 0 20 0 20 0 417931431 27969658880 31685 33554432000 4194304 4196468 140731368184800 140153555688048 140155505113730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25381] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25381/stat : 25381 (java) S 25363 25363 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417931431 27969658880 31685 33554432000 4194304 4196468 140731368184800 140153554635248 140155505113730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25382] ppid=25363 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25366/task/25382/stat : 25382 (java) S 25363 25363 24366 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 417931431 27969658880 31685 33554432000 4194304 4196468 140731368184800 140153553582960 140155505113730 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25383] ppid=25363 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/25366/task/25383/stat : 25383 (java) S 25363 25363 24366 0 -1 1077944384 454 0 0 0 2 0 0 0 20 0 20 0 417931431 27969658880 31685 33554432000 4194304 4196468 140731368184800 140153552530160 140155505113730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25384] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25384/stat : 25384 (java) S 25363 25363 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417931431 27969658880 31685 33554432000 4194304 4196468 140731368184800 140152299055456 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25385] ppid=25363 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25366/task/25385/stat : 25385 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931431 27969658880 31685 33554432000 4194304 4196468 140731368184800 140153551477040 140155505113730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128136 KiB

[startup+0.310615 s]*
/proc/loadavg: 2.47 0.77 0.70 2/215 25385
/proc/meminfo: memFree=30148576/32770624 swapFree=66916596/67108860
[pid=25363] ppid=25360 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25363/stat : 25363 (scop.sh) S 25360 25363 24366 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 417931423 115843072 349 33554432000 4194304 5098028 140730363826992 140730363824248 140112923906684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9502720 140730363835172 140730363835500 140730363835500 140730363838413 0
/proc/25363/statm: 28282 349 296 221 0 87 0
[pid=25366] ppid=25363 vsize=27314120 memory=130344 CPUtime=0.43 cores=0-7
/proc/25366/stat : 25366 (java) S 25363 25363 24366 0 -1 1077944320 12470 0 0 0 38 5 0 0 20 0 20 0 417931423 27969658880 32586 33554432000 4194304 4196468 140731368184800 140731368167344 140155505102583 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
/proc/25366/statm: 6828530 32586 3031 1 0 6790935 0
[pid=25366/tid=25367] ppid=25363 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/25366/task/25367/stat : 25367 (java) R 25363 25363 24366 0 -1 4202560 9992 0 0 0 25 4 0 0 20 0 20 0 417931424 27969658880 32586 33554432000 4194304 4196468 140731368184800 140155476887568 140155485377948 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25368] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25368/stat : 25368 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 32586 33554432000 4194304 4196468 140731368184800 140155509344656 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25369] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25369/stat : 25369 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 32586 33554432000 4194304 4196468 140731368184800 140155323500816 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25370] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25370/stat : 25370 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 32586 33554432000 4194304 4196468 140731368184800 140155322448528 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25371] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25371/stat : 25371 (java) S 25363 25363 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 32586 33554432000 4194304 4196468 140731368184800 140155321395728 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25372] ppid=25363 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/25366/task/25372/stat : 25372 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 32586 33554432000 4194304 4196468 140731368184800 140155320343440 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25373] ppid=25363 vsize=27314120 memory=140356175885231 CPUtime=0 cores=0-7
/proc/25366/task/25373/stat : 25373 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 32586 33554432000 4194304 4196468 140731368184800 140154923285264 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25374] ppid=25363 vsize=27314120 memory=140356175887536 CPUtime=0 cores=0-7
/proc/25366/task/25374/stat : 25374 (java) S 25363 25363 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 32586 33554432000 4194304 4196468 140731368184800 140154922232976 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25375] ppid=25363 vsize=27314120 memory=140356175889840 CPUtime=0 cores=0-7
/proc/25366/task/25375/stat : 25375 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931426 27969658880 32586 33554432000 4194304 4196468 140731368184800 140154921180176 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25376] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25376/stat : 25376 (java) S 25363 25363 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417931428 27969658880 32586 33554432000 4194304 4196468 140731368184800 140153556740208 140155505113730 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25377] ppid=25363 vsize=27314120 memory=280712351786640 CPUtime=0 cores=0-7
/proc/25366/task/25377/stat : 25377 (java) S 25363 25363 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417931428 27969658880 32586 33554432000 4194304 4196468 140731368184800 140153439904544 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25378] ppid=25363 vsize=27314120 memory=280712351793552 CPUtime=0 cores=0-7
/proc/25366/task/25378/stat : 25378 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931428 27969658880 32586 33554432000 4194304 4196468 140731368184800 140153171469424 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25379] ppid=25363 vsize=27314120 memory=280712351734704 CPUtime=0 cores=0-7
/proc/25366/task/25379/stat : 25379 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931431 27969658880 32586 33554432000 4194304 4196468 140731368184800 140152796960848 140155505121179 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25380] ppid=25363 vsize=27314120 memory=280712351807376 CPUtime=0.01 cores=0-7
/proc/25366/task/25380/stat : 25380 (java) S 25363 25363 24366 0 -1 1077944384 495 0 0 0 1 0 0 0 20 0 20 0 417931431 27969658880 32586 33554432000 4194304 4196468 140731368184800 140153555688048 140155505113730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25381] ppid=25363 vsize=27314120 memory=280712351814288 CPUtime=0.01 cores=0-7
/proc/25366/task/25381/stat : 25381 (java) S 25363 25363 24366 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 417931431 27969658880 32586 33554432000 4194304 4196468 140731368184800 140153554635248 140155505113730 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25382] ppid=25363 vsize=27314120 memory=280712351811984 CPUtime=0.01 cores=0-7
/proc/25366/task/25382/stat : 25382 (java) S 25363 25363 24366 0 -1 1077944384 118 0 0 0 1 0 0 0 20 0 20 0 417931431 27969658880 32586 33554432000 4194304 4196468 140731368184800 140153553582960 140155505113730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25383] ppid=25363 vsize=27314120 memory=280712351828144 CPUtime=0.07 cores=0-7
/proc/25366/task/25383/stat : 25383 (java) S 25363 25363 24366 0 -1 1077944384 475 0 0 0 7 0 0 0 20 0 20 0 417931431 27969658880 32586 33554432000 4194304 4196468 140731368184800 140153552530160 140155505113730 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25384] ppid=25363 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25384/stat : 25384 (java) S 25363 25363 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417931431 27969658880 32586 33554432000 4194304 4196468 140731368184800 140152299055456 140155505112789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25385] ppid=25363 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25366/task/25385/stat : 25385 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931431 27969658880 32586 33554432000 4194304 4196468 140731368184800 140153551477040 140155505113730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131740 KiB

[startup+0.700985 s]
/proc/loadavg: 2.47 0.77 0.70 3/215 25385
/proc/meminfo: memFree=30127340/32770624 swapFree=66916596/67108860
[pid=25363] ppid=25360 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25363/stat : 25363 (scop.sh) S 25360 25363 24366 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 417931423 115843072 349 33554432000 4194304 5098028 140730363826992 140730363824248 140112923906684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9502720 140730363835172 140730363835500 140730363835500 140730363838413 0
/proc/25363/statm: 28282 349 296 221 0 87 0
[pid=25366] ppid=25363 vsize=27322516 memory=165612 CPUtime=1 cores=0-7
/proc/25366/stat : 25366 (java) S 25363 25363 24366 0 -1 1077944320 20063 0 0 0 93 7 0 0 20 0 20 0 417931423 27978256384 41403 33554432000 4194304 4196468 140731368184800 140731368167344 140155505102583 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
/proc/25366/statm: 6830629 41403 3182 1 0 6791959 0
[pid=25366/tid=25367] ppid=25363 vsize=27322516 memory=280712352186032 CPUtime=0.68 cores=0-7
/proc/25366/task/25367/stat : 25367 (java) R 25363 25363 24366 0 -1 4202560 17052 0 0 0 62 6 0 0 20 0 20 0 417931424 27978256384 41403 33554432000 4194304 4196468 140731368184800 140155476934320 140155489183070 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25368] ppid=25363 vsize=27322516 memory=140356176094064 CPUtime=0 cores=0-7
/proc/25366/task/25368/stat : 25368 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931426 27978256384 41403 33554432000 4194304 4196468 140731368184800 140155509344656 140155505112789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25369] ppid=25363 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/25366/task/25369/stat : 25369 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931426 27978256384 41403 33554432000 4194304 4196468 140731368184800 140155323500816 140155505112789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0
[pid=25366/tid=25370] ppid=25363 vsize=27322516 memory=5996 CPUtime=0 cores=0-7
/proc/25366/task/25370/stat : 25370 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931426 27978256384 41403 33554432000 4194304 4196468 140731368184800 140155322448528 140155505112789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140731368190698 140731368191126 140731368191126 140731368193999 0

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

[pid=25386/tid=25396] ppid=25363 vsize=8414124 memory=8300 CPUtime=0 cores=0-7
/proc/25386/task/25396/stat : 25396 (java) S 25363 25363 24366 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 417931662 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949937003120 139951111924354 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25397] ppid=25363 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/25386/task/25397/stat : 25397 (java) S 25363 25363 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417931663 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949764502816 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25398] ppid=25363 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/25386/task/25398/stat : 25398 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417931663 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949496067696 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25399] ppid=25363 vsize=8414124 memory=20564 CPUtime=0 cores=0-7
/proc/25386/task/25399/stat : 25399 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417931665 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949121559120 139951111931803 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25400] ppid=25363 vsize=8414124 memory=12036 CPUtime=0.08 cores=0-7
/proc/25386/task/25400/stat : 25400 (java) S 25363 25363 24366 0 -1 1077944384 624 0 0 0 8 0 0 0 20 0 24 0 417931665 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949935949936 139951111924354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25401] ppid=25363 vsize=8414124 memory=2116 CPUtime=0.13 cores=0-7
/proc/25386/task/25401/stat : 25401 (java) S 25363 25363 24366 0 -1 1077944384 564 0 0 0 13 0 0 0 20 0 24 0 417931665 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949934897136 139951111924354 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25402] ppid=25363 vsize=8414124 memory=500 CPUtime=0.06 cores=0-7
/proc/25386/task/25402/stat : 25402 (java) S 25363 25363 24366 0 -1 1077944384 355 0 0 0 6 0 0 0 20 0 24 0 417931665 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949933844848 139951111924354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25403] ppid=25363 vsize=8414124 memory=1556 CPUtime=0.22 cores=0-7
/proc/25386/task/25403/stat : 25403 (java) S 25363 25363 24366 0 -1 1077944384 589 0 0 0 22 0 0 0 20 0 24 0 417931665 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949932792048 139951111924354 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25404] ppid=25363 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/25386/task/25404/stat : 25404 (java) S 25363 25363 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417931665 8616062976 31056 33554432000 4194304 4196468 140734262228080 139948623653728 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25405] ppid=25363 vsize=8414124 memory=1460 CPUtime=0.01 cores=0-7
/proc/25386/task/25405/stat : 25405 (java) S 25363 25363 24366 0 -1 1077944384 2 0 0 0 0 1 0 0 20 0 24 0 417931666 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949931739952 139951111924354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25407] ppid=25363 vsize=8414124 memory=218149978949222 CPUtime=0 cores=0-7
/proc/25386/task/25407/stat : 25407 (java) S 25363 25363 24366 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417931734 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949923706688 139951111937817 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25409] ppid=25363 vsize=8414124 memory=288230376990848211 CPUtime=0 cores=0-7
/proc/25386/task/25409/stat : 25409 (java) S 25363 25363 24366 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 417931735 8616062976 31056 33554432000 4194304 4196468 140734262228080 139947952553392 139951111935133 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25410] ppid=25363 vsize=8414124 memory=288283372709763138 CPUtime=0 cores=0-7
/proc/25386/task/25410/stat : 25410 (java) S 25363 25363 24366 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417931735 8616062976 31056 33554432000 4194304 4196468 140734262228080 139948220988720 139951111935133 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25411] ppid=25363 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25386/task/25411/stat : 25411 (java) S 25363 25363 24366 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417931737 8616062976 31056 33554432000 4194304 4196468 140734262228080 139947684126000 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
Current children cumulated CPU time: 204.16 s
Current children cumulated vsize: 9277036 KiB
Current children cumulated memory: 484832 KiB

[startup+29.7011 s]
/proc/loadavg: 4.63 1.45 0.93 2/222 25420
/proc/meminfo: memFree=29797964/32770624 swapFree=66916596/67108860
[pid=25363] ppid=25360 vsize=113128 memory=1476 CPUtime=5.06 cores=0-7
/proc/25363/stat : 25363 (scop.sh) S 25360 25363 24366 0 -1 4202496 584 26444 0 0 0 0 487 19 20 0 1 0 417931423 115843072 369 33554432000 4194304 5098028 140730363826992 140730363823736 140112923906684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9502720 140730363835172 140730363835500 140730363835500 140730363838413 0
/proc/25363/statm: 28282 369 311 221 0 87 0
[pid=25386] ppid=25363 vsize=8414124 memory=124224 CPUtime=1.33 cores=0-7
/proc/25386/stat : 25386 (java) S 25363 25363 24366 0 -1 1077944320 21003 0 0 0 125 8 0 0 20 0 24 0 417931659 8616062976 31056 33554432000 4194304 4196468 140734262228080 140734262210624 139951111913207 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
/proc/25386/statm: 2103531 31056 3211 1 0 2064875 0
[pid=25406] ppid=25386 vsize=750052 memory=359352 CPUtime=198.7 cores=0-7
/proc/25406/stat : 25406 (manyglucose-4.1) S 25386 25363 24366 0 -1 1077944320 283297 0 0 0 19813 57 0 0 20 0 2 0 417931734 768053248 89838 33554432000 4194304 4454172 140726569365408 140726569363792 139826432487159 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 19 0 0 6552832 6554400 30920704 140726569374569 140726569374768 140726569374768 140726569377722 0
/proc/25406/statm: 187513 89838 422 64 0 183181 0
[pid=25406/tid=25412] ppid=25386 vsize=750052 memory=-8743007945509597586 CPUtime=25.46 cores=0-7
/proc/25406/task/25412/stat : 25412 (manyglucose-4.1) R 25386 25363 24366 0 -1 4202560 31466 0 0 0 2540 6 0 0 20 0 2 0 417931787 768053248 89838 33554432000 4194304 4454172 140726569365408 139826402241672 4351249 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 30920704 140726569374569 140726569374768 140726569374768 140726569377722 0
[pid=25386/tid=25387] ppid=25363 vsize=8414124 memory=0 CPUtime=0.77 cores=0-7
/proc/25386/task/25387/stat : 25387 (java) S 25363 25363 24366 0 -1 1077944384 17471 0 0 0 72 5 0 0 20 0 24 0 417931659 8616062976 31056 33554432000 4194304 4196468 140734262228080 139951083753376 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25388] ppid=25363 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25386/task/25388/stat : 25388 (java) S 25363 25363 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417931661 8616062976 31056 33554432000 4194304 4196468 140734262228080 139951116155792 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25389] ppid=25363 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25386/task/25389/stat : 25389 (java) S 25363 25363 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417931661 8616062976 31056 33554432000 4194304 4196468 140734262228080 139950916324112 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25390] ppid=25363 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25386/task/25390/stat : 25390 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417931661 8616062976 31056 33554432000 4194304 4196468 140734262228080 139950915271824 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25391] ppid=25363 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25386/task/25391/stat : 25391 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417931661 8616062976 31056 33554432000 4194304 4196468 140734262228080 139950914219024 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25392] ppid=25363 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25386/task/25392/stat : 25392 (java) S 25363 25363 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417931661 8616062976 31056 33554432000 4194304 4196468 140734262228080 139950913165712 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25393] ppid=25363 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25386/task/25393/stat : 25393 (java) S 25363 25363 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417931661 8616062976 31056 33554432000 4194304 4196468 140734262228080 139950912112912 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25394] ppid=25363 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/25386/task/25394/stat : 25394 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417931661 8616062976 31056 33554432000 4194304 4196468 140734262228080 139950911060624 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25395] ppid=25363 vsize=8414124 memory=20564 CPUtime=0 cores=0-7
/proc/25386/task/25395/stat : 25395 (java) S 25363 25363 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417931661 8616062976 31056 33554432000 4194304 4196468 140734262228080 139950910007824 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25396] ppid=25363 vsize=8414124 memory=12036 CPUtime=0 cores=0-7
/proc/25386/task/25396/stat : 25396 (java) S 25363 25363 24366 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 417931662 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949937003120 139951111924354 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25397] ppid=25363 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/25386/task/25397/stat : 25397 (java) S 25363 25363 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417931663 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949764502816 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25398] ppid=25363 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/25386/task/25398/stat : 25398 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417931663 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949496067696 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25399] ppid=25363 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/25386/task/25399/stat : 25399 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417931665 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949121559120 139951111931803 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25400] ppid=25363 vsize=8414124 memory=928 CPUtime=0.08 cores=0-7
/proc/25386/task/25400/stat : 25400 (java) S 25363 25363 24366 0 -1 1077944384 624 0 0 0 8 0 0 0 20 0 24 0 417931665 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949935949936 139951111924354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25401] ppid=25363 vsize=8414124 memory=1460 CPUtime=0.13 cores=0-7
/proc/25386/task/25401/stat : 25401 (java) S 25363 25363 24366 0 -1 1077944384 564 0 0 0 13 0 0 0 20 0 24 0 417931665 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949934897136 139951111924354 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25402] ppid=25363 vsize=8414124 memory=912 CPUtime=0.06 cores=0-7
/proc/25386/task/25402/stat : 25402 (java) S 25363 25363 24366 0 -1 1077944384 355 0 0 0 6 0 0 0 20 0 24 0 417931665 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949933844848 139951111924354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25403] ppid=25363 vsize=8414124 memory=1444 CPUtime=0.22 cores=0-7
/proc/25386/task/25403/stat : 25403 (java) S 25363 25363 24366 0 -1 1077944384 589 0 0 0 22 0 0 0 20 0 24 0 417931665 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949932792048 139951111924354 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25404] ppid=25363 vsize=8414124 memory=4000 CPUtime=0 cores=0-7
/proc/25386/task/25404/stat : 25404 (java) S 25363 25363 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417931665 8616062976 31056 33554432000 4194304 4196468 140734262228080 139948623653728 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25405] ppid=25363 vsize=8414124 memory=2828 CPUtime=0.01 cores=0-7
/proc/25386/task/25405/stat : 25405 (java) S 25363 25363 24366 0 -1 1077944384 2 0 0 0 0 1 0 0 20 0 24 0 417931666 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949931739952 139951111924354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25407] ppid=25363 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/25386/task/25407/stat : 25407 (java) S 25363 25363 24366 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417931734 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949923706688 139951111937817 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25409] ppid=25363 vsize=8414124 memory=1156 CPUtime=0 cores=0-7
/proc/25386/task/25409/stat : 25409 (java) S 25363 25363 24366 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 417931735 8616062976 31056 33554432000 4194304 4196468 140734262228080 139947952553392 139951111935133 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25410] ppid=25363 vsize=8414124 memory=944 CPUtime=0 cores=0-7
/proc/25386/task/25410/stat : 25410 (java) S 25363 25363 24366 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417931735 8616062976 31056 33554432000 4194304 4196468 140734262228080 139948220988720 139951111935133 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25411] ppid=25363 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/25386/task/25411/stat : 25411 (java) S 25363 25363 24366 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417931737 8616062976 31056 33554432000 4194304 4196468 140734262228080 139947684126000 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
Current children cumulated CPU time: 205.09 s
Current children cumulated vsize: 9277304 KiB
Current children cumulated memory: 485052 KiB

[startup+30.1011 s]*
/proc/loadavg: 4.63 1.45 0.93 2/222 25420
/proc/meminfo: memFree=29797332/32770624 swapFree=66916596/67108860
[pid=25363] ppid=25360 vsize=113128 memory=1476 CPUtime=5.06 cores=0-7
/proc/25363/stat : 25363 (scop.sh) S 25360 25363 24366 0 -1 4202496 584 26444 0 0 0 0 487 19 20 0 1 0 417931423 115843072 369 33554432000 4194304 5098028 140730363826992 140730363823736 140112923906684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9502720 140730363835172 140730363835500 140730363835500 140730363838413 0
/proc/25363/statm: 28282 369 311 221 0 87 0
[pid=25386] ppid=25363 vsize=8414124 memory=124224 CPUtime=1.33 cores=0-7
/proc/25386/stat : 25386 (java) S 25363 25363 24366 0 -1 1077944320 21003 0 0 0 125 8 0 0 20 0 24 0 417931659 8616062976 31056 33554432000 4194304 4196468 140734262228080 140734262210624 139951111913207 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
/proc/25386/statm: 2103531 31056 3211 1 0 2064875 0
[pid=25406] ppid=25386 vsize=750328 memory=359640 CPUtime=199.11 cores=0-7
/proc/25406/stat : 25406 (manyglucose-4.1) S 25386 25363 24366 0 -1 1077944320 283418 0 0 0 19854 57 0 0 20 0 2 0 417931734 768335872 89910 33554432000 4194304 4454172 140726569365408 140726569363792 139826432487159 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 19 0 0 6552832 6554400 30920704 140726569374569 140726569374768 140726569374768 140726569377722 0
/proc/25406/statm: 187582 89910 422 64 0 183250 0
[pid=25406/tid=25412] ppid=25386 vsize=750328 memory=4872558044660077418 CPUtime=25.87 cores=0-7
/proc/25406/task/25412/stat : 25412 (manyglucose-4.1) R 25386 25363 24366 0 -1 4202560 31587 0 0 0 2581 6 0 0 20 0 2 0 417931787 768335872 89910 33554432000 4194304 4454172 140726569365408 139826402241272 139826417859115 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 30920704 140726569374569 140726569374768 140726569374768 140726569377722 0
[pid=25386/tid=25387] ppid=25363 vsize=8414124 memory=-8743007945509597586 CPUtime=0.77 cores=0-7
/proc/25386/task/25387/stat : 25387 (java) S 25363 25363 24366 0 -1 1077944384 17471 0 0 0 72 5 0 0 20 0 24 0 417931659 8616062976 31056 33554432000 4194304 4196468 140734262228080 139951083753376 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25388] ppid=25363 vsize=8414124 memory=7649399388643734834 CPUtime=0 cores=0-7
/proc/25386/task/25388/stat : 25388 (java) S 25363 25363 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417931661 8616062976 31056 33554432000 4194304 4196468 140734262228080 139951116155792 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25389] ppid=25363 vsize=8414124 memory=7649399392938702130 CPUtime=0 cores=0-7
/proc/25386/task/25389/stat : 25389 (java) S 25363 25363 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417931661 8616062976 31056 33554432000 4194304 4196468 140734262228080 139950916324112 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25390] ppid=25363 vsize=8414124 memory=124224 CPUtime=0 cores=0-7
/proc/25386/task/25390/stat : 25390 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417931661 8616062976 31056 33554432000 4194304 4196468 140734262228080 139950915271824 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25391] ppid=25363 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25386/task/25391/stat : 25391 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417931661 8616062976 31056 33554432000 4194304 4196468 140734262228080 139950914219024 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25392] ppid=25363 vsize=8414124 memory=8300 CPUtime=0 cores=0-7
/proc/25386/task/25392/stat : 25392 (java) S 25363 25363 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417931661 8616062976 31056 33554432000 4194304 4196468 140734262228080 139950913165712 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25393] ppid=25363 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/25386/task/25393/stat : 25393 (java) S 25363 25363 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417931661 8616062976 31056 33554432000 4194304 4196468 140734262228080 139950912112912 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25394] ppid=25363 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/25386/task/25394/stat : 25394 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417931661 8616062976 31056 33554432000 4194304 4196468 140734262228080 139950911060624 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25395] ppid=25363 vsize=8414124 memory=20564 CPUtime=0 cores=0-7
/proc/25386/task/25395/stat : 25395 (java) S 25363 25363 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417931661 8616062976 31056 33554432000 4194304 4196468 140734262228080 139950910007824 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25396] ppid=25363 vsize=8414124 memory=12036 CPUtime=0 cores=0-7
/proc/25386/task/25396/stat : 25396 (java) S 25363 25363 24366 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 417931662 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949937003120 139951111924354 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25397] ppid=25363 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/25386/task/25397/stat : 25397 (java) S 25363 25363 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417931663 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949764502816 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25398] ppid=25363 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/25386/task/25398/stat : 25398 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417931663 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949496067696 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25399] ppid=25363 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/25386/task/25399/stat : 25399 (java) S 25363 25363 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417931665 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949121559120 139951111931803 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25400] ppid=25363 vsize=8414124 memory=928 CPUtime=0.08 cores=0-7
/proc/25386/task/25400/stat : 25400 (java) S 25363 25363 24366 0 -1 1077944384 624 0 0 0 8 0 0 0 20 0 24 0 417931665 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949935949936 139951111924354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25401] ppid=25363 vsize=8414124 memory=1460 CPUtime=0.13 cores=0-7
/proc/25386/task/25401/stat : 25401 (java) S 25363 25363 24366 0 -1 1077944384 564 0 0 0 13 0 0 0 20 0 24 0 417931665 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949934897136 139951111924354 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25402] ppid=25363 vsize=8414124 memory=912 CPUtime=0.06 cores=0-7
/proc/25386/task/25402/stat : 25402 (java) S 25363 25363 24366 0 -1 1077944384 355 0 0 0 6 0 0 0 20 0 24 0 417931665 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949933844848 139951111924354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25403] ppid=25363 vsize=8414124 memory=1444 CPUtime=0.22 cores=0-7
/proc/25386/task/25403/stat : 25403 (java) S 25363 25363 24366 0 -1 1077944384 589 0 0 0 22 0 0 0 20 0 24 0 417931665 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949932792048 139951111924354 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25404] ppid=25363 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/25386/task/25404/stat : 25404 (java) S 25363 25363 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417931665 8616062976 31056 33554432000 4194304 4196468 140734262228080 139948623653728 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25405] ppid=25363 vsize=8414124 memory=2528 CPUtime=0.02 cores=0-7
/proc/25386/task/25405/stat : 25405 (java) S 25363 25363 24366 0 -1 1077944384 2 0 0 0 1 1 0 0 20 0 24 0 417931666 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949931739952 139951111924354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25407] ppid=25363 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/25386/task/25407/stat : 25407 (java) S 25363 25363 24366 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417931734 8616062976 31056 33554432000 4194304 4196468 140734262228080 139949923706688 139951111937817 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25409] ppid=25363 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/25386/task/25409/stat : 25409 (java) S 25363 25363 24366 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 417931735 8616062976 31056 33554432000 4194304 4196468 140734262228080 139947952553392 139951111935133 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25410] ppid=25363 vsize=8414124 memory=792 CPUtime=0 cores=0-7
/proc/25386/task/25410/stat : 25410 (java) S 25363 25363 24366 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417931735 8616062976 31056 33554432000 4194304 4196468 140734262228080 139948220988720 139951111935133 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
[pid=25386/tid=25411] ppid=25363 vsize=8414124 memory=1640 CPUtime=0 cores=0-7
/proc/25386/task/25411/stat : 25411 (java) S 25363 25363 24366 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417931737 8616062976 31056 33554432000 4194304 4196468 140734262228080 139947684126000 139951111923413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19431424 140734262232055 140734262232214 140734262232214 140734262235087 0
Current children cumulated CPU time: 205.5 s
Current children cumulated vsize: 9277580 KiB
Current children cumulated memory: 485340 KiB

Child status: 0
Real time (s): 30.1631
CPU time (s): 205.635
CPU user time (s): 204.747
CPU system time (s): 0.887931
CPU usage (%): 681.745
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 485340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 204.747
system time used= 0.887931
maximum resident set size= 452860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331661
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10186
involuntary context switches= 2390


# summary of solver processes directly reported to runsolver:
#   pid: 25363
#   total CPU time (s): 205.635
#   total CPU user time (s): 204.747
#   total CPU system time (s): 0.887931

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.30018 second user time and 0.440785 second system time

The end

Launcher Data 

Begin job on node134 at 2019-09-14 01:19:27
IDJOB=4392861
IDBENCH=120660
IDSOLVER=2839
FILE ID=node134/4392861-1568416809
RUNJOBID= node134-1568416726-24393
PBS_JOBID= 21702257
Free space on /tmp= 59576 MiB

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

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

MD5SUM BENCH= 86f21c6f99b90e2b5de67b4ee346bae4
RANDOM SEED=916148090

node134.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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30267984 kB
MemAvailable:   31794244 kB
Buffers:          191444 kB
Cached:          1601408 kB
SwapCached:        90632 kB
Active:           475816 kB
Inactive:        1409432 kB
Active(anon):      25136 kB
Inactive(anon):   106568 kB
Active(file):     450680 kB
Inactive(file):  1302864 kB
Unevictable:      110920 kB
Mlocked:          110920 kB
SwapTotal:      67108860 kB
SwapFree:       66916596 kB
Dirty:             20136 kB
Writeback:             4 kB
AnonPages:        113396 kB
Mapped:            43348 kB
Shmem:             31048 kB
Slab:             207108 kB
SReclaimable:     177104 kB
SUnreclaim:        30004 kB
KernelStack:        3504 kB
PageTables:         5228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59556 MiB
End job on node134 at 2019-09-14 01:19:58