Trace number 4392590

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 62.9571 12.313

General information on the benchmark

NameQRandom/QRandom-reg2ext-s1/
reg-s20-p03-c20-d10-n10-l5-64.xml
MD5SUM236be531fe4e5fa4d71f6d1385cbaf81
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 benchmark3.28957
Satisfiable
(Un)Satisfiability was proved
Number of variables130
Number of constraints100
Number of domains23
Minimum domain size1
Maximum domain size20
Distribution of domain sizes[{"size":1,"count":20},{"size":6,"count":20},{"size":10,"count":10},{"size":20,"count":80}]
Minimum variable degree1
Maximum variable degree14
Distribution of variable degrees[{"degree":1,"count":40},{"degree":2,"count":80},{"degree":5,"count":1},{"degree":6,"count":1},{"degree":9,"count":1},{"degree":10,"count":3},{"degree":12,"count":3},{"degree":14,"count":1}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":100}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100}]
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-20604-serial-file.bin HOME/instance-4392590-1568425300.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 02:39:44 CEST 2019
0.65/0.57	c PID: 20607
0.65/0.57	c IP: 172.20.3.107
0.65/0.57	c HOST: node107.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.68/1.00	c (0,0) Parsing End
2.15/1.01	c (0,0) CSP: 110 int (0 aux), 20 bool (0 aux), 100 ctr, max domain size 20
2.15/1.01	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.15/1.01	c (0,0) Constraint Name Generate Begin
2.15/1.01	c (0,0) Ctr:HOME/instance-4392590-1568425300.xml,ExtensionSupport:Var
2.15/1.01	c (0,0) Constraint Name Generate End
2.15/1.01	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.15/1.01	c (0,0) CSP to CSPinCNF Begin
4.54/1.74	c (1,1) translated 10 (10%) constraints
5.73/2.01	c (1,1) translated 20 (20%) constraints
6.37/2.23	c (1,1) translated 30 (30%) constraints
7.15/2.43	c (1,1) translated 40 (40%) constraints
7.91/2.61	c (2,2) translated 50 (50%) constraints
8.55/2.80	c (2,2) translated 60 (60%) constraints
8.84/2.98	c (2,2) translated 70 (70%) constraints
9.31/3.15	c (2,2) translated 80 (80%) constraints
9.60/3.32	c (2,2) translated 90 (90%) constraints
9.71/3.49	c (2,2) translated 100 (100%) constraints
9.81/3.51	c (2,2) ===========================================
9.81/3.53	c (2,2) Hybrid: #OE=2405, #LE=0
9.81/3.53	c (2,2) Hybrid
9.81/3.53	c (2,2) ===========================================
10.10/3.65	c (3,3) translated 2826 (10%) constraints
10.41/3.73	c (3,3) translated 5652 (20%) constraints
10.74/3.81	c (3,3) translated 8478 (30%) constraints
10.74/3.88	c (3,3) translated 11304 (40%) constraints
10.93/3.94	c (3,3) translated 14130 (50%) constraints
11.04/4.01	c (3,3) translated 16956 (60%) constraints
11.04/4.07	c (3,3) translated 19782 (70%) constraints
11.15/4.14	c (3,3) translated 22608 (80%) constraints
11.24/4.21	c (3,3) translated 25434 (90%) constraints
11.24/4.27	c (3,3) translated 28259 (100%) constraints
11.24/4.27	c (3,3) CSP to CSPinCNF End
11.24/4.28	c (3,3) CSP: 110 int (0 aux), 2295 bool (2275 aux), 28259 ctr, max domain size 20
11.24/4.28	c (3,3) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.24/4.28	c (3,3) CSPinCNF Propagation Begin
11.87/4.52	c (3,3) 0 values, 100 unsatisfiable literals, and 0 valid clauses are removed
11.87/4.52	c (3,3) CSPinCNF Propagation End
11.87/4.52	c (3,3) CSP: 110 int (0 aux), 2295 bool (2275 aux), 28259 ctr, max domain size 20
11.87/4.52	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.87/4.54	c (3,3) Hybrid: #OE=2405, #LE=0
11.87/4.54	c (3,3) Simplify CSPinCNF Begin
12.12/4.63	c (4,4) Simplify CSPinCNF End
12.12/4.63	c (4,4) CSP: 110 int (0 aux), 2295 bool (2275 aux), 28259 ctr, max domain size 20
12.12/4.63	c (4,4) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.12/4.63	c (4,4) Calculate Precise Domain Begin
12.12/4.63	c (4,4) 0 values are removed by re-calculation
12.12/4.63	c (4,4) Calculate Precise Domain End
12.12/4.64	c (4,4) CSP: 110 int (0 aux), 2295 bool (2275 aux), 28259 ctr, max domain size 20
12.12/4.64	c (4,4) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.12/4.64	c (4,4) CSPinCNF to SatSolver Begin
12.63/4.83	c (4,4) 2826 (10 %) CSP clauses are encoded (0 SAT variables, 4171 SAT clauses)
13.02/4.91	c (4,4) 5652 (20 %) CSP clauses are encoded (0 SAT variables, 6997 SAT clauses)
13.02/4.95	c (4,4) 8478 (30 %) CSP clauses are encoded (0 SAT variables, 9823 SAT clauses)
13.02/4.99	c (4,4) 11304 (40 %) CSP clauses are encoded (0 SAT variables, 12649 SAT clauses)
13.32/5.02	c (4,4) 14130 (50 %) CSP clauses are encoded (0 SAT variables, 15475 SAT clauses)
13.32/5.06	c (4,4) 16956 (60 %) CSP clauses are encoded (0 SAT variables, 18301 SAT clauses)
13.32/5.09	c (4,4) 19782 (70 %) CSP clauses are encoded (0 SAT variables, 21127 SAT clauses)
13.45/5.13	c (4,4) 22608 (80 %) CSP clauses are encoded (0 SAT variables, 23953 SAT clauses)
13.45/5.16	c (4,4) 25434 (90 %) CSP clauses are encoded (0 SAT variables, 26779 SAT clauses)
13.54/5.20	c (4,4) 28259 (100 %) CSP clauses are encoded (0 SAT variables, 29604 SAT clauses)
13.54/5.20	c (4,4) CSPinCNF to SatSolver End
13.54/5.20	c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.54/5.20	c (4,4) 3731 bool, 29605 clause
13.54/5.20	c (4,4) Export Begin
13.73/5.31	c (4,4) Export to HOME/scop-20604-serial-file.bin
13.73/5.31	c (4,4) Export End
13.73/5.31	c (4,4) Export File Size: 0.04 MB
13.73/5.31	c (4,4) 0,0,3,3,4,4,4,STOP-AFTER(DIMACS)
13.73/5.31	c END-Prog: Sat Sep 14 02:39:49 CEST 2019
13.73/5.34	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-20604-serial-file.bin
13.80/5.80	c (0,0) Read Serial File Begin
13.80/5.80	c (0,0) HOME/scop-20604-serial-file.bin
14.70/6.04	c (0,0) Read Serial File End
14.70/6.06	
14.70/6.06	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
14.70/6.06	(Solving Process)
14.70/6.06	
14.70/6.08	c BEGIN-Prog: Sat Sep 14 02:39:50 CEST 2019
14.70/6.08	c PID: 20629
14.70/6.08	c IP: 172.20.3.107
14.70/6.08	c HOST: node107.alineos.net
14.70/6.08	c (0,0) SatSolver.solve Begin
14.70/6.08	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392590-1568425300.xml-scop-20607.cnf
14.94/6.11	c (0,0) c
14.94/6.11	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)
14.94/6.11	c (0,0) c
14.94/6.11	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
14.94/6.11	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
14.94/6.11	c (0,0) c ========================================[ Problem Statistics ]===========================================
14.94/6.11	c (0,0) c |                                                                                                       |
14.94/6.12	c (0,0) c |  Number of variables:          3731                                                                   |
14.94/6.12	c (0,0) c |  Number of clauses:           29596                                                                   |
14.94/6.12	c (0,0) c |  Parse time:                   0.01 s                                                                 |
14.94/6.12	c (0,0) c |                                                                                                       |
14.94/6.14	c (0,0) c |  Simplification time:          0.02 s                                                                 |
14.94/6.14	c (0,0) c |                                                                                                       |
14.94/6.14	c (0,0) c |  Generating clones                                                                                    |
14.94/6.15	c (0,0) c |  all clones generated. Memory =    39.71Mb.                                                           |
14.94/6.15	c (0,0) c ========================================================================================================|
14.94/6.15	c (0,0) c
14.94/6.15	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
14.94/6.15	c (0,0) c
14.94/6.15	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.94/6.15	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
14.94/6.15	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.94/6.15	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
14.94/6.15	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
14.94/6.15	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
14.94/6.15	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
14.94/6.15	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
14.94/6.15	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
14.94/6.15	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
14.94/6.15	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
14.94/6.15	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
14.94/6.15	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
14.94/6.15	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
14.94/6.15	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
14.94/6.15	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
14.94/6.15	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
14.94/6.15	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
14.94/6.15	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.77/12.28	c (6,0) c
62.77/12.28	c (6,0) c real time : 6.17249 s
62.77/12.28	c (6,0) c cpu time  : 47.5843 s
62.77/12.28	c (6,0) c
62.77/12.28	c (6,0) c
62.77/12.28	c (6,0) c
62.77/12.28	c (6,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
62.77/12.28	c (6,0) c
62.77/12.28	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.77/12.28	c (6,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
62.77/12.28	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.77/12.28	c (6,0) c | Conflicts     |          474072 |      59352 |      59416 |      59678 |      59194 |      57426 |      59765 |      58742 |      60499 |
62.77/12.28	c (6,0) c | Decisions     |          876342 |     111190 |     108499 |     113192 |     109209 |     105148 |     111117 |     106832 |     111155 |
62.77/12.28	c (6,0) c | Propagations  |       123442114 |   15625079 |   15165339 |   15404008 |   15413302 |   15220810 |   15451745 |   15411380 |   15750451 |
62.77/12.28	c (6,0) c | ReduceDBs     |              48 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |
62.77/12.28	c (6,0) c | SimpDBs       |              54 |          7 |          7 |          6 |          7 |          7 |          8 |          6 |          6 |
62.77/12.28	c (6,0) c | Restarts      |            1719 |        190 |        207 |        257 |        236 |        210 |        215 |        198 |        206 |
62.77/12.28	c (6,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
62.77/12.28	c (6,0) c | PropBinClauses|       196742294 |   25073796 |   24241647 |   24561870 |   24393922 |   24293165 |   24668785 |   24337063 |   25172046 |
62.77/12.28	c (6,0) c | PropPreBlocker|      1279222101 |  158489365 |  157488456 |  160387731 |  160169148 |  157917116 |  160702731 |  159558521 |  164509033 |
62.77/12.28	c (6,0) c | PropNotBlocker|       523810657 |   64611376 |   64691646 |   66439089 |   65891423 |   65073775 |   65664481 |   64646431 |   66792436 |
62.77/12.28	c (6,0) c | LitFullScans  |      2672379168 |  330014650 |  330100506 |  338174708 |  334832284 |  333436402 |  336014082 |  330019446 |  339787090 |
62.77/12.28	c (6,0) c | LitScanFracts |          374225 |       6213 |      91640 |     169359 |      25214 |       6315 |       7212 |       9605 |      58667 |
62.77/12.28	c (6,0) c | DecisionLevel0|            1800 |        196 |        216 |        270 |        243 |        218 |        228 |        211 |        218 |
62.77/12.28	c (6,0) c | Periods       |             443 |         55 |         55 |         56 |         55 |         55 |         56 |         55 |         56 |
62.77/12.28	c (6,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
62.77/12.28	c (6,0) c | Avg_Trail     |                 |        858 |        841 |        848 |        848 |        855 |        841 |        862 |        844 |
62.77/12.28	c (6,0) c | Avg_DL        |                 |         15 |         16 |         16 |         16 |         15 |         15 |         16 |         16 |
62.77/12.28	c (6,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
62.77/12.28	c (6,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
62.77/12.28	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.77/12.28	c (6,0) c | Exported      |           81816 |      10250 |      10114 |      10617 |      10085 |       9955 |      10442 |       9997 |      10356 |
62.77/12.28	c (6,0) c | Imported      |          486621 |      60204 |      60357 |      61184 |      61013 |      61110 |      60754 |      60475 |      61524 |
62.77/12.28	c (6,0) c | Good          |           59455 |       7380 |       7432 |       7446 |       7485 |       7423 |       7379 |       7479 |       7431 |
62.77/12.28	c (6,0) c | Purge         |          427166 |      52824 |      52925 |      53738 |      53528 |      53687 |      53375 |      52996 |      54093 |
62.77/12.28	c (6,0) c | Promoted      |           28552 |       3363 |       3647 |       3575 |       3566 |       3628 |       3611 |       3510 |       3652 |
62.77/12.28	c (6,0) c | Remove_Imp    |          263617 |      33486 |      32939 |      32096 |      33789 |      34624 |      31739 |      32654 |      32290 |
62.77/12.28	c (6,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
62.77/12.28	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.77/12.28	c (6,0) c | Unaries       |                 |          6 |          9 |         13 |          7 |          8 |         13 |         13 |         12 |
62.77/12.28	c (6,0) c | Binaries      |                 |       1164 |       1110 |       1128 |       1077 |       1142 |       1181 |       1072 |       1143 |
62.77/12.28	c (6,0) c | Glues         |                 |       2947 |       2872 |       3088 |       2813 |       2912 |       2908 |       2863 |       2900 |
62.77/12.28	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.77/12.28	c (6,0) c | Orig_Seen     |            56 % |      16111 |      15577 |      16250 |      15613 |      15322 |      16308 |      14975 |      16582 |
62.77/12.28	c (6,0) c | Diff Orig seen|                 |        498 | -       36 |        637 |      X     | -      291 |        695 | -      638 |        969 |
62.77/12.28	c (6,0) c | Hamming       |            25 % |        947 |        885 |        941 |      X     |        928 |        923 |       1017 |        989 |
62.77/12.28	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.77/12.28	c (6,0) c | RunningTime   |                 |    6.1 100%|    6.0 100%|    5.9 100%|    5.9 100%|    6.0 100%|    5.9 100%|    6.0 100%|    5.9 100%|
62.77/12.28	c (6,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
62.77/12.28	c (6,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
62.77/12.28	c (6,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
62.77/12.28	c (6,0) c | SolvingTime   |                 |    6.1     |    6.0     |    5.9     |    5.9     |    6.0     |    6.0     |    6.0     |    5.9     |
62.77/12.28	c (6,0) c | PropagationTim|                 |    5.4  88%|    5.3  88%|    5.2  87%|    5.2  88%|    5.2  88%|    5.2  87%|    5.3  87%|    5.2  88%|
62.77/12.28	c (6,0) c | AnalysisTime  |                 |    0.5   8%|    0.5   8%|    0.5   8%|    0.5   8%|    0.5   8%|    0.5   8%|    0.5   8%|    0.5   8%|
62.77/12.28	c (6,0) c | ReductionTime |                 |    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|
62.77/12.28	c (6,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
62.77/12.28	c (6,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
62.77/12.28	c (6,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
62.77/12.28	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.77/12.28	c (6,0) c
62.77/12.28	c (6,0) c
62.77/12.28	c (6,0) c Threads : 8
62.77/12.28	c (6,0) c Winner : 3
62.77/12.28	c (6,0) c Conflicts_0 : 59352
62.77/12.28	c (6,0) c Conflicts_1 : 59416
62.77/12.28	c (6,0) c Conflicts_2 : 59678
62.77/12.28	c (6,0) c Conflicts_3 : 59194
62.77/12.28	c (6,0) c Conflicts_4 : 57426
62.77/12.28	c (6,0) c Conflicts_5 : 59765
62.77/12.28	c (6,0) c Conflicts_6 : 58742
62.77/12.28	c (6,0) c Conflicts_7 : 60499
62.77/12.28	c (6,0) c Conflicts_total : 474072
62.77/12.28	c (6,0) c Conflicts_winner : 59194
62.77/12.28	c (6,0) c Decisions_0 : 111190
62.77/12.28	c (6,0) c Decisions_1 : 108499
62.77/12.28	c (6,0) c Decisions_2 : 113192
62.77/12.28	c (6,0) c Decisions_3 : 109209
62.77/12.28	c (6,0) c Decisions_4 : 105148
62.77/12.28	c (6,0) c Decisions_5 : 111117
62.77/12.28	c (6,0) c Decisions_6 : 106832
62.77/12.28	c (6,0) c Decisions_7 : 111155
62.77/12.28	c (6,0) c Decisions_total : 876342
62.77/12.28	c (6,0) c Decisions_winner : 109209
62.77/12.28	c (6,0) c Propagations_0 : 15625079
62.77/12.28	c (6,0) c Propagations_1 : 15165339
62.77/12.28	c (6,0) c Propagations_2 : 15404008
62.77/12.28	c (6,0) c Propagations_3 : 15413302
62.77/12.28	c (6,0) c Propagations_4 : 15220810
62.77/12.28	c (6,0) c Propagations_5 : 15451745
62.77/12.28	c (6,0) c Propagations_6 : 15411380
62.77/12.28	c (6,0) c Propagations_7 : 15750451
62.77/12.28	c (6,0) c Propagations_total : 123442114
62.77/12.28	c (6,0) c Propagations_winner : 15413302
62.77/12.28	c (6,0) c ReduceDBs_0 : 6
62.77/12.28	c (6,0) c ReduceDBs_1 : 6
62.77/12.28	c (6,0) c ReduceDBs_2 : 6
62.77/12.28	c (6,0) c ReduceDBs_3 : 6
62.77/12.28	c (6,0) c ReduceDBs_4 : 6
62.77/12.28	c (6,0) c ReduceDBs_5 : 6
62.77/12.28	c (6,0) c ReduceDBs_6 : 6
62.77/12.28	c (6,0) c ReduceDBs_7 : 6
62.77/12.28	c (6,0) c ReduceDBs_total : 48
62.77/12.28	c (6,0) c ReduceDBs_winner : 6
62.77/12.28	c (6,0) c SimpDBs_0 : 7
62.77/12.28	c (6,0) c SimpDBs_1 : 7
62.77/12.28	c (6,0) c SimpDBs_2 : 6
62.77/12.28	c (6,0) c SimpDBs_3 : 7
62.77/12.28	c (6,0) c SimpDBs_4 : 7
62.77/12.28	c (6,0) c SimpDBs_5 : 8
62.77/12.28	c (6,0) c SimpDBs_6 : 6
62.77/12.28	c (6,0) c SimpDBs_7 : 6
62.77/12.29	c (6,0) c SimpDBs_total : 54
62.77/12.29	c (6,0) c SimpDBs_winner : 7
62.77/12.29	c (6,0) c Restarts_0 : 190
62.77/12.29	c (6,0) c Restarts_1 : 207
62.77/12.29	c (6,0) c Restarts_2 : 257
62.77/12.29	c (6,0) c Restarts_3 : 236
62.77/12.29	c (6,0) c Restarts_4 : 210
62.77/12.29	c (6,0) c Restarts_5 : 215
62.77/12.29	c (6,0) c Restarts_6 : 198
62.77/12.29	c (6,0) c Restarts_7 : 206
62.77/12.29	c (6,0) c Restarts_total : 1719
62.77/12.29	c (6,0) c Restarts_winner : 236
62.77/12.29	c (6,0) c ForcedImports_0 : 0
62.77/12.29	c (6,0) c ForcedImports_1 : 0
62.77/12.29	c (6,0) c ForcedImports_2 : 0
62.77/12.29	c (6,0) c ForcedImports_3 : 0
62.77/12.29	c (6,0) c ForcedImports_4 : 0
62.77/12.29	c (6,0) c ForcedImports_5 : 0
62.77/12.29	c (6,0) c ForcedImports_6 : 0
62.77/12.29	c (6,0) c ForcedImports_7 : 0
62.77/12.29	c (6,0) c ForcedImports_total : 0
62.77/12.29	c (6,0) c ForcedImports_winner : 0
62.77/12.29	c (6,0) c PropsBinClauses_0 : 25073796
62.77/12.29	c (6,0) c PropsBinClauses_1 : 24241647
62.77/12.29	c (6,0) c PropsBinClauses_2 : 24561870
62.77/12.29	c (6,0) c PropsBinClauses_3 : 24393922
62.77/12.29	c (6,0) c PropsBinClauses_4 : 24293165
62.77/12.29	c (6,0) c PropsBinClauses_5 : 24668785
62.77/12.29	c (6,0) c PropsBinClauses_6 : 24337063
62.77/12.29	c (6,0) c PropsBinClauses_7 : 25172046
62.77/12.29	c (6,0) c PropsBinClauses_total : 196742294
62.77/12.29	c (6,0) c PropsBinClauses_winner : 24393922
62.77/12.29	c (6,0) c PropsPreBlocker_0 : 158489365
62.77/12.29	c (6,0) c PropsPreBlocker_1 : 157488456
62.77/12.29	c (6,0) c PropsPreBlocker_2 : 160387731
62.77/12.29	c (6,0) c PropsPreBlocker_3 : 160169148
62.77/12.29	c (6,0) c PropsPreBlocker_4 : 157917116
62.77/12.29	c (6,0) c PropsPreBlocker_5 : 160702731
62.77/12.29	c (6,0) c PropsPreBlocker_6 : 159558521
62.77/12.29	c (6,0) c PropsPreBlocker_7 : 164509033
62.77/12.29	c (6,0) c PropsPreBlocker_total : 1279222101
62.77/12.29	c (6,0) c PropsPreBlocker_winner : 160169148
62.77/12.29	c (6,0) c PropsNotBlocker_0 : 64611376
62.77/12.29	c (6,0) c PropsNotBlocker_1 : 64691646
62.77/12.29	c (6,0) c PropsNotBlocker_2 : 66439089
62.77/12.29	c (6,0) c PropsNotBlocker_3 : 65891423
62.77/12.29	c (6,0) c PropsNotBlocker_4 : 65073775
62.77/12.29	c (6,0) c PropsNotBlocker_5 : 65664481
62.77/12.29	c (6,0) c PropsNotBlocker_6 : 64646431
62.77/12.29	c (6,0) c PropsNotBlocker_7 : 66792436
62.77/12.29	c (6,0) c PropsNotBlocker_total : 523810657
62.77/12.29	c (6,0) c PropsNotBlocker_winner : 65891423
62.77/12.29	c (6,0) c PropsLitFullScans_0 : 330014650
62.77/12.29	c (6,0) c PropsLitFullScans_1 : 330100506
62.77/12.29	c (6,0) c PropsLitFullScans_2 : 338174708
62.77/12.29	c (6,0) c PropsLitFullScans_3 : 334832284
62.77/12.29	c (6,0) c PropsLitFullScans_4 : 333436402
62.77/12.29	c (6,0) c PropsLitFullScans_5 : 336014082
62.77/12.29	c (6,0) c PropsLitFullScans_6 : 330019446
62.77/12.29	c (6,0) c PropsLitFullScans_7 : 339787090
62.77/12.29	c (6,0) c PropsLitFullScans_total : 2672379168
62.77/12.29	c (6,0) c PropsLitFullScans_winner : 334832284
62.77/12.29	c (6,0) c LitScanFractions_0 : 6213
62.77/12.29	c (6,0) c LitScanFractions_1 : 91640
62.77/12.29	c (6,0) c LitScanFractions_2 : 169359
62.77/12.29	c (6,0) c LitScanFractions_3 : 25214
62.77/12.29	c (6,0) c LitScanFractions_4 : 6315
62.77/12.29	c (6,0) c LitScanFractions_5 : 7212
62.77/12.29	c (6,0) c LitScanFractions_6 : 9605
62.77/12.29	c (6,0) c LitScanFractions_7 : 58667
62.77/12.29	c (6,0) c LitScanFractions_total : 374225
62.77/12.29	c (6,0) c LitScanFractions_winner : 25214
62.77/12.29	c (6,0) c DecisionLevel0_0 : 196
62.77/12.29	c (6,0) c DecisionLevel0_1 : 216
62.77/12.29	c (6,0) c DecisionLevel0_2 : 270
62.77/12.29	c (6,0) c DecisionLevel0_3 : 243
62.77/12.29	c (6,0) c DecisionLevel0_4 : 218
62.77/12.29	c (6,0) c DecisionLevel0_5 : 228
62.77/12.29	c (6,0) c DecisionLevel0_6 : 211
62.77/12.29	c (6,0) c DecisionLevel0_7 : 218
62.77/12.29	c (6,0) c DecisionLevel0_total : 1800
62.77/12.29	c (6,0) c DecisionLevel0_winner : 243
62.77/12.29	c (6,0) c Periods_0 : 55
62.77/12.29	c (6,0) c Periods_1 : 55
62.77/12.29	c (6,0) c Periods_2 : 56
62.77/12.29	c (6,0) c Periods_3 : 55
62.77/12.29	c (6,0) c Periods_4 : 55
62.77/12.29	c (6,0) c Periods_5 : 56
62.77/12.29	c (6,0) c Periods_6 : 55
62.77/12.29	c (6,0) c Periods_7 : 56
62.77/12.29	c (6,0) c Periods_total : 443
62.77/12.29	c (6,0) c Periods_winner : 55
62.77/12.29	c (6,0) c Margin_0 : 20
62.77/12.29	c (6,0) c Margin_1 : 20
62.77/12.29	c (6,0) c Margin_2 : 20
62.77/12.29	c (6,0) c Margin_3 : 20
62.77/12.29	c (6,0) c Margin_4 : 20
62.77/12.29	c (6,0) c Margin_5 : 20
62.77/12.29	c (6,0) c Margin_6 : 20
62.77/12.29	c (6,0) c Margin_7 : 20
62.77/12.29	c (6,0) c Margin_total : 160
62.77/12.29	c (6,0) c Margin_winner : 20
62.77/12.29	c (6,0) c Exported_0 : 10250
62.77/12.29	c (6,0) c Exported_1 : 10114
62.77/12.29	c (6,0) c Exported_2 : 10617
62.77/12.29	c (6,0) c Exported_3 : 10085
62.77/12.29	c (6,0) c Exported_4 : 9955
62.77/12.29	c (6,0) c Exported_5 : 10442
62.77/12.29	c (6,0) c Exported_6 : 9997
62.77/12.29	c (6,0) c Exported_7 : 10356
62.77/12.29	c (6,0) c Exported_total : 81816
62.77/12.29	c (6,0) c Exported_winner : 10085
62.77/12.29	c (6,0) c Imported_0 : 60204
62.77/12.29	c (6,0) c Imported_1 : 60357
62.77/12.29	c (6,0) c Imported_2 : 61184
62.77/12.29	c (6,0) c Imported_3 : 61013
62.77/12.29	c (6,0) c Imported_4 : 61110
62.77/12.29	c (6,0) c Imported_5 : 60754
62.77/12.29	c (6,0) c Imported_6 : 60475
62.77/12.29	c (6,0) c Imported_7 : 61524
62.77/12.29	c (6,0) c Imported_total : 486621
62.77/12.29	c (6,0) c Imported_winner : 61013
62.77/12.29	c (6,0) c Good_0 : 7380
62.77/12.29	c (6,0) c Good_1 : 7432
62.77/12.29	c (6,0) c Good_2 : 7446
62.77/12.29	c (6,0) c Good_3 : 7485
62.77/12.29	c (6,0) c Good_4 : 7423
62.77/12.29	c (6,0) c Good_5 : 7379
62.77/12.29	c (6,0) c Good_6 : 7479
62.77/12.29	c (6,0) c Good_7 : 7431
62.77/12.29	c (6,0) c Good_total : 59455
62.77/12.29	c (6,0) c Good_winner : 7485
62.77/12.29	c (6,0) c Purge_0 : 52824
62.77/12.29	c (6,0) c Purge_1 : 52925
62.77/12.29	c (6,0) c Purge_2 : 53738
62.77/12.29	c (6,0) c Purge_3 : 53528
62.77/12.29	c (6,0) c Purge_4 : 53687
62.77/12.29	c (6,0) c Purge_5 : 53375
62.77/12.29	c (6,0) c Purge_6 : 52996
62.77/12.29	c (6,0) c Purge_7 : 54093
62.77/12.29	c (6,0) c Purge_total : 427166
62.77/12.29	c (6,0) c Purge_winner : 53528
62.77/12.29	c (6,0) c Promoted_0 : 3363
62.77/12.29	c (6,0) c Promoted_1 : 3647
62.77/12.29	c (6,0) c Promoted_2 : 3575
62.77/12.29	c (6,0) c Promoted_3 : 3566
62.77/12.29	c (6,0) c Promoted_4 : 3628
62.77/12.29	c (6,0) c Promoted_5 : 3611
62.77/12.29	c (6,0) c Promoted_6 : 3510
62.77/12.29	c (6,0) c Promoted_7 : 3652
62.77/12.29	c (6,0) c Promoted_total : 28552
62.77/12.29	c (6,0) c Promoted_winner : 3566
62.77/12.29	c (6,0) c Remove_Imp_0 : 33486
62.77/12.29	c (6,0) c Remove_Imp_1 : 32939
62.77/12.29	c (6,0) c Remove_Imp_2 : 32096
62.77/12.29	c (6,0) c Remove_Imp_3 : 33789
62.77/12.29	c (6,0) c Remove_Imp_4 : 34624
62.77/12.29	c (6,0) c Remove_Imp_5 : 31739
62.77/12.29	c (6,0) c Remove_Imp_6 : 32654
62.77/12.29	c (6,0) c Remove_Imp_7 : 32290
62.77/12.29	c (6,0) c Remove_Imp_total : 263617
62.77/12.29	c (6,0) c Remove_Imp_winner : 33789
62.77/12.29	c (6,0) c Blocked_Reuse_0 : 0
62.77/12.29	c (6,0) c Blocked_Reuse_1 : 0
62.77/12.29	c (6,0) c Blocked_Reuse_2 : 0
62.77/12.29	c (6,0) c Blocked_Reuse_3 : 0
62.77/12.29	c (6,0) c Blocked_Reuse_4 : 0
62.77/12.29	c (6,0) c Blocked_Reuse_5 : 0
62.77/12.29	c (6,0) c Blocked_Reuse_6 : 0
62.77/12.29	c (6,0) c Blocked_Reuse_7 : 0
62.77/12.29	c (6,0) c Blocked_Reuse_total : 0
62.77/12.29	c (6,0) c Blocked_Reuse_winner : 0
62.77/12.29	c (6,0) c Unaries_0 : 6
62.77/12.29	c (6,0) c Unaries_1 : 9
62.77/12.29	c (6,0) c Unaries_2 : 13
62.77/12.29	c (6,0) c Unaries_3 : 7
62.77/12.29	c (6,0) c Unaries_4 : 8
62.77/12.29	c (6,0) c Unaries_5 : 13
62.77/12.29	c (6,0) c Unaries_6 : 13
62.77/12.29	c (6,0) c Unaries_7 : 12
62.77/12.29	c (6,0) c Unaries_total : 81
62.77/12.29	c (6,0) c Unaries_winner : 7
62.77/12.29	c (6,0) c Binaries_0 : 1164
62.77/12.29	c (6,0) c Binaries_1 : 1110
62.77/12.29	c (6,0) c Binaries_2 : 1128
62.77/12.29	c (6,0) c Binaries_3 : 1077
62.77/12.29	c (6,0) c Binaries_4 : 1142
62.77/12.29	c (6,0) c Binaries_5 : 1181
62.77/12.29	c (6,0) c Binaries_6 : 1072
62.77/12.29	c (6,0) c Binaries_7 : 1143
62.77/12.29	c (6,0) c Binaries_total : 9017
62.77/12.29	c (6,0) c Binaries_winner : 1077
62.77/12.29	c (6,0) c Glues_0 : 2947
62.77/12.29	c (6,0) c Glues_1 : 2872
62.77/12.29	c (6,0) c Glues_2 : 3088
62.77/12.29	c (6,0) c Glues_3 : 2813
62.77/12.29	c (6,0) c Glues_4 : 2912
62.77/12.29	c (6,0) c Glues_5 : 2908
62.77/12.29	c (6,0) c Glues_6 : 2863
62.77/12.29	c (6,0) c Glues_7 : 2900
62.77/12.29	c (6,0) c Glues_total : 23303
62.77/12.29	c (6,0) c Glues_winner : 2813
62.77/12.29	c (6,0) c RunningTime_0 : 6.101909
62.77/12.29	c (6,0) c RunningTime_1 : 6.022128
62.77/12.29	c (6,0) c RunningTime_2 : 5.920184
62.77/12.29	c (6,0) c RunningTime_3 : 5.903150
62.77/12.29	c (6,0) c RunningTime_4 : 5.955269
62.77/12.29	c (6,0) c RunningTime_5 : 5.934216
62.77/12.29	c (6,0) c RunningTime_6 : 6.002205
62.77/12.29	c (6,0) c RunningTime_7 : 5.924754
62.77/12.29	c (6,0) c RunningTime_total : 47.763817
62.77/12.29	c (6,0) c RunningTime_winner : 5.903150
62.77/12.29	c (6,0) c WaitingTime_0 : 0.000046
62.77/12.29	c (6,0) c WaitingTime_1 : 0.000047
62.77/12.29	c (6,0) c WaitingTime_2 : 0.000057
62.77/12.29	c (6,0) c WaitingTime_3 : 0.000050
62.77/12.29	c (6,0) c WaitingTime_4 : 0.000053
62.77/12.29	c (6,0) c WaitingTime_5 : 0.000057
62.77/12.29	c (6,0) c WaitingTime_6 : 0.000037
62.77/12.29	c (6,0) c WaitingTime_7 : 0.000039
62.77/12.29	c (6,0) c WaitingTime_total : 0.000386
62.77/12.29	c (6,0) c WaitingTime_winner : 0.000050
62.77/12.29	c (6,0) c ExchangingTime_0 : 0.017374
62.77/12.29	c (6,0) c ExchangingTime_1 : 0.016889
62.77/12.29	c (6,0) c ExchangingTime_2 : 0.019013
62.77/12.29	c (6,0) c ExchangingTime_3 : 0.019967
62.77/12.29	c (6,0) c ExchangingTime_4 : 0.016057
62.77/12.29	c (6,0) c ExchangingTime_5 : 0.015652
62.77/12.29	c (6,0) c ExchangingTime_6 : 0.018937
62.77/12.29	c (6,0) c ExchangingTime_7 : 0.018808
62.77/12.29	c (6,0) c ExchangingTime_total : 0.142695
62.77/12.29	c (6,0) c ExchangingTime_winner : 0.019967
62.77/12.29	c (6,0) c PeriodProcTime_0 : 0.000449
62.77/12.29	c (6,0) c PeriodProcTime_1 : 0.000395
62.77/12.29	c (6,0) c PeriodProcTime_2 : 0.000355
62.77/12.29	c (6,0) c PeriodProcTime_3 : 0.000410
62.77/12.29	c (6,0) c PeriodProcTime_4 : 0.000340
62.77/12.29	c (6,0) c PeriodProcTime_5 : 0.000329
62.77/12.29	c (6,0) c PeriodProcTime_6 : 0.000424
62.77/12.29	c (6,0) c PeriodProcTime_7 : 0.000355
62.77/12.29	c (6,0) c PeriodProcTime_total : 0.003057
62.77/12.29	c (6,0) c PeriodProcTime_winner : 0.000410
62.77/12.29	c (6,0) c SolvingTime_0 : 6.119778
62.77/12.29	c (6,0) c SolvingTime_1 : 6.039459
62.77/12.29	c (6,0) c SolvingTime_2 : 5.939609
62.77/12.29	c (6,0) c SolvingTime_3 : 5.923576
62.77/12.29	c (6,0) c SolvingTime_4 : 5.971720
62.77/12.29	c (6,0) c SolvingTime_5 : 5.950254
62.77/12.29	c (6,0) c SolvingTime_6 : 6.021603
62.77/12.29	c (6,0) c SolvingTime_7 : 5.943956
62.77/12.29	c (6,0) c SolvingTime_total : 47.909955
62.77/12.29	c (6,0) c SolvingTime_winner : 5.923576
62.77/12.29	c (6,0) c PropagationTime_0 : 5.370587
62.77/12.29	c (6,0) c PropagationTime_1 : 5.287856
62.77/12.29	c (6,0) c PropagationTime_2 : 5.189133
62.77/12.29	c (6,0) c PropagationTime_3 : 5.183994
62.77/12.29	c (6,0) c PropagationTime_4 : 5.235781
62.77/12.29	c (6,0) c PropagationTime_5 : 5.192282
62.77/12.29	c (6,0) c PropagationTime_6 : 5.265384
62.77/12.29	c (6,0) c PropagationTime_7 : 5.223732
62.77/12.29	c (6,0) c PropagationTime_total : 41.948749
62.77/12.29	c (6,0) c PropagationTime_winner : 5.183994
62.77/12.29	c (6,0) c AnalysisTime_0 : 0.488304
62.77/12.29	c (6,0) c AnalysisTime_1 : 0.483424
62.77/12.29	c (6,0) c AnalysisTime_2 : 0.483523
62.77/12.29	c (6,0) c AnalysisTime_3 : 0.473899
62.77/12.29	c (6,0) c AnalysisTime_4 : 0.480162
62.77/12.29	c (6,0) c AnalysisTime_5 : 0.490116
62.77/12.29	c (6,0) c AnalysisTime_6 : 0.496639
62.77/12.29	c (6,0) c AnalysisTime_7 : 0.465400
62.77/12.29	c (6,0) c AnalysisTime_total : 3.861466
62.77/12.29	c (6,0) c AnalysisTime_winner : 0.473899
62.77/12.29	c (6,0) c ReductionTime_0 : 0.054512
62.77/12.29	c (6,0) c ReductionTime_1 : 0.063092
62.77/12.29	c (6,0) c ReductionTime_2 : 0.060194
62.77/12.29	c (6,0) c ReductionTime_3 : 0.058097
62.77/12.29	c (6,0) c ReductionTime_4 : 0.057405
62.77/12.29	c (6,0) c ReductionTime_5 : 0.058504
62.77/12.29	c (6,0) c ReductionTime_6 : 0.060912
62.77/12.29	c (6,0) c ReductionTime_7 : 0.058940
62.77/12.29	c (6,0) c ReductionTime_total : 0.471656
62.77/12.29	c (6,0) c ReductionTime_winner : 0.058097
62.77/12.29	c (6,0) c SimplifyTime_0 : 0.012348
62.77/12.29	c (6,0) c SimplifyTime_1 : 0.012570
62.77/12.29	c (6,0) c SimplifyTime_2 : 0.011070
62.77/12.29	c (6,0) c SimplifyTime_3 : 0.013003
62.77/12.29	c (6,0) c SimplifyTime_4 : 0.013118
62.77/12.29	c (6,0) c SimplifyTime_5 : 0.015077
62.77/12.29	c (6,0) c SimplifyTime_6 : 0.009595
62.77/12.29	c (6,0) c SimplifyTime_7 : 0.010709
62.77/12.29	c (6,0) c SimplifyTime_total : 0.097489
62.77/12.29	c (6,0) c SimplifyTime_winner : 0.013003
62.77/12.29	c (6,0) c UsedRateTime_0 : 0.000000
62.77/12.29	c (6,0) c UsedRateTime_1 : 0.000000
62.77/12.29	c (6,0) c UsedRateTime_2 : 0.000000
62.77/12.29	c (6,0) c UsedRateTime_3 : 0.000000
62.77/12.29	c (6,0) c UsedRateTime_4 : 0.000000
62.77/12.29	c (6,0) c UsedRateTime_5 : 0.000000
62.77/12.29	c (6,0) c UsedRateTime_6 : 0.000000
62.77/12.29	c (6,0) c UsedRateTime_7 : 0.000000
62.77/12.29	c (6,0) c UsedRateTime_total : 0.000000
62.77/12.29	c (6,0) c UsedRateTime_winner : 0.000000
62.77/12.29	c (6,0) c OverlapRateTime_0 : 0.000000
62.77/12.29	c (6,0) c OverlapRateTime_1 : 0.000000
62.77/12.29	c (6,0) c OverlapRateTime_2 : 0.000000
62.77/12.29	c (6,0) c OverlapRateTime_3 : 0.000000
62.77/12.29	c (6,0) c OverlapRateTime_4 : 0.000000
62.77/12.29	c (6,0) c OverlapRateTime_5 : 0.000000
62.77/12.29	c (6,0) c OverlapRateTime_6 : 0.000000
62.77/12.30	c (6,0) c OverlapRateTime_7 : 0.000000
62.77/12.30	c (6,0) c OverlapRateTime_total : 0.000000
62.77/12.30	c (6,0) c OverlapRateTime_winner : 0.000000
62.77/12.30	c (6,0) c
62.77/12.30	c (6,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
62.77/12.30	c (6,0) c
62.77/12.30	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.77/12.30	c (6,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
62.77/12.30	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.77/12.30	c (6,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
62.77/12.30	c (6,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
62.77/12.30	c (6,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
62.77/12.30	c (6,0) c | Initial random_seed   | 1294781059 |  743031971 |  719872899 |  849902907 | 1501874941 |  730950428 |  315964474 | 1788823234 |
62.77/12.30	c (6,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
62.77/12.30	c (6,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
62.77/12.30	c (6,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
62.77/12.30	c (6,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
62.77/12.30	c (6,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
62.77/12.30	c (6,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
62.77/12.30	c (6,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
62.77/12.30	c (6,0) c | var_decay             |     0.9100 |     0.9100 |     0.9100 |     0.9100 |     0.9100 |     0.9100 |     0.9100 |     0.9200 |
62.77/12.30	c (6,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
62.77/12.30	c (6,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
62.77/12.30	c (6,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
62.77/12.30	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.77/12.30	c (6,0) 
62.77/12.30	c (6,0) s UNSATISFIABLE
62.91/12.30	c (6,0) SatSolver.solve End
62.91/12.30	c (6,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
62.91/12.30	c (6,0) Show results Begin
62.91/12.30	s UNSATISFIABLE
62.91/12.30	c (6,0) Show results End
62.91/12.30	c (6,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
62.91/12.30	c (6,0) 6,6,STOP-AFTER(ALL)
62.91/12.30	c END-Prog: Sat Sep 14 02:39:56 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 (14961 MiB free)
  memory of node 1: 16384 MiB (15383 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392590-1568425300/watcher-4392590-1568425300 -o /tmp/evaluation-result-4392590-1568425300/solver-4392590-1568425300 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568413377-19188 --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-4392590-1568425300.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=20604, runsolver pid=20601
Current StackSize limit: 8192 KiB


[startup+0.100157 s]*
/proc/loadavg: 5.42 2.81 2.52 2/211 20626
/proc/meminfo: memFree=30977320/32770624 swapFree=66922832/67108860
[pid=20604] ppid=20601 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20604/stat : 20604 (scop.sh) S 20601 20604 19161 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418786037 115843072 349 33554432000 4194304 5098028 140728472372832 140728472370088 140393446666876 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27537408 140728472376100 140728472376428 140728472376428 140728472379341 0
/proc/20604/statm: 28282 349 296 221 0 87 0
[pid=20607] ppid=20604 vsize=27314120 memory=107324 CPUtime=0.11 cores=0-7
/proc/20607/stat : 20607 (java) S 20604 20604 19161 0 -1 1077944320 6878 0 0 0 8 3 0 0 20 0 20 0 418786037 27969658880 26831 33554432000 4194304 4196468 140733215751008 140733215733552 140679372328695 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
/proc/20607/statm: 6828530 26831 2798 1 0 6790935 0
[pid=20607/tid=20608] ppid=20604 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/20607/task/20608/stat : 20608 (java) R 20604 20604 19161 0 -1 4202560 4990 0 0 0 6 2 0 0 20 0 20 0 418786038 27969658880 26831 33554432000 4194304 4196468 140733215751008 140679344152640 140679372350621 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20609] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20609/stat : 20609 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 26831 33554432000 4194304 4196468 140733215751008 140679376570640 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20610] ppid=20604 vsize=27314120 memory=3544530720501237408 CPUtime=0 cores=0-7
/proc/20607/task/20610/stat : 20610 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 26831 33554432000 4194304 4196468 140733215751008 140679190727056 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20611] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20611/stat : 20611 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 26831 33554432000 4194304 4196468 140733215751008 140679189674512 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20612] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20612/stat : 20612 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 26831 33554432000 4194304 4196468 140733215751008 140679188621968 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20613] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20613/stat : 20613 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 26831 33554432000 4194304 4196468 140733215751008 140679187569424 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20614] ppid=20604 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20607/task/20614/stat : 20614 (java) S 20604 20604 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 26831 33554432000 4194304 4196468 140733215751008 140679186516880 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20615] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20615/stat : 20615 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 26831 33554432000 4194304 4196468 140733215751008 140679185464336 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20616] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20616/stat : 20616 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 26831 33554432000 4194304 4196468 140733215751008 140679184411792 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20617] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20617/stat : 20617 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418786042 27969658880 26831 33554432000 4194304 4196468 140733215751008 140678296225776 140679372339842 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20618] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20618/stat : 20618 (java) S 20604 20604 19161 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418786042 27969658880 26831 33554432000 4194304 4196468 140733215751008 140677291697056 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20619] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20619/stat : 20619 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418786042 27969658880 26831 33554432000 4194304 4196468 140733215751008 140677023261680 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20620] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20620/stat : 20620 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418786045 27969658880 26831 33554432000 4194304 4196468 140733215751008 140676648753360 140679372347291 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20621] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20621/stat : 20621 (java) S 20604 20604 19161 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 418786045 27969658880 26831 33554432000 4194304 4196468 140733215751008 140678295173616 140679372339842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20622] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20622/stat : 20622 (java) S 20604 20604 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418786045 27969658880 26831 33554432000 4194304 4196468 140733215751008 140678294121072 140679372339842 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20623] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20623/stat : 20623 (java) S 20604 20604 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418786045 27969658880 26831 33554432000 4194304 4196468 140733215751008 140678293068528 140679372339842 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20624] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20624/stat : 20624 (java) R 20604 20604 19161 0 -1 4202560 253 0 0 0 0 0 0 0 20 0 20 0 418786045 27969658880 26831 33554432000 4194304 4196468 140733215751008 140678292015984 140679372350042 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20625] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20625/stat : 20625 (java) S 20604 20604 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418786045 27969658880 26831 33554432000 4194304 4196468 140733215751008 140676150847712 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20626] ppid=20604 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20607/task/20626/stat : 20626 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418786045 27969658880 26831 33554432000 4194304 4196468 140733215751008 140678290962864 140679372339842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108720 KiB

[startup+0.21025 s]*
/proc/loadavg: 5.42 2.81 2.52 3/211 20626
/proc/meminfo: memFree=30958800/32770624 swapFree=66922832/67108860
[pid=20604] ppid=20601 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20604/stat : 20604 (scop.sh) S 20601 20604 19161 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418786037 115843072 349 33554432000 4194304 5098028 140728472372832 140728472370088 140393446666876 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27537408 140728472376100 140728472376428 140728472376428 140728472379341 0
/proc/20604/statm: 28282 349 296 221 0 87 0
[pid=20607] ppid=20604 vsize=27314120 memory=124152 CPUtime=0.24 cores=0-7
/proc/20607/stat : 20607 (java) S 20604 20604 19161 0 -1 1077944320 11903 0 0 0 20 4 0 0 20 0 20 0 418786037 27969658880 31038 33554432000 4194304 4196468 140733215751008 140733215733552 140679372328695 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
/proc/20607/statm: 6828530 31038 2925 1 0 6790935 0
[pid=20607/tid=20608] ppid=20604 vsize=27314120 memory=8316850467074736180 CPUtime=0.2 cores=0-7
/proc/20607/task/20608/stat : 20608 (java) R 20604 20604 19161 0 -1 4202560 9612 0 0 0 16 4 0 0 20 0 20 0 418786038 27969658880 31038 33554432000 4194304 4196468 140733215751008 140679344137088 140679357494248 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20609] ppid=20604 vsize=27314120 memory=10923 CPUtime=0 cores=0-7
/proc/20607/task/20609/stat : 20609 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 31038 33554432000 4194304 4196468 140733215751008 140679376570640 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20610] ppid=20604 vsize=27314120 memory=140402113431813 CPUtime=0 cores=0-7
/proc/20607/task/20610/stat : 20610 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 31038 33554432000 4194304 4196468 140733215751008 140679190727056 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20611] ppid=20604 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20607/task/20611/stat : 20611 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 31038 33554432000 4194304 4196468 140733215751008 140679189674512 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20612] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20612/stat : 20612 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 31038 33554432000 4194304 4196468 140733215751008 140679188621968 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20613] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20613/stat : 20613 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 31038 33554432000 4194304 4196468 140733215751008 140679187569424 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20614] ppid=20604 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20607/task/20614/stat : 20614 (java) S 20604 20604 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 31038 33554432000 4194304 4196468 140733215751008 140679186516880 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20615] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20615/stat : 20615 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 31038 33554432000 4194304 4196468 140733215751008 140679185464336 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20616] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20616/stat : 20616 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 31038 33554432000 4194304 4196468 140733215751008 140679184411792 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20617] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20617/stat : 20617 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418786042 27969658880 31038 33554432000 4194304 4196468 140733215751008 140678296225776 140679372339842 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20618] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20618/stat : 20618 (java) S 20604 20604 19161 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418786042 27969658880 31038 33554432000 4194304 4196468 140733215751008 140677291697056 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20619] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20619/stat : 20619 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418786042 27969658880 31038 33554432000 4194304 4196468 140733215751008 140677023261680 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20620] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20620/stat : 20620 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418786045 27969658880 31038 33554432000 4194304 4196468 140733215751008 140676648753360 140679372347291 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20621] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20621/stat : 20621 (java) S 20604 20604 19161 0 -1 1077944384 450 0 0 0 0 0 0 0 20 0 20 0 418786045 27969658880 31038 33554432000 4194304 4196468 140733215751008 140678295173616 140679372339842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20622] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20622/stat : 20622 (java) S 20604 20604 19161 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 418786045 27969658880 31038 33554432000 4194304 4196468 140733215751008 140678294121072 140679372339842 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20623] ppid=20604 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20607/task/20623/stat : 20623 (java) S 20604 20604 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418786045 27969658880 31038 33554432000 4194304 4196468 140733215751008 140678293068528 140679372339842 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20624] ppid=20604 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/20607/task/20624/stat : 20624 (java) S 20604 20604 19161 0 -1 1077944384 479 0 0 0 2 0 0 0 20 0 20 0 418786045 27969658880 31038 33554432000 4194304 4196468 140733215751008 140678292015984 140679372339842 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20625] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20625/stat : 20625 (java) S 20604 20604 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418786045 27969658880 31038 33554432000 4194304 4196468 140733215751008 140676150847712 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20626] ppid=20604 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20607/task/20626/stat : 20626 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418786045 27969658880 31038 33554432000 4194304 4196468 140733215751008 140678290962864 140679372339842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125548 KiB

