Trace number 4392476

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 24.214 6.92488

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-4388-serial-file.bin HOME/instance-4392476-1568423562.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 03:12:02 CEST 2019
0.66/0.56	c PID: 4391
0.66/0.56	c IP: 172.20.3.146
0.66/0.56	c HOST: node146.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.38/0.90	c (0,0) Parsing End
1.38/0.90	c (0,0) CSP: 79 int (0 aux), 0 bool (0 aux), 41 ctr, max domain size 40
1.38/0.90	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.90	c (0,0) Constraint Name Generate Begin
1.38/0.91	c (0,0) Ctr:HOME/instance-4392476-1568423562.xml,AllDifferent:Dist:Eq:Var
1.38/0.91	c (0,0) Constraint Name Generate End
1.38/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.91	c (0,0) CSP to CSPinCNF Begin
2.40/1.37	c (0,0) translated 5 (10%) constraints
2.40/1.38	c (0,0) translated 9 (20%) constraints
2.40/1.38	c (0,0) translated 13 (30%) constraints
2.40/1.39	c (0,0) translated 17 (40%) constraints
2.40/1.39	c (0,0) translated 21 (50%) constraints
2.40/1.39	c (0,0) translated 25 (60%) constraints
2.83/1.40	c (0,0) translated 29 (70%) constraints
2.83/1.40	c (0,0) translated 33 (80%) constraints
2.83/1.40	c (0,0) translated 37 (90%) constraints
2.83/1.41	c (0,0) translated 41 (100%) constraints
2.83/1.41	c (0,0) ===========================================
2.83/1.41	c (0,0) Order
2.83/1.41	c (0,0) ===========================================
2.83/1.44	c (0,0) translated 173 (10%) constraints
2.83/1.46	c (0,0) translated 345 (20%) constraints
2.83/1.47	c (0,0) translated 517 (30%) constraints
2.83/1.48	c (0,0) translated 689 (40%) constraints
3.50/1.69	c (1,1) translated 861 (50%) constraints
3.91/1.70	c (1,1) translated 1033 (60%) constraints
3.91/1.71	c (1,1) translated 1205 (70%) constraints
3.91/1.72	c (1,1) translated 1377 (80%) constraints
3.91/1.73	c (1,1) translated 1549 (90%) constraints
4.32/1.85	c (1,1) translated 1721 (100%) constraints
4.32/1.86	c (1,1) CSP to CSPinCNF End
4.32/1.86	c (1,1) CSP: 79 int (0 aux), 3121 bool (3121 aux), 7963 ctr, max domain size 40
4.32/1.86	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.32/1.86	c (1,1) CSPinCNF Propagation Begin
4.73/1.95	c (1,1) 0 values, 0 unsatisfiable literals, and 158 valid clauses are removed
4.73/1.95	c (1,1) CSPinCNF Propagation End
4.73/1.95	c (1,1) CSP: 79 int (0 aux), 3121 bool (3121 aux), 7805 ctr, max domain size 40
4.73/1.96	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.73/1.96	c (1,1) Simplify CSPinCNF Begin
5.18/2.07	c (1,1) Simplify CSPinCNF End
5.18/2.07	c (1,1) CSP: 79 int (0 aux), 6241 bool (6241 aux), 10925 ctr, max domain size 40
5.18/2.07	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.18/2.07	c (1,1) Calculate Precise Domain Begin
5.18/2.07	c (1,1) 0 values are removed by re-calculation
5.18/2.07	c (1,1) Calculate Precise Domain End
5.18/2.07	c (1,1) CSP: 79 int (0 aux), 6241 bool (6241 aux), 10925 ctr, max domain size 40
5.18/2.07	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.18/2.07	c (1,1) CSPinCNF to SatSolver Begin
7.19/2.52	c (1,1) 1093 (10 %) CSP clauses are encoded (0 SAT variables, 32447 SAT clauses)
7.52/2.67	c (2,2) 2185 (20 %) CSP clauses are encoded (0 SAT variables, 61931 SAT clauses)
7.73/2.71	c (2,2) 3278 (30 %) CSP clauses are encoded (0 SAT variables, 67080 SAT clauses)
7.73/2.72	c (2,2) 4370 (40 %) CSP clauses are encoded (0 SAT variables, 68172 SAT clauses)
7.73/2.73	c (2,2) 5463 (50 %) CSP clauses are encoded (0 SAT variables, 69265 SAT clauses)
7.86/2.87	c (2,2) 6555 (60 %) CSP clauses are encoded (0 SAT variables, 96995 SAT clauses)
8.02/3.00	c (2,2) 7648 (70 %) CSP clauses are encoded (0 SAT variables, 125790 SAT clauses)
8.16/3.02	c (2,2) 8740 (80 %) CSP clauses are encoded (0 SAT variables, 128858 SAT clauses)
8.16/3.03	c (2,2) 9833 (90 %) CSP clauses are encoded (0 SAT variables, 129951 SAT clauses)
9.75/3.53	c (2,2) 10925 (100 %) CSP clauses are encoded (0 SAT variables, 251749 SAT clauses)
9.75/3.54	c (2,2) CSPinCNF to SatSolver End
9.75/3.54	c (2,2) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.75/3.54	c (2,2) 9283 bool, 252568 clause
9.75/3.54	c (2,2) Export Begin
9.90/3.62	c (3,3) Export to HOME/scop-4388-serial-file.bin
9.90/3.62	c (3,3) Export End
9.90/3.62	c (3,3) Export File Size: 0.01 MB
9.90/3.62	c (3,3) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
9.90/3.62	c END-Prog: Sat Sep 14 03:12:05 CEST 2019
9.90/3.65	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-4388-serial-file.bin
10.45/4.10	c (0,0) Read Serial File Begin
10.45/4.10	c (0,0) HOME/scop-4388-serial-file.bin
10.85/4.61	c (0,0) Read Serial File End
10.85/4.62	
10.85/4.62	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
10.85/4.62	(Solving Process)
10.85/4.62	
10.85/4.65	c BEGIN-Prog: Sat Sep 14 03:12:06 CEST 2019
10.85/4.65	c PID: 4411
10.85/4.65	c IP: 172.20.3.146
10.85/4.65	c HOST: node146.alineos.net
10.85/4.65	c (0,0) SatSolver.solve Begin
10.85/4.65	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392476-1568423562.xml-scop-4391.cnf
10.85/4.68	c (0,0) c
10.85/4.68	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)
10.85/4.68	c (0,0) c
10.85/4.68	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
10.85/4.68	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
10.85/4.68	c (0,0) c ========================================[ Problem Statistics ]===========================================
10.85/4.68	c (0,0) c |                                                                                                       |
11.07/4.74	c (0,0) c |  Number of variables:          9283                                                                   |
11.07/4.74	c (0,0) c |  Number of clauses:          252568                                                                   |
11.07/4.74	c (0,0) c |  Parse time:                   0.06 s                                                                 |
11.07/4.74	c (0,0) c |                                                                                                       |
11.53/5.11	c (1,0) c |  Simplification time:          0.36 s                                                                 |
11.53/5.11	c (1,0) c |                                                                                                       |
11.53/5.11	c (1,0) c |  Generating clones                                                                                    |
11.53/5.17	c (1,0) c |  all clones generated. Memory =   153.41Mb.                                                           |
11.53/5.17	c (1,0) c ========================================================================================================|
11.53/5.17	c (1,0) c
11.53/5.17	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
11.53/5.17	c (1,0) c
11.53/5.17	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
11.53/5.17	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
11.53/5.17	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
11.53/5.17	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
11.53/5.17	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
11.53/5.17	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
11.53/5.17	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
11.53/5.17	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
11.53/5.17	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
11.53/5.17	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
11.53/5.17	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
11.53/5.17	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
11.53/5.17	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
11.53/5.17	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
11.53/5.17	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
11.53/5.17	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
11.53/5.17	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
11.53/5.17	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
11.53/5.17	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.65/6.75	c (2,0) c
23.65/6.75	c (2,0) c real time : 2.07539 s
23.65/6.75	c (2,0) c cpu time  : 12.4561 s
23.65/6.75	c (2,0) c
23.65/6.75	c (2,0) c
23.65/6.75	c (2,0) c
23.65/6.75	c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
23.65/6.75	c (2,0) c
23.65/6.75	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.65/6.75	c (2,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
23.65/6.75	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.65/6.75	c (2,0) c | Conflicts     |           70273 |       9501 |       7542 |       8234 |       8595 |       9128 |       8285 |       9763 |       9225 |
23.65/6.75	c (2,0) c | Decisions     |          426664 |      54049 |      56727 |      29042 |      53202 |      60348 |      51451 |      63327 |      58518 |
23.65/6.75	c (2,0) c | Propagations  |        23354946 |    2503164 |    2556534 |    3668488 |    2839874 |    3085383 |    2860458 |    2813890 |    3027155 |
23.65/6.75	c (2,0) c | ReduceDBs     |              16 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
23.65/6.75	c (2,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
23.65/6.75	c (2,0) c | Restarts      |             400 |         47 |         59 |         26 |         48 |         63 |         50 |         48 |         59 |
23.65/6.75	c (2,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.65/6.75	c (2,0) c | PropBinClauses|        32474448 |    3594104 |    3555692 |    4911387 |    3916042 |    4352638 |    4010646 |    3874473 |    4259466 |
23.65/6.75	c (2,0) c | PropPreBlocker|       581172917 |   62754041 |   61427831 |   89325452 |   73267056 |   78494649 |   71525936 |   72347214 |   72030738 |
23.65/6.75	c (2,0) c | PropNotBlocker|       113472312 |   12244486 |   14710098 |   12597607 |   13458862 |   16528234 |   15046348 |   13343047 |   15543630 |
23.65/6.75	c (2,0) c | LitFullScans  |       824066649 |   90871353 |   90044812 |  120016337 |  102004750 |  111868424 |  103543249 |  102009286 |  103708438 |
23.65/6.75	c (2,0) c | LitScanFracts |           32524 |       3124 |       2361 |       8234 |       3033 |       3513 |       4460 |       4150 |       3649 |
23.65/6.75	c (2,0) c | DecisionLevel0|             400 |         47 |         59 |         26 |         48 |         63 |         50 |         48 |         59 |
23.65/6.75	c (2,0) c | Periods       |             136 |         15 |         15 |         20 |         17 |         18 |         17 |         17 |         17 |
23.65/6.75	c (2,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
23.65/6.75	c (2,0) c | Avg_Trail     |                 |       4328 |       3827 |       4886 |       4835 |       4508 |       4246 |       4494 |       4034 |
23.65/6.75	c (2,0) c | Avg_DL        |                 |        166 |        106 |         84 |        121 |        127 |        131 |        154 |        139 |
23.65/6.75	c (2,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.65/6.75	c (2,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.65/6.75	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.65/6.75	c (2,0) c | Exported      |           12801 |       1570 |       1400 |       1404 |       1445 |       1830 |       1620 |       1598 |       1934 |
23.65/6.75	c (2,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.65/6.75	c (2,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.65/6.75	c (2,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.65/6.75	c (2,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.65/6.75	c (2,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.65/6.75	c (2,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.65/6.75	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.65/6.75	c (2,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.65/6.75	c (2,0) c | Binaries      |                 |         69 |         79 |          9 |         41 |         93 |         66 |         56 |         65 |
23.65/6.75	c (2,0) c | Glues         |                 |        394 |        429 |        240 |        309 |        480 |        410 |        399 |        344 |
23.65/6.75	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.65/6.75	c (2,0) c | Orig_Seen     |            18 % |      39244 |      42508 |      44325 |      47790 |      48758 |      52223 |      45514 |      49139 |
23.65/6.75	c (2,0) c | Diff Orig seen|                 |      X     |       3264 |       5081 |       8546 |       9514 |      12979 |       6270 |       9895 |
23.65/6.75	c (2,0) c | Hamming       |            20 % |      X     |       1930 |       2072 |       1427 |       2246 |       1765 |       1851 |       1893 |
23.65/6.75	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.65/6.75	c (2,0) c | RunningTime   |                 |    1.5 100%|    1.6 100%|    1.6 100%|    1.5 100%|    1.5 100%|    1.5 100%|    1.6 100%|    1.5 100%|
23.65/6.75	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%|
23.65/6.75	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%|
23.65/6.75	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%|
23.65/6.75	c (2,0) c | SolvingTime   |                 |    1.5     |    1.6     |    1.6     |    1.5     |    1.5     |    1.5     |    1.6     |    1.5     |
23.65/6.75	c (2,0) c | PropagationTim|                 |    1.3  86%|    1.4  90%|    1.4  88%|    1.3  88%|    1.4  88%|    1.3  87%|    1.3  86%|    1.3  87%|
23.65/6.75	c (2,0) c | AnalysisTime  |                 |    0.1   9%|    0.1   6%|    0.1   8%|    0.1   8%|    0.1   8%|    0.1   9%|    0.1   9%|    0.1   8%|
23.65/6.75	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%|
23.65/6.75	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%|
23.65/6.75	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%|
23.65/6.75	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%|
23.65/6.75	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.65/6.75	c (2,0) c
23.65/6.75	c (2,0) c
23.65/6.75	c (2,0) c Threads : 8
23.65/6.75	c (2,0) c Winner : 0
23.65/6.75	c (2,0) c Conflicts_0 : 9501
23.65/6.75	c (2,0) c Conflicts_1 : 7542
23.65/6.75	c (2,0) c Conflicts_2 : 8234
23.65/6.75	c (2,0) c Conflicts_3 : 8595
23.65/6.75	c (2,0) c Conflicts_4 : 9128
23.65/6.75	c (2,0) c Conflicts_5 : 8285
23.65/6.75	c (2,0) c Conflicts_6 : 9763
23.65/6.75	c (2,0) c Conflicts_7 : 9225
23.65/6.75	c (2,0) c Conflicts_total : 70273
23.65/6.75	c (2,0) c Conflicts_winner : 9501
23.65/6.75	c (2,0) c Decisions_0 : 54049
23.65/6.75	c (2,0) c Decisions_1 : 56727
23.65/6.75	c (2,0) c Decisions_2 : 29042
23.65/6.75	c (2,0) c Decisions_3 : 53202
23.65/6.75	c (2,0) c Decisions_4 : 60348
23.65/6.75	c (2,0) c Decisions_5 : 51451
23.65/6.75	c (2,0) c Decisions_6 : 63327
23.65/6.75	c (2,0) c Decisions_7 : 58518
23.65/6.75	c (2,0) c Decisions_total : 426664
23.65/6.75	c (2,0) c Decisions_winner : 54049
23.65/6.75	c (2,0) c Propagations_0 : 2503164
23.65/6.75	c (2,0) c Propagations_1 : 2556534
23.65/6.75	c (2,0) c Propagations_2 : 3668488
23.65/6.75	c (2,0) c Propagations_3 : 2839874
23.65/6.75	c (2,0) c Propagations_4 : 3085383
23.65/6.75	c (2,0) c Propagations_5 : 2860458
23.65/6.75	c (2,0) c Propagations_6 : 2813890
23.65/6.75	c (2,0) c Propagations_7 : 3027155
23.65/6.75	c (2,0) c Propagations_total : 23354946
23.65/6.75	c (2,0) c Propagations_winner : 2503164
23.65/6.75	c (2,0) c ReduceDBs_0 : 2
23.65/6.75	c (2,0) c ReduceDBs_1 : 2
23.65/6.75	c (2,0) c ReduceDBs_2 : 2
23.65/6.75	c (2,0) c ReduceDBs_3 : 2
23.65/6.75	c (2,0) c ReduceDBs_4 : 2
23.65/6.75	c (2,0) c ReduceDBs_5 : 2
23.65/6.75	c (2,0) c ReduceDBs_6 : 2
23.65/6.75	c (2,0) c ReduceDBs_7 : 2
23.65/6.75	c (2,0) c ReduceDBs_total : 16
23.65/6.75	c (2,0) c ReduceDBs_winner : 2
23.65/6.75	c (2,0) c SimpDBs_0 : 1
23.65/6.75	c (2,0) c SimpDBs_1 : 1
23.65/6.75	c (2,0) c SimpDBs_2 : 1
23.65/6.75	c (2,0) c SimpDBs_3 : 1
23.65/6.75	c (2,0) c SimpDBs_4 : 1
23.65/6.75	c (2,0) c SimpDBs_5 : 1
23.65/6.75	c (2,0) c SimpDBs_6 : 1
23.65/6.75	c (2,0) c SimpDBs_7 : 1
23.65/6.75	c (2,0) c SimpDBs_total : 8
23.65/6.75	c (2,0) c SimpDBs_winner : 1
23.65/6.75	c (2,0) c Restarts_0 : 47
23.65/6.75	c (2,0) c Restarts_1 : 59
23.65/6.75	c (2,0) c Restarts_2 : 26
23.65/6.75	c (2,0) c Restarts_3 : 48
23.65/6.75	c (2,0) c Restarts_4 : 63
23.65/6.75	c (2,0) c Restarts_5 : 50
23.65/6.75	c (2,0) c Restarts_6 : 48
23.65/6.75	c (2,0) c Restarts_7 : 59
23.65/6.75	c (2,0) c Restarts_total : 400
23.65/6.75	c (2,0) c Restarts_winner : 47
23.65/6.75	c (2,0) c ForcedImports_0 : 0
23.65/6.75	c (2,0) c ForcedImports_1 : 0
23.65/6.75	c (2,0) c ForcedImports_2 : 0
23.65/6.75	c (2,0) c ForcedImports_3 : 0
23.65/6.75	c (2,0) c ForcedImports_4 : 0
23.65/6.75	c (2,0) c ForcedImports_5 : 0
23.65/6.75	c (2,0) c ForcedImports_6 : 0
23.65/6.75	c (2,0) c ForcedImports_7 : 0
23.65/6.75	c (2,0) c ForcedImports_total : 0
23.65/6.75	c (2,0) c ForcedImports_winner : 0
23.65/6.75	c (2,0) c PropsBinClauses_0 : 3594104
23.65/6.75	c (2,0) c PropsBinClauses_1 : 3555692
23.65/6.75	c (2,0) c PropsBinClauses_2 : 4911387
23.65/6.75	c (2,0) c PropsBinClauses_3 : 3916042
23.65/6.75	c (2,0) c PropsBinClauses_4 : 4352638
23.65/6.75	c (2,0) c PropsBinClauses_5 : 4010646
23.65/6.75	c (2,0) c PropsBinClauses_6 : 3874473
23.65/6.75	c (2,0) c PropsBinClauses_7 : 4259466
23.65/6.75	c (2,0) c PropsBinClauses_total : 32474448
23.65/6.75	c (2,0) c PropsBinClauses_winner : 3594104
23.65/6.75	c (2,0) c PropsPreBlocker_0 : 62754041
23.65/6.75	c (2,0) c PropsPreBlocker_1 : 61427831
23.65/6.75	c (2,0) c PropsPreBlocker_2 : 89325452
23.65/6.75	c (2,0) c PropsPreBlocker_3 : 73267056
23.65/6.75	c (2,0) c PropsPreBlocker_4 : 78494649
23.65/6.75	c (2,0) c PropsPreBlocker_5 : 71525936
23.65/6.75	c (2,0) c PropsPreBlocker_6 : 72347214
23.65/6.75	c (2,0) c PropsPreBlocker_7 : 72030738
23.65/6.75	c (2,0) c PropsPreBlocker_total : 581172917
23.65/6.75	c (2,0) c PropsPreBlocker_winner : 62754041
23.65/6.75	c (2,0) c PropsNotBlocker_0 : 12244486
23.65/6.75	c (2,0) c PropsNotBlocker_1 : 14710098
23.65/6.75	c (2,0) c PropsNotBlocker_2 : 12597607
23.65/6.75	c (2,0) c PropsNotBlocker_3 : 13458862
23.65/6.75	c (2,0) c PropsNotBlocker_4 : 16528234
23.65/6.75	c (2,0) c PropsNotBlocker_5 : 15046348
23.65/6.75	c (2,0) c PropsNotBlocker_6 : 13343047
23.65/6.75	c (2,0) c PropsNotBlocker_7 : 15543630
23.65/6.75	c (2,0) c PropsNotBlocker_total : 113472312
23.65/6.75	c (2,0) c PropsNotBlocker_winner : 12244486
23.65/6.75	c (2,0) c PropsLitFullScans_0 : 90871353
23.65/6.75	c (2,0) c PropsLitFullScans_1 : 90044812
23.65/6.75	c (2,0) c PropsLitFullScans_2 : 120016337
23.65/6.75	c (2,0) c PropsLitFullScans_3 : 102004750
23.65/6.75	c (2,0) c PropsLitFullScans_4 : 111868424
23.65/6.75	c (2,0) c PropsLitFullScans_5 : 103543249
23.65/6.75	c (2,0) c PropsLitFullScans_6 : 102009286
23.65/6.75	c (2,0) c PropsLitFullScans_7 : 103708438
23.65/6.75	c (2,0) c PropsLitFullScans_total : 824066649
23.65/6.75	c (2,0) c PropsLitFullScans_winner : 90871353
23.65/6.75	c (2,0) c LitScanFractions_0 : 3124
23.65/6.75	c (2,0) c LitScanFractions_1 : 2361
23.65/6.75	c (2,0) c LitScanFractions_2 : 8234
23.65/6.75	c (2,0) c LitScanFractions_3 : 3033
23.65/6.75	c (2,0) c LitScanFractions_4 : 3513
23.65/6.75	c (2,0) c LitScanFractions_5 : 4460
23.65/6.75	c (2,0) c LitScanFractions_6 : 4150
23.65/6.75	c (2,0) c LitScanFractions_7 : 3649
23.65/6.75	c (2,0) c LitScanFractions_total : 32524
23.65/6.75	c (2,0) c LitScanFractions_winner : 3124
23.65/6.75	c (2,0) c DecisionLevel0_0 : 47
23.65/6.75	c (2,0) c DecisionLevel0_1 : 59
23.65/6.75	c (2,0) c DecisionLevel0_2 : 26
23.65/6.76	c (2,0) c DecisionLevel0_3 : 48
23.65/6.76	c (2,0) c DecisionLevel0_4 : 63
23.65/6.76	c (2,0) c DecisionLevel0_5 : 50
23.65/6.76	c (2,0) c DecisionLevel0_6 : 48
23.65/6.76	c (2,0) c DecisionLevel0_7 : 59
23.65/6.76	c (2,0) c DecisionLevel0_total : 400
23.65/6.76	c (2,0) c DecisionLevel0_winner : 47
23.65/6.76	c (2,0) c Periods_0 : 15
23.65/6.76	c (2,0) c Periods_1 : 15
23.65/6.76	c (2,0) c Periods_2 : 20
23.65/6.76	c (2,0) c Periods_3 : 17
23.65/6.76	c (2,0) c Periods_4 : 18
23.65/6.76	c (2,0) c Periods_5 : 17
23.65/6.76	c (2,0) c Periods_6 : 17
23.65/6.76	c (2,0) c Periods_7 : 17
23.65/6.76	c (2,0) c Periods_total : 136
23.65/6.76	c (2,0) c Periods_winner : 15
23.65/6.76	c (2,0) c Margin_0 : 20
23.65/6.76	c (2,0) c Margin_1 : 20
23.65/6.76	c (2,0) c Margin_2 : 20
23.65/6.76	c (2,0) c Margin_3 : 20
23.65/6.76	c (2,0) c Margin_4 : 20
23.65/6.76	c (2,0) c Margin_5 : 20
23.65/6.76	c (2,0) c Margin_6 : 20
23.65/6.76	c (2,0) c Margin_7 : 20
23.65/6.76	c (2,0) c Margin_total : 160
23.65/6.76	c (2,0) c Margin_winner : 20
23.65/6.76	c (2,0) c Exported_0 : 1570
23.65/6.76	c (2,0) c Exported_1 : 1400
23.65/6.76	c (2,0) c Exported_2 : 1404
23.65/6.76	c (2,0) c Exported_3 : 1445
23.65/6.76	c (2,0) c Exported_4 : 1830
23.65/6.76	c (2,0) c Exported_5 : 1620
23.65/6.76	c (2,0) c Exported_6 : 1598
23.65/6.76	c (2,0) c Exported_7 : 1934
23.65/6.76	c (2,0) c Exported_total : 12801
23.65/6.76	c (2,0) c Exported_winner : 1570
23.65/6.76	c (2,0) c Imported_0 : 0
23.65/6.76	c (2,0) c Imported_1 : 0
23.65/6.76	c (2,0) c Imported_2 : 0
23.65/6.76	c (2,0) c Imported_3 : 0
23.65/6.76	c (2,0) c Imported_4 : 0
23.65/6.76	c (2,0) c Imported_5 : 0
23.65/6.76	c (2,0) c Imported_6 : 0
23.65/6.76	c (2,0) c Imported_7 : 0
23.65/6.76	c (2,0) c Imported_total : 0
23.65/6.76	c (2,0) c Imported_winner : 0
23.65/6.76	c (2,0) c Good_0 : 0
23.65/6.76	c (2,0) c Good_1 : 0
23.65/6.76	c (2,0) c Good_2 : 0
23.65/6.76	c (2,0) c Good_3 : 0
23.65/6.76	c (2,0) c Good_4 : 0
23.65/6.76	c (2,0) c Good_5 : 0
23.65/6.76	c (2,0) c Good_6 : 0
23.65/6.76	c (2,0) c Good_7 : 0
23.65/6.76	c (2,0) c Good_total : 0
23.65/6.76	c (2,0) c Good_winner : 0
23.65/6.76	c (2,0) c Purge_0 : 0
23.65/6.76	c (2,0) c Purge_1 : 0
23.65/6.76	c (2,0) c Purge_2 : 0
23.65/6.76	c (2,0) c Purge_3 : 0
23.65/6.76	c (2,0) c Purge_4 : 0
23.65/6.76	c (2,0) c Purge_5 : 0
23.65/6.76	c (2,0) c Purge_6 : 0
23.65/6.76	c (2,0) c Purge_7 : 0
23.65/6.76	c (2,0) c Purge_total : 0
23.65/6.76	c (2,0) c Purge_winner : 0
23.65/6.76	c (2,0) c Promoted_0 : 0
23.65/6.76	c (2,0) c Promoted_1 : 0
23.65/6.76	c (2,0) c Promoted_2 : 0
23.65/6.76	c (2,0) c Promoted_3 : 0
23.65/6.76	c (2,0) c Promoted_4 : 0
23.65/6.76	c (2,0) c Promoted_5 : 0
23.65/6.76	c (2,0) c Promoted_6 : 0
23.65/6.76	c (2,0) c Promoted_7 : 0
23.65/6.76	c (2,0) c Promoted_total : 0
23.65/6.76	c (2,0) c Promoted_winner : 0
23.65/6.76	c (2,0) c Remove_Imp_0 : 0
23.65/6.76	c (2,0) c Remove_Imp_1 : 0
23.65/6.76	c (2,0) c Remove_Imp_2 : 0
23.65/6.76	c (2,0) c Remove_Imp_3 : 0
23.65/6.76	c (2,0) c Remove_Imp_4 : 0
23.65/6.76	c (2,0) c Remove_Imp_5 : 0
23.65/6.76	c (2,0) c Remove_Imp_6 : 0
23.65/6.76	c (2,0) c Remove_Imp_7 : 0
23.65/6.76	c (2,0) c Remove_Imp_total : 0
23.65/6.76	c (2,0) c Remove_Imp_winner : 0
23.65/6.76	c (2,0) c Blocked_Reuse_0 : 0
23.65/6.76	c (2,0) c Blocked_Reuse_1 : 0
23.65/6.76	c (2,0) c Blocked_Reuse_2 : 0
23.65/6.76	c (2,0) c Blocked_Reuse_3 : 0
23.65/6.76	c (2,0) c Blocked_Reuse_4 : 0
23.65/6.76	c (2,0) c Blocked_Reuse_5 : 0
23.65/6.76	c (2,0) c Blocked_Reuse_6 : 0
23.65/6.76	c (2,0) c Blocked_Reuse_7 : 0
23.65/6.76	c (2,0) c Blocked_Reuse_total : 0
23.65/6.76	c (2,0) c Blocked_Reuse_winner : 0
23.65/6.76	c (2,0) c Unaries_0 : 0
23.65/6.76	c (2,0) c Unaries_1 : 0
23.65/6.76	c (2,0) c Unaries_2 : 0
23.65/6.76	c (2,0) c Unaries_3 : 0
23.65/6.76	c (2,0) c Unaries_4 : 0
23.65/6.76	c (2,0) c Unaries_5 : 0
23.65/6.76	c (2,0) c Unaries_6 : 0
23.65/6.76	c (2,0) c Unaries_7 : 0
23.65/6.76	c (2,0) c Unaries_total : 0
23.65/6.76	c (2,0) c Unaries_winner : 0
23.65/6.76	c (2,0) c Binaries_0 : 69
23.65/6.76	c (2,0) c Binaries_1 : 79
23.65/6.76	c (2,0) c Binaries_2 : 9
23.65/6.76	c (2,0) c Binaries_3 : 41
23.65/6.76	c (2,0) c Binaries_4 : 93
23.65/6.76	c (2,0) c Binaries_5 : 66
23.65/6.76	c (2,0) c Binaries_6 : 56
23.65/6.76	c (2,0) c Binaries_7 : 65
23.65/6.76	c (2,0) c Binaries_total : 478
23.65/6.76	c (2,0) c Binaries_winner : 69
23.65/6.76	c (2,0) c Glues_0 : 394
23.65/6.76	c (2,0) c Glues_1 : 429
23.65/6.76	c (2,0) c Glues_2 : 240
23.65/6.76	c (2,0) c Glues_3 : 309
23.65/6.76	c (2,0) c Glues_4 : 480
23.65/6.76	c (2,0) c Glues_5 : 410
23.65/6.76	c (2,0) c Glues_6 : 399
23.65/6.76	c (2,0) c Glues_7 : 344
23.65/6.76	c (2,0) c Glues_total : 3005
23.65/6.76	c (2,0) c Glues_winner : 394
23.65/6.76	c (2,0) c RunningTime_0 : 1.527632
23.65/6.76	c (2,0) c RunningTime_1 : 1.577921
23.65/6.76	c (2,0) c RunningTime_2 : 1.564057
23.65/6.76	c (2,0) c RunningTime_3 : 1.531371
23.65/6.76	c (2,0) c RunningTime_4 : 1.537136
23.65/6.76	c (2,0) c RunningTime_5 : 1.534540
23.65/6.76	c (2,0) c RunningTime_6 : 1.551378
23.65/6.76	c (2,0) c RunningTime_7 : 1.528240
23.65/6.76	c (2,0) c RunningTime_total : 12.352274
23.65/6.76	c (2,0) c RunningTime_winner : 1.527632
23.65/6.76	c (2,0) c WaitingTime_0 : 0.000000
23.65/6.76	c (2,0) c WaitingTime_1 : 0.000000
23.65/6.76	c (2,0) c WaitingTime_2 : 0.000000
23.65/6.76	c (2,0) c WaitingTime_3 : 0.000000
23.65/6.76	c (2,0) c WaitingTime_4 : 0.000000
23.65/6.76	c (2,0) c WaitingTime_5 : 0.000000
23.65/6.76	c (2,0) c WaitingTime_6 : 0.000000
23.65/6.76	c (2,0) c WaitingTime_7 : 0.000000
23.65/6.76	c (2,0) c WaitingTime_total : 0.000000
23.65/6.76	c (2,0) c WaitingTime_winner : 0.000000
23.65/6.76	c (2,0) c ExchangingTime_0 : 0.000963
23.65/6.76	c (2,0) c ExchangingTime_1 : 0.000795
23.65/6.76	c (2,0) c ExchangingTime_2 : 0.000757
23.65/6.76	c (2,0) c ExchangingTime_3 : 0.000747
23.65/6.76	c (2,0) c ExchangingTime_4 : 0.000894
23.65/6.76	c (2,0) c ExchangingTime_5 : 0.000831
23.65/6.76	c (2,0) c ExchangingTime_6 : 0.000887
23.65/6.76	c (2,0) c ExchangingTime_7 : 0.000759
23.65/6.76	c (2,0) c ExchangingTime_total : 0.006633
23.65/6.76	c (2,0) c ExchangingTime_winner : 0.000963
23.65/6.76	c (2,0) c PeriodProcTime_0 : 0.000161
23.65/6.76	c (2,0) c PeriodProcTime_1 : 0.000146
23.65/6.76	c (2,0) c PeriodProcTime_2 : 0.000150
23.65/6.76	c (2,0) c PeriodProcTime_3 : 0.000183
23.65/6.76	c (2,0) c PeriodProcTime_4 : 0.000143
23.65/6.76	c (2,0) c PeriodProcTime_5 : 0.000144
23.65/6.76	c (2,0) c PeriodProcTime_6 : 0.000164
23.65/6.76	c (2,0) c PeriodProcTime_7 : 0.000157
23.65/6.76	c (2,0) c PeriodProcTime_total : 0.001248
23.65/6.76	c (2,0) c PeriodProcTime_winner : 0.000161
23.65/6.76	c (2,0) c SolvingTime_0 : 1.528756
23.65/6.76	c (2,0) c SolvingTime_1 : 1.578863
23.65/6.76	c (2,0) c SolvingTime_2 : 1.564964
23.65/6.76	c (2,0) c SolvingTime_3 : 1.532300
23.65/6.76	c (2,0) c SolvingTime_4 : 1.538173
23.65/6.76	c (2,0) c SolvingTime_5 : 1.535515
23.65/6.76	c (2,0) c SolvingTime_6 : 1.552429
23.65/6.76	c (2,0) c SolvingTime_7 : 1.529156
23.65/6.76	c (2,0) c SolvingTime_total : 12.360156
23.65/6.76	c (2,0) c SolvingTime_winner : 1.528756
23.65/6.76	c (2,0) c PropagationTime_0 : 1.316154
23.65/6.76	c (2,0) c PropagationTime_1 : 1.414583
23.65/6.76	c (2,0) c PropagationTime_2 : 1.377502
23.65/6.76	c (2,0) c PropagationTime_3 : 1.341464
23.65/6.76	c (2,0) c PropagationTime_4 : 1.351625
23.65/6.76	c (2,0) c PropagationTime_5 : 1.333811
23.65/6.76	c (2,0) c PropagationTime_6 : 1.338972
23.65/6.76	c (2,0) c PropagationTime_7 : 1.334291
23.65/6.76	c (2,0) c PropagationTime_total : 10.808403
23.65/6.76	c (2,0) c PropagationTime_winner : 1.316154
23.65/6.76	c (2,0) c AnalysisTime_0 : 0.137573
23.65/6.76	c (2,0) c AnalysisTime_1 : 0.100538
23.65/6.76	c (2,0) c AnalysisTime_2 : 0.131791
23.65/6.76	c (2,0) c AnalysisTime_3 : 0.124827
23.65/6.76	c (2,0) c AnalysisTime_4 : 0.115729
23.65/6.76	c (2,0) c AnalysisTime_5 : 0.135486
23.65/6.76	c (2,0) c AnalysisTime_6 : 0.141366
23.65/6.76	c (2,0) c AnalysisTime_7 : 0.125663
23.65/6.76	c (2,0) c AnalysisTime_total : 1.012972
23.65/6.76	c (2,0) c AnalysisTime_winner : 0.137573
23.65/6.76	c (2,0) c ReductionTime_0 : 0.001632
23.65/6.76	c (2,0) c ReductionTime_1 : 0.001461
23.65/6.76	c (2,0) c ReductionTime_2 : 0.001448
23.65/6.76	c (2,0) c ReductionTime_3 : 0.001573
23.65/6.76	c (2,0) c ReductionTime_4 : 0.001505
23.65/6.76	c (2,0) c ReductionTime_5 : 0.001478
23.65/6.76	c (2,0) c ReductionTime_6 : 0.001481
23.65/6.76	c (2,0) c ReductionTime_7 : 0.001427
23.65/6.76	c (2,0) c ReductionTime_total : 0.012005
23.65/6.76	c (2,0) c ReductionTime_winner : 0.001632
23.65/6.76	c (2,0) c SimplifyTime_0 : 0.000008
23.65/6.76	c (2,0) c SimplifyTime_1 : 0.000002
23.65/6.76	c (2,0) c SimplifyTime_2 : 0.000000
23.65/6.76	c (2,0) c SimplifyTime_3 : 0.000004
23.65/6.76	c (2,0) c SimplifyTime_4 : 0.000009
23.65/6.76	c (2,0) c SimplifyTime_5 : 0.000006
23.65/6.76	c (2,0) c SimplifyTime_6 : 0.000003
23.65/6.76	c (2,0) c SimplifyTime_7 : 0.000006
23.65/6.76	c (2,0) c SimplifyTime_total : 0.000037
23.65/6.76	c (2,0) c SimplifyTime_winner : 0.000008
23.65/6.76	c (2,0) c UsedRateTime_0 : 0.000000
23.65/6.76	c (2,0) c UsedRateTime_1 : 0.000000
23.65/6.76	c (2,0) c UsedRateTime_2 : 0.000000
23.65/6.76	c (2,0) c UsedRateTime_3 : 0.000000
23.65/6.76	c (2,0) c UsedRateTime_4 : 0.000000
23.65/6.76	c (2,0) c UsedRateTime_5 : 0.000000
23.65/6.76	c (2,0) c UsedRateTime_6 : 0.000000
23.65/6.76	c (2,0) c UsedRateTime_7 : 0.000000
23.65/6.76	c (2,0) c UsedRateTime_total : 0.000000
23.65/6.76	c (2,0) c UsedRateTime_winner : 0.000000
23.65/6.76	c (2,0) c OverlapRateTime_0 : 0.000000
23.65/6.76	c (2,0) c OverlapRateTime_1 : 0.000000
23.65/6.76	c (2,0) c OverlapRateTime_2 : 0.000000
23.65/6.76	c (2,0) c OverlapRateTime_3 : 0.000000
23.65/6.76	c (2,0) c OverlapRateTime_4 : 0.000000
23.65/6.76	c (2,0) c OverlapRateTime_5 : 0.000000
23.65/6.76	c (2,0) c OverlapRateTime_6 : 0.000000
23.65/6.76	c (2,0) c OverlapRateTime_7 : 0.000000
23.65/6.76	c (2,0) c OverlapRateTime_total : 0.000000
23.65/6.76	c (2,0) c OverlapRateTime_winner : 0.000000
23.65/6.76	c (2,0) c
23.65/6.76	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
23.65/6.76	c (2,0) c
23.65/6.76	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.65/6.76	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
23.65/6.76	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.65/6.76	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
23.65/6.76	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
23.65/6.76	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
23.65/6.76	c (2,0) c | Initial random_seed   | 1714259352 | 1086106600 | 2037750298 | 1607392259 | 1426459768 | 1158660892 | 1663984091 |  691109443 |
23.65/6.76	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
23.65/6.76	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
23.65/6.76	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
23.65/6.76	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
23.65/6.76	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
23.65/6.76	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
23.65/6.76	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
23.65/6.76	c (2,0) c | var_decay             |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |
23.65/6.76	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
23.65/6.76	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
23.65/6.76	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
23.65/6.76	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.65/6.76	c (2,0) 
23.65/6.76	c (2,0) s SATISFIABLE
23.65/6.79	c (2,0) SatSolver.solve End
23.65/6.79	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
23.65/6.79	c (2,0) Show results Begin
23.96/6.90	c (2,0) x[0] = 14
23.96/6.90	c (2,0) x[1] = 31
23.96/6.90	c (2,0) x[2] = 4
23.96/6.90	c (2,0) x[3] = 38
23.96/6.90	c (2,0) x[4] = 0
23.96/6.90	c (2,0) x[5] = 39
23.96/6.90	c (2,0) x[6] = 2
23.96/6.90	c (2,0) x[7] = 35
23.96/6.90	c (2,0) x[8] = 10
23.96/6.90	c (2,0) x[9] = 25
23.96/6.90	c (2,0) x[10] = 12
23.96/6.90	c (2,0) x[11] = 22
23.96/6.90	c (2,0) x[12] = 20
23.96/6.90	c (2,0) x[13] = 13
23.96/6.90	c (2,0) x[14] = 21
23.96/6.90	c (2,0) x[15] = 16
23.96/6.90	c (2,0) x[16] = 30
23.96/6.90	c (2,0) x[17] = 7
23.96/6.90	c (2,0) x[18] = 23
23.96/6.90	c (2,0) x[19] = 26
23.96/6.90	c (2,0) x[20] = 17
23.96/6.90	c (2,0) x[21] = 28
23.96/6.90	c (2,0) x[22] = 6
23.96/6.90	c (2,0) x[23] = 36
23.96/6.90	c (2,0) x[24] = 1
23.96/6.90	c (2,0) x[25] = 37
23.96/6.90	c (2,0) x[26] = 5
23.96/6.90	c (2,0) x[27] = 33
23.96/6.90	c (2,0) x[28] = 9
23.96/6.90	c (2,0) x[29] = 29
23.96/6.90	c (2,0) x[30] = 11
23.96/6.90	c (2,0) x[31] = 32
23.96/6.90	c (2,0) x[32] = 3
23.96/6.90	c (2,0) x[33] = 34
23.96/6.90	c (2,0) x[34] = 8
23.96/6.90	c (2,0) x[35] = 27
23.96/6.90	c (2,0) x[36] = 15
23.96/6.90	c (2,0) x[37] = 19
23.96/6.90	c (2,0) x[38] = 18
23.96/6.90	c (2,0) x[39] = 24
23.96/6.90	c (2,0) y[0] = 17
23.96/6.90	c (2,0) y[1] = 27
23.96/6.90	c (2,0) y[2] = 34
23.96/6.90	c (2,0) y[3] = 38
23.96/6.90	c (2,0) y[4] = 39
23.96/6.90	c (2,0) y[5] = 37
23.96/6.90	c (2,0) y[6] = 33
23.96/6.90	c (2,0) y[7] = 25
23.96/6.90	c (2,0) y[8] = 15
23.96/6.90	c (2,0) y[9] = 13
23.96/6.90	c (2,0) y[10] = 10
23.96/6.90	c (2,0) y[11] = 2
23.96/6.90	c (2,0) y[12] = 7
23.96/6.90	c (2,0) y[13] = 8
23.96/6.90	c (2,0) y[14] = 5
23.96/6.90	c (2,0) y[15] = 14
23.96/6.90	c (2,0) y[16] = 23
23.96/6.90	c (2,0) y[17] = 16
23.96/6.90	c (2,0) y[18] = 3
23.96/6.90	c (2,0) y[19] = 9
23.96/6.90	c (2,0) y[20] = 11
23.96/6.90	c (2,0) y[21] = 22
23.96/6.90	c (2,0) y[22] = 30
23.96/6.90	c (2,0) y[23] = 35
23.96/6.90	c (2,0) y[24] = 36
23.96/6.90	c (2,0) y[25] = 32
23.96/6.90	c (2,0) y[26] = 28
23.96/6.90	c (2,0) y[27] = 24
23.96/6.90	c (2,0) y[28] = 20
23.96/6.90	c (2,0) y[29] = 18
23.96/6.90	c (2,0) y[30] = 21
23.96/6.90	c (2,0) y[31] = 29
23.96/6.90	c (2,0) y[32] = 31
23.96/6.90	c (2,0) y[33] = 26
23.96/6.90	c (2,0) y[34] = 19
23.96/6.90	c (2,0) y[35] = 12
23.96/6.90	c (2,0) y[36] = 4
23.96/6.90	c (2,0) y[37] = 1
23.96/6.90	c (2,0) y[38] = 6
23.96/6.90	s SATISFIABLE
24.14/6.90	v <instantiation>
24.14/6.90	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.14/6.90	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.14/6.90	v </instantiation>
24.14/6.90	c (2,0) Show results End
24.14/6.90	c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
24.14/6.90	c (2,0) 2,2,STOP-AFTER(ALL)
24.14/6.90	c END-Prog: Sat Sep 14 03:12:09 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 (14941 MiB free)
  memory of node 1: 16384 MiB (15607 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392476-1568423562/watcher-4392476-1568423562 -o /tmp/evaluation-result-4392476-1568423562/solver-4392476-1568423562 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568417371-3125 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392476-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
solver pid=4388, runsolver pid=4385
Current StackSize limit: 8192 KiB


[startup+0.100151 s]*
/proc/loadavg: 2.29 1.58 2.58 4/212 4410
/proc/meminfo: memFree=31187344/32770624 swapFree=67000496/67108860
[pid=4388] ppid=4385 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4388/stat : 4388 (scop.sh) S 4385 4388 3098 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418270227 115843072 349 33554432000 4194304 5098028 140736466886672 140736466883928 140379920290428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29204480 140736466891557 140736466891884 140736466891884 140736466894797 0
/proc/4388/statm: 28282 349 296 221 0 87 0
[pid=4391] ppid=4388 vsize=27314120 memory=105308 CPUtime=0.1 cores=0-7
/proc/4391/stat : 4391 (java) S 4388 4388 3098 0 -1 1077944320 6919 0 0 0 8 2 0 0 20 0 20 0 418270228 27969658880 26327 33554432000 4194304 4196468 140725637110608 140725637093152 140510658494199 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
/proc/4391/statm: 6828530 26327 2799 1 0 6790935 0
[pid=4391/tid=4392] ppid=4388 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/4391/task/4392/stat : 4392 (java) R 4388 4388 3098 0 -1 4202560 5016 0 0 0 7 2 0 0 20 0 20 0 418270228 27969658880 26327 33554432000 4194304 4196468 140725637110608 140510630324264 140510658516125 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4393] ppid=4388 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/4391/task/4393/stat : 4393 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 26327 33554432000 4194304 4196468 140725637110608 140510662736144 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4394] ppid=4388 vsize=27314120 memory=139778602538624 CPUtime=0 cores=0-7
/proc/4391/task/4394/stat : 4394 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 26327 33554432000 4194304 4196468 140725637110608 140510476892560 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4395] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4395/stat : 4395 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 26327 33554432000 4194304 4196468 140725637110608 140510475840016 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4396] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4396/stat : 4396 (java) S 4388 4388 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 26327 33554432000 4194304 4196468 140725637110608 140510474787472 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4397] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4397/stat : 4397 (java) S 4388 4388 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 26327 33554432000 4194304 4196468 140725637110608 140510473734928 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4398] ppid=4388 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4391/task/4398/stat : 4398 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 26327 33554432000 4194304 4196468 140725637110608 140510472682384 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4399] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4399/stat : 4399 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 26327 33554432000 4194304 4196468 140725637110608 140510471629840 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4400] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4400/stat : 4400 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 26327 33554432000 4194304 4196468 140725637110608 140510470577296 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4401] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4401/stat : 4401 (java) S 4388 4388 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418270232 27969658880 26327 33554432000 4194304 4196468 140725637110608 140509850871792 140510658505346 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4402] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4402/stat : 4402 (java) S 4388 4388 3098 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418270233 27969658880 26327 33554432000 4194304 4196468 140725637110608 140508311577504 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4403] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4403/stat : 4403 (java) S 4388 4388 3098 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418270233 27969658880 26327 33554432000 4194304 4196468 140725637110608 140508177355760 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4404] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4404/stat : 4404 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270235 27969658880 26327 33554432000 4194304 4196468 140725637110608 140507802851536 140510658512795 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4405] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4405/stat : 4405 (java) S 4388 4388 3098 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 418270235 27969658880 26327 33554432000 4194304 4196468 140725637110608 140509849819632 140510658505346 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4406] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4406/stat : 4406 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270235 27969658880 26327 33554432000 4194304 4196468 140725637110608 140509848767088 140510658505346 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4407] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4407/stat : 4407 (java) S 4388 4388 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418270235 27969658880 26327 33554432000 4194304 4196468 140725637110608 140509847714544 140510658505346 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4408] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4408/stat : 4408 (java) S 4388 4388 3098 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 20 0 418270235 27969658880 26327 33554432000 4194304 4196468 140725637110608 140509846662000 140510658505346 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4409] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4409/stat : 4409 (java) S 4388 4388 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418270235 27969658880 26327 33554432000 4194304 4196468 140725637110608 140507304945888 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4410] ppid=4388 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4391/task/4410/stat : 4410 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270236 27969658880 26327 33554432000 4194304 4196468 140725637110608 140509845608880 140510658505346 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106704 KiB

