Trace number 4405430

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 129.43 95.8751

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-16776-serial-file.bin HOME/instance-4405430-1569338600.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 17:22:40 CEST 2019
0.66/0.56	c PID: 16779
0.66/0.56	c IP: 172.20.3.150
0.66/0.56	c HOST: node150.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.58/1.00	c (0,0) Parsing End
1.58/1.00	c (0,0) CSP: 102 int (0 aux), 0 bool (0 aux), 253 ctr, max domain size 256
1.58/1.00	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.58/1.00	c (0,0) Constraint Name Generate Begin
1.83/1.01	c (0,0) Ctr:HOME/instance-4405430-1569338600.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
1.83/1.01	c (0,0) Constraint Name Generate End
1.83/1.01	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.83/1.01	c (0,0) CSP to CSPinCNF Begin
13.68/6.50	c (5,5) translated 26 (10%) constraints
18.32/11.06	c (10,10) translated 51 (20%) constraints
23.38/16.05	c (15,15) translated 76 (30%) constraints
30.03/21.00	c (20,20) translated 102 (40%) constraints
34.35/25.25	c (24,24) translated 127 (50%) constraints
38.68/29.54	c (29,28) translated 152 (60%) constraints
47.23/34.66	c (34,33) translated 178 (70%) constraints
51.37/38.75	c (38,37) translated 203 (80%) constraints
51.67/38.84	c (38,37) translated 228 (90%) constraints
51.67/38.87	c (38,37) translated 253 (100%) constraints
51.67/38.87	c (38,37) ===========================================
52.40/39.11	c (38,37) Hybrid: #OE=51302, #LE=0
52.40/39.11	c (38,37) Hybrid
52.40/39.12	c (38,37) ===========================================
55.16/40.68	c (40,39) translated 71494 (10%) constraints
56.61/42.07	c (41,40) translated 142987 (20%) constraints
58.03/43.46	c (42,42) translated 214480 (30%) constraints
59.46/44.85	c (44,43) translated 285974 (40%) constraints
60.86/46.24	c (45,44) translated 357467 (50%) constraints
62.26/47.63	c (47,46) translated 428960 (60%) constraints
63.67/49.02	c (48,47) translated 500454 (70%) constraints
65.10/50.42	c (49,49) translated 571947 (80%) constraints
66.50/51.81	c (51,50) translated 643440 (90%) constraints
67.95/53.23	c (52,51) translated 714933 (100%) constraints
67.95/53.23	c (52,51) CSP to CSPinCNF End
67.95/53.25	c (52,51) CSP: 102 int (0 aux), 51200 bool (51200 aux), 714933 ctr, max domain size 256
67.95/53.25	c (52,51) Heap : 5889 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
67.95/53.25	c (52,51) CSPinCNF Propagation Begin
80.08/59.83	c (59,57) 574 values, 16892 unsatisfiable literals, and 14749 valid clauses are removed
80.08/59.83	c (59,57) CSPinCNF Propagation End
80.08/59.85	c (59,58) CSP: 102 int (0 aux), 51200 bool (51200 aux), 700184 ctr, max domain size 256
80.08/59.85	c (59,58) Heap : 5082 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
80.35/60.07	c (59,58) Hybrid: #OE=51302, #LE=0
80.35/60.07	c (59,58) Simplify CSPinCNF Begin
82.86/61.42	c (60,59) Simplify CSPinCNF End
82.86/61.44	c (60,59) CSP: 102 int (0 aux), 61500 bool (61500 aux), 710484 ctr, max domain size 256
82.86/61.44	c (60,59) Heap : 5860 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
82.86/61.44	c (60,59) Calculate Precise Domain Begin
82.86/61.44	c (60,59) 0 values are removed by re-calculation
82.86/61.44	c (60,59) Calculate Precise Domain End
82.86/61.46	c (60,59) CSP: 102 int (0 aux), 61500 bool (61500 aux), 710484 ctr, max domain size 256
82.86/61.46	c (60,59) Heap : 5860 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
82.86/61.46	c (60,59) CSPinCNF to SatSolver Begin
100.46/72.32	c (71,69) 71049 (10 %) CSP clauses are encoded (0 SAT variables, 2607204 SAT clauses)
101.11/72.97	c (72,70) 142097 (20 %) CSP clauses are encoded (0 SAT variables, 2678252 SAT clauses)
101.71/73.59	c (73,71) 213146 (30 %) CSP clauses are encoded (0 SAT variables, 2749301 SAT clauses)
102.42/74.24	c (73,71) 284194 (40 %) CSP clauses are encoded (0 SAT variables, 2820349 SAT clauses)
103.02/74.88	c (74,72) 355242 (50 %) CSP clauses are encoded (0 SAT variables, 2891397 SAT clauses)
106.75/75.90	c (75,72) 426291 (60 %) CSP clauses are encoded (0 SAT variables, 2962446 SAT clauses)
107.35/76.55	c (76,73) 497339 (70 %) CSP clauses are encoded (0 SAT variables, 3033494 SAT clauses)
107.96/77.19	c (76,74) 568388 (80 %) CSP clauses are encoded (0 SAT variables, 3104543 SAT clauses)
108.65/77.83	c (77,74) 639436 (90 %) CSP clauses are encoded (0 SAT variables, 3175591 SAT clauses)
109.26/78.47	c (77,75) 710484 (100 %) CSP clauses are encoded (0 SAT variables, 3246639 SAT clauses)
109.26/78.47	c (77,75) CSPinCNF to SatSolver End
109.26/78.47	c (77,75) Heap : 3187 MiB used (max 21712 MiB), NonHeap : 32 MiB used (max 0 MiB)
109.26/78.47	c (77,75) 86613 bool, 3246640 clause
109.26/78.47	c (77,75) Export Begin
109.37/78.57	c (78,75) Export to HOME/scop-16776-serial-file.bin
109.37/78.57	c (78,75) Export End
109.37/78.57	c (78,75) Export File Size: 0.02 MB
109.37/78.57	c (78,75) 0,0,52,59,60,60,77,STOP-AFTER(DIMACS)
109.37/78.57	c END-Prog: Tue Sep 24 17:23:58 CEST 2019
0.00/78.61	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16776-serial-file.bin
110.09/79.08	c (0,0) Read Serial File Begin
110.09/79.08	c (0,0) HOME/scop-16776-serial-file.bin
110.50/79.30	c (0,0) Read Serial File End
110.50/79.31	
110.50/79.31	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
110.50/79.31	(Solving Process)
110.50/79.31	
110.50/79.34	c BEGIN-Prog: Tue Sep 24 17:23:59 CEST 2019
110.50/79.34	c PID: 16802
110.50/79.34	c IP: 172.20.3.150
110.50/79.34	c HOST: node150.alineos.net
110.50/79.34	c (0,0) SatSolver.solve Begin
110.50/79.34	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405430-1569338600.xml-scop-16779.cnf
110.50/79.37	c (0,0) c
110.50/79.37	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
110.50/79.37	c (0,0) c
110.50/79.37	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
110.50/79.37	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
110.50/79.37	c (0,0) c ========================================[ Problem Statistics ]===========================================
110.50/79.37	c (0,0) c |                                                                                                       |
111.80/80.43	c (1,0) c |  Number of variables:         86613                                                                   |
111.80/80.43	c (1,0) c |  Number of clauses:         3246640                                                                   |
111.80/80.43	c (1,0) c |  Parse time:                   0.96 s                                                                 |
111.80/80.43	c (1,0) c |                                                                                                       |
125.70/94.31	c (15,0) c |  Simplification time:         13.76 s                                                                 |
125.70/94.31	c (15,0) c |                                                                                                       |
125.70/94.31	c (15,0) c |  Generating clones                                                                                    |
126.41/95.02	c (16,0) c |  all clones generated. Memory =  1965.21Mb.                                                           |
126.41/95.02	c (16,0) c ========================================================================================================|
126.41/95.02	c (16,0) c
126.41/95.02	c (16,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
126.41/95.02	c (16,0) c
126.41/95.02	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.41/95.02	c (16,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
126.41/95.02	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.41/95.02	c (16,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
126.41/95.02	c (16,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
126.41/95.02	c (16,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
126.41/95.02	c (16,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
126.41/95.02	c (16,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
126.41/95.02	c (16,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
126.41/95.02	c (16,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
126.41/95.02	c (16,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
126.41/95.02	c (16,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
126.41/95.02	c (16,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
126.41/95.02	c (16,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
126.41/95.02	c (16,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
126.41/95.02	c (16,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
126.41/95.02	c (16,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
126.41/95.02	c (16,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
126.41/95.02	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
128.67/95.61	c (16,0) c
128.67/95.61	c (16,0) c real time : 16.2466 s
128.67/95.61	c (16,0) c cpu time  : 17.1567 s
128.67/95.61	c (16,0) c
128.67/95.61	c (16,0) c
128.67/95.61	c (16,0) c
128.67/95.61	c (16,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
128.67/95.61	c (16,0) c
128.67/95.61	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
128.67/95.61	c (16,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
128.67/95.61	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
128.67/95.61	c (16,0) c | Conflicts     |             509 |          0 |         95 |         46 |         86 |         56 |         26 |        134 |         66 |
128.67/95.61	c (16,0) c | Decisions     |            1234 |          6 |        197 |         93 |        216 |        134 |         70 |        274 |        244 |
128.67/95.61	c (16,0) c | Propagations  |          970484 |      80794 |     142145 |     124271 |     125712 |      65429 |     135396 |     197309 |      99428 |
128.67/95.61	c (16,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.67/95.61	c (16,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
128.67/95.61	c (16,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
128.67/95.61	c (16,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.67/95.61	c (16,0) c | PropBinClauses|          974403 |      56371 |     125395 |     116964 |     137466 |      90000 |     120335 |     213751 |     114121 |
128.67/95.61	c (16,0) c | PropPreBlocker|        36808981 |    3553576 |    3887919 |    5050909 |    3709782 |    3676469 |    5362847 |    7646285 |    3921194 |
128.67/95.61	c (16,0) c | PropNotBlocker|        19216386 |    1887015 |    1986506 |    2698376 |    2029042 |    2161702 |    2846820 |    3756574 |    1850351 |
128.67/95.61	c (16,0) c | LitFullScans  |        58099149 |    5565619 |    6183879 |    7992740 |    6003020 |    6039552 |    8451549 |   11858281 |    6004509 |
128.67/95.61	c (16,0) c | LitScanFracts |            3396 |          0 |        665 |        482 |         13 |        975 |        435 |        293 |        533 |
128.67/95.61	c (16,0) c | DecisionLevel0|              16 |          1 |          2 |          3 |          2 |          1 |          2 |          4 |          1 |
128.67/95.61	c (16,0) c | Periods       |               7 |          0 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
128.67/95.61	c (16,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
128.67/95.61	c (16,0) c | Avg_Trail     |                 |          0 |       6517 |       3393 |       4647 |       5759 |       6191 |       6505 |      12438 |
128.67/95.61	c (16,0) c | Avg_DL        |                 |          0 |         13 |          6 |         18 |         28 |         17 |         28 |        105 |
128.67/95.61	c (16,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.67/95.61	c (16,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.67/95.61	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
128.67/95.61	c (16,0) c | Exported      |              70 |          0 |         11 |          6 |         18 |          1 |          9 |         18 |          7 |
128.67/95.61	c (16,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.67/95.61	c (16,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.67/95.61	c (16,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.67/95.61	c (16,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.67/95.61	c (16,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.67/95.61	c (16,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
128.67/95.61	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
128.67/95.61	c (16,0) c | Unaries       |                 |          0 |          1 |          2 |          1 |          0 |          1 |          3 |          0 |
128.67/95.61	c (16,0) c | Binaries      |                 |          0 |          3 |          4 |          8 |          1 |          2 |          8 |          1 |
128.67/95.61	c (16,0) c | Glues         |                 |          0 |         11 |          6 |         18 |          1 |          9 |         18 |          7 |
128.67/95.61	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
128.67/95.61	c (16,0) c | Orig_Seen     |             0 % |          0 |       2434 |       1551 |       3411 |       1509 |       1386 |       3801 |       2083 |
128.67/95.61	c (16,0) c | Diff Orig seen|                 |      X     |       2434 |       1551 |       3411 |       1509 |       1386 |       3801 |       2083 |
128.67/95.61	c (16,0) c | Hamming       |             8 % |      X     |      14560 |        551 |      13853 |       7814 |        503 |        272 |      14136 |
128.67/95.61	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
128.67/95.61	c (16,0) c | RunningTime   |                 |    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.6 100%|    0.5 100%|
128.67/95.61	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%|
128.67/95.61	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%|
128.67/95.61	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%|
128.67/95.61	c (16,0) c | SolvingTime   |                 |    0.5     |    0.5     |    0.5     |    0.5     |    0.5     |    0.5     |    0.6     |    0.5     |
128.67/95.61	c (16,0) c | PropagationTim|                 |    0.5 100%|    0.5  98%|    0.5 100%|    0.5  99%|    0.5  99%|    0.5 100%|    0.6  99%|    0.5  99%|
128.67/95.61	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%|
128.67/95.61	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%|
128.67/95.61	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%|
128.67/95.61	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%|
128.67/95.61	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%|
128.67/95.61	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
128.67/95.61	c (16,0) c
128.67/95.61	c (16,0) c
128.67/95.61	c (16,0) c Threads : 8
128.67/95.61	c (16,0) c Winner : 0
128.67/95.61	c (16,0) c Conflicts_0 : 0
128.67/95.61	c (16,0) c Conflicts_1 : 95
128.67/95.61	c (16,0) c Conflicts_2 : 46
128.67/95.61	c (16,0) c Conflicts_3 : 86
128.67/95.61	c (16,0) c Conflicts_4 : 56
128.67/95.61	c (16,0) c Conflicts_5 : 26
128.67/95.61	c (16,0) c Conflicts_6 : 134
128.67/95.61	c (16,0) c Conflicts_7 : 66
128.67/95.61	c (16,0) c Conflicts_total : 509
128.67/95.61	c (16,0) c Conflicts_winner : 0
128.67/95.61	c (16,0) c Decisions_0 : 6
128.67/95.61	c (16,0) c Decisions_1 : 197
128.67/95.61	c (16,0) c Decisions_2 : 93
128.67/95.61	c (16,0) c Decisions_3 : 216
128.67/95.61	c (16,0) c Decisions_4 : 134
128.67/95.61	c (16,0) c Decisions_5 : 70
128.67/95.61	c (16,0) c Decisions_6 : 274
128.67/95.61	c (16,0) c Decisions_7 : 244
128.67/95.61	c (16,0) c Decisions_total : 1234
128.67/95.61	c (16,0) c Decisions_winner : 6
128.67/95.61	c (16,0) c Propagations_0 : 80794
128.67/95.61	c (16,0) c Propagations_1 : 142145
128.67/95.61	c (16,0) c Propagations_2 : 124271
128.67/95.61	c (16,0) c Propagations_3 : 125712
128.67/95.61	c (16,0) c Propagations_4 : 65429
128.67/95.62	c (16,0) c Propagations_5 : 135396
128.67/95.62	c (16,0) c Propagations_6 : 197309
128.67/95.62	c (16,0) c Propagations_7 : 99428
128.67/95.62	c (16,0) c Propagations_total : 970484
128.67/95.62	c (16,0) c Propagations_winner : 80794
128.67/95.62	c (16,0) c ReduceDBs_0 : 0
128.67/95.62	c (16,0) c ReduceDBs_1 : 0
128.67/95.62	c (16,0) c ReduceDBs_2 : 0
128.67/95.62	c (16,0) c ReduceDBs_3 : 0
128.67/95.62	c (16,0) c ReduceDBs_4 : 0
128.67/95.62	c (16,0) c ReduceDBs_5 : 0
128.67/95.62	c (16,0) c ReduceDBs_6 : 0
128.67/95.62	c (16,0) c ReduceDBs_7 : 0
128.67/95.62	c (16,0) c ReduceDBs_total : 0
128.67/95.62	c (16,0) c ReduceDBs_winner : 0
128.67/95.62	c (16,0) c SimpDBs_0 : 1
128.67/95.62	c (16,0) c SimpDBs_1 : 1
128.67/95.62	c (16,0) c SimpDBs_2 : 1
128.67/95.62	c (16,0) c SimpDBs_3 : 1
128.67/95.62	c (16,0) c SimpDBs_4 : 1
128.67/95.62	c (16,0) c SimpDBs_5 : 1
128.67/95.62	c (16,0) c SimpDBs_6 : 1
128.67/95.62	c (16,0) c SimpDBs_7 : 1
128.67/95.62	c (16,0) c SimpDBs_total : 8
128.67/95.62	c (16,0) c SimpDBs_winner : 1
128.67/95.62	c (16,0) c Restarts_0 : 1
128.67/95.62	c (16,0) c Restarts_1 : 1
128.67/95.62	c (16,0) c Restarts_2 : 1
128.67/95.62	c (16,0) c Restarts_3 : 1
128.67/95.62	c (16,0) c Restarts_4 : 1
128.67/95.62	c (16,0) c Restarts_5 : 1
128.67/95.62	c (16,0) c Restarts_6 : 1
128.67/95.62	c (16,0) c Restarts_7 : 1
128.67/95.62	c (16,0) c Restarts_total : 8
128.67/95.62	c (16,0) c Restarts_winner : 1
128.67/95.62	c (16,0) c ForcedImports_0 : 0
128.67/95.62	c (16,0) c ForcedImports_1 : 0
128.67/95.62	c (16,0) c ForcedImports_2 : 0
128.67/95.62	c (16,0) c ForcedImports_3 : 0
128.67/95.62	c (16,0) c ForcedImports_4 : 0
128.67/95.62	c (16,0) c ForcedImports_5 : 0
128.67/95.62	c (16,0) c ForcedImports_6 : 0
128.67/95.62	c (16,0) c ForcedImports_7 : 0
128.67/95.62	c (16,0) c ForcedImports_total : 0
128.67/95.62	c (16,0) c ForcedImports_winner : 0
128.67/95.62	c (16,0) c PropsBinClauses_0 : 56371
128.67/95.62	c (16,0) c PropsBinClauses_1 : 125395
128.67/95.62	c (16,0) c PropsBinClauses_2 : 116964
128.67/95.62	c (16,0) c PropsBinClauses_3 : 137466
128.67/95.62	c (16,0) c PropsBinClauses_4 : 90000
128.67/95.62	c (16,0) c PropsBinClauses_5 : 120335
128.67/95.62	c (16,0) c PropsBinClauses_6 : 213751
128.67/95.62	c (16,0) c PropsBinClauses_7 : 114121
128.67/95.62	c (16,0) c PropsBinClauses_total : 974403
128.67/95.62	c (16,0) c PropsBinClauses_winner : 56371
128.67/95.62	c (16,0) c PropsPreBlocker_0 : 3553576
128.67/95.62	c (16,0) c PropsPreBlocker_1 : 3887919
128.67/95.62	c (16,0) c PropsPreBlocker_2 : 5050909
128.67/95.62	c (16,0) c PropsPreBlocker_3 : 3709782
128.67/95.62	c (16,0) c PropsPreBlocker_4 : 3676469
128.67/95.62	c (16,0) c PropsPreBlocker_5 : 5362847
128.67/95.62	c (16,0) c PropsPreBlocker_6 : 7646285
128.67/95.62	c (16,0) c PropsPreBlocker_7 : 3921194
128.67/95.62	c (16,0) c PropsPreBlocker_total : 36808981
128.67/95.62	c (16,0) c PropsPreBlocker_winner : 3553576
128.67/95.62	c (16,0) c PropsNotBlocker_0 : 1887015
128.67/95.62	c (16,0) c PropsNotBlocker_1 : 1986506
128.67/95.62	c (16,0) c PropsNotBlocker_2 : 2698376
128.67/95.62	c (16,0) c PropsNotBlocker_3 : 2029042
128.67/95.62	c (16,0) c PropsNotBlocker_4 : 2161702
128.67/95.62	c (16,0) c PropsNotBlocker_5 : 2846820
128.67/95.62	c (16,0) c PropsNotBlocker_6 : 3756574
128.67/95.62	c (16,0) c PropsNotBlocker_7 : 1850351
128.67/95.62	c (16,0) c PropsNotBlocker_total : 19216386
128.67/95.62	c (16,0) c PropsNotBlocker_winner : 1887015
128.67/95.62	c (16,0) c PropsLitFullScans_0 : 5565619
128.67/95.62	c (16,0) c PropsLitFullScans_1 : 6183879
128.67/95.62	c (16,0) c PropsLitFullScans_2 : 7992740
128.67/95.62	c (16,0) c PropsLitFullScans_3 : 6003020
128.67/95.62	c (16,0) c PropsLitFullScans_4 : 6039552
128.67/95.62	c (16,0) c PropsLitFullScans_5 : 8451549
128.67/95.62	c (16,0) c PropsLitFullScans_6 : 11858281
128.67/95.62	c (16,0) c PropsLitFullScans_7 : 6004509
128.67/95.62	c (16,0) c PropsLitFullScans_total : 58099149
128.67/95.62	c (16,0) c PropsLitFullScans_winner : 5565619
128.67/95.62	c (16,0) c LitScanFractions_0 : 0
128.67/95.62	c (16,0) c LitScanFractions_1 : 665
128.67/95.62	c (16,0) c LitScanFractions_2 : 482
128.67/95.62	c (16,0) c LitScanFractions_3 : 13
128.67/95.62	c (16,0) c LitScanFractions_4 : 975
128.67/95.62	c (16,0) c LitScanFractions_5 : 435
128.67/95.62	c (16,0) c LitScanFractions_6 : 293
128.67/95.62	c (16,0) c LitScanFractions_7 : 533
128.67/95.62	c (16,0) c LitScanFractions_total : 3396
128.67/95.62	c (16,0) c LitScanFractions_winner : 0
128.67/95.62	c (16,0) c DecisionLevel0_0 : 1
128.67/95.62	c (16,0) c DecisionLevel0_1 : 2
128.67/95.62	c (16,0) c DecisionLevel0_2 : 3
128.67/95.62	c (16,0) c DecisionLevel0_3 : 2
128.67/95.62	c (16,0) c DecisionLevel0_4 : 1
128.67/95.62	c (16,0) c DecisionLevel0_5 : 2
128.67/95.62	c (16,0) c DecisionLevel0_6 : 4
128.67/95.62	c (16,0) c DecisionLevel0_7 : 1
128.67/95.62	c (16,0) c DecisionLevel0_total : 16
128.67/95.62	c (16,0) c DecisionLevel0_winner : 1
128.67/95.62	c (16,0) c Periods_0 : 0
128.67/95.62	c (16,0) c Periods_1 : 1
128.67/95.62	c (16,0) c Periods_2 : 1
128.67/95.62	c (16,0) c Periods_3 : 1
128.67/95.62	c (16,0) c Periods_4 : 1
128.67/95.62	c (16,0) c Periods_5 : 1
128.67/95.62	c (16,0) c Periods_6 : 1
128.67/95.62	c (16,0) c Periods_7 : 1
128.67/95.62	c (16,0) c Periods_total : 7
128.67/95.62	c (16,0) c Periods_winner : 0
128.67/95.62	c (16,0) c Margin_0 : 20
128.67/95.62	c (16,0) c Margin_1 : 20
128.67/95.62	c (16,0) c Margin_2 : 20
128.67/95.62	c (16,0) c Margin_3 : 20
128.67/95.62	c (16,0) c Margin_4 : 20
128.67/95.62	c (16,0) c Margin_5 : 20
128.67/95.62	c (16,0) c Margin_6 : 20
128.67/95.62	c (16,0) c Margin_7 : 20
128.67/95.62	c (16,0) c Margin_total : 160
128.67/95.62	c (16,0) c Margin_winner : 20
128.67/95.62	c (16,0) c Exported_0 : 0
128.67/95.62	c (16,0) c Exported_1 : 11
128.67/95.62	c (16,0) c Exported_2 : 6
128.67/95.62	c (16,0) c Exported_3 : 18
128.67/95.62	c (16,0) c Exported_4 : 1
128.67/95.62	c (16,0) c Exported_5 : 9
128.67/95.62	c (16,0) c Exported_6 : 18
128.67/95.62	c (16,0) c Exported_7 : 7
128.67/95.62	c (16,0) c Exported_total : 70
128.67/95.62	c (16,0) c Exported_winner : 0
128.67/95.62	c (16,0) c Imported_0 : 0
128.67/95.62	c (16,0) c Imported_1 : 0
128.67/95.62	c (16,0) c Imported_2 : 0
128.67/95.62	c (16,0) c Imported_3 : 0
128.67/95.62	c (16,0) c Imported_4 : 0
128.67/95.62	c (16,0) c Imported_5 : 0
128.67/95.62	c (16,0) c Imported_6 : 0
128.67/95.62	c (16,0) c Imported_7 : 0
128.67/95.62	c (16,0) c Imported_total : 0
128.67/95.62	c (16,0) c Imported_winner : 0
128.67/95.62	c (16,0) c Good_0 : 0
128.67/95.62	c (16,0) c Good_1 : 0
128.67/95.62	c (16,0) c Good_2 : 0
128.67/95.62	c (16,0) c Good_3 : 0
128.67/95.62	c (16,0) c Good_4 : 0
128.67/95.62	c (16,0) c Good_5 : 0
128.67/95.62	c (16,0) c Good_6 : 0
128.67/95.62	c (16,0) c Good_7 : 0
128.67/95.62	c (16,0) c Good_total : 0
128.67/95.62	c (16,0) c Good_winner : 0
128.67/95.62	c (16,0) c Purge_0 : 0
128.67/95.62	c (16,0) c Purge_1 : 0
128.67/95.62	c (16,0) c Purge_2 : 0
128.67/95.62	c (16,0) c Purge_3 : 0
128.67/95.62	c (16,0) c Purge_4 : 0
128.67/95.62	c (16,0) c Purge_5 : 0
128.67/95.62	c (16,0) c Purge_6 : 0
128.67/95.62	c (16,0) c Purge_7 : 0
128.67/95.62	c (16,0) c Purge_total : 0
128.67/95.62	c (16,0) c Purge_winner : 0
128.67/95.62	c (16,0) c Promoted_0 : 0
128.67/95.62	c (16,0) c Promoted_1 : 0
128.67/95.62	c (16,0) c Promoted_2 : 0
128.67/95.62	c (16,0) c Promoted_3 : 0
128.67/95.62	c (16,0) c Promoted_4 : 0
128.67/95.62	c (16,0) c Promoted_5 : 0
128.67/95.62	c (16,0) c Promoted_6 : 0
128.67/95.62	c (16,0) c Promoted_7 : 0
128.67/95.62	c (16,0) c Promoted_total : 0
128.67/95.62	c (16,0) c Promoted_winner : 0
128.67/95.62	c (16,0) c Remove_Imp_0 : 0
128.67/95.62	c (16,0) c Remove_Imp_1 : 0
128.67/95.62	c (16,0) c Remove_Imp_2 : 0
128.67/95.62	c (16,0) c Remove_Imp_3 : 0
128.67/95.62	c (16,0) c Remove_Imp_4 : 0
128.67/95.62	c (16,0) c Remove_Imp_5 : 0
128.67/95.62	c (16,0) c Remove_Imp_6 : 0
128.67/95.62	c (16,0) c Remove_Imp_7 : 0
128.67/95.62	c (16,0) c Remove_Imp_total : 0
128.67/95.62	c (16,0) c Remove_Imp_winner : 0
128.67/95.62	c (16,0) c Blocked_Reuse_0 : 0
128.67/95.62	c (16,0) c Blocked_Reuse_1 : 0
128.67/95.62	c (16,0) c Blocked_Reuse_2 : 0
128.67/95.62	c (16,0) c Blocked_Reuse_3 : 0
128.67/95.62	c (16,0) c Blocked_Reuse_4 : 0
128.67/95.62	c (16,0) c Blocked_Reuse_5 : 0
128.67/95.62	c (16,0) c Blocked_Reuse_6 : 0
128.67/95.62	c (16,0) c Blocked_Reuse_7 : 0
128.67/95.62	c (16,0) c Blocked_Reuse_total : 0
128.67/95.62	c (16,0) c Blocked_Reuse_winner : 0
128.67/95.62	c (16,0) c Unaries_0 : 0
128.67/95.62	c (16,0) c Unaries_1 : 1
128.67/95.62	c (16,0) c Unaries_2 : 2
128.67/95.62	c (16,0) c Unaries_3 : 1
128.67/95.62	c (16,0) c Unaries_4 : 0
128.67/95.62	c (16,0) c Unaries_5 : 1
128.67/95.62	c (16,0) c Unaries_6 : 3
128.67/95.62	c (16,0) c Unaries_7 : 0
128.67/95.62	c (16,0) c Unaries_total : 8
128.67/95.62	c (16,0) c Unaries_winner : 0
128.67/95.62	c (16,0) c Binaries_0 : 0
128.67/95.62	c (16,0) c Binaries_1 : 3
128.67/95.62	c (16,0) c Binaries_2 : 4
128.67/95.62	c (16,0) c Binaries_3 : 8
128.67/95.62	c (16,0) c Binaries_4 : 1
128.67/95.62	c (16,0) c Binaries_5 : 2
128.67/95.62	c (16,0) c Binaries_6 : 8
128.67/95.62	c (16,0) c Binaries_7 : 1
128.67/95.62	c (16,0) c Binaries_total : 27
128.67/95.62	c (16,0) c Binaries_winner : 0
128.67/95.62	c (16,0) c Glues_0 : 0
128.67/95.62	c (16,0) c Glues_1 : 11
128.67/95.62	c (16,0) c Glues_2 : 6
128.67/95.62	c (16,0) c Glues_3 : 18
128.67/95.62	c (16,0) c Glues_4 : 1
128.67/95.62	c (16,0) c Glues_5 : 9
128.67/95.62	c (16,0) c Glues_6 : 18
128.67/95.62	c (16,0) c Glues_7 : 7
128.67/95.62	c (16,0) c Glues_total : 70
128.67/95.62	c (16,0) c Glues_winner : 0
128.67/95.62	c (16,0) c RunningTime_0 : 0.455842
128.67/95.62	c (16,0) c RunningTime_1 : 0.483644
128.67/95.62	c (16,0) c RunningTime_2 : 0.514496
128.67/95.62	c (16,0) c RunningTime_3 : 0.486019
128.67/95.62	c (16,0) c RunningTime_4 : 0.504805
128.67/95.62	c (16,0) c RunningTime_5 : 0.545640
128.67/95.62	c (16,0) c RunningTime_6 : 0.588720
128.67/95.62	c (16,0) c RunningTime_7 : 0.464246
128.67/95.62	c (16,0) c RunningTime_total : 4.043410
128.67/95.62	c (16,0) c RunningTime_winner : 0.455842
128.67/95.62	c (16,0) c WaitingTime_0 : 0.000000
128.67/95.62	c (16,0) c WaitingTime_1 : 0.000000
128.67/95.62	c (16,0) c WaitingTime_2 : 0.000000
128.67/95.62	c (16,0) c WaitingTime_3 : 0.000000
128.67/95.62	c (16,0) c WaitingTime_4 : 0.000000
128.67/95.62	c (16,0) c WaitingTime_5 : 0.000000
128.67/95.62	c (16,0) c WaitingTime_6 : 0.000000
128.67/95.62	c (16,0) c WaitingTime_7 : 0.000000
128.67/95.62	c (16,0) c WaitingTime_total : 0.000000
128.67/95.62	c (16,0) c WaitingTime_winner : 0.000000
128.67/95.62	c (16,0) c ExchangingTime_0 : 0.000000
128.67/95.62	c (16,0) c ExchangingTime_1 : 0.000046
128.67/95.62	c (16,0) c ExchangingTime_2 : 0.000011
128.67/95.62	c (16,0) c ExchangingTime_3 : 0.000047
128.67/95.62	c (16,0) c ExchangingTime_4 : 0.000009
128.67/95.62	c (16,0) c ExchangingTime_5 : 0.000030
128.67/95.62	c (16,0) c ExchangingTime_6 : 0.000058
128.67/95.62	c (16,0) c ExchangingTime_7 : 0.000025
128.67/95.62	c (16,0) c ExchangingTime_total : 0.000225
128.67/95.62	c (16,0) c ExchangingTime_winner : 0.000000
128.67/95.62	c (16,0) c PeriodProcTime_0 : 0.000000
128.67/95.62	c (16,0) c PeriodProcTime_1 : 0.000012
128.67/95.62	c (16,0) c PeriodProcTime_2 : 0.000007
128.67/95.62	c (16,0) c PeriodProcTime_3 : 0.000007
128.67/95.62	c (16,0) c PeriodProcTime_4 : 0.000012
128.67/95.62	c (16,0) c PeriodProcTime_5 : 0.000015
128.67/95.62	c (16,0) c PeriodProcTime_6 : 0.000041
128.67/95.62	c (16,0) c PeriodProcTime_7 : 0.000014
128.67/95.62	c (16,0) c PeriodProcTime_total : 0.000108
128.67/95.62	c (16,0) c PeriodProcTime_winner : 0.000000
128.67/95.62	c (16,0) c SolvingTime_0 : 0.455842
128.67/95.62	c (16,0) c SolvingTime_1 : 0.483702
128.67/95.62	c (16,0) c SolvingTime_2 : 0.514514
128.67/95.62	c (16,0) c SolvingTime_3 : 0.486073
128.67/95.62	c (16,0) c SolvingTime_4 : 0.504826
128.67/95.62	c (16,0) c SolvingTime_5 : 0.545684
128.67/95.62	c (16,0) c SolvingTime_6 : 0.588819
128.67/95.62	c (16,0) c SolvingTime_7 : 0.464284
128.67/95.62	c (16,0) c SolvingTime_total : 4.043743
128.67/95.62	c (16,0) c SolvingTime_winner : 0.455842
128.67/95.62	c (16,0) c PropagationTime_0 : 0.454064
128.67/95.63	c (16,0) c PropagationTime_1 : 0.475863
128.67/95.63	c (16,0) c PropagationTime_2 : 0.512707
128.67/95.63	c (16,0) c PropagationTime_3 : 0.480212
128.67/95.63	c (16,0) c PropagationTime_4 : 0.501694
128.67/95.63	c (16,0) c PropagationTime_5 : 0.543347
128.67/95.63	c (16,0) c PropagationTime_6 : 0.580785
128.67/95.63	c (16,0) c PropagationTime_7 : 0.458382
128.67/95.63	c (16,0) c PropagationTime_total : 4.007054
128.67/95.63	c (16,0) c PropagationTime_winner : 0.454064
128.67/95.63	c (16,0) c AnalysisTime_0 : 0.000000
128.67/95.63	c (16,0) c AnalysisTime_1 : 0.005055
128.67/95.63	c (16,0) c AnalysisTime_2 : 0.001002
128.67/95.63	c (16,0) c AnalysisTime_3 : 0.003364
128.67/95.63	c (16,0) c AnalysisTime_4 : 0.001626
128.67/95.63	c (16,0) c AnalysisTime_5 : 0.001204
128.67/95.63	c (16,0) c AnalysisTime_6 : 0.003856
128.67/95.63	c (16,0) c AnalysisTime_7 : 0.003376
128.67/95.63	c (16,0) c AnalysisTime_total : 0.019482
128.67/95.63	c (16,0) c AnalysisTime_winner : 0.000000
128.67/95.63	c (16,0) c ReductionTime_0 : 0.000000
128.67/95.63	c (16,0) c ReductionTime_1 : 0.000000
128.67/95.63	c (16,0) c ReductionTime_2 : 0.000000
128.67/95.63	c (16,0) c ReductionTime_3 : 0.000000
128.67/95.63	c (16,0) c ReductionTime_4 : 0.000000
128.67/95.63	c (16,0) c ReductionTime_5 : 0.000000
128.67/95.63	c (16,0) c ReductionTime_6 : 0.000000
128.67/95.63	c (16,0) c ReductionTime_7 : 0.000000
128.67/95.63	c (16,0) c ReductionTime_total : 0.000000
128.67/95.63	c (16,0) c ReductionTime_winner : 0.000000
128.67/95.63	c (16,0) c SimplifyTime_0 : 0.000000
128.67/95.63	c (16,0) c SimplifyTime_1 : 0.000001
128.67/95.63	c (16,0) c SimplifyTime_2 : 0.000000
128.67/95.63	c (16,0) c SimplifyTime_3 : 0.000000
128.67/95.63	c (16,0) c SimplifyTime_4 : 0.000000
128.67/95.63	c (16,0) c SimplifyTime_5 : 0.000000
128.67/95.63	c (16,0) c SimplifyTime_6 : 0.000000
128.67/95.63	c (16,0) c SimplifyTime_7 : 0.000000
128.67/95.63	c (16,0) c SimplifyTime_total : 0.000001
128.67/95.63	c (16,0) c SimplifyTime_winner : 0.000000
128.67/95.63	c (16,0) c UsedRateTime_0 : 0.000000
128.67/95.63	c (16,0) c UsedRateTime_1 : 0.000000
128.67/95.63	c (16,0) c UsedRateTime_2 : 0.000000
128.67/95.63	c (16,0) c UsedRateTime_3 : 0.000000
128.67/95.63	c (16,0) c UsedRateTime_4 : 0.000000
128.67/95.63	c (16,0) c UsedRateTime_5 : 0.000000
128.67/95.63	c (16,0) c UsedRateTime_6 : 0.000000
128.67/95.63	c (16,0) c UsedRateTime_7 : 0.000000
128.67/95.63	c (16,0) c UsedRateTime_total : 0.000000
128.67/95.63	c (16,0) c UsedRateTime_winner : 0.000000
128.67/95.63	c (16,0) c OverlapRateTime_0 : 0.000000
128.67/95.63	c (16,0) c OverlapRateTime_1 : 0.000000
128.67/95.63	c (16,0) c OverlapRateTime_2 : 0.000000
128.67/95.63	c (16,0) c OverlapRateTime_3 : 0.000000
128.67/95.63	c (16,0) c OverlapRateTime_4 : 0.000000
128.67/95.63	c (16,0) c OverlapRateTime_5 : 0.000000
128.67/95.63	c (16,0) c OverlapRateTime_6 : 0.000000
128.67/95.63	c (16,0) c OverlapRateTime_7 : 0.000000
128.67/95.63	c (16,0) c OverlapRateTime_total : 0.000000
128.67/95.63	c (16,0) c OverlapRateTime_winner : 0.000000
128.67/95.63	c (16,0) c
128.67/95.63	c (16,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
128.67/95.63	c (16,0) c
128.67/95.63	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
128.67/95.63	c (16,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
128.67/95.63	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
128.67/95.63	c (16,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
128.67/95.63	c (16,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
128.67/95.63	c (16,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
128.67/95.63	c (16,0) c | Initial random_seed   |  196714717 | 1662272818 | 1643833354 |  500357413 |  567495031 |   51717821 | 1089356489 | 1297999015 |
128.67/95.63	c (16,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
128.67/95.63	c (16,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
128.67/95.63	c (16,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
128.67/95.63	c (16,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
128.67/95.63	c (16,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
128.67/95.63	c (16,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
128.67/95.63	c (16,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
128.67/95.63	c (16,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
128.67/95.63	c (16,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
128.67/95.63	c (16,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
128.67/95.63	c (16,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
128.67/95.63	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
128.67/95.63	c (16,0) 
128.67/95.63	c (16,0) s SATISFIABLE
111.01/95.71	c (16,0) SatSolver.solve End
111.01/95.71	c (16,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
111.01/95.71	c (16,0) Show results Begin
129.27/95.83	c (16,0) x[0] = 0
129.27/95.83	c (16,0) x[1] = 58
129.27/95.83	c (16,0) x[2] = 62
129.27/95.83	c (16,0) x[3] = 81
129.27/95.83	c (16,0) x[4] = 140
129.27/95.83	c (16,0) x[5] = 169
129.27/95.83	c (16,0) x[6] = 234
129.27/95.83	c (16,0) x[7] = 22
129.27/95.83	c (16,0) x[8] = 101
129.27/95.83	c (16,0) x[9] = 155
129.27/95.83	c (16,0) x[10] = 166
129.27/95.83	c (16,0) x[11] = 176
129.27/95.83	c (16,0) x[12] = 198
129.27/95.83	c (16,0) x[13] = 3
129.27/95.83	c (16,0) x[14] = 38
129.27/95.83	c (16,0) x[15] = 83
129.27/95.83	c (16,0) x[16] = 159
129.27/95.83	c (16,0) x[17] = 189
129.27/95.83	c (16,0) x[18] = 9
129.27/95.83	c (16,0) x[19] = 66
129.27/95.83	c (16,0) x[20] = 91
129.27/95.83	c (16,0) x[21] = 126
129.27/95.83	c (16,0) x[22] = 173
129.27/95.83	c (16,0) x[23] = 243
129.27/95.83	c (16,0) x[24] = 48
129.27/95.83	c (16,0) x[25] = 182
129.27/95.83	c (16,0) x[26] = 27
129.27/95.83	c (16,0) x[27] = 164
129.27/95.83	c (16,0) x[28] = 211
129.27/95.83	c (16,0) x[29] = 7
129.27/95.83	c (16,0) x[30] = 25
129.27/95.83	c (16,0) x[31] = 50
129.27/95.83	c (16,0) x[32] = 55
129.27/95.83	c (16,0) x[33] = 153
129.27/95.83	c (16,0) x[34] = 185
129.27/95.83	c (16,0) x[35] = 197
129.27/95.83	c (16,0) x[36] = 224
129.27/95.83	c (16,0) x[37] = 249
129.27/95.83	c (16,0) x[38] = 33
129.27/95.83	c (16,0) x[39] = 118
129.27/95.83	c (16,0) x[40] = 171
129.27/95.83	c (16,0) x[41] = 172
129.27/95.83	c (16,0) x[42] = 51
129.27/95.83	c (16,0) x[43] = 218
129.27/95.83	c (16,0) x[44] = 72
129.27/95.83	c (16,0) x[45] = 100
129.27/95.83	c (16,0) x[46] = 184
129.27/95.83	c (16,0) x[47] = 108
129.27/95.83	c (16,0) x[48] = 209
129.27/95.83	c (16,0) x[49] = 40
129.27/95.83	c (16,0) x[50] = 67
129.27/95.83	c (16,0) x[51] = 34
129.27/95.83	c (16,0) x[52] = 111
129.27/95.83	c (16,0) x[53] = 144
129.27/95.83	c (16,0) x[54] = 188
129.27/95.83	c (16,0) x[55] = 214
129.27/95.83	c (16,0) x[56] = 115
129.27/95.83	c (16,0) x[57] = 136
129.27/95.83	c (16,0) x[58] = 220
129.27/95.83	c (16,0) x[59] = 2
129.27/95.83	c (16,0) x[60] = 125
129.27/95.83	c (16,0) x[61] = 196
129.27/95.83	c (16,0) x[62] = 93
129.27/95.83	c (16,0) x[63] = 248
129.27/95.83	c (16,0) x[64] = 8
129.27/95.83	c (16,0) x[65] = 221
129.27/95.83	c (16,0) x[66] = 46
129.27/95.83	c (16,0) x[67] = 138
129.27/95.83	c (16,0) x[68] = 32
129.27/95.83	c (16,0) x[69] = 74
129.27/95.83	c (16,0) x[70] = 86
129.27/95.83	c (16,0) x[71] = 112
129.27/95.83	c (16,0) x[72] = 147
129.27/95.83	c (16,0) x[73] = 75
129.27/95.83	c (16,0) x[74] = 219
129.27/95.83	c (16,0) x[75] = 80
129.27/95.83	c (16,0) x[76] = 139
129.27/95.83	c (16,0) x[77] = 6
129.27/95.83	c (16,0) x[78] = 54
129.27/95.83	c (16,0) x[79] = 94
129.27/95.83	c (16,0) x[80] = 161
129.27/95.83	c (16,0) x[81] = 228
129.27/95.83	c (16,0) x[82] = 238
129.27/95.83	c (16,0) x[83] = 215
129.27/95.83	c (16,0) x[84] = 254
129.27/95.83	c (16,0) x[85] = 208
129.27/95.84	c (16,0) x[86] = 251
129.27/95.84	c (16,0) x[87] = 49
129.27/95.84	c (16,0) x[88] = 88
129.27/95.84	c (16,0) x[89] = 130
129.27/95.84	c (16,0) x[90] = 245
129.27/95.84	c (16,0) x[91] = 39
129.27/95.84	c (16,0) x[92] = 96
129.27/95.84	c (16,0) x[93] = 225
129.27/95.84	c (16,0) x[94] = 244
129.27/95.84	c (16,0) x[95] = 5
129.27/95.84	c (16,0) x[96] = 41
129.27/95.84	c (16,0) x[97] = 191
129.27/95.84	c (16,0) x[98] = 145
129.27/95.84	c (16,0) x[99] = 135
129.27/95.84	c (16,0) x[100] = 70
129.27/95.84	c (16,0) x[101] = 45
129.27/95.84	s SATISFIABLE
129.27/95.85	v <instantiation>
129.27/95.85	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>
129.27/95.85	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>
129.27/95.85	v </instantiation>
129.27/95.85	c (16,0) Show results End
129.27/95.85	c (16,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
129.27/95.85	c (16,0) 16,16,STOP-AFTER(ALL)
129.27/95.85	c END-Prog: Tue Sep 24 17:24:15 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 (4496 MiB free)
  memory of node 1: 16384 MiB (4587 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405430-1569338600/watcher-4405430-1569338600 -o /var/tmp/evaluation-result-4405430-1569338600/solver-4405430-1569338600 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569335938-16167 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405430-1569338600.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=16776, runsolver pid=16773
Current StackSize limit: 8192 KiB


[startup+0.100157 s]*
/proc/loadavg: 7.10 7.62 7.21 2/213 16798
/proc/meminfo: memFree=9208108/32770624 swapFree=67023896/67108860
[pid=16776] ppid=16773 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16776/stat : 16776 (scop.sh) S 16773 16776 16140 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 510132490 115843072 349 33554432000 4194304 5098028 140733477537792 140733477535048 139806851043964 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40366080 140733477544700 140733477545048 140733477545048 140733477547977 0
/proc/16776/statm: 28282 349 296 221 0 87 0
[pid=16779] ppid=16776 vsize=27314120 memory=107636 CPUtime=0.1 cores=0-7
/proc/16779/stat : 16779 (java) S 16776 16776 16140 0 -1 1077944320 6512 0 0 0 8 2 0 0 20 0 20 0 510132490 27969658880 26909 33554432000 4194304 4196468 140734152786704 140734152769248 140350591938295 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
/proc/16779/statm: 6828530 26909 2797 1 0 6790935 0
[pid=16779/tid=16780] ppid=16776 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/16779/task/16780/stat : 16780 (java) R 16776 16776 16140 0 -1 4202560 4607 0 0 0 7 2 0 0 20 0 20 0 510132491 27969658880 26909 33554432000 4194304 4196468 140734152786704 140350563770496 140350584175422 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16781] ppid=16776 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/16779/task/16781/stat : 16781 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 26909 33554432000 4194304 4196468 140734152786704 140350596180752 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16782] ppid=16776 vsize=27314120 memory=140080877409920 CPUtime=0 cores=0-7
/proc/16779/task/16782/stat : 16782 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 26909 33554432000 4194304 4196468 140734152786704 140350410337168 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16783] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16783/stat : 16783 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 26909 33554432000 4194304 4196468 140734152786704 140350409284624 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16784] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16784/stat : 16784 (java) S 16776 16776 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 26909 33554432000 4194304 4196468 140734152786704 140350408232080 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16785] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16785/stat : 16785 (java) S 16776 16776 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 26909 33554432000 4194304 4196468 140734152786704 140350407178512 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16786] ppid=16776 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16779/task/16786/stat : 16786 (java) S 16776 16776 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 26909 33554432000 4194304 4196468 140734152786704 140350406125968 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16787] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16787/stat : 16787 (java) S 16776 16776 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 26909 33554432000 4194304 4196468 140734152786704 140350008752656 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16788] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16788/stat : 16788 (java) S 16776 16776 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 26909 33554432000 4194304 4196468 140734152786704 140350007700112 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16789] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16789/stat : 16789 (java) S 16776 16776 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510132495 27969658880 26973 33554432000 4194304 4196468 140734152786704 140349025405424 140350591949442 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16790] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16790/stat : 16790 (java) S 16776 16776 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510132495 27969658880 26973 33554432000 4194304 4196468 140734152786704 140348391155104 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16791] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16791/stat : 16791 (java) S 16776 16776 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510132495 27969658880 26973 33554432000 4194304 4196468 140734152786704 140348256933360 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16792] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16792/stat : 16792 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510132498 27969658880 26973 33554432000 4194304 4196468 140734152786704 140347882429136 140350591956891 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16793] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16793/stat : 16793 (java) S 16776 16776 16140 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 510132498 27969658880 26973 33554432000 4194304 4196468 140734152786704 140349024352240 140350591949442 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16794] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16794/stat : 16794 (java) S 16776 16776 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510132498 27969658880 26973 33554432000 4194304 4196468 140734152786704 140349023299696 140350591949442 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16795] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16795/stat : 16795 (java) S 16776 16776 16140 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510132498 27969658880 26973 33554432000 4194304 4196468 140734152786704 140349022247152 140350591949442 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16796] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16796/stat : 16796 (java) R 16776 16776 16140 0 -1 4202560 278 0 0 0 0 0 0 0 20 0 20 0 510132498 27969658880 26973 33554432000 4194304 4196468 140734152786704 140349021194608 140350570055411 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16797] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16797/stat : 16797 (java) S 16776 16776 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510132498 27969658880 26973 33554432000 4194304 4196468 140734152786704 140347384523488 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16798] ppid=16776 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16779/task/16798/stat : 16798 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510132498 27969658880 26973 33554432000 4194304 4196468 140734152786704 140349020142512 140350591949442 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109032 KiB

[startup+0.210692 s]*
/proc/loadavg: 6.61 7.51 7.17 3/213 16798
/proc/meminfo: memFree=9186612/32770624 swapFree=67023896/67108860
[pid=16776] ppid=16773 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16776/stat : 16776 (scop.sh) S 16773 16776 16140 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 510132490 115843072 349 33554432000 4194304 5098028 140733477537792 140733477535048 139806851043964 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40366080 140733477544700 140733477545048 140733477545048 140733477547977 0
/proc/16776/statm: 28282 349 296 221 0 87 0
[pid=16779] ppid=16776 vsize=27314120 memory=124684 CPUtime=0.25 cores=0-7
/proc/16779/stat : 16779 (java) S 16776 16776 16140 0 -1 1077944320 12111 0 0 0 20 5 0 0 20 0 20 0 510132490 27969658880 31171 33554432000 4194304 4196468 140734152786704 140734152769248 140350591938295 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
/proc/16779/statm: 6828530 31171 2941 1 0 6790935 0
[pid=16779/tid=16780] ppid=16776 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/16779/task/16780/stat : 16780 (java) R 16776 16776 16140 0 -1 4202560 9805 0 0 0 16 4 0 0 20 0 20 0 510132491 27969658880 31171 33554432000 4194304 4196468 140734152786704 140350563737680 140350573501855 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16781] ppid=16776 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/16779/task/16781/stat : 16781 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 31171 33554432000 4194304 4196468 140734152786704 140350596180752 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16782] ppid=16776 vsize=27314120 memory=288370457029121664 CPUtime=0 cores=0-7
/proc/16779/task/16782/stat : 16782 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 31171 33554432000 4194304 4196468 140734152786704 140350410337168 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16783] ppid=16776 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16779/task/16783/stat : 16783 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 31171 33554432000 4194304 4196468 140734152786704 140350409284624 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16784] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16784/stat : 16784 (java) S 16776 16776 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 31171 33554432000 4194304 4196468 140734152786704 140350408232080 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16785] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16785/stat : 16785 (java) S 16776 16776 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 31171 33554432000 4194304 4196468 140734152786704 140350407178512 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16786] ppid=16776 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16779/task/16786/stat : 16786 (java) S 16776 16776 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 31171 33554432000 4194304 4196468 140734152786704 140350406125968 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16787] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16787/stat : 16787 (java) S 16776 16776 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 31171 33554432000 4194304 4196468 140734152786704 140350008752656 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16788] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16788/stat : 16788 (java) S 16776 16776 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 31171 33554432000 4194304 4196468 140734152786704 140350007700112 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16789] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16789/stat : 16789 (java) S 16776 16776 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510132495 27969658880 31171 33554432000 4194304 4196468 140734152786704 140349025405424 140350591949442 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16790] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16790/stat : 16790 (java) S 16776 16776 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510132495 27969658880 31171 33554432000 4194304 4196468 140734152786704 140348391155104 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16791] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16791/stat : 16791 (java) S 16776 16776 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510132495 27969658880 31171 33554432000 4194304 4196468 140734152786704 140348256933360 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16792] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16792/stat : 16792 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510132498 27969658880 31171 33554432000 4194304 4196468 140734152786704 140347882429136 140350591956891 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16793] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16793/stat : 16793 (java) S 16776 16776 16140 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 20 0 510132498 27969658880 31171 33554432000 4194304 4196468 140734152786704 140349024352240 140350591949442 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16794] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16794/stat : 16794 (java) S 16776 16776 16140 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 510132498 27969658880 31171 33554432000 4194304 4196468 140734152786704 140349023299696 140350591949442 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16795] ppid=16776 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16779/task/16795/stat : 16795 (java) S 16776 16776 16140 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 510132498 27969658880 31171 33554432000 4194304 4196468 140734152786704 140349022247152 140350591949442 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16796] ppid=16776 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/16779/task/16796/stat : 16796 (java) S 16776 16776 16140 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 20 0 510132498 27969658880 31171 33554432000 4194304 4196468 140734152786704 140349021194608 140350591949442 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16797] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16797/stat : 16797 (java) S 16776 16776 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510132498 27969658880 31171 33554432000 4194304 4196468 140734152786704 140347384523488 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16798] ppid=16776 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16779/task/16798/stat : 16798 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510132498 27969658880 31171 33554432000 4194304 4196468 140734152786704 140349020142512 140350591949442 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126080 KiB

[startup+0.309916 s]*
/proc/loadavg: 6.61 7.51 7.17 2/213 16798
/proc/meminfo: memFree=9183696/32770624 swapFree=67023896/67108860
[pid=16776] ppid=16773 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16776/stat : 16776 (scop.sh) S 16773 16776 16140 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 510132490 115843072 349 33554432000 4194304 5098028 140733477537792 140733477535048 139806851043964 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40366080 140733477544700 140733477545048 140733477545048 140733477547977 0
/proc/16776/statm: 28282 349 296 221 0 87 0
[pid=16779] ppid=16776 vsize=27314120 memory=128292 CPUtime=0.42 cores=0-7
/proc/16779/stat : 16779 (java) S 16776 16776 16140 0 -1 1077944320 12469 0 0 0 37 5 0 0 20 0 20 0 510132490 27969658880 32073 33554432000 4194304 4196468 140734152786704 140734152769248 140350591938295 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
/proc/16779/statm: 6828530 32073 3011 1 0 6790935 0
[pid=16779/tid=16780] ppid=16776 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16779/task/16780/stat : 16780 (java) R 16776 16776 16140 0 -1 4202560 9992 0 0 0 25 4 0 0 20 0 20 0 510132491 27969658880 32073 33554432000 4194304 4196468 140734152786704 140350563723280 140350573312064 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16781] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16781/stat : 16781 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 32073 33554432000 4194304 4196468 140734152786704 140350596180752 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16782] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16782/stat : 16782 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 32073 33554432000 4194304 4196468 140734152786704 140350410337168 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16783] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16783/stat : 16783 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 32073 33554432000 4194304 4196468 140734152786704 140350409284624 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16784] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16784/stat : 16784 (java) S 16776 16776 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 32073 33554432000 4194304 4196468 140734152786704 140350408232080 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16785] ppid=16776 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/16779/task/16785/stat : 16785 (java) S 16776 16776 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 32073 33554432000 4194304 4196468 140734152786704 140350407178512 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16786] ppid=16776 vsize=27314120 memory=140080761107375 CPUtime=0 cores=0-7
/proc/16779/task/16786/stat : 16786 (java) S 16776 16776 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 32073 33554432000 4194304 4196468 140734152786704 140350406125968 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16787] ppid=16776 vsize=27314120 memory=140080761109680 CPUtime=0 cores=0-7
/proc/16779/task/16787/stat : 16787 (java) S 16776 16776 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 32073 33554432000 4194304 4196468 140734152786704 140350008752656 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16788] ppid=16776 vsize=27314120 memory=140080761111984 CPUtime=0 cores=0-7
/proc/16779/task/16788/stat : 16788 (java) S 16776 16776 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510132493 27969658880 32073 33554432000 4194304 4196468 140734152786704 140350007700112 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16789] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16789/stat : 16789 (java) S 16776 16776 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510132495 27969658880 32073 33554432000 4194304 4196468 140734152786704 140349025405424 140350591949442 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16790] ppid=16776 vsize=27314120 memory=280161522230928 CPUtime=0 cores=0-7
/proc/16779/task/16790/stat : 16790 (java) S 16776 16776 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510132495 27969658880 32073 33554432000 4194304 4196468 140734152786704 140348391155104 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16791] ppid=16776 vsize=27314120 memory=280161522237840 CPUtime=0 cores=0-7
/proc/16779/task/16791/stat : 16791 (java) S 16776 16776 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510132495 27969658880 32073 33554432000 4194304 4196468 140734152786704 140348256933360 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16792] ppid=16776 vsize=27314120 memory=280161522179120 CPUtime=0 cores=0-7
/proc/16779/task/16792/stat : 16792 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510132498 27969658880 32073 33554432000 4194304 4196468 140734152786704 140347882429136 140350591956891 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16793] ppid=16776 vsize=27314120 memory=280161522251664 CPUtime=0.02 cores=0-7
/proc/16779/task/16793/stat : 16793 (java) S 16776 16776 16140 0 -1 1077944384 421 0 0 0 2 0 0 0 20 0 20 0 510132498 27969658880 32073 33554432000 4194304 4196468 140734152786704 140349024352240 140350591949442 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16794] ppid=16776 vsize=27314120 memory=280161522258576 CPUtime=0 cores=0-7
/proc/16779/task/16794/stat : 16794 (java) S 16776 16776 16140 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 510132498 27969658880 32073 33554432000 4194304 4196468 140734152786704 140349023299696 140350591949442 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16795] ppid=16776 vsize=27314120 memory=280161522256272 CPUtime=0.01 cores=0-7
/proc/16779/task/16795/stat : 16795 (java) S 16776 16776 16140 0 -1 1077944384 183 0 0 0 1 0 0 0 20 0 20 0 510132498 27969658880 32073 33554432000 4194304 4196468 140734152786704 140349022247152 140350591949442 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16796] ppid=16776 vsize=27314120 memory=280161522272432 CPUtime=0.07 cores=0-7
/proc/16779/task/16796/stat : 16796 (java) S 16776 16776 16140 0 -1 1077944384 465 0 0 0 7 0 0 0 20 0 20 0 510132498 27969658880 32073 33554432000 4194304 4196468 140734152786704 140349021194608 140350591949442 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16797] ppid=16776 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16797/stat : 16797 (java) S 16776 16776 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510132498 27969658880 32073 33554432000 4194304 4196468 140734152786704 140347384523488 140350591948501 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16798] ppid=16776 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16779/task/16798/stat : 16798 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510132498 27969658880 32073 33554432000 4194304 4196468 140734152786704 140349020142512 140350591949442 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129688 KiB