[startup+0.309673 s]*
/proc/loadavg: 5.42 2.81 2.52 2/211 20626
/proc/meminfo: memFree=30955700/32770624 swapFree=66922832/67108860
[pid=20604] ppid=20601 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20604/stat : 20604 (scop.sh) S 20601 20604 19161 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418786037 115843072 349 33554432000 4194304 5098028 140728472372832 140728472370088 140393446666876 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27537408 140728472376100 140728472376428 140728472376428 140728472379341 0
/proc/20604/statm: 28282 349 296 221 0 87 0
[pid=20607] ppid=20604 vsize=27314120 memory=127828 CPUtime=0.42 cores=0-7
/proc/20607/stat : 20607 (java) S 20604 20604 19161 0 -1 1077944320 12605 0 0 0 37 5 0 0 20 0 20 0 418786037 27969658880 31957 33554432000 4194304 4196468 140733215751008 140733215733552 140679372328695 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
/proc/20607/statm: 6828530 31957 3028 1 0 6790935 0
[pid=20607/tid=20608] ppid=20604 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/20607/task/20608/stat : 20608 (java) R 20604 20604 19161 0 -1 4202560 10128 0 0 0 25 4 0 0 20 0 20 0 418786038 27969658880 31957 33554432000 4194304 4196468 140733215751008 140679344146192 140679356409182 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20609] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20609/stat : 20609 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 31957 33554432000 4194304 4196468 140733215751008 140679376570640 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20610] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20610/stat : 20610 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 31957 33554432000 4194304 4196468 140733215751008 140679190727056 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20611] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20611/stat : 20611 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 31957 33554432000 4194304 4196468 140733215751008 140679189674512 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20612] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20612/stat : 20612 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 31957 33554432000 4194304 4196468 140733215751008 140679188621968 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20613] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20613/stat : 20613 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 31957 33554432000 4194304 4196468 140733215751008 140679187569424 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20614] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20614/stat : 20614 (java) S 20604 20604 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 31957 33554432000 4194304 4196468 140733215751008 140679186516880 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20615] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20615/stat : 20615 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 31957 33554432000 4194304 4196468 140733215751008 140679185464336 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20616] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20616/stat : 20616 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418786040 27969658880 31957 33554432000 4194304 4196468 140733215751008 140679184411792 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20617] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20617/stat : 20617 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418786042 27969658880 31957 33554432000 4194304 4196468 140733215751008 140678296225776 140679372339842 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20618] ppid=20604 vsize=27314120 memory=280804022492544 CPUtime=0 cores=0-7
/proc/20607/task/20618/stat : 20618 (java) S 20604 20604 19161 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418786042 27969658880 31957 33554432000 4194304 4196468 140733215751008 140677291697056 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20619] ppid=20604 vsize=27314120 memory=280804022497152 CPUtime=0 cores=0-7
/proc/20607/task/20619/stat : 20619 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418786042 27969658880 31957 33554432000 4194304 4196468 140733215751008 140677023261680 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20620] ppid=20604 vsize=27314120 memory=280804022501760 CPUtime=0 cores=0-7
/proc/20607/task/20620/stat : 20620 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418786045 27969658880 31957 33554432000 4194304 4196468 140733215751008 140676648753360 140679372347291 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20621] ppid=20604 vsize=27314120 memory=280804022506368 CPUtime=0.01 cores=0-7
/proc/20607/task/20621/stat : 20621 (java) S 20604 20604 19161 0 -1 1077944384 479 0 0 0 1 0 0 0 20 0 20 0 418786045 27969658880 31957 33554432000 4194304 4196468 140733215751008 140678295173616 140679372339842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20622] ppid=20604 vsize=27314120 memory=280804022510976 CPUtime=0.01 cores=0-7
/proc/20607/task/20622/stat : 20622 (java) S 20604 20604 19161 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 20 0 418786045 27969658880 31957 33554432000 4194304 4196468 140733215751008 140678294121072 140679372339842 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20623] ppid=20604 vsize=27314120 memory=280804022515584 CPUtime=0 cores=0-7
/proc/20607/task/20623/stat : 20623 (java) R 20604 20604 19161 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 20 0 418786045 27969658880 31957 33554432000 4194304 4196468 140733215751008 140678293068528 140679351990688 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20624] ppid=20604 vsize=27314120 memory=280804022520192 CPUtime=0.07 cores=0-7
/proc/20607/task/20624/stat : 20624 (java) S 20604 20604 19161 0 -1 1077944384 501 0 0 0 7 0 0 0 20 0 20 0 418786045 27969658880 31957 33554432000 4194304 4196468 140733215751008 140678292015984 140679372339842 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20625] ppid=20604 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20625/stat : 20625 (java) S 20604 20604 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418786045 27969658880 31957 33554432000 4194304 4196468 140733215751008 140676150847712 140679372338901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20626] ppid=20604 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20607/task/20626/stat : 20626 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418786045 27969658880 31957 33554432000 4194304 4196468 140733215751008 140678290962864 140679372339842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129224 KiB

