Trace number 4392776

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 25.1224 6.60309

General information on the benchmark

NameAllInterval/AllInterval-m1-s1/
AllInterval-040.xml
MD5SUMb74d7d5d03f7c84e1bb19748e6149180
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 benchmark0.045375
Satisfiable
(Un)Satisfiability was proved
Number of variables79
Number of constraints41
Number of domains2
Minimum domain size39
Maximum domain size40
Distribution of domain sizes[{"size":39,"count":39},{"size":40,"count":40}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":41},{"degree":3,"count":38}]
Minimum constraint arity3
Maximum constraint arity40
Distribution of constraint arities[{"arity":3,"count":39},{"arity":39,"count":1},{"arity":40,"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-12995-serial-file.bin HOME/instance-4392776-1568423562.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 03:11:58 CEST 2019
0.66/0.57	c PID: 12998
0.66/0.57	c IP: 172.20.3.102
0.66/0.57	c HOST: node102.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.40/0.90	c (0,0) Parsing End
1.40/0.91	c (0,0) CSP: 79 int (0 aux), 0 bool (0 aux), 41 ctr, max domain size 40
1.40/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.91	c (0,0) Constraint Name Generate Begin
1.40/0.91	c (0,0) Ctr:HOME/instance-4392776-1568423562.xml,AllDifferent:Dist:Eq:Var
1.40/0.91	c (0,0) Constraint Name Generate End
1.40/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.91	c (0,0) CSP to CSPinCNF Begin
2.43/1.38	c (0,0) translated 5 (10%) constraints
2.43/1.38	c (0,0) translated 9 (20%) constraints
2.43/1.38	c (0,0) translated 13 (30%) constraints
2.43/1.39	c (0,0) translated 17 (40%) constraints
2.43/1.39	c (0,0) translated 21 (50%) constraints
2.43/1.40	c (0,0) translated 25 (60%) constraints
2.82/1.40	c (0,0) translated 29 (70%) constraints
2.82/1.40	c (0,0) translated 33 (80%) constraints
2.82/1.40	c (0,0) translated 37 (90%) constraints
2.82/1.41	c (0,0) translated 41 (100%) constraints
2.82/1.41	c (0,0) ===========================================
2.82/1.43	c (0,0) Hybrid: #OE=79, #LE=0
2.82/1.43	c (0,0) Hybrid
2.82/1.43	c (0,0) ===========================================
2.82/1.46	c (0,0) translated 173 (10%) constraints
2.82/1.48	c (0,0) translated 345 (20%) constraints
2.82/1.49	c (0,0) translated 517 (30%) constraints
3.17/1.50	c (0,0) translated 689 (40%) constraints
4.00/1.71	c (1,1) translated 861 (50%) constraints
4.00/1.72	c (1,1) translated 1033 (60%) constraints
4.00/1.73	c (1,1) translated 1205 (70%) constraints
4.00/1.74	c (1,1) translated 1377 (80%) constraints
4.00/1.75	c (1,1) translated 1549 (90%) constraints
4.42/1.87	c (1,1) translated 1721 (100%) constraints
4.42/1.88	c (1,1) CSP to CSPinCNF End
4.42/1.88	c (1,1) CSP: 79 int (0 aux), 3121 bool (3121 aux), 7963 ctr, max domain size 40
4.42/1.88	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.42/1.88	c (1,1) CSPinCNF Propagation Begin
4.83/1.97	c (1,1) 0 values, 0 unsatisfiable literals, and 158 valid clauses are removed
4.83/1.97	c (1,1) CSPinCNF Propagation End
4.83/1.97	c (1,1) CSP: 79 int (0 aux), 3121 bool (3121 aux), 7805 ctr, max domain size 40
4.83/1.97	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.83/1.99	c (1,1) Hybrid: #OE=3200, #LE=0
4.83/1.99	c (1,1) Simplify CSPinCNF Begin
5.69/2.11	c (1,1) Simplify CSPinCNF End
5.69/2.11	c (1,1) CSP: 79 int (0 aux), 6241 bool (6241 aux), 10925 ctr, max domain size 40
5.69/2.11	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.69/2.11	c (1,1) Calculate Precise Domain Begin
5.69/2.11	c (1,1) 0 values are removed by re-calculation
5.69/2.11	c (1,1) Calculate Precise Domain End
5.69/2.12	c (1,1) CSP: 79 int (0 aux), 6241 bool (6241 aux), 10925 ctr, max domain size 40
5.69/2.12	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.69/2.12	c (1,1) CSPinCNF to SatSolver Begin
7.38/2.57	c (2,2) 1093 (10 %) CSP clauses are encoded (0 SAT variables, 32447 SAT clauses)
8.18/2.74	c (2,2) 2185 (20 %) CSP clauses are encoded (0 SAT variables, 61931 SAT clauses)
8.18/2.77	c (2,2) 3278 (30 %) CSP clauses are encoded (0 SAT variables, 67080 SAT clauses)
8.18/2.78	c (2,2) 4370 (40 %) CSP clauses are encoded (0 SAT variables, 68172 SAT clauses)
8.18/2.79	c (2,2) 5463 (50 %) CSP clauses are encoded (0 SAT variables, 69265 SAT clauses)
8.71/2.92	c (2,2) 6555 (60 %) CSP clauses are encoded (0 SAT variables, 96995 SAT clauses)
8.88/3.06	c (2,2) 7648 (70 %) CSP clauses are encoded (0 SAT variables, 125790 SAT clauses)
8.88/3.08	c (2,2) 8740 (80 %) CSP clauses are encoded (0 SAT variables, 128858 SAT clauses)
8.88/3.09	c (2,2) 9833 (90 %) CSP clauses are encoded (0 SAT variables, 129951 SAT clauses)
10.58/3.54	c (2,2) 10925 (100 %) CSP clauses are encoded (0 SAT variables, 251749 SAT clauses)
10.58/3.54	c (2,2) CSPinCNF to SatSolver End
10.58/3.54	c (2,2) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.58/3.54	c (2,2) 9283 bool, 252568 clause
10.58/3.54	c (2,2) Export Begin
10.78/3.63	c (3,3) Export to HOME/scop-12995-serial-file.bin
10.78/3.63	c (3,3) Export End
10.78/3.63	c (3,3) Export File Size: 0.01 MB
10.78/3.63	c (3,3) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
10.78/3.63	c END-Prog: Sat Sep 14 03:12:01 CEST 2019
10.78/3.64	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12995-serial-file.bin
11.33/4.10	c (0,0) Read Serial File Begin
11.33/4.10	c (0,0) HOME/scop-12995-serial-file.bin
11.74/4.31	c (0,0) Read Serial File End
11.74/4.32	
11.74/4.32	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
11.74/4.32	(Solving Process)
11.74/4.32	
11.74/4.34	c BEGIN-Prog: Sat Sep 14 03:12:02 CEST 2019
11.74/4.34	c PID: 13018
11.74/4.34	c IP: 172.20.3.102
11.74/4.34	c HOST: node102.alineos.net
11.74/4.35	c (0,0) SatSolver.solve Begin
11.74/4.35	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392776-1568423562.xml-scop-12998.cnf
11.74/4.37	c (0,0) c
11.74/4.37	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)
11.74/4.37	c (0,0) c
11.74/4.37	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
11.74/4.37	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
11.74/4.37	c (0,0) c ========================================[ Problem Statistics ]===========================================
11.74/4.37	c (0,0) c |                                                                                                       |
11.96/4.44	c (0,0) c |  Number of variables:          9283                                                                   |
11.96/4.44	c (0,0) c |  Number of clauses:          252568                                                                   |
11.96/4.44	c (0,0) c |  Parse time:                   0.07 s                                                                 |
11.96/4.44	c (0,0) c |                                                                                                       |
11.99/4.81	c (0,0) c |  Simplification time:          0.36 s                                                                 |
11.99/4.81	c (0,0) c |                                                                                                       |
11.99/4.81	c (0,0) c |  Generating clones                                                                                    |
11.99/4.87	c (0,0) c |  all clones generated. Memory =   153.41Mb.                                                           |
11.99/4.87	c (0,0) c ========================================================================================================|
11.99/4.87	c (0,0) c
11.99/4.87	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
11.99/4.87	c (0,0) c
11.99/4.87	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
11.99/4.87	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
15.77/5.30	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
15.77/5.30	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
15.77/5.30	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
15.77/5.30	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
15.77/5.30	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
15.77/5.30	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
15.77/5.30	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
15.77/5.30	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
15.77/5.30	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
15.77/5.30	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
15.77/5.30	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
15.77/5.30	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
15.77/5.30	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
15.77/5.30	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
15.77/5.30	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
15.77/5.30	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
15.77/5.30	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.52/6.44	c (2,0) c
24.52/6.44	c (2,0) c real time : 2.06715 s
24.52/6.44	c (2,0) c cpu time  : 12.4636 s
24.52/6.44	c (2,0) c
24.52/6.44	c (2,0) c
24.52/6.44	c (2,0) c
24.52/6.44	c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
24.52/6.44	c (2,0) c
24.52/6.44	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.52/6.44	c (2,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
24.52/6.44	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.52/6.44	c (2,0) c | Conflicts     |           72142 |       9501 |       7542 |       8984 |       9609 |       8843 |       7314 |      11528 |       8821 |
24.52/6.44	c (2,0) c | Decisions     |          429528 |      54049 |      56727 |      30039 |      57223 |      58291 |      48458 |      68899 |      55842 |
24.52/6.44	c (2,0) c | Propagations  |        23803652 |    2503164 |    2556534 |    3847209 |    3149035 |    2979714 |    2639559 |    3243588 |    2884849 |
24.52/6.44	c (2,0) c | ReduceDBs     |              16 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
24.52/6.44	c (2,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
24.52/6.44	c (2,0) c | Restarts      |             405 |         47 |         59 |         26 |         54 |         59 |         47 |         58 |         55 |
24.52/6.44	c (2,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
24.52/6.44	c (2,0) c | PropBinClauses|        33088722 |    3594104 |    3555692 |    5156015 |    4352432 |    4182151 |    3701800 |    4495356 |    4051172 |
24.52/6.44	c (2,0) c | PropPreBlocker|       594838022 |   62754041 |   61427831 |   94074159 |   81958191 |   75290625 |   65222708 |   85442580 |   68667887 |
24.52/6.44	c (2,0) c | PropNotBlocker|       115122320 |   12244486 |   14710098 |   12940357 |   15154601 |   15727873 |   14105737 |   15614513 |   14624655 |
24.52/6.44	c (2,0) c | LitFullScans  |       841498370 |   90871353 |   90044812 |  126010116 |  114015292 |  107056283 |   95002482 |  120004964 |   98493068 |
24.52/6.44	c (2,0) c | LitScanFracts |           33231 |       3124 |       2361 |       8245 |       4196 |       3493 |       3547 |       4721 |       3544 |
24.52/6.44	c (2,0) c | DecisionLevel0|             405 |         47 |         59 |         26 |         54 |         59 |         47 |         58 |         55 |
24.52/6.44	c (2,0) c | Periods       |             138 |         15 |         15 |         21 |         19 |         17 |         15 |         20 |         16 |
24.52/6.44	c (2,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
24.52/6.44	c (2,0) c | Avg_Trail     |                 |       4328 |       3827 |       4936 |       4821 |       4512 |       4193 |       4497 |       4057 |
24.52/6.44	c (2,0) c | Avg_DL        |                 |        166 |        106 |         83 |        128 |        127 |        120 |        156 |        142 |
24.52/6.44	c (2,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
24.52/6.44	c (2,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
24.52/6.44	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.52/6.44	c (2,0) c | Exported      |           13216 |       1570 |       1400 |       1619 |       1680 |       1725 |       1432 |       2040 |       1750 |
24.52/6.44	c (2,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
24.52/6.44	c (2,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
24.52/6.44	c (2,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
24.52/6.44	c (2,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
24.52/6.44	c (2,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
24.52/6.44	c (2,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
24.52/6.44	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.52/6.44	c (2,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
24.52/6.44	c (2,0) c | Binaries      |                 |         69 |         79 |          9 |         52 |         79 |         61 |         84 |         59 |
24.52/6.44	c (2,0) c | Glues         |                 |        394 |        429 |        247 |        343 |        462 |        396 |        446 |        322 |
24.52/6.44	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.52/6.44	c (2,0) c | Orig_Seen     |            18 % |      39244 |      42508 |      44558 |      52378 |      47284 |      48093 |      49977 |      47213 |
24.52/6.44	c (2,0) c | Diff Orig seen|                 |      X     |       3264 |       5314 |      13134 |       8040 |       8849 |      10733 |       7969 |
24.52/6.44	c (2,0) c | Hamming       |            19 % |      X     |       1930 |       2049 |       2116 |       1637 |       2099 |       1009 |       2041 |
24.52/6.44	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.52/6.44	c (2,0) c | RunningTime   |                 |    1.5 100%|    1.6 100%|    1.6 100%|    1.5 100%|    1.5 100%|    1.6 100%|    1.5 100%|    1.5 100%|
24.52/6.44	c (2,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%|
24.52/6.44	c (2,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%|
24.52/6.44	c (2,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%|
24.52/6.44	c (2,0) c | SolvingTime   |                 |    1.5     |    1.6     |    1.6     |    1.5     |    1.5     |    1.6     |    1.5     |    1.5     |
24.52/6.44	c (2,0) c | PropagationTim|                 |    1.3  87%|    1.4  89%|    1.4  88%|    1.3  87%|    1.3  88%|    1.4  88%|    1.3  86%|    1.4  88%|
24.52/6.44	c (2,0) c | AnalysisTime  |                 |    0.1   9%|    0.1   6%|    0.1   9%|    0.1   8%|    0.1   8%|    0.1   8%|    0.1  10%|    0.1   8%|
24.52/6.44	c (2,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%|
24.52/6.44	c (2,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%|
24.52/6.44	c (2,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%|
24.52/6.44	c (2,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%|
24.52/6.44	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.52/6.44	c (2,0) c
24.52/6.44	c (2,0) c
24.52/6.44	c (2,0) c Threads : 8
24.52/6.44	c (2,0) c Winner : 0
24.52/6.44	c (2,0) c Conflicts_0 : 9501
24.52/6.44	c (2,0) c Conflicts_1 : 7542
24.52/6.44	c (2,0) c Conflicts_2 : 8984
24.52/6.44	c (2,0) c Conflicts_3 : 9609
24.52/6.44	c (2,0) c Conflicts_4 : 8843
24.52/6.44	c (2,0) c Conflicts_5 : 7314
24.52/6.44	c (2,0) c Conflicts_6 : 11528
24.52/6.44	c (2,0) c Conflicts_7 : 8821
24.52/6.44	c (2,0) c Conflicts_total : 72142
24.52/6.44	c (2,0) c Conflicts_winner : 9501
24.52/6.44	c (2,0) c Decisions_0 : 54049
24.52/6.44	c (2,0) c Decisions_1 : 56727
24.52/6.44	c (2,0) c Decisions_2 : 30039
24.52/6.44	c (2,0) c Decisions_3 : 57223
24.52/6.44	c (2,0) c Decisions_4 : 58291
24.52/6.44	c (2,0) c Decisions_5 : 48458
24.52/6.44	c (2,0) c Decisions_6 : 68899
24.52/6.44	c (2,0) c Decisions_7 : 55842
24.52/6.44	c (2,0) c Decisions_total : 429528
24.52/6.44	c (2,0) c Decisions_winner : 54049
24.52/6.44	c (2,0) c Propagations_0 : 2503164
24.52/6.44	c (2,0) c Propagations_1 : 2556534
24.52/6.44	c (2,0) c Propagations_2 : 3847209
24.52/6.44	c (2,0) c Propagations_3 : 3149035
24.52/6.44	c (2,0) c Propagations_4 : 2979714
24.52/6.44	c (2,0) c Propagations_5 : 2639559
24.52/6.44	c (2,0) c Propagations_6 : 3243588
24.52/6.44	c (2,0) c Propagations_7 : 2884849
24.52/6.44	c (2,0) c Propagations_total : 23803652
24.52/6.44	c (2,0) c Propagations_winner : 2503164
24.52/6.44	c (2,0) c ReduceDBs_0 : 2
24.52/6.44	c (2,0) c ReduceDBs_1 : 2
24.52/6.44	c (2,0) c ReduceDBs_2 : 2
24.52/6.44	c (2,0) c ReduceDBs_3 : 2
24.52/6.44	c (2,0) c ReduceDBs_4 : 2
24.52/6.44	c (2,0) c ReduceDBs_5 : 2
24.52/6.44	c (2,0) c ReduceDBs_6 : 2
24.52/6.44	c (2,0) c ReduceDBs_7 : 2
24.52/6.44	c (2,0) c ReduceDBs_total : 16
24.52/6.44	c (2,0) c ReduceDBs_winner : 2
24.52/6.44	c (2,0) c SimpDBs_0 : 1
24.52/6.44	c (2,0) c SimpDBs_1 : 1
24.52/6.44	c (2,0) c SimpDBs_2 : 1
24.52/6.44	c (2,0) c SimpDBs_3 : 1
24.52/6.44	c (2,0) c SimpDBs_4 : 1
24.52/6.44	c (2,0) c SimpDBs_5 : 1
24.52/6.44	c (2,0) c SimpDBs_6 : 1
24.52/6.44	c (2,0) c SimpDBs_7 : 1
24.52/6.44	c (2,0) c SimpDBs_total : 8
24.52/6.44	c (2,0) c SimpDBs_winner : 1
24.52/6.44	c (2,0) c Restarts_0 : 47
24.52/6.44	c (2,0) c Restarts_1 : 59
24.52/6.44	c (2,0) c Restarts_2 : 26
24.52/6.44	c (2,0) c Restarts_3 : 54
24.52/6.44	c (2,0) c Restarts_4 : 59
24.52/6.44	c (2,0) c Restarts_5 : 47
24.52/6.44	c (2,0) c Restarts_6 : 58
24.52/6.44	c (2,0) c Restarts_7 : 55
24.52/6.44	c (2,0) c Restarts_total : 405
24.52/6.44	c (2,0) c Restarts_winner : 47
24.52/6.44	c (2,0) c ForcedImports_0 : 0
24.52/6.44	c (2,0) c ForcedImports_1 : 0
24.52/6.44	c (2,0) c ForcedImports_2 : 0
24.52/6.44	c (2,0) c ForcedImports_3 : 0
24.52/6.44	c (2,0) c ForcedImports_4 : 0
24.52/6.44	c (2,0) c ForcedImports_5 : 0
24.52/6.44	c (2,0) c ForcedImports_6 : 0
24.52/6.44	c (2,0) c ForcedImports_7 : 0
24.52/6.44	c (2,0) c ForcedImports_total : 0
24.52/6.44	c (2,0) c ForcedImports_winner : 0
24.52/6.44	c (2,0) c PropsBinClauses_0 : 3594104
24.52/6.44	c (2,0) c PropsBinClauses_1 : 3555692
24.52/6.44	c (2,0) c PropsBinClauses_2 : 5156015
24.52/6.44	c (2,0) c PropsBinClauses_3 : 4352432
24.52/6.44	c (2,0) c PropsBinClauses_4 : 4182151
24.52/6.44	c (2,0) c PropsBinClauses_5 : 3701800
24.52/6.44	c (2,0) c PropsBinClauses_6 : 4495356
24.52/6.44	c (2,0) c PropsBinClauses_7 : 4051172
24.52/6.44	c (2,0) c PropsBinClauses_total : 33088722
24.52/6.44	c (2,0) c PropsBinClauses_winner : 3594104
24.52/6.44	c (2,0) c PropsPreBlocker_0 : 62754041
24.52/6.44	c (2,0) c PropsPreBlocker_1 : 61427831
24.52/6.44	c (2,0) c PropsPreBlocker_2 : 94074159
24.52/6.44	c (2,0) c PropsPreBlocker_3 : 81958191
24.52/6.44	c (2,0) c PropsPreBlocker_4 : 75290625
24.52/6.44	c (2,0) c PropsPreBlocker_5 : 65222708
24.52/6.44	c (2,0) c PropsPreBlocker_6 : 85442580
24.52/6.44	c (2,0) c PropsPreBlocker_7 : 68667887
24.52/6.44	c (2,0) c PropsPreBlocker_total : 594838022
24.52/6.44	c (2,0) c PropsPreBlocker_winner : 62754041
24.52/6.44	c (2,0) c PropsNotBlocker_0 : 12244486
24.52/6.44	c (2,0) c PropsNotBlocker_1 : 14710098
24.52/6.44	c (2,0) c PropsNotBlocker_2 : 12940357
24.52/6.44	c (2,0) c PropsNotBlocker_3 : 15154601
24.52/6.44	c (2,0) c PropsNotBlocker_4 : 15727873
24.52/6.44	c (2,0) c PropsNotBlocker_5 : 14105737
24.52/6.44	c (2,0) c PropsNotBlocker_6 : 15614513
24.52/6.44	c (2,0) c PropsNotBlocker_7 : 14624655
24.52/6.44	c (2,0) c PropsNotBlocker_total : 115122320
24.52/6.44	c (2,0) c PropsNotBlocker_winner : 12244486
24.52/6.44	c (2,0) c PropsLitFullScans_0 : 90871353
24.52/6.44	c (2,0) c PropsLitFullScans_1 : 90044812
24.52/6.44	c (2,0) c PropsLitFullScans_2 : 126010116
24.52/6.44	c (2,0) c PropsLitFullScans_3 : 114015292
24.52/6.44	c (2,0) c PropsLitFullScans_4 : 107056283
24.52/6.44	c (2,0) c PropsLitFullScans_5 : 95002482
24.52/6.44	c (2,0) c PropsLitFullScans_6 : 120004964
24.52/6.44	c (2,0) c PropsLitFullScans_7 : 98493068
24.52/6.44	c (2,0) c PropsLitFullScans_total : 841498370
24.52/6.44	c (2,0) c PropsLitFullScans_winner : 90871353
24.52/6.44	c (2,0) c LitScanFractions_0 : 3124
24.52/6.44	c (2,0) c LitScanFractions_1 : 2361
24.52/6.44	c (2,0) c LitScanFractions_2 : 8245
24.52/6.44	c (2,0) c LitScanFractions_3 : 4196
24.52/6.44	c (2,0) c LitScanFractions_4 : 3493
24.52/6.44	c (2,0) c LitScanFractions_5 : 3547
24.52/6.44	c (2,0) c LitScanFractions_6 : 4721
24.52/6.44	c (2,0) c LitScanFractions_7 : 3544
24.52/6.44	c (2,0) c LitScanFractions_total : 33231
24.52/6.44	c (2,0) c LitScanFractions_winner : 3124
24.52/6.44	c (2,0) c DecisionLevel0_0 : 47
24.52/6.44	c (2,0) c DecisionLevel0_1 : 59
24.52/6.44	c (2,0) c DecisionLevel0_2 : 26
24.52/6.44	c (2,0) c DecisionLevel0_3 : 54
24.52/6.44	c (2,0) c DecisionLevel0_4 : 59
24.52/6.44	c (2,0) c DecisionLevel0_5 : 47
24.52/6.44	c (2,0) c DecisionLevel0_6 : 58
24.52/6.44	c (2,0) c DecisionLevel0_7 : 55
24.52/6.44	c (2,0) c DecisionLevel0_total : 405
24.52/6.44	c (2,0) c DecisionLevel0_winner : 47
24.52/6.44	c (2,0) c Periods_0 : 15
24.52/6.44	c (2,0) c Periods_1 : 15
24.52/6.44	c (2,0) c Periods_2 : 21
24.52/6.44	c (2,0) c Periods_3 : 19
24.52/6.44	c (2,0) c Periods_4 : 17
24.52/6.44	c (2,0) c Periods_5 : 15
24.52/6.45	c (2,0) c Periods_6 : 20
24.52/6.45	c (2,0) c Periods_7 : 16
24.52/6.45	c (2,0) c Periods_total : 138
24.52/6.45	c (2,0) c Periods_winner : 15
24.52/6.45	c (2,0) c Margin_0 : 20
24.52/6.45	c (2,0) c Margin_1 : 20
24.52/6.45	c (2,0) c Margin_2 : 20
24.52/6.45	c (2,0) c Margin_3 : 20
24.52/6.45	c (2,0) c Margin_4 : 20
24.52/6.45	c (2,0) c Margin_5 : 20
24.52/6.45	c (2,0) c Margin_6 : 20
24.52/6.45	c (2,0) c Margin_7 : 20
24.52/6.45	c (2,0) c Margin_total : 160
24.52/6.45	c (2,0) c Margin_winner : 20
24.52/6.45	c (2,0) c Exported_0 : 1570
24.52/6.45	c (2,0) c Exported_1 : 1400
24.52/6.45	c (2,0) c Exported_2 : 1619
24.52/6.45	c (2,0) c Exported_3 : 1680
24.52/6.45	c (2,0) c Exported_4 : 1725
24.52/6.45	c (2,0) c Exported_5 : 1432
24.52/6.45	c (2,0) c Exported_6 : 2040
24.52/6.45	c (2,0) c Exported_7 : 1750
24.52/6.45	c (2,0) c Exported_total : 13216
24.52/6.45	c (2,0) c Exported_winner : 1570
24.52/6.45	c (2,0) c Imported_0 : 0
24.52/6.45	c (2,0) c Imported_1 : 0
24.52/6.45	c (2,0) c Imported_2 : 0
24.52/6.45	c (2,0) c Imported_3 : 0
24.52/6.45	c (2,0) c Imported_4 : 0
24.52/6.45	c (2,0) c Imported_5 : 0
24.52/6.45	c (2,0) c Imported_6 : 0
24.52/6.45	c (2,0) c Imported_7 : 0
24.52/6.45	c (2,0) c Imported_total : 0
24.52/6.45	c (2,0) c Imported_winner : 0
24.52/6.45	c (2,0) c Good_0 : 0
24.52/6.45	c (2,0) c Good_1 : 0
24.52/6.45	c (2,0) c Good_2 : 0
24.52/6.45	c (2,0) c Good_3 : 0
24.52/6.45	c (2,0) c Good_4 : 0
24.52/6.45	c (2,0) c Good_5 : 0
24.52/6.45	c (2,0) c Good_6 : 0
24.52/6.45	c (2,0) c Good_7 : 0
24.52/6.45	c (2,0) c Good_total : 0
24.52/6.45	c (2,0) c Good_winner : 0
24.52/6.45	c (2,0) c Purge_0 : 0
24.52/6.45	c (2,0) c Purge_1 : 0
24.52/6.45	c (2,0) c Purge_2 : 0
24.52/6.45	c (2,0) c Purge_3 : 0
24.52/6.45	c (2,0) c Purge_4 : 0
24.52/6.45	c (2,0) c Purge_5 : 0
24.52/6.45	c (2,0) c Purge_6 : 0
24.52/6.45	c (2,0) c Purge_7 : 0
24.52/6.45	c (2,0) c Purge_total : 0
24.52/6.45	c (2,0) c Purge_winner : 0
24.52/6.45	c (2,0) c Promoted_0 : 0
24.52/6.45	c (2,0) c Promoted_1 : 0
24.52/6.45	c (2,0) c Promoted_2 : 0
24.52/6.45	c (2,0) c Promoted_3 : 0
24.52/6.45	c (2,0) c Promoted_4 : 0
24.52/6.45	c (2,0) c Promoted_5 : 0
24.52/6.45	c (2,0) c Promoted_6 : 0
24.52/6.45	c (2,0) c Promoted_7 : 0
24.52/6.45	c (2,0) c Promoted_total : 0
24.52/6.45	c (2,0) c Promoted_winner : 0
24.52/6.45	c (2,0) c Remove_Imp_0 : 0
24.52/6.45	c (2,0) c Remove_Imp_1 : 0
24.52/6.45	c (2,0) c Remove_Imp_2 : 0
24.52/6.45	c (2,0) c Remove_Imp_3 : 0
24.52/6.45	c (2,0) c Remove_Imp_4 : 0
24.52/6.45	c (2,0) c Remove_Imp_5 : 0
24.52/6.45	c (2,0) c Remove_Imp_6 : 0
24.52/6.45	c (2,0) c Remove_Imp_7 : 0
24.52/6.45	c (2,0) c Remove_Imp_total : 0
24.52/6.45	c (2,0) c Remove_Imp_winner : 0
24.52/6.45	c (2,0) c Blocked_Reuse_0 : 0
24.52/6.45	c (2,0) c Blocked_Reuse_1 : 0
24.52/6.45	c (2,0) c Blocked_Reuse_2 : 0
24.52/6.45	c (2,0) c Blocked_Reuse_3 : 0
24.52/6.45	c (2,0) c Blocked_Reuse_4 : 0
24.52/6.45	c (2,0) c Blocked_Reuse_5 : 0
24.52/6.45	c (2,0) c Blocked_Reuse_6 : 0
24.52/6.45	c (2,0) c Blocked_Reuse_7 : 0
24.52/6.45	c (2,0) c Blocked_Reuse_total : 0
24.52/6.45	c (2,0) c Blocked_Reuse_winner : 0
24.52/6.45	c (2,0) c Unaries_0 : 0
24.52/6.45	c (2,0) c Unaries_1 : 0
24.52/6.45	c (2,0) c Unaries_2 : 0
24.52/6.45	c (2,0) c Unaries_3 : 0
24.52/6.45	c (2,0) c Unaries_4 : 0
24.52/6.45	c (2,0) c Unaries_5 : 0
24.52/6.45	c (2,0) c Unaries_6 : 0
24.52/6.45	c (2,0) c Unaries_7 : 0
24.52/6.45	c (2,0) c Unaries_total : 0
24.52/6.45	c (2,0) c Unaries_winner : 0
24.52/6.45	c (2,0) c Binaries_0 : 69
24.52/6.45	c (2,0) c Binaries_1 : 79
24.52/6.45	c (2,0) c Binaries_2 : 9
24.52/6.45	c (2,0) c Binaries_3 : 52
24.52/6.45	c (2,0) c Binaries_4 : 79
24.52/6.45	c (2,0) c Binaries_5 : 61
24.52/6.45	c (2,0) c Binaries_6 : 84
24.52/6.45	c (2,0) c Binaries_7 : 59
24.52/6.45	c (2,0) c Binaries_total : 492
24.52/6.45	c (2,0) c Binaries_winner : 69
24.52/6.45	c (2,0) c Glues_0 : 394
24.52/6.45	c (2,0) c Glues_1 : 429
24.52/6.45	c (2,0) c Glues_2 : 247
24.52/6.45	c (2,0) c Glues_3 : 343
24.52/6.45	c (2,0) c Glues_4 : 462
24.52/6.45	c (2,0) c Glues_5 : 396
24.52/6.45	c (2,0) c Glues_6 : 446
24.52/6.45	c (2,0) c Glues_7 : 322
24.52/6.45	c (2,0) c Glues_total : 3039
24.52/6.45	c (2,0) c Glues_winner : 394
24.52/6.45	c (2,0) c RunningTime_0 : 1.534260
24.52/6.45	c (2,0) c RunningTime_1 : 1.563876
24.52/6.45	c (2,0) c RunningTime_2 : 1.559397
24.52/6.45	c (2,0) c RunningTime_3 : 1.540415
24.52/6.45	c (2,0) c RunningTime_4 : 1.539350
24.52/6.45	c (2,0) c RunningTime_5 : 1.551859
24.52/6.45	c (2,0) c RunningTime_6 : 1.540609
24.52/6.45	c (2,0) c RunningTime_7 : 1.544824
24.52/6.45	c (2,0) c RunningTime_total : 12.374590
24.52/6.45	c (2,0) c RunningTime_winner : 1.534260
24.52/6.45	c (2,0) c WaitingTime_0 : 0.000000
24.52/6.45	c (2,0) c WaitingTime_1 : 0.000000
24.52/6.45	c (2,0) c WaitingTime_2 : 0.000001
24.52/6.45	c (2,0) c WaitingTime_3 : 0.000000
24.52/6.45	c (2,0) c WaitingTime_4 : 0.000000
24.52/6.45	c (2,0) c WaitingTime_5 : 0.000000
24.52/6.45	c (2,0) c WaitingTime_6 : 0.000000
24.52/6.45	c (2,0) c WaitingTime_7 : 0.000000
24.52/6.45	c (2,0) c WaitingTime_total : 0.000001
24.52/6.45	c (2,0) c WaitingTime_winner : 0.000000
24.52/6.45	c (2,0) c ExchangingTime_0 : 0.000865
24.52/6.45	c (2,0) c ExchangingTime_1 : 0.000723
24.52/6.45	c (2,0) c ExchangingTime_2 : 0.000691
24.52/6.45	c (2,0) c ExchangingTime_3 : 0.000749
24.52/6.45	c (2,0) c ExchangingTime_4 : 0.000779
24.52/6.45	c (2,0) c ExchangingTime_5 : 0.000764
24.52/6.45	c (2,0) c ExchangingTime_6 : 0.000874
24.52/6.45	c (2,0) c ExchangingTime_7 : 0.000754
24.52/6.45	c (2,0) c ExchangingTime_total : 0.006199
24.52/6.45	c (2,0) c ExchangingTime_winner : 0.000865
24.52/6.45	c (2,0) c PeriodProcTime_0 : 0.000165
24.52/6.45	c (2,0) c PeriodProcTime_1 : 0.000136
24.52/6.45	c (2,0) c PeriodProcTime_2 : 0.000191
24.52/6.45	c (2,0) c PeriodProcTime_3 : 0.000149
24.52/6.45	c (2,0) c PeriodProcTime_4 : 0.000152
24.52/6.45	c (2,0) c PeriodProcTime_5 : 0.000131
24.52/6.45	c (2,0) c PeriodProcTime_6 : 0.000152
24.52/6.45	c (2,0) c PeriodProcTime_7 : 0.000145
24.52/6.45	c (2,0) c PeriodProcTime_total : 0.001220
24.52/6.45	c (2,0) c PeriodProcTime_winner : 0.000165
24.52/6.45	c (2,0) c SolvingTime_0 : 1.535290
24.52/6.45	c (2,0) c SolvingTime_1 : 1.564735
24.52/6.45	c (2,0) c SolvingTime_2 : 1.560279
24.52/6.45	c (2,0) c SolvingTime_3 : 1.541313
24.52/6.45	c (2,0) c SolvingTime_4 : 1.540281
24.52/6.45	c (2,0) c SolvingTime_5 : 1.552753
24.52/6.45	c (2,0) c SolvingTime_6 : 1.541635
24.52/6.45	c (2,0) c SolvingTime_7 : 1.545724
24.52/6.45	c (2,0) c SolvingTime_total : 12.382010
24.52/6.45	c (2,0) c SolvingTime_winner : 1.535290
24.52/6.45	c (2,0) c PropagationTime_0 : 1.328990
24.52/6.45	c (2,0) c PropagationTime_1 : 1.398970
24.52/6.45	c (2,0) c PropagationTime_2 : 1.366059
24.52/6.45	c (2,0) c PropagationTime_3 : 1.341621
24.52/6.45	c (2,0) c PropagationTime_4 : 1.349887
24.52/6.45	c (2,0) c PropagationTime_5 : 1.362689
24.52/6.45	c (2,0) c PropagationTime_6 : 1.320212
24.52/6.45	c (2,0) c PropagationTime_7 : 1.356146
24.52/6.45	c (2,0) c PropagationTime_total : 10.824574
24.52/6.45	c (2,0) c PropagationTime_winner : 1.328990
24.52/6.45	c (2,0) c AnalysisTime_0 : 0.134885
24.52/6.45	c (2,0) c AnalysisTime_1 : 0.100247
24.52/6.45	c (2,0) c AnalysisTime_2 : 0.137988
24.52/6.45	c (2,0) c AnalysisTime_3 : 0.128964
24.52/6.45	c (2,0) c AnalysisTime_4 : 0.119139
24.52/6.45	c (2,0) c AnalysisTime_5 : 0.124703
24.52/6.45	c (2,0) c AnalysisTime_6 : 0.147413
24.52/6.45	c (2,0) c AnalysisTime_7 : 0.118829
24.52/6.45	c (2,0) c AnalysisTime_total : 1.012169
24.52/6.45	c (2,0) c AnalysisTime_winner : 0.134885
24.52/6.45	c (2,0) c ReductionTime_0 : 0.001905
24.52/6.45	c (2,0) c ReductionTime_1 : 0.001469
24.52/6.45	c (2,0) c ReductionTime_2 : 0.001471
24.52/6.45	c (2,0) c ReductionTime_3 : 0.001442
24.52/6.45	c (2,0) c ReductionTime_4 : 0.001462
24.52/6.45	c (2,0) c ReductionTime_5 : 0.001553
24.52/6.45	c (2,0) c ReductionTime_6 : 0.001444
24.52/6.45	c (2,0) c ReductionTime_7 : 0.001515
24.52/6.45	c (2,0) c ReductionTime_total : 0.012262
24.52/6.45	c (2,0) c ReductionTime_winner : 0.001905
24.52/6.45	c (2,0) c SimplifyTime_0 : 0.000007
24.52/6.45	c (2,0) c SimplifyTime_1 : 0.000006
24.52/6.45	c (2,0) c SimplifyTime_2 : 0.000007
24.52/6.45	c (2,0) c SimplifyTime_3 : 0.000004
24.52/6.45	c (2,0) c SimplifyTime_4 : 0.000002
24.52/6.45	c (2,0) c SimplifyTime_5 : 0.000001
24.52/6.45	c (2,0) c SimplifyTime_6 : 0.000003
24.52/6.45	c (2,0) c SimplifyTime_7 : 0.000003
24.52/6.45	c (2,0) c SimplifyTime_total : 0.000033
24.52/6.45	c (2,0) c SimplifyTime_winner : 0.000007
24.52/6.45	c (2,0) c UsedRateTime_0 : 0.000000
24.52/6.45	c (2,0) c UsedRateTime_1 : 0.000000
24.52/6.45	c (2,0) c UsedRateTime_2 : 0.000000
24.52/6.45	c (2,0) c UsedRateTime_3 : 0.000000
24.52/6.45	c (2,0) c UsedRateTime_4 : 0.000000
24.52/6.45	c (2,0) c UsedRateTime_5 : 0.000000
24.52/6.45	c (2,0) c UsedRateTime_6 : 0.000000
24.52/6.45	c (2,0) c UsedRateTime_7 : 0.000000
24.52/6.45	c (2,0) c UsedRateTime_total : 0.000000
24.52/6.45	c (2,0) c UsedRateTime_winner : 0.000000
24.52/6.45	c (2,0) c OverlapRateTime_0 : 0.000000
24.52/6.45	c (2,0) c OverlapRateTime_1 : 0.000000
24.52/6.45	c (2,0) c OverlapRateTime_2 : 0.000000
24.52/6.45	c (2,0) c OverlapRateTime_3 : 0.000000
24.52/6.45	c (2,0) c OverlapRateTime_4 : 0.000000
24.52/6.45	c (2,0) c OverlapRateTime_5 : 0.000000
24.52/6.45	c (2,0) c OverlapRateTime_6 : 0.000000
24.52/6.45	c (2,0) c OverlapRateTime_7 : 0.000000
24.52/6.45	c (2,0) c OverlapRateTime_total : 0.000000
24.52/6.45	c (2,0) c OverlapRateTime_winner : 0.000000
24.52/6.45	c (2,0) c
24.52/6.45	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
24.52/6.45	c (2,0) c
24.52/6.45	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.52/6.45	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
24.52/6.45	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.52/6.45	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
24.52/6.45	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
24.52/6.45	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
24.52/6.45	c (2,0) c | Initial random_seed   | 1714259352 | 1086106600 |  550495625 |  416028893 | 1881505428 |  323926235 |   35228628 | 1121625240 |
24.52/6.45	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
24.52/6.45	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
24.52/6.45	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
24.52/6.45	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
24.52/6.45	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
24.52/6.45	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
24.52/6.45	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
24.52/6.45	c (2,0) c | var_decay             |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8200 |     0.8100 |
24.52/6.45	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
24.52/6.45	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
24.52/6.45	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
24.52/6.45	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.52/6.45	c (2,0) 
24.52/6.45	c (2,0) s SATISFIABLE
24.52/6.48	c (2,0) SatSolver.solve End
24.52/6.48	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
24.52/6.48	c (2,0) Show results Begin
24.88/6.59	c (2,0) x[0] = 14
24.88/6.59	c (2,0) x[1] = 31
24.88/6.59	c (2,0) x[2] = 4
24.88/6.59	c (2,0) x[3] = 38
24.88/6.59	c (2,0) x[4] = 0
24.88/6.59	c (2,0) x[5] = 39
24.88/6.59	c (2,0) x[6] = 2
24.88/6.59	c (2,0) x[7] = 35
24.88/6.59	c (2,0) x[8] = 10
24.88/6.59	c (2,0) x[9] = 25
24.88/6.59	c (2,0) x[10] = 12
24.88/6.59	c (2,0) x[11] = 22
24.88/6.59	c (2,0) x[12] = 20
24.88/6.59	c (2,0) x[13] = 13
24.88/6.59	c (2,0) x[14] = 21
24.88/6.59	c (2,0) x[15] = 16
24.88/6.59	c (2,0) x[16] = 30
24.88/6.59	c (2,0) x[17] = 7
24.88/6.59	c (2,0) x[18] = 23
24.88/6.59	c (2,0) x[19] = 26
24.88/6.59	c (2,0) x[20] = 17
24.88/6.59	c (2,0) x[21] = 28
24.88/6.59	c (2,0) x[22] = 6
24.88/6.59	c (2,0) x[23] = 36
24.88/6.59	c (2,0) x[24] = 1
24.88/6.59	c (2,0) x[25] = 37
24.88/6.59	c (2,0) x[26] = 5
24.88/6.59	c (2,0) x[27] = 33
24.88/6.59	c (2,0) x[28] = 9
24.88/6.59	c (2,0) x[29] = 29
24.88/6.59	c (2,0) x[30] = 11
24.88/6.59	c (2,0) x[31] = 32
24.88/6.59	c (2,0) x[32] = 3
24.88/6.59	c (2,0) x[33] = 34
24.88/6.59	c (2,0) x[34] = 8
24.88/6.59	c (2,0) x[35] = 27
24.88/6.59	c (2,0) x[36] = 15
24.88/6.59	c (2,0) x[37] = 19
24.88/6.59	c (2,0) x[38] = 18
24.88/6.59	c (2,0) x[39] = 24
24.88/6.59	c (2,0) y[0] = 17
24.88/6.59	c (2,0) y[1] = 27
24.88/6.59	c (2,0) y[2] = 34
24.88/6.59	c (2,0) y[3] = 38
24.88/6.59	c (2,0) y[4] = 39
24.88/6.59	c (2,0) y[5] = 37
24.88/6.59	c (2,0) y[6] = 33
24.88/6.59	c (2,0) y[7] = 25
24.88/6.59	c (2,0) y[8] = 15
24.88/6.59	c (2,0) y[9] = 13
24.88/6.59	c (2,0) y[10] = 10
24.88/6.59	c (2,0) y[11] = 2
24.88/6.59	c (2,0) y[12] = 7
24.88/6.59	c (2,0) y[13] = 8
24.88/6.59	c (2,0) y[14] = 5
24.88/6.59	c (2,0) y[15] = 14
24.88/6.59	c (2,0) y[16] = 23
24.88/6.59	c (2,0) y[17] = 16
24.88/6.59	c (2,0) y[18] = 3
24.88/6.59	c (2,0) y[19] = 9
24.88/6.59	c (2,0) y[20] = 11
24.88/6.59	c (2,0) y[21] = 22
24.88/6.59	c (2,0) y[22] = 30
24.88/6.59	c (2,0) y[23] = 35
24.88/6.59	c (2,0) y[24] = 36
24.88/6.59	c (2,0) y[25] = 32
24.88/6.59	c (2,0) y[26] = 28
24.88/6.59	c (2,0) y[27] = 24
24.88/6.59	c (2,0) y[28] = 20
24.88/6.59	c (2,0) y[29] = 18
24.88/6.59	c (2,0) y[30] = 21
24.88/6.59	c (2,0) y[31] = 29
24.88/6.59	c (2,0) y[32] = 31
24.88/6.59	c (2,0) y[33] = 26
24.88/6.59	c (2,0) y[34] = 19
24.88/6.59	c (2,0) y[35] = 12
24.88/6.59	c (2,0) y[36] = 4
24.88/6.59	c (2,0) y[37] = 1
24.88/6.59	c (2,0) y[38] = 6
24.88/6.59	s SATISFIABLE
24.88/6.59	v <instantiation>
24.88/6.59	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38]</list>
24.88/6.59	v     <values>14 31 4 38 0 39 2 35 10 25 12 22 20 13 21 16 30 7 23 26 17 28 6 36 1 37 5 33 9 29 11 32 3 34 8 27 15 19 18 24 17 27 34 38 39 37 33 25 15 13 10 2 7 8 5 14 23 16 3 9 11 22 30 35 36 32 28 24 20 18 21 29 31 26 19 12 4 1 6</values>
24.88/6.59	v </instantiation>
24.88/6.59	c (2,0) Show results End
24.88/6.59	c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
24.88/6.59	c (2,0) 2,2,STOP-AFTER(ALL)
24.88/6.59	c END-Prog: Sat Sep 14 03:12:04 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 (15299 MiB free)
  memory of node 1: 16384 MiB (15500 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392776-1568423562/watcher-4392776-1568423562 -o /tmp/evaluation-result-4392776-1568423562/solver-4392776-1568423562 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568416723-7197 --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-4392776-1568423562.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=12995, runsolver pid=12992

[startup+0.100134 s]*
/proc/loadavg: 7.09 6.98 6.88 2/212 13017
/proc/meminfo: memFree=31445184/32770624 swapFree=66995640/67108860
[pid=12995] ppid=12992 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/12995/stat : 12995 (scop.sh) S 12992 12995 7170 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418607682 115843072 348 33554432000 4194304 5098028 140728601296336 140728601293592 140256223212156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34484224 140728601297700 140728601298028 140728601298028 140728601300941 0
/proc/12995/statm: 28282 348 296 221 0 87 0
[pid=12998] ppid=12995 vsize=27314120 memory=105576 CPUtime=0.11 cores=0-7
/proc/12998/stat : 12998 (java) S 12995 12995 7170 0 -1 1077944320 6447 0 0 0 8 3 0 0 20 0 20 0 418607682 27969658880 26394 33554432000 4194304 4196468 140720556900368 140720556882912 140247411314423 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
/proc/12998/statm: 6828530 26394 2796 1 0 6790935 0
[pid=12998/tid=12999] ppid=12995 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/12998/task/12999/stat : 12999 (java) R 12995 12995 7170 0 -1 4202560 4513 0 0 0 6 2 0 0 20 0 20 0 418607683 27969658880 26906 33554432000 4194304 4196468 140720556900368 140247383136704 140247397382542 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13000] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13000/stat : 13000 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 26906 33554432000 4194304 4196468 140720556900368 140247415556496 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13001] ppid=12995 vsize=27314120 memory=140571236081084 CPUtime=0 cores=0-7
/proc/12998/task/13001/stat : 13001 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 26906 33554432000 4194304 4196468 140720556900368 140247198951696 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13002] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13002/stat : 13002 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 26906 33554432000 4194304 4196468 140720556900368 140247197899408 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13003] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13003/stat : 13003 (java) S 12995 12995 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 26906 33554432000 4194304 4196468 140720556900368 140247196846608 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13004] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13004/stat : 13004 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 26906 33554432000 4194304 4196468 140720556900368 140247195794320 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13005] ppid=12995 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12998/task/13005/stat : 13005 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 26906 33554432000 4194304 4196468 140720556900368 140247194741520 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13006] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13006/stat : 13006 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 26906 33554432000 4194304 4196468 140720556900368 140247193689232 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13007] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13007/stat : 13007 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 26906 33554432000 4194304 4196468 140720556900368 140247192636432 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13008] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13008/stat : 13008 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418607687 27969658880 26906 33554432000 4194304 4196468 140720556900368 140246670878832 140247411325570 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13009] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13009/stat : 13009 (java) S 12995 12995 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418607687 27969658880 26906 33554432000 4194304 4196468 140720556900368 140245177721632 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13010] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13010/stat : 13010 (java) S 12995 12995 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418607687 27969658880 26906 33554432000 4194304 4196468 140720556900368 140245043500144 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13011] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13011/stat : 13011 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418607690 27969658880 26906 33554432000 4194304 4196468 140720556900368 140244668995664 140247411333019 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13012] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13012/stat : 13012 (java) S 12995 12995 7170 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 418607690 27969658880 26906 33554432000 4194304 4196468 140720556900368 140246669826672 140247411325570 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13013] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13013/stat : 13013 (java) S 12995 12995 7170 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 20 0 418607690 27969658880 26906 33554432000 4194304 4196468 140720556900368 140246668773872 140247411325570 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13014] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13014/stat : 13014 (java) S 12995 12995 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418607690 27969658880 26906 33554432000 4194304 4196468 140720556900368 140246667721584 140247411325570 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13015] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13015/stat : 13015 (java) S 12995 12995 7170 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 20 0 418607690 27969658880 26906 33554432000 4194304 4196468 140720556900368 140246666668784 140247411325570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13016] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13016/stat : 13016 (java) S 12995 12995 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418607690 27969658880 26906 33554432000 4194304 4196468 140720556900368 140244171090272 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13017] ppid=12995 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12998/task/13017/stat : 13017 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418607690 27969658880 26906 33554432000 4194304 4196468 140720556900368 140246665615664 140247411325570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106968 KiB

[startup+0.210604 s]*
/proc/loadavg: 7.09 6.98 6.88 3/212 13017
/proc/meminfo: memFree=31423600/32770624 swapFree=66995640/67108860
[pid=12995] ppid=12992 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/12995/stat : 12995 (scop.sh) S 12992 12995 7170 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418607682 115843072 348 33554432000 4194304 5098028 140728601296336 140728601293592 140256223212156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34484224 140728601297700 140728601298028 140728601298028 140728601300941 0
/proc/12995/statm: 28282 348 296 221 0 87 0
[pid=12998] ppid=12995 vsize=27314120 memory=124364 CPUtime=0.25 cores=0-7
/proc/12998/stat : 12998 (java) S 12995 12995 7170 0 -1 1077944320 12033 0 0 0 20 5 0 0 20 0 20 0 418607682 27969658880 31091 33554432000 4194304 4196468 140720556900368 140720556882912 140247411314423 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
/proc/12998/statm: 6828530 31091 2912 1 0 6790935 0
[pid=12998/tid=12999] ppid=12995 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/12998/task/12999/stat : 12999 (java) R 12995 12995 7170 0 -1 4202560 9722 0 0 0 16 4 0 0 20 0 20 0 418607683 27969658880 31091 33554432000 4194304 4196468 140720556900368 140247383127808 140247392877975 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13000] ppid=12995 vsize=27314120 memory=288230600413020516 CPUtime=0 cores=0-7
/proc/12998/task/13000/stat : 13000 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 31091 33554432000 4194304 4196468 140720556900368 140247415556496 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13001] ppid=12995 vsize=27314120 memory=4050345799344486048 CPUtime=0 cores=0-7
/proc/12998/task/13001/stat : 13001 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 31091 33554432000 4194304 4196468 140720556900368 140247198951696 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13002] ppid=12995 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12998/task/13002/stat : 13002 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 31091 33554432000 4194304 4196468 140720556900368 140247197899408 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13003] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13003/stat : 13003 (java) S 12995 12995 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 31091 33554432000 4194304 4196468 140720556900368 140247196846608 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13004] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13004/stat : 13004 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 31091 33554432000 4194304 4196468 140720556900368 140247195794320 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13005] ppid=12995 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12998/task/13005/stat : 13005 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 31091 33554432000 4194304 4196468 140720556900368 140247194741520 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13006] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13006/stat : 13006 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 31091 33554432000 4194304 4196468 140720556900368 140247193689232 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13007] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13007/stat : 13007 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 31091 33554432000 4194304 4196468 140720556900368 140247192636432 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13008] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13008/stat : 13008 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418607687 27969658880 31091 33554432000 4194304 4196468 140720556900368 140246670878832 140247411325570 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13009] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13009/stat : 13009 (java) S 12995 12995 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418607687 27969658880 31091 33554432000 4194304 4196468 140720556900368 140245177721632 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13010] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13010/stat : 13010 (java) S 12995 12995 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418607687 27969658880 31091 33554432000 4194304 4196468 140720556900368 140245043500144 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13011] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13011/stat : 13011 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418607690 27969658880 31091 33554432000 4194304 4196468 140720556900368 140244668995664 140247411333019 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13012] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13012/stat : 13012 (java) S 12995 12995 7170 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 418607690 27969658880 31091 33554432000 4194304 4196468 140720556900368 140246669826672 140247411325570 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13013] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13013/stat : 13013 (java) S 12995 12995 7170 0 -1 1077944384 444 0 0 0 0 0 0 0 20 0 20 0 418607690 27969658880 31091 33554432000 4194304 4196468 140720556900368 140246668773872 140247411325570 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13014] ppid=12995 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12998/task/13014/stat : 13014 (java) S 12995 12995 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418607690 27969658880 31091 33554432000 4194304 4196468 140720556900368 140246667721584 140247411325570 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13015] ppid=12995 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/12998/task/13015/stat : 13015 (java) S 12995 12995 7170 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 20 0 418607690 27969658880 31091 33554432000 4194304 4196468 140720556900368 140246666668784 140247411325570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13016] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13016/stat : 13016 (java) S 12995 12995 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418607690 27969658880 31091 33554432000 4194304 4196468 140720556900368 140244171090272 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13017] ppid=12995 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12998/task/13017/stat : 13017 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418607690 27969658880 31091 33554432000 4194304 4196468 140720556900368 140246665615664 140247411325570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125756 KiB

