Trace number 4392639

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)SAT 17.5933 5.36573

General information on the benchmark

NameGracefulGraph/GracefulGraph-m1-s1/
GracefulGraph-K03-P07.xml
MD5SUMda29a6dd83857351367aad9031227a75
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark5.04114
Satisfiable
(Un)Satisfiability was proved
Number of variables102
Number of constraints41
Number of domains2
Minimum domain size39
Maximum domain size40
Distribution of domain sizes[{"size":39,"count":39},{"size":40,"count":21}]
Minimum variable degree0
Maximum variable degree5
Distribution of variable degrees[{"degree":0,"count":42},{"degree":2,"count":39},{"degree":4,"count":6},{"degree":5,"count":15}]
Minimum constraint arity3
Maximum constraint arity39
Distribution of constraint arities[{"arity":3,"count":39},{"arity":21,"count":1},{"arity":39,"count":1}]
Number of extensional constraints0
Number of intensional constraints39
Distribution of constraint types[{"type":"intension","count":39},{"type":"allDifferent","count":2}]
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-769-serial-file.bin HOME/instance-4392639-1568416812.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 01:19:13 CEST 2019
0.66/0.57	c PID: 772
0.66/0.57	c IP: 172.20.3.103
0.66/0.57	c HOST: node103.alineos.net
0.66/0.58	c (0,0) Parsing Begin
1.39/0.90	c (0,0) Parsing End
1.39/0.91	c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 41 ctr, max domain size 40
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) Constraint Name Generate Begin
1.39/0.91	c (0,0) Ctr:HOME/instance-4392639-1568416812.xml,AllDifferent:Dist:Eq:Var
1.39/0.91	c (0,0) Constraint Name Generate End
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) CSP to CSPinCNF Begin
1.54/1.02	c (0,0) translated 5 (10%) constraints
1.54/1.04	c (0,0) translated 9 (20%) constraints
1.54/1.05	c (0,0) translated 13 (30%) constraints
1.54/1.06	c (0,0) translated 17 (40%) constraints
1.54/1.07	c (0,0) translated 21 (50%) constraints
1.54/1.08	c (0,0) translated 25 (60%) constraints
1.54/1.08	c (0,0) translated 29 (70%) constraints
1.54/1.09	c (0,0) translated 33 (80%) constraints
1.54/1.10	c (0,0) translated 37 (90%) constraints
1.78/1.16	c (0,0) translated 41 (100%) constraints
2.37/1.32	c (0,0) ===========================================
2.37/1.34	c (0,0) Hybrid: #OE=60, #LE=0
2.37/1.34	c (0,0) Hybrid
2.37/1.34	c (0,0) ===========================================
2.37/1.36	c (0,0) translated 112 (10%) constraints
2.37/1.38	c (0,0) translated 223 (20%) constraints
2.37/1.39	c (0,0) translated 334 (30%) constraints
2.64/1.40	c (0,0) translated 445 (40%) constraints
2.64/1.41	c (0,0) translated 556 (50%) constraints
2.64/1.42	c (0,0) translated 668 (60%) constraints
2.64/1.43	c (0,0) translated 779 (70%) constraints
2.64/1.44	c (0,0) translated 890 (80%) constraints
2.64/1.44	c (0,0) translated 1001 (90%) constraints
3.46/1.64	c (1,1) translated 1112 (100%) constraints
3.46/1.65	c (1,1) CSP to CSPinCNF End
3.46/1.66	c (1,1) CSP: 60 int (0 aux), 1521 bool (1521 aux), 4154 ctr, max domain size 40
3.46/1.66	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.46/1.66	c (1,1) CSPinCNF Propagation Begin
3.88/1.72	c (1,1) 0 values, 0 unsatisfiable literals, and 79 valid clauses are removed
3.88/1.72	c (1,1) CSPinCNF Propagation End
3.88/1.72	c (1,1) CSP: 60 int (0 aux), 1521 bool (1521 aux), 4075 ctr, max domain size 40
3.88/1.72	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.88/1.73	c (1,1) Hybrid: #OE=1581, #LE=0
3.88/1.73	c (1,1) Simplify CSPinCNF Begin
4.30/1.81	c (1,1) Simplify CSPinCNF End
4.30/1.82	c (1,1) CSP: 60 int (0 aux), 3501 bool (3501 aux), 6055 ctr, max domain size 40
4.30/1.82	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.30/1.82	c (1,1) Calculate Precise Domain Begin
4.30/1.82	c (1,1) 0 values are removed by re-calculation
4.30/1.82	c (1,1) Calculate Precise Domain End
4.30/1.82	c (1,1) CSP: 60 int (0 aux), 3501 bool (3501 aux), 6055 ctr, max domain size 40
4.30/1.82	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.30/1.82	c (1,1) CSPinCNF to SatSolver Begin
7.24/2.62	c (2,2) 606 (10 %) CSP clauses are encoded (0 SAT variables, 135017 SAT clauses)
7.46/2.70	c (2,2) 1211 (20 %) CSP clauses are encoded (0 SAT variables, 151045 SAT clauses)
7.46/2.78	c (2,2) 1817 (30 %) CSP clauses are encoded (0 SAT variables, 167003 SAT clauses)
7.61/2.85	c (2,2) 2422 (40 %) CSP clauses are encoded (0 SAT variables, 182922 SAT clauses)
7.75/2.93	c (2,2) 3028 (50 %) CSP clauses are encoded (0 SAT variables, 198880 SAT clauses)
7.75/2.94	c (2,2) 3633 (60 %) CSP clauses are encoded (0 SAT variables, 200093 SAT clauses)
7.75/2.94	c (2,2) 4239 (70 %) CSP clauses are encoded (0 SAT variables, 200699 SAT clauses)
7.75/2.95	c (2,2) 4844 (80 %) CSP clauses are encoded (0 SAT variables, 201304 SAT clauses)
7.75/2.96	c (2,2) 5450 (90 %) CSP clauses are encoded (0 SAT variables, 201910 SAT clauses)
7.75/2.96	c (2,2) 6055 (100 %) CSP clauses are encoded (0 SAT variables, 202515 SAT clauses)
7.75/2.96	c (2,2) CSPinCNF to SatSolver End
7.75/2.96	c (2,2) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.75/2.96	c (2,2) 5802 bool, 202516 clause
7.75/2.96	c (2,2) Export Begin
7.92/3.05	c (2,2) Export to HOME/scop-769-serial-file.bin
7.92/3.05	c (2,2) Export End
7.92/3.05	c (2,2) Export File Size: 0.01 MB
7.92/3.05	c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
7.92/3.05	c END-Prog: Sat Sep 14 01:19:16 CEST 2019
7.92/3.07	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-769-serial-file.bin
8.04/3.53	c (0,0) Read Serial File Begin
8.04/3.53	c (0,0) HOME/scop-769-serial-file.bin
8.04/3.74	c (0,0) Read Serial File End
8.04/3.95	
8.04/3.95	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
8.04/3.95	(Solving Process)
8.04/3.95	
8.04/3.95	c BEGIN-Prog: Sat Sep 14 01:19:17 CEST 2019
8.04/3.95	c PID: 792
8.04/3.95	c IP: 172.20.3.103
8.04/3.95	c HOST: node103.alineos.net
8.04/3.95	c (0,0) SatSolver.solve Begin
8.04/3.95	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392639-1568416812.xml-scop-772.cnf
8.04/3.95	c (0,0) c
8.04/3.95	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)
8.04/3.95	c (0,0) c
8.04/3.95	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
8.04/3.95	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
8.04/3.95	c (0,0) c ========================================[ Problem Statistics ]===========================================
8.04/3.95	c (0,0) c |                                                                                                       |
8.04/3.95	c (0,0) c |  Number of variables:          5802                                                                   |
8.04/3.95	c (0,0) c |  Number of clauses:          202516                                                                   |
8.04/3.95	c (0,0) c |  Parse time:                   0.06 s                                                                 |
8.04/3.95	c (0,0) c |                                                                                                       |
9.48/4.18	c (0,0) c |  Simplification time:          0.32 s                                                                 |
9.48/4.18	c (0,0) c |                                                                                                       |
9.48/4.18	c (0,0) c |  Generating clones                                                                                    |
9.57/4.22	c (0,0) c |  all clones generated. Memory =   133.09Mb.                                                           |
9.57/4.22	c (0,0) c ========================================================================================================|
9.57/4.22	c (0,0) c
9.57/4.22	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
9.57/4.22	c (0,0) c
9.57/4.22	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.57/4.22	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
9.57/4.22	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.57/4.22	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
9.57/4.22	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
9.57/4.22	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
9.57/4.22	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
9.57/4.22	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
9.57/4.22	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
9.57/4.22	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
9.57/4.22	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
9.57/4.22	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
9.57/4.22	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
9.57/4.22	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
9.57/4.22	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
9.57/4.22	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
9.57/4.23	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
9.57/4.23	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
9.57/4.23	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.18/5.21	c (1,0) c
17.18/5.21	c (1,0) c real time : 1.41145 s
17.18/5.21	c (1,0) c cpu time  : 7.97226 s
17.18/5.21	c (1,0) c
17.18/5.21	c (1,0) c
17.18/5.21	c (1,0) c
17.18/5.21	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
17.18/5.21	c (1,0) c
17.18/5.21	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.18/5.21	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.18/5.21	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.18/5.21	c (1,0) c | Conflicts     |           33272 |       4374 |       3001 |       4681 |       3249 |       4724 |       4003 |       3598 |       5642 |
17.18/5.21	c (1,0) c | Decisions     |           68642 |      10898 |       6413 |       8350 |       5438 |       9392 |       6500 |      10324 |      11327 |
17.18/5.21	c (1,0) c | Propagations  |        15478793 |    2032597 |    1547921 |    2227120 |    1769038 |    2203117 |    1919464 |    1636098 |    2143438 |
17.18/5.21	c (1,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
17.18/5.21	c (1,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
17.18/5.21	c (1,0) c | Restarts      |             155 |         20 |         23 |          9 |         15 |         21 |         15 |         25 |         27 |
17.18/5.21	c (1,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.18/5.21	c (1,0) c | PropBinClauses|        20207727 |    2670535 |    2050277 |    2924994 |    2275524 |    2845273 |    2471547 |    2175866 |    2793711 |
17.18/5.21	c (1,0) c | PropPreBlocker|       488968076 |   65316156 |   50131264 |   70827362 |   55869070 |   69123069 |   58298035 |   51371871 |   68031249 |
17.18/5.21	c (1,0) c | PropNotBlocker|        79091335 |   10382719 |    9202280 |   10165471 |    9370814 |   11108289 |    9902412 |    8235729 |   10723621 |
17.18/5.21	c (1,0) c | LitFullScans  |       631306796 |   84032774 |   66011049 |   90006528 |   72016489 |   88819874 |   76107673 |   66889152 |   87423257 |
17.18/5.21	c (1,0) c | LitScanFracts |           30473 |       2058 |       3201 |       4599 |       6104 |       4382 |       3323 |       3778 |       3028 |
17.18/5.21	c (1,0) c | DecisionLevel0|             155 |         20 |         23 |          9 |         15 |         21 |         15 |         25 |         27 |
17.18/5.21	c (1,0) c | Periods       |             103 |         14 |         11 |         15 |         12 |         14 |         12 |         11 |         14 |
17.18/5.21	c (1,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
17.18/5.21	c (1,0) c | Avg_Trail     |                 |       3197 |       3077 |       3302 |       3079 |       3037 |       2899 |       3254 |       3102 |
17.18/5.21	c (1,0) c | Avg_DL        |                 |         55 |         41 |         55 |         35 |         50 |         40 |         52 |         46 |
17.18/5.21	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.18/5.21	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.18/5.21	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.18/5.21	c (1,0) c | Exported      |             570 |         67 |         54 |         43 |         20 |         64 |         12 |         95 |        215 |
17.18/5.21	c (1,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.18/5.21	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.18/5.21	c (1,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.18/5.21	c (1,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.18/5.21	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.18/5.21	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.18/5.21	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.18/5.21	c (1,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.18/5.21	c (1,0) c | Binaries      |                 |          7 |          7 |          8 |          0 |          5 |          0 |          0 |          2 |
17.18/5.21	c (1,0) c | Glues         |                 |         67 |         54 |         43 |         20 |         64 |         12 |         95 |         89 |
17.18/5.21	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.18/5.21	c (1,0) c | Orig_Seen     |            17 % |      37513 |      27317 |      39415 |      29223 |      42387 |      29828 |      35810 |      40636 |
17.18/5.21	c (1,0) c | Diff Orig seen|                 |       1703 | -     8493 |       3605 | -     6587 |       6577 | -     5982 |      X     |       4826 |
17.18/5.21	c (1,0) c | Hamming       |            23 % |       1281 |       1504 |       1142 |       1596 |       1328 |       1322 |      X     |       1340 |
17.18/5.21	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.18/5.21	c (1,0) c | RunningTime   |                 |    1.0 100%|    1.0 100%|    1.0 100%|    1.0 100%|    0.9 100%|    1.0 100%|    0.9 100%|    1.0 100%|
17.18/5.21	c (1,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%|
17.18/5.21	c (1,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%|
17.18/5.21	c (1,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%|
17.18/5.21	c (1,0) c | SolvingTime   |                 |    1.0     |    1.0     |    1.0     |    1.0     |    0.9     |    1.0     |    0.9     |    1.0     |
17.18/5.21	c (1,0) c | PropagationTim|                 |    0.9  92%|    0.9  93%|    0.9  91%|    0.9  93%|    0.9  92%|    0.9  93%|    0.9  92%|    0.9  92%|
17.18/5.21	c (1,0) c | AnalysisTime  |                 |    0.1   5%|    0.0   5%|    0.1   6%|    0.0   5%|    0.1   6%|    0.0   5%|    0.1   6%|    0.1   6%|
17.18/5.21	c (1,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
17.18/5.21	c (1,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%|
17.18/5.21	c (1,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%|
17.18/5.21	c (1,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%|
17.18/5.21	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.18/5.21	c (1,0) c
17.18/5.21	c (1,0) c
17.18/5.21	c (1,0) c Threads : 8
17.18/5.21	c (1,0) c Winner : 6
17.18/5.21	c (1,0) c Conflicts_0 : 4374
17.18/5.21	c (1,0) c Conflicts_1 : 3001
17.18/5.21	c (1,0) c Conflicts_2 : 4681
17.18/5.21	c (1,0) c Conflicts_3 : 3249
17.18/5.21	c (1,0) c Conflicts_4 : 4724
17.18/5.21	c (1,0) c Conflicts_5 : 4003
17.18/5.21	c (1,0) c Conflicts_6 : 3598
17.18/5.22	c (1,0) c Conflicts_7 : 5642
17.18/5.22	c (1,0) c Conflicts_total : 33272
17.18/5.22	c (1,0) c Conflicts_winner : 3598
17.18/5.22	c (1,0) c Decisions_0 : 10898
17.18/5.22	c (1,0) c Decisions_1 : 6413
17.18/5.22	c (1,0) c Decisions_2 : 8350
17.18/5.22	c (1,0) c Decisions_3 : 5438
17.18/5.22	c (1,0) c Decisions_4 : 9392
17.18/5.22	c (1,0) c Decisions_5 : 6500
17.18/5.22	c (1,0) c Decisions_6 : 10324
17.18/5.22	c (1,0) c Decisions_7 : 11327
17.18/5.22	c (1,0) c Decisions_total : 68642
17.18/5.22	c (1,0) c Decisions_winner : 10324
17.18/5.22	c (1,0) c Propagations_0 : 2032597
17.18/5.22	c (1,0) c Propagations_1 : 1547921
17.18/5.22	c (1,0) c Propagations_2 : 2227120
17.18/5.22	c (1,0) c Propagations_3 : 1769038
17.18/5.22	c (1,0) c Propagations_4 : 2203117
17.18/5.22	c (1,0) c Propagations_5 : 1919464
17.18/5.22	c (1,0) c Propagations_6 : 1636098
17.18/5.22	c (1,0) c Propagations_7 : 2143438
17.18/5.22	c (1,0) c Propagations_total : 15478793
17.18/5.22	c (1,0) c Propagations_winner : 1636098
17.18/5.22	c (1,0) c ReduceDBs_0 : 1
17.18/5.22	c (1,0) c ReduceDBs_1 : 1
17.18/5.22	c (1,0) c ReduceDBs_2 : 1
17.18/5.22	c (1,0) c ReduceDBs_3 : 1
17.18/5.22	c (1,0) c ReduceDBs_4 : 1
17.18/5.22	c (1,0) c ReduceDBs_5 : 1
17.18/5.22	c (1,0) c ReduceDBs_6 : 1
17.18/5.22	c (1,0) c ReduceDBs_7 : 1
17.18/5.22	c (1,0) c ReduceDBs_total : 8
17.18/5.22	c (1,0) c ReduceDBs_winner : 1
17.18/5.22	c (1,0) c SimpDBs_0 : 1
17.18/5.22	c (1,0) c SimpDBs_1 : 1
17.18/5.22	c (1,0) c SimpDBs_2 : 1
17.18/5.22	c (1,0) c SimpDBs_3 : 1
17.18/5.22	c (1,0) c SimpDBs_4 : 1
17.18/5.22	c (1,0) c SimpDBs_5 : 1
17.18/5.22	c (1,0) c SimpDBs_6 : 1
17.18/5.22	c (1,0) c SimpDBs_7 : 1
17.18/5.22	c (1,0) c SimpDBs_total : 8
17.18/5.22	c (1,0) c SimpDBs_winner : 1
17.18/5.22	c (1,0) c Restarts_0 : 20
17.18/5.22	c (1,0) c Restarts_1 : 23
17.18/5.22	c (1,0) c Restarts_2 : 9
17.18/5.22	c (1,0) c Restarts_3 : 15
17.18/5.22	c (1,0) c Restarts_4 : 21
17.18/5.22	c (1,0) c Restarts_5 : 15
17.18/5.22	c (1,0) c Restarts_6 : 25
17.18/5.22	c (1,0) c Restarts_7 : 27
17.18/5.22	c (1,0) c Restarts_total : 155
17.18/5.22	c (1,0) c Restarts_winner : 25
17.18/5.22	c (1,0) c ForcedImports_0 : 0
17.18/5.22	c (1,0) c ForcedImports_1 : 0
17.18/5.22	c (1,0) c ForcedImports_2 : 0
17.18/5.22	c (1,0) c ForcedImports_3 : 0
17.18/5.22	c (1,0) c ForcedImports_4 : 0
17.18/5.22	c (1,0) c ForcedImports_5 : 0
17.18/5.22	c (1,0) c ForcedImports_6 : 0
17.18/5.22	c (1,0) c ForcedImports_7 : 0
17.18/5.22	c (1,0) c ForcedImports_total : 0
17.18/5.22	c (1,0) c ForcedImports_winner : 0
17.18/5.22	c (1,0) c PropsBinClauses_0 : 2670535
17.18/5.22	c (1,0) c PropsBinClauses_1 : 2050277
17.18/5.22	c (1,0) c PropsBinClauses_2 : 2924994
17.18/5.22	c (1,0) c PropsBinClauses_3 : 2275524
17.18/5.22	c (1,0) c PropsBinClauses_4 : 2845273
17.18/5.22	c (1,0) c PropsBinClauses_5 : 2471547
17.18/5.22	c (1,0) c PropsBinClauses_6 : 2175866
17.18/5.22	c (1,0) c PropsBinClauses_7 : 2793711
17.18/5.22	c (1,0) c PropsBinClauses_total : 20207727
17.18/5.22	c (1,0) c PropsBinClauses_winner : 2175866
17.18/5.22	c (1,0) c PropsPreBlocker_0 : 65316156
17.18/5.22	c (1,0) c PropsPreBlocker_1 : 50131264
17.18/5.22	c (1,0) c PropsPreBlocker_2 : 70827362
17.18/5.22	c (1,0) c PropsPreBlocker_3 : 55869070
17.18/5.22	c (1,0) c PropsPreBlocker_4 : 69123069
17.18/5.22	c (1,0) c PropsPreBlocker_5 : 58298035
17.18/5.22	c (1,0) c PropsPreBlocker_6 : 51371871
17.18/5.22	c (1,0) c PropsPreBlocker_7 : 68031249
17.18/5.22	c (1,0) c PropsPreBlocker_total : 488968076
17.18/5.22	c (1,0) c PropsPreBlocker_winner : 51371871
17.18/5.22	c (1,0) c PropsNotBlocker_0 : 10382719
17.18/5.22	c (1,0) c PropsNotBlocker_1 : 9202280
17.18/5.22	c (1,0) c PropsNotBlocker_2 : 10165471
17.18/5.22	c (1,0) c PropsNotBlocker_3 : 9370814
17.18/5.22	c (1,0) c PropsNotBlocker_4 : 11108289
17.18/5.22	c (1,0) c PropsNotBlocker_5 : 9902412
17.18/5.22	c (1,0) c PropsNotBlocker_6 : 8235729
17.18/5.22	c (1,0) c PropsNotBlocker_7 : 10723621
17.18/5.22	c (1,0) c PropsNotBlocker_total : 79091335
17.18/5.22	c (1,0) c PropsNotBlocker_winner : 8235729
17.18/5.22	c (1,0) c PropsLitFullScans_0 : 84032774
17.18/5.22	c (1,0) c PropsLitFullScans_1 : 66011049
17.18/5.22	c (1,0) c PropsLitFullScans_2 : 90006528
17.18/5.22	c (1,0) c PropsLitFullScans_3 : 72016489
17.18/5.22	c (1,0) c PropsLitFullScans_4 : 88819874
17.18/5.22	c (1,0) c PropsLitFullScans_5 : 76107673
17.18/5.22	c (1,0) c PropsLitFullScans_6 : 66889152
17.18/5.22	c (1,0) c PropsLitFullScans_7 : 87423257
17.18/5.22	c (1,0) c PropsLitFullScans_total : 631306796
17.18/5.22	c (1,0) c PropsLitFullScans_winner : 66889152
17.18/5.22	c (1,0) c LitScanFractions_0 : 2058
17.18/5.22	c (1,0) c LitScanFractions_1 : 3201
17.18/5.22	c (1,0) c LitScanFractions_2 : 4599
17.18/5.22	c (1,0) c LitScanFractions_3 : 6104
17.18/5.22	c (1,0) c LitScanFractions_4 : 4382
17.18/5.22	c (1,0) c LitScanFractions_5 : 3323
17.18/5.22	c (1,0) c LitScanFractions_6 : 3778
17.18/5.22	c (1,0) c LitScanFractions_7 : 3028
17.18/5.22	c (1,0) c LitScanFractions_total : 30473
17.18/5.22	c (1,0) c LitScanFractions_winner : 3778
17.18/5.22	c (1,0) c DecisionLevel0_0 : 20
17.18/5.22	c (1,0) c DecisionLevel0_1 : 23
17.18/5.22	c (1,0) c DecisionLevel0_2 : 9
17.18/5.22	c (1,0) c DecisionLevel0_3 : 15
17.18/5.22	c (1,0) c DecisionLevel0_4 : 21
17.18/5.22	c (1,0) c DecisionLevel0_5 : 15
17.18/5.22	c (1,0) c DecisionLevel0_6 : 25
17.18/5.22	c (1,0) c DecisionLevel0_7 : 27
17.18/5.22	c (1,0) c DecisionLevel0_total : 155
17.18/5.22	c (1,0) c DecisionLevel0_winner : 25
17.18/5.22	c (1,0) c Periods_0 : 14
17.18/5.22	c (1,0) c Periods_1 : 11
17.18/5.22	c (1,0) c Periods_2 : 15
17.18/5.22	c (1,0) c Periods_3 : 12
17.18/5.22	c (1,0) c Periods_4 : 14
17.18/5.22	c (1,0) c Periods_5 : 12
17.18/5.22	c (1,0) c Periods_6 : 11
17.18/5.22	c (1,0) c Periods_7 : 14
17.18/5.22	c (1,0) c Periods_total : 103
17.18/5.22	c (1,0) c Periods_winner : 11
17.18/5.22	c (1,0) c Margin_0 : 20
17.18/5.22	c (1,0) c Margin_1 : 20
17.18/5.22	c (1,0) c Margin_2 : 20
17.18/5.22	c (1,0) c Margin_3 : 20
17.18/5.22	c (1,0) c Margin_4 : 20
17.18/5.22	c (1,0) c Margin_5 : 20
17.18/5.22	c (1,0) c Margin_6 : 20
17.18/5.22	c (1,0) c Margin_7 : 20
17.18/5.22	c (1,0) c Margin_total : 160
17.18/5.22	c (1,0) c Margin_winner : 20
17.18/5.22	c (1,0) c Exported_0 : 67
17.18/5.22	c (1,0) c Exported_1 : 54
17.18/5.22	c (1,0) c Exported_2 : 43
17.18/5.22	c (1,0) c Exported_3 : 20
17.18/5.22	c (1,0) c Exported_4 : 64
17.18/5.22	c (1,0) c Exported_5 : 12
17.18/5.22	c (1,0) c Exported_6 : 95
17.18/5.22	c (1,0) c Exported_7 : 215
17.18/5.22	c (1,0) c Exported_total : 570
17.18/5.22	c (1,0) c Exported_winner : 95
17.18/5.22	c (1,0) c Imported_0 : 0
17.18/5.22	c (1,0) c Imported_1 : 0
17.18/5.22	c (1,0) c Imported_2 : 0
17.18/5.22	c (1,0) c Imported_3 : 0
17.18/5.22	c (1,0) c Imported_4 : 0
17.18/5.22	c (1,0) c Imported_5 : 0
17.18/5.22	c (1,0) c Imported_6 : 0
17.18/5.22	c (1,0) c Imported_7 : 0
17.18/5.22	c (1,0) c Imported_total : 0
17.18/5.22	c (1,0) c Imported_winner : 0
17.18/5.22	c (1,0) c Good_0 : 0
17.18/5.22	c (1,0) c Good_1 : 0
17.18/5.22	c (1,0) c Good_2 : 0
17.18/5.22	c (1,0) c Good_3 : 0
17.18/5.22	c (1,0) c Good_4 : 0
17.18/5.22	c (1,0) c Good_5 : 0
17.18/5.22	c (1,0) c Good_6 : 0
17.18/5.22	c (1,0) c Good_7 : 0
17.18/5.22	c (1,0) c Good_total : 0
17.18/5.22	c (1,0) c Good_winner : 0
17.18/5.22	c (1,0) c Purge_0 : 0
17.18/5.22	c (1,0) c Purge_1 : 0
17.18/5.22	c (1,0) c Purge_2 : 0
17.18/5.22	c (1,0) c Purge_3 : 0
17.18/5.22	c (1,0) c Purge_4 : 0
17.18/5.22	c (1,0) c Purge_5 : 0
17.18/5.22	c (1,0) c Purge_6 : 0
17.18/5.22	c (1,0) c Purge_7 : 0
17.18/5.22	c (1,0) c Purge_total : 0
17.18/5.22	c (1,0) c Purge_winner : 0
17.18/5.22	c (1,0) c Promoted_0 : 0
17.18/5.22	c (1,0) c Promoted_1 : 0
17.18/5.22	c (1,0) c Promoted_2 : 0
17.18/5.22	c (1,0) c Promoted_3 : 0
17.18/5.22	c (1,0) c Promoted_4 : 0
17.18/5.22	c (1,0) c Promoted_5 : 0
17.18/5.22	c (1,0) c Promoted_6 : 0
17.18/5.22	c (1,0) c Promoted_7 : 0
17.18/5.22	c (1,0) c Promoted_total : 0
17.18/5.22	c (1,0) c Promoted_winner : 0
17.18/5.22	c (1,0) c Remove_Imp_0 : 0
17.18/5.22	c (1,0) c Remove_Imp_1 : 0
17.18/5.22	c (1,0) c Remove_Imp_2 : 0
17.18/5.22	c (1,0) c Remove_Imp_3 : 0
17.18/5.22	c (1,0) c Remove_Imp_4 : 0
17.18/5.22	c (1,0) c Remove_Imp_5 : 0
17.18/5.22	c (1,0) c Remove_Imp_6 : 0
17.18/5.22	c (1,0) c Remove_Imp_7 : 0
17.18/5.22	c (1,0) c Remove_Imp_total : 0
17.18/5.22	c (1,0) c Remove_Imp_winner : 0
17.18/5.22	c (1,0) c Blocked_Reuse_0 : 0
17.18/5.22	c (1,0) c Blocked_Reuse_1 : 0
17.18/5.22	c (1,0) c Blocked_Reuse_2 : 0
17.18/5.22	c (1,0) c Blocked_Reuse_3 : 0
17.18/5.22	c (1,0) c Blocked_Reuse_4 : 0
17.18/5.22	c (1,0) c Blocked_Reuse_5 : 0
17.18/5.22	c (1,0) c Blocked_Reuse_6 : 0
17.18/5.22	c (1,0) c Blocked_Reuse_7 : 0
17.18/5.22	c (1,0) c Blocked_Reuse_total : 0
17.18/5.22	c (1,0) c Blocked_Reuse_winner : 0
17.18/5.22	c (1,0) c Unaries_0 : 0
17.18/5.22	c (1,0) c Unaries_1 : 0
17.18/5.22	c (1,0) c Unaries_2 : 0
17.18/5.22	c (1,0) c Unaries_3 : 0
17.18/5.22	c (1,0) c Unaries_4 : 0
17.18/5.22	c (1,0) c Unaries_5 : 0
17.18/5.22	c (1,0) c Unaries_6 : 0
17.18/5.22	c (1,0) c Unaries_7 : 0
17.18/5.22	c (1,0) c Unaries_total : 0
17.18/5.22	c (1,0) c Unaries_winner : 0
17.18/5.22	c (1,0) c Binaries_0 : 7
17.18/5.22	c (1,0) c Binaries_1 : 7
17.18/5.22	c (1,0) c Binaries_2 : 8
17.18/5.22	c (1,0) c Binaries_3 : 0
17.18/5.22	c (1,0) c Binaries_4 : 5
17.18/5.22	c (1,0) c Binaries_5 : 0
17.18/5.22	c (1,0) c Binaries_6 : 0
17.18/5.22	c (1,0) c Binaries_7 : 2
17.18/5.22	c (1,0) c Binaries_total : 29
17.18/5.22	c (1,0) c Binaries_winner : 0
17.18/5.22	c (1,0) c Glues_0 : 67
17.18/5.22	c (1,0) c Glues_1 : 54
17.18/5.22	c (1,0) c Glues_2 : 43
17.18/5.22	c (1,0) c Glues_3 : 20
17.18/5.22	c (1,0) c Glues_4 : 64
17.18/5.22	c (1,0) c Glues_5 : 12
17.18/5.22	c (1,0) c Glues_6 : 95
17.18/5.22	c (1,0) c Glues_7 : 89
17.18/5.22	c (1,0) c Glues_total : 444
17.18/5.22	c (1,0) c Glues_winner : 95
17.18/5.22	c (1,0) c RunningTime_0 : 0.965523
17.18/5.22	c (1,0) c RunningTime_1 : 0.955607
17.18/5.22	c (1,0) c RunningTime_2 : 0.985574
17.18/5.22	c (1,0) c RunningTime_3 : 0.983033
17.18/5.22	c (1,0) c RunningTime_4 : 0.942029
17.18/5.22	c (1,0) c RunningTime_5 : 0.968226
17.18/5.22	c (1,0) c RunningTime_6 : 0.942390
17.18/5.22	c (1,0) c RunningTime_7 : 0.970009
17.18/5.22	c (1,0) c RunningTime_total : 7.712391
17.18/5.22	c (1,0) c RunningTime_winner : 0.942390
17.18/5.22	c (1,0) c WaitingTime_0 : 0.000000
17.18/5.22	c (1,0) c WaitingTime_1 : 0.000000
17.18/5.22	c (1,0) c WaitingTime_2 : 0.000000
17.18/5.22	c (1,0) c WaitingTime_3 : 0.000000
17.18/5.22	c (1,0) c WaitingTime_4 : 0.000000
17.18/5.22	c (1,0) c WaitingTime_5 : 0.000000
17.18/5.22	c (1,0) c WaitingTime_6 : 0.000000
17.18/5.22	c (1,0) c WaitingTime_7 : 0.000000
17.18/5.22	c (1,0) c WaitingTime_total : 0.000000
17.18/5.22	c (1,0) c WaitingTime_winner : 0.000000
17.18/5.22	c (1,0) c ExchangingTime_0 : 0.000344
17.18/5.22	c (1,0) c ExchangingTime_1 : 0.000289
17.18/5.22	c (1,0) c ExchangingTime_2 : 0.000332
17.18/5.22	c (1,0) c ExchangingTime_3 : 0.000247
17.18/5.22	c (1,0) c ExchangingTime_4 : 0.000369
17.18/5.22	c (1,0) c ExchangingTime_5 : 0.000276
17.18/5.22	c (1,0) c ExchangingTime_6 : 0.000361
17.18/5.22	c (1,0) c ExchangingTime_7 : 0.000472
17.18/5.22	c (1,0) c ExchangingTime_total : 0.002691
17.18/5.22	c (1,0) c ExchangingTime_winner : 0.000361
17.18/5.22	c (1,0) c PeriodProcTime_0 : 0.000111
17.18/5.22	c (1,0) c PeriodProcTime_1 : 0.000099
17.18/5.22	c (1,0) c PeriodProcTime_2 : 0.000129
17.18/5.22	c (1,0) c PeriodProcTime_3 : 0.000098
17.18/5.22	c (1,0) c PeriodProcTime_4 : 0.000099
17.18/5.22	c (1,0) c PeriodProcTime_5 : 0.000080
17.18/5.22	c (1,0) c PeriodProcTime_6 : 0.000090
17.18/5.23	c (1,0) c PeriodProcTime_7 : 0.000102
17.18/5.23	c (1,0) c PeriodProcTime_total : 0.000807
17.18/5.23	c (1,0) c PeriodProcTime_winner : 0.000090
17.18/5.23	c (1,0) c SolvingTime_0 : 0.965979
17.18/5.23	c (1,0) c SolvingTime_1 : 0.955995
17.18/5.23	c (1,0) c SolvingTime_2 : 0.986035
17.18/5.23	c (1,0) c SolvingTime_3 : 0.983377
17.18/5.23	c (1,0) c SolvingTime_4 : 0.942497
17.18/5.23	c (1,0) c SolvingTime_5 : 0.968581
17.18/5.23	c (1,0) c SolvingTime_6 : 0.942842
17.18/5.23	c (1,0) c SolvingTime_7 : 0.970583
17.18/5.23	c (1,0) c SolvingTime_total : 7.715890
17.18/5.23	c (1,0) c SolvingTime_winner : 0.942842
17.18/5.23	c (1,0) c PropagationTime_0 : 0.888585
17.18/5.23	c (1,0) c PropagationTime_1 : 0.888921
17.18/5.23	c (1,0) c PropagationTime_2 : 0.897959
17.18/5.23	c (1,0) c PropagationTime_3 : 0.917381
17.18/5.23	c (1,0) c PropagationTime_4 : 0.863818
17.18/5.23	c (1,0) c PropagationTime_5 : 0.898069
17.18/5.23	c (1,0) c PropagationTime_6 : 0.862836
17.18/5.23	c (1,0) c PropagationTime_7 : 0.889235
17.18/5.23	c (1,0) c PropagationTime_total : 7.106804
17.18/5.23	c (1,0) c PropagationTime_winner : 0.862836
17.18/5.23	c (1,0) c AnalysisTime_0 : 0.052962
17.18/5.23	c (1,0) c AnalysisTime_1 : 0.047945
17.18/5.23	c (1,0) c AnalysisTime_2 : 0.063031
17.18/5.23	c (1,0) c AnalysisTime_3 : 0.044288
17.18/5.23	c (1,0) c AnalysisTime_4 : 0.052250
17.18/5.23	c (1,0) c AnalysisTime_5 : 0.049313
17.18/5.23	c (1,0) c AnalysisTime_6 : 0.056617
17.18/5.23	c (1,0) c AnalysisTime_7 : 0.055122
17.18/5.23	c (1,0) c AnalysisTime_total : 0.421527
17.18/5.23	c (1,0) c AnalysisTime_winner : 0.056617
17.18/5.23	c (1,0) c ReductionTime_0 : 0.000384
17.18/5.23	c (1,0) c ReductionTime_1 : 0.000389
17.18/5.23	c (1,0) c ReductionTime_2 : 0.000392
17.18/5.23	c (1,0) c ReductionTime_3 : 0.000381
17.18/5.23	c (1,0) c ReductionTime_4 : 0.000367
17.18/5.23	c (1,0) c ReductionTime_5 : 0.000417
17.18/5.23	c (1,0) c ReductionTime_6 : 0.000391
17.18/5.23	c (1,0) c ReductionTime_7 : 0.000402
17.18/5.23	c (1,0) c ReductionTime_total : 0.003123
17.18/5.23	c (1,0) c ReductionTime_winner : 0.000391
17.18/5.23	c (1,0) c SimplifyTime_0 : 0.000001
17.18/5.23	c (1,0) c SimplifyTime_1 : 0.000001
17.18/5.23	c (1,0) c SimplifyTime_2 : 0.000000
17.18/5.23	c (1,0) c SimplifyTime_3 : 0.000003
17.18/5.23	c (1,0) c SimplifyTime_4 : 0.000002
17.18/5.23	c (1,0) c SimplifyTime_5 : 0.000000
17.18/5.23	c (1,0) c SimplifyTime_6 : 0.000001
17.18/5.23	c (1,0) c SimplifyTime_7 : 0.000003
17.18/5.23	c (1,0) c SimplifyTime_total : 0.000011
17.18/5.23	c (1,0) c SimplifyTime_winner : 0.000001
17.18/5.23	c (1,0) c UsedRateTime_0 : 0.000000
17.18/5.23	c (1,0) c UsedRateTime_1 : 0.000000
17.18/5.23	c (1,0) c UsedRateTime_2 : 0.000000
17.18/5.23	c (1,0) c UsedRateTime_3 : 0.000000
17.18/5.23	c (1,0) c UsedRateTime_4 : 0.000000
17.18/5.23	c (1,0) c UsedRateTime_5 : 0.000000
17.18/5.23	c (1,0) c UsedRateTime_6 : 0.000000
17.18/5.23	c (1,0) c UsedRateTime_7 : 0.000000
17.18/5.23	c (1,0) c UsedRateTime_total : 0.000000
17.18/5.23	c (1,0) c UsedRateTime_winner : 0.000000
17.18/5.23	c (1,0) c OverlapRateTime_0 : 0.000000
17.18/5.23	c (1,0) c OverlapRateTime_1 : 0.000000
17.18/5.23	c (1,0) c OverlapRateTime_2 : 0.000000
17.18/5.23	c (1,0) c OverlapRateTime_3 : 0.000000
17.18/5.23	c (1,0) c OverlapRateTime_4 : 0.000000
17.18/5.23	c (1,0) c OverlapRateTime_5 : 0.000000
17.18/5.23	c (1,0) c OverlapRateTime_6 : 0.000000
17.18/5.23	c (1,0) c OverlapRateTime_7 : 0.000000
17.18/5.23	c (1,0) c OverlapRateTime_total : 0.000000
17.18/5.23	c (1,0) c OverlapRateTime_winner : 0.000000
17.18/5.23	c (1,0) c
17.18/5.23	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
17.18/5.23	c (1,0) c
17.18/5.23	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.18/5.23	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.18/5.23	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.18/5.23	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
17.18/5.23	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
17.18/5.23	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
17.18/5.23	c (1,0) c | Initial random_seed   |  106491663 |  134334887 | 1806477268 | 1538679837 |  528812733 |  688494261 |  983501546 | 1442279370 |
17.18/5.23	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
17.18/5.23	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
17.18/5.23	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
17.18/5.23	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
17.18/5.23	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
17.18/5.23	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
17.18/5.23	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
17.18/5.23	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8100 |
17.18/5.23	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
17.18/5.23	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
17.18/5.23	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
17.18/5.23	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.18/5.23	c (1,0) 
17.18/5.23	c (1,0) s SATISFIABLE
17.18/5.25	c (1,0) SatSolver.solve End
17.18/5.25	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.18/5.25	c (1,0) Show results Begin
17.44/5.35	c (1,0) ce[0][0][1] = 14
17.44/5.35	c (1,0) ce[0][0][2] = 7
17.44/5.35	c (1,0) ce[0][1][2] = 21
17.44/5.35	c (1,0) ce[1][0][1] = 34
17.44/5.35	c (1,0) ce[1][0][2] = 12
17.44/5.35	c (1,0) ce[1][1][2] = 22
17.44/5.35	c (1,0) ce[2][0][1] = 37
17.44/5.35	c (1,0) ce[2][0][2] = 18
17.44/5.35	c (1,0) ce[2][1][2] = 19
17.44/5.35	c (1,0) ce[3][0][1] = 10
17.44/5.35	c (1,0) ce[3][0][2] = 33
17.44/5.35	c (1,0) ce[3][1][2] = 23
17.44/5.35	c (1,0) ce[4][0][1] = 4
17.44/5.35	c (1,0) ce[4][0][2] = 30
17.44/5.35	c (1,0) ce[4][1][2] = 26
17.44/5.35	c (1,0) ce[5][0][1] = 5
17.44/5.35	c (1,0) ce[5][0][2] = 20
17.44/5.35	c (1,0) ce[5][1][2] = 15
17.44/5.35	c (1,0) ce[6][0][1] = 1
17.44/5.35	c (1,0) ce[6][0][2] = 28
17.44/5.35	c (1,0) ce[6][1][2] = 29
17.44/5.35	c (1,0) cie[0][0] = 16
17.44/5.35	c (1,0) cie[0][1] = 32
17.44/5.35	c (1,0) cie[0][2] = 11
17.44/5.35	c (1,0) cie[1][0] = 36
17.44/5.35	c (1,0) cie[1][1] = 35
17.44/5.35	c (1,0) cie[1][2] = 6
17.44/5.35	c (1,0) cie[2][0] = 38
17.44/5.35	c (1,0) cie[2][1] = 9
17.44/5.35	c (1,0) cie[2][2] = 13
17.44/5.35	c (1,0) cie[3][0] = 39
17.44/5.35	c (1,0) cie[3][1] = 25
17.44/5.35	c (1,0) cie[3][2] = 24
17.44/5.35	c (1,0) cie[4][0] = 2
17.44/5.35	c (1,0) cie[4][1] = 3
17.44/5.35	c (1,0) cie[4][2] = 8
17.44/5.35	c (1,0) cie[5][0] = 31
17.44/5.35	c (1,0) cie[5][1] = 27
17.44/5.35	c (1,0) cie[5][2] = 17
17.44/5.35	c (1,0) cn[0][0] = 21
17.44/5.35	c (1,0) cn[0][1] = 35
17.44/5.35	c (1,0) cn[0][2] = 14
17.44/5.35	c (1,0) cn[1][0] = 37
17.44/5.35	c (1,0) cn[1][1] = 3
17.44/5.35	c (1,0) cn[1][2] = 25
17.44/5.35	c (1,0) cn[2][0] = 1
17.44/5.35	c (1,0) cn[2][1] = 38
17.44/5.35	c (1,0) cn[2][2] = 19
17.44/5.35	c (1,0) cn[3][0] = 39
17.44/5.35	c (1,0) cn[3][1] = 29
17.44/5.35	c (1,0) cn[3][2] = 6
17.44/5.35	c (1,0) cn[4][0] = 0
17.44/5.35	c (1,0) cn[4][1] = 4
17.44/5.35	c (1,0) cn[4][2] = 30
17.44/5.35	c (1,0) cn[5][0] = 2
17.44/5.35	c (1,0) cn[5][1] = 7
17.44/5.35	c (1,0) cn[5][2] = 22
17.44/5.35	c (1,0) cn[6][0] = 33
17.44/5.35	c (1,0) cn[6][1] = 34
17.44/5.35	c (1,0) cn[6][2] = 5
17.44/5.35	s SATISFIABLE
17.44/5.35	v <instantiation>
17.44/5.35	v     <list>cn[0][0] cn[0][1] cn[0][2] cn[1][0] cn[1][1] cn[1][2] cn[2][0] cn[2][1] cn[2][2] cn[3][0] cn[3][1] cn[3][2] cn[4][0] cn[4][1] cn[4][2] cn[5][0] cn[5][1] cn[5][2] cn[6][0] cn[6][1] cn[6][2] ce[0][0][1] ce[0][0][2] ce[0][1][2] ce[1][0][1] ce[1][0][2] ce[1][1][2] ce[2][0][1] ce[2][0][2] ce[2][1][2] ce[3][0][1] ce[3][0][2] ce[3][1][2] ce[4][0][1] ce[4][0][2] ce[4][1][2] ce[5][0][1] ce[5][0][2] ce[5][1][2] ce[6][0][1] ce[6][0][2] ce[6][1][2] cie[0][0] cie[0][1] cie[0][2] cie[1][0] cie[1][1] cie[1][2] cie[2][0] cie[2][1] cie[2][2] cie[3][0] cie[3][1] cie[3][2] cie[4][0] cie[4][1] cie[4][2] cie[5][0] cie[5][1] cie[5][2]</list>
17.44/5.35	v     <values>21 35 14 37 3 25 1 38 19 39 29 6 0 4 30 2 7 22 33 34 5 14 7 21 34 12 22 37 18 19 10 33 23 4 30 26 5 20 15 1 28 29 16 32 11 36 35 6 38 9 13 39 25 24 2 3 8 31 27 17</values>
17.44/5.35	v </instantiation>
17.44/5.35	c (1,0) Show results End
17.44/5.35	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
17.44/5.35	c (1,0) 1,1,STOP-AFTER(ALL)
17.44/5.35	c END-Prog: Sat Sep 14 01:19:18 CEST 2019

Verifier Data 

OK

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 (15049 MiB free)
  memory of node 1: 16384 MiB (15588 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392639-1568416812/watcher-4392639-1568416812 -o /tmp/evaluation-result-4392639-1568416812/solver-4392639-1568416812 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568416709-32010 --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-4392639-1568416812.xml 

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

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

solver pid=769, runsolver pid=766

[startup+0.100111 s]*
/proc/loadavg: 2.46 1.10 1.65 2/211 791
/proc/meminfo: memFree=31278100/32770624 swapFree=66996956/67108860
[pid=769] ppid=766 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/769/stat : 769 (scop.sh) S 766 769 31983 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417934250 115843072 349 33554432000 4194304 5098028 140725135194016 140725135191272 139954270618236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10596352 140725135201060 140725135201388 140725135201388 140725135204301 0
/proc/769/statm: 28282 349 296 221 0 87 0
[pid=772] ppid=769 vsize=27314120 memory=107264 CPUtime=0.1 cores=0-7
/proc/772/stat : 772 (java) S 769 769 31983 0 -1 1077944320 6905 0 0 0 7 3 0 0 20 0 20 0 417934250 27969658880 26816 33554432000 4194304 4196468 140736610553616 140736610536160 139888091508471 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
/proc/772/statm: 6828530 26816 2777 1 0 6790935 0
[pid=772/tid=773] ppid=769 vsize=27314120 memory=8318255677412212789 CPUtime=0.09 cores=0-7
/proc/772/task/773/stat : 773 (java) R 769 769 31983 0 -1 4202560 5045 0 0 0 6 3 0 0 20 0 20 0 417934251 27969658880 26881 33554432000 4194304 4196468 140736610553616 139888063326720 139888091532061 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=774] ppid=769 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/772/task/774/stat : 774 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 26881 33554432000 4194304 4196468 140736610553616 139888095750800 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=775] ppid=769 vsize=27314120 memory=140144866673890 CPUtime=0 cores=0-7
/proc/772/task/775/stat : 775 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 26881 33554432000 4194304 4196468 140736610553616 139887909906960 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=776] ppid=769 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/772/task/776/stat : 776 (java) S 769 769 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 26881 33554432000 4194304 4196468 140736610553616 139887908854160 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=777] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/777/stat : 777 (java) S 769 769 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 26881 33554432000 4194304 4196468 140736610553616 139887907801360 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=778] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/778/stat : 778 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 26881 33554432000 4194304 4196468 140736610553616 139887906749584 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=779] ppid=769 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/772/task/779/stat : 779 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 26881 33554432000 4194304 4196468 140736610553616 139887905696784 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=780] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/780/stat : 780 (java) S 769 769 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 26881 33554432000 4194304 4196468 140736610553616 139887904643984 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=781] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/781/stat : 781 (java) S 769 769 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 26881 33554432000 4194304 4196468 140736610553616 139887903591184 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=782] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/782/stat : 782 (java) S 769 769 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934255 27969658880 26881 33554432000 4194304 4196468 140736610553616 139886612957552 139888091519618 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=783] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/783/stat : 783 (java) S 769 769 31983 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417934255 27969658880 26881 33554432000 4194304 4196468 140736610553616 139885675537440 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=784] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/784/stat : 784 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934256 27969658880 26881 33554432000 4194304 4196468 140736610553616 139885407101808 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=785] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/785/stat : 785 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934258 27969658880 26881 33554432000 4194304 4196468 140736610553616 139885032593232 139888091527067 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=786] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/786/stat : 786 (java) R 769 769 31983 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 417934258 27969658880 26881 33554432000 4194304 4196468 140736610553616 139886611905392 139888091519618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=787] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/787/stat : 787 (java) S 769 769 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417934258 27969658880 26881 33554432000 4194304 4196468 140736610553616 139886610852592 139888091519618 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=788] ppid=769 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/772/task/788/stat : 788 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934258 27969658880 26881 33554432000 4194304 4196468 140736610553616 139886609799792 139888091519618 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=789] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/789/stat : 789 (java) R 769 769 31983 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 20 0 417934258 27969658880 26881 33554432000 4194304 4196468 140736610553616 139886608746992 139888091519618 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=790] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/790/stat : 790 (java) S 769 769 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417934258 27969658880 26881 33554432000 4194304 4196468 140736610553616 139884534688352 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=791] ppid=769 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/772/task/791/stat : 791 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934259 27969658880 26881 33554432000 4194304 4196468 140736610553616 139886607694384 139888091519618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108660 KiB