[startup+0.700963 s]
/proc/loadavg: 6.61 7.51 7.17 2/213 16798
/proc/meminfo: memFree=9162816/32770624 swapFree=67023896/67108860
[pid=16776] ppid=16773 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16776/stat : 16776 (scop.sh) S 16773 16776 16140 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 510132490 115843072 349 33554432000 4194304 5098028 140733477537792 140733477535048 139806851043964 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40366080 140733477544700 140733477545048 140733477545048 140733477547977 0
/proc/16776/statm: 28282 349 296 221 0 87 0
[pid=16779] ppid=16776 vsize=27322440 memory=163296 CPUtime=0.99 cores=0-7
/proc/16779/stat : 16779 (java) S 16776 16776 16140 0 -1 1077944320 20013 0 0 0 91 8 0 0 20 0 20 0 510132490 27978178560 40824 33554432000 4194304 4196468 140734152786704 140734152769248 140350591938295 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
/proc/16779/statm: 6830610 40824 3183 1 0 6791959 0
[pid=16779/tid=16780] ppid=16776 vsize=27322440 memory=280161522630320 CPUtime=0.67 cores=0-7
/proc/16779/task/16780/stat : 16780 (java) R 16776 16776 16140 0 -1 4202560 17016 0 0 0 60 7 0 0 20 0 20 0 510132491 27978178560 40824 33554432000 4194304 4196468 140734152786704 140350563772336 140350576018782 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16781] ppid=16776 vsize=27322440 memory=140080761316208 CPUtime=0 cores=0-7
/proc/16779/task/16781/stat : 16781 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510132493 27978178560 40824 33554432000 4194304 4196468 140734152786704 140350596180752 140350591948501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16782] ppid=16776 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/16779/task/16782/stat : 16782 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510132493 27978178560 40824 33554432000 4194304 4196468 140734152786704 140350410337168 140350591948501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0
[pid=16779/tid=16783] ppid=16776 vsize=27322440 memory=1076 CPUtime=0 cores=0-7
/proc/16779/task/16783/stat : 16783 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510132493 27978178560 40824 33554432000 4194304 4196468 140734152786704 140350409284624 140350591948501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11141120 140734152794822 140734152795270 140734152795270 140734152798159 0

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

