Trace number 4392270

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 126.471 95.3214

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si4-m4D/
Subisomorphism-si4-m4Dr4-m256-08.xml
MD5SUM81c7a723557c708ecb18ed846030ca95
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.018955
Satisfiable
(Un)Satisfiability was proved
Number of variables102
Number of constraints253
Number of domains1
Minimum domain size256
Maximum domain size256
Distribution of domain sizes[{"size":256,"count":102}]
Minimum variable degree2
Maximum variable degree13
Distribution of variable degrees[{"degree":2,"count":9},{"degree":3,"count":22},{"degree":4,"count":19},{"degree":6,"count":17},{"degree":7,"count":10},{"degree":8,"count":12},{"degree":9,"count":7},{"degree":10,"count":5},{"degree":13,"count":1}]
Minimum constraint arity1
Maximum constraint arity102
Distribution of constraint arities[{"arity":1,"count":52},{"arity":2,"count":200},{"arity":102,"count":1}]
Number of extensional constraints252
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":252},{"type":"allDifferent","count":1}]
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-1751-serial-file.bin HOME/instance-4392270-1568431520.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.57	c BEGIN-Prog: Sat Sep 14 05:24:39 CEST 2019
0.66/0.57	c PID: 1754
0.66/0.57	c IP: 172.20.3.145
0.66/0.57	c HOST: node145.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.57/1.01	c (0,0) Parsing End
1.86/1.01	c (0,0) CSP: 102 int (0 aux), 0 bool (0 aux), 253 ctr, max domain size 256
1.86/1.01	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.86/1.01	c (0,0) Constraint Name Generate Begin
1.86/1.02	c (0,0) Ctr:HOME/instance-4392270-1568431520.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
1.86/1.02	c (0,0) Constraint Name Generate End
1.86/1.02	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.86/1.02	c (0,0) CSP to CSPinCNF Begin
13.65/6.79	c (6,5) translated 26 (10%) constraints
18.38/11.35	c (10,10) translated 51 (20%) constraints
22.93/15.88	c (15,15) translated 76 (30%) constraints
29.59/20.75	c (20,19) translated 102 (40%) constraints
33.81/24.99	c (24,23) translated 127 (50%) constraints
38.15/29.24	c (28,28) translated 152 (60%) constraints
45.86/34.08	c (33,32) translated 178 (70%) constraints
50.08/38.23	c (37,36) translated 203 (80%) constraints
50.45/38.32	c (37,36) translated 228 (90%) constraints
50.45/38.34	c (37,36) translated 253 (100%) constraints
50.45/38.34	c (37,36) ===========================================
50.45/38.35	c (37,36) Order
50.45/38.35	c (37,36) ===========================================
54.15/39.97	c (39,38) translated 71494 (10%) constraints
55.55/41.39	c (40,39) translated 142987 (20%) constraints
57.15/42.82	c (42,41) translated 214480 (30%) constraints
58.55/44.23	c (43,42) translated 285974 (40%) constraints
59.95/45.65	c (45,44) translated 357467 (50%) constraints
61.36/47.07	c (46,45) translated 428960 (60%) constraints
62.75/48.49	c (47,46) translated 500454 (70%) constraints
64.25/49.90	c (49,48) translated 571947 (80%) constraints
65.65/51.32	c (50,49) translated 643440 (90%) constraints
67.12/52.77	c (52,51) translated 714933 (100%) constraints
67.12/52.77	c (52,51) CSP to CSPinCNF End
67.12/52.80	c (52,51) CSP: 102 int (0 aux), 51200 bool (51200 aux), 714933 ctr, max domain size 256
67.12/52.80	c (52,51) Heap : 5780 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
67.12/52.80	c (52,51) CSPinCNF Propagation Begin
78.32/58.91	c (58,56) 574 values, 16892 unsatisfiable literals, and 14749 valid clauses are removed
78.32/58.91	c (58,56) CSPinCNF Propagation End
78.32/58.93	c (58,56) CSP: 102 int (0 aux), 51200 bool (51200 aux), 700184 ctr, max domain size 256
78.32/58.93	c (58,56) Heap : 4925 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
78.32/58.93	c (58,56) Simplify CSPinCNF Begin
80.56/60.18	c (59,58) Simplify CSPinCNF End
80.56/60.20	c (59,58) CSP: 102 int (0 aux), 61500 bool (61500 aux), 710484 ctr, max domain size 256
80.56/60.20	c (59,58) Heap : 5611 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
80.56/60.20	c (59,58) Calculate Precise Domain Begin
80.65/60.20	c (59,58) 0 values are removed by re-calculation
80.65/60.20	c (59,58) Calculate Precise Domain End
80.65/60.21	c (59,58) CSP: 102 int (0 aux), 61500 bool (61500 aux), 710484 ctr, max domain size 256
80.65/60.21	c (59,58) Heap : 5611 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
80.65/60.21	c (59,58) CSPinCNF to SatSolver Begin
97.64/71.36	c (70,68) 71049 (10 %) CSP clauses are encoded (0 SAT variables, 2607204 SAT clauses)
98.40/72.08	c (71,69) 142097 (20 %) CSP clauses are encoded (0 SAT variables, 2678252 SAT clauses)
99.09/72.78	c (72,70) 213146 (30 %) CSP clauses are encoded (0 SAT variables, 2749301 SAT clauses)
99.79/73.49	c (72,70) 284194 (40 %) CSP clauses are encoded (0 SAT variables, 2820349 SAT clauses)
100.60/74.22	c (73,71) 355242 (50 %) CSP clauses are encoded (0 SAT variables, 2891397 SAT clauses)
103.49/75.22	c (74,72) 426291 (60 %) CSP clauses are encoded (0 SAT variables, 2962446 SAT clauses)
104.19/75.93	c (75,73) 497339 (70 %) CSP clauses are encoded (0 SAT variables, 3033494 SAT clauses)
104.89/76.65	c (76,73) 568388 (80 %) CSP clauses are encoded (0 SAT variables, 3104543 SAT clauses)
105.60/77.36	c (76,74) 639436 (90 %) CSP clauses are encoded (0 SAT variables, 3175591 SAT clauses)
106.31/78.07	c (77,75) 710484 (100 %) CSP clauses are encoded (0 SAT variables, 3246639 SAT clauses)
106.31/78.07	c (77,75) CSPinCNF to SatSolver End
106.31/78.07	c (77,75) Heap : 2945 MiB used (max 21712 MiB), NonHeap : 32 MiB used (max 0 MiB)
106.31/78.07	c (77,75) 86613 bool, 3246640 clause
106.31/78.07	c (77,75) Export Begin
106.42/78.17	c (77,75) Export to HOME/scop-1751-serial-file.bin
106.42/78.17	c (77,75) Export End
106.42/78.17	c (77,75) Export File Size: 0.02 MB
106.42/78.17	c (77,75) 0,0,52,58,59,59,77,STOP-AFTER(DIMACS)
106.42/78.17	c END-Prog: Sat Sep 14 05:25:56 CEST 2019
0.00/78.22	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1751-serial-file.bin
106.62/78.69	c (0,0) Read Serial File Begin
106.62/78.69	c (0,0) HOME/scop-1751-serial-file.bin
106.62/78.92	c (0,0) Read Serial File End
106.62/78.93	
106.62/78.93	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
106.62/78.93	(Solving Process)
106.62/78.93	
106.62/78.95	c BEGIN-Prog: Sat Sep 14 05:25:57 CEST 2019
106.62/78.95	c PID: 1781
106.62/78.95	c IP: 172.20.3.145
106.62/78.95	c HOST: node145.alineos.net
106.62/78.96	c (0,0) SatSolver.solve Begin
106.62/78.96	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392270-1568431520.xml-scop-1754.cnf
106.62/78.99	c (0,0) c
106.62/78.99	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)
106.62/78.99	c (0,0) c
106.62/78.99	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
106.62/78.99	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
106.62/78.99	c (0,0) c ========================================[ Problem Statistics ]===========================================
106.62/78.99	c (0,0) c |                                                                                                       |
108.84/80.05	c (1,0) c |  Number of variables:         86613                                                                   |
108.84/80.05	c (1,0) c |  Number of clauses:         3246640                                                                   |
108.84/80.05	c (1,0) c |  Parse time:                   0.98 s                                                                 |
108.84/80.05	c (1,0) c |                                                                                                       |
122.64/93.88	c (15,0) c |  Simplification time:         13.72 s                                                                 |
122.64/93.88	c (15,0) c |                                                                                                       |
122.64/93.88	c (15,0) c |  Generating clones                                                                                    |
123.34/94.59	c (15,0) c |  all clones generated. Memory =  1965.22Mb.                                                           |
123.34/94.59	c (15,0) c ========================================================================================================|
123.34/94.59	c (15,0) c
123.34/94.59	c (15,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
123.34/94.59	c (15,0) c
123.34/94.59	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.34/94.59	c (15,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
123.34/94.59	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.34/94.59	c (15,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
123.34/94.60	c (15,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
123.34/94.60	c (15,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
123.34/94.60	c (15,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
123.34/94.60	c (15,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
123.34/94.60	c (15,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
123.34/94.60	c (15,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
123.34/94.60	c (15,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
123.34/94.60	c (15,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
123.34/94.60	c (15,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
123.34/94.60	c (15,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
123.34/94.60	c (15,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
123.34/94.60	c (15,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
123.34/94.60	c (15,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
123.34/94.60	c (15,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
123.34/94.60	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.65/95.05	c (16,0) c
125.65/95.05	c (16,0) c real time : 16.0711 s
125.65/95.05	c (16,0) c cpu time  : 17.1526 s
125.65/95.05	c (16,0) c
125.65/95.05	c (16,0) c
125.65/95.05	c (16,0) c
125.65/95.05	c (16,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
125.65/95.05	c (16,0) c
125.65/95.05	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.65/95.05	c (16,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
125.65/95.05	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.65/95.05	c (16,0) c | Conflicts     |             458 |          0 |         95 |         46 |         86 |         56 |         26 |         83 |         66 |
125.65/95.05	c (16,0) c | Decisions     |            1161 |          6 |        197 |         93 |        216 |        134 |         70 |        201 |        244 |
125.65/95.05	c (16,0) c | Propagations  |          862457 |      80794 |     142145 |     124271 |     125712 |      65429 |     135396 |      89282 |      99428 |
125.65/95.05	c (16,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.65/95.05	c (16,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
125.65/95.05	c (16,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
125.65/95.05	c (16,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.65/95.05	c (16,0) c | PropBinClauses|          879950 |      56371 |     125395 |     116964 |     137466 |      90000 |     120335 |     119298 |     114121 |
125.65/95.05	c (16,0) c | PropPreBlocker|        32977114 |    3553576 |    3887919 |    5050909 |    3709782 |    3676469 |    5362847 |    3814418 |    3921194 |
125.65/95.05	c (16,0) c | PropNotBlocker|        17407500 |    1887015 |    1986506 |    2698376 |    2029042 |    2161702 |    2846820 |    1947688 |    1850351 |
125.65/95.05	c (16,0) c | LitFullScans  |        52250720 |    5565619 |    6183879 |    7992740 |    6003020 |    6039552 |    8451549 |    6009852 |    6004509 |
125.65/95.06	c (16,0) c | LitScanFracts |            3396 |          0 |        665 |        482 |         13 |        975 |        435 |        293 |        533 |
125.65/95.06	c (16,0) c | DecisionLevel0|              14 |          1 |          2 |          3 |          2 |          1 |          2 |          2 |          1 |
125.65/95.06	c (16,0) c | Periods       |               7 |          0 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
125.65/95.06	c (16,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
125.65/95.06	c (16,0) c | Avg_Trail     |                 |          0 |       6517 |       3393 |       4647 |       5759 |       6191 |       7858 |      12438 |
125.65/95.06	c (16,0) c | Avg_DL        |                 |          0 |         13 |          6 |         18 |         28 |         17 |         42 |        105 |
125.65/95.06	c (16,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.65/95.06	c (16,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.65/95.06	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.65/95.06	c (16,0) c | Exported      |              60 |          0 |         11 |          6 |         18 |          1 |          9 |          8 |          7 |
125.65/95.06	c (16,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.65/95.06	c (16,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.65/95.06	c (16,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.65/95.06	c (16,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.65/95.06	c (16,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.65/95.06	c (16,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.65/95.06	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.65/95.06	c (16,0) c | Unaries       |                 |          0 |          1 |          2 |          1 |          0 |          1 |          1 |          0 |
125.65/95.06	c (16,0) c | Binaries      |                 |          0 |          3 |          4 |          8 |          1 |          2 |          2 |          1 |
125.65/95.06	c (16,0) c | Glues         |                 |          0 |         11 |          6 |         18 |          1 |          9 |          8 |          7 |
125.65/95.06	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.65/95.06	c (16,0) c | Orig_Seen     |             0 % |          0 |       2434 |       1551 |       3411 |       1509 |       1386 |       3086 |       2083 |
125.65/95.06	c (16,0) c | Diff Orig seen|                 |      X     |       2434 |       1551 |       3411 |       1509 |       1386 |       3086 |       2083 |
125.65/95.06	c (16,0) c | Hamming       |            10 % |      X     |      14560 |        551 |      13853 |       7814 |        503 |      14841 |      14136 |
125.65/95.06	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.65/95.06	c (16,0) c | RunningTime   |                 |    0.3 100%|    0.4 100%|    0.4 100%|    0.4 100%|    0.4 100%|    0.5 100%|    0.4 100%|    0.4 100%|
125.65/95.06	c (16,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%|
125.65/95.06	c (16,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%|
125.65/95.06	c (16,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%|
125.65/95.06	c (16,0) c | SolvingTime   |                 |    0.3     |    0.4     |    0.4     |    0.4     |    0.4     |    0.5     |    0.4     |    0.4     |
125.65/95.06	c (16,0) c | PropagationTim|                 |    0.3 100%|    0.4  98%|    0.4  99%|    0.4  98%|    0.4  99%|    0.5  99%|    0.4  98%|    0.4  98%|
125.65/95.06	c (16,0) c | AnalysisTime  |                 |    0.0   0%|    0.0   1%|    0.0   0%|    0.0   1%|    0.0   0%|    0.0   0%|    0.0   1%|    0.0   1%|
125.65/95.06	c (16,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%|
125.65/95.06	c (16,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%|
125.65/95.06	c (16,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%|
125.65/95.06	c (16,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%|
125.65/95.06	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.65/95.06	c (16,0) c
125.65/95.06	c (16,0) c
125.65/95.06	c (16,0) c Threads : 8
125.65/95.06	c (16,0) c Winner : 0
125.65/95.06	c (16,0) c Conflicts_0 : 0
125.65/95.06	c (16,0) c Conflicts_1 : 95
125.65/95.06	c (16,0) c Conflicts_2 : 46
125.65/95.06	c (16,0) c Conflicts_3 : 86
125.65/95.06	c (16,0) c Conflicts_4 : 56
125.65/95.06	c (16,0) c Conflicts_5 : 26
125.65/95.06	c (16,0) c Conflicts_6 : 83
125.65/95.06	c (16,0) c Conflicts_7 : 66
125.65/95.06	c (16,0) c Conflicts_total : 458
125.65/95.06	c (16,0) c Conflicts_winner : 0
125.65/95.06	c (16,0) c Decisions_0 : 6
125.65/95.06	c (16,0) c Decisions_1 : 197
125.65/95.06	c (16,0) c Decisions_2 : 93
125.65/95.06	c (16,0) c Decisions_3 : 216
125.65/95.06	c (16,0) c Decisions_4 : 134
125.65/95.06	c (16,0) c Decisions_5 : 70
125.65/95.06	c (16,0) c Decisions_6 : 201
125.65/95.06	c (16,0) c Decisions_7 : 244
125.65/95.06	c (16,0) c Decisions_total : 1161
125.65/95.06	c (16,0) c Decisions_winner : 6
125.65/95.06	c (16,0) c Propagations_0 : 80794
125.65/95.06	c (16,0) c Propagations_1 : 142145
125.65/95.06	c (16,0) c Propagations_2 : 124271
125.65/95.06	c (16,0) c Propagations_3 : 125712
125.65/95.06	c (16,0) c Propagations_4 : 65429
125.65/95.06	c (16,0) c Propagations_5 : 135396
125.65/95.06	c (16,0) c Propagations_6 : 89282
125.65/95.06	c (16,0) c Propagations_7 : 99428
125.65/95.06	c (16,0) c Propagations_total : 862457
125.65/95.06	c (16,0) c Propagations_winner : 80794
125.65/95.06	c (16,0) c ReduceDBs_0 : 0
125.65/95.06	c (16,0) c ReduceDBs_1 : 0
125.65/95.06	c (16,0) c ReduceDBs_2 : 0
125.65/95.06	c (16,0) c ReduceDBs_3 : 0
125.65/95.06	c (16,0) c ReduceDBs_4 : 0
125.65/95.06	c (16,0) c ReduceDBs_5 : 0
125.65/95.06	c (16,0) c ReduceDBs_6 : 0
125.65/95.06	c (16,0) c ReduceDBs_7 : 0
125.65/95.06	c (16,0) c ReduceDBs_total : 0
125.65/95.06	c (16,0) c ReduceDBs_winner : 0
125.65/95.06	c (16,0) c SimpDBs_0 : 1
125.65/95.06	c (16,0) c SimpDBs_1 : 1
125.65/95.06	c (16,0) c SimpDBs_2 : 1
125.65/95.06	c (16,0) c SimpDBs_3 : 1
125.65/95.06	c (16,0) c SimpDBs_4 : 1
125.65/95.06	c (16,0) c SimpDBs_5 : 1
125.65/95.06	c (16,0) c SimpDBs_6 : 1
125.65/95.06	c (16,0) c SimpDBs_7 : 1
125.65/95.06	c (16,0) c SimpDBs_total : 8
125.65/95.06	c (16,0) c SimpDBs_winner : 1
125.65/95.06	c (16,0) c Restarts_0 : 1
125.65/95.06	c (16,0) c Restarts_1 : 1
125.65/95.06	c (16,0) c Restarts_2 : 1
125.65/95.06	c (16,0) c Restarts_3 : 1
125.65/95.06	c (16,0) c Restarts_4 : 1
125.65/95.06	c (16,0) c Restarts_5 : 1
125.65/95.06	c (16,0) c Restarts_6 : 1
125.65/95.06	c (16,0) c Restarts_7 : 1
125.65/95.06	c (16,0) c Restarts_total : 8
125.65/95.06	c (16,0) c Restarts_winner : 1
125.65/95.06	c (16,0) c ForcedImports_0 : 0
125.65/95.06	c (16,0) c ForcedImports_1 : 0
125.65/95.06	c (16,0) c ForcedImports_2 : 0
125.65/95.06	c (16,0) c ForcedImports_3 : 0
125.65/95.06	c (16,0) c ForcedImports_4 : 0
125.65/95.06	c (16,0) c ForcedImports_5 : 0
125.65/95.06	c (16,0) c ForcedImports_6 : 0
125.65/95.06	c (16,0) c ForcedImports_7 : 0
125.65/95.06	c (16,0) c ForcedImports_total : 0
125.65/95.06	c (16,0) c ForcedImports_winner : 0
125.65/95.06	c (16,0) c PropsBinClauses_0 : 56371
125.65/95.06	c (16,0) c PropsBinClauses_1 : 125395
125.65/95.06	c (16,0) c PropsBinClauses_2 : 116964
125.65/95.06	c (16,0) c PropsBinClauses_3 : 137466
125.65/95.06	c (16,0) c PropsBinClauses_4 : 90000
125.65/95.06	c (16,0) c PropsBinClauses_5 : 120335
125.65/95.06	c (16,0) c PropsBinClauses_6 : 119298
125.65/95.06	c (16,0) c PropsBinClauses_7 : 114121
125.65/95.06	c (16,0) c PropsBinClauses_total : 879950
125.65/95.06	c (16,0) c PropsBinClauses_winner : 56371
125.65/95.06	c (16,0) c PropsPreBlocker_0 : 3553576
125.65/95.06	c (16,0) c PropsPreBlocker_1 : 3887919
125.65/95.06	c (16,0) c PropsPreBlocker_2 : 5050909
125.65/95.06	c (16,0) c PropsPreBlocker_3 : 3709782
125.65/95.06	c (16,0) c PropsPreBlocker_4 : 3676469
125.65/95.06	c (16,0) c PropsPreBlocker_5 : 5362847
125.65/95.06	c (16,0) c PropsPreBlocker_6 : 3814418
125.65/95.06	c (16,0) c PropsPreBlocker_7 : 3921194
125.65/95.06	c (16,0) c PropsPreBlocker_total : 32977114
125.65/95.06	c (16,0) c PropsPreBlocker_winner : 3553576
125.65/95.06	c (16,0) c PropsNotBlocker_0 : 1887015
125.65/95.06	c (16,0) c PropsNotBlocker_1 : 1986506
125.65/95.06	c (16,0) c PropsNotBlocker_2 : 2698376
125.65/95.06	c (16,0) c PropsNotBlocker_3 : 2029042
125.65/95.06	c (16,0) c PropsNotBlocker_4 : 2161702
125.65/95.06	c (16,0) c PropsNotBlocker_5 : 2846820
125.65/95.06	c (16,0) c PropsNotBlocker_6 : 1947688
125.65/95.06	c (16,0) c PropsNotBlocker_7 : 1850351
125.65/95.06	c (16,0) c PropsNotBlocker_total : 17407500
125.65/95.06	c (16,0) c PropsNotBlocker_winner : 1887015
125.65/95.06	c (16,0) c PropsLitFullScans_0 : 5565619
125.65/95.06	c (16,0) c PropsLitFullScans_1 : 6183879
125.65/95.06	c (16,0) c PropsLitFullScans_2 : 7992740
125.65/95.06	c (16,0) c PropsLitFullScans_3 : 6003020
125.65/95.06	c (16,0) c PropsLitFullScans_4 : 6039552
125.65/95.06	c (16,0) c PropsLitFullScans_5 : 8451549
125.65/95.06	c (16,0) c PropsLitFullScans_6 : 6009852
125.65/95.06	c (16,0) c PropsLitFullScans_7 : 6004509
125.65/95.06	c (16,0) c PropsLitFullScans_total : 52250720
125.65/95.06	c (16,0) c PropsLitFullScans_winner : 5565619
125.65/95.06	c (16,0) c LitScanFractions_0 : 0
125.65/95.06	c (16,0) c LitScanFractions_1 : 665
125.65/95.06	c (16,0) c LitScanFractions_2 : 482
125.65/95.06	c (16,0) c LitScanFractions_3 : 13
125.65/95.06	c (16,0) c LitScanFractions_4 : 975
125.65/95.06	c (16,0) c LitScanFractions_5 : 435
125.65/95.06	c (16,0) c LitScanFractions_6 : 293
125.65/95.06	c (16,0) c LitScanFractions_7 : 533
125.65/95.06	c (16,0) c LitScanFractions_total : 3396
125.65/95.06	c (16,0) c LitScanFractions_winner : 0
125.65/95.06	c (16,0) c DecisionLevel0_0 : 1
125.65/95.06	c (16,0) c DecisionLevel0_1 : 2
125.65/95.06	c (16,0) c DecisionLevel0_2 : 3
125.65/95.06	c (16,0) c DecisionLevel0_3 : 2
125.65/95.06	c (16,0) c DecisionLevel0_4 : 1
125.65/95.06	c (16,0) c DecisionLevel0_5 : 2
125.65/95.06	c (16,0) c DecisionLevel0_6 : 2
125.65/95.06	c (16,0) c DecisionLevel0_7 : 1
125.65/95.06	c (16,0) c DecisionLevel0_total : 14
125.65/95.06	c (16,0) c DecisionLevel0_winner : 1
125.65/95.06	c (16,0) c Periods_0 : 0
125.65/95.06	c (16,0) c Periods_1 : 1
125.65/95.06	c (16,0) c Periods_2 : 1
125.65/95.06	c (16,0) c Periods_3 : 1
125.65/95.06	c (16,0) c Periods_4 : 1
125.65/95.06	c (16,0) c Periods_5 : 1
125.65/95.06	c (16,0) c Periods_6 : 1
125.65/95.06	c (16,0) c Periods_7 : 1
125.65/95.06	c (16,0) c Periods_total : 7
125.65/95.06	c (16,0) c Periods_winner : 0
125.65/95.06	c (16,0) c Margin_0 : 20
125.65/95.06	c (16,0) c Margin_1 : 20
125.65/95.06	c (16,0) c Margin_2 : 20
125.65/95.06	c (16,0) c Margin_3 : 20
125.65/95.06	c (16,0) c Margin_4 : 20
125.65/95.06	c (16,0) c Margin_5 : 20
125.65/95.06	c (16,0) c Margin_6 : 20
125.65/95.06	c (16,0) c Margin_7 : 20
125.65/95.06	c (16,0) c Margin_total : 160
125.65/95.06	c (16,0) c Margin_winner : 20
125.65/95.06	c (16,0) c Exported_0 : 0
125.65/95.06	c (16,0) c Exported_1 : 11
125.65/95.06	c (16,0) c Exported_2 : 6
125.65/95.06	c (16,0) c Exported_3 : 18
125.65/95.06	c (16,0) c Exported_4 : 1
125.65/95.06	c (16,0) c Exported_5 : 9
125.65/95.06	c (16,0) c Exported_6 : 8
125.65/95.06	c (16,0) c Exported_7 : 7
125.65/95.06	c (16,0) c Exported_total : 60
125.65/95.06	c (16,0) c Exported_winner : 0
125.65/95.06	c (16,0) c Imported_0 : 0
125.65/95.06	c (16,0) c Imported_1 : 0
125.65/95.06	c (16,0) c Imported_2 : 0
125.65/95.06	c (16,0) c Imported_3 : 0
125.65/95.06	c (16,0) c Imported_4 : 0
125.65/95.06	c (16,0) c Imported_5 : 0
125.65/95.06	c (16,0) c Imported_6 : 0
125.65/95.06	c (16,0) c Imported_7 : 0
125.65/95.06	c (16,0) c Imported_total : 0
125.65/95.06	c (16,0) c Imported_winner : 0
125.65/95.06	c (16,0) c Good_0 : 0
125.65/95.06	c (16,0) c Good_1 : 0
125.65/95.06	c (16,0) c Good_2 : 0
125.65/95.06	c (16,0) c Good_3 : 0
125.65/95.06	c (16,0) c Good_4 : 0
125.65/95.06	c (16,0) c Good_5 : 0
125.65/95.06	c (16,0) c Good_6 : 0
125.65/95.06	c (16,0) c Good_7 : 0
125.65/95.06	c (16,0) c Good_total : 0
125.65/95.06	c (16,0) c Good_winner : 0
125.65/95.06	c (16,0) c Purge_0 : 0
125.65/95.06	c (16,0) c Purge_1 : 0
125.65/95.06	c (16,0) c Purge_2 : 0
125.65/95.06	c (16,0) c Purge_3 : 0
125.65/95.06	c (16,0) c Purge_4 : 0
125.65/95.06	c (16,0) c Purge_5 : 0
125.65/95.06	c (16,0) c Purge_6 : 0
125.65/95.06	c (16,0) c Purge_7 : 0
125.65/95.06	c (16,0) c Purge_total : 0
125.65/95.06	c (16,0) c Purge_winner : 0
125.65/95.06	c (16,0) c Promoted_0 : 0
125.65/95.06	c (16,0) c Promoted_1 : 0
125.65/95.06	c (16,0) c Promoted_2 : 0
125.65/95.06	c (16,0) c Promoted_3 : 0
125.65/95.06	c (16,0) c Promoted_4 : 0
125.65/95.06	c (16,0) c Promoted_5 : 0
125.65/95.06	c (16,0) c Promoted_6 : 0
125.65/95.06	c (16,0) c Promoted_7 : 0
125.65/95.06	c (16,0) c Promoted_total : 0
125.65/95.07	c (16,0) c Promoted_winner : 0
125.65/95.07	c (16,0) c Remove_Imp_0 : 0
125.65/95.07	c (16,0) c Remove_Imp_1 : 0
125.65/95.07	c (16,0) c Remove_Imp_2 : 0
125.65/95.07	c (16,0) c Remove_Imp_3 : 0
125.65/95.07	c (16,0) c Remove_Imp_4 : 0
125.65/95.07	c (16,0) c Remove_Imp_5 : 0
125.65/95.07	c (16,0) c Remove_Imp_6 : 0
125.65/95.07	c (16,0) c Remove_Imp_7 : 0
125.65/95.07	c (16,0) c Remove_Imp_total : 0
125.65/95.07	c (16,0) c Remove_Imp_winner : 0
125.65/95.07	c (16,0) c Blocked_Reuse_0 : 0
125.65/95.07	c (16,0) c Blocked_Reuse_1 : 0
125.65/95.07	c (16,0) c Blocked_Reuse_2 : 0
125.65/95.07	c (16,0) c Blocked_Reuse_3 : 0
125.65/95.07	c (16,0) c Blocked_Reuse_4 : 0
125.65/95.07	c (16,0) c Blocked_Reuse_5 : 0
125.65/95.07	c (16,0) c Blocked_Reuse_6 : 0
125.65/95.07	c (16,0) c Blocked_Reuse_7 : 0
125.65/95.07	c (16,0) c Blocked_Reuse_total : 0
125.65/95.07	c (16,0) c Blocked_Reuse_winner : 0
125.65/95.07	c (16,0) c Unaries_0 : 0
125.65/95.07	c (16,0) c Unaries_1 : 1
125.65/95.07	c (16,0) c Unaries_2 : 2
125.65/95.07	c (16,0) c Unaries_3 : 1
125.65/95.07	c (16,0) c Unaries_4 : 0
125.65/95.07	c (16,0) c Unaries_5 : 1
125.65/95.07	c (16,0) c Unaries_6 : 1
125.65/95.07	c (16,0) c Unaries_7 : 0
125.65/95.07	c (16,0) c Unaries_total : 6
125.65/95.07	c (16,0) c Unaries_winner : 0
125.65/95.07	c (16,0) c Binaries_0 : 0
125.65/95.07	c (16,0) c Binaries_1 : 3
125.65/95.07	c (16,0) c Binaries_2 : 4
125.65/95.07	c (16,0) c Binaries_3 : 8
125.65/95.07	c (16,0) c Binaries_4 : 1
125.65/95.07	c (16,0) c Binaries_5 : 2
125.65/95.07	c (16,0) c Binaries_6 : 2
125.65/95.07	c (16,0) c Binaries_7 : 1
125.65/95.07	c (16,0) c Binaries_total : 21
125.65/95.07	c (16,0) c Binaries_winner : 0
125.65/95.07	c (16,0) c Glues_0 : 0
125.65/95.07	c (16,0) c Glues_1 : 11
125.65/95.07	c (16,0) c Glues_2 : 6
125.65/95.07	c (16,0) c Glues_3 : 18
125.65/95.07	c (16,0) c Glues_4 : 1
125.65/95.07	c (16,0) c Glues_5 : 9
125.65/95.07	c (16,0) c Glues_6 : 8
125.65/95.07	c (16,0) c Glues_7 : 7
125.65/95.07	c (16,0) c Glues_total : 60
125.65/95.07	c (16,0) c Glues_winner : 0
125.65/95.07	c (16,0) c RunningTime_0 : 0.320163
125.65/95.07	c (16,0) c RunningTime_1 : 0.362158
125.65/95.07	c (16,0) c RunningTime_2 : 0.399086
125.65/95.07	c (16,0) c RunningTime_3 : 0.404282
125.65/95.07	c (16,0) c RunningTime_4 : 0.414084
125.65/95.07	c (16,0) c RunningTime_5 : 0.454641
125.65/95.07	c (16,0) c RunningTime_6 : 0.357255
125.65/95.07	c (16,0) c RunningTime_7 : 0.386134
125.65/95.07	c (16,0) c RunningTime_total : 3.097804
125.65/95.07	c (16,0) c RunningTime_winner : 0.320163
125.65/95.07	c (16,0) c WaitingTime_0 : 0.000000
125.65/95.07	c (16,0) c WaitingTime_1 : 0.000000
125.65/95.07	c (16,0) c WaitingTime_2 : 0.000000
125.65/95.07	c (16,0) c WaitingTime_3 : 0.000000
125.65/95.07	c (16,0) c WaitingTime_4 : 0.000000
125.65/95.07	c (16,0) c WaitingTime_5 : 0.000000
125.65/95.07	c (16,0) c WaitingTime_6 : 0.000000
125.65/95.07	c (16,0) c WaitingTime_7 : 0.000000
125.65/95.07	c (16,0) c WaitingTime_total : 0.000000
125.65/95.07	c (16,0) c WaitingTime_winner : 0.000000
125.65/95.07	c (16,0) c ExchangingTime_0 : 0.000000
125.65/95.07	c (16,0) c ExchangingTime_1 : 0.000031
125.65/95.07	c (16,0) c ExchangingTime_2 : 0.000014
125.65/95.07	c (16,0) c ExchangingTime_3 : 0.000053
125.65/95.07	c (16,0) c ExchangingTime_4 : 0.000009
125.65/95.07	c (16,0) c ExchangingTime_5 : 0.000031
125.65/95.07	c (16,0) c ExchangingTime_6 : 0.000029
125.65/95.07	c (16,0) c ExchangingTime_7 : 0.000026
125.65/95.07	c (16,0) c ExchangingTime_total : 0.000192
125.65/95.07	c (16,0) c ExchangingTime_winner : 0.000000
125.65/95.07	c (16,0) c PeriodProcTime_0 : 0.000000
125.65/95.07	c (16,0) c PeriodProcTime_1 : 0.000013
125.65/95.07	c (16,0) c PeriodProcTime_2 : 0.000006
125.65/95.07	c (16,0) c PeriodProcTime_3 : 0.000008
125.65/95.07	c (16,0) c PeriodProcTime_4 : 0.000010
125.65/95.07	c (16,0) c PeriodProcTime_5 : 0.000012
125.65/95.07	c (16,0) c PeriodProcTime_6 : 0.000012
125.65/95.07	c (16,0) c PeriodProcTime_7 : 0.000011
125.65/95.07	c (16,0) c PeriodProcTime_total : 0.000072
125.65/95.07	c (16,0) c PeriodProcTime_winner : 0.000000
125.65/95.07	c (16,0) c SolvingTime_0 : 0.320163
125.65/95.07	c (16,0) c SolvingTime_1 : 0.362201
125.65/95.07	c (16,0) c SolvingTime_2 : 0.399106
125.65/95.07	c (16,0) c SolvingTime_3 : 0.404343
125.65/95.07	c (16,0) c SolvingTime_4 : 0.414103
125.65/95.07	c (16,0) c SolvingTime_5 : 0.454684
125.65/95.07	c (16,0) c SolvingTime_6 : 0.357296
125.65/95.07	c (16,0) c SolvingTime_7 : 0.386171
125.65/95.07	c (16,0) c SolvingTime_total : 3.098068
125.65/95.07	c (16,0) c SolvingTime_winner : 0.320163
125.65/95.07	c (16,0) c PropagationTime_0 : 0.318821
125.65/95.07	c (16,0) c PropagationTime_1 : 0.355590
125.65/95.07	c (16,0) c PropagationTime_2 : 0.396563
125.65/95.07	c (16,0) c PropagationTime_3 : 0.396965
125.65/95.07	c (16,0) c PropagationTime_4 : 0.410307
125.65/95.07	c (16,0) c PropagationTime_5 : 0.451340
125.65/95.07	c (16,0) c PropagationTime_6 : 0.351214
125.65/95.07	c (16,0) c PropagationTime_7 : 0.379276
125.65/95.07	c (16,0) c PropagationTime_total : 3.060076
125.65/95.07	c (16,0) c PropagationTime_winner : 0.318821
125.65/95.07	c (16,0) c AnalysisTime_0 : 0.000000
125.65/95.07	c (16,0) c AnalysisTime_1 : 0.004125
125.65/95.07	c (16,0) c AnalysisTime_2 : 0.001472
125.65/95.07	c (16,0) c AnalysisTime_3 : 0.004304
125.65/95.07	c (16,0) c AnalysisTime_4 : 0.001900
125.65/95.07	c (16,0) c AnalysisTime_5 : 0.001746
125.65/95.07	c (16,0) c AnalysisTime_6 : 0.003373
125.65/95.07	c (16,0) c AnalysisTime_7 : 0.004033
125.65/95.07	c (16,0) c AnalysisTime_total : 0.020954
125.65/95.07	c (16,0) c AnalysisTime_winner : 0.000000
125.65/95.07	c (16,0) c ReductionTime_0 : 0.000000
125.65/95.07	c (16,0) c ReductionTime_1 : 0.000000
125.65/95.07	c (16,0) c ReductionTime_2 : 0.000000
125.65/95.07	c (16,0) c ReductionTime_3 : 0.000000
125.65/95.07	c (16,0) c ReductionTime_4 : 0.000000
125.65/95.07	c (16,0) c ReductionTime_5 : 0.000000
125.65/95.07	c (16,0) c ReductionTime_6 : 0.000000
125.65/95.07	c (16,0) c ReductionTime_7 : 0.000000
125.65/95.07	c (16,0) c ReductionTime_total : 0.000000
125.65/95.07	c (16,0) c ReductionTime_winner : 0.000000
125.65/95.07	c (16,0) c SimplifyTime_0 : 0.000000
125.65/95.07	c (16,0) c SimplifyTime_1 : 0.000002
125.65/95.07	c (16,0) c SimplifyTime_2 : 0.000000
125.65/95.07	c (16,0) c SimplifyTime_3 : 0.000000
125.65/95.07	c (16,0) c SimplifyTime_4 : 0.000000
125.65/95.07	c (16,0) c SimplifyTime_5 : 0.000000
125.65/95.07	c (16,0) c SimplifyTime_6 : 0.000000
125.65/95.07	c (16,0) c SimplifyTime_7 : 0.000000
125.65/95.07	c (16,0) c SimplifyTime_total : 0.000002
125.65/95.07	c (16,0) c SimplifyTime_winner : 0.000000
125.65/95.07	c (16,0) c UsedRateTime_0 : 0.000000
125.65/95.07	c (16,0) c UsedRateTime_1 : 0.000000
125.65/95.07	c (16,0) c UsedRateTime_2 : 0.000000
125.65/95.07	c (16,0) c UsedRateTime_3 : 0.000000
125.65/95.07	c (16,0) c UsedRateTime_4 : 0.000000
125.65/95.07	c (16,0) c UsedRateTime_5 : 0.000000
125.65/95.07	c (16,0) c UsedRateTime_6 : 0.000000
125.65/95.07	c (16,0) c UsedRateTime_7 : 0.000000
125.65/95.07	c (16,0) c UsedRateTime_total : 0.000000
125.65/95.07	c (16,0) c UsedRateTime_winner : 0.000000
125.65/95.07	c (16,0) c OverlapRateTime_0 : 0.000000
125.65/95.07	c (16,0) c OverlapRateTime_1 : 0.000000
125.65/95.07	c (16,0) c OverlapRateTime_2 : 0.000000
125.65/95.07	c (16,0) c OverlapRateTime_3 : 0.000000
125.65/95.07	c (16,0) c OverlapRateTime_4 : 0.000000
125.65/95.07	c (16,0) c OverlapRateTime_5 : 0.000000
125.65/95.07	c (16,0) c OverlapRateTime_6 : 0.000000
125.65/95.07	c (16,0) c OverlapRateTime_7 : 0.000000
125.65/95.07	c (16,0) c OverlapRateTime_total : 0.000000
125.65/95.07	c (16,0) c OverlapRateTime_winner : 0.000000
125.65/95.07	c (16,0) c
125.65/95.07	c (16,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
125.65/95.07	c (16,0) c
125.65/95.07	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.65/95.07	c (16,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
125.65/95.07	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.65/95.07	c (16,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
125.65/95.07	c (16,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
125.65/95.07	c (16,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
125.65/95.07	c (16,0) c | Initial random_seed   |  196714717 | 1662272818 | 1643833354 |  500357413 |  567495031 |   51717821 | 2047235552 | 1297999015 |
125.65/95.07	c (16,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
125.65/95.07	c (16,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
125.65/95.07	c (16,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
125.65/95.07	c (16,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
125.65/95.07	c (16,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
125.65/95.07	c (16,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
125.65/95.07	c (16,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
125.65/95.07	c (16,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
125.65/95.07	c (16,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
125.65/95.07	c (16,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
125.65/95.07	c (16,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
125.65/95.07	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.65/95.07	c (16,0) 
125.65/95.07	c (16,0) s SATISFIABLE
107.98/95.16	c (16,0) SatSolver.solve End
107.98/95.16	c (16,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
107.98/95.16	c (16,0) Show results Begin
126.12/95.28	c (16,0) x[0] = 0
126.12/95.28	c (16,0) x[1] = 58
126.12/95.28	c (16,0) x[2] = 62
126.12/95.28	c (16,0) x[3] = 81
126.12/95.28	c (16,0) x[4] = 140
126.12/95.28	c (16,0) x[5] = 169
126.12/95.28	c (16,0) x[6] = 234
126.12/95.28	c (16,0) x[7] = 22
126.12/95.28	c (16,0) x[8] = 101
126.12/95.28	c (16,0) x[9] = 155
126.12/95.28	c (16,0) x[10] = 166
126.12/95.28	c (16,0) x[11] = 176
126.12/95.28	c (16,0) x[12] = 198
126.12/95.28	c (16,0) x[13] = 3
126.12/95.28	c (16,0) x[14] = 38
126.12/95.28	c (16,0) x[15] = 83
126.12/95.28	c (16,0) x[16] = 159
126.12/95.28	c (16,0) x[17] = 189
126.12/95.28	c (16,0) x[18] = 9
126.12/95.28	c (16,0) x[19] = 66
126.12/95.28	c (16,0) x[20] = 91
126.12/95.28	c (16,0) x[21] = 126
126.12/95.28	c (16,0) x[22] = 173
126.12/95.28	c (16,0) x[23] = 243
126.12/95.28	c (16,0) x[24] = 48
126.12/95.28	c (16,0) x[25] = 182
126.12/95.28	c (16,0) x[26] = 27
126.12/95.28	c (16,0) x[27] = 164
126.12/95.28	c (16,0) x[28] = 211
126.12/95.28	c (16,0) x[29] = 7
126.12/95.28	c (16,0) x[30] = 25
126.12/95.28	c (16,0) x[31] = 50
126.12/95.28	c (16,0) x[32] = 55
126.12/95.28	c (16,0) x[33] = 153
126.12/95.28	c (16,0) x[34] = 185
126.12/95.28	c (16,0) x[35] = 197
126.12/95.28	c (16,0) x[36] = 224
126.12/95.28	c (16,0) x[37] = 249
126.12/95.28	c (16,0) x[38] = 33
126.12/95.28	c (16,0) x[39] = 118
126.12/95.28	c (16,0) x[40] = 171
126.12/95.28	c (16,0) x[41] = 172
126.12/95.28	c (16,0) x[42] = 51
126.12/95.28	c (16,0) x[43] = 218
126.12/95.28	c (16,0) x[44] = 72
126.12/95.28	c (16,0) x[45] = 100
126.12/95.28	c (16,0) x[46] = 184
126.12/95.28	c (16,0) x[47] = 108
126.12/95.28	c (16,0) x[48] = 209
126.12/95.28	c (16,0) x[49] = 40
126.12/95.28	c (16,0) x[50] = 67
126.12/95.28	c (16,0) x[51] = 34
126.12/95.28	c (16,0) x[52] = 111
126.12/95.28	c (16,0) x[53] = 144
126.12/95.28	c (16,0) x[54] = 188
126.12/95.28	c (16,0) x[55] = 214
126.12/95.28	c (16,0) x[56] = 115
126.12/95.28	c (16,0) x[57] = 136
126.12/95.28	c (16,0) x[58] = 220
126.12/95.28	c (16,0) x[59] = 2
126.12/95.28	c (16,0) x[60] = 125
126.12/95.28	c (16,0) x[61] = 196
126.12/95.28	c (16,0) x[62] = 93
126.12/95.28	c (16,0) x[63] = 248
126.12/95.28	c (16,0) x[64] = 8
126.12/95.28	c (16,0) x[65] = 221
126.12/95.28	c (16,0) x[66] = 46
126.12/95.28	c (16,0) x[67] = 138
126.12/95.28	c (16,0) x[68] = 32
126.12/95.28	c (16,0) x[69] = 74
126.12/95.28	c (16,0) x[70] = 86
126.12/95.28	c (16,0) x[71] = 112
126.12/95.28	c (16,0) x[72] = 147
126.12/95.28	c (16,0) x[73] = 75
126.12/95.28	c (16,0) x[74] = 219
126.12/95.28	c (16,0) x[75] = 80
126.12/95.28	c (16,0) x[76] = 139
126.12/95.28	c (16,0) x[77] = 6
126.12/95.28	c (16,0) x[78] = 54
126.12/95.28	c (16,0) x[79] = 94
126.12/95.28	c (16,0) x[80] = 161
126.12/95.28	c (16,0) x[81] = 228
126.12/95.28	c (16,0) x[82] = 238
126.12/95.28	c (16,0) x[83] = 215
126.12/95.28	c (16,0) x[84] = 254
126.12/95.28	c (16,0) x[85] = 208
126.12/95.29	c (16,0) x[86] = 251
126.12/95.29	c (16,0) x[87] = 49
126.12/95.29	c (16,0) x[88] = 88
126.12/95.29	c (16,0) x[89] = 130
126.12/95.29	c (16,0) x[90] = 245
126.12/95.29	c (16,0) x[91] = 39
126.12/95.29	c (16,0) x[92] = 96
126.12/95.29	c (16,0) x[93] = 225
126.12/95.29	c (16,0) x[94] = 244
126.12/95.29	c (16,0) x[95] = 5
126.12/95.29	c (16,0) x[96] = 41
126.12/95.29	c (16,0) x[97] = 191
126.12/95.29	c (16,0) x[98] = 145
126.12/95.29	c (16,0) x[99] = 135
126.12/95.29	c (16,0) x[100] = 70
126.12/95.29	c (16,0) x[101] = 45
126.12/95.29	s SATISFIABLE
126.12/95.30	v <instantiation>
126.12/95.30	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] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101]</list>
126.12/95.30	v     <values>0 58 62 81 140 169 234 22 101 155 166 176 198 3 38 83 159 189 9 66 91 126 173 243 48 182 27 164 211 7 25 50 55 153 185 197 224 249 33 118 171 172 51 218 72 100 184 108 209 40 67 34 111 144 188 214 115 136 220 2 125 196 93 248 8 221 46 138 32 74 86 112 147 75 219 80 139 6 54 94 161 228 238 215 254 208 251 49 88 130 245 39 96 225 244 5 41 191 145 135 70 45</values>
126.12/95.30	v </instantiation>
126.12/95.30	c (16,0) Show results End
126.12/95.30	c (16,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
126.12/95.30	c (16,0) 16,16,STOP-AFTER(ALL)
126.12/95.30	c END-Prog: Sat Sep 14 05:26:13 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 (15421 MiB free)
  memory of node 1: 16384 MiB (13466 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392270-1568431520/watcher-4392270-1568431520 -o /tmp/evaluation-result-4392270-1568431520/solver-4392270-1568431520 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568426894-1040 --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-4392270-1568431520.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=1751, runsolver pid=1748
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 8.02 8.14 8.16 2/212 1773
/proc/meminfo: memFree=29488856/32770624 swapFree=66958236/67108860
[pid=1751] ppid=1748 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1751/stat : 1751 (scop.sh) S 1748 1751 1012 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 419088476 115843072 349 33554432000 4194304 5098028 140735812430000 140735812427256 140664453993084 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13864960 140735812432677 140735812433004 140735812433004 140735812435917 0
/proc/1751/statm: 28282 349 296 221 0 87 0
[pid=1754] ppid=1751 vsize=27314120 memory=104096 CPUtime=0.1 cores=0-7
/proc/1754/stat : 1754 (java) S 1751 1751 1012 0 -1 1077944320 6619 0 0 0 8 2 0 0 20 0 20 0 419088477 27969658880 26024 33554432000 4194304 4196468 140737261186032 140737261168576 140611579514615 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
/proc/1754/statm: 6828530 26024 2792 1 0 6790935 0
[pid=1754/tid=1755] ppid=1751 vsize=27314120 memory=-7024592270288534718 CPUtime=0.09 cores=0-7
/proc/1754/task/1755/stat : 1755 (java) R 1751 1751 1012 0 -1 4202560 4717 0 0 0 7 2 0 0 20 0 20 0 419088477 27969658880 26024 33554432000 4194304 4196468 140737261186032 140611551338912 140611565582734 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1756] ppid=1751 vsize=27314120 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/1754/task/1756/stat : 1756 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 26024 33554432000 4194304 4196468 140737261186032 140611583757200 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1757] ppid=1751 vsize=27314120 memory=140714418538112 CPUtime=0 cores=0-7
/proc/1754/task/1757/stat : 1757 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 26024 33554432000 4194304 4196468 140737261186032 140611397913360 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1758] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1758/stat : 1758 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 26024 33554432000 4194304 4196468 140737261186032 140611396861072 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1759] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1759/stat : 1759 (java) S 1751 1751 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 26024 33554432000 4194304 4196468 140737261186032 140611395808272 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1760] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1760/stat : 1760 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 26024 33554432000 4194304 4196468 140737261186032 140611394754960 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1761] ppid=1751 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1754/task/1761/stat : 1761 (java) S 1751 1751 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 26024 33554432000 4194304 4196468 140737261186032 140611393702160 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1762] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1762/stat : 1762 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 26024 33554432000 4194304 4196468 140737261186032 140611392649872 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1763] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1763/stat : 1763 (java) S 1751 1751 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 26024 33554432000 4194304 4196468 140737261186032 140610995124752 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1764] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1764/stat : 1764 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088481 27969658880 26024 33554432000 4194304 4196468 140737261186032 140610100988528 140611579525762 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1765] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1765/stat : 1765 (java) S 1751 1751 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419088481 27969658880 26536 33554432000 4194304 4196468 140737261186032 140609176200480 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1766] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1766/stat : 1766 (java) S 1751 1751 1012 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419088482 27969658880 26536 33554432000 4194304 4196468 140737261186032 140609041978992 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1767] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1767/stat : 1767 (java) S 1751 1751 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088484 27969658880 26536 33554432000 4194304 4196468 140737261186032 140608667474512 140611579533211 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1768] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1768/stat : 1768 (java) S 1751 1751 1012 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 419088484 27969658880 26536 33554432000 4194304 4196468 140737261186032 140610099935344 140611579525762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1769] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1769/stat : 1769 (java) S 1751 1751 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088484 27969658880 26536 33554432000 4194304 4196468 140737261186032 140610098882544 140611579525762 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1770] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1770/stat : 1770 (java) S 1751 1751 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419088484 27969658880 26536 33554432000 4194304 4196468 140737261186032 140610097830256 140611579525762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1771] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1771/stat : 1771 (java) S 1751 1751 1012 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 20 0 419088484 27969658880 26536 33554432000 4194304 4196468 140737261186032 140610096777456 140611579525762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1772] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1772/stat : 1772 (java) S 1751 1751 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419088484 27969658880 26536 33554432000 4194304 4196468 140737261186032 140608169569120 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1773] ppid=1751 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1754/task/1773/stat : 1773 (java) S 1751 1751 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088484 27969658880 26536 33554432000 4194304 4196468 140737261186032 140610095725360 140611579525762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105492 KiB

[startup+0.210478 s]*
/proc/loadavg: 8.02 8.14 8.16 2/212 1773
/proc/meminfo: memFree=29467412/32770624 swapFree=66958236/67108860
[pid=1751] ppid=1748 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1751/stat : 1751 (scop.sh) S 1748 1751 1012 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 419088476 115843072 349 33554432000 4194304 5098028 140735812430000 140735812427256 140664453993084 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13864960 140735812432677 140735812433004 140735812433004 140735812435917 0
/proc/1751/statm: 28282 349 296 221 0 87 0
[pid=1754] ppid=1751 vsize=27314120 memory=123112 CPUtime=0.25 cores=0-7
/proc/1754/stat : 1754 (java) S 1751 1751 1012 0 -1 1077944320 12138 0 0 0 21 4 0 0 20 0 20 0 419088477 27969658880 30778 33554432000 4194304 4196468 140737261186032 140737261168576 140611579514615 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
/proc/1754/statm: 6828530 30778 2933 1 0 6790935 0
[pid=1754/tid=1755] ppid=1751 vsize=27314120 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/1754/task/1755/stat : 1755 (java) R 1751 1751 1012 0 -1 4202560 9814 0 0 0 16 3 0 0 20 0 20 0 419088477 27969658880 30778 33554432000 4194304 4196468 140737261186032 140611551334544 140611561078162 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1756] ppid=1751 vsize=27314120 memory=288230596118052887 CPUtime=0 cores=0-7
/proc/1754/task/1756/stat : 1756 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 30778 33554432000 4194304 4196468 140737261186032 140611583757200 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1757] ppid=1751 vsize=27314120 memory=140714418561443 CPUtime=0 cores=0-7
/proc/1754/task/1757/stat : 1757 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 30778 33554432000 4194304 4196468 140737261186032 140611397913360 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1758] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1758/stat : 1758 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 30778 33554432000 4194304 4196468 140737261186032 140611396861072 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1759] ppid=1751 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1754/task/1759/stat : 1759 (java) S 1751 1751 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 30778 33554432000 4194304 4196468 140737261186032 140611395808272 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1760] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1760/stat : 1760 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 30778 33554432000 4194304 4196468 140737261186032 140611394754960 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1761] ppid=1751 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1754/task/1761/stat : 1761 (java) S 1751 1751 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 30778 33554432000 4194304 4196468 140737261186032 140611393702160 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1762] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1762/stat : 1762 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 30778 33554432000 4194304 4196468 140737261186032 140611392649872 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1763] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1763/stat : 1763 (java) S 1751 1751 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 30778 33554432000 4194304 4196468 140737261186032 140610995124752 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1764] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1764/stat : 1764 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088481 27969658880 30778 33554432000 4194304 4196468 140737261186032 140610100988528 140611579525762 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1765] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1765/stat : 1765 (java) S 1751 1751 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419088481 27969658880 30778 33554432000 4194304 4196468 140737261186032 140609176200480 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1766] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1766/stat : 1766 (java) S 1751 1751 1012 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419088482 27969658880 30778 33554432000 4194304 4196468 140737261186032 140609041978992 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1767] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1767/stat : 1767 (java) S 1751 1751 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088484 27969658880 30778 33554432000 4194304 4196468 140737261186032 140608667474512 140611579533211 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1768] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1768/stat : 1768 (java) S 1751 1751 1012 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 419088484 27969658880 30778 33554432000 4194304 4196468 140737261186032 140610099935344 140611579525762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1769] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1769/stat : 1769 (java) S 1751 1751 1012 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 419088484 27969658880 30778 33554432000 4194304 4196468 140737261186032 140610098882544 140611579525762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1770] ppid=1751 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1754/task/1770/stat : 1770 (java) S 1751 1751 1012 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419088484 27969658880 30778 33554432000 4194304 4196468 140737261186032 140610097830256 140611579525762 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1771] ppid=1751 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/1754/task/1771/stat : 1771 (java) S 1751 1751 1012 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 20 0 419088484 27969658880 30778 33554432000 4194304 4196468 140737261186032 140610096777456 140611579525762 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1772] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1772/stat : 1772 (java) S 1751 1751 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419088484 27969658880 30778 33554432000 4194304 4196468 140737261186032 140608169569120 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1773] ppid=1751 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1754/task/1773/stat : 1773 (java) S 1751 1751 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088484 27969658880 30778 33554432000 4194304 4196468 140737261186032 140610095725360 140611579525762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124508 KiB

[startup+0.310507 s]*
/proc/loadavg: 8.02 8.14 8.16 2/212 1773
/proc/meminfo: memFree=29463876/32770624 swapFree=66958236/67108860
[pid=1751] ppid=1748 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1751/stat : 1751 (scop.sh) S 1748 1751 1012 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 419088476 115843072 349 33554432000 4194304 5098028 140735812430000 140735812427256 140664453993084 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13864960 140735812432677 140735812433004 140735812433004 140735812435917 0
/proc/1751/statm: 28282 349 296 221 0 87 0
[pid=1754] ppid=1751 vsize=27314120 memory=127732 CPUtime=0.42 cores=0-7
/proc/1754/stat : 1754 (java) S 1751 1751 1012 0 -1 1077944320 13300 0 0 0 38 4 0 0 20 0 20 0 419088477 27969658880 31933 33554432000 4194304 4196468 140737261186032 140737261168576 140611579514615 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
/proc/1754/statm: 6828530 31933 3047 1 0 6790935 0
[pid=1754/tid=1755] ppid=1751 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/1754/task/1755/stat : 1755 (java) R 1751 1751 1012 0 -1 4202560 10788 0 0 0 26 4 0 0 20 0 20 0 419088477 27969658880 31933 33554432000 4194304 4196468 140737261186032 140611551305264 140611563558245 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1756] ppid=1751 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1754/task/1756/stat : 1756 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 31933 33554432000 4194304 4196468 140737261186032 140611583757200 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1757] ppid=1751 vsize=27314120 memory=8000 CPUtime=0 cores=0-7
/proc/1754/task/1757/stat : 1757 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 31933 33554432000 4194304 4196468 140737261186032 140611397913360 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1758] ppid=1751 vsize=27314120 memory=10428 CPUtime=0 cores=0-7
/proc/1754/task/1758/stat : 1758 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 31933 33554432000 4194304 4196468 140737261186032 140611396861072 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1759] ppid=1751 vsize=27314120 memory=14012 CPUtime=0 cores=0-7
/proc/1754/task/1759/stat : 1759 (java) S 1751 1751 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 31933 33554432000 4194304 4196468 140737261186032 140611395808272 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1760] ppid=1751 vsize=27314120 memory=4108 CPUtime=0 cores=0-7
/proc/1754/task/1760/stat : 1760 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 31933 33554432000 4194304 4196468 140737261186032 140611394754960 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1761] ppid=1751 vsize=27314120 memory=14080 CPUtime=0 cores=0-7
/proc/1754/task/1761/stat : 1761 (java) S 1751 1751 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 31933 33554432000 4194304 4196468 140737261186032 140611393702160 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1762] ppid=1751 vsize=27314120 memory=21944 CPUtime=0 cores=0-7
/proc/1754/task/1762/stat : 1762 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 31933 33554432000 4194304 4196468 140737261186032 140611392649872 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1763] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1763/stat : 1763 (java) S 1751 1751 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419088479 27969658880 31933 33554432000 4194304 4196468 140737261186032 140610995124752 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1764] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1764/stat : 1764 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088481 27969658880 31933 33554432000 4194304 4196468 140737261186032 140610100988528 140611579525762 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1765] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1765/stat : 1765 (java) S 1751 1751 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419088481 27969658880 31933 33554432000 4194304 4196468 140737261186032 140609176200480 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1766] ppid=1751 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1766/stat : 1766 (java) S 1751 1751 1012 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419088482 27969658880 31933 33554432000 4194304 4196468 140737261186032 140609041978992 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1767] ppid=1751 vsize=27314120 memory=140714268788175 CPUtime=0 cores=0-7
/proc/1754/task/1767/stat : 1767 (java) S 1751 1751 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088484 27969658880 31933 33554432000 4194304 4196468 140737261186032 140608667474512 140611579533211 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1768] ppid=1751 vsize=27314120 memory=67 CPUtime=0 cores=0-7
/proc/1754/task/1768/stat : 1768 (java) S 1751 1751 1012 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 20 0 419088484 27969658880 31933 33554432000 4194304 4196468 140737261186032 140610099935344 140611579525762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1769] ppid=1751 vsize=27314120 memory=51172 CPUtime=0.01 cores=0-7
/proc/1754/task/1769/stat : 1769 (java) R 1751 1751 1012 0 -1 4202560 161 0 0 0 1 0 0 0 20 0 20 0 419088484 27969658880 31933 33554432000 4194304 4196468 140737261186032 140610098882544 140611572499657 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1770] ppid=1751 vsize=27314120 memory=53476 CPUtime=0.02 cores=0-7
/proc/1754/task/1770/stat : 1770 (java) S 1751 1751 1012 0 -1 1077944384 143 0 0 0 2 0 0 0 20 0 20 0 419088484 27969658880 31933 33554432000 4194304 4196468 140737261186032 140610097830256 140611579525762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1771] ppid=1751 vsize=27314120 memory=55780 CPUtime=0.07 cores=0-7
/proc/1754/task/1771/stat : 1771 (java) S 1751 1751 1012 0 -1 1077944384 511 0 0 0 7 0 0 0 20 0 20 0 419088484 27969658880 31933 33554432000 4194304 4196468 140737261186032 140610096777456 140611579525762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1772] ppid=1751 vsize=27314120 memory=110297088 CPUtime=0 cores=0-7
/proc/1754/task/1772/stat : 1772 (java) S 1751 1751 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419088484 27969658880 31933 33554432000 4194304 4196468 140737261186032 140608169569120 140611579524821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1773] ppid=1751 vsize=27314120 memory=115843071 CPUtime=0 cores=0-7
/proc/1754/task/1773/stat : 1773 (java) S 1751 1751 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419088484 27969658880 31933 33554432000 4194304 4196468 140737261186032 140610095725360 140611579525762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129128 KiB

[startup+0.704794 s]
/proc/loadavg: 8.02 8.14 8.16 2/212 1773
/proc/meminfo: memFree=29442544/32770624 swapFree=66958236/67108860
[pid=1751] ppid=1748 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1751/stat : 1751 (scop.sh) S 1748 1751 1012 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 419088476 115843072 349 33554432000 4194304 5098028 140735812430000 140735812427256 140664453993084 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13864960 140735812432677 140735812433004 140735812433004 140735812435917 0
/proc/1751/statm: 28282 349 296 221 0 87 0
[pid=1754] ppid=1751 vsize=27322440 memory=163828 CPUtime=1.01 cores=0-7
/proc/1754/stat : 1754 (java) S 1751 1751 1012 0 -1 1077944320 20574 0 0 0 94 7 0 0 20 0 20 0 419088477 27978178560 40957 33554432000 4194304 4196468 140737261186032 140737261168576 140611579514615 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
/proc/1754/statm: 6830610 40957 3186 1 0 6791959 0
[pid=1754/tid=1755] ppid=1751 vsize=27322440 memory=4580 CPUtime=0.67 cores=0-7
/proc/1754/task/1755/stat : 1755 (java) R 1751 1751 1012 0 -1 4202560 17443 0 0 0 62 5 0 0 20 0 20 0 419088477 27978178560 40957 33554432000 4194304 4196468 140737261186032 140611551349904 140611579536541 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1756] ppid=1751 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1756/stat : 1756 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088479 27978178560 40957 33554432000 4194304 4196468 140737261186032 140611583757200 140611579524821 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1757] ppid=1751 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/1754/task/1757/stat : 1757 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088479 27978178560 40957 33554432000 4194304 4196468 140737261186032 140611397913360 140611579524821 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0
[pid=1754/tid=1758] ppid=1751 vsize=27322440 memory=2020 CPUtime=0 cores=0-7
/proc/1754/task/1758/stat : 1758 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419088479 27978178560 40957 33554432000 4194304 4196468 140737261186032 140611396861072 140611579524821 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140737261187820 140737261188246 140737261188246 140737261191119 0

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

