Trace number 4405621

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 123.921 19.7038

General information on the benchmark

NameStripPacking/StripPacking-m1-seriesT/
StripPacking-T1e.xml
MD5SUMf7b8b642e131c8af917aaf97f4ae3b24
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 benchmark123.921
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints52
Number of domains19
Minimum domain size2
Maximum domain size200
Distribution of domain sizes[{"size":2,"count":51},{"size":200,"count":34}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":17},{"degree":2,"count":34},{"degree":3,"count":34}]
Minimum constraint arity2
Maximum constraint arity68
Distribution of constraint arities[{"arity":2,"count":34},{"arity":3,"count":17},{"arity":68,"count":1}]
Number of extensional constraints17
Number of intensional constraints34
Distribution of constraint types[{"type":"extension","count":17},{"type":"intension","count":34},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.04	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-3168-serial-file.bin HOME/instance-4405621-1569238628.xml
0.58/1.00	
0.58/1.00	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.58/1.00	
0.72/1.47	c BEGIN-Prog: Mon Sep 23 13:36:34 CEST 2019
0.72/1.47	c PID: 3171
0.73/1.70	c IP: 172.20.3.149
0.73/1.70	c HOST: node149.alineos.net
0.73/1.70	c (0,0) Parsing Begin
1.50/1.91	c (0,0) Parsing End
1.50/1.92	c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 200
1.50/1.93	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.50/1.93	c (0,0) Constraint Name Generate Begin
1.50/1.94	c (0,0) Ctr:HOME/instance-4405621-1569238628.xml,Add:ExtensionSupport:Le:NoOverlap:Num:Var
1.50/1.94	c (0,0) Constraint Name Generate End
1.50/1.94	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.50/1.94	c (0,0) CSP to CSPinCNF Begin
1.63/2.02	c (0,0) translated 6 (10%) constraints
1.63/2.03	c (0,0) translated 11 (20%) constraints
1.63/2.03	c (0,0) translated 16 (30%) constraints
1.63/2.03	c (0,0) translated 21 (40%) constraints
1.63/2.04	c (0,0) translated 26 (50%) constraints
1.63/2.04	c (0,0) translated 32 (60%) constraints
1.79/2.16	c (0,0) translated 37 (70%) constraints
2.02/2.21	c (0,0) translated 42 (80%) constraints
2.02/2.25	c (0,0) translated 47 (90%) constraints
2.02/2.28	c (0,0) translated 52 (100%) constraints
2.36/2.38	c (1,0) ===========================================
2.63/2.40	c (1,0) Hybrid: #OE=153, #LE=0
2.63/2.40	c (1,0) Hybrid
2.63/2.40	c (1,0) ===========================================
2.63/2.41	c (1,0) translated 43 (10%) constraints
2.63/2.41	c (1,0) translated 85 (20%) constraints
2.63/2.42	c (1,0) translated 128 (30%) constraints
2.63/2.42	c (1,0) translated 170 (40%) constraints
2.63/2.43	c (1,0) translated 213 (50%) constraints
2.63/2.43	c (1,0) translated 255 (60%) constraints
2.63/2.44	c (1,0) translated 298 (70%) constraints
2.63/2.44	c (1,0) translated 340 (80%) constraints
2.63/2.45	c (1,0) translated 383 (90%) constraints
2.63/2.46	c (1,0) translated 425 (100%) constraints
2.63/2.46	c (1,0) CSP to CSPinCNF End
2.63/2.46	c (1,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.63/2.46	c (1,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.63/2.46	c (1,0) CSPinCNF Propagation Begin
2.63/2.48	c (1,0) 0 values, 17 unsatisfiable literals, and 0 valid clauses are removed
2.63/2.48	c (1,0) CSPinCNF Propagation End
2.63/2.48	c (1,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.63/2.48	c (1,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.63/2.49	c (1,0) Hybrid: #OE=153, #LE=0
2.63/2.49	c (1,0) Simplify CSPinCNF Begin
2.97/2.55	c (1,1) Simplify CSPinCNF End
2.97/2.55	c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
2.97/2.55	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.97/2.55	c (1,1) Calculate Precise Domain Begin
2.97/2.55	c (1,1) 0 values are removed by re-calculation
2.97/2.55	c (1,1) Calculate Precise Domain End
2.97/2.55	c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
2.97/2.55	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.97/2.55	c (1,1) CSPinCNF to SatSolver Begin
3.29/2.66	c (1,1) 97 (10 %) CSP clauses are encoded (0 SAT variables, 5938 SAT clauses)
3.29/2.67	c (1,1) 194 (20 %) CSP clauses are encoded (0 SAT variables, 6035 SAT clauses)
3.29/2.68	c (1,1) 291 (30 %) CSP clauses are encoded (0 SAT variables, 6132 SAT clauses)
4.09/2.86	c (1,1) 388 (40 %) CSP clauses are encoded (0 SAT variables, 22925 SAT clauses)
4.93/3.04	c (1,1) 485 (50 %) CSP clauses are encoded (0 SAT variables, 42038 SAT clauses)
5.24/3.16	c (1,1) 582 (60 %) CSP clauses are encoded (0 SAT variables, 60828 SAT clauses)
5.45/3.24	c (1,1) 679 (70 %) CSP clauses are encoded (0 SAT variables, 79724 SAT clauses)
5.56/3.33	c (2,1) 776 (80 %) CSP clauses are encoded (0 SAT variables, 100809 SAT clauses)
5.66/3.42	c (2,1) 873 (90 %) CSP clauses are encoded (0 SAT variables, 122580 SAT clauses)
5.66/3.49	c (2,1) 969 (100 %) CSP clauses are encoded (0 SAT variables, 140094 SAT clauses)
5.66/3.49	c (2,1) CSPinCNF to SatSolver End
5.66/3.49	c (2,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.66/3.49	c (2,1) 6539 bool, 140373 clause
5.66/3.49	c (2,1) Export Begin
5.95/3.60	c (2,2) Export to HOME/scop-3168-serial-file.bin
5.95/3.60	c (2,2) Export End
5.95/3.60	c (2,2) Export File Size: 0.03 MB
5.95/3.60	c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
5.95/3.60	c END-Prog: Mon Sep 23 13:36:36 CEST 2019
5.95/3.62	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-3168-serial-file.bin
5.97/4.08	c (0,0) Read Serial File Begin
5.97/4.08	c (0,0) HOME/scop-3168-serial-file.bin
6.93/4.31	c (0,0) Read Serial File End
6.93/4.33	
6.93/4.33	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
6.93/4.33	(Solving Process)
6.93/4.33	
6.93/4.35	c BEGIN-Prog: Mon Sep 23 13:36:37 CEST 2019
6.93/4.35	c PID: 3191
6.93/4.35	c IP: 172.20.3.149
6.93/4.35	c HOST: node149.alineos.net
6.93/4.35	c (0,0) SatSolver.solve Begin
6.93/4.35	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405621-1569238628.xml-scop-3171.cnf
7.12/4.40	c (0,0) c
7.12/4.40	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)
7.12/4.40	c (0,0) c
7.12/4.40	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.12/4.40	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.12/4.40	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.12/4.40	c (0,0) c |                                                                                                       |
7.12/4.45	c (0,0) c |  Number of variables:          6539                                                                   |
7.12/4.45	c (0,0) c |  Number of clauses:          140373                                                                   |
7.12/4.45	c (0,0) c |  Parse time:                   0.04 s                                                                 |
7.12/4.45	c (0,0) c |                                                                                                       |
7.20/4.68	c (0,0) c |  Simplification time:          0.23 s                                                                 |
7.20/4.68	c (0,0) c |                                                                                                       |
7.20/4.68	c (0,0) c |  Generating clones                                                                                    |
7.20/4.73	c (0,0) c |  all clones generated. Memory =   104.50Mb.                                                           |
7.20/4.73	c (0,0) c ========================================================================================================|
7.20/4.73	c (0,0) c
7.20/4.73	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
7.20/4.73	c (0,0) c
7.20/4.73	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.20/4.73	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
7.20/4.73	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.20/4.73	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
7.20/4.73	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
7.20/4.73	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
7.20/4.73	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
7.20/4.73	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
7.20/4.73	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
7.20/4.73	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
7.20/4.73	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
7.20/4.73	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
7.20/4.73	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
7.20/4.73	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
7.20/4.73	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
7.20/4.73	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
7.20/4.73	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
7.20/4.73	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
7.20/4.73	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.41/19.54	c (15,0) c
123.41/19.54	c (15,0) c real time : 15.1513 s
123.41/19.54	c (15,0) c cpu time  : 115.91 s
123.41/19.54	c (15,0) c
123.41/19.54	c (15,0) c
123.41/19.54	c (15,0) c
123.41/19.54	c (15,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
123.41/19.54	c (15,0) c
123.41/19.54	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.41/19.54	c (15,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
123.41/19.54	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.41/19.54	c (15,0) c | Conflicts     |          527035 |      65635 |      66536 |      64197 |      66013 |      68474 |      66048 |      64331 |      65801 |
123.41/19.54	c (15,0) c | Decisions     |          803918 |      98777 |     102466 |      94682 |     102172 |     105773 |     100975 |      96549 |     102524 |
123.41/19.54	c (15,0) c | Propagations  |       189318903 |   23514224 |   23932735 |   23275668 |   23821678 |   24159269 |   23528460 |   23573484 |   23513385 |
123.41/19.54	c (15,0) c | ReduceDBs     |              48 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |
123.41/19.54	c (15,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
123.41/19.54	c (15,0) c | Restarts      |             986 |         78 |        139 |         55 |        149 |        130 |        136 |        110 |        189 |
123.41/19.54	c (15,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
123.41/19.54	c (15,0) c | PropBinClauses|       248495567 |   30672414 |   31298825 |   31143204 |   31363878 |   31413021 |   30784006 |   31172403 |   30647816 |
123.41/19.54	c (15,0) c | PropPreBlocker|      3788181284 |  471159845 |  472804834 |  472997193 |  476958540 |  484043705 |  471144256 |  469192015 |  469880896 |
123.41/19.54	c (15,0) c | PropNotBlocker|      1170977682 |  144924261 |  145306273 |  146101001 |  148106196 |  149607882 |  145577086 |  146191289 |  145163694 |
123.41/19.54	c (15,0) c | LitFullScans  |      6771298037 |  840047159 |  840042991 |  852036528 |  852040313 |  864044870 |  840044885 |  842958306 |  840082985 |
123.41/19.54	c (15,0) c | LitScanFracts |          300120 |      40771 |      36512 |      31933 |      36100 |      29575 |      39670 |      30208 |      55351 |
123.41/19.54	c (15,0) c | DecisionLevel0|             986 |         78 |        139 |         55 |        149 |        130 |        136 |        110 |        189 |
123.41/19.54	c (15,0) c | Periods       |            1128 |        140 |        140 |        142 |        142 |        144 |        140 |        140 |        140 |
123.41/19.54	c (15,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
123.41/19.54	c (15,0) c | Avg_Trail     |                 |       2515 |       2489 |       2458 |       2489 |       2479 |       2500 |       2457 |       2522 |
123.41/19.54	c (15,0) c | Avg_DL        |                 |         19 |         19 |         19 |         20 |         20 |         20 |         20 |         20 |
123.41/19.54	c (15,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
123.41/19.54	c (15,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
123.41/19.54	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.41/19.54	c (15,0) c | Exported      |           88524 |      11216 |      11470 |      11181 |      10400 |      11328 |      11449 |      11049 |      10431 |
123.41/19.54	c (15,0) c | Imported      |          544172 |      61437 |      68762 |      68109 |      67972 |      69897 |      68822 |      69230 |      69943 |
123.41/19.54	c (15,0) c | Good          |             265 |         32 |         33 |         37 |         31 |         31 |         34 |         33 |         34 |
123.41/19.54	c (15,0) c | Purge         |          543907 |      61405 |      68729 |      68072 |      67941 |      69866 |      68788 |      69197 |      69909 |
123.41/19.54	c (15,0) c | Promoted      |           45134 |       4902 |       6040 |       5490 |       5737 |       5684 |       5791 |       5475 |       6015 |
123.41/19.54	c (15,0) c | Remove_Imp    |          225625 |      25055 |      28417 |      31926 |      29262 |      27251 |      28083 |      25692 |      29939 |
123.41/19.54	c (15,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
123.41/19.54	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.41/19.54	c (15,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
123.41/19.54	c (15,0) c | Binaries      |                 |          5 |          8 |          1 |          8 |          8 |          4 |          5 |          5 |
123.41/19.54	c (15,0) c | Glues         |                 |         45 |         57 |         29 |         51 |         60 |         50 |         38 |         53 |
123.41/19.54	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.41/19.54	c (15,0) c | Orig_Seen     |            29 % |      39353 |      41856 |      38546 |      40158 |      43692 |      41320 |      40094 |      41153 |
123.41/19.54	c (15,0) c | Diff Orig seen|                 | -      741 |       1762 | -     1548 |         64 |       3598 |       1226 |      X     |       1059 |
123.41/19.54	c (15,0) c | Hamming       |            35 % |       2085 |       2226 |       2383 |       2233 |       2165 |       2328 |      X     |       2645 |
123.41/19.54	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.41/19.54	c (15,0) c | RunningTime   |                 |   14.5 100%|   14.8 100%|   14.4 100%|   14.4 100%|   14.5 100%|   14.8 100%|   14.4 100%|   14.4 100%|
123.41/19.54	c (15,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%|
123.41/19.54	c (15,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%|
123.41/19.54	c (15,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%|
123.41/19.54	c (15,0) c | SolvingTime   |                 |   14.5     |   14.8     |   14.5     |   14.5     |   14.5     |   14.8     |   14.4     |   14.4     |
123.41/19.54	c (15,0) c | PropagationTim|                 |   12.6  87%|   12.9  87%|   12.5  87%|   12.6  87%|   12.5  86%|   12.7  86%|   12.5  87%|   12.4  86%|
123.41/19.54	c (15,0) c | AnalysisTime  |                 |    1.5  10%|    1.5  10%|    1.5  10%|    1.4  10%|    1.5  10%|    1.6  11%|    1.5  10%|    1.5  11%|
123.41/19.54	c (15,0) c | ReductionTime |                 |    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|
123.41/19.54	c (15,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%|
123.41/19.54	c (15,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%|
123.41/19.54	c (15,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%|
123.41/19.54	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.41/19.54	c (15,0) c
123.41/19.54	c (15,0) c
123.41/19.54	c (15,0) c Threads : 8
123.41/19.54	c (15,0) c Winner : 6
123.41/19.54	c (15,0) c Conflicts_0 : 65635
123.41/19.54	c (15,0) c Conflicts_1 : 66536
123.41/19.55	c (15,0) c Conflicts_2 : 64197
123.41/19.55	c (15,0) c Conflicts_3 : 66013
123.41/19.55	c (15,0) c Conflicts_4 : 68474
123.41/19.55	c (15,0) c Conflicts_5 : 66048
123.41/19.55	c (15,0) c Conflicts_6 : 64331
123.41/19.55	c (15,0) c Conflicts_7 : 65801
123.41/19.55	c (15,0) c Conflicts_total : 527035
123.41/19.55	c (15,0) c Conflicts_winner : 64331
123.41/19.55	c (15,0) c Decisions_0 : 98777
123.41/19.55	c (15,0) c Decisions_1 : 102466
123.41/19.55	c (15,0) c Decisions_2 : 94682
123.41/19.55	c (15,0) c Decisions_3 : 102172
123.41/19.55	c (15,0) c Decisions_4 : 105773
123.41/19.55	c (15,0) c Decisions_5 : 100975
123.41/19.55	c (15,0) c Decisions_6 : 96549
123.41/19.55	c (15,0) c Decisions_7 : 102524
123.41/19.55	c (15,0) c Decisions_total : 803918
123.41/19.55	c (15,0) c Decisions_winner : 96549
123.41/19.55	c (15,0) c Propagations_0 : 23514224
123.41/19.55	c (15,0) c Propagations_1 : 23932735
123.41/19.55	c (15,0) c Propagations_2 : 23275668
123.41/19.55	c (15,0) c Propagations_3 : 23821678
123.41/19.55	c (15,0) c Propagations_4 : 24159269
123.41/19.55	c (15,0) c Propagations_5 : 23528460
123.41/19.55	c (15,0) c Propagations_6 : 23573484
123.41/19.55	c (15,0) c Propagations_7 : 23513385
123.41/19.55	c (15,0) c Propagations_total : 189318903
123.41/19.55	c (15,0) c Propagations_winner : 23573484
123.41/19.55	c (15,0) c ReduceDBs_0 : 6
123.41/19.55	c (15,0) c ReduceDBs_1 : 6
123.41/19.55	c (15,0) c ReduceDBs_2 : 6
123.41/19.55	c (15,0) c ReduceDBs_3 : 6
123.41/19.55	c (15,0) c ReduceDBs_4 : 6
123.41/19.55	c (15,0) c ReduceDBs_5 : 6
123.41/19.55	c (15,0) c ReduceDBs_6 : 6
123.41/19.55	c (15,0) c ReduceDBs_7 : 6
123.41/19.55	c (15,0) c ReduceDBs_total : 48
123.41/19.55	c (15,0) c ReduceDBs_winner : 6
123.41/19.55	c (15,0) c SimpDBs_0 : 1
123.41/19.55	c (15,0) c SimpDBs_1 : 1
123.41/19.55	c (15,0) c SimpDBs_2 : 1
123.41/19.55	c (15,0) c SimpDBs_3 : 1
123.41/19.55	c (15,0) c SimpDBs_4 : 1
123.41/19.55	c (15,0) c SimpDBs_5 : 1
123.41/19.55	c (15,0) c SimpDBs_6 : 1
123.41/19.55	c (15,0) c SimpDBs_7 : 1
123.41/19.55	c (15,0) c SimpDBs_total : 8
123.41/19.55	c (15,0) c SimpDBs_winner : 1
123.41/19.55	c (15,0) c Restarts_0 : 78
123.41/19.55	c (15,0) c Restarts_1 : 139
123.41/19.55	c (15,0) c Restarts_2 : 55
123.41/19.55	c (15,0) c Restarts_3 : 149
123.41/19.55	c (15,0) c Restarts_4 : 130
123.41/19.55	c (15,0) c Restarts_5 : 136
123.41/19.55	c (15,0) c Restarts_6 : 110
123.41/19.55	c (15,0) c Restarts_7 : 189
123.41/19.55	c (15,0) c Restarts_total : 986
123.41/19.55	c (15,0) c Restarts_winner : 110
123.41/19.55	c (15,0) c ForcedImports_0 : 0
123.41/19.55	c (15,0) c ForcedImports_1 : 0
123.41/19.55	c (15,0) c ForcedImports_2 : 0
123.41/19.55	c (15,0) c ForcedImports_3 : 0
123.41/19.55	c (15,0) c ForcedImports_4 : 0
123.41/19.55	c (15,0) c ForcedImports_5 : 0
123.41/19.55	c (15,0) c ForcedImports_6 : 0
123.41/19.55	c (15,0) c ForcedImports_7 : 0
123.41/19.55	c (15,0) c ForcedImports_total : 0
123.41/19.55	c (15,0) c ForcedImports_winner : 0
123.41/19.55	c (15,0) c PropsBinClauses_0 : 30672414
123.41/19.55	c (15,0) c PropsBinClauses_1 : 31298825
123.41/19.55	c (15,0) c PropsBinClauses_2 : 31143204
123.41/19.55	c (15,0) c PropsBinClauses_3 : 31363878
123.41/19.55	c (15,0) c PropsBinClauses_4 : 31413021
123.41/19.55	c (15,0) c PropsBinClauses_5 : 30784006
123.41/19.55	c (15,0) c PropsBinClauses_6 : 31172403
123.41/19.55	c (15,0) c PropsBinClauses_7 : 30647816
123.41/19.55	c (15,0) c PropsBinClauses_total : 248495567
123.41/19.55	c (15,0) c PropsBinClauses_winner : 31172403
123.41/19.55	c (15,0) c PropsPreBlocker_0 : 471159845
123.41/19.55	c (15,0) c PropsPreBlocker_1 : 472804834
123.41/19.55	c (15,0) c PropsPreBlocker_2 : 472997193
123.41/19.55	c (15,0) c PropsPreBlocker_3 : 476958540
123.41/19.55	c (15,0) c PropsPreBlocker_4 : 484043705
123.41/19.55	c (15,0) c PropsPreBlocker_5 : 471144256
123.41/19.55	c (15,0) c PropsPreBlocker_6 : 469192015
123.41/19.55	c (15,0) c PropsPreBlocker_7 : 469880896
123.41/19.55	c (15,0) c PropsPreBlocker_total : 3788181284
123.41/19.55	c (15,0) c PropsPreBlocker_winner : 469192015
123.41/19.55	c (15,0) c PropsNotBlocker_0 : 144924261
123.41/19.55	c (15,0) c PropsNotBlocker_1 : 145306273
123.41/19.55	c (15,0) c PropsNotBlocker_2 : 146101001
123.41/19.55	c (15,0) c PropsNotBlocker_3 : 148106196
123.41/19.55	c (15,0) c PropsNotBlocker_4 : 149607882
123.41/19.55	c (15,0) c PropsNotBlocker_5 : 145577086
123.41/19.55	c (15,0) c PropsNotBlocker_6 : 146191289
123.41/19.55	c (15,0) c PropsNotBlocker_7 : 145163694
123.41/19.55	c (15,0) c PropsNotBlocker_total : 1170977682
123.41/19.55	c (15,0) c PropsNotBlocker_winner : 146191289
123.41/19.55	c (15,0) c PropsLitFullScans_0 : 840047159
123.41/19.55	c (15,0) c PropsLitFullScans_1 : 840042991
123.41/19.55	c (15,0) c PropsLitFullScans_2 : 852036528
123.41/19.55	c (15,0) c PropsLitFullScans_3 : 852040313
123.41/19.55	c (15,0) c PropsLitFullScans_4 : 864044870
123.41/19.55	c (15,0) c PropsLitFullScans_5 : 840044885
123.41/19.55	c (15,0) c PropsLitFullScans_6 : 842958306
123.41/19.55	c (15,0) c PropsLitFullScans_7 : 840082985
123.41/19.55	c (15,0) c PropsLitFullScans_total : 6771298037
123.41/19.55	c (15,0) c PropsLitFullScans_winner : 842958306
123.41/19.55	c (15,0) c LitScanFractions_0 : 40771
123.41/19.55	c (15,0) c LitScanFractions_1 : 36512
123.41/19.55	c (15,0) c LitScanFractions_2 : 31933
123.41/19.55	c (15,0) c LitScanFractions_3 : 36100
123.41/19.55	c (15,0) c LitScanFractions_4 : 29575
123.41/19.55	c (15,0) c LitScanFractions_5 : 39670
123.41/19.55	c (15,0) c LitScanFractions_6 : 30208
123.41/19.55	c (15,0) c LitScanFractions_7 : 55351
123.41/19.55	c (15,0) c LitScanFractions_total : 300120
123.41/19.55	c (15,0) c LitScanFractions_winner : 30208
123.41/19.55	c (15,0) c DecisionLevel0_0 : 78
123.41/19.55	c (15,0) c DecisionLevel0_1 : 139
123.41/19.55	c (15,0) c DecisionLevel0_2 : 55
123.41/19.55	c (15,0) c DecisionLevel0_3 : 149
123.41/19.55	c (15,0) c DecisionLevel0_4 : 130
123.41/19.55	c (15,0) c DecisionLevel0_5 : 136
123.41/19.55	c (15,0) c DecisionLevel0_6 : 110
123.41/19.55	c (15,0) c DecisionLevel0_7 : 189
123.41/19.55	c (15,0) c DecisionLevel0_total : 986
123.41/19.55	c (15,0) c DecisionLevel0_winner : 110
123.41/19.55	c (15,0) c Periods_0 : 140
123.41/19.55	c (15,0) c Periods_1 : 140
123.41/19.55	c (15,0) c Periods_2 : 142
123.41/19.55	c (15,0) c Periods_3 : 142
123.41/19.55	c (15,0) c Periods_4 : 144
123.41/19.55	c (15,0) c Periods_5 : 140
123.41/19.55	c (15,0) c Periods_6 : 140
123.41/19.55	c (15,0) c Periods_7 : 140
123.41/19.55	c (15,0) c Periods_total : 1128
123.41/19.55	c (15,0) c Periods_winner : 140
123.41/19.55	c (15,0) c Margin_0 : 20
123.41/19.55	c (15,0) c Margin_1 : 20
123.41/19.55	c (15,0) c Margin_2 : 20
123.41/19.55	c (15,0) c Margin_3 : 20
123.41/19.55	c (15,0) c Margin_4 : 20
123.41/19.55	c (15,0) c Margin_5 : 20
123.41/19.55	c (15,0) c Margin_6 : 20
123.41/19.55	c (15,0) c Margin_7 : 20
123.41/19.55	c (15,0) c Margin_total : 160
123.41/19.55	c (15,0) c Margin_winner : 20
123.41/19.55	c (15,0) c Exported_0 : 11216
123.41/19.55	c (15,0) c Exported_1 : 11470
123.41/19.55	c (15,0) c Exported_2 : 11181
123.41/19.55	c (15,0) c Exported_3 : 10400
123.41/19.55	c (15,0) c Exported_4 : 11328
123.41/19.55	c (15,0) c Exported_5 : 11449
123.41/19.55	c (15,0) c Exported_6 : 11049
123.41/19.55	c (15,0) c Exported_7 : 10431
123.41/19.55	c (15,0) c Exported_total : 88524
123.41/19.55	c (15,0) c Exported_winner : 11049
123.41/19.55	c (15,0) c Imported_0 : 61437
123.41/19.55	c (15,0) c Imported_1 : 68762
123.41/19.55	c (15,0) c Imported_2 : 68109
123.41/19.55	c (15,0) c Imported_3 : 67972
123.41/19.55	c (15,0) c Imported_4 : 69897
123.41/19.55	c (15,0) c Imported_5 : 68822
123.41/19.55	c (15,0) c Imported_6 : 69230
123.41/19.55	c (15,0) c Imported_7 : 69943
123.41/19.55	c (15,0) c Imported_total : 544172
123.41/19.55	c (15,0) c Imported_winner : 69230
123.41/19.55	c (15,0) c Good_0 : 32
123.41/19.55	c (15,0) c Good_1 : 33
123.41/19.55	c (15,0) c Good_2 : 37
123.41/19.55	c (15,0) c Good_3 : 31
123.41/19.55	c (15,0) c Good_4 : 31
123.41/19.55	c (15,0) c Good_5 : 34
123.41/19.55	c (15,0) c Good_6 : 33
123.41/19.55	c (15,0) c Good_7 : 34
123.41/19.55	c (15,0) c Good_total : 265
123.41/19.55	c (15,0) c Good_winner : 33
123.41/19.55	c (15,0) c Purge_0 : 61405
123.41/19.55	c (15,0) c Purge_1 : 68729
123.41/19.55	c (15,0) c Purge_2 : 68072
123.41/19.55	c (15,0) c Purge_3 : 67941
123.41/19.55	c (15,0) c Purge_4 : 69866
123.41/19.55	c (15,0) c Purge_5 : 68788
123.41/19.55	c (15,0) c Purge_6 : 69197
123.41/19.55	c (15,0) c Purge_7 : 69909
123.41/19.55	c (15,0) c Purge_total : 543907
123.41/19.55	c (15,0) c Purge_winner : 69197
123.41/19.55	c (15,0) c Promoted_0 : 4902
123.41/19.55	c (15,0) c Promoted_1 : 6040
123.41/19.55	c (15,0) c Promoted_2 : 5490
123.41/19.55	c (15,0) c Promoted_3 : 5737
123.41/19.55	c (15,0) c Promoted_4 : 5684
123.41/19.55	c (15,0) c Promoted_5 : 5791
123.41/19.55	c (15,0) c Promoted_6 : 5475
123.41/19.55	c (15,0) c Promoted_7 : 6015
123.41/19.55	c (15,0) c Promoted_total : 45134
123.41/19.55	c (15,0) c Promoted_winner : 5475
123.41/19.55	c (15,0) c Remove_Imp_0 : 25055
123.41/19.55	c (15,0) c Remove_Imp_1 : 28417
123.41/19.55	c (15,0) c Remove_Imp_2 : 31926
123.41/19.55	c (15,0) c Remove_Imp_3 : 29262
123.41/19.55	c (15,0) c Remove_Imp_4 : 27251
123.41/19.55	c (15,0) c Remove_Imp_5 : 28083
123.41/19.55	c (15,0) c Remove_Imp_6 : 25692
123.41/19.55	c (15,0) c Remove_Imp_7 : 29939
123.41/19.55	c (15,0) c Remove_Imp_total : 225625
123.41/19.55	c (15,0) c Remove_Imp_winner : 25692
123.41/19.55	c (15,0) c Blocked_Reuse_0 : 0
123.41/19.55	c (15,0) c Blocked_Reuse_1 : 0
123.41/19.55	c (15,0) c Blocked_Reuse_2 : 0
123.41/19.55	c (15,0) c Blocked_Reuse_3 : 0
123.41/19.55	c (15,0) c Blocked_Reuse_4 : 0
123.41/19.55	c (15,0) c Blocked_Reuse_5 : 0
123.41/19.55	c (15,0) c Blocked_Reuse_6 : 0
123.41/19.55	c (15,0) c Blocked_Reuse_7 : 0
123.41/19.55	c (15,0) c Blocked_Reuse_total : 0
123.41/19.55	c (15,0) c Blocked_Reuse_winner : 0
123.41/19.55	c (15,0) c Unaries_0 : 0
123.41/19.55	c (15,0) c Unaries_1 : 0
123.41/19.55	c (15,0) c Unaries_2 : 0
123.41/19.55	c (15,0) c Unaries_3 : 0
123.41/19.55	c (15,0) c Unaries_4 : 0
123.41/19.55	c (15,0) c Unaries_5 : 0
123.41/19.55	c (15,0) c Unaries_6 : 0
123.41/19.55	c (15,0) c Unaries_7 : 0
123.41/19.55	c (15,0) c Unaries_total : 0
123.41/19.55	c (15,0) c Unaries_winner : 0
123.41/19.55	c (15,0) c Binaries_0 : 5
123.41/19.55	c (15,0) c Binaries_1 : 8
123.41/19.55	c (15,0) c Binaries_2 : 1
123.41/19.55	c (15,0) c Binaries_3 : 8
123.41/19.55	c (15,0) c Binaries_4 : 8
123.41/19.55	c (15,0) c Binaries_5 : 4
123.41/19.55	c (15,0) c Binaries_6 : 5
123.41/19.55	c (15,0) c Binaries_7 : 5
123.41/19.55	c (15,0) c Binaries_total : 44
123.41/19.55	c (15,0) c Binaries_winner : 5
123.41/19.55	c (15,0) c Glues_0 : 45
123.41/19.55	c (15,0) c Glues_1 : 57
123.41/19.55	c (15,0) c Glues_2 : 29
123.41/19.55	c (15,0) c Glues_3 : 51
123.41/19.55	c (15,0) c Glues_4 : 60
123.41/19.55	c (15,0) c Glues_5 : 50
123.41/19.55	c (15,0) c Glues_6 : 38
123.41/19.55	c (15,0) c Glues_7 : 53
123.41/19.55	c (15,0) c Glues_total : 383
123.41/19.55	c (15,0) c Glues_winner : 38
123.41/19.55	c (15,0) c RunningTime_0 : 14.491910
123.41/19.55	c (15,0) c RunningTime_1 : 14.774225
123.41/19.55	c (15,0) c RunningTime_2 : 14.429923
123.41/19.55	c (15,0) c RunningTime_3 : 14.441493
123.41/19.55	c (15,0) c RunningTime_4 : 14.450196
123.41/19.55	c (15,0) c RunningTime_5 : 14.780993
123.41/19.55	c (15,0) c RunningTime_6 : 14.358670
123.41/19.55	c (15,0) c RunningTime_7 : 14.365112
123.41/19.55	c (15,0) c RunningTime_total : 116.092521
123.41/19.55	c (15,0) c RunningTime_winner : 14.358670
123.41/19.55	c (15,0) c WaitingTime_0 : 0.000181
123.41/19.55	c (15,0) c WaitingTime_1 : 0.000126
123.41/19.55	c (15,0) c WaitingTime_2 : 0.000194
123.41/19.55	c (15,0) c WaitingTime_3 : 0.000166
123.41/19.55	c (15,0) c WaitingTime_4 : 0.000229
123.41/19.55	c (15,0) c WaitingTime_5 : 0.000178
123.41/19.55	c (15,0) c WaitingTime_6 : 0.000168
123.41/19.55	c (15,0) c WaitingTime_7 : 0.000164
123.41/19.56	c (15,0) c WaitingTime_total : 0.001407
123.41/19.56	c (15,0) c WaitingTime_winner : 0.000168
123.41/19.56	c (15,0) c ExchangingTime_0 : 0.024883
123.41/19.56	c (15,0) c ExchangingTime_1 : 0.023813
123.41/19.56	c (15,0) c ExchangingTime_2 : 0.027277
123.41/19.56	c (15,0) c ExchangingTime_3 : 0.027541
123.41/19.56	c (15,0) c ExchangingTime_4 : 0.029870
123.41/19.56	c (15,0) c ExchangingTime_5 : 0.024126
123.41/19.56	c (15,0) c ExchangingTime_6 : 0.030387
123.41/19.56	c (15,0) c ExchangingTime_7 : 0.029829
123.41/19.56	c (15,0) c ExchangingTime_total : 0.217726
123.41/19.56	c (15,0) c ExchangingTime_winner : 0.030387
123.41/19.56	c (15,0) c PeriodProcTime_0 : 0.001060
123.41/19.56	c (15,0) c PeriodProcTime_1 : 0.001205
123.41/19.56	c (15,0) c PeriodProcTime_2 : 0.001219
123.41/19.56	c (15,0) c PeriodProcTime_3 : 0.001266
123.41/19.56	c (15,0) c PeriodProcTime_4 : 0.001261
123.41/19.56	c (15,0) c PeriodProcTime_5 : 0.001357
123.41/19.56	c (15,0) c PeriodProcTime_6 : 0.001315
123.41/19.56	c (15,0) c PeriodProcTime_7 : 0.001051
123.41/19.56	c (15,0) c PeriodProcTime_total : 0.009734
123.41/19.56	c (15,0) c PeriodProcTime_winner : 0.001315
123.41/19.56	c (15,0) c SolvingTime_0 : 14.518034
123.41/19.56	c (15,0) c SolvingTime_1 : 14.799368
123.41/19.56	c (15,0) c SolvingTime_2 : 14.458612
123.41/19.56	c (15,0) c SolvingTime_3 : 14.470467
123.41/19.56	c (15,0) c SolvingTime_4 : 14.481556
123.41/19.56	c (15,0) c SolvingTime_5 : 14.806655
123.41/19.56	c (15,0) c SolvingTime_6 : 14.390540
123.41/19.56	c (15,0) c SolvingTime_7 : 14.396156
123.41/19.56	c (15,0) c SolvingTime_total : 116.321388
123.41/19.56	c (15,0) c SolvingTime_winner : 14.390540
123.41/19.56	c (15,0) c PropagationTime_0 : 12.578024
123.41/19.56	c (15,0) c PropagationTime_1 : 12.854616
123.41/19.56	c (15,0) c PropagationTime_2 : 12.545903
123.41/19.56	c (15,0) c PropagationTime_3 : 12.555419
123.41/19.56	c (15,0) c PropagationTime_4 : 12.523971
123.41/19.56	c (15,0) c PropagationTime_5 : 12.734575
123.41/19.56	c (15,0) c PropagationTime_6 : 12.470531
123.41/19.56	c (15,0) c PropagationTime_7 : 12.377779
123.41/19.56	c (15,0) c PropagationTime_total : 100.640819
123.41/19.56	c (15,0) c PropagationTime_winner : 12.470531
123.41/19.56	c (15,0) c AnalysisTime_0 : 1.479785
123.41/19.56	c (15,0) c AnalysisTime_1 : 1.457812
123.41/19.56	c (15,0) c AnalysisTime_2 : 1.460846
123.41/19.56	c (15,0) c AnalysisTime_3 : 1.435952
123.41/19.56	c (15,0) c AnalysisTime_4 : 1.484864
123.41/19.56	c (15,0) c AnalysisTime_5 : 1.601627
123.41/19.56	c (15,0) c AnalysisTime_6 : 1.458910
123.41/19.56	c (15,0) c AnalysisTime_7 : 1.549110
123.41/19.56	c (15,0) c AnalysisTime_total : 11.928906
123.41/19.56	c (15,0) c AnalysisTime_winner : 1.458910
123.41/19.56	c (15,0) c ReductionTime_0 : 0.095509
123.41/19.56	c (15,0) c ReductionTime_1 : 0.109178
123.41/19.56	c (15,0) c ReductionTime_2 : 0.104991
123.41/19.56	c (15,0) c ReductionTime_3 : 0.107106
123.41/19.56	c (15,0) c ReductionTime_4 : 0.103396
123.41/19.56	c (15,0) c ReductionTime_5 : 0.103846
123.41/19.56	c (15,0) c ReductionTime_6 : 0.102089
123.41/19.56	c (15,0) c ReductionTime_7 : 0.107095
123.41/19.56	c (15,0) c ReductionTime_total : 0.833209
123.41/19.56	c (15,0) c ReductionTime_winner : 0.102089
123.41/19.56	c (15,0) c SimplifyTime_0 : 0.000008
123.41/19.56	c (15,0) c SimplifyTime_1 : 0.000010
123.41/19.56	c (15,0) c SimplifyTime_2 : 0.000005
123.41/19.56	c (15,0) c SimplifyTime_3 : 0.000009
123.41/19.56	c (15,0) c SimplifyTime_4 : 0.000018
123.41/19.56	c (15,0) c SimplifyTime_5 : 0.000020
123.41/19.56	c (15,0) c SimplifyTime_6 : 0.000017
123.41/19.56	c (15,0) c SimplifyTime_7 : 0.000014
123.41/19.56	c (15,0) c SimplifyTime_total : 0.000100
123.41/19.56	c (15,0) c SimplifyTime_winner : 0.000017
123.41/19.56	c (15,0) c UsedRateTime_0 : 0.000000
123.41/19.56	c (15,0) c UsedRateTime_1 : 0.000000
123.41/19.56	c (15,0) c UsedRateTime_2 : 0.000000
123.41/19.56	c (15,0) c UsedRateTime_3 : 0.000000
123.41/19.56	c (15,0) c UsedRateTime_4 : 0.000000
123.41/19.56	c (15,0) c UsedRateTime_5 : 0.000000
123.41/19.56	c (15,0) c UsedRateTime_6 : 0.000000
123.41/19.56	c (15,0) c UsedRateTime_7 : 0.000000
123.41/19.56	c (15,0) c UsedRateTime_total : 0.000000
123.41/19.56	c (15,0) c UsedRateTime_winner : 0.000000
123.41/19.56	c (15,0) c OverlapRateTime_0 : 0.000000
123.41/19.56	c (15,0) c OverlapRateTime_1 : 0.000000
123.41/19.56	c (15,0) c OverlapRateTime_2 : 0.000000
123.41/19.56	c (15,0) c OverlapRateTime_3 : 0.000000
123.41/19.56	c (15,0) c OverlapRateTime_4 : 0.000000
123.41/19.56	c (15,0) c OverlapRateTime_5 : 0.000000
123.41/19.56	c (15,0) c OverlapRateTime_6 : 0.000000
123.41/19.56	c (15,0) c OverlapRateTime_7 : 0.000000
123.41/19.56	c (15,0) c OverlapRateTime_total : 0.000000
123.41/19.56	c (15,0) c OverlapRateTime_winner : 0.000000
123.41/19.56	c (15,0) c
123.41/19.56	c (15,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
123.41/19.56	c (15,0) c
123.41/19.56	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.41/19.56	c (15,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
123.41/19.56	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.41/19.56	c (15,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
123.41/19.56	c (15,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
123.41/19.56	c (15,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
123.41/19.56	c (15,0) c | Initial random_seed   | 1506152991 | 1290709244 | 1388086983 | 1315460768 |  232766205 |  116699456 | 2019332728 | 1922341687 |
123.41/19.56	c (15,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
123.41/19.56	c (15,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
123.41/19.56	c (15,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
123.41/19.56	c (15,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
123.41/19.56	c (15,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
123.41/19.56	c (15,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
123.41/19.56	c (15,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
123.41/19.56	c (15,0) c | var_decay             |     0.9300 |     0.9300 |     0.9200 |     0.9300 |     0.9300 |     0.9300 |     0.9200 |     0.9300 |
123.41/19.56	c (15,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
123.41/19.56	c (15,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
123.41/19.56	c (15,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
123.41/19.56	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.41/19.56	c (15,0) 
123.41/19.56	c (15,0) s SATISFIABLE
123.41/19.58	c (15,0) SatSolver.solve End
123.41/19.58	c (15,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
123.41/19.58	c (15,0) Show results Begin
123.66/19.67	c (15,0) h[0] = 28
123.66/19.67	c (15,0) h[1] = 151
123.66/19.67	c (15,0) h[2] = 21
123.66/19.67	c (15,0) h[3] = 44
123.66/19.67	c (15,0) h[4] = 107
123.66/19.67	c (15,0) h[5] = 121
123.66/19.67	c (15,0) h[6] = 7
123.66/19.67	c (15,0) h[7] = 95
123.66/19.67	c (15,0) h[8] = 26
123.66/19.67	c (15,0) h[9] = 33
123.66/19.67	c (15,0) h[10] = 78
123.66/19.67	c (15,0) h[11] = 31
123.66/19.67	c (15,0) h[12] = 63
123.66/19.67	c (15,0) h[13] = 106
123.66/19.67	c (15,0) h[14] = 11
123.66/19.67	c (15,0) h[15] = 20
123.66/19.67	c (15,0) h[16] = 83
123.66/19.67	c (15,0) r[0] = 1
123.66/19.67	c (15,0) r[1] = 1
123.66/19.67	c (15,0) r[2] = 1
123.66/19.67	c (15,0) r[3] = 1
123.66/19.67	c (15,0) r[4] = 1
123.66/19.67	c (15,0) r[5] = 1
123.66/19.67	c (15,0) r[6] = 1
123.66/19.67	c (15,0) r[7] = 1
123.66/19.67	c (15,0) r[8] = 1
123.66/19.67	c (15,0) r[9] = 1
123.66/19.67	c (15,0) r[10] = 1
123.66/19.67	c (15,0) r[11] = 1
123.66/19.67	c (15,0) r[12] = 1
123.66/19.67	c (15,0) r[13] = 1
123.66/19.67	c (15,0) r[14] = 1
123.66/19.67	c (15,0) r[15] = 1
123.66/19.67	c (15,0) r[16] = 1
123.66/19.67	c (15,0) w[0] = 139
123.66/19.67	c (15,0) w[1] = 25
123.66/19.67	c (15,0) w[2] = 44
123.66/19.67	c (15,0) w[3] = 60
123.66/19.67	c (15,0) w[4] = 19
123.66/19.67	c (15,0) w[5] = 21
123.66/19.67	c (15,0) w[6] = 32
123.66/19.67	c (15,0) w[7] = 20
123.66/19.67	c (15,0) w[8] = 11
123.66/19.67	c (15,0) w[9] = 9
123.66/19.67	c (15,0) w[10] = 54
123.66/19.67	c (15,0) w[11] = 78
123.66/19.67	c (15,0) w[12] = 83
123.66/19.67	c (15,0) w[13] = 61
123.66/19.67	c (15,0) w[14] = 37
123.66/19.67	c (15,0) w[15] = 5
123.66/19.67	c (15,0) w[16] = 32
123.66/19.67	c (15,0) x[0] = 61
123.66/19.67	c (15,0) x[1] = 115
123.66/19.67	c (15,0) x[2] = 115
123.66/19.67	c (15,0) x[3] = 140
123.66/19.67	c (15,0) x[4] = 140
123.66/19.67	c (15,0) x[5] = 159
123.66/19.67	c (15,0) x[6] = 159
123.66/19.67	c (15,0) x[7] = 180
123.66/19.67	c (15,0) x[8] = 180
123.66/19.67	c (15,0) x[9] = 191
123.66/19.67	c (15,0) x[10] = 61
123.66/19.67	c (15,0) x[11] = 37
123.66/19.67	c (15,0) x[12] = 32
123.66/19.67	c (15,0) x[13] = 0
123.66/19.67	c (15,0) x[14] = 0
123.66/19.67	c (15,0) x[15] = 32
123.66/19.67	c (15,0) x[16] = 0
123.66/19.67	c (15,0) y[0] = 0
123.66/19.68	c (15,0) y[1] = 49
123.66/19.68	c (15,0) y[2] = 28
123.66/19.68	c (15,0) y[3] = 156
123.66/19.68	c (15,0) y[4] = 49
123.66/19.68	c (15,0) y[5] = 35
123.66/19.68	c (15,0) y[6] = 28
123.66/19.68	c (15,0) y[7] = 61
123.66/19.68	c (15,0) y[8] = 35
123.66/19.68	c (15,0) y[9] = 28
123.66/19.68	c (15,0) y[10] = 28
123.66/19.68	c (15,0) y[11] = 169
123.66/19.68	c (15,0) y[12] = 106
123.66/19.68	c (15,0) y[13] = 0
123.66/19.68	c (15,0) y[14] = 189
123.66/19.68	c (15,0) y[15] = 169
123.66/19.68	c (15,0) y[16] = 106
123.66/19.68	s SATISFIABLE
123.66/19.68	v <instantiation>
123.66/19.68	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] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] w[16] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] h[16] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15] r[16]</list>
123.66/19.68	v     <values>61 115 115 140 140 159 159 180 180 191 61 37 32 0 0 32 0 0 49 28 156 49 35 28 61 35 28 28 169 106 0 189 169 106 139 25 44 60 19 21 32 20 11 9 54 78 83 61 37 5 32 28 151 21 44 107 121 7 95 26 33 78 31 63 106 11 20 83 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1</values>
123.66/19.68	v </instantiation>
123.66/19.68	c (15,0) Show results End
123.66/19.69	c (15,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
123.66/19.69	c (15,0) 15,15,STOP-AFTER(ALL)
123.66/19.69	c END-Prog: Mon Sep 23 13:36:52 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 (7977 MiB free)
  memory of node 1: 16384 MiB (10192 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405621-1569238628/watcher-4405621-1569238628 -o /var/tmp/evaluation-result-4405621-1569238628/solver-4405621-1569238628 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569238590-3148 --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-4405621-1569238628.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=3168, runsolver pid=3165
Current StackSize limit: 8192 KiB


[startup+0.10015 s]*
/proc/loadavg: 0.08 0.03 0.05 1/193 3171
/proc/meminfo: memFree=18605416/32770624 swapFree=66957524/67108860
[pid=3168] ppid=3165 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/3168/stat : 3168 (scop.sh) S 3165 3168 3121 0 -1 4202496 557 320 0 0 0 0 0 0 20 0 1 0 500101722 115843072 350 33554432000 4194304 5098028 140732456874720 140732456871976 140487382004348 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39555072 140732456882940 140732456883288 140732456883288 140732456886217 0
/proc/3168/statm: 28282 350 297 221 0 87 0
[pid=3171] ppid=3168 vsize=296 memory=4 CPUtime=0 cores=0-7
/proc/3171/stat : 3171 (java) D 3168 3168 3121 0 -1 1077936128 161 0 0 0 0 0 0 0 20 0 1 0 500101727 303104 1 33554432000 4194304 4196468 140728451494304 140728451491576 139712548595399 0 0 4102 0 18446744072101592612 0 0 17 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
/proc/3171/statm: 74 1 0 1 0 38 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113424 KiB
Current children cumulated memory: 1404 KiB

[startup+0.209188 s]*
/proc/loadavg: 0.08 0.03 0.05 2/194 3172
/proc/meminfo: memFree=18549908/32770624 swapFree=66957524/67108860
[pid=3168] ppid=3165 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/3168/stat : 3168 (scop.sh) S 3165 3168 3121 0 -1 4202496 557 320 0 0 0 0 0 0 20 0 1 0 500101722 115843072 350 33554432000 4194304 5098028 140732456874720 140732456871976 140487382004348 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39555072 140732456882940 140732456883288 140732456883288 140732456886217 0
/proc/3168/statm: 28282 350 297 221 0 87 0
[pid=3171] ppid=3168 vsize=25993004 memory=84264 CPUtime=0.01 cores=0-7
/proc/3171/stat : 3171 (java) S 3168 3168 3121 0 -1 1077944320 4038 0 0 0 0 1 0 0 20 0 10 0 500101727 26616836096 21066 33554432000 4194304 4196468 140728451494304 140728451476848 139712546320119 0 0 6 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
/proc/3171/statm: 6498251 21066 1231 1 0 6487162 0
[pid=3171/tid=3172] ppid=3168 vsize=25993004 memory=8318255677412212789 CPUtime=0.01 cores=0-7
/proc/3171/task/3172/stat : 3172 (java) R 3168 3168 3121 0 -1 4202560 2809 0 0 0 0 1 0 0 20 0 10 0 500101735 26616836096 21132 33554432000 4194304 4196468 140728451494304 139712518161752 139712531644410 0 4 6 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3173] ppid=3168 vsize=25993004 memory=301741403590099308 CPUtime=0 cores=0-7
/proc/3171/task/3173/stat : 3173 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 500101744 26616836096 21132 33554432000 4194304 4196468 140728451494304 139712550562576 139712546330325 0 4 6 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3174] ppid=3168 vsize=25993004 memory=288370491580487296 CPUtime=0 cores=0-7
/proc/3171/task/3174/stat : 3174 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 500101744 26616836096 21132 33554432000 4194304 4196468 140728451494304 139711968435088 139712546330325 0 4 6 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3175] ppid=3168 vsize=25993004 memory=-1 CPUtime=0 cores=0-7
/proc/3171/task/3175/stat : 3175 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 500101744 26616836096 21132 33554432000 4194304 4196468 140728451494304 139711967382544 139712546330325 0 4 6 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3176] ppid=3168 vsize=25993004 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3176/stat : 3176 (java) S 3168 3168 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 500101744 26616836096 21132 33554432000 4194304 4196468 140728451494304 139711966330000 139712546330325 0 4 6 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3177] ppid=3168 vsize=25993004 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3177/stat : 3177 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 500101744 26616836096 21132 33554432000 4194304 4196468 140728451494304 139711965276432 139712546330325 0 4 6 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3178] ppid=3168 vsize=25993004 memory=-1 CPUtime=0 cores=0-7
/proc/3171/task/3178/stat : 3178 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 500101744 26616836096 21132 33554432000 4194304 4196468 140728451494304 139711964223888 139712546330325 0 4 6 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3179] ppid=3168 vsize=25993004 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3179/stat : 3179 (java) S 3168 3168 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 500101744 26616836096 21198 33554432000 4194304 4196468 140728451494304 139711963171344 139712546330325 0 4 6 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3180] ppid=3168 vsize=25993008 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3180/stat : 3180 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 500101744 26616840192 21198 33554432000 4194304 4196468 140728451494304 139711962118800 139712546330325 0 4 6 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 26106132 KiB
Current children cumulated memory: 85664 KiB

[startup+0.310072 s]*
/proc/loadavg: 0.08 0.03 0.05 1/205 3183
/proc/meminfo: memFree=18517868/32770624 swapFree=66957524/67108860
[pid=3168] ppid=3165 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/3168/stat : 3168 (scop.sh) S 3165 3168 3121 0 -1 4202496 557 320 0 0 0 0 0 0 20 0 1 0 500101722 115843072 350 33554432000 4194304 5098028 140732456874720 140732456871976 140487382004348 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39555072 140732456882940 140732456883288 140732456883288 140732456886217 0
/proc/3168/statm: 28282 350 297 221 0 87 0
[pid=3171] ppid=3168 vsize=26587532 memory=96432 CPUtime=0.06 cores=0-7
/proc/3171/stat : 3171 (java) S 3168 3168 3121 0 -1 1077944320 5654 0 0 0 4 2 0 0 20 0 13 0 500101727 27225632768 24108 33554432000 4194304 4196468 140728451494304 140728451476848 139712546320119 0 0 6 16800969 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
/proc/3171/statm: 6646883 24108 2146 1 0 6609424 0
[pid=3171/tid=3172] ppid=3168 vsize=26587532 memory=8112282956445269571 CPUtime=0.05 cores=0-7
/proc/3171/task/3172/stat : 3172 (java) D 3168 3168 3121 0 -1 1077944384 4304 0 0 0 4 1 0 0 20 0 13 0 500101735 27225632768 24108 33554432000 4194304 4196468 140728451494304 139712518147384 139712538998293 0 4 6 16800969 18446744072101592612 0 0 -1 1 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3173] ppid=3168 vsize=26587532 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/3171/task/3173/stat : 3173 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 500101744 27225632768 24108 33554432000 4194304 4196468 140728451494304 139712550562576 139712546330325 0 4 6 16800969 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3174] ppid=3168 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3174/stat : 3174 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 500101744 27225632768 24108 33554432000 4194304 4196468 140728451494304 139711968435088 139712546330325 0 4 6 16800969 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3175] ppid=3168 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3175/stat : 3175 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 500101744 27225632768 24108 33554432000 4194304 4196468 140728451494304 139711967382544 139712546330325 0 4 6 16800969 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3176] ppid=3168 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3176/stat : 3176 (java) S 3168 3168 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 500101744 27225632768 24108 33554432000 4194304 4196468 140728451494304 139711966330000 139712546330325 0 4 6 16800969 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3177] ppid=3168 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3177/stat : 3177 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 500101744 27225632768 24108 33554432000 4194304 4196468 140728451494304 139711965276432 139712546330325 0 4 6 16800969 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3178] ppid=3168 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3178/stat : 3178 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 500101744 27225632768 24108 33554432000 4194304 4196468 140728451494304 139711964223888 139712546330325 0 4 6 16800969 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3179] ppid=3168 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3179/stat : 3179 (java) S 3168 3168 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 500101744 27225632768 24108 33554432000 4194304 4196468 140728451494304 139711963171344 139712546330325 0 4 6 16800969 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3180] ppid=3168 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3180/stat : 3180 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 500101744 27225632768 24108 33554432000 4194304 4196468 140728451494304 139711962118800 139712546330325 0 4 6 16800969 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3181] ppid=3168 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3181/stat : 3181 (java) S 3168 3168 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 500101746 27225632768 24108 33554432000 4194304 4196468 140728451494304 139711067666928 139712546331266 0 0 6 16800969 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3182] ppid=3168 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3182/stat : 3182 (java) S 3168 3168 3121 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 13 0 500101746 27225632768 24108 33554432000 4194304 4196468 140728451494304 139710185858464 139712546330325 0 4 6 16800969 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3183] ppid=3168 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3183/stat : 3183 (java) S 3168 3168 3121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 500101746 27225632768 24108 33554432000 4194304 4196468 140728451494304 139710051636720 139712546330325 0 4 6 16800969 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 26700660 KiB
Current children cumulated memory: 97832 KiB

[startup+0.700939 s]
/proc/loadavg: 0.08 0.03 0.05 1/212 3190
/proc/meminfo: memFree=18514716/32770624 swapFree=66957524/67108860
[pid=3168] ppid=3165 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/3168/stat : 3168 (scop.sh) S 3165 3168 3121 0 -1 4202496 557 320 0 0 0 0 0 0 20 0 1 0 500101722 115843072 350 33554432000 4194304 5098028 140732456874720 140732456871976 140487382004348 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39555072 140732456882940 140732456883288 140732456883288 140732456886217 0
/proc/3168/statm: 28282 350 297 221 0 87 0
[pid=3171] ppid=3168 vsize=27314120 memory=124580 CPUtime=0.33 cores=0-7
/proc/3171/stat : 3171 (java) S 3168 3168 3121 0 -1 1077944320 12542 0 0 0 29 4 0 0 20 0 20 0 500101727 27969658880 31145 33554432000 4194304 4196468 140728451494304 140728451476848 139712546320119 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
/proc/3171/statm: 6828530 31145 2976 1 0 6790935 0
[pid=3171/tid=3172] ppid=3168 vsize=27314120 memory=1428 CPUtime=0.24 cores=0-7
/proc/3171/task/3172/stat : 3172 (java) R 3168 3168 3121 0 -1 4202560 10173 0 0 0 21 3 0 0 20 0 20 0 500101735 27969658880 31145 33554432000 4194304 4196468 140728451494304 139712518138064 139712546342045 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3173] ppid=3168 vsize=27314120 memory=1728 CPUtime=0 cores=0-7
/proc/3171/task/3173/stat : 3173 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500101744 27969658880 31145 33554432000 4194304 4196468 140728451494304 139712550562576 139712546330325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3174] ppid=3168 vsize=27314120 memory=18618 CPUtime=0 cores=0-7
/proc/3171/task/3174/stat : 3174 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500101744 27969658880 31145 33554432000 4194304 4196468 140728451494304 139711968435088 139712546330325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3175] ppid=3168 vsize=27314120 memory=2301 CPUtime=0 cores=0-7
/proc/3171/task/3175/stat : 3175 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500101744 27969658880 31145 33554432000 4194304 4196468 140728451494304 139711967382544 139712546330325 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3176] ppid=3168 vsize=27314120 memory=1572 CPUtime=0 cores=0-7
/proc/3171/task/3176/stat : 3176 (java) S 3168 3168 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500101744 27969658880 31145 33554432000 4194304 4196468 140728451494304 139711966330000 139712546330325 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3177] ppid=3168 vsize=27314120 memory=164 CPUtime=0 cores=0-7
/proc/3171/task/3177/stat : 3177 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500101744 27969658880 31145 33554432000 4194304 4196468 140728451494304 139711965276432 139712546330325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3178] ppid=3168 vsize=27314120 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/3171/task/3178/stat : 3178 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500101744 27969658880 31145 33554432000 4194304 4196468 140728451494304 139711964223888 139712546330325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3179] ppid=3168 vsize=27314120 memory=8245933066544480320 CPUtime=0 cores=0-7
/proc/3171/task/3179/stat : 3179 (java) S 3168 3168 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500101744 27969658880 31145 33554432000 4194304 4196468 140728451494304 139711963171344 139712546330325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3180] ppid=3168 vsize=27314120 memory=5937503940875927649 CPUtime=0 cores=0-7
/proc/3171/task/3180/stat : 3180 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500101744 27969658880 31145 33554432000 4194304 4196468 140728451494304 139711962118800 139712546330325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3181] ppid=3168 vsize=27314120 memory=7306641053402620521 CPUtime=0 cores=0-7
/proc/3171/task/3181/stat : 3181 (java) S 3168 3168 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500101746 27969658880 31145 33554432000 4194304 4196468 140728451494304 139711067666928 139712546331266 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3182] ppid=3168 vsize=27314120 memory=7014751519599972708 CPUtime=0 cores=0-7
/proc/3171/task/3182/stat : 3182 (java) S 3168 3168 3121 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500101746 27969658880 31145 33554432000 4194304 4196468 140728451494304 139710185858464 139712546330325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3183] ppid=3168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3183/stat : 3183 (java) S 3168 3168 3121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500101746 27969658880 31145 33554432000 4194304 4196468 140728451494304 139710051636720 139712546330325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3184] ppid=3168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3184/stat : 3184 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500101766 27969658880 31145 33554432000 4194304 4196468 140728451494304 139709677132496 139712546338715 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3185] ppid=3168 vsize=27314120 memory=140115322210192 CPUtime=0.01 cores=0-7
/proc/3171/task/3185/stat : 3185 (java) S 3168 3168 3121 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 20 0 500101766 27969658880 31145 33554432000 4194304 4196468 140728451494304 139711066613744 139712546331266 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3186] ppid=3168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3186/stat : 3186 (java) S 3168 3168 3121 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 500101766 27969658880 31145 33554432000 4194304 4196468 140728451494304 139711065561200 139712546331266 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3187] ppid=3168 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/3171/task/3187/stat : 3187 (java) S 3168 3168 3121 0 -1 1077944384 179 0 0 0 1 0 0 0 20 0 20 0 500101766 27969658880 31145 33554432000 4194304 4196468 140728451494304 139711064508656 139712546331266 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3188] ppid=3168 vsize=27314120 memory=0 CPUtime=0.05 cores=0-7
/proc/3171/task/3188/stat : 3188 (java) R 3168 3168 3121 0 -1 4202560 474 0 0 0 5 0 0 0 20 0 20 0 500101766 27969658880 31145 33554432000 4194304 4196468 140728451494304 139711063456112 139712525592912 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3189] ppid=3168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3189/stat : 3189 (java) S 3168 3168 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500101766 27969658880 31145 33554432000 4194304 4196468 140728451494304 139709179226848 139712546330325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3190] ppid=3168 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3190/stat : 3190 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500101771 27969658880 31145 33554432000 4194304 4196468 140728451494304 139711062404016 139712546331266 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125980 KiB