[startup+0.70097 s]
/proc/loadavg: 5.42 2.81 2.52 2/211 20626
/proc/meminfo: memFree=30933932/32770624 swapFree=66922832/67108860
[pid=20604] ppid=20601 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20604/stat : 20604 (scop.sh) S 20601 20604 19161 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418786037 115843072 349 33554432000 4194304 5098028 140728472372832 140728472370088 140393446666876 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27537408 140728472376100 140728472376428 140728472376428 140728472379341 0
/proc/20604/statm: 28282 349 296 221 0 87 0
[pid=20607] ppid=20604 vsize=27320392 memory=165152 CPUtime=1 cores=0-7
/proc/20607/stat : 20607 (java) S 20604 20604 19161 0 -1 1077944320 20476 0 0 0 92 8 0 0 20 0 20 0 418786037 27976081408 41288 33554432000 4194304 4196468 140733215751008 140733215733552 140679372328695 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
/proc/20607/statm: 6830098 41288 3147 1 0 6791447 0
[pid=20607/tid=20608] ppid=20604 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/20607/task/20608/stat : 20608 (java) R 20604 20604 19161 0 -1 4202560 17440 0 0 0 61 6 0 0 20 0 20 0 418786038 27976081408 41288 33554432000 4194304 4196468 140733215751008 140679344151744 140679372350621 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20609] ppid=20604 vsize=27320392 memory=140402011448192 CPUtime=0 cores=0-7
/proc/20607/task/20609/stat : 20609 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418786040 27976081408 41288 33554432000 4194304 4196468 140733215751008 140679376570640 140679372338901 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20610] ppid=20604 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/20607/task/20610/stat : 20610 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418786040 27976081408 41288 33554432000 4194304 4196468 140733215751008 140679190727056 140679372338901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0
[pid=20607/tid=20611] ppid=20604 vsize=27320392 memory=9364 CPUtime=0 cores=0-7
/proc/20607/task/20611/stat : 20611 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418786040 27976081408 41288 33554432000 4194304 4196468 140733215751008 140679189674512 140679372338901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140733215752938 140733215753366 140733215753366 140733215756239 0

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