[startup+0.210134 s]*
/proc/loadavg: 2.29 1.58 2.58 2/212 4410
/proc/meminfo: memFree=31165844/32770624 swapFree=67000496/67108860
[pid=4388] ppid=4385 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4388/stat : 4388 (scop.sh) S 4385 4388 3098 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418270227 115843072 349 33554432000 4194304 5098028 140736466886672 140736466883928 140379920290428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29204480 140736466891557 140736466891884 140736466891884 140736466894797 0
/proc/4388/statm: 28282 349 296 221 0 87 0
[pid=4391] ppid=4388 vsize=27314120 memory=124448 CPUtime=0.25 cores=0-7
/proc/4391/stat : 4391 (java) S 4388 4388 3098 0 -1 1077944320 12549 0 0 0 20 5 0 0 20 0 20 0 418270228 27969658880 31112 33554432000 4194304 4196468 140725637110608 140725637093152 140510658494199 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
/proc/4391/statm: 6828530 31112 2942 1 0 6790935 0
[pid=4391/tid=4392] ppid=4388 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/4391/task/4392/stat : 4392 (java) R 4388 4388 3098 0 -1 4202560 10255 0 0 0 16 4 0 0 20 0 20 0 418270228 27969658880 31112 33554432000 4194304 4196468 140725637110608 140510630310608 140510643659838 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4393] ppid=4388 vsize=27314120 memory=288230596134830447 CPUtime=0 cores=0-7
/proc/4391/task/4393/stat : 4393 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 31112 33554432000 4194304 4196468 140725637110608 140510662736144 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4394] ppid=4388 vsize=27314120 memory=139778602553331 CPUtime=0 cores=0-7
/proc/4391/task/4394/stat : 4394 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 31112 33554432000 4194304 4196468 140725637110608 140510476892560 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4395] ppid=4388 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4391/task/4395/stat : 4395 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 31112 33554432000 4194304 4196468 140725637110608 140510475840016 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4396] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4396/stat : 4396 (java) S 4388 4388 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 31112 33554432000 4194304 4196468 140725637110608 140510474787472 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4397] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4397/stat : 4397 (java) S 4388 4388 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 31112 33554432000 4194304 4196468 140725637110608 140510473734928 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4398] ppid=4388 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4391/task/4398/stat : 4398 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 31112 33554432000 4194304 4196468 140725637110608 140510472682384 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4399] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4399/stat : 4399 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 31112 33554432000 4194304 4196468 140725637110608 140510471629840 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4400] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4400/stat : 4400 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 31112 33554432000 4194304 4196468 140725637110608 140510470577296 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4401] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4401/stat : 4401 (java) S 4388 4388 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418270232 27969658880 31112 33554432000 4194304 4196468 140725637110608 140509850871792 140510658505346 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4402] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4402/stat : 4402 (java) S 4388 4388 3098 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418270233 27969658880 31112 33554432000 4194304 4196468 140725637110608 140508311577504 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4403] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4403/stat : 4403 (java) S 4388 4388 3098 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418270233 27969658880 31112 33554432000 4194304 4196468 140725637110608 140508177355760 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4404] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4404/stat : 4404 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270235 27969658880 31112 33554432000 4194304 4196468 140725637110608 140507802851536 140510658512795 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4405] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4405/stat : 4405 (java) S 4388 4388 3098 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 418270235 27969658880 31112 33554432000 4194304 4196468 140725637110608 140509849819632 140510658505346 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4406] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4406/stat : 4406 (java) S 4388 4388 3098 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 418270235 27969658880 31112 33554432000 4194304 4196468 140725637110608 140509848767088 140510658505346 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4407] ppid=4388 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4391/task/4407/stat : 4407 (java) S 4388 4388 3098 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 20 0 418270235 27969658880 31112 33554432000 4194304 4196468 140725637110608 140509847714544 140510658505346 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4408] ppid=4388 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/4391/task/4408/stat : 4408 (java) S 4388 4388 3098 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 20 0 418270235 27969658880 31112 33554432000 4194304 4196468 140725637110608 140509846662000 140510658505346 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4409] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4409/stat : 4409 (java) S 4388 4388 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418270235 27969658880 31112 33554432000 4194304 4196468 140725637110608 140507304945888 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4410] ppid=4388 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4391/task/4410/stat : 4410 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270236 27969658880 31112 33554432000 4194304 4196468 140725637110608 140509845608880 140510658505346 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125844 KiB