[startup+1.50089 s]
/proc/loadavg: 0.08 0.03 0.05 1/212 3190
/proc/meminfo: memFree=18468212/32770624 swapFree=66957524/67108860
[pid=3168] ppid=3165 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/3168/stat : 3168 (scop.sh) S 3165 3168 3121 0 -1 4202496 557 320 0 0 0 0 0 0 20 0 1 0 500101722 115843072 350 33554432000 4194304 5098028 140732456874720 140732456871976 140487382004348 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39555072 140732456882940 140732456883288 140732456883288 140732456886217 0
/proc/3168/statm: 28282 350 297 221 0 87 0
[pid=3171] ppid=3168 vsize=27318344 memory=153396 CPUtime=0.73 cores=0-7
/proc/3171/stat : 3171 (java) S 3168 3168 3121 0 -1 1077944320 18511 0 1 0 67 6 0 0 20 0 20 0 500101727 27973984256 38349 33554432000 4194304 4196468 140728451494304 140728451476848 139712546320119 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
/proc/3171/statm: 6829586 38349 3122 1 0 6790935 0
[pid=3171/tid=3172] ppid=3168 vsize=27318344 memory=60924 CPUtime=0.55 cores=0-7
/proc/3171/task/3172/stat : 3172 (java) D 3168 3168 3121 0 -1 4202560 15988 0 1 0 50 5 0 0 20 0 20 0 500101735 27973984256 38349 33554432000 4194304 4196468 140728451494304 139712518153424 139712546342045 0 4 2 25189581 18446744071580419588 0 0 -1 5 0 0 38 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3173] ppid=3168 vsize=27318344 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3173/stat : 3173 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500101744 27973984256 38349 33554432000 4194304 4196468 140728451494304 139712550562576 139712546330325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3174] ppid=3168 vsize=27318344 memory=2241 CPUtime=0 cores=0-7
/proc/3171/task/3174/stat : 3174 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500101744 27973984256 38349 33554432000 4194304 4196468 140728451494304 139711968435088 139712546330325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3175] ppid=3168 vsize=27318344 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/3171/task/3175/stat : 3175 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500101744 27973984256 38349 33554432000 4194304 4196468 140728451494304 139711967382544 139712546330325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3176] ppid=3168 vsize=27318344 memory=280230644647808 CPUtime=0 cores=0-7
/proc/3171/task/3176/stat : 3176 (java) S 3168 3168 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500101744 27973984256 38349 33554432000 4194304 4196468 140728451494304 139711966330000 139712546330325 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3177] ppid=3168 vsize=27318344 memory=140115322318960 CPUtime=0 cores=0-7
/proc/3171/task/3177/stat : 3177 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500101744 27973984256 38349 33554432000 4194304 4196468 140728451494304 139711965276432 139712546330325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3178] ppid=3168 vsize=27318344 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3178/stat : 3178 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500101744 27973984256 38349 33554432000 4194304 4196468 140728451494304 139711964223888 139712546330325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3179] ppid=3168 vsize=27318344 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3179/stat : 3179 (java) S 3168 3168 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500101744 27973984256 38349 33554432000 4194304 4196468 140728451494304 139711963171344 139712546330325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3180] ppid=3168 vsize=27318344 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3180/stat : 3180 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500101744 27973984256 38349 33554432000 4194304 4196468 140728451494304 139711962118800 139712546330325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3181] ppid=3168 vsize=27318344 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3181/stat : 3181 (java) S 3168 3168 3121 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 500101746 27973984256 38349 33554432000 4194304 4196468 140728451494304 139711067666928 139712546331266 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3182] ppid=3168 vsize=27318344 memory=0 CPUtime=0 cores=0-7
/proc/3171/task/3182/stat : 3182 (java) S 3168 3168 3121 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500101746 27973984256 38349 33554432000 4194304 4196468 140728451494304 139710185858464 139712546330325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3183] ppid=3168 vsize=27318344 memory=164 CPUtime=0 cores=0-7
/proc/3171/task/3183/stat : 3183 (java) S 3168 3168 3121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500101746 27973984256 38349 33554432000 4194304 4196468 140728451494304 139710051636720 139712546330325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3184] ppid=3168 vsize=27318344 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/3171/task/3184/stat : 3184 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500101766 27973984256 38349 33554432000 4194304 4196468 140728451494304 139709677132496 139712546338715 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3185] ppid=3168 vsize=27318344 memory=8245933066544480320 CPUtime=0.01 cores=0-7
/proc/3171/task/3185/stat : 3185 (java) S 3168 3168 3121 0 -1 1077944384 356 0 0 0 1 0 0 0 20 0 20 0 500101766 27973984256 38349 33554432000 4194304 4196468 140728451494304 139711066613744 139712546331266 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140728451502791 140728451503238 140728451503238 140728451506127 0
[pid=3171/tid=3186] ppid=3168 vsize=27318344 memory=5937503940875927649 CPUtime=0 cores=0-7

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

