Trace number 4405130

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-09-22)SAT 126.142 95.0746

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-5548-serial-file.bin HOME/instance-4405130-1569338560.xml
0.65/0.55	
0.65/0.55	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.55	
0.65/0.58	c BEGIN-Prog: Tue Sep 24 16:12:17 CEST 2019
0.65/0.58	c PID: 5551
0.65/0.58	c IP: 172.20.3.104
0.65/0.58	c HOST: node104.alineos.net
0.65/0.59	c (0,0) Parsing Begin
1.84/1.01	c (0,0) Parsing End
1.84/1.02	c (0,0) CSP: 102 int (0 aux), 0 bool (0 aux), 253 ctr, max domain size 256
1.84/1.02	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.84/1.02	c (0,0) Constraint Name Generate Begin
1.84/1.03	c (0,0) Ctr:HOME/instance-4405130-1569338560.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
1.84/1.03	c (0,0) Constraint Name Generate End
1.84/1.03	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.84/1.03	c (0,0) CSP to CSPinCNF Begin
13.78/6.63	c (6,6) translated 26 (10%) constraints
18.58/11.32	c (10,10) translated 51 (20%) constraints
23.24/15.97	c (15,15) translated 76 (30%) constraints
30.06/20.94	c (20,20) translated 102 (40%) constraints
34.48/25.32	c (24,24) translated 127 (50%) constraints
38.80/29.68	c (29,28) translated 152 (60%) constraints
46.73/34.65	c (34,33) translated 178 (70%) constraints
50.96/38.89	c (38,37) translated 203 (80%) constraints
51.13/38.98	c (38,37) translated 228 (90%) constraints
51.13/39.00	c (38,37) translated 253 (100%) constraints
51.59/39.01	c (38,37) ===========================================
51.59/39.02	c (38,37) Order
51.59/39.02	c (38,37) ===========================================
54.20/40.54	c (39,39) translated 71494 (10%) constraints
55.66/41.90	c (41,40) translated 142987 (20%) constraints
56.99/43.25	c (42,41) translated 214480 (30%) constraints
58.29/44.60	c (44,43) translated 285974 (40%) constraints
59.69/45.95	c (45,44) translated 357467 (50%) constraints
61.09/47.30	c (46,46) translated 428960 (60%) constraints
62.39/48.65	c (48,47) translated 500454 (70%) constraints
63.74/50.01	c (49,48) translated 571947 (80%) constraints
65.14/51.37	c (50,50) translated 643440 (90%) constraints
66.60/52.74	c (52,51) translated 714933 (100%) constraints
66.60/52.74	c (52,51) CSP to CSPinCNF End
66.60/52.77	c (52,51) CSP: 102 int (0 aux), 51200 bool (51200 aux), 714933 ctr, max domain size 256
66.60/52.77	c (52,51) Heap : 5782 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
66.60/52.77	c (52,51) CSPinCNF Propagation Begin
77.83/59.07	c (58,57) 574 values, 16892 unsatisfiable literals, and 14749 valid clauses are removed
77.83/59.07	c (58,57) CSPinCNF Propagation End
77.83/59.09	c (58,57) CSP: 102 int (0 aux), 51200 bool (51200 aux), 700184 ctr, max domain size 256
77.83/59.09	c (58,57) Heap : 4922 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
77.83/59.10	c (58,57) Simplify CSPinCNF Begin
80.48/60.50	c (59,58) Simplify CSPinCNF End
80.48/60.52	c (59,58) CSP: 102 int (0 aux), 61500 bool (61500 aux), 710484 ctr, max domain size 256
80.48/60.52	c (59,58) Heap : 5609 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
80.48/60.52	c (59,58) Calculate Precise Domain Begin
80.48/60.52	c (59,58) 0 values are removed by re-calculation
80.48/60.52	c (59,58) Calculate Precise Domain End
80.48/60.54	c (59,58) CSP: 102 int (0 aux), 61500 bool (61500 aux), 710484 ctr, max domain size 256
80.48/60.54	c (59,58) Heap : 5609 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
80.48/60.54	c (59,58) CSPinCNF to SatSolver Begin
97.55/71.40	c (70,69) 71049 (10 %) CSP clauses are encoded (0 SAT variables, 2607204 SAT clauses)
98.21/72.08	c (71,69) 142097 (20 %) CSP clauses are encoded (0 SAT variables, 2678252 SAT clauses)
98.90/72.73	c (72,70) 213146 (30 %) CSP clauses are encoded (0 SAT variables, 2749301 SAT clauses)
99.59/73.40	c (72,71) 284194 (40 %) CSP clauses are encoded (0 SAT variables, 2820349 SAT clauses)
100.21/74.07	c (73,71) 355242 (50 %) CSP clauses are encoded (0 SAT variables, 2891397 SAT clauses)
103.37/75.06	c (74,72) 426291 (60 %) CSP clauses are encoded (0 SAT variables, 2962446 SAT clauses)
104.06/75.73	c (75,73) 497339 (70 %) CSP clauses are encoded (0 SAT variables, 3033494 SAT clauses)
104.66/76.39	c (75,73) 568388 (80 %) CSP clauses are encoded (0 SAT variables, 3104543 SAT clauses)
105.37/77.06	c (76,74) 639436 (90 %) CSP clauses are encoded (0 SAT variables, 3175591 SAT clauses)
106.06/77.72	c (77,75) 710484 (100 %) CSP clauses are encoded (0 SAT variables, 3246639 SAT clauses)
106.06/77.72	c (77,75) CSPinCNF to SatSolver End
106.06/77.72	c (77,75) Heap : 2945 MiB used (max 21713 MiB), NonHeap : 32 MiB used (max 0 MiB)
106.06/77.72	c (77,75) 86613 bool, 3246640 clause
106.06/77.72	c (77,75) Export Begin
106.23/77.82	c (77,75) Export to HOME/scop-5548-serial-file.bin
106.23/77.82	c (77,75) Export End
106.23/77.82	c (77,75) Export File Size: 0.02 MB
106.23/77.82	c (77,75) 0,0,52,58,59,59,77,STOP-AFTER(DIMACS)
106.23/77.82	c END-Prog: Tue Sep 24 16:13:34 CEST 2019
106.23/77.86	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5548-serial-file.bin
106.89/78.33	c (0,0) Read Serial File Begin
106.89/78.33	c (0,0) HOME/scop-5548-serial-file.bin
107.18/78.55	c (0,0) Read Serial File End
107.18/78.56	
107.18/78.56	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
107.18/78.56	(Solving Process)
107.18/78.56	
107.18/78.59	c BEGIN-Prog: Tue Sep 24 16:13:35 CEST 2019
107.18/78.59	c PID: 5575
107.18/78.59	c IP: 172.20.3.104
107.18/78.59	c HOST: node104.alineos.net
107.18/78.59	c (0,0) SatSolver.solve Begin
107.18/78.59	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405130-1569338560.xml-scop-5551.cnf
107.35/78.62	c (0,0) c
107.35/78.62	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)
107.35/78.62	c (0,0) c
107.35/78.62	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
107.35/78.62	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
107.35/78.62	c (0,0) c ========================================[ Problem Statistics ]===========================================
107.35/78.62	c (0,0) c |                                                                                                       |
108.51/79.68	c (1,0) c |  Number of variables:         86613                                                                   |
108.51/79.68	c (1,0) c |  Number of clauses:         3246640                                                                   |
108.51/79.68	c (1,0) c |  Parse time:                   0.97 s                                                                 |
108.51/79.68	c (1,0) c |                                                                                                       |
122.41/93.57	c (15,0) c |  Simplification time:         13.79 s                                                                 |
122.41/93.57	c (15,0) c |                                                                                                       |
122.41/93.57	c (15,0) c |  Generating clones                                                                                    |
123.11/94.28	c (16,0) c |  all clones generated. Memory =  1965.22Mb.                                                           |
123.11/94.28	c (16,0) c ========================================================================================================|
123.11/94.28	c (16,0) c
123.11/94.28	c (16,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
123.11/94.28	c (16,0) c
123.11/94.28	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.11/94.28	c (16,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
123.11/94.28	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.11/94.28	c (16,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
123.11/94.28	c (16,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
123.11/94.28	c (16,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
123.11/94.28	c (16,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
123.11/94.28	c (16,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
123.11/94.28	c (16,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
123.11/94.28	c (16,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
123.11/94.28	c (16,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
123.11/94.28	c (16,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
123.11/94.28	c (16,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
123.11/94.28	c (16,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
123.11/94.28	c (16,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
123.11/94.28	c (16,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
123.11/94.28	c (16,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
123.11/94.28	c (16,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
123.11/94.28	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.37/94.81	c (16,0) c
125.37/94.81	c (16,0) c real time : 16.1971 s
125.37/94.81	c (16,0) c cpu time  : 17.1024 s
125.37/94.81	c (16,0) c
125.37/94.81	c (16,0) c
125.37/94.81	c (16,0) c
125.37/94.81	c (16,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
125.37/94.81	c (16,0) c
125.37/94.81	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.37/94.81	c (16,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
125.37/94.81	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.37/94.81	c (16,0) c | Conflicts     |             458 |          0 |         95 |         46 |         86 |         56 |         26 |         83 |         66 |
125.37/94.81	c (16,0) c | Decisions     |            1161 |          6 |        197 |         93 |        216 |        134 |         70 |        201 |        244 |
125.37/94.81	c (16,0) c | Propagations  |          862457 |      80794 |     142145 |     124271 |     125712 |      65429 |     135396 |      89282 |      99428 |
125.37/94.81	c (16,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.37/94.81	c (16,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
125.37/94.81	c (16,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
125.37/94.81	c (16,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.37/94.81	c (16,0) c | PropBinClauses|          879950 |      56371 |     125395 |     116964 |     137466 |      90000 |     120335 |     119298 |     114121 |
125.37/94.81	c (16,0) c | PropPreBlocker|        32977114 |    3553576 |    3887919 |    5050909 |    3709782 |    3676469 |    5362847 |    3814418 |    3921194 |
125.37/94.81	c (16,0) c | PropNotBlocker|        17407500 |    1887015 |    1986506 |    2698376 |    2029042 |    2161702 |    2846820 |    1947688 |    1850351 |
125.37/94.81	c (16,0) c | LitFullScans  |        52250720 |    5565619 |    6183879 |    7992740 |    6003020 |    6039552 |    8451549 |    6009852 |    6004509 |
125.37/94.81	c (16,0) c | LitScanFracts |            3396 |          0 |        665 |        482 |         13 |        975 |        435 |        293 |        533 |
125.37/94.81	c (16,0) c | DecisionLevel0|              14 |          1 |          2 |          3 |          2 |          1 |          2 |          2 |          1 |
125.37/94.81	c (16,0) c | Periods       |               7 |          0 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
125.37/94.81	c (16,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
125.37/94.81	c (16,0) c | Avg_Trail     |                 |          0 |       6517 |       3393 |       4647 |       5759 |       6191 |       7858 |      12438 |
125.37/94.81	c (16,0) c | Avg_DL        |                 |          0 |         13 |          6 |         18 |         28 |         17 |         42 |        105 |
125.37/94.81	c (16,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.37/94.81	c (16,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.37/94.81	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.37/94.81	c (16,0) c | Exported      |              60 |          0 |         11 |          6 |         18 |          1 |          9 |          8 |          7 |
125.37/94.81	c (16,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.37/94.81	c (16,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.37/94.81	c (16,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.37/94.81	c (16,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.37/94.81	c (16,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.37/94.81	c (16,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
125.37/94.81	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.37/94.81	c (16,0) c | Unaries       |                 |          0 |          1 |          2 |          1 |          0 |          1 |          1 |          0 |
125.37/94.81	c (16,0) c | Binaries      |                 |          0 |          3 |          4 |          8 |          1 |          2 |          2 |          1 |
125.37/94.81	c (16,0) c | Glues         |                 |          0 |         11 |          6 |         18 |          1 |          9 |          8 |          7 |
125.37/94.81	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.37/94.81	c (16,0) c | Orig_Seen     |             0 % |          0 |       2434 |       1551 |       3411 |       1509 |       1386 |       3086 |       2083 |
125.37/94.81	c (16,0) c | Diff Orig seen|                 |      X     |       2434 |       1551 |       3411 |       1509 |       1386 |       3086 |       2083 |
125.37/94.81	c (16,0) c | Hamming       |            10 % |      X     |      14560 |        551 |      13853 |       7814 |        503 |      14841 |      14136 |
125.37/94.81	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.37/94.81	c (16,0) c | RunningTime   |                 |    0.4 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.4 100%|
125.37/94.81	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.37/94.81	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.37/94.81	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.37/94.81	c (16,0) c | SolvingTime   |                 |    0.4     |    0.5     |    0.5     |    0.5     |    0.5     |    0.5     |    0.5     |    0.4     |
125.37/94.81	c (16,0) c | PropagationTim|                 |    0.4 100%|    0.5  98%|    0.5 100%|    0.4  99%|    0.5  99%|    0.5  99%|    0.4  98%|    0.4  99%|
125.37/94.81	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.37/94.81	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.37/94.81	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.37/94.81	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.37/94.81	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.37/94.81	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.37/94.81	c (16,0) c
125.37/94.81	c (16,0) c
125.37/94.81	c (16,0) c Threads : 8
125.37/94.81	c (16,0) c Winner : 0
125.37/94.81	c (16,0) c Conflicts_0 : 0
125.37/94.81	c (16,0) c Conflicts_1 : 95
125.37/94.81	c (16,0) c Conflicts_2 : 46
125.37/94.81	c (16,0) c Conflicts_3 : 86
125.37/94.81	c (16,0) c Conflicts_4 : 56
125.37/94.81	c (16,0) c Conflicts_5 : 26
125.37/94.81	c (16,0) c Conflicts_6 : 83
125.37/94.81	c (16,0) c Conflicts_7 : 66
125.37/94.81	c (16,0) c Conflicts_total : 458
125.37/94.81	c (16,0) c Conflicts_winner : 0
125.37/94.81	c (16,0) c Decisions_0 : 6
125.37/94.81	c (16,0) c Decisions_1 : 197
125.37/94.81	c (16,0) c Decisions_2 : 93
125.37/94.81	c (16,0) c Decisions_3 : 216
125.37/94.81	c (16,0) c Decisions_4 : 134
125.37/94.81	c (16,0) c Decisions_5 : 70
125.37/94.81	c (16,0) c Decisions_6 : 201
125.37/94.81	c (16,0) c Decisions_7 : 244
125.37/94.82	c (16,0) c Decisions_total : 1161
125.37/94.82	c (16,0) c Decisions_winner : 6
125.37/94.82	c (16,0) c Propagations_0 : 80794
125.37/94.82	c (16,0) c Propagations_1 : 142145
125.37/94.82	c (16,0) c Propagations_2 : 124271
125.37/94.82	c (16,0) c Propagations_3 : 125712
125.37/94.82	c (16,0) c Propagations_4 : 65429
125.37/94.82	c (16,0) c Propagations_5 : 135396
125.37/94.82	c (16,0) c Propagations_6 : 89282
125.37/94.82	c (16,0) c Propagations_7 : 99428
125.37/94.82	c (16,0) c Propagations_total : 862457
125.37/94.82	c (16,0) c Propagations_winner : 80794
125.37/94.82	c (16,0) c ReduceDBs_0 : 0
125.37/94.82	c (16,0) c ReduceDBs_1 : 0
125.37/94.82	c (16,0) c ReduceDBs_2 : 0
125.37/94.82	c (16,0) c ReduceDBs_3 : 0
125.37/94.82	c (16,0) c ReduceDBs_4 : 0
125.37/94.82	c (16,0) c ReduceDBs_5 : 0
125.37/94.82	c (16,0) c ReduceDBs_6 : 0
125.37/94.82	c (16,0) c ReduceDBs_7 : 0
125.37/94.82	c (16,0) c ReduceDBs_total : 0
125.37/94.82	c (16,0) c ReduceDBs_winner : 0
125.37/94.82	c (16,0) c SimpDBs_0 : 1
125.37/94.82	c (16,0) c SimpDBs_1 : 1
125.37/94.82	c (16,0) c SimpDBs_2 : 1
125.37/94.82	c (16,0) c SimpDBs_3 : 1
125.37/94.82	c (16,0) c SimpDBs_4 : 1
125.37/94.82	c (16,0) c SimpDBs_5 : 1
125.37/94.82	c (16,0) c SimpDBs_6 : 1
125.37/94.82	c (16,0) c SimpDBs_7 : 1
125.37/94.82	c (16,0) c SimpDBs_total : 8
125.37/94.82	c (16,0) c SimpDBs_winner : 1
125.37/94.82	c (16,0) c Restarts_0 : 1
125.37/94.82	c (16,0) c Restarts_1 : 1
125.37/94.82	c (16,0) c Restarts_2 : 1
125.37/94.82	c (16,0) c Restarts_3 : 1
125.37/94.82	c (16,0) c Restarts_4 : 1
125.37/94.82	c (16,0) c Restarts_5 : 1
125.37/94.82	c (16,0) c Restarts_6 : 1
125.37/94.82	c (16,0) c Restarts_7 : 1
125.37/94.82	c (16,0) c Restarts_total : 8
125.37/94.82	c (16,0) c Restarts_winner : 1
125.37/94.82	c (16,0) c ForcedImports_0 : 0
125.37/94.82	c (16,0) c ForcedImports_1 : 0
125.37/94.82	c (16,0) c ForcedImports_2 : 0
125.37/94.82	c (16,0) c ForcedImports_3 : 0
125.37/94.82	c (16,0) c ForcedImports_4 : 0
125.37/94.82	c (16,0) c ForcedImports_5 : 0
125.37/94.82	c (16,0) c ForcedImports_6 : 0
125.37/94.82	c (16,0) c ForcedImports_7 : 0
125.37/94.82	c (16,0) c ForcedImports_total : 0
125.37/94.82	c (16,0) c ForcedImports_winner : 0
125.37/94.82	c (16,0) c PropsBinClauses_0 : 56371
125.37/94.82	c (16,0) c PropsBinClauses_1 : 125395
125.37/94.82	c (16,0) c PropsBinClauses_2 : 116964
125.37/94.82	c (16,0) c PropsBinClauses_3 : 137466
125.37/94.82	c (16,0) c PropsBinClauses_4 : 90000
125.37/94.82	c (16,0) c PropsBinClauses_5 : 120335
125.37/94.82	c (16,0) c PropsBinClauses_6 : 119298
125.37/94.82	c (16,0) c PropsBinClauses_7 : 114121
125.37/94.82	c (16,0) c PropsBinClauses_total : 879950
125.37/94.82	c (16,0) c PropsBinClauses_winner : 56371
125.37/94.82	c (16,0) c PropsPreBlocker_0 : 3553576
125.37/94.82	c (16,0) c PropsPreBlocker_1 : 3887919
125.37/94.82	c (16,0) c PropsPreBlocker_2 : 5050909
125.37/94.82	c (16,0) c PropsPreBlocker_3 : 3709782
125.37/94.82	c (16,0) c PropsPreBlocker_4 : 3676469
125.37/94.82	c (16,0) c PropsPreBlocker_5 : 5362847
125.37/94.82	c (16,0) c PropsPreBlocker_6 : 3814418
125.37/94.82	c (16,0) c PropsPreBlocker_7 : 3921194
125.37/94.82	c (16,0) c PropsPreBlocker_total : 32977114
125.37/94.82	c (16,0) c PropsPreBlocker_winner : 3553576
125.37/94.82	c (16,0) c PropsNotBlocker_0 : 1887015
125.37/94.82	c (16,0) c PropsNotBlocker_1 : 1986506
125.37/94.82	c (16,0) c PropsNotBlocker_2 : 2698376
125.37/94.82	c (16,0) c PropsNotBlocker_3 : 2029042
125.37/94.82	c (16,0) c PropsNotBlocker_4 : 2161702
125.37/94.82	c (16,0) c PropsNotBlocker_5 : 2846820
125.37/94.82	c (16,0) c PropsNotBlocker_6 : 1947688
125.37/94.82	c (16,0) c PropsNotBlocker_7 : 1850351
125.37/94.82	c (16,0) c PropsNotBlocker_total : 17407500
125.37/94.82	c (16,0) c PropsNotBlocker_winner : 1887015
125.37/94.82	c (16,0) c PropsLitFullScans_0 : 5565619
125.37/94.82	c (16,0) c PropsLitFullScans_1 : 6183879
125.37/94.82	c (16,0) c PropsLitFullScans_2 : 7992740
125.37/94.82	c (16,0) c PropsLitFullScans_3 : 6003020
125.37/94.82	c (16,0) c PropsLitFullScans_4 : 6039552
125.37/94.82	c (16,0) c PropsLitFullScans_5 : 8451549
125.37/94.82	c (16,0) c PropsLitFullScans_6 : 6009852
125.37/94.82	c (16,0) c PropsLitFullScans_7 : 6004509
125.37/94.82	c (16,0) c PropsLitFullScans_total : 52250720
125.37/94.82	c (16,0) c PropsLitFullScans_winner : 5565619
125.37/94.82	c (16,0) c LitScanFractions_0 : 0
125.37/94.82	c (16,0) c LitScanFractions_1 : 665
125.37/94.82	c (16,0) c LitScanFractions_2 : 482
125.37/94.82	c (16,0) c LitScanFractions_3 : 13
125.37/94.82	c (16,0) c LitScanFractions_4 : 975
125.37/94.82	c (16,0) c LitScanFractions_5 : 435
125.37/94.82	c (16,0) c LitScanFractions_6 : 293
125.37/94.82	c (16,0) c LitScanFractions_7 : 533
125.37/94.82	c (16,0) c LitScanFractions_total : 3396
125.37/94.82	c (16,0) c LitScanFractions_winner : 0
125.37/94.82	c (16,0) c DecisionLevel0_0 : 1
125.37/94.82	c (16,0) c DecisionLevel0_1 : 2
125.37/94.82	c (16,0) c DecisionLevel0_2 : 3
125.37/94.82	c (16,0) c DecisionLevel0_3 : 2
125.37/94.82	c (16,0) c DecisionLevel0_4 : 1
125.37/94.82	c (16,0) c DecisionLevel0_5 : 2
125.37/94.82	c (16,0) c DecisionLevel0_6 : 2
125.37/94.82	c (16,0) c DecisionLevel0_7 : 1
125.37/94.82	c (16,0) c DecisionLevel0_total : 14
125.37/94.82	c (16,0) c DecisionLevel0_winner : 1
125.37/94.82	c (16,0) c Periods_0 : 0
125.37/94.82	c (16,0) c Periods_1 : 1
125.37/94.82	c (16,0) c Periods_2 : 1
125.37/94.82	c (16,0) c Periods_3 : 1
125.37/94.82	c (16,0) c Periods_4 : 1
125.37/94.82	c (16,0) c Periods_5 : 1
125.37/94.82	c (16,0) c Periods_6 : 1
125.37/94.82	c (16,0) c Periods_7 : 1
125.37/94.82	c (16,0) c Periods_total : 7
125.37/94.82	c (16,0) c Periods_winner : 0
125.37/94.82	c (16,0) c Margin_0 : 20
125.37/94.82	c (16,0) c Margin_1 : 20
125.37/94.82	c (16,0) c Margin_2 : 20
125.37/94.82	c (16,0) c Margin_3 : 20
125.37/94.82	c (16,0) c Margin_4 : 20
125.37/94.82	c (16,0) c Margin_5 : 20
125.37/94.82	c (16,0) c Margin_6 : 20
125.37/94.82	c (16,0) c Margin_7 : 20
125.37/94.82	c (16,0) c Margin_total : 160
125.37/94.82	c (16,0) c Margin_winner : 20
125.37/94.82	c (16,0) c Exported_0 : 0
125.37/94.82	c (16,0) c Exported_1 : 11
125.37/94.82	c (16,0) c Exported_2 : 6
125.37/94.82	c (16,0) c Exported_3 : 18
125.37/94.82	c (16,0) c Exported_4 : 1
125.37/94.82	c (16,0) c Exported_5 : 9
125.37/94.82	c (16,0) c Exported_6 : 8
125.37/94.82	c (16,0) c Exported_7 : 7
125.37/94.82	c (16,0) c Exported_total : 60
125.37/94.82	c (16,0) c Exported_winner : 0
125.37/94.82	c (16,0) c Imported_0 : 0
125.37/94.82	c (16,0) c Imported_1 : 0
125.37/94.82	c (16,0) c Imported_2 : 0
125.37/94.82	c (16,0) c Imported_3 : 0
125.37/94.82	c (16,0) c Imported_4 : 0
125.37/94.82	c (16,0) c Imported_5 : 0
125.37/94.82	c (16,0) c Imported_6 : 0
125.37/94.82	c (16,0) c Imported_7 : 0
125.37/94.82	c (16,0) c Imported_total : 0
125.37/94.82	c (16,0) c Imported_winner : 0
125.37/94.82	c (16,0) c Good_0 : 0
125.37/94.82	c (16,0) c Good_1 : 0
125.37/94.82	c (16,0) c Good_2 : 0
125.37/94.82	c (16,0) c Good_3 : 0
125.37/94.82	c (16,0) c Good_4 : 0
125.37/94.82	c (16,0) c Good_5 : 0
125.37/94.82	c (16,0) c Good_6 : 0
125.37/94.82	c (16,0) c Good_7 : 0
125.37/94.82	c (16,0) c Good_total : 0
125.37/94.82	c (16,0) c Good_winner : 0
125.37/94.82	c (16,0) c Purge_0 : 0
125.37/94.82	c (16,0) c Purge_1 : 0
125.37/94.82	c (16,0) c Purge_2 : 0
125.37/94.82	c (16,0) c Purge_3 : 0
125.37/94.82	c (16,0) c Purge_4 : 0
125.37/94.82	c (16,0) c Purge_5 : 0
125.37/94.82	c (16,0) c Purge_6 : 0
125.37/94.82	c (16,0) c Purge_7 : 0
125.37/94.82	c (16,0) c Purge_total : 0
125.37/94.82	c (16,0) c Purge_winner : 0
125.37/94.82	c (16,0) c Promoted_0 : 0
125.37/94.82	c (16,0) c Promoted_1 : 0
125.37/94.82	c (16,0) c Promoted_2 : 0
125.37/94.82	c (16,0) c Promoted_3 : 0
125.37/94.82	c (16,0) c Promoted_4 : 0
125.37/94.82	c (16,0) c Promoted_5 : 0
125.37/94.82	c (16,0) c Promoted_6 : 0
125.37/94.82	c (16,0) c Promoted_7 : 0
125.37/94.82	c (16,0) c Promoted_total : 0
125.37/94.82	c (16,0) c Promoted_winner : 0
125.37/94.82	c (16,0) c Remove_Imp_0 : 0
125.37/94.82	c (16,0) c Remove_Imp_1 : 0
125.37/94.82	c (16,0) c Remove_Imp_2 : 0
125.37/94.82	c (16,0) c Remove_Imp_3 : 0
125.37/94.82	c (16,0) c Remove_Imp_4 : 0
125.37/94.82	c (16,0) c Remove_Imp_5 : 0
125.37/94.82	c (16,0) c Remove_Imp_6 : 0
125.37/94.82	c (16,0) c Remove_Imp_7 : 0
125.37/94.82	c (16,0) c Remove_Imp_total : 0
125.37/94.82	c (16,0) c Remove_Imp_winner : 0
125.37/94.82	c (16,0) c Blocked_Reuse_0 : 0
125.37/94.82	c (16,0) c Blocked_Reuse_1 : 0
125.37/94.82	c (16,0) c Blocked_Reuse_2 : 0
125.37/94.82	c (16,0) c Blocked_Reuse_3 : 0
125.37/94.82	c (16,0) c Blocked_Reuse_4 : 0
125.37/94.82	c (16,0) c Blocked_Reuse_5 : 0
125.37/94.82	c (16,0) c Blocked_Reuse_6 : 0
125.37/94.82	c (16,0) c Blocked_Reuse_7 : 0
125.37/94.82	c (16,0) c Blocked_Reuse_total : 0
125.37/94.82	c (16,0) c Blocked_Reuse_winner : 0
125.37/94.82	c (16,0) c Unaries_0 : 0
125.37/94.82	c (16,0) c Unaries_1 : 1
125.37/94.82	c (16,0) c Unaries_2 : 2
125.37/94.82	c (16,0) c Unaries_3 : 1
125.37/94.82	c (16,0) c Unaries_4 : 0
125.37/94.82	c (16,0) c Unaries_5 : 1
125.37/94.82	c (16,0) c Unaries_6 : 1
125.37/94.82	c (16,0) c Unaries_7 : 0
125.37/94.82	c (16,0) c Unaries_total : 6
125.37/94.82	c (16,0) c Unaries_winner : 0
125.37/94.82	c (16,0) c Binaries_0 : 0
125.37/94.82	c (16,0) c Binaries_1 : 3
125.37/94.82	c (16,0) c Binaries_2 : 4
125.37/94.82	c (16,0) c Binaries_3 : 8
125.37/94.82	c (16,0) c Binaries_4 : 1
125.37/94.82	c (16,0) c Binaries_5 : 2
125.37/94.82	c (16,0) c Binaries_6 : 2
125.37/94.82	c (16,0) c Binaries_7 : 1
125.37/94.82	c (16,0) c Binaries_total : 21
125.37/94.82	c (16,0) c Binaries_winner : 0
125.37/94.82	c (16,0) c Glues_0 : 0
125.37/94.82	c (16,0) c Glues_1 : 11
125.37/94.82	c (16,0) c Glues_2 : 6
125.37/94.82	c (16,0) c Glues_3 : 18
125.37/94.82	c (16,0) c Glues_4 : 1
125.37/94.82	c (16,0) c Glues_5 : 9
125.37/94.82	c (16,0) c Glues_6 : 8
125.37/94.82	c (16,0) c Glues_7 : 7
125.37/94.82	c (16,0) c Glues_total : 60
125.37/94.82	c (16,0) c Glues_winner : 0
125.37/94.82	c (16,0) c RunningTime_0 : 0.433524
125.37/94.82	c (16,0) c RunningTime_1 : 0.474083
125.37/94.82	c (16,0) c RunningTime_2 : 0.477545
125.37/94.82	c (16,0) c RunningTime_3 : 0.450181
125.37/94.82	c (16,0) c RunningTime_4 : 0.466899
125.37/94.82	c (16,0) c RunningTime_5 : 0.524746
125.37/94.82	c (16,0) c RunningTime_6 : 0.455152
125.37/94.82	c (16,0) c RunningTime_7 : 0.435926
125.37/94.82	c (16,0) c RunningTime_total : 3.718056
125.37/94.82	c (16,0) c RunningTime_winner : 0.433524
125.37/94.82	c (16,0) c WaitingTime_0 : 0.000000
125.37/94.82	c (16,0) c WaitingTime_1 : 0.000000
125.37/94.82	c (16,0) c WaitingTime_2 : 0.000000
125.37/94.82	c (16,0) c WaitingTime_3 : 0.000000
125.37/94.82	c (16,0) c WaitingTime_4 : 0.000000
125.37/94.82	c (16,0) c WaitingTime_5 : 0.000000
125.37/94.82	c (16,0) c WaitingTime_6 : 0.000000
125.37/94.82	c (16,0) c WaitingTime_7 : 0.000000
125.37/94.82	c (16,0) c WaitingTime_total : 0.000000
125.37/94.82	c (16,0) c WaitingTime_winner : 0.000000
125.37/94.82	c (16,0) c ExchangingTime_0 : 0.000002
125.37/94.82	c (16,0) c ExchangingTime_1 : 0.000047
125.37/94.82	c (16,0) c ExchangingTime_2 : 0.000021
125.37/94.82	c (16,0) c ExchangingTime_3 : 0.000047
125.37/94.82	c (16,0) c ExchangingTime_4 : 0.000013
125.37/94.82	c (16,0) c ExchangingTime_5 : 0.000029
125.37/94.82	c (16,0) c ExchangingTime_6 : 0.000037
125.37/94.82	c (16,0) c ExchangingTime_7 : 0.000027
125.37/94.82	c (16,0) c ExchangingTime_total : 0.000224
125.37/94.82	c (16,0) c ExchangingTime_winner : 0.000002
125.37/94.82	c (16,0) c PeriodProcTime_0 : 0.000000
125.37/94.82	c (16,0) c PeriodProcTime_1 : 0.000005
125.37/94.82	c (16,0) c PeriodProcTime_2 : 0.000061
125.37/94.82	c (16,0) c PeriodProcTime_3 : 0.000013
125.37/94.82	c (16,0) c PeriodProcTime_4 : 0.000009
125.37/94.82	c (16,0) c PeriodProcTime_5 : 0.000009
125.37/94.82	c (16,0) c PeriodProcTime_6 : 0.000015
125.37/94.82	c (16,0) c PeriodProcTime_7 : 0.000013
125.37/94.82	c (16,0) c PeriodProcTime_total : 0.000125
125.37/94.82	c (16,0) c PeriodProcTime_winner : 0.000000
125.37/94.82	c (16,0) c SolvingTime_0 : 0.433526
125.37/94.83	c (16,0) c SolvingTime_1 : 0.474135
125.37/94.83	c (16,0) c SolvingTime_2 : 0.477627
125.37/94.83	c (16,0) c SolvingTime_3 : 0.450241
125.37/94.83	c (16,0) c SolvingTime_4 : 0.466921
125.37/94.83	c (16,0) c SolvingTime_5 : 0.524784
125.37/94.83	c (16,0) c SolvingTime_6 : 0.455204
125.37/94.83	c (16,0) c SolvingTime_7 : 0.435966
125.37/94.83	c (16,0) c SolvingTime_total : 3.718405
125.37/94.83	c (16,0) c SolvingTime_winner : 0.433526
125.37/94.83	c (16,0) c PropagationTime_0 : 0.431869
125.37/94.83	c (16,0) c PropagationTime_1 : 0.465437
125.37/94.83	c (16,0) c PropagationTime_2 : 0.475821
125.37/94.83	c (16,0) c PropagationTime_3 : 0.444373
125.37/94.83	c (16,0) c PropagationTime_4 : 0.463735
125.37/94.83	c (16,0) c PropagationTime_5 : 0.522139
125.37/94.83	c (16,0) c PropagationTime_6 : 0.447615
125.37/94.83	c (16,0) c PropagationTime_7 : 0.430894
125.37/94.83	c (16,0) c PropagationTime_total : 3.681882
125.37/94.83	c (16,0) c PropagationTime_winner : 0.431869
125.37/94.83	c (16,0) c AnalysisTime_0 : 0.000000
125.37/94.83	c (16,0) c AnalysisTime_1 : 0.005558
125.37/94.83	c (16,0) c AnalysisTime_2 : 0.001015
125.37/94.83	c (16,0) c AnalysisTime_3 : 0.003399
125.37/94.83	c (16,0) c AnalysisTime_4 : 0.001579
125.37/94.83	c (16,0) c AnalysisTime_5 : 0.001412
125.37/94.83	c (16,0) c AnalysisTime_6 : 0.004261
125.37/94.83	c (16,0) c AnalysisTime_7 : 0.002905
125.37/94.83	c (16,0) c AnalysisTime_total : 0.020130
125.37/94.83	c (16,0) c AnalysisTime_winner : 0.000000
125.37/94.83	c (16,0) c ReductionTime_0 : 0.000000
125.37/94.83	c (16,0) c ReductionTime_1 : 0.000000
125.37/94.83	c (16,0) c ReductionTime_2 : 0.000000
125.37/94.83	c (16,0) c ReductionTime_3 : 0.000000
125.37/94.83	c (16,0) c ReductionTime_4 : 0.000000
125.37/94.83	c (16,0) c ReductionTime_5 : 0.000000
125.37/94.83	c (16,0) c ReductionTime_6 : 0.000000
125.37/94.83	c (16,0) c ReductionTime_7 : 0.000000
125.37/94.83	c (16,0) c ReductionTime_total : 0.000000
125.37/94.83	c (16,0) c ReductionTime_winner : 0.000000
125.37/94.83	c (16,0) c SimplifyTime_0 : 0.000000
125.37/94.83	c (16,0) c SimplifyTime_1 : 0.000000
125.37/94.83	c (16,0) c SimplifyTime_2 : 0.000000
125.37/94.83	c (16,0) c SimplifyTime_3 : 0.000000
125.37/94.83	c (16,0) c SimplifyTime_4 : 0.000000
125.37/94.83	c (16,0) c SimplifyTime_5 : 0.000000
125.37/94.83	c (16,0) c SimplifyTime_6 : 0.000000
125.37/94.83	c (16,0) c SimplifyTime_7 : 0.000000
125.37/94.83	c (16,0) c SimplifyTime_total : 0.000000
125.37/94.83	c (16,0) c SimplifyTime_winner : 0.000000
125.37/94.83	c (16,0) c UsedRateTime_0 : 0.000000
125.37/94.83	c (16,0) c UsedRateTime_1 : 0.000000
125.37/94.83	c (16,0) c UsedRateTime_2 : 0.000000
125.37/94.83	c (16,0) c UsedRateTime_3 : 0.000000
125.37/94.83	c (16,0) c UsedRateTime_4 : 0.000000
125.37/94.83	c (16,0) c UsedRateTime_5 : 0.000000
125.37/94.83	c (16,0) c UsedRateTime_6 : 0.000000
125.37/94.83	c (16,0) c UsedRateTime_7 : 0.000000
125.37/94.83	c (16,0) c UsedRateTime_total : 0.000000
125.37/94.83	c (16,0) c UsedRateTime_winner : 0.000000
125.37/94.83	c (16,0) c OverlapRateTime_0 : 0.000000
125.37/94.83	c (16,0) c OverlapRateTime_1 : 0.000000
125.37/94.83	c (16,0) c OverlapRateTime_2 : 0.000000
125.37/94.83	c (16,0) c OverlapRateTime_3 : 0.000000
125.37/94.83	c (16,0) c OverlapRateTime_4 : 0.000000
125.37/94.83	c (16,0) c OverlapRateTime_5 : 0.000000
125.37/94.83	c (16,0) c OverlapRateTime_6 : 0.000000
125.37/94.83	c (16,0) c OverlapRateTime_7 : 0.000000
125.37/94.83	c (16,0) c OverlapRateTime_total : 0.000000
125.37/94.83	c (16,0) c OverlapRateTime_winner : 0.000000
125.37/94.83	c (16,0) c
125.37/94.83	c (16,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
125.37/94.83	c (16,0) c
125.37/94.83	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.37/94.83	c (16,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
125.37/94.83	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.37/94.83	c (16,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
125.37/94.83	c (16,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
125.37/94.83	c (16,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
125.37/94.83	c (16,0) c | Initial random_seed   |  196714717 | 1662272818 | 1643833354 |  500357413 |  567495031 |   51717821 | 2047235552 | 1297999015 |
125.37/94.83	c (16,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
125.37/94.83	c (16,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
125.37/94.83	c (16,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
125.37/94.83	c (16,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
125.37/94.83	c (16,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
125.37/94.83	c (16,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
125.37/94.83	c (16,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
125.37/94.83	c (16,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
125.37/94.83	c (16,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
125.37/94.83	c (16,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
125.37/94.83	c (16,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
125.37/94.83	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
125.37/94.83	c (16,0) 
125.37/94.83	c (16,0) s SATISFIABLE
107.76/94.91	c (16,0) SatSolver.solve End
107.76/94.91	c (16,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
107.76/94.91	c (16,0) Show results Begin
125.99/95.03	c (16,0) x[0] = 0
125.99/95.03	c (16,0) x[1] = 58
125.99/95.03	c (16,0) x[2] = 62
125.99/95.03	c (16,0) x[3] = 81
125.99/95.03	c (16,0) x[4] = 140
125.99/95.03	c (16,0) x[5] = 169
125.99/95.03	c (16,0) x[6] = 234
125.99/95.03	c (16,0) x[7] = 22
125.99/95.03	c (16,0) x[8] = 101
125.99/95.03	c (16,0) x[9] = 155
125.99/95.03	c (16,0) x[10] = 166
125.99/95.03	c (16,0) x[11] = 176
125.99/95.03	c (16,0) x[12] = 198
125.99/95.03	c (16,0) x[13] = 3
125.99/95.03	c (16,0) x[14] = 38
125.99/95.03	c (16,0) x[15] = 83
125.99/95.03	c (16,0) x[16] = 159
125.99/95.03	c (16,0) x[17] = 189
125.99/95.04	c (16,0) x[18] = 9
125.99/95.04	c (16,0) x[19] = 66
125.99/95.04	c (16,0) x[20] = 91
125.99/95.04	c (16,0) x[21] = 126
125.99/95.04	c (16,0) x[22] = 173
125.99/95.04	c (16,0) x[23] = 243
125.99/95.04	c (16,0) x[24] = 48
125.99/95.04	c (16,0) x[25] = 182
125.99/95.04	c (16,0) x[26] = 27
125.99/95.04	c (16,0) x[27] = 164
125.99/95.04	c (16,0) x[28] = 211
125.99/95.04	c (16,0) x[29] = 7
125.99/95.04	c (16,0) x[30] = 25
125.99/95.04	c (16,0) x[31] = 50
125.99/95.04	c (16,0) x[32] = 55
125.99/95.04	c (16,0) x[33] = 153
125.99/95.04	c (16,0) x[34] = 185
125.99/95.04	c (16,0) x[35] = 197
125.99/95.04	c (16,0) x[36] = 224
125.99/95.04	c (16,0) x[37] = 249
125.99/95.04	c (16,0) x[38] = 33
125.99/95.04	c (16,0) x[39] = 118
125.99/95.04	c (16,0) x[40] = 171
125.99/95.04	c (16,0) x[41] = 172
125.99/95.04	c (16,0) x[42] = 51
125.99/95.04	c (16,0) x[43] = 218
125.99/95.04	c (16,0) x[44] = 72
125.99/95.04	c (16,0) x[45] = 100
125.99/95.04	c (16,0) x[46] = 184
125.99/95.04	c (16,0) x[47] = 108
125.99/95.04	c (16,0) x[48] = 209
125.99/95.04	c (16,0) x[49] = 40
125.99/95.04	c (16,0) x[50] = 67
125.99/95.04	c (16,0) x[51] = 34
125.99/95.04	c (16,0) x[52] = 111
125.99/95.04	c (16,0) x[53] = 144
125.99/95.04	c (16,0) x[54] = 188
125.99/95.04	c (16,0) x[55] = 214
125.99/95.04	c (16,0) x[56] = 115
125.99/95.04	c (16,0) x[57] = 136
125.99/95.04	c (16,0) x[58] = 220
125.99/95.04	c (16,0) x[59] = 2
125.99/95.04	c (16,0) x[60] = 125
125.99/95.04	c (16,0) x[61] = 196
125.99/95.04	c (16,0) x[62] = 93
125.99/95.04	c (16,0) x[63] = 248
125.99/95.04	c (16,0) x[64] = 8
125.99/95.04	c (16,0) x[65] = 221
125.99/95.04	c (16,0) x[66] = 46
125.99/95.04	c (16,0) x[67] = 138
125.99/95.04	c (16,0) x[68] = 32
125.99/95.04	c (16,0) x[69] = 74
125.99/95.04	c (16,0) x[70] = 86
125.99/95.04	c (16,0) x[71] = 112
125.99/95.04	c (16,0) x[72] = 147
125.99/95.04	c (16,0) x[73] = 75
125.99/95.04	c (16,0) x[74] = 219
125.99/95.04	c (16,0) x[75] = 80
125.99/95.04	c (16,0) x[76] = 139
125.99/95.04	c (16,0) x[77] = 6
125.99/95.04	c (16,0) x[78] = 54
125.99/95.04	c (16,0) x[79] = 94
125.99/95.04	c (16,0) x[80] = 161
125.99/95.04	c (16,0) x[81] = 228
125.99/95.04	c (16,0) x[82] = 238
125.99/95.04	c (16,0) x[83] = 215
125.99/95.04	c (16,0) x[84] = 254
125.99/95.04	c (16,0) x[85] = 208
125.99/95.05	c (16,0) x[86] = 251
125.99/95.05	c (16,0) x[87] = 49
125.99/95.05	c (16,0) x[88] = 88
125.99/95.05	c (16,0) x[89] = 130
125.99/95.05	c (16,0) x[90] = 245
125.99/95.05	c (16,0) x[91] = 39
125.99/95.05	c (16,0) x[92] = 96
125.99/95.05	c (16,0) x[93] = 225
125.99/95.05	c (16,0) x[94] = 244
125.99/95.05	c (16,0) x[95] = 5
125.99/95.05	c (16,0) x[96] = 41
125.99/95.05	c (16,0) x[97] = 191
125.99/95.05	c (16,0) x[98] = 145
125.99/95.05	c (16,0) x[99] = 135
125.99/95.05	c (16,0) x[100] = 70
125.99/95.05	c (16,0) x[101] = 45
125.99/95.05	s SATISFIABLE
125.99/95.05	v <instantiation>
125.99/95.05	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>
125.99/95.05	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>
125.99/95.05	v </instantiation>
125.99/95.05	c (16,0) Show results End
125.99/95.05	c (16,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
125.99/95.05	c (16,0) 16,16,STOP-AFTER(ALL)
125.99/95.05	c END-Prog: Tue Sep 24 16:13:51 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 (13181 MiB free)
  memory of node 1: 16384 MiB (11716 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405130-1569338560/watcher-4405130-1569338560 -o /tmp/evaluation-result-4405130-1569338560/solver-4405130-1569338560 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569331756-4801 --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-4405130-1569338560.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=5548, runsolver pid=5545
Current StackSize limit: 8192 KiB


[startup+0.100135 s]*
/proc/loadavg: 7.49 7.65 7.24 2/212 5570
/proc/meminfo: memFree=25401868/32770624 swapFree=66986396/67108860
[pid=5548] ppid=5545 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5548/stat : 5548 (scop.sh) S 5545 5548 4774 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510112587 115843072 349 33554432000 4194304 5098028 140723753596704 140723753593960 139674397307516 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23371776 140723753603877 140723753604204 140723753604204 140723753607117 0
/proc/5548/statm: 28282 349 296 221 0 87 0
[pid=5551] ppid=5548 vsize=27314120 memory=105448 CPUtime=0.1 cores=0-7
/proc/5551/stat : 5551 (java) S 5548 5548 4774 0 -1 1077944320 6415 0 0 0 7 3 0 0 20 0 20 0 510112588 27969658880 26362 33554432000 4194304 4196468 140721150186128 140721150168672 140439085383415 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
/proc/5551/statm: 6828530 26362 2768 1 0 6790935 0
[pid=5551/tid=5552] ppid=5548 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/5551/task/5552/stat : 5552 (java) R 5548 5548 4774 0 -1 4202560 4562 0 0 0 6 2 0 0 20 0 20 0 510112588 27969658880 26387 33554432000 4194304 4196468 140721150186128 140439057209744 140439069463902 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5553] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5553/stat : 5553 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 26387 33554432000 4194304 4196468 140721150186128 140439089625360 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5554] ppid=5548 vsize=27314120 memory=14834786539636376 CPUtime=0 cores=0-7
/proc/5551/task/5554/stat : 5554 (java) S 5548 5548 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 26387 33554432000 4194304 4196468 140721150186128 140438923004304 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5555] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5555/stat : 5555 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 26387 33554432000 4194304 4196468 140721150186128 140438506121744 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5556] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5556/stat : 5556 (java) S 5548 5548 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 26387 33554432000 4194304 4196468 140721150186128 140438505069200 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5557] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5557/stat : 5557 (java) S 5548 5548 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 26387 33554432000 4194304 4196468 140721150186128 140438504016656 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5558] ppid=5548 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5551/task/5558/stat : 5558 (java) S 5548 5548 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 26387 33554432000 4194304 4196468 140721150186128 140438502964112 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5559] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5559/stat : 5559 (java) S 5548 5548 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 26387 33554432000 4194304 4196468 140721150186128 140438501911568 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5560] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5560/stat : 5560 (java) S 5548 5548 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 26387 33554432000 4194304 4196468 140721150186128 140438500859024 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5561] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5561/stat : 5561 (java) S 5548 5548 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510112592 27969658880 26387 33554432000 4194304 4196468 140721150186128 140437204273136 140439085394562 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5562] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5562/stat : 5562 (java) S 5548 5548 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510112593 27969658880 26387 33554432000 4194304 4196468 140721150186128 140437041963936 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5563] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5563/stat : 5563 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510112593 27969658880 26387 33554432000 4194304 4196468 140721150186128 140436773528560 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5564] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5564/stat : 5564 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510112595 27969658880 26387 33554432000 4194304 4196468 140721150186128 140436399020240 140439085402011 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5565] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5565/stat : 5565 (java) S 5548 5548 4774 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 510112595 27969658880 26387 33554432000 4194304 4196468 140721150186128 140437203220976 140439085394562 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5566] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5566/stat : 5566 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510112595 27969658880 26387 33554432000 4194304 4196468 140721150186128 140437202168432 140439085394562 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5567] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5567/stat : 5567 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510112595 27969658880 26387 33554432000 4194304 4196468 140721150186128 140437201115888 140439085394562 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5568] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5568/stat : 5568 (java) S 5548 5548 4774 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 510112595 27969658880 26387 33554432000 4194304 4196468 140721150186128 140437200063344 140439085394562 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5569] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5569/stat : 5569 (java) S 5548 5548 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510112596 27969658880 26387 33554432000 4194304 4196468 140721150186128 140435901114592 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5570] ppid=5548 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5551/task/5570/stat : 5570 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510112596 27969658880 26387 33554432000 4194304 4196468 140721150186128 140437199010224 140439085394562 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106844 KiB

[startup+0.210303 s]*
/proc/loadavg: 7.49 7.65 7.24 3/212 5570
/proc/meminfo: memFree=25378704/32770624 swapFree=66986396/67108860
[pid=5548] ppid=5545 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5548/stat : 5548 (scop.sh) S 5545 5548 4774 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510112587 115843072 349 33554432000 4194304 5098028 140723753596704 140723753593960 139674397307516 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23371776 140723753603877 140723753604204 140723753604204 140723753607117 0
/proc/5548/statm: 28282 349 296 221 0 87 0
[pid=5551] ppid=5548 vsize=27314120 memory=125136 CPUtime=0.24 cores=0-7
/proc/5551/stat : 5551 (java) S 5548 5548 4774 0 -1 1077944320 12066 0 0 0 20 4 0 0 20 0 20 0 510112588 27969658880 31284 33554432000 4194304 4196468 140721150186128 140721150168672 140439085383415 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
/proc/5551/statm: 6828530 31284 2934 1 0 6790935 0
[pid=5551/tid=5552] ppid=5548 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5551/task/5552/stat : 5552 (java) R 5548 5548 4774 0 -1 4202560 9737 0 0 0 15 4 0 0 20 0 20 0 510112588 27969658880 31284 33554432000 4194304 4196468 140721150186128 140439057206576 140439085405341 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5553] ppid=5548 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/5551/task/5553/stat : 5553 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 31284 33554432000 4194304 4196468 140721150186128 140439089625360 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5554] ppid=5548 vsize=27314120 memory=15960686446479000 CPUtime=0 cores=0-7
/proc/5551/task/5554/stat : 5554 (java) S 5548 5548 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 31284 33554432000 4194304 4196468 140721150186128 140438923004304 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5555] ppid=5548 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5551/task/5555/stat : 5555 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 31284 33554432000 4194304 4196468 140721150186128 140438506121744 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5556] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5556/stat : 5556 (java) S 5548 5548 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 31284 33554432000 4194304 4196468 140721150186128 140438505069200 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5557] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5557/stat : 5557 (java) S 5548 5548 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 31284 33554432000 4194304 4196468 140721150186128 140438504016656 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5558] ppid=5548 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5551/task/5558/stat : 5558 (java) S 5548 5548 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 31284 33554432000 4194304 4196468 140721150186128 140438502964112 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5559] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5559/stat : 5559 (java) S 5548 5548 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 31284 33554432000 4194304 4196468 140721150186128 140438501911568 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5560] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5560/stat : 5560 (java) S 5548 5548 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 31284 33554432000 4194304 4196468 140721150186128 140438500859024 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5561] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5561/stat : 5561 (java) S 5548 5548 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510112592 27969658880 31284 33554432000 4194304 4196468 140721150186128 140437204273136 140439085394562 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5562] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5562/stat : 5562 (java) S 5548 5548 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510112593 27969658880 31284 33554432000 4194304 4196468 140721150186128 140437041963936 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5563] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5563/stat : 5563 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510112593 27969658880 31284 33554432000 4194304 4196468 140721150186128 140436773528560 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5564] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5564/stat : 5564 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510112595 27969658880 31284 33554432000 4194304 4196468 140721150186128 140436399020240 140439085402011 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5565] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5565/stat : 5565 (java) S 5548 5548 4774 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 510112595 27969658880 31284 33554432000 4194304 4196468 140721150186128 140437203220976 140439085394562 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5566] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5566/stat : 5566 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510112595 27969658880 31284 33554432000 4194304 4196468 140721150186128 140437202168432 140439085394562 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5567] ppid=5548 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5551/task/5567/stat : 5567 (java) S 5548 5548 4774 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 510112595 27969658880 31284 33554432000 4194304 4196468 140721150186128 140437201115888 140439085394562 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5568] ppid=5548 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/5551/task/5568/stat : 5568 (java) S 5548 5548 4774 0 -1 1077944384 502 0 0 0 2 0 0 0 20 0 20 0 510112595 27969658880 31284 33554432000 4194304 4196468 140721150186128 140437200063344 140439085394562 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5569] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5569/stat : 5569 (java) S 5548 5548 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510112596 27969658880 31284 33554432000 4194304 4196468 140721150186128 140435901114592 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5570] ppid=5548 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5551/task/5570/stat : 5570 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510112596 27969658880 31284 33554432000 4194304 4196468 140721150186128 140437199010224 140439085394562 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126532 KiB

[startup+0.310043 s]*
/proc/loadavg: 7.49 7.65 7.24 3/212 5570
/proc/meminfo: memFree=25375788/32770624 swapFree=66986396/67108860
[pid=5548] ppid=5545 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5548/stat : 5548 (scop.sh) S 5545 5548 4774 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510112587 115843072 349 33554432000 4194304 5098028 140723753596704 140723753593960 139674397307516 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23371776 140723753603877 140723753604204 140723753604204 140723753607117 0
/proc/5548/statm: 28282 349 296 221 0 87 0
[pid=5551] ppid=5548 vsize=27314120 memory=129140 CPUtime=0.42 cores=0-7
/proc/5551/stat : 5551 (java) S 5548 5548 4774 0 -1 1077944320 13142 0 0 0 37 5 0 0 20 0 20 0 510112588 27969658880 32285 33554432000 4194304 4196468 140721150186128 140721150168672 140439085383415 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
/proc/5551/statm: 6828530 32285 3011 1 0 6790935 0
[pid=5551/tid=5552] ppid=5548 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/5551/task/5552/stat : 5552 (java) R 5548 5548 4774 0 -1 4202560 10548 0 0 0 25 4 0 0 20 0 20 0 510112588 27969658880 32285 33554432000 4194304 4196468 140721150186128 140439057166432 140439065659202 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5553] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5553/stat : 5553 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 32285 33554432000 4194304 4196468 140721150186128 140439089625360 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5554] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5554/stat : 5554 (java) S 5548 5548 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 32285 33554432000 4194304 4196468 140721150186128 140438923004304 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5555] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5555/stat : 5555 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 32285 33554432000 4194304 4196468 140721150186128 140438506121744 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5556] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5556/stat : 5556 (java) S 5548 5548 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 32285 33554432000 4194304 4196468 140721150186128 140438505069200 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5557] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5557/stat : 5557 (java) S 5548 5548 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 32285 33554432000 4194304 4196468 140721150186128 140438504016656 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5558] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5558/stat : 5558 (java) S 5548 5548 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 32285 33554432000 4194304 4196468 140721150186128 140438502964112 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5559] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5559/stat : 5559 (java) S 5548 5548 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 32285 33554432000 4194304 4196468 140721150186128 140438501911568 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5560] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5560/stat : 5560 (java) S 5548 5548 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510112591 27969658880 32285 33554432000 4194304 4196468 140721150186128 140438500859024 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5561] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5561/stat : 5561 (java) S 5548 5548 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510112592 27969658880 32285 33554432000 4194304 4196468 140721150186128 140437204273136 140439085394562 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5562] ppid=5548 vsize=27314120 memory=281368944909696 CPUtime=0 cores=0-7
/proc/5551/task/5562/stat : 5562 (java) S 5548 5548 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510112593 27969658880 32285 33554432000 4194304 4196468 140721150186128 140437041963936 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5563] ppid=5548 vsize=27314120 memory=281368944914304 CPUtime=0 cores=0-7
/proc/5551/task/5563/stat : 5563 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510112593 27969658880 32285 33554432000 4194304 4196468 140721150186128 140436773528560 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5564] ppid=5548 vsize=27314120 memory=281368944918912 CPUtime=0 cores=0-7
/proc/5551/task/5564/stat : 5564 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510112595 27969658880 32285 33554432000 4194304 4196468 140721150186128 140436399020240 140439085402011 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5565] ppid=5548 vsize=27314120 memory=281368944923520 CPUtime=0.02 cores=0-7
/proc/5551/task/5565/stat : 5565 (java) S 5548 5548 4774 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 20 0 510112595 27969658880 32285 33554432000 4194304 4196468 140721150186128 140437203220976 140439085394562 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5566] ppid=5548 vsize=27314120 memory=281368944928128 CPUtime=0.01 cores=0-7
/proc/5551/task/5566/stat : 5566 (java) S 5548 5548 4774 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 20 0 510112595 27969658880 32285 33554432000 4194304 4196468 140721150186128 140437202168432 140439085394562 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5567] ppid=5548 vsize=27314120 memory=281368944932736 CPUtime=0.01 cores=0-7
/proc/5551/task/5567/stat : 5567 (java) R 5548 5548 4774 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 20 0 510112595 27969658880 32285 33554432000 4194304 4196468 140721150186128 140437201115888 140439085394562 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5568] ppid=5548 vsize=27314120 memory=281368944937344 CPUtime=0.07 cores=0-7
/proc/5551/task/5568/stat : 5568 (java) S 5548 5548 4774 0 -1 1077944384 599 0 0 0 7 0 0 0 20 0 20 0 510112595 27969658880 32285 33554432000 4194304 4196468 140721150186128 140437200063344 140439085394562 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5569] ppid=5548 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5569/stat : 5569 (java) S 5548 5548 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510112596 27969658880 32285 33554432000 4194304 4196468 140721150186128 140435901114592 140439085393621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5570] ppid=5548 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5551/task/5570/stat : 5570 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510112596 27969658880 32285 33554432000 4194304 4196468 140721150186128 140437199010224 140439085394562 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130536 KiB