[startup+0.309366 s]*
/proc/loadavg: 2.29 1.58 2.58 2/212 4410
/proc/meminfo: memFree=31163796/32770624 swapFree=67000496/67108860
[pid=4388] ppid=4385 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4388/stat : 4388 (scop.sh) S 4385 4388 3098 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418270227 115843072 349 33554432000 4194304 5098028 140736466886672 140736466883928 140379920290428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29204480 140736466891557 140736466891884 140736466891884 140736466894797 0
/proc/4388/statm: 28282 349 296 221 0 87 0
[pid=4391] ppid=4388 vsize=27314120 memory=128052 CPUtime=0.43 cores=0-7
/proc/4391/stat : 4391 (java) S 4388 4388 3098 0 -1 1077944320 13389 0 0 0 37 6 0 0 20 0 20 0 418270228 27969658880 32013 33554432000 4194304 4196468 140725637110608 140725637093152 140510658494199 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
/proc/4391/statm: 6828530 32013 3021 1 0 6790935 0
[pid=4391/tid=4392] ppid=4388 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/4391/task/4392/stat : 4392 (java) R 4388 4388 3098 0 -1 4202560 10931 0 0 0 25 4 0 0 20 0 20 0 418270228 27969658880 32013 33554432000 4194304 4196468 140725637110608 140510630277216 140510642574686 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4393] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4393/stat : 4393 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 32013 33554432000 4194304 4196468 140725637110608 140510662736144 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4394] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4394/stat : 4394 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 32013 33554432000 4194304 4196468 140725637110608 140510476892560 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4395] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4395/stat : 4395 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 32013 33554432000 4194304 4196468 140725637110608 140510475840016 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4396] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4396/stat : 4396 (java) S 4388 4388 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 32013 33554432000 4194304 4196468 140725637110608 140510474787472 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4397] ppid=4388 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/4391/task/4397/stat : 4397 (java) S 4388 4388 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 32013 33554432000 4194304 4196468 140725637110608 140510473734928 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4398] ppid=4388 vsize=27314120 memory=139778502783919 CPUtime=0 cores=0-7
/proc/4391/task/4398/stat : 4398 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 32013 33554432000 4194304 4196468 140725637110608 140510472682384 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4399] ppid=4388 vsize=27314120 memory=139778502786224 CPUtime=0 cores=0-7
/proc/4391/task/4399/stat : 4399 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 32013 33554432000 4194304 4196468 140725637110608 140510471629840 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4400] ppid=4388 vsize=27314120 memory=139778502788528 CPUtime=0 cores=0-7
/proc/4391/task/4400/stat : 4400 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270231 27969658880 32013 33554432000 4194304 4196468 140725637110608 140510470577296 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4401] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4401/stat : 4401 (java) S 4388 4388 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418270232 27969658880 32013 33554432000 4194304 4196468 140725637110608 140509850871792 140510658505346 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4402] ppid=4388 vsize=27314120 memory=279557005584016 CPUtime=0 cores=0-7
/proc/4391/task/4402/stat : 4402 (java) S 4388 4388 3098 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418270233 27969658880 32013 33554432000 4194304 4196468 140725637110608 140508311577504 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4403] ppid=4388 vsize=27314120 memory=279557005590928 CPUtime=0 cores=0-7
/proc/4391/task/4403/stat : 4403 (java) S 4388 4388 3098 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418270233 27969658880 32013 33554432000 4194304 4196468 140725637110608 140508177355760 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4404] ppid=4388 vsize=27314120 memory=279557005532208 CPUtime=0 cores=0-7
/proc/4391/task/4404/stat : 4404 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270235 27969658880 32013 33554432000 4194304 4196468 140725637110608 140507802851536 140510658512795 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4405] ppid=4388 vsize=27314120 memory=279557005604752 CPUtime=0.01 cores=0-7
/proc/4391/task/4405/stat : 4405 (java) S 4388 4388 3098 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 20 0 418270235 27969658880 32013 33554432000 4194304 4196468 140725637110608 140509849819632 140510658505346 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4406] ppid=4388 vsize=27314120 memory=279557005611664 CPUtime=0.01 cores=0-7
/proc/4391/task/4406/stat : 4406 (java) S 4388 4388 3098 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 20 0 418270235 27969658880 32013 33554432000 4194304 4196468 140725637110608 140509848767088 140510658505346 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4407] ppid=4388 vsize=27314120 memory=279557005609360 CPUtime=0 cores=0-7
/proc/4391/task/4407/stat : 4407 (java) R 4388 4388 3098 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 20 0 418270235 27969658880 32013 33554432000 4194304 4196468 140725637110608 140509847714544 140510658505346 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4408] ppid=4388 vsize=27314120 memory=279557005625520 CPUtime=0.07 cores=0-7
/proc/4391/task/4408/stat : 4408 (java) S 4388 4388 3098 0 -1 1077944384 473 0 0 0 7 0 0 0 20 0 20 0 418270235 27969658880 32013 33554432000 4194304 4196468 140725637110608 140509846662000 140510658505346 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4409] ppid=4388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4409/stat : 4409 (java) S 4388 4388 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418270235 27969658880 32013 33554432000 4194304 4196468 140725637110608 140507304945888 140510658504405 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4410] ppid=4388 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4391/task/4410/stat : 4410 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270236 27969658880 32013 33554432000 4194304 4196468 140725637110608 140509845608880 140510658505346 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129448 KiB