[startup+0.210154 s]*
/proc/loadavg: 2.46 1.10 1.65 4/211 791
/proc/meminfo: memFree=31257108/32770624 swapFree=66996956/67108860
[pid=769] ppid=766 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/769/stat : 769 (scop.sh) S 766 769 31983 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417934250 115843072 349 33554432000 4194304 5098028 140725135194016 140725135191272 139954270618236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10596352 140725135201060 140725135201388 140725135201388 140725135204301 0
/proc/769/statm: 28282 349 296 221 0 87 0
[pid=772] ppid=769 vsize=27314120 memory=126644 CPUtime=0.24 cores=0-7
/proc/772/stat : 772 (java) S 769 769 31983 0 -1 1077944320 12556 0 0 0 19 5 0 0 20 0 20 0 417934250 27969658880 31661 33554432000 4194304 4196468 140736610553616 140736610536160 139888091508471 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
/proc/772/statm: 6828530 31661 2920 1 0 6790935 0
[pid=772/tid=773] ppid=769 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/772/task/773/stat : 773 (java) R 769 769 31983 0 -1 4202560 10292 0 0 0 15 5 0 0 20 0 20 0 417934251 27969658880 31661 33554432000 4194304 4196468 140736610553616 139888063307856 139888075588958 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=774] ppid=769 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/772/task/774/stat : 774 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 31661 33554432000 4194304 4196468 140736610553616 139888095750800 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=775] ppid=769 vsize=27314120 memory=140144866673890 CPUtime=0 cores=0-7
/proc/772/task/775/stat : 775 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 31661 33554432000 4194304 4196468 140736610553616 139887909906960 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=776] ppid=769 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/772/task/776/stat : 776 (java) S 769 769 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 31661 33554432000 4194304 4196468 140736610553616 139887908854160 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=777] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/777/stat : 777 (java) S 769 769 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 31661 33554432000 4194304 4196468 140736610553616 139887907801360 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=778] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/778/stat : 778 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 31661 33554432000 4194304 4196468 140736610553616 139887906749584 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=779] ppid=769 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/772/task/779/stat : 779 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 31661 33554432000 4194304 4196468 140736610553616 139887905696784 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=780] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/780/stat : 780 (java) S 769 769 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 31661 33554432000 4194304 4196468 140736610553616 139887904643984 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=781] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/781/stat : 781 (java) S 769 769 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 31661 33554432000 4194304 4196468 140736610553616 139887903591184 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=782] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/782/stat : 782 (java) S 769 769 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934255 27969658880 31661 33554432000 4194304 4196468 140736610553616 139886612957552 139888091519618 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=783] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/783/stat : 783 (java) S 769 769 31983 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417934255 27969658880 31661 33554432000 4194304 4196468 140736610553616 139885675537440 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=784] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/784/stat : 784 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934256 27969658880 31661 33554432000 4194304 4196468 140736610553616 139885407101808 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=785] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/785/stat : 785 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934258 27969658880 31661 33554432000 4194304 4196468 140736610553616 139885032593232 139888091527067 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=786] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/786/stat : 786 (java) S 769 769 31983 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 20 0 417934258 27969658880 31661 33554432000 4194304 4196468 140736610553616 139886611905392 139888091519618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=787] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/787/stat : 787 (java) S 769 769 31983 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 417934258 27969658880 31661 33554432000 4194304 4196468 140736610553616 139886610852592 139888091519618 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=788] ppid=769 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/772/task/788/stat : 788 (java) S 769 769 31983 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 417934258 27969658880 31661 33554432000 4194304 4196468 140736610553616 139886609799792 139888091519618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=789] ppid=769 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/772/task/789/stat : 789 (java) S 769 769 31983 0 -1 1077944384 447 0 0 0 2 0 0 0 20 0 20 0 417934258 27969658880 31661 33554432000 4194304 4196468 140736610553616 139886608746992 139888091519618 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=790] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/790/stat : 790 (java) S 769 769 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417934258 27969658880 31661 33554432000 4194304 4196468 140736610553616 139884534688352 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=791] ppid=769 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/772/task/791/stat : 791 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934259 27969658880 31661 33554432000 4194304 4196468 140736610553616 139886607694384 139888091519618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128040 KiB