/proc/16802/task/16806/stat : 16806 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510140354 8616062976 30063 33554432000 4194304 4196468 140725929017120 140622050180240 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16807] ppid=16776 vsize=8414124 memory=120252 CPUtime=0 cores=0-7
/proc/16802/task/16807/stat : 16807 (java) S 16776 16776 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510140354 8616062976 30063 33554432000 4194304 4196468 140725929017120 140622049127440 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16808] ppid=16776 vsize=8414124 memory=337624 CPUtime=0 cores=0-7
/proc/16802/task/16808/stat : 16808 (java) S 16776 16776 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510140354 8616062976 30063 33554432000 4194304 4196468 140725929017120 140622048074128 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16809] ppid=16776 vsize=8414124 memory=120252 CPUtime=0 cores=0-7
/proc/16802/task/16809/stat : 16809 (java) S 16776 16776 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510140354 8616062976 30063 33554432000 4194304 4196468 140725929017120 140622047021328 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16810] ppid=16776 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/16802/task/16810/stat : 16810 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510140354 8616062976 30063 33554432000 4194304 4196468 140725929017120 140622045969040 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16811] ppid=16776 vsize=8414124 memory=120252 CPUtime=0 cores=0-7
/proc/16802/task/16811/stat : 16811 (java) S 16776 16776 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510140354 8616062976 30063 33554432000 4194304 4196468 140725929017120 140622044916240 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16812] ppid=16776 vsize=8414124 memory=337624 CPUtime=0 cores=0-7
/proc/16802/task/16812/stat : 16812 (java) S 16776 16776 16140 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510140355 8616062976 30063 33554432000 4194304 4196468 140725929017120 140621390015088 140622565653122 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16813] ppid=16776 vsize=8414124 memory=-7824251494390914403 CPUtime=0 cores=0-7
/proc/16802/task/16813/stat : 16813 (java) S 16776 16776 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510140356 8616062976 30063 33554432000 4194304 4196468 140725929017120 140621188687136 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16814] ppid=16776 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/16802/task/16814/stat : 16814 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510140356 8616062976 30063 33554432000 4194304 4196468 140725929017120 140620920252016 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16815] ppid=16776 vsize=8414124 memory=120252 CPUtime=0 cores=0-7
/proc/16802/task/16815/stat : 16815 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510140359 8616062976 30063 33554432000 4194304 4196468 140725929017120 140620545743440 140622565660571 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16816] ppid=16776 vsize=8414124 memory=319444 CPUtime=0.06 cores=0-7
/proc/16802/task/16816/stat : 16816 (java) S 16776 16776 16140 0 -1 1077944384 621 0 0 0 6 0 0 0 20 0 24 0 510140359 8616062976 30063 33554432000 4194304 4196468 140725929017120 140621388961904 140622565653122 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16817] ppid=16776 vsize=8414124 memory=-7824251494390914403 CPUtime=0.06 cores=0-7
/proc/16802/task/16817/stat : 16817 (java) S 16776 16776 16140 0 -1 1077944384 266 0 0 0 6 0 0 0 20 0 24 0 510140359 8616062976 30063 33554432000 4194304 4196468 140725929017120 140621387909104 140622565653122 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16818] ppid=16776 vsize=8414124 memory=4126316290023845779 CPUtime=0.05 cores=0-7
/proc/16802/task/16818/stat : 16818 (java) S 16776 16776 16140 0 -1 1077944384 263 0 0 0 5 0 0 0 20 0 24 0 510140359 8616062976 30063 33554432000 4194304 4196468 140725929017120 140621386856816 140622565653122 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16819] ppid=16776 vsize=8414124 memory=1760 CPUtime=0.21 cores=0-7
/proc/16802/task/16819/stat : 16819 (java) S 16776 16776 16140 0 -1 1077944384 568 0 0 0 21 0 0 0 20 0 24 0 510140359 8616062976 30063 33554432000 4194304 4196468 140725929017120 140621385804016 140622565653122 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16820] ppid=16776 vsize=8414124 memory=1040 CPUtime=0 cores=0-7
/proc/16802/task/16820/stat : 16820 (java) S 16776 16776 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510140359 8616062976 30063 33554432000 4194304 4196468 140725929017120 140620047838048 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16821] ppid=16776 vsize=8414124 memory=2084 CPUtime=0 cores=0-7
/proc/16802/task/16821/stat : 16821 (java) S 16776 16776 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510140359 8616062976 30063 33554432000 4194304 4196468 140725929017120 140621384751920 140622565653122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16823] ppid=16776 vsize=8414124 memory=1480 CPUtime=0 cores=0-7
/proc/16802/task/16823/stat : 16823 (java) S 16776 16776 16140 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510140427 8616062976 30063 33554432000 4194304 4196468 140725929017120 140621377275712 140622565666585 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16825] ppid=16776 vsize=8414124 memory=3880 CPUtime=0 cores=0-7
/proc/16802/task/16825/stat : 16825 (java) S 16776 16776 16140 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 510140427 8616062976 30063 33554432000 4194304 4196468 140725929017120 140619376737680 140622565663901 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16826] ppid=16776 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/16802/task/16826/stat : 16826 (java) S 16776 16776 16140 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510140427 8616062976 30063 33554432000 4194304 4196468 140725929017120 140619645173008 140622565663901 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16827] ppid=16776 vsize=8414124 memory=-7824251494390914403 CPUtime=0 cores=0-7
/proc/16802/task/16827/stat : 16827 (java) S 16776 16776 16140 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510140429 8616062976 30063 33554432000 4194304 4196468 140725929017120 140619108310320 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
Current children cumulated CPU time: 127.04 s
Current children cumulated vsize: 11129484 KiB
Current children cumulated memory: 2124656 KiB