[startup+0.700879 s]
/proc/loadavg: 7.49 7.65 7.24 3/212 5570
/proc/meminfo: memFree=25355884/32770624 swapFree=66986396/67108860
[pid=5548] ppid=5545 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5548/stat : 5548 (scop.sh) S 5545 5548 4774 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510112587 115843072 349 33554432000 4194304 5098028 140723753596704 140723753593960 139674397307516 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23371776 140723753603877 140723753604204 140723753604204 140723753607117 0
/proc/5548/statm: 28282 349 296 221 0 87 0
[pid=5551] ppid=5548 vsize=27320392 memory=164808 CPUtime=0.99 cores=0-7
/proc/5551/stat : 5551 (java) S 5548 5548 4774 0 -1 1077944320 20264 0 0 0 91 8 0 0 20 0 20 0 510112588 27976081408 41202 33554432000 4194304 4196468 140721150186128 140721150168672 140439085383415 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
/proc/5551/statm: 6830098 41202 3191 1 0 6791447 0
[pid=5551/tid=5552] ppid=5548 vsize=27320392 memory=4580 CPUtime=0.67 cores=0-7
/proc/5551/task/5552/stat : 5552 (java) R 5548 5548 4774 0 -1 4202560 16976 0 0 0 61 6 0 0 20 0 20 0 510112588 27976081408 41202 33554432000 4194304 4196468 140721150186128 140439057214992 140439085395350 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5553] ppid=5548 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5553/stat : 5553 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510112591 27976081408 41202 33554432000 4194304 4196468 140721150186128 140439089625360 140439085393621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5554] ppid=5548 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/5551/task/5554/stat : 5554 (java) S 5548 5548 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510112591 27976081408 41202 33554432000 4194304 4196468 140721150186128 140438923004304 140439085393621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0
[pid=5551/tid=5555] ppid=5548 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/5551/task/5555/stat : 5555 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510112591 27976081408 41202 33554432000 4194304 4196468 140721150186128 140438506121744 140439085393621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27836416 140721150190316 140721150190742 140721150190742 140721150193615 0

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