/proc/20629/task/20635/stat : 20635 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418786573 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892991650832 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20636] ppid=20604 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20629/task/20636/stat : 20636 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418786573 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892671638672 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20637] ppid=20604 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20629/task/20637/stat : 20637 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418786573 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892670585616 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20638] ppid=20604 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20629/task/20638/stat : 20638 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418786573 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892669533072 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20639] ppid=20604 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20629/task/20639/stat : 20639 (java) S 20604 20604 19161 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418786574 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892283799792 139893190408834 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20640] ppid=20604 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20629/task/20640/stat : 20640 (java) S 20604 20604 19161 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418786575 8616062976 30200 33554432000 4194304 4196468 140728299466800 139891782444192 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20641] ppid=20604 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20629/task/20641/stat : 20641 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418786575 8616062976 30200 33554432000 4194304 4196468 140728299466800 139891514008304 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20642] ppid=20604 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/20629/task/20642/stat : 20642 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418786577 8616062976 30200 33554432000 4194304 4196468 140728299466800 139891139499984 139893190416283 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20643] ppid=20604 vsize=8414124 memory=-1 CPUtime=0.05 cores=0-7
/proc/20629/task/20643/stat : 20643 (java) S 20604 20604 19161 0 -1 1077944384 600 0 0 0 5 0 0 0 20 0 24 0 418786577 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892282747632 139893190408834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20644] ppid=20604 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/20629/task/20644/stat : 20644 (java) S 20604 20604 19161 0 -1 1077944384 178 0 0 0 7 0 0 0 20 0 24 0 418786577 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892281695088 139893190408834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20645] ppid=20604 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/20629/task/20645/stat : 20645 (java) S 20604 20604 19161 0 -1 1077944384 443 0 0 0 7 0 0 0 20 0 24 0 418786577 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892280642032 139893190408834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20646] ppid=20604 vsize=8414124 memory=644874240 CPUtime=0.22 cores=0-7
/proc/20629/task/20646/stat : 20646 (java) S 20604 20604 19161 0 -1 1077944384 621 0 0 0 22 0 0 0 20 0 24 0 418786577 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892279589488 139893190408834 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20647] ppid=20604 vsize=8414124 memory=3904675990826137135 CPUtime=0 cores=0-7
/proc/20629/task/20647/stat : 20647 (java) S 20604 20604 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418786578 8616062976 30200 33554432000 4194304 4196468 140728299466800 139890641594848 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20648] ppid=20604 vsize=8414124 memory=3546083467550209333 CPUtime=0 cores=0-7
/proc/20629/task/20648/stat : 20648 (java) S 20604 20604 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418786578 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892278536880 139893190408834 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20650] ppid=20604 vsize=8414124 memory=6443058305330862436 CPUtime=0 cores=0-7
/proc/20629/task/20650/stat : 20650 (java) S 20604 20604 19161 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418786648 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892268405696 139893190422297 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20652] ppid=20604 vsize=8414124 memory=280804023789648 CPUtime=0 cores=0-7
/proc/20629/task/20652/stat : 20652 (java) S 20604 20604 19161 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418786648 8616062976 30200 33554432000 4194304 4196468 140728299466800 139889970495536 139893190419613 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20653] ppid=20604 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20629/task/20653/stat : 20653 (java) S 20604 20604 19161 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418786648 8616062976 30200 33554432000 4194304 4196468 140728299466800 139890238931120 139893190419613 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20654] ppid=20604 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20629/task/20654/stat : 20654 (java) S 20604 20604 19161 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418786650 8616062976 30200 33554432000 4194304 4196468 140728299466800 139889702067632 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
Current children cumulated CPU time: 61.73 s
Current children cumulated vsize: 9165580 KiB
Current children cumulated memory: 230652 KiB