[pid=1781/tid=1782] ppid=1751 vsize=8414124 memory=1760 CPUtime=0.78 cores=0-7
/proc/1781/task/1782/stat : 1782 (java) S 1751 1751 1012 0 -1 1077944384 18041 0 0 0 72 6 0 0 20 0 24 0 419096300 8616062976 29960 33554432000 4194304 4196468 140732310070544 140622265958304 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1783] ppid=1751 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/1781/task/1783/stat : 1783 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419096301 8616062976 29960 33554432000 4194304 4196468 140732310070544 140622298360336 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1784] ppid=1751 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/1781/task/1784/stat : 1784 (java) S 1751 1751 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419096301 8616062976 29960 33554432000 4194304 4196468 140732310070544 140622129609360 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1785] ppid=1751 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/1781/task/1785/stat : 1785 (java) S 1751 1751 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419096301 8616062976 29960 33554432000 4194304 4196468 140732310070544 140621778364688 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1786] ppid=1751 vsize=8414124 memory=119840 CPUtime=0 cores=0-7
/proc/1781/task/1786/stat : 1786 (java) S 1751 1751 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419096301 8616062976 29960 33554432000 4194304 4196468 140732310070544 140621777312144 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1787] ppid=1751 vsize=8414124 memory=997656 CPUtime=0 cores=0-7
/proc/1781/task/1787/stat : 1787 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419096301 8616062976 29960 33554432000 4194304 4196468 140732310070544 140621776260112 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1788] ppid=1751 vsize=8414124 memory=508 CPUtime=0 cores=0-7
/proc/1781/task/1788/stat : 1788 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419096301 8616062976 29960 33554432000 4194304 4196468 140732310070544 140621775207568 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1789] ppid=1751 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/1781/task/1789/stat : 1789 (java) S 1751 1751 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419096301 8616062976 29960 33554432000 4194304 4196468 140732310070544 140621774154512 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1790] ppid=1751 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/1781/task/1790/stat : 1790 (java) S 1751 1751 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419096301 8616062976 29960 33554432000 4194304 4196468 140732310070544 140621773101968 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1791] ppid=1751 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/1781/task/1791/stat : 1791 (java) S 1751 1751 1012 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419096302 8616062976 29960 33554432000 4194304 4196468 140732310070544 140621386856688 140622294129282 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1792] ppid=1751 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/1781/task/1792/stat : 1792 (java) S 1751 1751 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419096303 8616062976 29960 33554432000 4194304 4196468 140732310070544 140620920251552 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1793] ppid=1751 vsize=8414124 memory=4136 CPUtime=0 cores=0-7
/proc/1781/task/1793/stat : 1793 (java) S 1751 1751 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419096303 8616062976 29960 33554432000 4194304 4196468 140732310070544 140620651815664 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1794] ppid=1751 vsize=8414124 memory=1568 CPUtime=0 cores=0-7
/proc/1781/task/1794/stat : 1794 (java) S 1751 1751 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419096306 8616062976 29960 33554432000 4194304 4196468 140732310070544 140620277307344 140622294136731 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1795] ppid=1751 vsize=8414124 memory=1412 CPUtime=0.07 cores=0-7
/proc/1781/task/1795/stat : 1795 (java) S 1751 1751 1012 0 -1 1077944384 599 0 0 0 7 0 0 0 20 0 24 0 419096306 8616062976 29960 33554432000 4194304 4196468 140732310070544 140621385804528 140622294129282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1796] ppid=1751 vsize=8414124 memory=3272 CPUtime=0.05 cores=0-7
/proc/1781/task/1796/stat : 1796 (java) S 1751 1751 1012 0 -1 1077944384 412 0 0 0 5 0 0 0 20 0 24 0 419096306 8616062976 29960 33554432000 4194304 4196468 140732310070544 140621384751984 140622294129282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1797] ppid=1751 vsize=8414124 memory=1476 CPUtime=0.05 cores=0-7
/proc/1781/task/1797/stat : 1797 (java) S 1751 1751 1012 0 -1 1077944384 205 0 0 0 5 0 0 0 20 0 24 0 419096306 8616062976 29960 33554432000 4194304 4196468 140732310070544 140621383698928 140622294129282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1798] ppid=1751 vsize=8414124 memory=119840 CPUtime=0.21 cores=0-7
/proc/1781/task/1798/stat : 1798 (java) S 1751 1751 1012 0 -1 1077944384 768 0 0 0 21 0 0 0 20 0 24 0 419096306 8616062976 29960 33554432000 4194304 4196468 140732310070544 140621382646384 140622294129282 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1799] ppid=1751 vsize=8414124 memory=2496 CPUtime=0 cores=0-7
/proc/1781/task/1799/stat : 1799 (java) S 1751 1751 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419096306 8616062976 29960 33554432000 4194304 4196468 140732310070544 140619779402208 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1800] ppid=1751 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/1781/task/1800/stat : 1800 (java) S 1751 1751 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419096307 8616062976 29960 33554432000 4194304 4196468 140732310070544 140621381593776 140622294129282 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1802] ppid=1751 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/1781/task/1802/stat : 1802 (java) S 1751 1751 1012 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419096375 8616062976 29960 33554432000 4194304 4196468 140732310070544 140621725811648 140622294142745 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1804] ppid=1751 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/1781/task/1804/stat : 1804 (java) S 1751 1751 1012 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 419096375 8616062976 29960 33554432000 4194304 4196468 140732310070544 140619108302864 140622294140061 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1805] ppid=1751 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/1781/task/1805/stat : 1805 (java) S 1751 1751 1012 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 419096375 8616062976 29960 33554432000 4194304 4196468 140732310070544 140619376738448 140622294140061 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1806] ppid=1751 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/1781/task/1806/stat : 1806 (java) S 1751 1751 1012 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419096377 8616062976 29960 33554432000 4194304 4196468 140732310070544 140618839874992 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
Current children cumulated CPU time: 124.25 s
Current children cumulated vsize: 11129488 KiB
Current children cumulated memory: 2131652 KiB