[startup+0.309532 s]*
/proc/loadavg: 2.46 1.10 1.65 3/211 791
/proc/meminfo: memFree=31255036/32770624 swapFree=66996956/67108860
[pid=769] ppid=766 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/769/stat : 769 (scop.sh) S 766 769 31983 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417934250 115843072 349 33554432000 4194304 5098028 140725135194016 140725135191272 139954270618236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10596352 140725135201060 140725135201388 140725135201388 140725135204301 0
/proc/769/statm: 28282 349 296 221 0 87 0
[pid=772] ppid=769 vsize=27314120 memory=130252 CPUtime=0.42 cores=0-7
/proc/772/stat : 772 (java) S 769 769 31983 0 -1 1077944320 12914 0 0 0 36 6 0 0 20 0 20 0 417934250 27969658880 32563 33554432000 4194304 4196468 140736610553616 140736610536160 139888091508471 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
/proc/772/statm: 6828530 32563 3018 1 0 6790935 0
[pid=772/tid=773] ppid=769 vsize=27314120 memory=0 CPUtime=0.3 cores=0-7
/proc/772/task/773/stat : 773 (java) R 769 769 31983 0 -1 4202560 10470 0 0 0 25 5 0 0 20 0 20 0 417934251 27969658880 32563 33554432000 4194304 4196468 140736610553616 139888063329472 139888071783627 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=774] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/774/stat : 774 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 32563 33554432000 4194304 4196468 140736610553616 139888095750800 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=775] ppid=769 vsize=27314120 memory=140144866647436 CPUtime=0 cores=0-7
/proc/772/task/775/stat : 775 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 32563 33554432000 4194304 4196468 140736610553616 139887909906960 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=776] ppid=769 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/772/task/776/stat : 776 (java) S 769 769 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 32563 33554432000 4194304 4196468 140736610553616 139887908854160 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=777] ppid=769 vsize=27314120 memory=9783 CPUtime=0 cores=0-7
/proc/772/task/777/stat : 777 (java) S 769 769 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 32563 33554432000 4194304 4196468 140736610553616 139887907801360 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=778] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/778/stat : 778 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 32563 33554432000 4194304 4196468 140736610553616 139887906749584 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=779] ppid=769 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/772/task/779/stat : 779 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 32563 33554432000 4194304 4196468 140736610553616 139887905696784 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=780] ppid=769 vsize=27314120 memory=3904959754983964703 CPUtime=0 cores=0-7
/proc/772/task/780/stat : 780 (java) S 769 769 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 32563 33554432000 4194304 4196468 140736610553616 139887904643984 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=781] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/781/stat : 781 (java) S 769 769 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417934253 27969658880 32563 33554432000 4194304 4196468 140736610553616 139887903591184 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=782] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/782/stat : 782 (java) S 769 769 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934255 27969658880 32563 33554432000 4194304 4196468 140736610553616 139886612957552 139888091519618 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=783] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/783/stat : 783 (java) S 769 769 31983 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417934255 27969658880 32563 33554432000 4194304 4196468 140736610553616 139885675537440 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=784] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/784/stat : 784 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934256 27969658880 32563 33554432000 4194304 4196468 140736610553616 139885407101808 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=785] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/785/stat : 785 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934258 27969658880 32563 33554432000 4194304 4196468 140736610553616 139885032593232 139888091527067 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=786] ppid=769 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/772/task/786/stat : 786 (java) S 769 769 31983 0 -1 1077944384 534 0 0 0 1 0 0 0 20 0 20 0 417934258 27969658880 32563 33554432000 4194304 4196468 140736610553616 139886611905392 139888091519618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=787] ppid=769 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/772/task/787/stat : 787 (java) S 769 769 31983 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 417934258 27969658880 32563 33554432000 4194304 4196468 140736610553616 139886610852592 139888091519618 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=788] ppid=769 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/772/task/788/stat : 788 (java) S 769 769 31983 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 20 0 417934258 27969658880 32563 33554432000 4194304 4196468 140736610553616 139886609799792 139888091519618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=789] ppid=769 vsize=27314120 memory=0 CPUtime=0.07 cores=0-7
/proc/772/task/789/stat : 789 (java) S 769 769 31983 0 -1 1077944384 468 0 0 0 7 0 0 0 20 0 20 0 417934258 27969658880 32563 33554432000 4194304 4196468 140736610553616 139886608746992 139888091519618 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=790] ppid=769 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/772/task/790/stat : 790 (java) S 769 769 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417934258 27969658880 32563 33554432000 4194304 4196468 140736610553616 139884534688352 139888091518677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=791] ppid=769 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/772/task/791/stat : 791 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934259 27969658880 32563 33554432000 4194304 4196468 140736610553616 139886607694384 139888091519618 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131648 KiB