[startup+0.700858 s]
/proc/loadavg: 2.29 1.58 2.58 2/212 4410
/proc/meminfo: memFree=31143284/32770624 swapFree=67000496/67108860
[pid=4388] ppid=4385 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4388/stat : 4388 (scop.sh) S 4385 4388 3098 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418270227 115843072 349 33554432000 4194304 5098028 140736466886672 140736466883928 140379920290428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29204480 140736466891557 140736466891884 140736466891884 140736466894797 0
/proc/4388/statm: 28282 349 296 221 0 87 0
[pid=4391] ppid=4388 vsize=27322516 memory=163820 CPUtime=0.99 cores=0-7
/proc/4391/stat : 4391 (java) S 4388 4388 3098 0 -1 1077944320 20531 0 0 0 91 8 0 0 20 0 20 0 418270228 27978256384 40955 33554432000 4194304 4196468 140725637110608 140725637093152 140510658494199 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
/proc/4391/statm: 6830629 40955 3211 1 0 6791959 0
[pid=4391/tid=4392] ppid=4388 vsize=27322516 memory=4580 CPUtime=0.68 cores=0-7
/proc/4391/task/4392/stat : 4392 (java) R 4388 4388 3098 0 -1 4202560 17585 0 0 0 62 6 0 0 20 0 20 0 418270228 27978256384 40955 33554432000 4194304 4196468 140725637110608 140510630325968 140510480874015 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4393] ppid=4388 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4393/stat : 4393 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270231 27978256384 40955 33554432000 4194304 4196468 140725637110608 140510662736144 140510658504405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4394] ppid=4388 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/4391/task/4394/stat : 4394 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270231 27978256384 40955 33554432000 4194304 4196468 140725637110608 140510476892560 140510658504405 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0
[pid=4391/tid=4395] ppid=4388 vsize=27322516 memory=1056 CPUtime=0 cores=0-7
/proc/4391/task/4395/stat : 4395 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418270231 27978256384 40955 33554432000 4194304 4196468 140725637110608 140510475840016 140510658504405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33501184 140725637116652 140725637117078 140725637117078 140725637119951 0

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