[startup+0.309761 s]*
/proc/loadavg: 6.60 6.88 6.85 2/212 13017
/proc/meminfo: memFree=31420668/32770624 swapFree=66995640/67108860
[pid=12995] ppid=12992 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/12995/stat : 12995 (scop.sh) S 12992 12995 7170 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418607682 115843072 348 33554432000 4194304 5098028 140728601296336 140728601293592 140256223212156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34484224 140728601297700 140728601298028 140728601298028 140728601300941 0
/proc/12995/statm: 28282 348 296 221 0 87 0
[pid=12998] ppid=12995 vsize=27314120 memory=128228 CPUtime=0.42 cores=0-7
/proc/12998/stat : 12998 (java) S 12995 12995 7170 0 -1 1077944320 12406 0 0 0 37 5 0 0 20 0 20 0 418607682 27969658880 32057 33554432000 4194304 4196468 140720556900368 140720556882912 140247411314423 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
/proc/12998/statm: 6828530 32057 3064 1 0 6790935 0
[pid=12998/tid=12999] ppid=12995 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/12998/task/12999/stat : 12999 (java) R 12995 12995 7170 0 -1 4202560 9909 0 0 0 26 4 0 0 20 0 20 0 418607683 27969658880 32057 33554432000 4194304 4196468 140720556900368 140247383099408 140247396480009 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13000] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13000/stat : 13000 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 32057 33554432000 4194304 4196468 140720556900368 140247415556496 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13001] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13001/stat : 13001 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 32057 33554432000 4194304 4196468 140720556900368 140247198951696 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13002] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13002/stat : 13002 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 32057 33554432000 4194304 4196468 140720556900368 140247197899408 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13003] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13003/stat : 13003 (java) S 12995 12995 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 32057 33554432000 4194304 4196468 140720556900368 140247196846608 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13004] ppid=12995 vsize=27314120 memory=140571125574319 CPUtime=0 cores=0-7
/proc/12998/task/13004/stat : 13004 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 32057 33554432000 4194304 4196468 140720556900368 140247195794320 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13005] ppid=12995 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12998/task/13005/stat : 13005 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 32057 33554432000 4194304 4196468 140720556900368 140247194741520 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13006] ppid=12995 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12998/task/13006/stat : 13006 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 32057 33554432000 4194304 4196468 140720556900368 140247193689232 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13007] ppid=12995 vsize=27314120 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/12998/task/13007/stat : 13007 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418607685 27969658880 32057 33554432000 4194304 4196468 140720556900368 140247192636432 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13008] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13008/stat : 13008 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418607687 27969658880 32057 33554432000 4194304 4196468 140720556900368 140246670878832 140247411325570 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13009] ppid=12995 vsize=27314120 memory=281142251171712 CPUtime=0 cores=0-7
/proc/12998/task/13009/stat : 13009 (java) S 12995 12995 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418607687 27969658880 32057 33554432000 4194304 4196468 140720556900368 140245177721632 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13010] ppid=12995 vsize=27314120 memory=281142251176320 CPUtime=0 cores=0-7
/proc/12998/task/13010/stat : 13010 (java) S 12995 12995 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418607687 27969658880 32057 33554432000 4194304 4196468 140720556900368 140245043500144 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13011] ppid=12995 vsize=27314120 memory=281142251180928 CPUtime=0 cores=0-7
/proc/12998/task/13011/stat : 13011 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418607690 27969658880 32057 33554432000 4194304 4196468 140720556900368 140244668995664 140247411333019 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13012] ppid=12995 vsize=27314120 memory=281142251185536 CPUtime=0 cores=0-7
/proc/12998/task/13012/stat : 13012 (java) S 12995 12995 7170 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 418607690 27969658880 32057 33554432000 4194304 4196468 140720556900368 140246669826672 140247411325570 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13013] ppid=12995 vsize=27314120 memory=281142251190144 CPUtime=0.02 cores=0-7
/proc/12998/task/13013/stat : 13013 (java) S 12995 12995 7170 0 -1 1077944384 544 0 0 0 2 0 0 0 20 0 20 0 418607690 27969658880 32057 33554432000 4194304 4196468 140720556900368 140246668773872 140247411325570 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13014] ppid=12995 vsize=27314120 memory=281142251194752 CPUtime=0 cores=0-7
/proc/12998/task/13014/stat : 13014 (java) S 12995 12995 7170 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 418607690 27969658880 32057 33554432000 4194304 4196468 140720556900368 140246667721584 140247411325570 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13015] ppid=12995 vsize=27314120 memory=281142251199360 CPUtime=0.07 cores=0-7
/proc/12998/task/13015/stat : 13015 (java) S 12995 12995 7170 0 -1 1077944384 482 0 0 0 7 0 0 0 20 0 20 0 418607690 27969658880 32057 33554432000 4194304 4196468 140720556900368 140246666668784 140247411325570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13016] ppid=12995 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13016/stat : 13016 (java) S 12995 12995 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418607690 27969658880 32057 33554432000 4194304 4196468 140720556900368 140244171090272 140247411324629 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13017] ppid=12995 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12998/task/13017/stat : 13017 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418607690 27969658880 32057 33554432000 4194304 4196468 140720556900368 140246665615664 140247411325570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129620 KiB