[startup+0.700933 s]
/proc/loadavg: 2.46 1.10 1.65 3/211 791
/proc/meminfo: memFree=31233704/32770624 swapFree=66996956/67108860
[pid=769] ppid=766 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/769/stat : 769 (scop.sh) S 766 769 31983 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417934250 115843072 349 33554432000 4194304 5098028 140725135194016 140725135191272 139954270618236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10596352 140725135201060 140725135201388 140725135201388 140725135204301 0
/proc/769/statm: 28282 349 296 221 0 87 0
[pid=772] ppid=769 vsize=27322440 memory=165600 CPUtime=0.98 cores=0-7
/proc/772/stat : 772 (java) S 769 769 31983 0 -1 1077944320 20471 0 0 0 90 8 0 0 20 0 20 0 417934250 27978178560 41400 33554432000 4194304 4196468 140736610553616 140736610536160 139888091508471 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
/proc/772/statm: 6830610 41400 3183 1 0 6791959 0
[pid=772/tid=773] ppid=769 vsize=27322440 memory=40492 CPUtime=0.67 cores=0-7
/proc/772/task/773/stat : 773 (java) R 769 769 31983 0 -1 4202560 17531 0 0 0 61 6 0 0 20 0 20 0 417934251 27978178560 41400 33554432000 4194304 4196468 140736610553616 139888063346128 139888084186485 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=774] ppid=769 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/772/task/774/stat : 774 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934253 27978178560 41400 33554432000 4194304 4196468 140736610553616 139888095750800 139888091518677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=775] ppid=769 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/772/task/775/stat : 775 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934253 27978178560 41400 33554432000 4194304 4196468 140736610553616 139887909906960 139888091518677 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0
[pid=772/tid=776] ppid=769 vsize=27322440 memory=4580 CPUtime=0 cores=0-7
/proc/772/task/776/stat : 776 (java) S 769 769 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934253 27978178560 41400 33554432000 4194304 4196468 140736610553616 139887908854160 139888091518677 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140736610562796 140736610563222 140736610563222 140736610566095 0

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