/proc/5575/task/5579/stat : 5579 (java) S 5548 5548 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510120376 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386986084880 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5580] ppid=5548 vsize=8414124 memory=1084 CPUtime=0 cores=0-7
/proc/5575/task/5580/stat : 5580 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510120376 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386985032336 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5581] ppid=5548 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/5575/task/5581/stat : 5581 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510120376 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386983979792 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5582] ppid=5548 vsize=8414124 memory=14048 CPUtime=0 cores=0-7
/proc/5575/task/5582/stat : 5582 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510120376 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386982927248 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5583] ppid=5548 vsize=8414124 memory=34752 CPUtime=0 cores=0-7
/proc/5575/task/5583/stat : 5583 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510120376 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386981874704 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5584] ppid=5548 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/5575/task/5584/stat : 5584 (java) S 5548 5548 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510120376 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386980822160 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5585] ppid=5548 vsize=8414124 memory=120572 CPUtime=0 cores=0-7
/proc/5575/task/5585/stat : 5585 (java) S 5548 5548 4774 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510120377 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386797008880 140387502238338 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5588] ppid=5548 vsize=8414124 memory=804832 CPUtime=0 cores=0-7
/proc/5575/task/5588/stat : 5588 (java) S 5548 5548 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510120378 8616062976 30143 33554432000 4194304 4196468 140734843576560 140385905009568 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5589] ppid=5548 vsize=8414124 memory=692 CPUtime=0 cores=0-7
/proc/5575/task/5589/stat : 5589 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510120378 8616062976 30143 33554432000 4194304 4196468 140734843576560 140385636574192 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5590] ppid=5548 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/5575/task/5590/stat : 5590 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510120381 8616062976 30143 33554432000 4194304 4196468 140734843576560 140385262065872 140387502245787 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5591] ppid=5548 vsize=8414124 memory=1556 CPUtime=0.05 cores=0-7
/proc/5575/task/5591/stat : 5591 (java) S 5548 5548 4774 0 -1 1077944384 591 0 0 0 5 0 0 0 20 0 24 0 510120381 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386795956720 140387502238338 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5592] ppid=5548 vsize=8414124 memory=780 CPUtime=0.07 cores=0-7
/proc/5575/task/5592/stat : 5592 (java) S 5548 5548 4774 0 -1 1077944384 300 0 0 0 7 0 0 0 20 0 24 0 510120381 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386794904176 140387502238338 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5593] ppid=5548 vsize=8414124 memory=1476 CPUtime=0.05 cores=0-7
/proc/5575/task/5593/stat : 5593 (java) S 5548 5548 4774 0 -1 1077944384 268 0 0 0 5 0 0 0 20 0 24 0 510120381 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386793851632 140387502238338 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5594] ppid=5548 vsize=8414124 memory=120572 CPUtime=0.21 cores=0-7
/proc/5575/task/5594/stat : 5594 (java) S 5548 5548 4774 0 -1 1077944384 611 0 0 0 21 0 0 0 20 0 24 0 510120381 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386792799088 140387502238338 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5595] ppid=5548 vsize=8414124 memory=337620 CPUtime=0 cores=0-7
/proc/5575/task/5595/stat : 5595 (java) S 5548 5548 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510120381 8616062976 30143 33554432000 4194304 4196468 140734843576560 140384764160224 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5596] ppid=5548 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/5575/task/5596/stat : 5596 (java) S 5548 5548 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510120381 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386791745968 140387502238338 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5598] ppid=5548 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/5575/task/5598/stat : 5598 (java) S 5548 5548 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510120449 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386783712448 140387502251801 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5600] ppid=5548 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/5575/task/5600/stat : 5600 (java) S 5548 5548 4774 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 510120449 8616062976 30143 33554432000 4194304 4196468 140734843576560 140384093060880 140387502249117 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5601] ppid=5548 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/5575/task/5601/stat : 5601 (java) S 5548 5548 4774 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 510120449 8616062976 30143 33554432000 4194304 4196468 140734843576560 140384361496464 140387502249117 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5602] ppid=5548 vsize=8414124 memory=912 CPUtime=0 cores=0-7
/proc/5575/task/5602/stat : 5602 (java) S 5548 5548 4774 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510120451 8616062976 30143 33554432000 4194304 4196468 140734843576560 140383824633520 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
Current children cumulated CPU time: 123.57 s
Current children cumulated vsize: 11129492 KiB
Current children cumulated memory: 2101024 KiB