[pid=4411/tid=4412] ppid=4388 vsize=8414124 memory=1564 CPUtime=0.75 cores=0-7
/proc/4411/task/4412/stat : 4412 (java) S 4388 4388 3098 0 -1 1077944384 16861 0 0 0 70 5 0 0 20 0 24 0 418270593 8616062976 29904 33554432000 4194304 4196468 140724718388720 140172497268640 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4413] ppid=4388 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/4411/task/4413/stat : 4413 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418270594 8616062976 29904 33554432000 4194304 4196468 140724718388720 140172529670928 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4414] ppid=4388 vsize=8414124 memory=1240 CPUtime=0 cores=0-7
/proc/4411/task/4414/stat : 4414 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418270594 8616062976 29904 33554432000 4194304 4196468 140724718388720 140172329839504 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4415] ppid=4388 vsize=8414124 memory=580 CPUtime=0 cores=0-7
/proc/4411/task/4415/stat : 4415 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418270594 8616062976 29904 33554432000 4194304 4196468 140724718388720 140172328786960 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4416] ppid=4388 vsize=8414124 memory=1696 CPUtime=0 cores=0-7
/proc/4411/task/4416/stat : 4416 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418270594 8616062976 29904 33554432000 4194304 4196468 140724718388720 140172327734416 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4417] ppid=4388 vsize=8414124 memory=1224 CPUtime=0 cores=0-7
/proc/4411/task/4417/stat : 4417 (java) S 4388 4388 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418270594 8616062976 29904 33554432000 4194304 4196468 140724718388720 140172326680848 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4418] ppid=4388 vsize=8414124 memory=5916 CPUtime=0 cores=0-7
/proc/4411/task/4418/stat : 4418 (java) S 4388 4388 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418270594 8616062976 29904 33554432000 4194304 4196468 140724718388720 140172325628304 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4419] ppid=4388 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/4411/task/4419/stat : 4419 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418270594 8616062976 29904 33554432000 4194304 4196468 140724718388720 140172324575760 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4420] ppid=4388 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/4411/task/4420/stat : 4420 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418270594 8616062976 29904 33554432000 4194304 4196468 140724718388720 140172323523216 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4421] ppid=4388 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/4411/task/4421/stat : 4421 (java) S 4388 4388 3098 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418270595 8616062976 29904 33554432000 4194304 4196468 140724718388720 140171282442736 140172525439618 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4422] ppid=4388 vsize=8414124 memory=964 CPUtime=0 cores=0-7
/proc/4411/task/4422/stat : 4422 (java) S 4388 4388 3098 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418270596 8616062976 29904 33554432000 4194304 4196468 140724718388720 140171156645280 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4423] ppid=4388 vsize=8414124 memory=161508 CPUtime=0 cores=0-7
/proc/4411/task/4423/stat : 4423 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418270596 8616062976 29904 33554432000 4194304 4196468 140724718388720 140170888209904 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4424] ppid=4388 vsize=8414124 memory=1171272 CPUtime=0 cores=0-7
/proc/4411/task/4424/stat : 4424 (java) S 4388 4388 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418270599 8616062976 29904 33554432000 4194304 4196468 140724718388720 140170513701584 140172525447067 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4425] ppid=4388 vsize=8414124 memory=732 CPUtime=0.05 cores=0-7
/proc/4411/task/4425/stat : 4425 (java) S 4388 4388 3098 0 -1 1077944384 581 0 0 0 5 0 0 0 20 0 24 0 418270599 8616062976 29904 33554432000 4194304 4196468 140724718388720 140171281389552 140172525439618 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4426] ppid=4388 vsize=8414124 memory=1412 CPUtime=0.04 cores=0-7
/proc/4411/task/4426/stat : 4426 (java) S 4388 4388 3098 0 -1 1077944384 224 0 0 0 4 0 0 0 20 0 24 0 418270599 8616062976 29904 33554432000 4194304 4196468 140724718388720 140171280337008 140172525439618 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4427] ppid=4388 vsize=8414124 memory=2568 CPUtime=0.06 cores=0-7
/proc/4411/task/4427/stat : 4427 (java) S 4388 4388 3098 0 -1 1077944384 281 0 0 0 6 0 0 0 20 0 24 0 418270599 8616062976 29904 33554432000 4194304 4196468 140724718388720 140171279284464 140172525439618 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4428] ppid=4388 vsize=8414124 memory=1476 CPUtime=0.18 cores=0-7
/proc/4411/task/4428/stat : 4428 (java) S 4388 4388 3098 0 -1 1077944384 548 0 0 0 18 0 0 0 20 0 24 0 418270599 8616062976 29904 33554432000 4194304 4196468 140724718388720 140171278231920 140172525439618 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4429] ppid=4388 vsize=8414124 memory=68956 CPUtime=0 cores=0-7
/proc/4411/task/4429/stat : 4429 (java) S 4388 4388 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418270599 8616062976 29904 33554432000 4194304 4196468 140724718388720 140170015795936 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4430] ppid=4388 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/4411/task/4430/stat : 4430 (java) S 4388 4388 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418270599 8616062976 29904 33554432000 4194304 4196468 140724718388720 140171277179824 140172525439618 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4432] ppid=4388 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4411/task/4432/stat : 4432 (java) S 4388 4388 3098 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418270695 8616062976 29904 33554432000 4194304 4196468 140724718388720 140171962353344 140172525453081 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4434] ppid=4388 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4411/task/4434/stat : 4434 (java) S 4388 4388 3098 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418270695 8616062976 29904 33554432000 4194304 4196468 140724718388720 140169344695568 140172525450397 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4435] ppid=4388 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/4411/task/4435/stat : 4435 (java) S 4388 4388 3098 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418270695 8616062976 29904 33554432000 4194304 4196468 140724718388720 140169613131152 140172525450397 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4436] ppid=4388 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4411/task/4436/stat : 4436 (java) S 4388 4388 3098 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418270697 8616062976 29904 33554432000 4194304 4196468 140724718388720 140169076268208 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
Current children cumulated CPU time: 21.32 s
Current children cumulated vsize: 9342172 KiB
Current children cumulated memory: 328792 KiB