[startup+95.6012 s]
/proc/loadavg: 2.74 5.95 6.65 2/218 16829
/proc/meminfo: memFree=7215316/32770624 swapFree=67023896/67108860
[pid=16776] ppid=16773 vsize=113128 memory=1476 CPUtime=109.58 cores=0-7
/proc/16776/stat : 16776 (scop.sh) S 16773 16776 16140 0 -1 4202496 583 67412 0 0 0 0 10210 748 20 0 1 0 510132490 115843072 369 33554432000 4194304 5098028 140733477537792 140733477534536 139806851043964 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40366080 140733477544700 140733477545048 140733477545048 140733477547977 0
/proc/16776/statm: 28282 369 311 221 0 87 0
[pid=16802] ppid=16776 vsize=8414124 memory=120252 CPUtime=1.2 cores=0-7
/proc/16802/stat : 16802 (java) S 16776 16776 16140 0 -1 1077944320 21072 0 0 0 112 8 0 0 20 0 24 0 510140352 8616062976 30063 33554432000 4194304 4196468 140725929017120 140725928999664 140622565641975 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
/proc/16802/statm: 2103531 30063 3196 1 0 2064875 0
[pid=16822] ppid=16802 vsize=2585840 memory=2075228 CPUtime=17.89 cores=0-7
/proc/16822/stat : 16822 (manyglucose-4.1) S 16802 16776 16140 0 -1 1077944320 373015 0 0 0 1714 75 0 0 20 0 2 0 510140427 2647900160 518807 33554432000 4194304 4454172 140725983702816 140725983701200 140498696830711 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 26300416 140725983703885 140725983704092 140725983704092 140725983707062 0
/proc/16822/statm: 646460 518807 407 64 0 642128 0
[pid=16802/tid=16803] ppid=16776 vsize=8414124 memory=-7824251494390914403 CPUtime=0.77 cores=0-7
/proc/16802/task/16803/stat : 16803 (java) S 16776 16776 16140 0 -1 1077944384 17957 0 0 0 72 5 0 0 20 0 24 0 510140352 8616062976 30063 33554432000 4194304 4196468 140725929017120 140622537482144 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16804] ppid=16776 vsize=8414124 memory=51984 CPUtime=0 cores=0-7
/proc/16802/task/16804/stat : 16804 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510140354 8616062976 30063 33554432000 4194304 4196468 140725929017120 140622569884560 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16805] ppid=16776 vsize=8414124 memory=1040 CPUtime=0 cores=0-7
/proc/16802/task/16805/stat : 16805 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510140354 8616062976 30063 33554432000 4194304 4196468 140725929017120 140622051232528 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16806] ppid=16776 vsize=8414124 memory=2084 CPUtime=0 cores=0-7
/proc/16802/task/16806/stat : 16806 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510140354 8616062976 30063 33554432000 4194304 4196468 140725929017120 140622050180240 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16807] ppid=16776 vsize=8414124 memory=1244 CPUtime=0 cores=0-7
/proc/16802/task/16807/stat : 16807 (java) S 16776 16776 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510140354 8616062976 30063 33554432000 4194304 4196468 140725929017120 140622049127440 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16808] ppid=16776 vsize=8414124 memory=14064 CPUtime=0 cores=0-7
/proc/16802/task/16808/stat : 16808 (java) S 16776 16776 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510140354 8616062976 30063 33554432000 4194304 4196468 140725929017120 140622048074128 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16809] ppid=16776 vsize=8414124 memory=23044 CPUtime=0 cores=0-7
/proc/16802/task/16809/stat : 16809 (java) S 16776 16776 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510140354 8616062976 30063 33554432000 4194304 4196468 140725929017120 140622047021328 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16810] ppid=16776 vsize=8414124 memory=2256 CPUtime=0 cores=0-7
/proc/16802/task/16810/stat : 16810 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510140354 8616062976 30063 33554432000 4194304 4196468 140725929017120 140622045969040 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16811] ppid=16776 vsize=8414124 memory=12328 CPUtime=0 cores=0-7
/proc/16802/task/16811/stat : 16811 (java) S 16776 16776 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510140354 8616062976 30063 33554432000 4194304 4196468 140725929017120 140622044916240 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16812] ppid=16776 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/16802/task/16812/stat : 16812 (java) S 16776 16776 16140 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510140355 8616062976 30063 33554432000 4194304 4196468 140725929017120 140621390015088 140622565653122 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16813] ppid=16776 vsize=8414124 memory=1584 CPUtime=0 cores=0-7
/proc/16802/task/16813/stat : 16813 (java) S 16776 16776 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510140356 8616062976 30063 33554432000 4194304 4196468 140725929017120 140621188687136 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16814] ppid=16776 vsize=8414124 memory=1744 CPUtime=0 cores=0-7
/proc/16802/task/16814/stat : 16814 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510140356 8616062976 30063 33554432000 4194304 4196468 140725929017120 140620920252016 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16815] ppid=16776 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/16802/task/16815/stat : 16815 (java) S 16776 16776 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510140359 8616062976 30063 33554432000 4194304 4196468 140725929017120 140620545743440 140622565660571 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16816] ppid=16776 vsize=8414124 memory=1940 CPUtime=0.06 cores=0-7
/proc/16802/task/16816/stat : 16816 (java) S 16776 16776 16140 0 -1 1077944384 621 0 0 0 6 0 0 0 20 0 24 0 510140359 8616062976 30063 33554432000 4194304 4196468 140725929017120 140621388961904 140622565653122 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16817] ppid=16776 vsize=8414124 memory=1996 CPUtime=0.06 cores=0-7
/proc/16802/task/16817/stat : 16817 (java) S 16776 16776 16140 0 -1 1077944384 266 0 0 0 6 0 0 0 20 0 24 0 510140359 8616062976 30063 33554432000 4194304 4196468 140725929017120 140621387909104 140622565653122 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16818] ppid=16776 vsize=8414124 memory=2508 CPUtime=0.05 cores=0-7
/proc/16802/task/16818/stat : 16818 (java) S 16776 16776 16140 0 -1 1077944384 263 0 0 0 5 0 0 0 20 0 24 0 510140359 8616062976 30063 33554432000 4194304 4196468 140725929017120 140621386856816 140622565653122 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16819] ppid=16776 vsize=8414124 memory=1532 CPUtime=0.21 cores=0-7
/proc/16802/task/16819/stat : 16819 (java) S 16776 16776 16140 0 -1 1077944384 568 0 0 0 21 0 0 0 20 0 24 0 510140359 8616062976 30063 33554432000 4194304 4196468 140725929017120 140621385804016 140622565653122 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16820] ppid=16776 vsize=8414124 memory=836 CPUtime=0 cores=0-7
/proc/16802/task/16820/stat : 16820 (java) S 16776 16776 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510140359 8616062976 30063 33554432000 4194304 4196468 140725929017120 140620047838048 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16821] ppid=16776 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/16802/task/16821/stat : 16821 (java) S 16776 16776 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510140359 8616062976 30063 33554432000 4194304 4196468 140725929017120 140621384751920 140622565653122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16823] ppid=16776 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/16802/task/16823/stat : 16823 (java) S 16776 16776 16140 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510140427 8616062976 30063 33554432000 4194304 4196468 140725929017120 140621377275712 140622565666585 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16825] ppid=16776 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/16802/task/16825/stat : 16825 (java) S 16776 16776 16140 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 510140427 8616062976 30063 33554432000 4194304 4196468 140725929017120 140619376737680 140622565663901 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16826] ppid=16776 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/16802/task/16826/stat : 16826 (java) S 16776 16776 16140 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510140427 8616062976 30063 33554432000 4194304 4196468 140725929017120 140619645173008 140622565663901 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16827] ppid=16776 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/16802/task/16827/stat : 16827 (java) S 16776 16776 16140 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510140429 8616062976 30063 33554432000 4194304 4196468 140725929017120 140619108310320 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
Current children cumulated CPU time: 128.67 s
Current children cumulated vsize: 11113092 KiB
Current children cumulated memory: 2196956 KiB