[startup+94.8012 s]
/proc/loadavg: 2.58 5.96 6.67 2/218 5602
/proc/meminfo: memFree=24041588/32770624 swapFree=66986396/67108860
[pid=5548] ppid=5545 vsize=113128 memory=1476 CPUtime=106.33 cores=0-7
/proc/5548/stat : 5548 (scop.sh) S 5545 5548 4774 0 -1 4202496 583 69390 0 0 0 0 10107 526 20 0 1 0 510112587 115843072 369 33554432000 4194304 5098028 140723753596704 140723753593448 139674397307516 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23371776 140723753603877 140723753604204 140723753604204 140723753607117 0
/proc/5548/statm: 28282 369 311 221 0 87 0
[pid=5575] ppid=5548 vsize=8414124 memory=120572 CPUtime=1.21 cores=0-7
/proc/5575/stat : 5575 (java) S 5548 5548 4774 0 -1 1077944320 20588 0 0 0 114 7 0 0 20 0 24 0 510120374 8616062976 30143 33554432000 4194304 4196468 140734843576560 140734843559104 140387502227191 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
/proc/5575/statm: 2103531 30143 3210 1 0 2064875 0
[pid=5597] ppid=5575 vsize=2594044 memory=2067756 CPUtime=17.83 cores=0-7
/proc/5597/stat : 5597 (manyglucose-4.1) S 5575 5548 4774 0 -1 1077944320 373148 0 0 0 1708 75 0 0 20 0 2 0 510120449 2656301056 516939 33554432000 4194304 4454172 140725443232128 140725443230512 140666890522359 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 10416128 140725443240810 140725443241008 140725443241008 140725443243962 0
/proc/5597/statm: 648511 516939 407 64 0 644179 0
[pid=5575/tid=5576] ppid=5548 vsize=8414124 memory=796 CPUtime=0.77 cores=0-7
/proc/5575/task/5576/stat : 5576 (java) S 5548 5548 4774 0 -1 1077944384 17419 0 0 0 72 5 0 0 20 0 24 0 510120375 8616062976 30143 33554432000 4194304 4196468 140734843576560 140387474067360 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5577] ppid=5548 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/5575/task/5577/stat : 5577 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510120376 8616062976 30143 33554432000 4194304 4196468 140734843576560 140387506469136 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5578] ppid=5548 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/5575/task/5578/stat : 5578 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510120376 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386987137424 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5579] ppid=5548 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/5575/task/5579/stat : 5579 (java) S 5548 5548 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510120376 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386986084880 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5580] ppid=5548 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/5575/task/5580/stat : 5580 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510120376 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386985032336 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5581] ppid=5548 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/5575/task/5581/stat : 5581 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510120376 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386983979792 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5582] ppid=5548 vsize=8414124 memory=120572 CPUtime=0 cores=0-7
/proc/5575/task/5582/stat : 5582 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510120376 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386982927248 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5583] ppid=5548 vsize=8414124 memory=334968 CPUtime=0 cores=0-7
/proc/5575/task/5583/stat : 5583 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510120376 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386981874704 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5584] ppid=5548 vsize=8414124 memory=3272 CPUtime=0 cores=0-7
/proc/5575/task/5584/stat : 5584 (java) S 5548 5548 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510120376 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386980822160 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5585] ppid=5548 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/5575/task/5585/stat : 5585 (java) S 5548 5548 4774 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510120377 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386797008880 140387502238338 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5588] ppid=5548 vsize=8414124 memory=120572 CPUtime=0 cores=0-7
/proc/5575/task/5588/stat : 5588 (java) S 5548 5548 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510120378 8616062976 30143 33554432000 4194304 4196468 140734843576560 140385905009568 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5589] ppid=5548 vsize=8414124 memory=337620 CPUtime=0 cores=0-7
/proc/5575/task/5589/stat : 5589 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510120378 8616062976 30143 33554432000 4194304 4196468 140734843576560 140385636574192 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5590] ppid=5548 vsize=8414124 memory=1164 CPUtime=0 cores=0-7
/proc/5575/task/5590/stat : 5590 (java) S 5548 5548 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510120381 8616062976 30143 33554432000 4194304 4196468 140734843576560 140385262065872 140387502245787 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5591] ppid=5548 vsize=8414124 memory=8317482817917895235 CPUtime=0.05 cores=0-7
/proc/5575/task/5591/stat : 5591 (java) S 5548 5548 4774 0 -1 1077944384 591 0 0 0 5 0 0 0 20 0 24 0 510120381 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386795956720 140387502238338 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5592] ppid=5548 vsize=8414124 memory=1476 CPUtime=0.07 cores=0-7
/proc/5575/task/5592/stat : 5592 (java) S 5548 5548 4774 0 -1 1077944384 300 0 0 0 7 0 0 0 20 0 24 0 510120381 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386794904176 140387502238338 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5593] ppid=5548 vsize=8414124 memory=2480 CPUtime=0.05 cores=0-7
/proc/5575/task/5593/stat : 5593 (java) S 5548 5548 4774 0 -1 1077944384 268 0 0 0 5 0 0 0 20 0 24 0 510120381 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386793851632 140387502238338 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5594] ppid=5548 vsize=8414124 memory=1768 CPUtime=0.21 cores=0-7
/proc/5575/task/5594/stat : 5594 (java) S 5548 5548 4774 0 -1 1077944384 611 0 0 0 21 0 0 0 20 0 24 0 510120381 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386792799088 140387502238338 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5595] ppid=5548 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/5575/task/5595/stat : 5595 (java) S 5548 5548 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510120381 8616062976 30143 33554432000 4194304 4196468 140734843576560 140384764160224 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5596] ppid=5548 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/5575/task/5596/stat : 5596 (java) S 5548 5548 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510120381 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386791745968 140387502238338 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5598] ppid=5548 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/5575/task/5598/stat : 5598 (java) S 5548 5548 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510120449 8616062976 30143 33554432000 4194304 4196468 140734843576560 140386783712448 140387502251801 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5600] ppid=5548 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/5575/task/5600/stat : 5600 (java) S 5548 5548 4774 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 510120449 8616062976 30143 33554432000 4194304 4196468 140734843576560 140384093060880 140387502249117 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5601] ppid=5548 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/5575/task/5601/stat : 5601 (java) S 5548 5548 4774 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 510120449 8616062976 30143 33554432000 4194304 4196468 140734843576560 140384361496464 140387502249117 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5602] ppid=5548 vsize=8414124 memory=4424 CPUtime=0 cores=0-7
/proc/5575/task/5602/stat : 5602 (java) S 5548 5548 4774 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510120451 8616062976 30143 33554432000 4194304 4196468 140734843576560 140383824633520 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
Current children cumulated CPU time: 125.37 s
Current children cumulated vsize: 11121296 KiB
Current children cumulated memory: 2189804 KiB