[startup+0.700938 s]
/proc/loadavg: 6.60 6.88 6.85 2/212 13017
/proc/meminfo: memFree=31399712/32770624 swapFree=66995640/67108860
[pid=12995] ppid=12992 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/12995/stat : 12995 (scop.sh) S 12992 12995 7170 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418607682 115843072 348 33554432000 4194304 5098028 140728601296336 140728601293592 140256223212156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34484224 140728601297700 140728601298028 140728601298028 140728601300941 0
/proc/12995/statm: 28282 348 296 221 0 87 0
[pid=12998] ppid=12995 vsize=27322516 memory=163748 CPUtime=1 cores=0-7
/proc/12998/stat : 12998 (java) S 12995 12995 7170 0 -1 1077944320 20125 0 0 0 91 9 0 0 20 0 20 0 418607682 27978256384 40937 33554432000 4194304 4196468 140720556900368 140720556882912 140247411314423 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
/proc/12998/statm: 6830629 40937 3202 1 0 6791959 0
[pid=12998/tid=12999] ppid=12995 vsize=27322516 memory=4580 CPUtime=0.68 cores=0-7
/proc/12998/task/12999/stat : 12999 (java) R 12995 12995 7170 0 -1 4202560 17046 0 0 0 61 7 0 0 20 0 20 0 418607683 27978256384 40937 33554432000 4194304 4196468 140720556900368 140247383146160 140247395394910 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13000] ppid=12995 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13000/stat : 13000 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418607685 27978256384 40937 33554432000 4194304 4196468 140720556900368 140247415556496 140247411324629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13001] ppid=12995 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/12998/task/13001/stat : 13001 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418607685 27978256384 40937 33554432000 4194304 4196468 140720556900368 140247198951696 140247411324629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0
[pid=12998/tid=13002] ppid=12995 vsize=27322516 memory=8556 CPUtime=0 cores=0-7
/proc/12998/task/13002/stat : 13002 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418607685 27978256384 40937 33554432000 4194304 4196468 140720556900368 140247197899408 140247411324629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140720556905194 140720556905622 140720556905622 140720556908495 0

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