[startup+12.2014 s]
/proc/loadavg: 5.52 2.92 2.56 9/225 20662
/proc/meminfo: memFree=30853380/32770624 swapFree=66922832/67108860
[pid=20604] ppid=20601 vsize=113128 memory=1476 CPUtime=13.8 cores=0-7
/proc/20604/stat : 20604 (scop.sh) S 20601 20604 19161 0 -1 4202496 583 32155 0 0 0 0 1345 35 20 0 1 0 418786037 115843072 369 33554432000 4194304 5098028 140728472372832 140728472369576 140393446666876 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27537408 140728472376100 140728472376428 140728472376428 140728472379341 0
/proc/20604/statm: 28282 369 311 221 0 87 0
[pid=20629] ppid=20604 vsize=8414124 memory=120800 CPUtime=1.25 cores=0-7
/proc/20629/stat : 20629 (java) S 20604 20604 19161 0 -1 1077944320 21219 0 0 0 117 8 0 0 20 0 24 0 418786571 8616062976 30200 33554432000 4194304 4196468 140728299466800 140728299449344 139893190397687 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
/proc/20629/statm: 2103531 30200 3200 1 0 2064875 0
[pid=20649] ppid=20629 vsize=631388 memory=102712 CPUtime=47.72 cores=0-7
/proc/20649/stat : 20649 (manyglucose-4.1) S 20629 20604 19161 0 -1 1077944320 73255 0 0 0 4750 22 0 0 20 0 3 0 418786648 646541312 25678 33554432000 4194304 4454172 140727062007024 140727062005408 139810635923191 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 23285760 140727062008681 140727062008880 140727062008880 140727062011834 0
/proc/20649/statm: 157847 25678 416 64 0 153515 0
[pid=20649/tid=20655] ppid=20629 vsize=631388 memory=7649399371396952114 CPUtime=5.89 cores=0-7
/proc/20649/task/20655/stat : 20655 (manyglucose-4.1) R 20629 20604 19161 0 -1 4202560 7331 0 0 0 586 3 0 0 20 0 3 0 418786653 646541312 25678 33554432000 4194304 4454172 140727062007024 139810620705528 4351349 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 23285760 140727062008681 140727062008880 140727062008880 140727062011834 0
[pid=20649/tid=20656] ppid=20629 vsize=631388 memory=7649399375691919410 CPUtime=6.03 cores=0-7
/proc/20649/task/20656/stat : 20656 (manyglucose-4.1) R 20629 20604 19161 0 -1 4202560 8486 0 0 0 601 2 0 0 20 0 3 0 418786653 646541312 25678 33554432000 4194304 4454172 140727062007024 139810612312824 4351186 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 23285760 140727062008681 140727062008880 140727062008880 140727062011834 0
[pid=20629/tid=20630] ppid=20604 vsize=8414124 memory=14981065810905736 CPUtime=0.8 cores=0-7
/proc/20629/task/20630/stat : 20630 (java) S 20604 20604 19161 0 -1 1077944384 17976 0 0 0 74 6 0 0 20 0 24 0 418786572 8616062976 30200 33554432000 4194304 4196468 140728299466800 139893162237856 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20631] ppid=20604 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20629/task/20631/stat : 20631 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418786573 8616062976 30200 33554432000 4194304 4196468 140728299466800 139893194639888 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20632] ppid=20604 vsize=8414124 memory=59 CPUtime=0 cores=0-7
/proc/20629/task/20632/stat : 20632 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418786573 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892994808464 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20633] ppid=20604 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20629/task/20633/stat : 20633 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418786573 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892993755408 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20634] ppid=20604 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20629/task/20634/stat : 20634 (java) S 20604 20604 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418786573 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892992702864 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20635] ppid=20604 vsize=8414124 memory=23 CPUtime=0 cores=0-7
/proc/20629/task/20635/stat : 20635 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418786573 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892991650832 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20636] ppid=20604 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20629/task/20636/stat : 20636 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418786573 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892671638672 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20637] ppid=20604 vsize=8414124 memory=125 CPUtime=0 cores=0-7
/proc/20629/task/20637/stat : 20637 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418786573 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892670585616 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20638] ppid=20604 vsize=8414124 memory=3072 CPUtime=0 cores=0-7
/proc/20629/task/20638/stat : 20638 (java) S 20604 20604 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418786573 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892669533072 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20639] ppid=20604 vsize=8414124 memory=3833 CPUtime=0 cores=0-7
/proc/20629/task/20639/stat : 20639 (java) S 20604 20604 19161 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418786574 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892283799792 139893190408834 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20640] ppid=20604 vsize=8414124 memory=80 CPUtime=0 cores=0-7
/proc/20629/task/20640/stat : 20640 (java) S 20604 20604 19161 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418786575 8616062976 30200 33554432000 4194304 4196468 140728299466800 139891782444192 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20641] ppid=20604 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20629/task/20641/stat : 20641 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418786575 8616062976 30200 33554432000 4194304 4196468 140728299466800 139891514008304 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20642] ppid=20604 vsize=8414124 memory=7686721470384610195 CPUtime=0 cores=0-7
/proc/20629/task/20642/stat : 20642 (java) S 20604 20604 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418786577 8616062976 30200 33554432000 4194304 4196468 140728299466800 139891139499984 139893190416283 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20643] ppid=20604 vsize=8414124 memory=21208 CPUtime=0.05 cores=0-7
/proc/20629/task/20643/stat : 20643 (java) S 20604 20604 19161 0 -1 1077944384 600 0 0 0 5 0 0 0 20 0 24 0 418786577 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892282747632 139893190408834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20644] ppid=20604 vsize=8414124 memory=988 CPUtime=0.07 cores=0-7
/proc/20629/task/20644/stat : 20644 (java) S 20604 20604 19161 0 -1 1077944384 178 0 0 0 7 0 0 0 20 0 24 0 418786577 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892281695088 139893190408834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20645] ppid=20604 vsize=8414124 memory=2016 CPUtime=0.07 cores=0-7
/proc/20629/task/20645/stat : 20645 (java) S 20604 20604 19161 0 -1 1077944384 443 0 0 0 7 0 0 0 20 0 24 0 418786577 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892280642032 139893190408834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20646] ppid=20604 vsize=8414124 memory=1284 CPUtime=0.22 cores=0-7
/proc/20629/task/20646/stat : 20646 (java) S 20604 20604 19161 0 -1 1077944384 621 0 0 0 22 0 0 0 20 0 24 0 418786577 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892279589488 139893190408834 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20647] ppid=20604 vsize=8414124 memory=1044 CPUtime=0 cores=0-7
/proc/20629/task/20647/stat : 20647 (java) S 20604 20604 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418786578 8616062976 30200 33554432000 4194304 4196468 140728299466800 139890641594848 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20648] ppid=20604 vsize=8414124 memory=708 CPUtime=0 cores=0-7
/proc/20629/task/20648/stat : 20648 (java) S 20604 20604 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418786578 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892278536880 139893190408834 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20650] ppid=20604 vsize=8414124 memory=9364 CPUtime=0 cores=0-7
/proc/20629/task/20650/stat : 20650 (java) S 20604 20604 19161 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418786648 8616062976 30200 33554432000 4194304 4196468 140728299466800 139892268405696 139893190422297 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20652] ppid=20604 vsize=8414124 memory=1120 CPUtime=0 cores=0-7
/proc/20629/task/20652/stat : 20652 (java) S 20604 20604 19161 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418786648 8616062976 30200 33554432000 4194304 4196468 140728299466800 139889970495536 139893190419613 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20653] ppid=20604 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/20629/task/20653/stat : 20653 (java) S 20604 20604 19161 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418786648 8616062976 30200 33554432000 4194304 4196468 140728299466800 139890238931120 139893190419613 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20654] ppid=20604 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/20629/task/20654/stat : 20654 (java) S 20604 20604 19161 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418786650 8616062976 30200 33554432000 4194304 4196468 140728299466800 139889702067632 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
Current children cumulated CPU time: 62.77 s
Current children cumulated vsize: 9158640 KiB
Current children cumulated memory: 224988 KiB