[startup+6.80262 s]
/proc/loadavg: 2.18 1.57 2.58 9/225 4444
/proc/meminfo: memFree=31008288/32770624 swapFree=67000496/67108860
[pid=4388] ppid=4385 vsize=113128 memory=1476 CPUtime=9.97 cores=0-7
/proc/4388/stat : 4388 (scop.sh) S 4385 4388 3098 0 -1 4202496 582 29275 0 0 0 0 969 28 20 0 1 0 418270227 115843072 369 33554432000 4194304 5098028 140736466886672 140736466883416 140379920290428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29204480 140736466891557 140736466891884 140736466891884 140736466894797 0
/proc/4388/statm: 28282 369 311 221 0 87 0
[pid=4411] ppid=4388 vsize=8283048 memory=123296 CPUtime=13.99 cores=0-7
/proc/4411/stat : 4411 (java) S 4388 4388 3098 0 -1 1077944320 20761 53882 0 0 124 8 1245 22 20 0 22 0 418270592 8481841152 30824 33554432000 4194304 4196468 140724718388720 140724718371264 140172525428471 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
/proc/4411/statm: 2070762 30824 3220 1 0 2032106 0
[pid=4411/tid=4412] ppid=4388 vsize=8283048 memory=0 CPUtime=13.42 cores=0-7
/proc/4411/task/4412/stat : 4412 (java) R 4388 4388 3098 0 -1 4202560 16877 53882 0 0 70 5 1245 22 20 0 22 0 418270593 8481841152 30824 33554432000 4194304 4196468 140724718388720 140172497265728 140172525440406 0 4 2 25189581 0 0 0 -1 4 0 0 29 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4413] ppid=4388 vsize=8283048 memory=0 CPUtime=12.67 cores=0-7
/proc/4411/task/4413/stat : 4413 (java) S 4388 4388 3098 0 -1 1077944384 1 53882 0 0 0 0 1245 22 20 0 22 0 418270594 8481841152 30824 33554432000 4194304 4196468 140724718388720 140172529670928 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4414] ppid=4388 vsize=8283048 memory=0 CPUtime=12.67 cores=0-7
/proc/4411/task/4414/stat : 4414 (java) S 4388 4388 3098 0 -1 1077944384 1 53882 0 0 0 0 1245 22 20 0 22 0 418270594 8481841152 30824 33554432000 4194304 4196468 140724718388720 140172329839504 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4415] ppid=4388 vsize=8283048 memory=0 CPUtime=12.67 cores=0-7
/proc/4411/task/4415/stat : 4415 (java) S 4388 4388 3098 0 -1 1077944384 1 53882 0 0 0 0 1245 22 20 0 22 0 418270594 8481841152 30824 33554432000 4194304 4196468 140724718388720 140172328786960 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4416] ppid=4388 vsize=8283048 memory=0 CPUtime=12.67 cores=0-7
/proc/4411/task/4416/stat : 4416 (java) S 4388 4388 3098 0 -1 1077944384 1 53882 0 0 0 0 1245 22 20 0 22 0 418270594 8481841152 30824 33554432000 4194304 4196468 140724718388720 140172327734416 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4417] ppid=4388 vsize=8283048 memory=0 CPUtime=12.67 cores=0-7
/proc/4411/task/4417/stat : 4417 (java) S 4388 4388 3098 0 -1 1077944384 2 53882 0 0 0 0 1245 22 20 0 22 0 418270594 8481841152 30824 33554432000 4194304 4196468 140724718388720 140172326680848 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4418] ppid=4388 vsize=8283048 memory=0 CPUtime=12.67 cores=0-7
/proc/4411/task/4418/stat : 4418 (java) S 4388 4388 3098 0 -1 1077944384 3 53882 0 0 0 0 1245 22 20 0 22 0 418270594 8481841152 30824 33554432000 4194304 4196468 140724718388720 140172325628304 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4419] ppid=4388 vsize=8283048 memory=0 CPUtime=12.67 cores=0-7
/proc/4411/task/4419/stat : 4419 (java) S 4388 4388 3098 0 -1 1077944384 1 53882 0 0 0 0 1245 22 20 0 22 0 418270594 8481841152 30824 33554432000 4194304 4196468 140724718388720 140172324575760 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4420] ppid=4388 vsize=8283048 memory=40 CPUtime=12.67 cores=0-7
/proc/4411/task/4420/stat : 4420 (java) S 4388 4388 3098 0 -1 1077944384 1 53882 0 0 0 0 1245 22 20 0 22 0 418270594 8481841152 30824 33554432000 4194304 4196468 140724718388720 140172323523216 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4421] ppid=4388 vsize=8283048 memory=42 CPUtime=12.67 cores=0-7
/proc/4411/task/4421/stat : 4421 (java) S 4388 4388 3098 0 -1 1077944384 7 53882 0 0 0 0 1245 22 20 0 22 0 418270595 8481841152 30824 33554432000 4194304 4196468 140724718388720 140171282442736 140172525439618 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4422] ppid=4388 vsize=8283048 memory=43 CPUtime=12.67 cores=0-7
/proc/4411/task/4422/stat : 4422 (java) S 4388 4388 3098 0 -1 1077944384 13 53882 0 0 0 0 1245 22 20 0 22 0 418270596 8481841152 30824 33554432000 4194304 4196468 140724718388720 140171156645280 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4423] ppid=4388 vsize=8283048 memory=64 CPUtime=12.67 cores=0-7
/proc/4411/task/4423/stat : 4423 (java) S 4388 4388 3098 0 -1 1077944384 1 53882 0 0 0 0 1245 22 20 0 22 0 418270596 8481841152 30824 33554432000 4194304 4196468 140724718388720 140170888209904 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4424] ppid=4388 vsize=8283048 memory=0 CPUtime=12.67 cores=0-7
/proc/4411/task/4424/stat : 4424 (java) S 4388 4388 3098 0 -1 1077944384 1 53882 0 0 0 0 1245 22 20 0 22 0 418270599 8481841152 30824 33554432000 4194304 4196468 140724718388720 140170513701584 140172525447067 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4425] ppid=4388 vsize=8283048 memory=0 CPUtime=12.75 cores=0-7
/proc/4411/task/4425/stat : 4425 (java) R 4388 4388 3098 0 -1 4202560 592 53882 0 0 8 0 1245 22 20 0 22 0 418270599 8481841152 30824 33554432000 4194304 4196468 140724718388720 140171281388736 140172508960111 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4426] ppid=4388 vsize=8283048 memory=4872558044660077418 CPUtime=12.75 cores=0-7
/proc/4411/task/4426/stat : 4426 (java) S 4388 4388 3098 0 -1 1077944384 403 53882 0 0 8 0 1245 22 20 0 22 0 418270599 8481841152 30824 33554432000 4194304 4196468 140724718388720 140171280337008 140172525439618 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4427] ppid=4388 vsize=8283048 memory=279557006397808 CPUtime=12.76 cores=0-7
/proc/4411/task/4427/stat : 4427 (java) R 4388 4388 3098 0 -1 4202560 294 53882 0 0 9 0 1245 22 20 0 22 0 418270599 8481841152 30824 33554432000 4194304 4196468 140724718388720 140171279272336 140172504688253 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4428] ppid=4388 vsize=8283048 memory=0 CPUtime=12.89 cores=0-7
/proc/4411/task/4428/stat : 4428 (java) R 4388 4388 3098 0 -1 4202560 635 53882 0 0 22 0 1245 22 20 0 22 0 418270599 8481841152 30824 33554432000 4194304 4196468 140724718388720 140171278232048 140172502652624 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4429] ppid=4388 vsize=8283048 memory=0 CPUtime=12.67 cores=0-7
/proc/4411/task/4429/stat : 4429 (java) S 4388 4388 3098 0 -1 1077944384 3 53882 0 0 0 0 1245 22 20 0 22 0 418270599 8481841152 30824 33554432000 4194304 4196468 140724718388720 140170015795936 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4430] ppid=4388 vsize=8283048 memory=0 CPUtime=12.67 cores=0-7
/proc/4411/task/4430/stat : 4430 (java) S 4388 4388 3098 0 -1 1077944384 2 53882 0 0 0 0 1245 22 20 0 22 0 418270599 8481841152 30824 33554432000 4194304 4196468 140724718388720 140171277179824 140172525439618 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4432] ppid=4388 vsize=8283048 memory=0 CPUtime=12.67 cores=0-7
/proc/4411/task/4432/stat : 4432 (java) S 4388 4388 3098 0 -1 1077944384 35 53882 0 0 0 0 1245 22 20 0 22 0 418270695 8481841152 30824 33554432000 4194304 4196468 140724718388720 140171962352528 140172525439618 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4436] ppid=4388 vsize=8283048 memory=9126232286719478932 CPUtime=12.67 cores=0-7
/proc/4411/task/4436/stat : 4436 (java) S 4388 4388 3098 0 -1 1077944384 10 53882 0 0 0 0 1245 22 20 0 22 0 418270697 8481841152 30824 33554432000 4194304 4196468 140724718388720 140169076270000 140172525439618 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
Current children cumulated CPU time: 23.96 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 124772 KiB