[startup+95.0011 s]*
/proc/loadavg: 2.45 5.87 6.64 3/215 5610
/proc/meminfo: memFree=25297376/32770624 swapFree=66986396/67108860
[pid=5548] ppid=5545 vsize=113128 memory=1476 CPUtime=106.33 cores=0-7
/proc/5548/stat : 5548 (scop.sh) S 5545 5548 4774 0 -1 4202496 583 69390 0 0 0 0 10107 526 20 0 1 0 510112587 115843072 369 33554432000 4194304 5098028 140723753596704 140723753593448 139674397307516 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23371776 140723753603877 140723753604204 140723753604204 140723753607117 0
/proc/5548/statm: 28282 369 311 221 0 87 0
[pid=5575] ppid=5548 vsize=8283048 memory=147488 CPUtime=19.66 cores=0-7
/proc/5575/stat : 5575 (java) S 5548 5548 4774 0 -1 1077944320 22251 373232 0 0 164 9 1712 81 20 0 22 0 510120374 8481841152 36872 33554432000 4194304 4196468 140734843576560 140734843559104 140387502227191 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
/proc/5575/statm: 2070762 36872 3227 1 0 2032106 0
[pid=5575/tid=5576] ppid=5548 vsize=8283048 memory=8317482817917895235 CPUtime=18.79 cores=0-7
/proc/5575/task/5576/stat : 5576 (java) R 5548 5548 4774 0 -1 4202560 17664 373232 0 0 81 5 1712 81 20 0 22 0 510120375 8481841152 36872 33554432000 4194304 4196468 140734843576560 140387474065504 140387502239126 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5577] ppid=5548 vsize=8283048 memory=7883385552369642087 CPUtime=17.93 cores=0-7
/proc/5575/task/5577/stat : 5577 (java) S 5548 5548 4774 0 -1 1077944384 1 373232 0 0 0 0 1712 81 20 0 22 0 510120376 8481841152 36872 33554432000 4194304 4196468 140734843576560 140387506469136 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5578] ppid=5548 vsize=8283048 memory=7014751519650633573 CPUtime=17.93 cores=0-7
/proc/5575/task/5578/stat : 5578 (java) S 5548 5548 4774 0 -1 1077944384 1 373232 0 0 0 0 1712 81 20 0 22 0 510120376 8481841152 36872 33554432000 4194304 4196468 140734843576560 140386987137424 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5579] ppid=5548 vsize=8283048 memory=2657 CPUtime=17.93 cores=0-7
/proc/5575/task/5579/stat : 5579 (java) S 5548 5548 4774 0 -1 1077944384 3 373232 0 0 0 0 1712 81 20 0 22 0 510120376 8481841152 36872 33554432000 4194304 4196468 140734843576560 140386986084880 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5580] ppid=5548 vsize=8283048 memory=1898419 CPUtime=17.93 cores=0-7
/proc/5575/task/5580/stat : 5580 (java) S 5548 5548 4774 0 -1 1077944384 1 373232 0 0 0 0 1712 81 20 0 22 0 510120376 8481841152 36872 33554432000 4194304 4196468 140734843576560 140386985032336 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5581] ppid=5548 vsize=8283048 memory=1900890 CPUtime=17.93 cores=0-7
/proc/5575/task/5581/stat : 5581 (java) S 5548 5548 4774 0 -1 1077944384 1 373232 0 0 0 0 1712 81 20 0 22 0 510120376 8481841152 36872 33554432000 4194304 4196468 140734843576560 140386983979792 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5582] ppid=5548 vsize=8283048 memory=0 CPUtime=17.93 cores=0-7
/proc/5575/task/5582/stat : 5582 (java) S 5548 5548 4774 0 -1 1077944384 1 373232 0 0 0 0 1712 81 20 0 22 0 510120376 8481841152 36872 33554432000 4194304 4196468 140734843576560 140386982927248 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5583] ppid=5548 vsize=8283048 memory=0 CPUtime=17.93 cores=0-7
/proc/5575/task/5583/stat : 5583 (java) S 5548 5548 4774 0 -1 1077944384 1 373232 0 0 0 0 1712 81 20 0 22 0 510120376 8481841152 36872 33554432000 4194304 4196468 140734843576560 140386981874704 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5584] ppid=5548 vsize=8283048 memory=105777 CPUtime=17.93 cores=0-7
/proc/5575/task/5584/stat : 5584 (java) S 5548 5548 4774 0 -1 1077944384 2 373232 0 0 0 0 1712 81 20 0 22 0 510120376 8481841152 36872 33554432000 4194304 4196468 140734843576560 140386980822160 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5585] ppid=5548 vsize=8283048 memory=0 CPUtime=17.93 cores=0-7
/proc/5575/task/5585/stat : 5585 (java) S 5548 5548 4774 0 -1 1077944384 8 373232 0 0 0 0 1712 81 20 0 22 0 510120377 8481841152 36872 33554432000 4194304 4196468 140734843576560 140386797008880 140387502238338 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5588] ppid=5548 vsize=8283048 memory=-5059952977386882957 CPUtime=17.93 cores=0-7
/proc/5575/task/5588/stat : 5588 (java) S 5548 5548 4774 0 -1 1077944384 13 373232 0 0 0 0 1712 81 20 0 22 0 510120378 8481841152 36872 33554432000 4194304 4196468 140734843576560 140385905009568 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5589] ppid=5548 vsize=8283048 memory=0 CPUtime=17.93 cores=0-7
/proc/5575/task/5589/stat : 5589 (java) S 5548 5548 4774 0 -1 1077944384 1 373232 0 0 0 0 1712 81 20 0 22 0 510120378 8481841152 36872 33554432000 4194304 4196468 140734843576560 140385636574192 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5590] ppid=5548 vsize=8283048 memory=-6861001314482542224 CPUtime=17.93 cores=0-7
/proc/5575/task/5590/stat : 5590 (java) S 5548 5548 4774 0 -1 1077944384 1 373232 0 0 0 0 1712 81 20 0 22 0 510120381 8481841152 36872 33554432000 4194304 4196468 140734843576560 140385262065872 140387502245787 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5591] ppid=5548 vsize=8283048 memory=2209 CPUtime=18.05 cores=0-7
/proc/5575/task/5591/stat : 5591 (java) S 5548 5548 4774 0 -1 1077944384 894 373232 0 0 12 0 1712 81 20 0 22 0 510120381 8481841152 36872 33554432000 4194304 4196468 140734843576560 140386795956720 140387502238338 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5592] ppid=5548 vsize=8283048 memory=115860 CPUtime=18.09 cores=0-7
/proc/5575/task/5592/stat : 5592 (java) R 5548 5548 4774 0 -1 4202560 640 373232 0 0 16 0 1712 81 20 0 22 0 510120381 8481841152 36872 33554432000 4194304 4196468 140734843576560 140386794891552 140387487127676 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5593] ppid=5548 vsize=8283048 memory=281368947012964 CPUtime=18.05 cores=0-7
/proc/5575/task/5593/stat : 5593 (java) S 5548 5548 4774 0 -1 1077944384 394 373232 0 0 12 0 1712 81 20 0 22 0 510120381 8481841152 36872 33554432000 4194304 4196468 140734843576560 140386793851632 140387502238338 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5594] ppid=5548 vsize=8283048 memory=0 CPUtime=18.22 cores=0-7
/proc/5575/task/5594/stat : 5594 (java) R 5548 5548 4774 0 -1 4202560 1203 373232 0 0 29 0 1712 81 20 0 22 0 510120381 8481841152 36872 33554432000 4194304 4196468 140734843576560 140386792799088 140387486307678 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5595] ppid=5548 vsize=8283048 memory=0 CPUtime=17.93 cores=0-7
/proc/5575/task/5595/stat : 5595 (java) S 5548 5548 4774 0 -1 1077944384 3 373232 0 0 0 0 1712 81 20 0 22 0 510120381 8481841152 36872 33554432000 4194304 4196468 140734843576560 140384764160224 140387502237397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5596] ppid=5548 vsize=8283048 memory=4571546647536694826 CPUtime=17.93 cores=0-7
/proc/5575/task/5596/stat : 5596 (java) S 5548 5548 4774 0 -1 1077944384 3 373232 0 0 0 0 1712 81 20 0 22 0 510120381 8481841152 36872 33554432000 4194304 4196468 140734843576560 140386791745968 140387502238338 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5598] ppid=5548 vsize=8283048 memory=7594287679142389864 CPUtime=17.93 cores=0-7
/proc/5575/task/5598/stat : 5598 (java) S 5548 5548 4774 0 -1 1077944384 24 373232 0 0 0 0 1712 81 20 0 22 0 510120449 8481841152 36872 33554432000 4194304 4196468 140734843576560 140386783711632 140387502238338 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
[pid=5575/tid=5602] ppid=5548 vsize=8283048 memory=7013342048940813417 CPUtime=17.93 cores=0-7
/proc/5575/task/5602/stat : 5602 (java) S 5548 5548 4774 0 -1 1077944384 12 373232 0 0 0 0 1712 81 20 0 22 0 510120451 8481841152 36872 33554432000 4194304 4196468 140734843576560 140383824635312 140387502238338 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140734843581432 140734843581590 140734843581590 140734843584463 0
Current children cumulated CPU time: 125.99 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 148964 KiB