[startup+12.3015 s]
/proc/loadavg: 5.52 2.92 2.56 9/225 20662
/proc/meminfo: memFree=30853380/32770624 swapFree=66922832/67108860
[pid=20604] ppid=20601 vsize=113128 memory=1476 CPUtime=13.8 cores=0-7
/proc/20604/stat : 20604 (scop.sh) S 20601 20604 19161 0 -1 4202496 583 32155 0 0 0 0 1345 35 20 0 1 0 418786037 115843072 369 33554432000 4194304 5098028 140728472372832 140728472369576 140393446666876 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27537408 140728472376100 140728472376428 140728472376428 140728472379341 0
/proc/20604/statm: 28282 369 311 221 0 87 0
[pid=20629] ppid=20604 vsize=8283048 memory=121620 CPUtime=49.11 cores=0-7
/proc/20629/stat : 20629 (java) S 20604 20604 19161 0 -1 1077944320 21431 73325 0 0 122 8 4758 23 20 0 22 0 418786571 8481841152 30405 33554432000 4194304 4196468 140728299466800 140728299449344 139893190397687 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
/proc/20629/statm: 2070762 30405 3201 1 0 2032106 0
[pid=20629/tid=20630] ppid=20604 vsize=8283048 memory=0 CPUtime=48.61 cores=0-7
/proc/20629/task/20630/stat : 20630 (java) S 20604 20604 19161 0 -1 1077944384 17976 73325 0 0 74 6 4758 23 20 0 22 0 418786572 8481841152 30405 33554432000 4194304 4196468 140728299466800 139893162237856 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20631] ppid=20604 vsize=8283048 memory=1552 CPUtime=47.81 cores=0-7
/proc/20629/task/20631/stat : 20631 (java) S 20604 20604 19161 0 -1 1077944384 1 73325 0 0 0 0 4758 23 20 0 22 0 418786573 8481841152 30405 33554432000 4194304 4196468 140728299466800 139893194639888 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20632] ppid=20604 vsize=8283048 memory=8048 CPUtime=47.81 cores=0-7
/proc/20629/task/20632/stat : 20632 (java) S 20604 20604 19161 0 -1 1077944384 2 73325 0 0 0 0 4758 23 20 0 22 0 418786573 8481841152 30405 33554432000 4194304 4196468 140728299466800 139892994808464 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20633] ppid=20604 vsize=8283048 memory=1476 CPUtime=47.81 cores=0-7
/proc/20629/task/20633/stat : 20633 (java) S 20604 20604 19161 0 -1 1077944384 2 73325 0 0 0 0 4758 23 20 0 22 0 418786573 8481841152 30405 33554432000 4194304 4196468 140728299466800 139892993755408 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20634] ppid=20604 vsize=8283048 memory=120800 CPUtime=47.81 cores=0-7
/proc/20629/task/20634/stat : 20634 (java) S 20604 20604 19161 0 -1 1077944384 3 73325 0 0 0 0 4758 23 20 0 22 0 418786573 8481841152 30405 33554432000 4194304 4196468 140728299466800 139892992702864 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20635] ppid=20604 vsize=8283048 memory=67732 CPUtime=47.81 cores=0-7
/proc/20629/task/20635/stat : 20635 (java) S 20604 20604 19161 0 -1 1077944384 2 73325 0 0 0 0 4758 23 20 0 22 0 418786573 8481841152 30405 33554432000 4194304 4196468 140728299466800 139892991650832 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20636] ppid=20604 vsize=8283048 memory=3580 CPUtime=47.81 cores=0-7
/proc/20629/task/20636/stat : 20636 (java) S 20604 20604 19161 0 -1 1077944384 2 73325 0 0 0 0 4758 23 20 0 22 0 418786573 8481841152 30405 33554432000 4194304 4196468 140728299466800 139892671638672 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20637] ppid=20604 vsize=8283048 memory=21208 CPUtime=47.81 cores=0-7
/proc/20629/task/20637/stat : 20637 (java) S 20604 20604 19161 0 -1 1077944384 1 73325 0 0 0 0 4758 23 20 0 22 0 418786573 8481841152 30405 33554432000 4194304 4196468 140728299466800 139892670585616 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20638] ppid=20604 vsize=8283048 memory=988 CPUtime=47.81 cores=0-7
/proc/20629/task/20638/stat : 20638 (java) S 20604 20604 19161 0 -1 1077944384 2 73325 0 0 0 0 4758 23 20 0 22 0 418786573 8481841152 30405 33554432000 4194304 4196468 140728299466800 139892669533072 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20639] ppid=20604 vsize=8283048 memory=6808 CPUtime=47.81 cores=0-7
/proc/20629/task/20639/stat : 20639 (java) S 20604 20604 19161 0 -1 1077944384 7 73325 0 0 0 0 4758 23 20 0 22 0 418786574 8481841152 30405 33554432000 4194304 4196468 140728299466800 139892283799792 139893190408834 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20640] ppid=20604 vsize=8283048 memory=2120 CPUtime=47.81 cores=0-7
/proc/20629/task/20640/stat : 20640 (java) S 20604 20604 19161 0 -1 1077944384 13 73325 0 0 0 0 4758 23 20 0 22 0 418786575 8481841152 30405 33554432000 4194304 4196468 140728299466800 139891782444192 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20641] ppid=20604 vsize=8283048 memory=12020 CPUtime=47.81 cores=0-7
/proc/20629/task/20641/stat : 20641 (java) S 20604 20604 19161 0 -1 1077944384 1 73325 0 0 0 0 4758 23 20 0 22 0 418786575 8481841152 30405 33554432000 4194304 4196468 140728299466800 139891514008304 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20642] ppid=20604 vsize=8283048 memory=496 CPUtime=47.81 cores=0-7
/proc/20629/task/20642/stat : 20642 (java) S 20604 20604 19161 0 -1 1077944384 1 73325 0 0 0 0 4758 23 20 0 22 0 418786577 8481841152 30405 33554432000 4194304 4196468 140728299466800 139891139499984 139893190416283 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20643] ppid=20604 vsize=8283048 memory=1560 CPUtime=47.86 cores=0-7
/proc/20629/task/20643/stat : 20643 (java) S 20604 20604 19161 0 -1 1077944384 602 73325 0 0 5 0 4758 23 20 0 22 0 418786577 8481841152 30405 33554432000 4194304 4196468 140728299466800 139892282747632 139893190408834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20644] ppid=20604 vsize=8283048 memory=21208 CPUtime=47.88 cores=0-7
/proc/20629/task/20644/stat : 20644 (java) R 20604 20604 19161 0 -1 4202560 181 73325 0 0 7 0 4758 23 20 0 22 0 418786577 8481841152 30405 33554432000 4194304 4196468 140728299466800 139892281686592 139893170854028 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20645] ppid=20604 vsize=8283048 memory=988 CPUtime=47.89 cores=0-7
/proc/20629/task/20645/stat : 20645 (java) R 20604 20604 19161 0 -1 4202560 446 73325 0 0 8 0 4758 23 20 0 22 0 418786577 8481841152 30405 33554432000 4194304 4196468 140728299466800 139892280642032 139893170059904 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20646] ppid=20604 vsize=8283048 memory=2016 CPUtime=48.04 cores=0-7
/proc/20629/task/20646/stat : 20646 (java) R 20604 20604 19161 0 -1 4202560 812 73325 0 0 23 0 4758 23 20 0 22 0 418786577 8481841152 30405 33554432000 4194304 4196468 140728299466800 139892279588672 139893169696730 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20647] ppid=20604 vsize=8283048 memory=1396 CPUtime=47.81 cores=0-7
/proc/20629/task/20647/stat : 20647 (java) S 20604 20604 19161 0 -1 1077944384 3 73325 0 0 0 0 4758 23 20 0 22 0 418786578 8481841152 30405 33554432000 4194304 4196468 140728299466800 139890641594848 139893190407893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20648] ppid=20604 vsize=8283048 memory=1196700 CPUtime=47.81 cores=0-7
/proc/20629/task/20648/stat : 20648 (java) S 20604 20604 19161 0 -1 1077944384 3 73325 0 0 0 0 4758 23 20 0 22 0 418786578 8481841152 30405 33554432000 4194304 4196468 140728299466800 139892278536880 139893190408834 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20650] ppid=20604 vsize=8283048 memory=0 CPUtime=47.81 cores=0-7
/proc/20629/task/20650/stat : 20650 (java) S 20604 20604 19161 0 -1 1077944384 24 73325 0 0 0 0 4758 23 20 0 22 0 418786648 8481841152 30405 33554432000 4194304 4196468 140728299466800 139892268404880 139893190408834 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
[pid=20629/tid=20654] ppid=20604 vsize=8283048 memory=7378374360112259664 CPUtime=47.81 cores=0-7
/proc/20629/task/20654/stat : 20654 (java) R 20604 20604 19161 0 -1 4202560 8 73325 0 0 0 0 4758 23 20 0 22 0 418786650 8481841152 30405 33554432000 4194304 4196468 140728299466800 139889702067392 139892671933920 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140728299471863 140728299472022 140728299472022 140728299474895 0
Current children cumulated CPU time: 62.91 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 123096 KiB