/proc/792/task/798/stat : 798 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417934559 8616062976 29938 33554432000 4194304 4196468 140727768858704 140674678778512 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=799] ppid=769 vsize=8414124 memory=22144 CPUtime=0 cores=0-7
/proc/792/task/799/stat : 799 (java) S 769 769 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417934559 8616062976 29938 33554432000 4194304 4196468 140727768858704 140674677725712 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=800] ppid=769 vsize=8414124 memory=11960 CPUtime=0 cores=0-7
/proc/792/task/800/stat : 800 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417934559 8616062976 29938 33554432000 4194304 4196468 140727768858704 140674676672912 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=801] ppid=769 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/792/task/801/stat : 801 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417934560 8616062976 29938 33554432000 4194304 4196468 140727768858704 140674675620112 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=802] ppid=769 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/792/task/802/stat : 802 (java) S 769 769 31983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417934561 8616062976 29938 33554432000 4194304 4196468 140727768858704 140673702546288 140674877536898 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=803] ppid=769 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/792/task/803/stat : 803 (java) S 769 769 31983 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417934561 8616062976 29938 33554432000 4194304 4196468 140727768858704 140673533601312 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=804] ppid=769 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/792/task/804/stat : 804 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417934562 8616062976 29938 33554432000 4194304 4196468 140727768858704 140673265165680 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=805] ppid=769 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/792/task/805/stat : 805 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417934564 8616062976 29938 33554432000 4194304 4196468 140727768858704 140672890657104 140674877544347 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=806] ppid=769 vsize=8414124 memory=2512 CPUtime=0.05 cores=0-7
/proc/792/task/806/stat : 806 (java) S 769 769 31983 0 -1 1077944384 709 0 0 0 5 0 0 0 20 0 24 0 417934564 8616062976 29938 33554432000 4194304 4196468 140727768858704 140673701493104 140674877536898 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=807] ppid=769 vsize=8414124 memory=1436 CPUtime=0.03 cores=0-7
/proc/792/task/807/stat : 807 (java) S 769 769 31983 0 -1 1077944384 67 0 0 0 3 0 0 0 20 0 24 0 417934564 8616062976 29938 33554432000 4194304 4196468 140727768858704 140673700440304 140674877536898 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=808] ppid=769 vsize=8414124 memory=0 CPUtime=0.09 cores=0-7
/proc/792/task/808/stat : 808 (java) S 769 769 31983 0 -1 1077944384 299 0 0 0 9 0 0 0 20 0 24 0 417934564 8616062976 29938 33554432000 4194304 4196468 140727768858704 140673699387504 140674877536898 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=809] ppid=769 vsize=8414124 memory=288230574492221466 CPUtime=0.19 cores=0-7
/proc/792/task/809/stat : 809 (java) S 769 769 31983 0 -1 1077944384 517 0 0 0 19 0 0 0 20 0 24 0 417934564 8616062976 29938 33554432000 4194304 4196468 140727768858704 140673698334704 140674877536898 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=810] ppid=769 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/792/task/810/stat : 810 (java) S 769 769 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417934564 8616062976 29938 33554432000 4194304 4196468 140727768858704 140672392752224 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=811] ppid=769 vsize=8414124 memory=15823283127847349 CPUtime=0 cores=0-7
/proc/792/task/811/stat : 811 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417934565 8616062976 29938 33554432000 4194304 4196468 140727768858704 140673697283120 140674877536898 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=813] ppid=769 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/792/task/813/stat : 813 (java) S 769 769 31983 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417934631 8616062976 29938 33554432000 4194304 4196468 140727768858704 140673689249344 140674877550361 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=815] ppid=769 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/792/task/815/stat : 815 (java) S 769 769 31983 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 417934631 8616062976 29938 33554432000 4194304 4196468 140727768858704 140671721651856 140674877547677 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=816] ppid=769 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/792/task/816/stat : 816 (java) S 769 769 31983 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417934631 8616062976 29938 33554432000 4194304 4196468 140727768858704 140671990087184 140674877547677 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=817] ppid=769 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/792/task/817/stat : 817 (java) S 769 769 31983 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 417934633 8616062976 29938 33554432000 4194304 4196468 140727768858704 140671453223984 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
Current children cumulated CPU time: 14.08 s
Current children cumulated vsize: 9259064 KiB
Current children cumulated memory: 257204 KiB