[startup+95.8011 s]
/proc/loadavg: 2.74 5.95 6.65 2/218 16829
/proc/meminfo: memFree=7215316/32770624 swapFree=67023896/67108860
[pid=16776] ppid=16773 vsize=113128 memory=1476 CPUtime=109.58 cores=0-7
/proc/16776/stat : 16776 (scop.sh) S 16773 16776 16140 0 -1 4202496 583 67412 0 0 0 0 10210 748 20 0 1 0 510132490 115843072 369 33554432000 4194304 5098028 140733477537792 140733477534536 139806851043964 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40366080 140733477544700 140733477545048 140733477545048 140733477547977 0
/proc/16776/statm: 28282 369 311 221 0 87 0
[pid=16802] ppid=16776 vsize=8283048 memory=146964 CPUtime=19.69 cores=0-7
/proc/16802/stat : 16802 (java) S 16776 16776 16140 0 -1 1077944320 22661 373073 0 0 160 10 1717 82 20 0 22 0 510140352 8481841152 36741 33554432000 4194304 4196468 140725929017120 140725928999664 140622565641975 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
/proc/16802/statm: 2070762 36741 3226 1 0 2032106 0
[pid=16802/tid=16803] ppid=16776 vsize=8283048 memory=1412 CPUtime=18.84 cores=0-7
/proc/16802/task/16803/stat : 16803 (java) R 16776 16776 16140 0 -1 4202560 18204 373073 0 0 80 5 1717 82 20 0 22 0 510140352 8481841152 36741 33554432000 4194304 4196468 140725929017120 140622537482176 140622565653910 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16804] ppid=16776 vsize=8283048 memory=3252 CPUtime=17.99 cores=0-7
/proc/16802/task/16804/stat : 16804 (java) S 16776 16776 16140 0 -1 1077944384 1 373073 0 0 0 0 1717 82 20 0 22 0 510140354 8481841152 36741 33554432000 4194304 4196468 140725929017120 140622569884560 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16805] ppid=16776 vsize=8283048 memory=1476 CPUtime=17.99 cores=0-7
/proc/16802/task/16805/stat : 16805 (java) S 16776 16776 16140 0 -1 1077944384 1 373073 0 0 0 0 1717 82 20 0 22 0 510140354 8481841152 36741 33554432000 4194304 4196468 140725929017120 140622051232528 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16806] ppid=16776 vsize=8283048 memory=120252 CPUtime=17.99 cores=0-7
/proc/16802/task/16806/stat : 16806 (java) S 16776 16776 16140 0 -1 1077944384 1 373073 0 0 0 0 1717 82 20 0 22 0 510140354 8481841152 36741 33554432000 4194304 4196468 140725929017120 140622050180240 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16807] ppid=16776 vsize=8283048 memory=1916428 CPUtime=17.99 cores=0-7
/proc/16802/task/16807/stat : 16807 (java) S 16776 16776 16140 0 -1 1077944384 3 373073 0 0 0 0 1717 82 20 0 22 0 510140354 8481841152 36741 33554432000 4194304 4196468 140725929017120 140622049127440 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16808] ppid=16776 vsize=8283048 memory=-7824251494390914403 CPUtime=17.99 cores=0-7
/proc/16802/task/16808/stat : 16808 (java) S 16776 16776 16140 0 -1 1077944384 2 373073 0 0 0 0 1717 82 20 0 22 0 510140354 8481841152 36741 33554432000 4194304 4196468 140725929017120 140622048074128 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16809] ppid=16776 vsize=8283048 memory=120252 CPUtime=17.99 cores=0-7
/proc/16802/task/16809/stat : 16809 (java) S 16776 16776 16140 0 -1 1077944384 2 373073 0 0 0 0 1717 82 20 0 22 0 510140354 8481841152 36741 33554432000 4194304 4196468 140725929017120 140622047021328 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16810] ppid=16776 vsize=8283048 memory=337624 CPUtime=17.99 cores=0-7
/proc/16802/task/16810/stat : 16810 (java) S 16776 16776 16140 0 -1 1077944384 1 373073 0 0 0 0 1717 82 20 0 22 0 510140354 8481841152 36741 33554432000 4194304 4196468 140725929017120 140622045969040 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16811] ppid=16776 vsize=8283048 memory=500 CPUtime=17.99 cores=0-7
/proc/16802/task/16811/stat : 16811 (java) S 16776 16776 16140 0 -1 1077944384 2 373073 0 0 0 0 1717 82 20 0 22 0 510140354 8481841152 36741 33554432000 4194304 4196468 140725929017120 140622044916240 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16812] ppid=16776 vsize=8283048 memory=3124 CPUtime=17.99 cores=0-7
/proc/16802/task/16812/stat : 16812 (java) S 16776 16776 16140 0 -1 1077944384 5 373073 0 0 0 0 1717 82 20 0 22 0 510140355 8481841152 36741 33554432000 4194304 4196468 140725929017120 140621390015088 140622565653122 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16813] ppid=16776 vsize=8283048 memory=1244 CPUtime=17.99 cores=0-7
/proc/16802/task/16813/stat : 16813 (java) S 16776 16776 16140 0 -1 1077944384 13 373073 0 0 0 0 1717 82 20 0 22 0 510140356 8481841152 36741 33554432000 4194304 4196468 140725929017120 140621188687136 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16814] ppid=16776 vsize=8283048 memory=14064 CPUtime=17.99 cores=0-7
/proc/16802/task/16814/stat : 16814 (java) S 16776 16776 16140 0 -1 1077944384 1 373073 0 0 0 0 1717 82 20 0 22 0 510140356 8481841152 36741 33554432000 4194304 4196468 140725929017120 140620920252016 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16815] ppid=16776 vsize=8283048 memory=23044 CPUtime=17.99 cores=0-7
/proc/16802/task/16815/stat : 16815 (java) S 16776 16776 16140 0 -1 1077944384 1 373073 0 0 0 0 1717 82 20 0 22 0 510140359 8481841152 36741 33554432000 4194304 4196468 140725929017120 140620545743440 140622565660571 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16816] ppid=16776 vsize=8283048 memory=2256 CPUtime=18.13 cores=0-7
/proc/16802/task/16816/stat : 16816 (java) S 16776 16776 16140 0 -1 1077944384 1037 373073 0 0 14 0 1717 82 20 0 22 0 510140359 8481841152 36741 33554432000 4194304 4196468 140725929017120 140621388961904 140622565653122 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16817] ppid=16776 vsize=8283048 memory=12328 CPUtime=18.11 cores=0-7
/proc/16802/task/16817/stat : 16817 (java) S 16776 16776 16140 0 -1 1077944384 400 373073 0 0 12 0 1717 82 20 0 22 0 510140359 8481841152 36741 33554432000 4194304 4196468 140725929017120 140621387909104 140622565653122 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16818] ppid=16776 vsize=8283048 memory=500 CPUtime=18.12 cores=0-7
/proc/16802/task/16818/stat : 16818 (java) S 16776 16776 16140 0 -1 1077944384 390 373073 0 0 13 0 1717 82 20 0 22 0 510140359 8481841152 36741 33554432000 4194304 4196468 140725929017120 140621386856816 140622565653122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16819] ppid=16776 vsize=8283048 memory=1584 CPUtime=18.27 cores=0-7
/proc/16802/task/16819/stat : 16819 (java) R 16776 16776 16140 0 -1 4202560 1171 373073 0 0 28 0 1717 82 20 0 22 0 510140359 8481841152 36741 33554432000 4194304 4196468 140725929017120 140621385798368 140622544257657 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16820] ppid=16776 vsize=8283048 memory=1744 CPUtime=17.99 cores=0-7
/proc/16802/task/16820/stat : 16820 (java) S 16776 16776 16140 0 -1 1077944384 3 373073 0 0 0 0 1717 82 20 0 22 0 510140359 8481841152 36741 33554432000 4194304 4196468 140725929017120 140620047838048 140622565652181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16821] ppid=16776 vsize=8283048 memory=924 CPUtime=17.99 cores=0-7
/proc/16802/task/16821/stat : 16821 (java) S 16776 16776 16140 0 -1 1077944384 3 373073 0 0 0 0 1717 82 20 0 22 0 510140359 8481841152 36741 33554432000 4194304 4196468 140725929017120 140621384751920 140622565653122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16823] ppid=16776 vsize=8283048 memory=1940 CPUtime=17.99 cores=0-7
/proc/16802/task/16823/stat : 16823 (java) S 16776 16776 16140 0 -1 1077944384 23 373073 0 0 0 0 1717 82 20 0 22 0 510140427 8481841152 36741 33554432000 4194304 4196468 140725929017120 140621377274896 140622565653122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
[pid=16802/tid=16827] ppid=16776 vsize=8283048 memory=1532 CPUtime=17.99 cores=0-7
/proc/16802/task/16827/stat : 16827 (java) S 16776 16776 16140 0 -1 1077944384 9 373073 0 0 0 0 1717 82 20 0 22 0 510140429 8481841152 36741 33554432000 4194304 4196468 140725929017120 140619108312112 140622565653122 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140725929018335 140725929018502 140725929018502 140725929021391 0
Current children cumulated CPU time: 129.27 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 148440 KiB