[pid=13038/tid=13045] ppid=13018 vsize=837892 memory=214300 CPUtime=1.39 cores=0-7
/proc/13038/task/13045/stat : 13045 (manyglucose-4.1) R 13018 12995 7170 0 -1 4202560 3908 0 0 0 137 2 0 0 20 0 9 0 418608169 858001408 56375 33554432000 4194304 4454172 140736618760672 140316753038440 4351331 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 28180480 140736618767209 140736618767408 140736618767408 140736618770362 0
[pid=13038/tid=13046] ppid=13018 vsize=837892 memory=0 CPUtime=1.4 cores=0-7
/proc/13038/task/13046/stat : 13046 (manyglucose-4.1) R 13018 12995 7170 0 -1 4202560 4406 0 0 0 140 0 0 0 20 0 9 0 418608169 858001408 56375 33554432000 4194304 4454172 140736618760672 140316744645240 4351289 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 28180480 140736618767209 140736618767408 140736618767408 140736618770362 0
[pid=13038/tid=13047] ppid=13018 vsize=837892 memory=111944027629006 CPUtime=1.39 cores=0-7
/proc/13038/task/13047/stat : 13047 (manyglucose-4.1) R 13018 12995 7170 0 -1 4202560 3119 0 0 0 139 0 0 0 20 0 9 0 418608169 858001408 56375 33554432000 4194304 4454172 140736618760672 140316736253096 4351209 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 28180480 140736618767209 140736618767408 140736618767408 140736618770362 0
[pid=13038/tid=13048] ppid=13018 vsize=837892 memory=281142251497760 CPUtime=1.39 cores=0-7
/proc/13038/task/13048/stat : 13048 (manyglucose-4.1) R 13018 12995 7170 0 -1 4202560 3735 0 0 0 137 2 0 0 20 0 9 0 418608169 858001408 56375 33554432000 4194304 4454172 140736618760672 140316727860328 4351209 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 28180480 140736618767209 140736618767408 140736618767408 140736618770362 0
[pid=13038/tid=13049] ppid=13018 vsize=837892 memory=281142251047008 CPUtime=1.4 cores=0-7
/proc/13038/task/13049/stat : 13049 (manyglucose-4.1) R 13018 12995 7170 0 -1 4202560 3705 0 0 0 137 3 0 0 20 0 9 0 418608169 858001408 56375 33554432000 4194304 4454172 140736618760672 140316719467624 4333018 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 28180480 140736618767209 140736618767408 140736618767408 140736618770362 0
[pid=13038/tid=13050] ppid=13018 vsize=837892 memory=1556 CPUtime=1.4 cores=0-7
/proc/13038/task/13050/stat : 13050 (manyglucose-4.1) R 13018 12995 7170 0 -1 4202560 3327 0 0 0 139 1 0 0 20 0 9 0 418608169 858001408 56375 33554432000 4194304 4454172 140736618760672 140316576857192 4350902 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 28180480 140736618767209 140736618767408 140736618767408 140736618770362 0
[pid=13038/tid=13051] ppid=13018 vsize=837892 memory=496 CPUtime=1.4 cores=0-7
/proc/13038/task/13051/stat : 13051 (manyglucose-4.1) R 13018 12995 7170 0 -1 4202560 3030 0 0 0 138 2 0 0 20 0 9 0 418608169 858001408 56375 33554432000 4194304 4454172 140736618760672 140316711074920 4350902 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 28180480 140736618767209 140736618767408 140736618767408 140736618770362 0
[pid=13018/tid=13019] ppid=12995 vsize=8414124 memory=928 CPUtime=0.74 cores=0-7
/proc/13018/task/13019/stat : 13019 (java) S 12995 12995 7170 0 -1 1077944384 16393 0 0 0 69 5 0 0 20 0 24 0 418608047 8616062976 29946 33554432000 4194304 4196468 140735250218032 140210046603168 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13020] ppid=12995 vsize=8414124 memory=1604 CPUtime=0 cores=0-7
/proc/13018/task/13020/stat : 13020 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418608048 8616062976 29946 33554432000 4194304 4196468 140735250218032 140210079005584 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13021] ppid=12995 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/13018/task/13021/stat : 13021 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418608048 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209559694096 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13022] ppid=12995 vsize=8414124 memory=6852 CPUtime=0 cores=0-7
/proc/13018/task/13022/stat : 13022 (java) S 12995 12995 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418608048 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209558641808 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13023] ppid=12995 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/13018/task/13023/stat : 13023 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418608048 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209557589008 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13024] ppid=12995 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/13018/task/13024/stat : 13024 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418608048 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209556535696 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13025] ppid=12995 vsize=8414124 memory=992 CPUtime=0 cores=0-7
/proc/13018/task/13025/stat : 13025 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418608049 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209555482896 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13026] ppid=12995 vsize=8414124 memory=609 CPUtime=0 cores=0-7
/proc/13018/task/13026/stat : 13026 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418608049 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209554430608 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13027] ppid=12995 vsize=8414124 memory=364 CPUtime=0 cores=0-7
/proc/13018/task/13027/stat : 13027 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418608049 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209553377808 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13028] ppid=12995 vsize=8414124 memory=306 CPUtime=0 cores=0-7
/proc/13018/task/13028/stat : 13028 (java) S 12995 12995 7170 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 418608050 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209168218736 140210074774146 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13029] ppid=12995 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13018/task/13029/stat : 13029 (java) S 12995 12995 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418608050 8616062976 29946 33554432000 4194304 4196468 140735250218032 140208670500128 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13030] ppid=12995 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13018/task/13030/stat : 13030 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418608051 8616062976 29946 33554432000 4194304 4196468 140735250218032 140208402065008 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13031] ppid=12995 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/13018/task/13031/stat : 13031 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418608053 8616062976 29946 33554432000 4194304 4196468 140735250218032 140208027556432 140210074781595 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13032] ppid=12995 vsize=8414124 memory=6656426216303648864 CPUtime=0.06 cores=0-7
/proc/13018/task/13032/stat : 13032 (java) S 12995 12995 7170 0 -1 1077944384 305 0 0 0 6 0 0 0 20 0 24 0 418608053 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209167165552 140210074774146 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13033] ppid=12995 vsize=8414124 memory=6944656592455359580 CPUtime=0.05 cores=0-7
/proc/13018/task/13033/stat : 13033 (java) S 12995 12995 7170 0 -1 1077944384 372 0 0 0 5 0 0 0 20 0 24 0 418608053 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209166112752 140210074774146 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13034] ppid=12995 vsize=8414124 memory=6944656592455360604 CPUtime=0.05 cores=0-7
/proc/13018/task/13034/stat : 13034 (java) S 12995 12995 7170 0 -1 1077944384 419 0 0 0 5 0 0 0 20 0 24 0 418608053 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209165060464 140210074774146 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13035] ppid=12995 vsize=8414124 memory=196521664728232 CPUtime=0.19 cores=0-7
/proc/13018/task/13035/stat : 13035 (java) S 12995 12995 7170 0 -1 1077944384 521 0 0 0 19 0 0 0 20 0 24 0 418608053 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209164007664 140210074774146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13036] ppid=12995 vsize=8414124 memory=6944656591817620016 CPUtime=0 cores=0-7
/proc/13018/task/13036/stat : 13036 (java) S 12995 12995 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418608053 8616062976 29946 33554432000 4194304 4196468 140735250218032 140207529651040 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13037] ppid=12995 vsize=8414124 memory=288284497873731618 CPUtime=0 cores=0-7
/proc/13018/task/13037/stat : 13037 (java) R 12995 12995 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418608054 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209162955568 140210074774146 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13039] ppid=12995 vsize=8414124 memory=7521967284293036089 CPUtime=0 cores=0-7
/proc/13018/task/13039/stat : 13039 (java) S 12995 12995 7170 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418608119 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209154922304 140210074787609 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13041] ppid=12995 vsize=8414124 memory=8099838714595135798 CPUtime=0 cores=0-7
/proc/13018/task/13041/stat : 13041 (java) S 12995 12995 7170 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418608120 8616062976 29946 33554432000 4194304 4196468 140735250218032 140206858550672 140210074784925 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13042] ppid=12995 vsize=8414124 memory=8085153615467533676 CPUtime=0 cores=0-7
/proc/13018/task/13042/stat : 13042 (java) S 12995 12995 7170 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418608120 8616062976 29946 33554432000 4194304 4196468 140735250218032 140207126986000 140210074784925 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13043] ppid=12995 vsize=8414124 memory=7451323684019001705 CPUtime=0 cores=0-7
/proc/13018/task/13043/stat : 13043 (java) S 12995 12995 7170 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418608122 8616062976 29946 33554432000 4194304 4196468 140735250218032 140206590123312 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
Current children cumulated CPU time: 23.71 s
Current children cumulated vsize: 9365144 KiB
Current children cumulated memory: 346756 KiB