[startup+5.20143 s]
/proc/loadavg: 2.50 1.13 1.66 9/224 825
/proc/meminfo: memFree=31128936/32770624 swapFree=66996956/67108860
[pid=769] ppid=766 vsize=113128 memory=1476 CPUtime=8.04 cores=0-7
/proc/769/stat : 769 (scop.sh) S 766 769 31983 0 -1 4202496 583 30035 0 0 0 0 778 26 20 0 1 0 417934250 115843072 369 33554432000 4194304 5098028 140725135194016 140725135190760 139954270618236 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10596352 140725135201060 140725135201388 140725135201388 140725135204301 0
/proc/769/statm: 28282 369 311 221 0 87 0
[pid=792] ppid=769 vsize=8414124 memory=119752 CPUtime=1.15 cores=0-7
/proc/792/stat : 792 (java) S 769 769 31983 0 -1 1077944320 19375 0 0 0 108 7 0 0 20 0 24 0 417934558 8616062976 29938 33554432000 4194304 4196468 140727768858704 140727768841248 140674877525751 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
/proc/792/statm: 2103531 29938 3210 1 0 2064875 0
[pid=812] ppid=792 vsize=732076 memory=137236 CPUtime=7.99 cores=0-7
/proc/812/stat : 812 (manyglucose-4.1) S 792 769 31983 0 -1 1077944320 22451 0 0 0 794 5 0 0 20 0 3 0 417934630 749645824 34309 33554432000 4194304 4454172 140736815241824 140736815240208 139650109644535 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 33992704 140736815244139 140736815244336 140736815244336 140736815247290 0
/proc/812/statm: 183019 34309 419 64 0 178687 0
[pid=812/tid=820] ppid=792 vsize=732076 memory=0 CPUtime=0.95 cores=0-7
/proc/812/task/820/stat : 820 (manyglucose-4.1) R 792 769 31983 0 -1 4202560 585 0 0 0 95 0 0 0 20 0 3 0 417934673 749645824 34309 33554432000 4194304 4454172 140736815241824 139650069285992 4351286 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 33992704 140736815244139 140736815244336 140736815244336 140736815247290 0
[pid=812/tid=821] ppid=792 vsize=732076 memory=280289432294400 CPUtime=0.95 cores=0-7
/proc/812/task/821/stat : 821 (manyglucose-4.1) R 792 769 31983 0 -1 4202560 546 0 0 0 95 0 0 0 20 0 3 0 417934673 749645824 34309 33554432000 4194304 4454172 140736815241824 139650060893096 4351313 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 33992704 140736815244139 140736815244336 140736815244336 140736815247290 0
[pid=792/tid=793] ppid=769 vsize=8414124 memory=2244 CPUtime=0.75 cores=0-7
/proc/792/task/793/stat : 793 (java) S 769 769 31983 0 -1 1077944384 16389 0 0 0 70 5 0 0 20 0 24 0 417934558 8616062976 29938 33554432000 4194304 4196468 140727768858704 140674849365920 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=794] ppid=769 vsize=8414124 memory=140144716112832 CPUtime=0 cores=0-7
/proc/792/task/794/stat : 794 (java) S 769 769 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417934559 8616062976 29938 33554432000 4194304 4196468 140727768858704 140674881768592 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=795] ppid=769 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/792/task/795/stat : 795 (java) S 769 769 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417934559 8616062976 29938 33554432000 4194304 4196468 140727768858704 140674681936912 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=796] ppid=769 vsize=8414124 memory=6944656592452807320 CPUtime=0 cores=0-7
/proc/792/task/796/stat : 796 (java) S 769 769 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417934559 8616062976 29938 33554432000 4194304 4196468 140727768858704 140674680884112 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=797] ppid=769 vsize=8414124 memory=8259761640030508190 CPUtime=0 cores=0-7
/proc/792/task/797/stat : 797 (java) S 769 769 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417934559 8616062976 29938 33554432000 4194304 4196468 140727768858704 140674679831312 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=798] ppid=769 vsize=8414124 memory=-7161131788332309537 CPUtime=0 cores=0-7
/proc/792/task/798/stat : 798 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417934559 8616062976 29938 33554432000 4194304 4196468 140727768858704 140674678778512 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=799] ppid=769 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/792/task/799/stat : 799 (java) S 769 769 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417934559 8616062976 29938 33554432000 4194304 4196468 140727768858704 140674677725712 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=800] ppid=769 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/792/task/800/stat : 800 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417934559 8616062976 29938 33554432000 4194304 4196468 140727768858704 140674676672912 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=801] ppid=769 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/792/task/801/stat : 801 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417934560 8616062976 29938 33554432000 4194304 4196468 140727768858704 140674675620112 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=802] ppid=769 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/792/task/802/stat : 802 (java) S 769 769 31983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417934561 8616062976 29938 33554432000 4194304 4196468 140727768858704 140673702546288 140674877536898 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=803] ppid=769 vsize=8414124 memory=-4866526899798303339 CPUtime=0 cores=0-7
/proc/792/task/803/stat : 803 (java) S 769 769 31983 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417934561 8616062976 29938 33554432000 4194304 4196468 140727768858704 140673533601312 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=804] ppid=769 vsize=8414124 memory=-3253322038155611931 CPUtime=0 cores=0-7
/proc/792/task/804/stat : 804 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417934562 8616062976 29938 33554432000 4194304 4196468 140727768858704 140673265165680 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=805] ppid=769 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/792/task/805/stat : 805 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417934564 8616062976 29938 33554432000 4194304 4196468 140727768858704 140672890657104 140674877544347 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=806] ppid=769 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/792/task/806/stat : 806 (java) S 769 769 31983 0 -1 1077944384 709 0 0 0 5 0 0 0 20 0 24 0 417934564 8616062976 29938 33554432000 4194304 4196468 140727768858704 140673701493104 140674877536898 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=807] ppid=769 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7
/proc/792/task/807/stat : 807 (java) S 769 769 31983 0 -1 1077944384 67 0 0 0 3 0 0 0 20 0 24 0 417934564 8616062976 29938 33554432000 4194304 4196468 140727768858704 140673700440304 140674877536898 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=808] ppid=769 vsize=8414124 memory=0 CPUtime=0.09 cores=0-7
/proc/792/task/808/stat : 808 (java) S 769 769 31983 0 -1 1077944384 299 0 0 0 9 0 0 0 20 0 24 0 417934564 8616062976 29938 33554432000 4194304 4196468 140727768858704 140673699387504 140674877536898 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=809] ppid=769 vsize=8414124 memory=280289431824576 CPUtime=0.19 cores=0-7
/proc/792/task/809/stat : 809 (java) S 769 769 31983 0 -1 1077944384 517 0 0 0 19 0 0 0 20 0 24 0 417934564 8616062976 29938 33554432000 4194304 4196468 140727768858704 140673698334704 140674877536898 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=810] ppid=769 vsize=8414124 memory=1960 CPUtime=0 cores=0-7
/proc/792/task/810/stat : 810 (java) S 769 769 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417934564 8616062976 29938 33554432000 4194304 4196468 140727768858704 140672392752224 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=811] ppid=769 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/792/task/811/stat : 811 (java) S 769 769 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417934565 8616062976 29938 33554432000 4194304 4196468 140727768858704 140673697283120 140674877536898 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=813] ppid=769 vsize=8414124 memory=6080538253841618792 CPUtime=0 cores=0-7
/proc/792/task/813/stat : 813 (java) S 769 769 31983 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417934631 8616062976 29938 33554432000 4194304 4196468 140727768858704 140673689249344 140674877550361 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=815] ppid=769 vsize=8414124 memory=4639059895069856102 CPUtime=0 cores=0-7
/proc/792/task/815/stat : 815 (java) S 769 769 31983 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 417934631 8616062976 29938 33554432000 4194304 4196468 140727768858704 140671721651856 140674877547677 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=816] ppid=769 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/792/task/816/stat : 816 (java) S 769 769 31983 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417934631 8616062976 29938 33554432000 4194304 4196468 140727768858704 140671990087184 140674877547677 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=817] ppid=769 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/792/task/817/stat : 817 (java) S 769 769 31983 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 417934633 8616062976 29938 33554432000 4194304 4196468 140727768858704 140671453223984 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
Current children cumulated CPU time: 17.18 s
Current children cumulated vsize: 9259328 KiB
Current children cumulated memory: 258464 KiB