Child status: 0
Real time (s): 12.313
CPU time (s): 62.9571
CPU user time (s): 62.2742
CPU system time (s): 0.682867
CPU usage (%): 511.306
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1465124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.2742
system time used= 0.682867
maximum resident set size= 1466324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127563
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13629
involuntary context switches= 494


# summary of solver processes directly reported to runsolver:
#   pid: 20604
#   total CPU time (s): 62.9571
#   total CPU user time (s): 62.2742
#   total CPU system time (s): 0.682867

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.125147 second user time and 0.189842 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-14 02:39:44
IDJOB=4392590
IDBENCH=125649
IDSOLVER=2839
FILE ID=node107/4392590-1568425300
RUNJOBID= node107-1568413377-19188
PBS_JOBID= 21702267
Free space on /tmp= 59040 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/QRandom/QRandom-reg2ext-s1/reg-s20-p03-c20-d10-n10-l5-64.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-4392590-1568425300/watcher-4392590-1568425300 -o /tmp/evaluation-result-4392590-1568425300/solver-4392590-1568425300 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568413377-19188 --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-4392590-1568425300.xml

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

MD5SUM BENCH= 236be531fe4e5fa4d71f6d1385cbaf81
RANDOM SEED=117432223

node107.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        31073512 kB
MemAvailable:   31831408 kB
Buffers:          171804 kB
Cached:           858940 kB
SwapCached:        79128 kB
Active:           563424 kB
Inactive:         548508 kB
Active(anon):      11716 kB
Inactive(anon):   101076 kB
Active(file):     551708 kB
Inactive(file):   447432 kB
Unevictable:      109964 kB
Mlocked:          109964 kB
SwapTotal:      67108860 kB
SwapFree:       66922832 kB
Dirty:             20692 kB
Writeback:             0 kB
AnonPages:        156020 kB
Mapped:            34896 kB
Shmem:             22564 kB
Slab:             177944 kB
SReclaimable:     149180 kB
SUnreclaim:        28764 kB
KernelStack:        3872 kB
PageTables:         5180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     489488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 59020 MiB
End job on node107 at 2019-09-14 02:39:56