[startup+95.201 s]
/proc/loadavg: 2.67 6.30 7.51 4/219 1814
/proc/meminfo: memFree=27342640/32770624 swapFree=66958236/67108860
[pid=1751] ppid=1748 vsize=113128 memory=1476 CPUtime=106.62 cores=0-7
/proc/1751/stat : 1751 (scop.sh) S 1748 1751 1012 0 -1 4202496 582 70068 0 0 0 0 10139 523 20 0 1 0 419088476 115843072 369 33554432000 4194304 5098028 140735812430000 140735812426744 140664453993084 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13864960 140735812432677 140735812433004 140735812433004 140735812435917 0
/proc/1751/statm: 28282 369 311 221 0 87 0
[pid=1781] ppid=1751 vsize=8283048 memory=138176 CPUtime=19.5 cores=0-7
/proc/1781/stat : 1781 (java) S 1751 1751 1012 0 -1 1077944320 22424 374818 0 0 144 10 1717 79 20 0 22 0 419096299 8481841152 34544 33554432000 4194304 4196468 140732310070544 140732310053088 140622294118135 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
/proc/1781/statm: 2070762 34544 3224 1 0 2032106 0
[pid=1781/tid=1782] ppid=1751 vsize=8283048 memory=1412 CPUtime=18.78 cores=0-7
/proc/1781/task/1782/stat : 1782 (java) R 1751 1751 1012 0 -1 4202560 18168 374818 0 0 76 6 1717 79 20 0 22 0 419096300 8481841152 34544 33554432000 4194304 4196468 140732310070544 140622265955680 140622294130070 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1783] ppid=1751 vsize=8283048 memory=3272 CPUtime=17.96 cores=0-7
/proc/1781/task/1783/stat : 1783 (java) S 1751 1751 1012 0 -1 1077944384 2 374818 0 0 0 0 1717 79 20 0 22 0 419096301 8481841152 34544 33554432000 4194304 4196468 140732310070544 140622298360336 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1784] ppid=1751 vsize=8283048 memory=1476 CPUtime=17.96 cores=0-7
/proc/1781/task/1784/stat : 1784 (java) S 1751 1751 1012 0 -1 1077944384 1 374818 0 0 0 0 1717 79 20 0 22 0 419096301 8481841152 34544 33554432000 4194304 4196468 140732310070544 140622129609360 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1785] ppid=1751 vsize=8283048 memory=119840 CPUtime=17.96 cores=0-7
/proc/1781/task/1785/stat : 1785 (java) S 1751 1751 1012 0 -1 1077944384 3 374818 0 0 0 0 1717 79 20 0 22 0 419096301 8481841152 34544 33554432000 4194304 4196468 140732310070544 140621778364688 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1786] ppid=1751 vsize=8283048 memory=335556 CPUtime=17.96 cores=0-7
/proc/1781/task/1786/stat : 1786 (java) S 1751 1751 1012 0 -1 1077944384 1 374818 0 0 0 0 1717 79 20 0 22 0 419096301 8481841152 34544 33554432000 4194304 4196468 140732310070544 140621777312144 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1787] ppid=1751 vsize=8283048 memory=1444 CPUtime=17.96 cores=0-7
/proc/1781/task/1787/stat : 1787 (java) S 1751 1751 1012 0 -1 1077944384 2 374818 0 0 0 0 1717 79 20 0 22 0 419096301 8481841152 34544 33554432000 4194304 4196468 140732310070544 140621776260112 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1788] ppid=1751 vsize=8283048 memory=4195447490462202311 CPUtime=17.96 cores=0-7
/proc/1781/task/1788/stat : 1788 (java) S 1751 1751 1012 0 -1 1077944384 2 374818 0 0 0 0 1717 79 20 0 22 0 419096301 8481841152 34544 33554432000 4194304 4196468 140732310070544 140621775207568 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1789] ppid=1751 vsize=8283048 memory=776 CPUtime=17.96 cores=0-7
/proc/1781/task/1789/stat : 1789 (java) S 1751 1751 1012 0 -1 1077944384 2 374818 0 0 0 0 1717 79 20 0 22 0 419096301 8481841152 34544 33554432000 4194304 4196468 140732310070544 140621774154512 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1790] ppid=1751 vsize=8283048 memory=1056 CPUtime=17.96 cores=0-7
/proc/1781/task/1790/stat : 1790 (java) S 1751 1751 1012 0 -1 1077944384 3 374818 0 0 0 0 1717 79 20 0 22 0 419096301 8481841152 34544 33554432000 4194304 4196468 140732310070544 140621773101968 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1791] ppid=1751 vsize=8283048 memory=1476 CPUtime=17.96 cores=0-7
/proc/1781/task/1791/stat : 1791 (java) S 1751 1751 1012 0 -1 1077944384 5 374818 0 0 0 0 1717 79 20 0 22 0 419096302 8481841152 34544 33554432000 4194304 4196468 140732310070544 140621386856688 140622294129282 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1792] ppid=1751 vsize=8283048 memory=988 CPUtime=17.96 cores=0-7
/proc/1781/task/1792/stat : 1792 (java) S 1751 1751 1012 0 -1 1077944384 13 374818 0 0 0 0 1717 79 20 0 22 0 419096303 8481841152 34544 33554432000 4194304 4196468 140732310070544 140620920251552 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1793] ppid=1751 vsize=8283048 memory=2020 CPUtime=17.96 cores=0-7
/proc/1781/task/1793/stat : 1793 (java) S 1751 1751 1012 0 -1 1077944384 1 374818 0 0 0 0 1717 79 20 0 22 0 419096303 8481841152 34544 33554432000 4194304 4196468 140732310070544 140620651815664 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1794] ppid=1751 vsize=8283048 memory=1432 CPUtime=17.96 cores=0-7
/proc/1781/task/1794/stat : 1794 (java) S 1751 1751 1012 0 -1 1077944384 1 374818 0 0 0 0 1717 79 20 0 22 0 419096306 8481841152 34544 33554432000 4194304 4196468 140732310070544 140620277307344 140622294136731 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1795] ppid=1751 vsize=8283048 memory=776 CPUtime=18.06 cores=0-7
/proc/1781/task/1795/stat : 1795 (java) S 1751 1751 1012 0 -1 1077944384 618 374818 0 0 10 0 1717 79 20 0 22 0 419096306 8481841152 34544 33554432000 4194304 4196468 140732310070544 140621385804528 140622294129282 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1796] ppid=1751 vsize=8283048 memory=1056 CPUtime=18.05 cores=0-7
/proc/1781/task/1796/stat : 1796 (java) R 1751 1751 1012 0 -1 4202560 635 374818 0 0 9 0 1717 79 20 0 22 0 419096306 8481841152 34544 33554432000 4194304 4196468 140732310070544 140621384751984 140622280133885 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1797] ppid=1751 vsize=8283048 memory=4000 CPUtime=18.05 cores=0-7
/proc/1781/task/1797/stat : 1797 (java) S 1751 1751 1012 0 -1 1077944384 218 374818 0 0 9 0 1717 79 20 0 22 0 419096306 8481841152 34544 33554432000 4194304 4196468 140732310070544 140621383698928 140622294129282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1798] ppid=1751 vsize=8283048 memory=1552 CPUtime=18.23 cores=0-7
/proc/1781/task/1798/stat : 1798 (java) S 1751 1751 1012 0 -1 1077944384 1322 374818 0 0 27 0 1717 79 20 0 22 0 419096306 8481841152 34544 33554432000 4194304 4196468 140732310070544 140621382646384 140622294129282 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1799] ppid=1751 vsize=8283048 memory=1556 CPUtime=17.96 cores=0-7
/proc/1781/task/1799/stat : 1799 (java) S 1751 1751 1012 0 -1 1077944384 3 374818 0 0 0 0 1717 79 20 0 22 0 419096306 8481841152 34544 33554432000 4194304 4196468 140732310070544 140619779402208 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1800] ppid=1751 vsize=8283048 memory=1196 CPUtime=17.96 cores=0-7
/proc/1781/task/1800/stat : 1800 (java) S 1751 1751 1012 0 -1 1077944384 1 374818 0 0 0 0 1717 79 20 0 22 0 419096307 8481841152 34544 33554432000 4194304 4196468 140732310070544 140621381593776 140622294129282 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1802] ppid=1751 vsize=8283048 memory=1399051139730258233 CPUtime=17.96 cores=0-7
/proc/1781/task/1802/stat : 1802 (java) S 1751 1751 1012 0 -1 1077944384 23 374818 0 0 0 0 1717 79 20 0 22 0 419096375 8481841152 34544 33554432000 4194304 4196468 140732310070544 140621725810832 140622294129282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1806] ppid=1751 vsize=8283048 memory=335556 CPUtime=17.96 cores=0-7
/proc/1781/task/1806/stat : 1806 (java) S 1751 1751 1012 0 -1 1077944384 10 374818 0 0 0 0 1717 79 20 0 22 0 419096377 8481841152 34544 33554432000 4194304 4196468 140732310070544 140618839876784 140622294129282 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
Current children cumulated CPU time: 126.12 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 139652 KiB