[startup+5.30121 s]
/proc/loadavg: 2.50 1.13 1.66 9/224 825
/proc/meminfo: memFree=31128936/32770624 swapFree=66996956/67108860
[pid=769] ppid=766 vsize=113128 memory=1476 CPUtime=8.04 cores=0-7
/proc/769/stat : 769 (scop.sh) S 766 769 31983 0 -1 4202496 583 30035 0 0 0 0 778 26 20 0 1 0 417934250 115843072 369 33554432000 4194304 5098028 140725135194016 140725135190760 139954270618236 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10596352 140725135201060 140725135201388 140725135201388 140725135204301 0
/proc/769/statm: 28282 369 311 221 0 87 0
[pid=792] ppid=769 vsize=8283048 memory=121320 CPUtime=9.4 cores=0-7
/proc/792/stat : 792 (java) S 769 769 31983 0 -1 1077944320 20287 22462 0 0 129 8 797 6 20 0 22 0 417934558 8481841152 30330 33554432000 4194304 4196468 140727768858704 140727768841248 140674877525751 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
/proc/792/statm: 2070762 30330 3214 1 0 2032106 0
[pid=792/tid=793] ppid=769 vsize=8283048 memory=1476 CPUtime=8.82 cores=0-7
/proc/792/task/793/stat : 793 (java) R 769 769 31983 0 -1 4202560 16569 22462 0 0 74 5 797 6 20 0 22 0 417934558 8481841152 30330 33554432000 4194304 4196468 140727768858704 140674849363344 140674857752160 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=794] ppid=769 vsize=8283048 memory=119752 CPUtime=8.03 cores=0-7
/proc/792/task/794/stat : 794 (java) S 769 769 31983 0 -1 1077944384 2 22462 0 0 0 0 797 6 20 0 22 0 417934559 8481841152 30330 33554432000 4194304 4196468 140727768858704 140674881768592 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=795] ppid=769 vsize=8283048 memory=539764 CPUtime=8.03 cores=0-7
/proc/792/task/795/stat : 795 (java) S 769 769 31983 0 -1 1077944384 2 22462 0 0 0 0 797 6 20 0 22 0 417934559 8481841152 30330 33554432000 4194304 4196468 140727768858704 140674681936912 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=796] ppid=769 vsize=8283048 memory=2244 CPUtime=8.03 cores=0-7
/proc/792/task/796/stat : 796 (java) S 769 769 31983 0 -1 1077944384 2 22462 0 0 0 0 797 6 20 0 22 0 417934559 8481841152 30330 33554432000 4194304 4196468 140727768858704 140674680884112 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=797] ppid=769 vsize=8283048 memory=280289431806656 CPUtime=8.03 cores=0-7
/proc/792/task/797/stat : 797 (java) S 769 769 31983 0 -1 1077944384 2 22462 0 0 0 0 797 6 20 0 22 0 417934559 8481841152 30330 33554432000 4194304 4196468 140727768858704 140674679831312 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=798] ppid=769 vsize=8283048 memory=9339 CPUtime=8.03 cores=0-7
/proc/792/task/798/stat : 798 (java) S 769 769 31983 0 -1 1077944384 1 22462 0 0 0 0 797 6 20 0 22 0 417934559 8481841152 30330 33554432000 4194304 4196468 140727768858704 140674678778512 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=799] ppid=769 vsize=8283048 memory=25455 CPUtime=8.03 cores=0-7
/proc/792/task/799/stat : 799 (java) S 769 769 31983 0 -1 1077944384 3 22462 0 0 0 0 797 6 20 0 22 0 417934559 8481841152 30330 33554432000 4194304 4196468 140727768858704 140674677725712 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=800] ppid=769 vsize=8283048 memory=40492 CPUtime=8.03 cores=0-7
/proc/792/task/800/stat : 800 (java) S 769 769 31983 0 -1 1077944384 1 22462 0 0 0 0 797 6 20 0 22 0 417934559 8481841152 30330 33554432000 4194304 4196468 140727768858704 140674676672912 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=801] ppid=769 vsize=8283048 memory=0 CPUtime=8.03 cores=0-7
/proc/792/task/801/stat : 801 (java) S 769 769 31983 0 -1 1077944384 1 22462 0 0 0 0 797 6 20 0 22 0 417934560 8481841152 30330 33554432000 4194304 4196468 140727768858704 140674675620112 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=802] ppid=769 vsize=8283048 memory=6943526294502006880 CPUtime=8.03 cores=0-7
/proc/792/task/802/stat : 802 (java) S 769 769 31983 0 -1 1077944384 5 22462 0 0 0 0 797 6 20 0 22 0 417934561 8481841152 30330 33554432000 4194304 4196468 140727768858704 140673702546288 140674877536898 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=803] ppid=769 vsize=8283048 memory=6943526294502006880 CPUtime=8.03 cores=0-7
/proc/792/task/803/stat : 803 (java) S 769 769 31983 0 -1 1077944384 13 22462 0 0 0 0 797 6 20 0 22 0 417934561 8481841152 30330 33554432000 4194304 4196468 140727768858704 140673533601312 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=804] ppid=769 vsize=8283048 memory=6943526294502006880 CPUtime=8.03 cores=0-7
/proc/792/task/804/stat : 804 (java) S 769 769 31983 0 -1 1077944384 1 22462 0 0 0 0 797 6 20 0 22 0 417934562 8481841152 30330 33554432000 4194304 4196468 140727768858704 140673265165680 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=805] ppid=769 vsize=8283048 memory=6655300316396806240 CPUtime=8.03 cores=0-7
/proc/792/task/805/stat : 805 (java) S 769 769 31983 0 -1 1077944384 1 22462 0 0 0 0 797 6 20 0 22 0 417934564 8481841152 30330 33554432000 4194304 4196468 140727768858704 140672890657104 140674877544347 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=806] ppid=769 vsize=8283048 memory=-7003737579269690708 CPUtime=8.11 cores=0-7
/proc/792/task/806/stat : 806 (java) S 769 769 31983 0 -1 1077944384 733 22462 0 0 8 0 797 6 20 0 22 0 417934564 8481841152 30330 33554432000 4194304 4196468 140727768858704 140673701493104 140674877536898 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=807] ppid=769 vsize=8283048 memory=6943526294502006880 CPUtime=8.08 cores=0-7
/proc/792/task/807/stat : 807 (java) S 769 769 31983 0 -1 1077944384 93 22462 0 0 5 0 797 6 20 0 22 0 417934564 8481841152 30330 33554432000 4194304 4196468 140727768858704 140673700440304 140674877536898 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=808] ppid=769 vsize=8283048 memory=280289431752432 CPUtime=8.14 cores=0-7
/proc/792/task/808/stat : 808 (java) S 769 769 31983 0 -1 1077944384 318 22462 0 0 11 0 797 6 20 0 22 0 417934564 8481841152 30330 33554432000 4194304 4196468 140727768858704 140673699387504 140674877536898 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=809] ppid=769 vsize=8283048 memory=-4695052241013923951 CPUtime=8.27 cores=0-7
/proc/792/task/809/stat : 809 (java) R 769 769 31983 0 -1 4202560 624 22462 0 0 24 0 797 6 20 0 22 0 417934564 8481841152 30330 33554432000 4194304 4196468 140727768858704 140673698330432 140674856480137 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=810] ppid=769 vsize=8283048 memory=-7531822216213012384 CPUtime=8.03 cores=0-7
/proc/792/task/810/stat : 810 (java) S 769 769 31983 0 -1 1077944384 3 22462 0 0 0 0 797 6 20 0 22 0 417934564 8481841152 30330 33554432000 4194304 4196468 140727768858704 140672392752224 140674877535957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=811] ppid=769 vsize=8283048 memory=-9001728533042062950 CPUtime=8.03 cores=0-7
/proc/792/task/811/stat : 811 (java) S 769 769 31983 0 -1 1077944384 1 22462 0 0 0 0 797 6 20 0 22 0 417934565 8481841152 30330 33554432000 4194304 4196468 140727768858704 140673697283120 140674877536898 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=813] ppid=769 vsize=8283048 memory=288230574492221466 CPUtime=8.03 cores=0-7
/proc/792/task/813/stat : 813 (java) S 769 769 31983 0 -1 1077944384 31 22462 0 0 0 0 797 6 20 0 22 0 417934631 8481841152 30330 33554432000 4194304 4196468 140727768858704 140673689248528 140674877536898 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
[pid=792/tid=817] ppid=769 vsize=8283048 memory=0 CPUtime=8.03 cores=0-7
/proc/792/task/817/stat : 817 (java) S 769 769 31983 0 -1 1077944384 8 22462 0 0 0 0 797 6 20 0 22 0 417934633 8481841152 30330 33554432000 4194304 4196468 140727768858704 140671453225776 140674877536898 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140727768867833 140727768867990 140727768867990 140727768870863 0
Current children cumulated CPU time: 17.44 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 122796 KiB