[startup+6.901 s]
/proc/loadavg: 2.18 1.57 2.58 9/225 4444
/proc/meminfo: memFree=31008288/32770624 swapFree=67000496/67108860
[pid=4388] ppid=4385 vsize=113128 memory=1476 CPUtime=9.97 cores=0-7
/proc/4388/stat : 4388 (scop.sh) S 4385 4388 3098 0 -1 4202496 582 29275 0 0 0 0 969 28 20 0 1 0 418270227 115843072 369 33554432000 4194304 5098028 140736466886672 140736466883416 140379920290428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29204480 140736466891557 140736466891884 140736466891884 140736466894797 0
/proc/4388/statm: 28282 369 311 221 0 87 0
[pid=4411] ppid=4388 vsize=8283048 memory=129272 CPUtime=14.17 cores=0-7
/proc/4411/stat : 4411 (java) S 4388 4388 3098 0 -1 1077944320 21223 53882 0 0 142 8 1245 22 20 0 22 0 418270592 8481841152 32318 33554432000 4194304 4196468 140724718388720 140724718371264 140172525428471 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
/proc/4411/statm: 2070762 32318 3225 1 0 2032106 0
[pid=4411/tid=4412] ppid=4388 vsize=8283048 memory=1476 CPUtime=13.52 cores=0-7
/proc/4411/task/4412/stat : 4412 (java) R 4388 4388 3098 0 -1 4202560 17187 53882 0 0 80 5 1245 22 20 0 22 0 418270593 8481841152 32318 33554432000 4194304 4196468 140724718388720 140172497267072 140172525450301 0 4 2 25189581 0 0 0 -1 4 0 0 29 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4413] ppid=4388 vsize=8283048 memory=119616 CPUtime=12.67 cores=0-7
/proc/4411/task/4413/stat : 4413 (java) S 4388 4388 3098 0 -1 1077944384 1 53882 0 0 0 0 1245 22 20 0 22 0 418270594 8481841152 32318 33554432000 4194304 4196468 140724718388720 140172529670928 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4414] ppid=4388 vsize=8283048 memory=0 CPUtime=12.67 cores=0-7
/proc/4411/task/4414/stat : 4414 (java) S 4388 4388 3098 0 -1 1077944384 1 53882 0 0 0 0 1245 22 20 0 22 0 418270594 8481841152 32318 33554432000 4194304 4196468 140724718388720 140172329839504 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4415] ppid=4388 vsize=8283048 memory=231128 CPUtime=12.67 cores=0-7
/proc/4411/task/4415/stat : 4415 (java) S 4388 4388 3098 0 -1 1077944384 1 53882 0 0 0 0 1245 22 20 0 22 0 418270594 8481841152 32318 33554432000 4194304 4196468 140724718388720 140172328786960 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4416] ppid=4388 vsize=8283048 memory=199320 CPUtime=12.67 cores=0-7
/proc/4411/task/4416/stat : 4416 (java) S 4388 4388 3098 0 -1 1077944384 1 53882 0 0 0 0 1245 22 20 0 22 0 418270594 8481841152 32318 33554432000 4194304 4196468 140724718388720 140172327734416 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4417] ppid=4388 vsize=8283048 memory=92 CPUtime=12.67 cores=0-7
/proc/4411/task/4417/stat : 4417 (java) S 4388 4388 3098 0 -1 1077944384 2 53882 0 0 0 0 1245 22 20 0 22 0 418270594 8481841152 32318 33554432000 4194304 4196468 140724718388720 140172326680848 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4418] ppid=4388 vsize=8283048 memory=4840 CPUtime=12.67 cores=0-7
/proc/4411/task/4418/stat : 4418 (java) S 4388 4388 3098 0 -1 1077944384 3 53882 0 0 0 0 1245 22 20 0 22 0 418270594 8481841152 32318 33554432000 4194304 4196468 140724718388720 140172325628304 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4419] ppid=4388 vsize=8283048 memory=1975 CPUtime=12.67 cores=0-7
/proc/4411/task/4419/stat : 4419 (java) S 4388 4388 3098 0 -1 1077944384 1 53882 0 0 0 0 1245 22 20 0 22 0 418270594 8481841152 32318 33554432000 4194304 4196468 140724718388720 140172324575760 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4420] ppid=4388 vsize=8283048 memory=14008 CPUtime=12.67 cores=0-7
/proc/4411/task/4420/stat : 4420 (java) S 4388 4388 3098 0 -1 1077944384 1 53882 0 0 0 0 1245 22 20 0 22 0 418270594 8481841152 32318 33554432000 4194304 4196468 140724718388720 140172323523216 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4421] ppid=4388 vsize=8283048 memory=2116 CPUtime=12.67 cores=0-7
/proc/4411/task/4421/stat : 4421 (java) S 4388 4388 3098 0 -1 1077944384 7 53882 0 0 0 0 1245 22 20 0 22 0 418270595 8481841152 32318 33554432000 4194304 4196468 140724718388720 140171282442736 140172525439618 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4422] ppid=4388 vsize=8283048 memory=20488 CPUtime=12.67 cores=0-7
/proc/4411/task/4422/stat : 4422 (java) S 4388 4388 3098 0 -1 1077944384 13 53882 0 0 0 0 1245 22 20 0 22 0 418270596 8481841152 32318 33554432000 4194304 4196468 140724718388720 140171156645280 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4423] ppid=4388 vsize=8283048 memory=11852 CPUtime=12.67 cores=0-7
/proc/4411/task/4423/stat : 4423 (java) S 4388 4388 3098 0 -1 1077944384 1 53882 0 0 0 0 1245 22 20 0 22 0 418270596 8481841152 32318 33554432000 4194304 4196468 140724718388720 140170888209904 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4424] ppid=4388 vsize=8283048 memory=532 CPUtime=12.67 cores=0-7
/proc/4411/task/4424/stat : 4424 (java) S 4388 4388 3098 0 -1 1077944384 1 53882 0 0 0 0 1245 22 20 0 22 0 418270599 8481841152 32318 33554432000 4194304 4196468 140724718388720 140170513701584 140172525447067 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4425] ppid=4388 vsize=8283048 memory=928 CPUtime=12.75 cores=0-7
/proc/4411/task/4425/stat : 4425 (java) S 4388 4388 3098 0 -1 1077944384 593 53882 0 0 8 0 1245 22 20 0 22 0 418270599 8481841152 32318 33554432000 4194304 4196468 140724718388720 140171281389552 140172525439618 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4426] ppid=4388 vsize=8283048 memory=1980 CPUtime=12.76 cores=0-7
/proc/4411/task/4426/stat : 4426 (java) R 4388 4388 3098 0 -1 4202560 413 53882 0 0 9 0 1245 22 20 0 22 0 418270599 8481841152 32318 33554432000 4194304 4196468 140724718388720 140171280337008 140172506948562 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4427] ppid=4388 vsize=8283048 memory=1332 CPUtime=12.78 cores=0-7
/proc/4411/task/4427/stat : 4427 (java) R 4388 4388 3098 0 -1 4202560 303 53882 0 0 11 0 1245 22 20 0 22 0 418270599 8481841152 32318 33554432000 4194304 4196468 140724718388720 140171279284464 140172505090689 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4428] ppid=4388 vsize=8283048 memory=2648 CPUtime=12.94 cores=0-7
/proc/4411/task/4428/stat : 4428 (java) R 4388 4388 3098 0 -1 4202560 767 53882 0 0 27 0 1245 22 20 0 22 0 418270599 8481841152 32318 33554432000 4194304 4196468 140724718388720 140171278231920 140172517745050 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4429] ppid=4388 vsize=8283048 memory=912 CPUtime=12.67 cores=0-7
/proc/4411/task/4429/stat : 4429 (java) S 4388 4388 3098 0 -1 1077944384 3 53882 0 0 0 0 1245 22 20 0 22 0 418270599 8481841152 32318 33554432000 4194304 4196468 140724718388720 140170015795936 140172525438677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4430] ppid=4388 vsize=8283048 memory=3616 CPUtime=12.67 cores=0-7
/proc/4411/task/4430/stat : 4430 (java) S 4388 4388 3098 0 -1 1077944384 2 53882 0 0 0 0 1245 22 20 0 22 0 418270599 8481841152 32318 33554432000 4194304 4196468 140724718388720 140171277179824 140172525439618 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4432] ppid=4388 vsize=8283048 memory=36960 CPUtime=12.67 cores=0-7
/proc/4411/task/4432/stat : 4432 (java) S 4388 4388 3098 0 -1 1077944384 35 53882 0 0 0 0 1245 22 20 0 22 0 418270695 8481841152 32318 33554432000 4194304 4196468 140724718388720 140171962352528 140172525439618 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
[pid=4411/tid=4436] ppid=4388 vsize=8283048 memory=988 CPUtime=12.67 cores=0-7
/proc/4411/task/4436/stat : 4436 (java) S 4388 4388 3098 0 -1 1077944384 10 53882 0 0 0 0 1245 22 20 0 22 0 418270697 8481841152 32318 33554432000 4194304 4196468 140724718388720 140169076270000 140172525439618 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28061696 140724718392312 140724718392470 140724718392470 140724718395343 0
Current children cumulated CPU time: 24.14 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 130748 KiB