[startup+95.3009 s]
/proc/loadavg: 2.67 6.30 7.51 4/219 1814
/proc/meminfo: memFree=27342640/32770624 swapFree=66958236/67108860
[pid=1751] ppid=1748 vsize=113128 memory=1476 CPUtime=106.62 cores=0-7
/proc/1751/stat : 1751 (scop.sh) S 1748 1751 1012 0 -1 4202496 582 70068 0 0 0 0 10139 523 20 0 1 0 419088476 115843072 369 33554432000 4194304 5098028 140735812430000 140735812426744 140664453993084 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13864960 140735812432677 140735812433004 140735812433004 140735812435917 0
/proc/1751/statm: 28282 369 311 221 0 87 0
[pid=1781] ppid=1751 vsize=8283048 memory=146824 CPUtime=19.79 cores=0-7
/proc/1781/stat : 1781 (java) S 1751 1751 1012 0 -1 1077944320 24111 374818 0 0 172 11 1717 79 20 0 22 0 419096299 8481841152 36706 33554432000 4194304 4196468 140732310070544 140732310053088 140622294118135 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
/proc/1781/statm: 2070762 36706 3227 1 0 2032106 0
[pid=1781/tid=1782] ppid=1751 vsize=8283048 memory=916 CPUtime=18.87 cores=0-7
/proc/1781/task/1782/stat : 1782 (java) R 1751 1751 1012 0 -1 4202560 19328 374818 0 0 84 7 1717 79 20 0 22 0 419096300 8481841152 36706 33554432000 4194304 4196468 140732310070544 140622265944864 140732310341570 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1783] ppid=1751 vsize=8283048 memory=126844 CPUtime=17.96 cores=0-7
/proc/1781/task/1783/stat : 1783 (java) S 1751 1751 1012 0 -1 1077944384 2 374818 0 0 0 0 1717 79 20 0 22 0 419096301 8481841152 36706 33554432000 4194304 4196468 140732310070544 140622298360336 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1784] ppid=1751 vsize=8283048 memory=1476 CPUtime=17.96 cores=0-7
/proc/1781/task/1784/stat : 1784 (java) S 1751 1751 1012 0 -1 1077944384 1 374818 0 0 0 0 1717 79 20 0 22 0 419096301 8481841152 36706 33554432000 4194304 4196468 140732310070544 140622129609360 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1785] ppid=1751 vsize=8283048 memory=1476 CPUtime=17.96 cores=0-7
/proc/1781/task/1785/stat : 1785 (java) S 1751 1751 1012 0 -1 1077944384 3 374818 0 0 0 0 1717 79 20 0 22 0 419096301 8481841152 36706 33554432000 4194304 4196468 140732310070544 140621778364688 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1786] ppid=1751 vsize=8283048 memory=1396 CPUtime=17.96 cores=0-7
/proc/1781/task/1786/stat : 1786 (java) S 1751 1751 1012 0 -1 1077944384 1 374818 0 0 0 0 1717 79 20 0 22 0 419096301 8481841152 36706 33554432000 4194304 4196468 140732310070544 140621777312144 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1787] ppid=1751 vsize=8283048 memory=7186800 CPUtime=17.96 cores=0-7
/proc/1781/task/1787/stat : 1787 (java) S 1751 1751 1012 0 -1 1077944384 2 374818 0 0 0 0 1717 79 20 0 22 0 419096301 8481841152 36706 33554432000 4194304 4196468 140732310070544 140621776260112 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1788] ppid=1751 vsize=8283048 memory=306612 CPUtime=17.96 cores=0-7
/proc/1781/task/1788/stat : 1788 (java) S 1751 1751 1012 0 -1 1077944384 2 374818 0 0 0 0 1717 79 20 0 22 0 419096301 8481841152 36706 33554432000 4194304 4196468 140732310070544 140621775207568 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1789] ppid=1751 vsize=8283048 memory=1196 CPUtime=17.96 cores=0-7
/proc/1781/task/1789/stat : 1789 (java) S 1751 1751 1012 0 -1 1077944384 2 374818 0 0 0 0 1717 79 20 0 22 0 419096301 8481841152 36706 33554432000 4194304 4196468 140732310070544 140621774154512 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1790] ppid=1751 vsize=8283048 memory=2020 CPUtime=17.96 cores=0-7
/proc/1781/task/1790/stat : 1790 (java) S 1751 1751 1012 0 -1 1077944384 3 374818 0 0 0 0 1717 79 20 0 22 0 419096301 8481841152 36706 33554432000 4194304 4196468 140732310070544 140621773101968 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1791] ppid=1751 vsize=8283048 memory=1432 CPUtime=17.96 cores=0-7
/proc/1781/task/1791/stat : 1791 (java) S 1751 1751 1012 0 -1 1077944384 5 374818 0 0 0 0 1717 79 20 0 22 0 419096302 8481841152 36706 33554432000 4194304 4196468 140732310070544 140621386856688 140622294129282 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1792] ppid=1751 vsize=8283048 memory=317460 CPUtime=17.96 cores=0-7
/proc/1781/task/1792/stat : 1792 (java) S 1751 1751 1012 0 -1 1077944384 13 374818 0 0 0 0 1717 79 20 0 22 0 419096303 8481841152 36706 33554432000 4194304 4196468 140732310070544 140620920251552 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1793] ppid=1751 vsize=8283048 memory=119840 CPUtime=17.96 cores=0-7
/proc/1781/task/1793/stat : 1793 (java) S 1751 1751 1012 0 -1 1077944384 1 374818 0 0 0 0 1717 79 20 0 22 0 419096303 8481841152 36706 33554432000 4194304 4196468 140732310070544 140620651815664 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1794] ppid=1751 vsize=8283048 memory=8000 CPUtime=17.96 cores=0-7
/proc/1781/task/1794/stat : 1794 (java) S 1751 1751 1012 0 -1 1077944384 1 374818 0 0 0 0 1717 79 20 0 22 0 419096306 8481841152 36706 33554432000 4194304 4196468 140732310070544 140620277307344 140622294136731 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1795] ppid=1751 vsize=8283048 memory=10428 CPUtime=18.11 cores=0-7
/proc/1781/task/1795/stat : 1795 (java) S 1751 1751 1012 0 -1 1077944384 766 374818 0 0 15 0 1717 79 20 0 22 0 419096306 8481841152 36706 33554432000 4194304 4196468 140732310070544 140621385804528 140622294129282 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1796] ppid=1751 vsize=8283048 memory=14012 CPUtime=18.1 cores=0-7
/proc/1781/task/1796/stat : 1796 (java) S 1751 1751 1012 0 -1 1077944384 755 374818 0 0 14 0 1717 79 20 0 22 0 419096306 8481841152 36706 33554432000 4194304 4196468 140732310070544 140621384751984 140622294129282 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1797] ppid=1751 vsize=8283048 memory=776 CPUtime=18.1 cores=0-7
/proc/1781/task/1797/stat : 1797 (java) S 1751 1751 1012 0 -1 1077944384 328 374818 0 0 14 0 1717 79 20 0 22 0 419096306 8481841152 36706 33554432000 4194304 4196468 140732310070544 140621383698928 140622294129282 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1798] ppid=1751 vsize=8283048 memory=1056 CPUtime=18.28 cores=0-7
/proc/1781/task/1798/stat : 1798 (java) R 1751 1751 1012 0 -1 4202560 1472 374818 0 0 32 0 1717 79 20 0 22 0 419096306 8481841152 36706 33554432000 4194304 4196468 140732310070544 140621382646384 140622287214971 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1799] ppid=1751 vsize=8283048 memory=4000 CPUtime=17.96 cores=0-7
/proc/1781/task/1799/stat : 1799 (java) S 1751 1751 1012 0 -1 1077944384 3 374818 0 0 0 0 1717 79 20 0 22 0 419096306 8481841152 36706 33554432000 4194304 4196468 140732310070544 140619779402208 140622294128341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1800] ppid=1751 vsize=8283048 memory=297319596 CPUtime=17.96 cores=0-7
/proc/1781/task/1800/stat : 1800 (java) S 1751 1751 1012 0 -1 1077944384 1 374818 0 0 0 0 1717 79 20 0 22 0 419096307 8481841152 36706 33554432000 4194304 4196468 140732310070544 140621381593776 140622294129282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1802] ppid=1751 vsize=8283048 memory=0 CPUtime=17.96 cores=0-7
/proc/1781/task/1802/stat : 1802 (java) S 1751 1751 1012 0 -1 1077944384 23 374818 0 0 0 0 1717 79 20 0 22 0 419096375 8481841152 36706 33554432000 4194304 4196468 140732310070544 140621725810832 140622294129282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
[pid=1781/tid=1806] ppid=1751 vsize=8283048 memory=281428538393504 CPUtime=17.96 cores=0-7
/proc/1781/task/1806/stat : 1806 (java) S 1751 1751 1012 0 -1 1077944384 10 374818 0 0 0 0 1717 79 20 0 22 0 419096377 8481841152 36706 33554432000 4194304 4196468 140732310070544 140618839876784 140622294129282 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18800640 140732310078456 140732310078614 140732310078614 140732310081487 0
Current children cumulated CPU time: 126.41 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 148300 KiB