[startup+6.60301 s]
# the end of solver process 12995 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=24.4621 s, system=0.660367 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40256 s]
/proc/loadavg: 6.95 6.95 6.87 9/225 13051
/proc/meminfo: memFree=31239056/32770624 swapFree=66995640/67108860
[pid=12995] ppid=12992 vsize=113128 memory=1472 CPUtime=10.85 cores=0-7
/proc/12995/stat : 12995 (scop.sh) S 12992 12995 7170 0 -1 4202496 582 31576 0 0 0 0 1053 32 20 0 1 0 418607682 115843072 368 33554432000 4194304 5098028 140728601296336 140728601293080 140256223212156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34484224 140728601297700 140728601298028 140728601298028 140728601300941 0
/proc/12995/statm: 28282 368 311 221 0 87 0
[pid=13018] ppid=12995 vsize=8414124 memory=119784 CPUtime=1.15 cores=0-7
/proc/13018/stat : 13018 (java) S 12995 12995 7170 0 -1 1077944320 19412 0 0 0 108 7 0 0 20 0 24 0 418608047 8616062976 29946 33554432000 4194304 4196468 140735250218032 140735250200576 140210074762999 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
/proc/13018/statm: 2103531 29946 3203 1 0 2064875 0
[pid=13038] ppid=13018 vsize=837892 memory=227628 CPUtime=12.52 cores=0-7
/proc/13038/stat : 13038 (manyglucose-4.1) S 13018 12995 7170 0 -1 1077944320 52615 0 0 0 1230 22 0 0 20 0 9 0 418608119 858001408 56907 33554432000 4194304 4454172 140736618760672 140736618759072 140316789516930 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 28180480 140736618767209 140736618767408 140736618767408 140736618770362 0
/proc/13038/statm: 209473 56907 407 64 0 205141 0
[pid=13038/tid=13044] ppid=13018 vsize=837892 memory=852 CPUtime=1.46 cores=0-7
/proc/13038/task/13044/stat : 13044 (manyglucose-4.1) R 13018 12995 7170 0 -1 4202560 5201 0 0 0 143 3 0 0 20 0 9 0 418608169 858001408 56907 33554432000 4194304 4454172 140736618760672 140316761430840 4351231 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 28180480 140736618767209 140736618767408 140736618767408 140736618770362 0
[pid=13038/tid=13045] ppid=13018 vsize=837892 memory=7595711563662452565 CPUtime=1.5 cores=0-7
/proc/13038/task/13045/stat : 13045 (manyglucose-4.1) R 13018 12995 7170 0 -1 4202560 3916 0 0 0 147 3 0 0 20 0 9 0 418608169 858001408 56907 33554432000 4194304 4454172 140736618760672 140316753038440 4351289 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 28180480 140736618767209 140736618767408 140736618767408 140736618770362 0
[pid=13038/tid=13046] ppid=13018 vsize=837892 memory=8099838714595135850 CPUtime=1.5 cores=0-7
/proc/13038/task/13046/stat : 13046 (manyglucose-4.1) R 13018 12995 7170 0 -1 4202560 4426 0 0 0 150 0 0 0 20 0 9 0 418608169 858001408 56907 33554432000 4194304 4454172 140736618760672 140316744645240 4350902 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 28180480 140736618767209 140736618767408 140736618767408 140736618770362 0
[pid=13038/tid=13047] ppid=13018 vsize=837892 memory=6296146977915491689 CPUtime=1.49 cores=0-7
/proc/13038/task/13047/stat : 13047 (manyglucose-4.1) R 13018 12995 7170 0 -1 4202560 3122 0 0 0 149 0 0 0 20 0 9 0 418608169 858001408 56907 33554432000 4194304 4454172 140736618760672 140316736253032 4322163 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 28180480 140736618767209 140736618767408 140736618767408 140736618770362 0
[pid=13038/tid=13048] ppid=13018 vsize=837892 memory=-1 CPUtime=1.49 cores=0-7
/proc/13038/task/13048/stat : 13048 (manyglucose-4.1) R 13018 12995 7170 0 -1 4202560 3737 0 0 0 147 2 0 0 20 0 9 0 418608169 858001408 56907 33554432000 4194304 4454172 140736618760672 140316727860328 4351094 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 28180480 140736618767209 140736618767408 140736618767408 140736618770362 0
[pid=13038/tid=13049] ppid=13018 vsize=837892 memory=2241 CPUtime=1.5 cores=0-7
/proc/13038/task/13049/stat : 13049 (manyglucose-4.1) R 13018 12995 7170 0 -1 4202560 3708 0 0 0 147 3 0 0 20 0 9 0 418608169 858001408 56907 33554432000 4194304 4454172 140736618760672 140316719467624 4351502 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 28180480 140736618767209 140736618767408 140736618767408 140736618770362 0
[pid=13038/tid=13050] ppid=13018 vsize=837892 memory=2244 CPUtime=1.5 cores=0-7
/proc/13038/task/13050/stat : 13050 (manyglucose-4.1) R 13018 12995 7170 0 -1 4202560 3344 0 0 0 149 1 0 0 20 0 9 0 418608169 858001408 56907 33554432000 4194304 4454172 140736618760672 140316576857192 4350930 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 28180480 140736618767209 140736618767408 140736618767408 140736618770362 0
[pid=13038/tid=13051] ppid=13018 vsize=837892 memory=1392 CPUtime=1.5 cores=0-7
/proc/13038/task/13051/stat : 13051 (manyglucose-4.1) R 13018 12995 7170 0 -1 4202560 3033 0 0 0 148 2 0 0 20 0 9 0 418608169 858001408 56907 33554432000 4194304 4454172 140736618760672 140316711074920 4351223 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 28180480 140736618767209 140736618767408 140736618767408 140736618770362 0
[pid=13018/tid=13019] ppid=12995 vsize=8414124 memory=124364 CPUtime=0.74 cores=0-7
/proc/13018/task/13019/stat : 13019 (java) S 12995 12995 7170 0 -1 1077944384 16393 0 0 0 69 5 0 0 20 0 24 0 418608047 8616062976 29946 33554432000 4194304 4196468 140735250218032 140210046603168 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13020] ppid=12995 vsize=8414124 memory=728 CPUtime=0 cores=0-7
/proc/13018/task/13020/stat : 13020 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418608048 8616062976 29946 33554432000 4194304 4196468 140735250218032 140210079005584 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13021] ppid=12995 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/13018/task/13021/stat : 13021 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418608048 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209559694096 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13022] ppid=12995 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/13018/task/13022/stat : 13022 (java) S 12995 12995 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418608048 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209558641808 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13023] ppid=12995 vsize=8414124 memory=2548 CPUtime=0 cores=0-7
/proc/13018/task/13023/stat : 13023 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418608048 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209557589008 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13024] ppid=12995 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/13018/task/13024/stat : 13024 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418608048 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209556535696 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13025] ppid=12995 vsize=8414124 memory=69456 CPUtime=0 cores=0-7
/proc/13018/task/13025/stat : 13025 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418608049 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209555482896 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13026] ppid=12995 vsize=8414124 memory=1616 CPUtime=0 cores=0-7
/proc/13018/task/13026/stat : 13026 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418608049 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209554430608 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13027] ppid=12995 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/13018/task/13027/stat : 13027 (java) S 12995 12995 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418608049 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209553377808 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13028] ppid=12995 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/13018/task/13028/stat : 13028 (java) S 12995 12995 7170 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 418608050 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209168218736 140210074774146 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13029] ppid=12995 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/13018/task/13029/stat : 13029 (java) S 12995 12995 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418608050 8616062976 29946 33554432000 4194304 4196468 140735250218032 140208670500128 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13030] ppid=12995 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/13018/task/13030/stat : 13030 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418608051 8616062976 29946 33554432000 4194304 4196468 140735250218032 140208402065008 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13031] ppid=12995 vsize=8414124 memory=2356 CPUtime=0 cores=0-7
/proc/13018/task/13031/stat : 13031 (java) S 12995 12995 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418608053 8616062976 29946 33554432000 4194304 4196468 140735250218032 140208027556432 140210074781595 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13032] ppid=12995 vsize=8414124 memory=1440 CPUtime=0.06 cores=0-7
/proc/13018/task/13032/stat : 13032 (java) S 12995 12995 7170 0 -1 1077944384 305 0 0 0 6 0 0 0 20 0 24 0 418608053 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209167165552 140210074774146 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13033] ppid=12995 vsize=8414124 memory=820 CPUtime=0.05 cores=0-7
/proc/13018/task/13033/stat : 13033 (java) S 12995 12995 7170 0 -1 1077944384 372 0 0 0 5 0 0 0 20 0 24 0 418608053 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209166112752 140210074774146 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13034] ppid=12995 vsize=8414124 memory=1764 CPUtime=0.05 cores=0-7
/proc/13018/task/13034/stat : 13034 (java) S 12995 12995 7170 0 -1 1077944384 419 0 0 0 5 0 0 0 20 0 24 0 418608053 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209165060464 140210074774146 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13035] ppid=12995 vsize=8414124 memory=111632 CPUtime=0.19 cores=0-7
/proc/13018/task/13035/stat : 13035 (java) S 12995 12995 7170 0 -1 1077944384 521 0 0 0 19 0 0 0 20 0 24 0 418608053 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209164007664 140210074774146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13036] ppid=12995 vsize=8414124 memory=808 CPUtime=0 cores=0-7
/proc/13018/task/13036/stat : 13036 (java) S 12995 12995 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418608053 8616062976 29946 33554432000 4194304 4196468 140735250218032 140207529651040 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13037] ppid=12995 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/13018/task/13037/stat : 13037 (java) S 12995 12995 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418608054 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209162955568 140210074774146 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13039] ppid=12995 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/13018/task/13039/stat : 13039 (java) S 12995 12995 7170 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418608119 8616062976 29946 33554432000 4194304 4196468 140735250218032 140209154922304 140210074787609 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13041] ppid=12995 vsize=8414124 memory=4160 CPUtime=0 cores=0-7
/proc/13018/task/13041/stat : 13041 (java) S 12995 12995 7170 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418608120 8616062976 29946 33554432000 4194304 4196468 140735250218032 140206858550672 140210074784925 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13042] ppid=12995 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13018/task/13042/stat : 13042 (java) S 12995 12995 7170 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418608120 8616062976 29946 33554432000 4194304 4196468 140735250218032 140207126986000 140210074784925 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
[pid=13018/tid=13043] ppid=12995 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13018/task/13043/stat : 13043 (java) S 12995 12995 7170 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418608122 8616062976 29946 33554432000 4194304 4196468 140735250218032 140206590123312 140210074773205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29122560 140735250220023 140735250220182 140735250220182 140735250223055 0
Current children cumulated CPU time: 24.52 s
Current children cumulated vsize: 9365144 KiB
Current children cumulated memory: 348884 KiB