Child status: 0
Real time (s): 6.92488
CPU time (s): 24.214
CPU user time (s): 23.6026
CPU system time (s): 0.611311
CPU usage (%): 349.666
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1172668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.6027
system time used= 0.611311
maximum resident set size= 1174344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105021
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= 11259
involuntary context switches= 150


# summary of solver processes directly reported to runsolver:
#   pid: 4388
#   total CPU time (s): 24.214
#   total CPU user time (s): 23.6026
#   total CPU system time (s): 0.611311

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.081121 second user time and 0.109502 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-14 03:12:02
IDJOB=4392476
IDBENCH=124114
IDSOLVER=2838
FILE ID=node146/4392476-1568423562
RUNJOBID= node146-1568417371-3125
PBS_JOBID= 21702271
Free space on /tmp= 59032 MiB

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

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

MD5SUM BENCH= b74d7d5d03f7c84e1bb19748e6149180
RANDOM SEED=256202650

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31282344 kB
MemAvailable:   31881016 kB
Buffers:          182476 kB
Cached:           681948 kB
SwapCached:         4764 kB
Active:           497444 kB
Inactive:         373472 kB
Active(anon):      23252 kB
Inactive(anon):    21924 kB
Active(file):     474192 kB
Inactive(file):   351548 kB
Unevictable:      110128 kB
Mlocked:          110128 kB
SwapTotal:      67108860 kB
SwapFree:       67000496 kB
Dirty:             20644 kB
Writeback:             0 kB
AnonPages:        115256 kB
Mapped:            42244 kB
Shmem:             29876 kB
Slab:             207692 kB
SReclaimable:     177532 kB
SUnreclaim:        30160 kB
KernelStack:        3568 kB
PageTables:         5132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     500424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 59012 MiB
End job on node146 at 2019-09-14 03:12:09