Child status: 0
Real time (s): 5.36573
CPU time (s): 17.5933
CPU user time (s): 17.1804
CPU system time (s): 0.412874
CPU usage (%): 327.883
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 903460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.1804
system time used= 0.412874
maximum resident set size= 905372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73665
page faults= 0
swaps= 0
block input operations= 232
block output operations= 7648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11000
involuntary context switches= 103


# summary of solver processes directly reported to runsolver:
#   pid: 769
#   total CPU time (s): 17.5933
#   total CPU user time (s): 17.1804
#   total CPU system time (s): 0.412874

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.070491 second user time and 0.093326 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-14 01:19:13
IDJOB=4392639
IDBENCH=120691
IDSOLVER=2839
FILE ID=node103/4392639-1568416812
RUNJOBID= node103-1568416709-32010
PBS_JOBID= 21702263
Free space on /tmp= 61720 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K03-P07.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-4392639-1568416812/watcher-4392639-1568416812 -o /tmp/evaluation-result-4392639-1568416812/solver-4392639-1568416812 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568416709-32010 --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-4392639-1568416812.xml

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

MD5SUM BENCH= da29a6dd83857351367aad9031227a75
RANDOM SEED=289336931

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
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:        31374032 kB
MemAvailable:   31887084 kB
Buffers:           82908 kB
Cached:           714216 kB
SwapCached:         9148 kB
Active:           596456 kB
Inactive:         212884 kB
Active(anon):       6804 kB
Inactive(anon):    46920 kB
Active(file):     589652 kB
Inactive(file):   165964 kB
Unevictable:      111248 kB
Mlocked:          111248 kB
SwapTotal:      67108860 kB
SwapFree:       66996956 kB
Dirty:             20384 kB
Writeback:             0 kB
AnonPages:        312348 kB
Mapped:            44300 kB
Shmem:             32632 kB
Slab:             176080 kB
SReclaimable:     146544 kB
SUnreclaim:        29536 kB
KernelStack:        3744 kB
PageTables:         5072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    268288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61700 MiB
End job on node103 at 2019-09-14 01:19:18