[startup+6.60098 s]
/proc/loadavg: 6.95 6.95 6.87 9/225 13051
/proc/meminfo: memFree=31239056/32770624 swapFree=66995640/67108860
[pid=12995] ppid=12992 vsize=113128 memory=1472 CPUtime=10.85 cores=0-7
/proc/12995/stat : 12995 (scop.sh) S 12992 12995 7170 0 -1 4202496 582 31576 0 0 0 0 1053 32 20 0 1 0 418607682 115843072 368 33554432000 4194304 5098028 140728601296336 140728601293080 140256223212156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34484224 140728601297700 140728601298028 140728601298028 140728601300941 0
/proc/12995/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 10.85 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB

Child status: 0
Real time (s): 6.60309
CPU time (s): 25.1224
CPU user time (s): 24.4621
CPU system time (s): 0.660367
CPU usage (%): 380.465
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1191904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.4621
system time used= 0.660367
maximum resident set size= 1193580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105633
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11041
involuntary context switches= 160


# summary of solver processes directly reported to runsolver:
#   pid: 12995
#   total CPU time (s): 25.1224
#   total CPU user time (s): 24.4621
#   total CPU system time (s): 0.660367

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.076825 second user time and 0.119391 second system time

The end

Launcher Data 

Begin job on node102 at 2019-09-14 03:11:57
IDJOB=4392776
IDBENCH=124114
IDSOLVER=2839
FILE ID=node102/4392776-1568423562
RUNJOBID= node102-1568416723-7197
PBS_JOBID= 21702264
Free space on /tmp= 59328 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/AllInterval/AllInterval-m1-s1/AllInterval-040.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-4392776-1568423562/watcher-4392776-1568423562 -o /tmp/evaluation-result-4392776-1568423562/solver-4392776-1568423562 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568416723-7197 --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-4392776-1568423562.xml

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

MD5SUM BENCH= b74d7d5d03f7c84e1bb19748e6149180
RANDOM SEED=1925339228

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31539168 kB
MemAvailable:   31920140 kB
Buffers:          169104 kB
Cached:           505144 kB
SwapCached:         9552 kB
Active:           334576 kB
Inactive:         350656 kB
Active(anon):       8452 kB
Inactive(anon):    33860 kB
Active(file):     326124 kB
Inactive(file):   316796 kB
Unevictable:      110432 kB
Mlocked:          110432 kB
SwapTotal:      67108860 kB
SwapFree:       66995640 kB
Dirty:             20632 kB
Writeback:             4 kB
AnonPages:        112544 kB
Mapped:            35160 kB
Shmem:             22688 kB
Slab:             136752 kB
SReclaimable:     107772 kB
SUnreclaim:        28980 kB
KernelStack:        3360 kB
PageTables:         5200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59308 MiB
End job on node102 at 2019-09-14 03:12:04