/proc/3191/task/3202/stat : 3202 (java) S 3168 3168 3121 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500102088 8616062976 30213 33554432000 4194304 4196468 140723200198064 139801252586400 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3203] ppid=3168 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3191/task/3203/stat : 3203 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500102088 8616062976 30213 33554432000 4194304 4196468 140723200198064 139800984151024 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3204] ppid=3168 vsize=8414124 memory=4 CPUtime=0 cores=0-7
/proc/3191/task/3204/stat : 3204 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500102091 8616062976 30213 33554432000 4194304 4196468 140723200198064 139800609642704 139802572355483 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3205] ppid=3168 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/3191/task/3205/stat : 3205 (java) S 3168 3168 3121 0 -1 1077944384 357 0 0 0 7 0 0 0 20 0 24 0 500102091 8616062976 30213 33554432000 4194304 4196468 140723200198064 139801866140144 139802572348034 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3206] ppid=3168 vsize=8414124 memory=35460 CPUtime=0.06 cores=0-7
/proc/3191/task/3206/stat : 3206 (java) S 3168 3168 3121 0 -1 1077944384 270 0 0 0 6 0 0 0 20 0 24 0 500102091 8616062976 30213 33554432000 4194304 4196468 140723200198064 139801865087600 139802572348034 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3207] ppid=3168 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/3191/task/3207/stat : 3207 (java) S 3168 3168 3121 0 -1 1077944384 564 0 0 0 6 0 0 0 20 0 24 0 500102091 8616062976 30213 33554432000 4194304 4196468 140723200198064 139801864035056 139802572348034 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3208] ppid=3168 vsize=8414124 memory=120852 CPUtime=0.21 cores=0-7
/proc/3191/task/3208/stat : 3208 (java) S 3168 3168 3121 0 -1 1077944384 593 0 0 0 21 0 0 0 20 0 24 0 500102091 8616062976 30213 33554432000 4194304 4196468 140723200198064 139801862982512 139802572348034 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3209] ppid=3168 vsize=8414124 memory=308724 CPUtime=0 cores=0-7
/proc/3191/task/3209/stat : 3209 (java) S 3168 3168 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500102091 8616062976 30213 33554432000 4194304 4196468 140723200198064 139800111737056 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3210] ppid=3168 vsize=8414124 memory=7596552664302772841 CPUtime=0 cores=0-7
/proc/3191/task/3210/stat : 3210 (java) S 3168 3168 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500102091 8616062976 30213 33554432000 4194304 4196468 140723200198064 139801861929392 139802572348034 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3212] ppid=3168 vsize=8414124 memory=6946346473141921645 CPUtime=0 cores=0-7
/proc/3191/task/3212/stat : 3212 (java) S 3168 3168 3121 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500102162 8616062976 30213 33554432000 4194304 4196468 140723200198064 139801858184384 139802572361497 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3214] ppid=3168 vsize=8414124 memory=7307749451201276773 CPUtime=0 cores=0-7
/proc/3191/task/3214/stat : 3214 (java) S 3168 3168 3121 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500102162 8616062976 30213 33554432000 4194304 4196468 140723200198064 139799440637712 139802572358813 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3215] ppid=3168 vsize=8414124 memory=7307749451201276773 CPUtime=0 cores=0-7
/proc/3191/task/3215/stat : 3215 (java) S 3168 3168 3121 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500102162 8616062976 30213 33554432000 4194304 4196468 140723200198064 139799709073296 139802572358813 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3216] ppid=3168 vsize=8414124 memory=7307749451201276773 CPUtime=0 cores=0-7
/proc/3191/task/3216/stat : 3216 (java) S 3168 3168 3121 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 500102164 8616062976 30213 33554432000 4194304 4196468 140723200198064 139799172210352 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
Current children cumulated CPU time: 118.09 s
Current children cumulated vsize: 9226780 KiB
Current children cumulated memory: 433428 KiB