Child status: 0
Real time (s): 95.0746
CPU time (s): 126.142
CPU user time (s): 119.932
CPU system time (s): 6.21025
CPU usage (%): 132.677
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7358388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 119.932
system time used= 6.21024
maximum resident set size= 7357736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466614
page faults= 0
swaps= 0
block input operations= 0
block output operations= 134984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52726
involuntary context switches= 284


# summary of solver processes directly reported to runsolver:
#   pid: 5548
#   total CPU time (s): 126.142
#   total CPU user time (s): 119.932
#   total CPU system time (s): 6.21025

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.794297 second user time and 0.886876 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-24 16:12:16
IDJOB=4405130
IDBENCH=130927
IDSOLVER=2867
FILE ID=node104/4405130-1569338560
RUNJOBID= node104-1569331756-4801
PBS_JOBID= 21705071
Free space on /tmp= 9836 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
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-4405130-1569338560/watcher-4405130-1569338560 -o /tmp/evaluation-result-4405130-1569338560/solver-4405130-1569338560 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569331756-4801 --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-4405130-1569338560.xml

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

MD5SUM BENCH= 81c7a723557c708ecb18ed846030ca95
RANDOM SEED=1435980845

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.09
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:        25494884 kB
MemAvailable:   31819384 kB
Buffers:           96664 kB
Cached:          6292748 kB
SwapCached:        22644 kB
Active:          3176592 kB
Inactive:        3238512 kB
Active(anon):       3624 kB
Inactive(anon):    79852 kB
Active(file):    3172968 kB
Inactive(file):  3158660 kB
Unevictable:      109704 kB
Mlocked:          109704 kB
SwapTotal:      67108860 kB
SwapFree:       66986396 kB
Dirty:             20636 kB
Writeback:             0 kB
AnonPages:        114480 kB
Mapped:            57240 kB
Shmem:             49032 kB
Slab:             450384 kB
SReclaimable:     421332 kB
SUnreclaim:        29052 kB
KernelStack:        3360 kB
PageTables:         5200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 9812 MiB
End job on node104 at 2019-09-24 16:13:51