Child status: 0
Real time (s): 95.3214
CPU time (s): 126.471
CPU user time (s): 120.296
CPU system time (s): 6.17475
CPU usage (%): 132.678
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7361408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 120.296
system time used= 6.17475
maximum resident set size= 7361276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469620
page faults= 0
swaps= 0
block input operations= 0
block output operations= 135000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43970
involuntary context switches= 293


# summary of solver processes directly reported to runsolver:
#   pid: 1751
#   total CPU time (s): 126.471
#   total CPU user time (s): 120.296
#   total CPU system time (s): 6.17475

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.680216 second user time and 0.974114 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-14 05:24:38
IDJOB=4392270
IDBENCH=130927
IDSOLVER=2838
FILE ID=node145/4392270-1568431520
RUNJOBID= node145-1568426894-1040
PBS_JOBID= 21702291
Free space on /tmp= 59508 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si4-m4D/Subisomorphism-si4-m4Dr4-m256-08.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-4392270-1568431520/watcher-4392270-1568431520 -o /tmp/evaluation-result-4392270-1568431520/solver-4392270-1568431520 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568426894-1040 --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-4392270-1568431520.xml

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

MD5SUM BENCH= 81c7a723557c708ecb18ed846030ca95
RANDOM SEED=551308653

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
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:        29581264 kB
MemAvailable:   31863084 kB
Buffers:          131204 kB
Cached:          2435840 kB
SwapCached:        41016 kB
Active:          1233356 kB
Inactive:        1377116 kB
Active(anon):       6056 kB
Inactive(anon):    78404 kB
Active(file):    1227300 kB
Inactive(file):  1298712 kB
Unevictable:      109424 kB
Mlocked:          109424 kB
SwapTotal:      67108860 kB
SwapFree:       66958236 kB
Dirty:             20608 kB
Writeback:             0 kB
AnonPages:        122160 kB
Mapped:            44072 kB
Shmem:             32364 kB
Slab:             170876 kB
SReclaimable:     143284 kB
SUnreclaim:        27592 kB
KernelStack:        3520 kB
PageTables:         5000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 59484 MiB
End job on node145 at 2019-09-14 05:26:14