[startup+19.4012 s]
/proc/loadavg: 2.02 0.47 0.19 6/221 3224
/proc/meminfo: memFree=18173688/32770624 swapFree=66957524/67108860
[pid=3168] ppid=3165 vsize=113128 memory=1476 CPUtime=5.97 cores=0-7
/proc/3168/stat : 3168 (scop.sh) S 3165 3168 3121 0 -1 4202496 583 28439 0 1 0 0 572 25 20 0 1 0 500101722 115843072 369 33554432000 4194304 5098028 140732456874720 140732456871464 140487382004348 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39555072 140732456882940 140732456883288 140732456883288 140732456886217 0
/proc/3168/statm: 28282 369 311 221 0 87 0
[pid=3191] ppid=3168 vsize=8414124 memory=120852 CPUtime=1.24 cores=0-7
/proc/3191/stat : 3191 (java) S 3168 3168 3121 0 -1 1077944320 20671 0 0 0 115 9 0 0 20 0 24 0 500102084 8616062976 30213 33554432000 4194304 4196468 140723200198064 140723200180608 139802572336887 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
/proc/3191/statm: 2103531 30213 3199 1 0 2064875 0
[pid=3211] ppid=3191 vsize=699528 memory=313280 CPUtime=116 cores=0-7
/proc/3211/stat : 3211 (manyglucose-4.1) S 3191 3168 3121 0 -1 1077944320 144392 0 1 0 11562 38 0 0 20 0 3 0 500102161 716316672 78320 33554432000 4194304 4454172 140731879151760 140731879150144 140359316639479 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 28467200 140731879154510 140731879154716 140731879154716 140731879157686 0
/proc/3211/statm: 174882 78320 415 64 0 170550 0
[pid=3211/tid=3218] ppid=3191 vsize=699528 memory=800 CPUtime=14.64 cores=0-7
/proc/3211/task/3218/stat : 3218 (manyglucose-4.1) R 3191 3168 3121 0 -1 4202560 16587 0 0 0 1459 5 0 0 20 0 3 0 500102195 716316672 78320 33554432000 4194304 4454172 140731879151760 140359286897512 4317792 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 28467200 140731879154510 140731879154716 140731879154716 140731879157686 0
[pid=3211/tid=3222] ppid=3191 vsize=699528 memory=4112 CPUtime=14.43 cores=0-7
/proc/3211/task/3222/stat : 3222 (manyglucose-4.1) R 3191 3168 3121 0 -1 4202560 15078 0 0 0 1439 4 0 0 20 0 3 0 500102195 716316672 78320 33554432000 4194304 4454172 140731879151760 140359253326776 4314756 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 28467200 140731879154510 140731879154716 140731879154716 140731879157686 0
[pid=3191/tid=3192] ppid=3168 vsize=8414124 memory=1808 CPUtime=0.78 cores=0-7
/proc/3191/task/3192/stat : 3192 (java) S 3168 3168 3121 0 -1 1077944384 17486 0 0 0 72 6 0 0 20 0 24 0 500102085 8616062976 30213 33554432000 4194304 4196468 140723200198064 139802544177056 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3193] ppid=3168 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/3191/task/3193/stat : 3193 (java) S 3168 3168 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500102086 8616062976 30213 33554432000 4194304 4196468 140723200198064 139802576578832 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3194] ppid=3168 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/3191/task/3194/stat : 3194 (java) S 3168 3168 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500102086 8616062976 30213 33554432000 4194304 4196468 140723200198064 139802394667408 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3195] ppid=3168 vsize=8414124 memory=60924 CPUtime=0 cores=0-7
/proc/3191/task/3195/stat : 3195 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500102086 8616062976 30213 33554432000 4194304 4196468 140723200198064 139802056751632 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3196] ppid=3168 vsize=8414124 memory=1988 CPUtime=0 cores=0-7
/proc/3191/task/3196/stat : 3196 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500102086 8616062976 30213 33554432000 4194304 4196468 140723200198064 139802055699088 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3197] ppid=3168 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/3191/task/3197/stat : 3197 (java) S 3168 3168 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500102086 8616062976 30213 33554432000 4194304 4196468 140723200198064 139802054646544 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3198] ppid=3168 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/3191/task/3198/stat : 3198 (java) S 3168 3168 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500102086 8616062976 30213 33554432000 4194304 4196468 140723200198064 139802053594000 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3199] ppid=3168 vsize=8414124 memory=1728 CPUtime=0 cores=0-7
/proc/3191/task/3199/stat : 3199 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500102086 8616062976 30213 33554432000 4194304 4196468 140723200198064 139802052541456 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3200] ppid=3168 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/3191/task/3200/stat : 3200 (java) S 3168 3168 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500102086 8616062976 30213 33554432000 4194304 4196468 140723200198064 139802051488912 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3201] ppid=3168 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/3191/task/3201/stat : 3201 (java) S 3168 3168 3121 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500102087 8616062976 30213 33554432000 4194304 4196468 140723200198064 139801867192304 139802572348034 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3202] ppid=3168 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/3191/task/3202/stat : 3202 (java) S 3168 3168 3121 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500102088 8616062976 30213 33554432000 4194304 4196468 140723200198064 139801252586400 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3203] ppid=3168 vsize=8414124 memory=120852 CPUtime=0 cores=0-7
/proc/3191/task/3203/stat : 3203 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500102088 8616062976 30213 33554432000 4194304 4196468 140723200198064 139800984151024 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3204] ppid=3168 vsize=8414124 memory=308668 CPUtime=0 cores=0-7
/proc/3191/task/3204/stat : 3204 (java) S 3168 3168 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500102091 8616062976 30213 33554432000 4194304 4196468 140723200198064 139800609642704 139802572355483 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3205] ppid=3168 vsize=8414124 memory=6944656592455097440 CPUtime=0.07 cores=0-7
/proc/3191/task/3205/stat : 3205 (java) S 3168 3168 3121 0 -1 1077944384 357 0 0 0 7 0 0 0 20 0 24 0 500102091 8616062976 30213 33554432000 4194304 4196468 140723200198064 139801866140144 139802572348034 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3206] ppid=3168 vsize=8414124 memory=6655300316396806240 CPUtime=0.06 cores=0-7
/proc/3191/task/3206/stat : 3206 (java) S 3168 3168 3121 0 -1 1077944384 270 0 0 0 6 0 0 0 20 0 24 0 500102091 8616062976 30213 33554432000 4194304 4196468 140723200198064 139801865087600 139802572348034 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3207] ppid=3168 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/3191/task/3207/stat : 3207 (java) S 3168 3168 3121 0 -1 1077944384 564 0 0 0 6 0 0 0 20 0 24 0 500102091 8616062976 30213 33554432000 4194304 4196468 140723200198064 139801864035056 139802572348034 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3208] ppid=3168 vsize=8414124 memory=120852 CPUtime=0.21 cores=0-7
/proc/3191/task/3208/stat : 3208 (java) S 3168 3168 3121 0 -1 1077944384 593 0 0 0 21 0 0 0 20 0 24 0 500102091 8616062976 30213 33554432000 4194304 4196468 140723200198064 139801862982512 139802572348034 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3209] ppid=3168 vsize=8414124 memory=245784 CPUtime=0 cores=0-7
/proc/3191/task/3209/stat : 3209 (java) S 3168 3168 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500102091 8616062976 30213 33554432000 4194304 4196468 140723200198064 139800111737056 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3210] ppid=3168 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3191/task/3210/stat : 3210 (java) S 3168 3168 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500102091 8616062976 30213 33554432000 4194304 4196468 140723200198064 139801861929392 139802572348034 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3212] ppid=3168 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3191/task/3212/stat : 3212 (java) S 3168 3168 3121 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500102162 8616062976 30213 33554432000 4194304 4196468 140723200198064 139801858184384 139802572361497 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3214] ppid=3168 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/3191/task/3214/stat : 3214 (java) S 3168 3168 3121 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500102162 8616062976 30213 33554432000 4194304 4196468 140723200198064 139799440637712 139802572358813 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3215] ppid=3168 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/3191/task/3215/stat : 3215 (java) S 3168 3168 3121 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500102162 8616062976 30213 33554432000 4194304 4196468 140723200198064 139799709073296 139802572358813 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3216] ppid=3168 vsize=8414124 memory=1728 CPUtime=0 cores=0-7
/proc/3191/task/3216/stat : 3216 (java) S 3168 3168 3121 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 500102164 8616062976 30213 33554432000 4194304 4196468 140723200198064 139799172210352 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
Current children cumulated CPU time: 123.21 s
Current children cumulated vsize: 9226780 KiB
Current children cumulated memory: 435608 KiB