Child status: 0
Real time (s): 95.8751
CPU time (s): 129.43
CPU user time (s): 120.989
CPU system time (s): 8.44065
CPU usage (%): 134.999
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7360624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 120.989
system time used= 8.44064
maximum resident set size= 7360712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464883
page faults= 0
swaps= 0
block input operations= 0
block output operations= 134976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56651
involuntary context switches= 341


# summary of solver processes directly reported to runsolver:
#   pid: 16776
#   total CPU time (s): 129.43
#   total CPU user time (s): 120.989
#   total CPU system time (s): 8.44065

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.663824 second user time and 1.01082 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-24 17:22:39
IDJOB=4405430
IDBENCH=130927
IDSOLVER=2868
FILE ID=node150/4405430-1569338600
RUNJOBID= node150-1569335938-16167
PBS_JOBID= 21705047
Free space on /var/tmp= 13480 MiB

SOLVER NAME= Fun-sCOP hybrid+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 -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405430-1569338600/watcher-4405430-1569338600 -o /var/tmp/evaluation-result-4405430-1569338600/solver-4405430-1569338600 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569335938-16167 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405430-1569338600.xml

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

MD5SUM BENCH= 81c7a723557c708ecb18ed846030ca95
RANDOM SEED=693132921

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
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:         9302572 kB
MemAvailable:   31817128 kB
Buffers:          200556 kB
Cached:         22204948 kB
SwapCached:         8124 kB
Active:         11168948 kB
Inactive:       11271780 kB
Active(anon):       2764 kB
Inactive(anon):    83280 kB
Active(file):   11166184 kB
Inactive(file): 11188500 kB
Unevictable:      109416 kB
Mlocked:          109416 kB
SwapTotal:      67108860 kB
SwapFree:       67023896 kB
Dirty:             20620 kB
Writeback:             0 kB
AnonPages:        136904 kB
Mapped:            53800 kB
Shmem:             42716 kB
Slab:             618156 kB
SReclaimable:     588332 kB
SUnreclaim:        29824 kB
KernelStack:        3440 kB
PageTables:         5448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /var/tmp at the end= 13460 MiB
End job on node150 at 2019-09-24 17:24:15