[startup+19.6012 s]
/proc/loadavg: 2.02 0.47 0.19 6/221 3224
/proc/meminfo: memFree=18173688/32770624 swapFree=66957524/67108860
[pid=3168] ppid=3165 vsize=113128 memory=1476 CPUtime=5.97 cores=0-7
/proc/3168/stat : 3168 (scop.sh) S 3165 3168 3121 0 -1 4202496 583 28439 0 1 0 0 572 25 20 0 1 0 500101722 115843072 369 33554432000 4194304 5098028 140732456874720 140732456871464 140487382004348 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39555072 140732456882940 140732456883288 140732456883288 140732456886217 0
/proc/3168/statm: 28282 369 311 221 0 87 0
[pid=3191] ppid=3168 vsize=8283048 memory=125832 CPUtime=117.69 cores=0-7
/proc/3191/stat : 3191 (java) S 3168 3168 3121 0 -1 1077944320 21448 144409 0 1 130 9 11591 39 20 0 22 0 500102084 8481841152 31458 33554432000 4194304 4196468 140723200198064 140723200180608 139802572336887 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
/proc/3191/statm: 2070762 31458 3223 1 0 2032106 0
[pid=3191/tid=3192] ppid=3168 vsize=8283048 memory=988 CPUtime=117.09 cores=0-7
/proc/3191/task/3192/stat : 3192 (java) R 3168 3168 3121 0 -1 4202560 17573 144409 0 1 73 6 11591 39 20 0 22 0 500102085 8481841152 31458 33554432000 4194304 4196468 140723200198064 139802544157424 139802572358813 0 4 2 25189581 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3193] ppid=3168 vsize=8283048 memory=780 CPUtime=116.3 cores=0-7
/proc/3191/task/3193/stat : 3193 (java) S 3168 3168 3121 0 -1 1077944384 2 144409 0 1 0 0 11591 39 20 0 22 0 500102086 8481841152 31458 33554432000 4194304 4196468 140723200198064 139802576578832 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3194] ppid=3168 vsize=8283048 memory=6152 CPUtime=116.3 cores=0-7
/proc/3191/task/3194/stat : 3194 (java) S 3168 3168 3121 0 -1 1077944384 3 144409 0 1 0 0 11591 39 20 0 22 0 500102086 8481841152 31458 33554432000 4194304 4196468 140723200198064 139802394667408 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3195] ppid=3168 vsize=8283048 memory=0 CPUtime=116.3 cores=0-7
/proc/3191/task/3195/stat : 3195 (java) S 3168 3168 3121 0 -1 1077944384 1 144409 0 1 0 0 11591 39 20 0 22 0 500102086 8481841152 31458 33554432000 4194304 4196468 140723200198064 139802056751632 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3196] ppid=3168 vsize=8283048 memory=1476 CPUtime=116.3 cores=0-7
/proc/3191/task/3196/stat : 3196 (java) S 3168 3168 3121 0 -1 1077944384 1 144409 0 1 0 0 11591 39 20 0 22 0 500102086 8481841152 31458 33554432000 4194304 4196468 140723200198064 139802055699088 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3197] ppid=3168 vsize=8283048 memory=120852 CPUtime=116.3 cores=0-7
/proc/3191/task/3197/stat : 3197 (java) S 3168 3168 3121 0 -1 1077944384 2 144409 0 1 0 0 11591 39 20 0 22 0 500102086 8481841152 31458 33554432000 4194304 4196468 140723200198064 139802054646544 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3198] ppid=3168 vsize=8283048 memory=240804 CPUtime=116.3 cores=0-7
/proc/3191/task/3198/stat : 3198 (java) S 3168 3168 3121 0 -1 1077944384 2 144409 0 1 0 0 11591 39 20 0 22 0 500102086 8481841152 31458 33554432000 4194304 4196468 140723200198064 139802053594000 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3199] ppid=3168 vsize=8283048 memory=2112 CPUtime=116.3 cores=0-7
/proc/3191/task/3199/stat : 3199 (java) S 3168 3168 3121 0 -1 1077944384 1 144409 0 1 0 0 11591 39 20 0 22 0 500102086 8481841152 31458 33554432000 4194304 4196468 140723200198064 139802052541456 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3200] ppid=3168 vsize=8283048 memory=12040 CPUtime=116.3 cores=0-7
/proc/3191/task/3200/stat : 3200 (java) S 3168 3168 3121 0 -1 1077944384 2 144409 0 1 0 0 11591 39 20 0 22 0 500102086 8481841152 31458 33554432000 4194304 4196468 140723200198064 139802051488912 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3201] ppid=3168 vsize=8283048 memory=33 CPUtime=116.3 cores=0-7
/proc/3191/task/3201/stat : 3201 (java) S 3168 3168 3121 0 -1 1077944384 8 144409 0 1 0 0 11591 39 20 0 22 0 500102087 8481841152 31458 33554432000 4194304 4196468 140723200198064 139801867192304 139802572348034 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3202] ppid=3168 vsize=8283048 memory=-1624781813439352349 CPUtime=116.3 cores=0-7
/proc/3191/task/3202/stat : 3202 (java) S 3168 3168 3121 0 -1 1077944384 13 144409 0 1 0 0 11591 39 20 0 22 0 500102088 8481841152 31458 33554432000 4194304 4196468 140723200198064 139801252586400 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3203] ppid=3168 vsize=8283048 memory=7377836733370494828 CPUtime=116.3 cores=0-7
/proc/3191/task/3203/stat : 3203 (java) S 3168 3168 3121 0 -1 1077944384 1 144409 0 1 0 0 11591 39 20 0 22 0 500102088 8481841152 31458 33554432000 4194304 4196468 140723200198064 139800984151024 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3204] ppid=3168 vsize=8283048 memory=280230645282400 CPUtime=116.3 cores=0-7
/proc/3191/task/3204/stat : 3204 (java) S 3168 3168 3121 0 -1 1077944384 1 144409 0 1 0 0 11591 39 20 0 22 0 500102091 8481841152 31970 33554432000 4194304 4196468 140723200198064 139800609642704 139802572355483 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3205] ppid=3168 vsize=8283048 memory=7157735280179827044 CPUtime=116.38 cores=0-7
/proc/3191/task/3205/stat : 3205 (java) S 3168 3168 3121 0 -1 1077944384 469 144409 0 1 8 0 11591 39 20 0 22 0 500102091 8481841152 31970 33554432000 4194304 4196468 140723200198064 139801866140144 139802572348034 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3206] ppid=3168 vsize=8283048 memory=6946346473141921645 CPUtime=116.39 cores=0-7
/proc/3191/task/3206/stat : 3206 (java) S 3168 3168 3121 0 -1 1077944384 484 144409 0 1 9 0 11591 39 20 0 22 0 500102091 8481841152 31970 33554432000 4194304 4196468 140723200198064 139801865087600 139802572348034 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3207] ppid=3168 vsize=8283048 memory=0 CPUtime=116.38 cores=0-7
/proc/3191/task/3207/stat : 3207 (java) S 3168 3168 3121 0 -1 1077944384 588 144409 0 1 8 0 11591 39 20 0 22 0 500102091 8481841152 31970 33554432000 4194304 4196468 140723200198064 139801864035056 139802572348034 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3208] ppid=3168 vsize=8283048 memory=140115322652304 CPUtime=116.54 cores=0-7
/proc/3191/task/3208/stat : 3208 (java) S 3168 3168 3121 0 -1 1077944384 858 144409 0 1 24 0 11591 39 20 0 22 0 500102091 8481841152 31970 33554432000 4194304 4196468 140723200198064 139801862982512 139802572348034 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3209] ppid=3168 vsize=8283048 memory=1476 CPUtime=116.3 cores=0-7
/proc/3191/task/3209/stat : 3209 (java) S 3168 3168 3121 0 -1 1077944384 3 144409 0 1 0 0 11591 39 20 0 22 0 500102091 8481841152 31970 33554432000 4194304 4196468 140723200198064 139800111737056 139802572347093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3210] ppid=3168 vsize=8283048 memory=120852 CPUtime=116.3 cores=0-7
/proc/3191/task/3210/stat : 3210 (java) S 3168 3168 3121 0 -1 1077944384 3 144409 0 1 0 0 11591 39 20 0 22 0 500102091 8481841152 31970 33554432000 4194304 4196468 140723200198064 139801861929392 139802572348034 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3212] ppid=3168 vsize=8283048 memory=14698482732632482 CPUtime=116.3 cores=0-7
/proc/3191/task/3212/stat : 3212 (java) S 3168 3168 3121 0 -1 1077944384 32 144409 0 1 0 0 11591 39 20 0 22 0 500102162 8481841152 31970 33554432000 4194304 4196468 140723200198064 139801858183568 139802572348034 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
[pid=3191/tid=3216] ppid=3168 vsize=8283048 memory=140115322274416 CPUtime=116.3 cores=0-7
/proc/3191/task/3216/stat : 3216 (java) S 3168 3168 3121 0 -1 1077944384 24 144409 0 1 0 0 11591 39 20 0 22 0 500102164 8481841152 31970 33554432000 4194304 4196468 140723200198064 139799172212144 139802572348034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7106560 140723200205792 140723200205958 140723200205958 140723200208847 0
Current children cumulated CPU time: 123.66 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 127308 KiB

[startup+19.7011 s]
/proc/loadavg: 2.02 0.47 0.19 6/221 3224
/proc/meminfo: memFree=18173688/32770624 swapFree=66957524/67108860
[pid=3168] ppid=3165 vsize=113128 memory=1476 CPUtime=5.97 cores=0-7
/proc/3168/stat : 3168 (scop.sh) S 3165 3168 3121 0 -1 4202496 583 28439 0 1 0 0 572 25 20 0 1 0 500101722 115843072 369 33554432000 4194304 5098028 140732456874720 140732456871464 140487382004348 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39555072 140732456882940 140732456883288 140732456883288 140732456886217 0
/proc/3168/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 5.97 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 19.7038
CPU time (s): 123.921
CPU user time (s): 123.148
CPU system time (s): 0.773602
CPU usage (%): 628.921
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 717940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 123.148
system time used= 0.773602
maximum resident set size= 719292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196280
page faults= 2
swaps= 0
block input operations= 15392
block output operations= 5936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14703
involuntary context switches= 1589


# summary of solver processes directly reported to runsolver:
#   pid: 3168
#   total CPU time (s): 123.921
#   total CPU user time (s): 123.148
#   total CPU system time (s): 0.773602

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.206484 second user time and 0.284613 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-23 13:36:30
IDJOB=4405621
IDBENCH=120457
IDSOLVER=2868
FILE ID=node149/4405621-1569238628
RUNJOBID= node149-1569238590-3148
PBS_JOBID= 21704893
Free space on /var/tmp= 13480 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/StripPacking/StripPacking-m1-seriesT/StripPacking-T1e.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-4405621-1569238628/watcher-4405621-1569238628 -o /var/tmp/evaluation-result-4405621-1569238628/solver-4405621-1569238628 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569238590-3148 --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-4405621-1569238628.xml

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

MD5SUM BENCH= f7b8b642e131c8af917aaf97f4ae3b24
RANDOM SEED=760864286

node149.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.81
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.81
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.81
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.81
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:        18605996 kB
MemAvailable:   31808328 kB
Buffers:          150628 kB
Cached:         13028656 kB
SwapCached:        42372 kB
Active:          6549364 kB
Inactive:        6673156 kB
Active(anon):       2880 kB
Inactive(anon):    93776 kB
Active(file):    6546484 kB
Inactive(file):  6579380 kB
Unevictable:      109784 kB
Mlocked:          109784 kB
SwapTotal:      67108860 kB
SwapFree:       66957524 kB
Dirty:             20632 kB
Writeback:             0 kB
AnonPages:        112200 kB
Mapped:            55584 kB
Shmem:             44680 kB
Slab:             534968 kB
SReclaimable:     504928 kB
SUnreclaim:        30040 kB
KernelStack:        3360 kB
PageTables:         5244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514288 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:      144768 kB
DirectMap2M:    33400832 kB

Free space on /var/tmp at the end= 13460 MiB
End job on node149 at 2019-09-23 13:36:52