Trace number 4392761

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-06-15)SAT 125.185 19.189

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.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-873-serial-file.bin HOME/instance-4392761-1568416778.xml
0.64/0.54	
0.64/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.64/0.54	
0.64/0.57	c BEGIN-Prog: Sat Sep 14 01:19:01 CEST 2019
0.64/0.57	c PID: 876
0.64/0.57	c IP: 172.20.3.126
0.64/0.57	c HOST: node126.alineos.net
0.64/0.58	c (0,0) Parsing Begin
1.37/0.96	c (0,0) Parsing End
1.37/0.96	c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 200
1.37/0.96	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.37/0.96	c (0,0) Constraint Name Generate Begin
1.37/0.96	c (0,0) Ctr:HOME/instance-4392761-1568416778.xml,Add:ExtensionSupport:Le:NoOverlap:Num:Var
1.37/0.96	c (0,0) Constraint Name Generate End
1.37/0.96	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.37/0.97	c (0,0) CSP to CSPinCNF Begin
1.55/1.05	c (0,0) translated 6 (10%) constraints
1.55/1.06	c (0,0) translated 11 (20%) constraints
1.55/1.06	c (0,0) translated 16 (30%) constraints
1.55/1.07	c (0,0) translated 21 (40%) constraints
1.55/1.07	c (0,0) translated 26 (50%) constraints
1.55/1.07	c (0,0) translated 32 (60%) constraints
1.73/1.19	c (0,0) translated 37 (70%) constraints
1.90/1.24	c (0,0) translated 42 (80%) constraints
1.90/1.28	c (0,0) translated 47 (90%) constraints
2.16/1.32	c (0,0) translated 52 (100%) constraints
2.46/1.42	c (0,0) ===========================================
2.46/1.43	c (0,0) Hybrid: #OE=153, #LE=0
2.46/1.43	c (0,0) Hybrid
2.83/1.70	c (0,0) ===========================================
2.83/1.70	c (0,0) translated 43 (10%) constraints
2.83/1.70	c (0,0) translated 85 (20%) constraints
2.83/1.70	c (0,0) translated 128 (30%) constraints
2.83/1.70	c (0,0) translated 170 (40%) constraints
2.83/1.70	c (0,0) translated 213 (50%) constraints
2.83/1.70	c (0,0) translated 255 (60%) constraints
2.83/1.70	c (0,0) translated 298 (70%) constraints
2.83/1.70	c (0,0) translated 340 (80%) constraints
2.83/1.70	c (0,0) translated 383 (90%) constraints
2.83/1.70	c (0,0) translated 425 (100%) constraints
2.83/1.70	c (0,0) CSP to CSPinCNF End
2.83/1.70	c (0,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.83/1.70	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.83/1.70	c (0,0) CSPinCNF Propagation Begin
2.83/1.70	c (0,0) 0 values, 17 unsatisfiable literals, and 0 valid clauses are removed
2.83/1.70	c (0,0) CSPinCNF Propagation End
2.83/1.70	c (0,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.83/1.70	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.83/1.70	c (0,0) Hybrid: #OE=153, #LE=0
2.83/1.70	c (0,0) Simplify CSPinCNF Begin
2.83/1.70	c (1,1) Simplify CSPinCNF End
2.83/1.70	c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
2.83/1.70	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.83/1.70	c (1,1) Calculate Precise Domain Begin
2.83/1.70	c (1,1) 0 values are removed by re-calculation
2.83/1.70	c (1,1) Calculate Precise Domain End
2.83/1.70	c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
2.83/1.70	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.83/1.70	c (1,1) CSPinCNF to SatSolver Begin
3.48/1.80	c (1,1) 97 (10 %) CSP clauses are encoded (0 SAT variables, 5938 SAT clauses)
3.48/1.81	c (1,1) 194 (20 %) CSP clauses are encoded (0 SAT variables, 6035 SAT clauses)
3.48/1.82	c (1,1) 291 (30 %) CSP clauses are encoded (0 SAT variables, 6132 SAT clauses)
4.26/2.00	c (1,1) 388 (40 %) CSP clauses are encoded (0 SAT variables, 22925 SAT clauses)
4.68/2.17	c (1,1) 485 (50 %) CSP clauses are encoded (0 SAT variables, 42038 SAT clauses)
5.02/2.29	c (1,1) 582 (60 %) CSP clauses are encoded (0 SAT variables, 60828 SAT clauses)
5.20/2.37	c (1,1) 679 (70 %) CSP clauses are encoded (0 SAT variables, 79724 SAT clauses)
5.36/2.46	c (1,1) 776 (80 %) CSP clauses are encoded (0 SAT variables, 100809 SAT clauses)
5.46/2.54	c (1,1) 873 (90 %) CSP clauses are encoded (0 SAT variables, 122580 SAT clauses)
5.57/2.62	c (2,1) 969 (100 %) CSP clauses are encoded (0 SAT variables, 140094 SAT clauses)
5.57/2.62	c (2,1) CSPinCNF to SatSolver End
5.57/2.62	c (2,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
5.57/2.62	c (2,1) 6539 bool, 140373 clause
5.57/2.62	c (2,1) Export Begin
5.72/2.72	c (2,2) Export to HOME/scop-873-serial-file.bin
5.72/2.72	c (2,2) Export End
5.72/2.72	c (2,2) Export File Size: 0.03 MB
5.72/2.72	c (2,2) 0,0,0,0,1,1,2,STOP-AFTER(DIMACS)
5.72/2.72	c END-Prog: Sat Sep 14 01:19:03 CEST 2019
5.72/2.74	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-873-serial-file.bin
5.81/3.19	c (0,0) Read Serial File Begin
5.81/3.19	c (0,0) HOME/scop-873-serial-file.bin
6.71/3.43	c (0,0) Read Serial File End
6.71/3.44	
6.71/3.44	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
6.71/3.44	(Solving Process)
6.71/3.44	
6.71/3.46	c BEGIN-Prog: Sat Sep 14 01:19:04 CEST 2019
6.71/3.46	c PID: 901
6.71/3.46	c IP: 172.20.3.126
6.71/3.46	c HOST: node126.alineos.net
6.71/3.47	c (0,0) SatSolver.solve Begin
6.71/3.47	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392761-1568416778.xml-scop-876.cnf
6.71/3.50	c (0,0) c
6.71/3.50	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)
6.71/3.50	c (0,0) c
6.71/3.50	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.71/3.50	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.71/3.50	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.71/3.50	c (0,0) c |                                                                                                       |
6.96/3.54	c (0,0) c |  Number of variables:          6539                                                                   |
6.96/3.54	c (0,0) c |  Number of clauses:          140373                                                                   |
6.96/3.54	c (0,0) c |  Parse time:                   0.05 s                                                                 |
6.96/3.54	c (0,0) c |                                                                                                       |
7.04/3.77	c (0,0) c |  Simplification time:          0.23 s                                                                 |
7.04/3.77	c (0,0) c |                                                                                                       |
7.04/3.77	c (0,0) c |  Generating clones                                                                                    |
7.04/3.81	c (0,0) c |  all clones generated. Memory =   104.49Mb.                                                           |
7.04/3.81	c (0,0) c ========================================================================================================|
7.04/3.81	c (0,0) c
7.04/3.81	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
7.04/3.81	c (0,0) c
7.04/3.81	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.04/3.81	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
7.04/3.81	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.04/3.81	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
7.04/3.81	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
7.04/3.81	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
7.04/3.81	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
7.04/3.81	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
7.04/3.81	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
7.04/3.81	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
7.04/3.81	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
7.04/3.81	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
7.04/3.81	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
7.04/3.81	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
7.04/3.81	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
7.04/3.81	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
7.04/3.81	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
7.04/3.81	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
7.04/3.81	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
124.72/19.02	c (15,0) c
124.72/19.02	c (15,0) c real time : 15.526 s
124.72/19.02	c (15,0) c cpu time  : 117.319 s
124.72/19.02	c (15,0) c
124.72/19.02	c (15,0) c
124.72/19.02	c (15,0) c
124.72/19.02	c (15,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
124.72/19.02	c (15,0) c
124.72/19.02	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
124.72/19.02	c (15,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
124.72/19.02	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
124.72/19.02	c (15,0) c | Conflicts     |          529375 |      66190 |      66536 |      64899 |      66400 |      67720 |      66048 |      64331 |      67251 |
124.72/19.02	c (15,0) c | Decisions     |          807209 |      99460 |     102466 |      95636 |     102668 |     104681 |     100975 |      96549 |     104774 |
124.72/19.02	c (15,0) c | Propagations  |       190222459 |   23703756 |   23932735 |   23568894 |   23964147 |   23869638 |   23528460 |   23573484 |   24081345 |
124.72/19.02	c (15,0) c | ReduceDBs     |              48 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |
124.72/19.02	c (15,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
124.72/19.02	c (15,0) c | Restarts      |             996 |         78 |        139 |         55 |        149 |        130 |        136 |        110 |        199 |
124.72/19.02	c (15,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
124.72/19.02	c (15,0) c | PropBinClauses|       249663061 |   30949791 |   31298825 |   31489793 |   31534920 |   31039725 |   30784006 |   31172403 |   31393598 |
124.72/19.02	c (15,0) c | PropPreBlocker|      3810255284 |  476012726 |  472804834 |  479795885 |  480378622 |  477399983 |  471144256 |  469192015 |  483526963 |
124.72/19.02	c (15,0) c | PropNotBlocker|      1176992416 |  146248527 |  145306273 |  148062229 |  149030971 |  147595603 |  145577086 |  146191289 |  148980438 |
124.72/19.02	c (15,0) c | LitFullScans  |      6809953250 |  848691632 |  840042991 |  864041577 |  858045562 |  852041159 |  840044885 |  842958306 |  864087138 |
124.72/19.02	c (15,0) c | LitScanFracts |          301674 |      40819 |      36512 |      32346 |      36407 |      29460 |      39670 |      30208 |      56252 |
124.72/19.02	c (15,0) c | DecisionLevel0|             996 |         78 |        139 |         55 |        149 |        130 |        136 |        110 |        199 |
124.72/19.02	c (15,0) c | Periods       |            1134 |        141 |        140 |        144 |        143 |        142 |        140 |        140 |        144 |
124.72/19.02	c (15,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
124.72/19.02	c (15,0) c | Avg_Trail     |                 |       2514 |       2489 |       2458 |       2490 |       2481 |       2500 |       2457 |       2519 |
124.72/19.02	c (15,0) c | Avg_DL        |                 |         19 |         19 |         19 |         20 |         20 |         20 |         20 |         20 |
124.72/19.02	c (15,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
124.72/19.02	c (15,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
124.72/19.02	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
124.72/19.02	c (15,0) c | Exported      |           88798 |      11301 |      11470 |      11285 |      10443 |      11237 |      11449 |      11049 |      10564 |
124.72/19.02	c (15,0) c | Imported      |          545235 |      61437 |      68762 |      68109 |      67972 |      69897 |      68822 |      69230 |      71006 |
124.72/19.02	c (15,0) c | Good          |             266 |         32 |         33 |         37 |         31 |         31 |         34 |         33 |         35 |
124.72/19.02	c (15,0) c | Purge         |          544969 |      61405 |      68729 |      68072 |      67941 |      69866 |      68788 |      69197 |      70971 |
124.72/19.02	c (15,0) c | Promoted      |           45379 |       4937 |       6040 |       5551 |       5765 |       5624 |       5791 |       5475 |       6196 |
124.72/19.02	c (15,0) c | Remove_Imp    |          225625 |      25055 |      28417 |      31926 |      29262 |      27251 |      28083 |      25692 |      29939 |
124.72/19.02	c (15,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
124.72/19.02	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
124.72/19.02	c (15,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
124.72/19.02	c (15,0) c | Binaries      |                 |          5 |          8 |          1 |          8 |          8 |          4 |          5 |          5 |
124.72/19.02	c (15,0) c | Glues         |                 |         45 |         57 |         29 |         51 |         60 |         50 |         38 |         53 |
124.72/19.02	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
124.72/19.02	c (15,0) c | Orig_Seen     |            29 % |      39374 |      41856 |      38661 |      40168 |      43620 |      41320 |      40094 |      41254 |
124.72/19.02	c (15,0) c | Diff Orig seen|                 | -      720 |       1762 | -     1433 |         74 |       3526 |       1226 |      X     |       1160 |
124.72/19.02	c (15,0) c | Hamming       |            34 % |       2484 |       2226 |       2132 |       1954 |       2255 |       2328 |      X     |       2195 |
124.72/19.02	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
124.72/19.02	c (15,0) c | RunningTime   |                 |   14.6 100%|   15.2 100%|   14.6 100%|   14.6 100%|   14.6 100%|   14.8 100%|   14.6 100%|   14.6 100%|
124.72/19.02	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%|
124.72/19.02	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%|
124.72/19.02	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%|
124.72/19.02	c (15,0) c | SolvingTime   |                 |   14.6     |   15.2     |   14.7     |   14.6     |   14.6     |   14.8     |   14.6     |   14.6     |
124.72/19.02	c (15,0) c | PropagationTim|                 |   12.7  87%|   13.2  87%|   12.7  87%|   12.7  87%|   12.6  86%|   12.7  86%|   12.7  87%|   12.6  86%|
124.72/19.02	c (15,0) c | AnalysisTime  |                 |    1.5  10%|    1.5  10%|    1.5  10%|    1.5  10%|    1.5  10%|    1.6  11%|    1.5  10%|    1.6  11%|
124.72/19.02	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%|
124.72/19.02	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%|
124.72/19.02	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%|
124.72/19.02	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%|
124.72/19.02	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
124.72/19.02	c (15,0) c
124.72/19.02	c (15,0) c
124.72/19.02	c (15,0) c Threads : 8
124.72/19.02	c (15,0) c Winner : 6
124.72/19.02	c (15,0) c Conflicts_0 : 66190
124.72/19.02	c (15,0) c Conflicts_1 : 66536
124.72/19.02	c (15,0) c Conflicts_2 : 64899
124.72/19.02	c (15,0) c Conflicts_3 : 66400
124.72/19.02	c (15,0) c Conflicts_4 : 67720
124.72/19.02	c (15,0) c Conflicts_5 : 66048
124.72/19.02	c (15,0) c Conflicts_6 : 64331
124.72/19.02	c (15,0) c Conflicts_7 : 67251
124.72/19.02	c (15,0) c Conflicts_total : 529375
124.72/19.02	c (15,0) c Conflicts_winner : 64331
124.72/19.02	c (15,0) c Decisions_0 : 99460
124.72/19.02	c (15,0) c Decisions_1 : 102466
124.72/19.02	c (15,0) c Decisions_2 : 95636
124.72/19.02	c (15,0) c Decisions_3 : 102668
124.72/19.02	c (15,0) c Decisions_4 : 104681
124.72/19.02	c (15,0) c Decisions_5 : 100975
124.72/19.02	c (15,0) c Decisions_6 : 96549
124.72/19.02	c (15,0) c Decisions_7 : 104774
124.72/19.02	c (15,0) c Decisions_total : 807209
124.72/19.02	c (15,0) c Decisions_winner : 96549
124.72/19.02	c (15,0) c Propagations_0 : 23703756
124.72/19.02	c (15,0) c Propagations_1 : 23932735
124.72/19.02	c (15,0) c Propagations_2 : 23568894
124.72/19.02	c (15,0) c Propagations_3 : 23964147
124.72/19.02	c (15,0) c Propagations_4 : 23869638
124.72/19.02	c (15,0) c Propagations_5 : 23528460
124.72/19.02	c (15,0) c Propagations_6 : 23573484
124.72/19.02	c (15,0) c Propagations_7 : 24081345
124.72/19.02	c (15,0) c Propagations_total : 190222459
124.72/19.02	c (15,0) c Propagations_winner : 23573484
124.72/19.02	c (15,0) c ReduceDBs_0 : 6
124.72/19.02	c (15,0) c ReduceDBs_1 : 6
124.72/19.02	c (15,0) c ReduceDBs_2 : 6
124.72/19.02	c (15,0) c ReduceDBs_3 : 6
124.72/19.02	c (15,0) c ReduceDBs_4 : 6
124.72/19.02	c (15,0) c ReduceDBs_5 : 6
124.72/19.02	c (15,0) c ReduceDBs_6 : 6
124.72/19.02	c (15,0) c ReduceDBs_7 : 6
124.72/19.02	c (15,0) c ReduceDBs_total : 48
124.72/19.02	c (15,0) c ReduceDBs_winner : 6
124.72/19.02	c (15,0) c SimpDBs_0 : 1
124.72/19.02	c (15,0) c SimpDBs_1 : 1
124.72/19.02	c (15,0) c SimpDBs_2 : 1
124.72/19.02	c (15,0) c SimpDBs_3 : 1
124.72/19.02	c (15,0) c SimpDBs_4 : 1
124.72/19.02	c (15,0) c SimpDBs_5 : 1
124.72/19.02	c (15,0) c SimpDBs_6 : 1
124.72/19.02	c (15,0) c SimpDBs_7 : 1
124.72/19.02	c (15,0) c SimpDBs_total : 8
124.72/19.02	c (15,0) c SimpDBs_winner : 1
124.72/19.02	c (15,0) c Restarts_0 : 78
124.72/19.02	c (15,0) c Restarts_1 : 139
124.72/19.02	c (15,0) c Restarts_2 : 55
124.72/19.02	c (15,0) c Restarts_3 : 149
124.72/19.02	c (15,0) c Restarts_4 : 130
124.72/19.02	c (15,0) c Restarts_5 : 136
124.72/19.02	c (15,0) c Restarts_6 : 110
124.72/19.02	c (15,0) c Restarts_7 : 199
124.72/19.02	c (15,0) c Restarts_total : 996
124.72/19.02	c (15,0) c Restarts_winner : 110
124.72/19.02	c (15,0) c ForcedImports_0 : 0
124.72/19.02	c (15,0) c ForcedImports_1 : 0
124.72/19.02	c (15,0) c ForcedImports_2 : 0
124.72/19.02	c (15,0) c ForcedImports_3 : 0
124.72/19.02	c (15,0) c ForcedImports_4 : 0
124.72/19.02	c (15,0) c ForcedImports_5 : 0
124.72/19.02	c (15,0) c ForcedImports_6 : 0
124.72/19.02	c (15,0) c ForcedImports_7 : 0
124.72/19.02	c (15,0) c ForcedImports_total : 0
124.72/19.02	c (15,0) c ForcedImports_winner : 0
124.72/19.02	c (15,0) c PropsBinClauses_0 : 30949791
124.72/19.02	c (15,0) c PropsBinClauses_1 : 31298825
124.72/19.02	c (15,0) c PropsBinClauses_2 : 31489793
124.72/19.02	c (15,0) c PropsBinClauses_3 : 31534920
124.72/19.02	c (15,0) c PropsBinClauses_4 : 31039725
124.72/19.02	c (15,0) c PropsBinClauses_5 : 30784006
124.72/19.02	c (15,0) c PropsBinClauses_6 : 31172403
124.72/19.02	c (15,0) c PropsBinClauses_7 : 31393598
124.72/19.02	c (15,0) c PropsBinClauses_total : 249663061
124.72/19.02	c (15,0) c PropsBinClauses_winner : 31172403
124.72/19.02	c (15,0) c PropsPreBlocker_0 : 476012726
124.72/19.02	c (15,0) c PropsPreBlocker_1 : 472804834
124.72/19.02	c (15,0) c PropsPreBlocker_2 : 479795885
124.72/19.02	c (15,0) c PropsPreBlocker_3 : 480378622
124.72/19.02	c (15,0) c PropsPreBlocker_4 : 477399983
124.72/19.02	c (15,0) c PropsPreBlocker_5 : 471144256
124.72/19.02	c (15,0) c PropsPreBlocker_6 : 469192015
124.72/19.02	c (15,0) c PropsPreBlocker_7 : 483526963
124.72/19.02	c (15,0) c PropsPreBlocker_total : 3810255284
124.72/19.02	c (15,0) c PropsPreBlocker_winner : 469192015
124.72/19.02	c (15,0) c PropsNotBlocker_0 : 146248527
124.72/19.02	c (15,0) c PropsNotBlocker_1 : 145306273
124.72/19.02	c (15,0) c PropsNotBlocker_2 : 148062229
124.72/19.02	c (15,0) c PropsNotBlocker_3 : 149030971
124.72/19.02	c (15,0) c PropsNotBlocker_4 : 147595603
124.72/19.02	c (15,0) c PropsNotBlocker_5 : 145577086
124.72/19.02	c (15,0) c PropsNotBlocker_6 : 146191289
124.72/19.02	c (15,0) c PropsNotBlocker_7 : 148980438
124.72/19.02	c (15,0) c PropsNotBlocker_total : 1176992416
124.72/19.02	c (15,0) c PropsNotBlocker_winner : 146191289
124.72/19.02	c (15,0) c PropsLitFullScans_0 : 848691632
124.72/19.02	c (15,0) c PropsLitFullScans_1 : 840042991
124.72/19.02	c (15,0) c PropsLitFullScans_2 : 864041577
124.72/19.02	c (15,0) c PropsLitFullScans_3 : 858045562
124.72/19.02	c (15,0) c PropsLitFullScans_4 : 852041159
124.72/19.02	c (15,0) c PropsLitFullScans_5 : 840044885
124.72/19.02	c (15,0) c PropsLitFullScans_6 : 842958306
124.72/19.02	c (15,0) c PropsLitFullScans_7 : 864087138
124.72/19.02	c (15,0) c PropsLitFullScans_total : 6809953250
124.72/19.02	c (15,0) c PropsLitFullScans_winner : 842958306
124.72/19.03	c (15,0) c LitScanFractions_0 : 40819
124.72/19.03	c (15,0) c LitScanFractions_1 : 36512
124.72/19.03	c (15,0) c LitScanFractions_2 : 32346
124.72/19.03	c (15,0) c LitScanFractions_3 : 36407
124.72/19.03	c (15,0) c LitScanFractions_4 : 29460
124.72/19.03	c (15,0) c LitScanFractions_5 : 39670
124.72/19.03	c (15,0) c LitScanFractions_6 : 30208
124.72/19.03	c (15,0) c LitScanFractions_7 : 56252
124.72/19.03	c (15,0) c LitScanFractions_total : 301674
124.72/19.03	c (15,0) c LitScanFractions_winner : 30208
124.72/19.03	c (15,0) c DecisionLevel0_0 : 78
124.72/19.03	c (15,0) c DecisionLevel0_1 : 139
124.72/19.03	c (15,0) c DecisionLevel0_2 : 55
124.72/19.03	c (15,0) c DecisionLevel0_3 : 149
124.72/19.03	c (15,0) c DecisionLevel0_4 : 130
124.72/19.03	c (15,0) c DecisionLevel0_5 : 136
124.72/19.03	c (15,0) c DecisionLevel0_6 : 110
124.72/19.03	c (15,0) c DecisionLevel0_7 : 199
124.72/19.03	c (15,0) c DecisionLevel0_total : 996
124.72/19.03	c (15,0) c DecisionLevel0_winner : 110
124.72/19.03	c (15,0) c Periods_0 : 141
124.72/19.03	c (15,0) c Periods_1 : 140
124.72/19.03	c (15,0) c Periods_2 : 144
124.72/19.03	c (15,0) c Periods_3 : 143
124.72/19.03	c (15,0) c Periods_4 : 142
124.72/19.03	c (15,0) c Periods_5 : 140
124.72/19.03	c (15,0) c Periods_6 : 140
124.72/19.03	c (15,0) c Periods_7 : 144
124.72/19.03	c (15,0) c Periods_total : 1134
124.72/19.03	c (15,0) c Periods_winner : 140
124.72/19.03	c (15,0) c Margin_0 : 20
124.72/19.03	c (15,0) c Margin_1 : 20
124.72/19.03	c (15,0) c Margin_2 : 20
124.72/19.03	c (15,0) c Margin_3 : 20
124.72/19.03	c (15,0) c Margin_4 : 20
124.72/19.03	c (15,0) c Margin_5 : 20
124.72/19.03	c (15,0) c Margin_6 : 20
124.72/19.03	c (15,0) c Margin_7 : 20
124.72/19.03	c (15,0) c Margin_total : 160
124.72/19.03	c (15,0) c Margin_winner : 20
124.72/19.03	c (15,0) c Exported_0 : 11301
124.72/19.03	c (15,0) c Exported_1 : 11470
124.72/19.03	c (15,0) c Exported_2 : 11285
124.72/19.03	c (15,0) c Exported_3 : 10443
124.72/19.03	c (15,0) c Exported_4 : 11237
124.72/19.03	c (15,0) c Exported_5 : 11449
124.72/19.03	c (15,0) c Exported_6 : 11049
124.72/19.03	c (15,0) c Exported_7 : 10564
124.72/19.03	c (15,0) c Exported_total : 88798
124.72/19.03	c (15,0) c Exported_winner : 11049
124.72/19.03	c (15,0) c Imported_0 : 61437
124.72/19.03	c (15,0) c Imported_1 : 68762
124.72/19.03	c (15,0) c Imported_2 : 68109
124.72/19.03	c (15,0) c Imported_3 : 67972
124.72/19.03	c (15,0) c Imported_4 : 69897
124.72/19.03	c (15,0) c Imported_5 : 68822
124.72/19.03	c (15,0) c Imported_6 : 69230
124.72/19.03	c (15,0) c Imported_7 : 71006
124.72/19.03	c (15,0) c Imported_total : 545235
124.72/19.03	c (15,0) c Imported_winner : 69230
124.72/19.03	c (15,0) c Good_0 : 32
124.72/19.03	c (15,0) c Good_1 : 33
124.72/19.03	c (15,0) c Good_2 : 37
124.72/19.03	c (15,0) c Good_3 : 31
124.72/19.03	c (15,0) c Good_4 : 31
124.72/19.03	c (15,0) c Good_5 : 34
124.72/19.03	c (15,0) c Good_6 : 33
124.72/19.03	c (15,0) c Good_7 : 35
124.72/19.03	c (15,0) c Good_total : 266
124.72/19.03	c (15,0) c Good_winner : 33
124.72/19.03	c (15,0) c Purge_0 : 61405
124.72/19.03	c (15,0) c Purge_1 : 68729
124.72/19.03	c (15,0) c Purge_2 : 68072
124.72/19.03	c (15,0) c Purge_3 : 67941
124.72/19.03	c (15,0) c Purge_4 : 69866
124.72/19.03	c (15,0) c Purge_5 : 68788
124.72/19.03	c (15,0) c Purge_6 : 69197
124.72/19.03	c (15,0) c Purge_7 : 70971
124.72/19.03	c (15,0) c Purge_total : 544969
124.72/19.03	c (15,0) c Purge_winner : 69197
124.72/19.03	c (15,0) c Promoted_0 : 4937
124.72/19.03	c (15,0) c Promoted_1 : 6040
124.72/19.03	c (15,0) c Promoted_2 : 5551
124.72/19.03	c (15,0) c Promoted_3 : 5765
124.72/19.03	c (15,0) c Promoted_4 : 5624
124.72/19.03	c (15,0) c Promoted_5 : 5791
124.72/19.03	c (15,0) c Promoted_6 : 5475
124.72/19.03	c (15,0) c Promoted_7 : 6196
124.72/19.03	c (15,0) c Promoted_total : 45379
124.72/19.03	c (15,0) c Promoted_winner : 5475
124.72/19.03	c (15,0) c Remove_Imp_0 : 25055
124.72/19.03	c (15,0) c Remove_Imp_1 : 28417
124.72/19.03	c (15,0) c Remove_Imp_2 : 31926
124.72/19.03	c (15,0) c Remove_Imp_3 : 29262
124.72/19.03	c (15,0) c Remove_Imp_4 : 27251
124.72/19.03	c (15,0) c Remove_Imp_5 : 28083
124.72/19.03	c (15,0) c Remove_Imp_6 : 25692
124.72/19.03	c (15,0) c Remove_Imp_7 : 29939
124.72/19.03	c (15,0) c Remove_Imp_total : 225625
124.72/19.03	c (15,0) c Remove_Imp_winner : 25692
124.72/19.03	c (15,0) c Blocked_Reuse_0 : 0
124.72/19.03	c (15,0) c Blocked_Reuse_1 : 0
124.72/19.03	c (15,0) c Blocked_Reuse_2 : 0
124.72/19.03	c (15,0) c Blocked_Reuse_3 : 0
124.72/19.03	c (15,0) c Blocked_Reuse_4 : 0
124.72/19.03	c (15,0) c Blocked_Reuse_5 : 0
124.72/19.03	c (15,0) c Blocked_Reuse_6 : 0
124.72/19.03	c (15,0) c Blocked_Reuse_7 : 0
124.72/19.03	c (15,0) c Blocked_Reuse_total : 0
124.72/19.03	c (15,0) c Blocked_Reuse_winner : 0
124.72/19.03	c (15,0) c Unaries_0 : 0
124.72/19.03	c (15,0) c Unaries_1 : 0
124.72/19.03	c (15,0) c Unaries_2 : 0
124.72/19.03	c (15,0) c Unaries_3 : 0
124.72/19.03	c (15,0) c Unaries_4 : 0
124.72/19.03	c (15,0) c Unaries_5 : 0
124.72/19.03	c (15,0) c Unaries_6 : 0
124.72/19.03	c (15,0) c Unaries_7 : 0
124.72/19.03	c (15,0) c Unaries_total : 0
124.72/19.03	c (15,0) c Unaries_winner : 0
124.72/19.03	c (15,0) c Binaries_0 : 5
124.72/19.03	c (15,0) c Binaries_1 : 8
124.72/19.03	c (15,0) c Binaries_2 : 1
124.72/19.03	c (15,0) c Binaries_3 : 8
124.72/19.03	c (15,0) c Binaries_4 : 8
124.72/19.03	c (15,0) c Binaries_5 : 4
124.72/19.03	c (15,0) c Binaries_6 : 5
124.72/19.03	c (15,0) c Binaries_7 : 5
124.72/19.03	c (15,0) c Binaries_total : 44
124.72/19.03	c (15,0) c Binaries_winner : 5
124.72/19.03	c (15,0) c Glues_0 : 45
124.72/19.03	c (15,0) c Glues_1 : 57
124.72/19.03	c (15,0) c Glues_2 : 29
124.72/19.03	c (15,0) c Glues_3 : 51
124.72/19.03	c (15,0) c Glues_4 : 60
124.72/19.03	c (15,0) c Glues_5 : 50
124.72/19.03	c (15,0) c Glues_6 : 38
124.72/19.03	c (15,0) c Glues_7 : 53
124.72/19.03	c (15,0) c Glues_total : 383
124.72/19.03	c (15,0) c Glues_winner : 38
124.72/19.03	c (15,0) c RunningTime_0 : 14.609447
124.72/19.03	c (15,0) c RunningTime_1 : 15.170724
124.72/19.03	c (15,0) c RunningTime_2 : 14.631965
124.72/19.03	c (15,0) c RunningTime_3 : 14.612921
124.72/19.03	c (15,0) c RunningTime_4 : 14.596835
124.72/19.03	c (15,0) c RunningTime_5 : 14.769666
124.72/19.03	c (15,0) c RunningTime_6 : 14.560355
124.72/19.03	c (15,0) c RunningTime_7 : 14.599267
124.72/19.03	c (15,0) c RunningTime_total : 117.551180
124.72/19.03	c (15,0) c RunningTime_winner : 14.560355
124.72/19.03	c (15,0) c WaitingTime_0 : 0.000179
124.72/19.03	c (15,0) c WaitingTime_1 : 0.000144
124.72/19.03	c (15,0) c WaitingTime_2 : 0.000174
124.72/19.03	c (15,0) c WaitingTime_3 : 0.000186
124.72/19.03	c (15,0) c WaitingTime_4 : 0.000171
124.72/19.03	c (15,0) c WaitingTime_5 : 0.000157
124.72/19.03	c (15,0) c WaitingTime_6 : 0.000181
124.72/19.03	c (15,0) c WaitingTime_7 : 0.000192
124.72/19.03	c (15,0) c WaitingTime_total : 0.001384
124.72/19.03	c (15,0) c WaitingTime_winner : 0.000181
124.72/19.03	c (15,0) c ExchangingTime_0 : 0.025635
124.72/19.03	c (15,0) c ExchangingTime_1 : 0.023578
124.72/19.03	c (15,0) c ExchangingTime_2 : 0.027974
124.72/19.03	c (15,0) c ExchangingTime_3 : 0.027983
124.72/19.03	c (15,0) c ExchangingTime_4 : 0.031035
124.72/19.03	c (15,0) c ExchangingTime_5 : 0.023646
124.72/19.03	c (15,0) c ExchangingTime_6 : 0.029774
124.72/19.03	c (15,0) c ExchangingTime_7 : 0.031223
124.72/19.03	c (15,0) c ExchangingTime_total : 0.220848
124.72/19.03	c (15,0) c ExchangingTime_winner : 0.029774
124.72/19.03	c (15,0) c PeriodProcTime_0 : 0.001175
124.72/19.03	c (15,0) c PeriodProcTime_1 : 0.001179
124.72/19.03	c (15,0) c PeriodProcTime_2 : 0.001090
124.72/19.03	c (15,0) c PeriodProcTime_3 : 0.001106
124.72/19.03	c (15,0) c PeriodProcTime_4 : 0.001237
124.72/19.03	c (15,0) c PeriodProcTime_5 : 0.001173
124.72/19.03	c (15,0) c PeriodProcTime_6 : 0.001309
124.72/19.03	c (15,0) c PeriodProcTime_7 : 0.001187
124.72/19.03	c (15,0) c PeriodProcTime_total : 0.009456
124.72/19.03	c (15,0) c PeriodProcTime_winner : 0.001309
124.72/19.03	c (15,0) c SolvingTime_0 : 14.636435
124.72/19.03	c (15,0) c SolvingTime_1 : 15.195624
124.72/19.03	c (15,0) c SolvingTime_2 : 14.661203
124.72/19.03	c (15,0) c SolvingTime_3 : 14.642197
124.72/19.03	c (15,0) c SolvingTime_4 : 14.629279
124.72/19.03	c (15,0) c SolvingTime_5 : 14.794643
124.72/19.03	c (15,0) c SolvingTime_6 : 14.591619
124.72/19.03	c (15,0) c SolvingTime_7 : 14.631869
124.72/19.03	c (15,0) c SolvingTime_total : 117.782869
124.72/19.03	c (15,0) c SolvingTime_winner : 14.591619
124.72/19.03	c (15,0) c PropagationTime_0 : 12.690238
124.72/19.03	c (15,0) c PropagationTime_1 : 13.227251
124.72/19.03	c (15,0) c PropagationTime_2 : 12.692616
124.72/19.03	c (15,0) c PropagationTime_3 : 12.688634
124.72/19.03	c (15,0) c PropagationTime_4 : 12.638770
124.72/19.03	c (15,0) c PropagationTime_5 : 12.717346
124.72/19.03	c (15,0) c PropagationTime_6 : 12.668267
124.72/19.03	c (15,0) c PropagationTime_7 : 12.577210
124.72/19.03	c (15,0) c PropagationTime_total : 101.900330
124.72/19.03	c (15,0) c PropagationTime_winner : 12.668267
124.72/19.03	c (15,0) c AnalysisTime_0 : 1.488734
124.72/19.03	c (15,0) c AnalysisTime_1 : 1.473348
124.72/19.03	c (15,0) c AnalysisTime_2 : 1.511745
124.72/19.03	c (15,0) c AnalysisTime_3 : 1.463012
124.72/19.03	c (15,0) c AnalysisTime_4 : 1.511344
124.72/19.03	c (15,0) c AnalysisTime_5 : 1.598408
124.72/19.03	c (15,0) c AnalysisTime_6 : 1.469633
124.72/19.03	c (15,0) c AnalysisTime_7 : 1.589239
124.72/19.03	c (15,0) c AnalysisTime_total : 12.105462
124.72/19.03	c (15,0) c AnalysisTime_winner : 1.469633
124.72/19.03	c (15,0) c ReductionTime_0 : 0.096161
124.72/19.03	c (15,0) c ReductionTime_1 : 0.110319
124.72/19.03	c (15,0) c ReductionTime_2 : 0.103086
124.72/19.03	c (15,0) c ReductionTime_3 : 0.107920
124.72/19.03	c (15,0) c ReductionTime_4 : 0.103611
124.72/19.03	c (15,0) c ReductionTime_5 : 0.105888
124.72/19.03	c (15,0) c ReductionTime_6 : 0.105188
124.72/19.03	c (15,0) c ReductionTime_7 : 0.104399
124.72/19.03	c (15,0) c ReductionTime_total : 0.836571
124.72/19.03	c (15,0) c ReductionTime_winner : 0.105188
124.72/19.03	c (15,0) c SimplifyTime_0 : 0.000003
124.72/19.03	c (15,0) c SimplifyTime_1 : 0.000015
124.72/19.03	c (15,0) c SimplifyTime_2 : 0.000005
124.72/19.03	c (15,0) c SimplifyTime_3 : 0.000025
124.72/19.03	c (15,0) c SimplifyTime_4 : 0.000009
124.72/19.03	c (15,0) c SimplifyTime_5 : 0.000011
124.72/19.03	c (15,0) c SimplifyTime_6 : 0.000008
124.72/19.03	c (15,0) c SimplifyTime_7 : 0.000022
124.72/19.03	c (15,0) c SimplifyTime_total : 0.000099
124.72/19.03	c (15,0) c SimplifyTime_winner : 0.000008
124.72/19.03	c (15,0) c UsedRateTime_0 : 0.000000
124.72/19.03	c (15,0) c UsedRateTime_1 : 0.000000
124.72/19.03	c (15,0) c UsedRateTime_2 : 0.000000
124.72/19.03	c (15,0) c UsedRateTime_3 : 0.000000
124.72/19.03	c (15,0) c UsedRateTime_4 : 0.000000
124.72/19.03	c (15,0) c UsedRateTime_5 : 0.000000
124.72/19.03	c (15,0) c UsedRateTime_6 : 0.000000
124.72/19.03	c (15,0) c UsedRateTime_7 : 0.000000
124.72/19.03	c (15,0) c UsedRateTime_total : 0.000000
124.72/19.03	c (15,0) c UsedRateTime_winner : 0.000000
124.72/19.03	c (15,0) c OverlapRateTime_0 : 0.000000
124.72/19.03	c (15,0) c OverlapRateTime_1 : 0.000000
124.72/19.03	c (15,0) c OverlapRateTime_2 : 0.000000
124.72/19.03	c (15,0) c OverlapRateTime_3 : 0.000000
124.72/19.03	c (15,0) c OverlapRateTime_4 : 0.000000
124.72/19.03	c (15,0) c OverlapRateTime_5 : 0.000000
124.72/19.03	c (15,0) c OverlapRateTime_6 : 0.000000
124.72/19.03	c (15,0) c OverlapRateTime_7 : 0.000000
124.72/19.03	c (15,0) c OverlapRateTime_total : 0.000000
124.72/19.03	c (15,0) c OverlapRateTime_winner : 0.000000
124.72/19.03	c (15,0) c
124.72/19.03	c (15,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
124.72/19.03	c (15,0) c
124.72/19.03	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
124.72/19.03	c (15,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
124.72/19.03	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
124.72/19.03	c (15,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
124.72/19.03	c (15,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
124.72/19.03	c (15,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
124.72/19.03	c (15,0) c | Initial random_seed   | 1728224310 | 1290709244 | 1493342245 |  373883314 |  395403959 |  116699456 | 2019332728 |  414019736 |
124.72/19.03	c (15,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
124.72/19.03	c (15,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
124.72/19.03	c (15,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
124.72/19.03	c (15,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
124.72/19.03	c (15,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
124.72/19.03	c (15,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
124.72/19.03	c (15,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
124.72/19.03	c (15,0) c | var_decay             |     0.9300 |     0.9300 |     0.9200 |     0.9300 |     0.9300 |     0.9300 |     0.9200 |     0.9300 |
124.72/19.03	c (15,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
124.72/19.03	c (15,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
124.72/19.03	c (15,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
124.72/19.03	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
124.72/19.03	c (15,0) 
124.72/19.03	c (15,0) s SATISFIABLE
124.72/19.06	c (15,0) SatSolver.solve End
124.72/19.06	c (15,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
124.72/19.06	c (15,0) Show results Begin
124.97/19.15	c (16,0) h[0] = 28
124.97/19.15	c (16,0) h[1] = 151
124.97/19.15	c (16,0) h[2] = 21
124.97/19.15	c (16,0) h[3] = 44
124.97/19.15	c (16,0) h[4] = 107
124.97/19.15	c (16,0) h[5] = 121
124.97/19.15	c (16,0) h[6] = 7
124.97/19.15	c (16,0) h[7] = 95
124.97/19.15	c (16,0) h[8] = 26
124.97/19.15	c (16,0) h[9] = 33
124.97/19.15	c (16,0) h[10] = 78
124.97/19.15	c (16,0) h[11] = 31
124.97/19.15	c (16,0) h[12] = 63
124.97/19.15	c (16,0) h[13] = 106
124.97/19.15	c (16,0) h[14] = 11
124.97/19.15	c (16,0) h[15] = 20
124.97/19.15	c (16,0) h[16] = 83
124.97/19.15	c (16,0) r[0] = 1
124.97/19.15	c (16,0) r[1] = 1
124.97/19.15	c (16,0) r[2] = 1
124.97/19.15	c (16,0) r[3] = 1
124.97/19.15	c (16,0) r[4] = 1
124.97/19.15	c (16,0) r[5] = 1
124.97/19.15	c (16,0) r[6] = 1
124.97/19.15	c (16,0) r[7] = 1
124.97/19.15	c (16,0) r[8] = 1
124.97/19.15	c (16,0) r[9] = 1
124.97/19.15	c (16,0) r[10] = 1
124.97/19.15	c (16,0) r[11] = 1
124.97/19.15	c (16,0) r[12] = 1
124.97/19.15	c (16,0) r[13] = 1
124.97/19.15	c (16,0) r[14] = 1
124.97/19.15	c (16,0) r[15] = 1
124.97/19.15	c (16,0) r[16] = 1
124.97/19.15	c (16,0) w[0] = 139
124.97/19.15	c (16,0) w[1] = 25
124.97/19.15	c (16,0) w[2] = 44
124.97/19.15	c (16,0) w[3] = 60
124.97/19.15	c (16,0) w[4] = 19
124.97/19.15	c (16,0) w[5] = 21
124.97/19.15	c (16,0) w[6] = 32
124.97/19.15	c (16,0) w[7] = 20
124.97/19.15	c (16,0) w[8] = 11
124.97/19.15	c (16,0) w[9] = 9
124.97/19.15	c (16,0) w[10] = 54
124.97/19.15	c (16,0) w[11] = 78
124.97/19.15	c (16,0) w[12] = 83
124.97/19.15	c (16,0) w[13] = 61
124.97/19.15	c (16,0) w[14] = 37
124.97/19.15	c (16,0) w[15] = 5
124.97/19.15	c (16,0) w[16] = 32
124.97/19.15	c (16,0) x[0] = 61
124.97/19.15	c (16,0) x[1] = 115
124.97/19.15	c (16,0) x[2] = 115
124.97/19.15	c (16,0) x[3] = 140
124.97/19.15	c (16,0) x[4] = 140
124.97/19.15	c (16,0) x[5] = 159
124.97/19.15	c (16,0) x[6] = 159
124.97/19.15	c (16,0) x[7] = 180
124.97/19.15	c (16,0) x[8] = 180
124.97/19.15	c (16,0) x[9] = 191
124.97/19.15	c (16,0) x[10] = 61
124.97/19.15	c (16,0) x[11] = 37
124.97/19.15	c (16,0) x[12] = 32
124.97/19.15	c (16,0) x[13] = 0
124.97/19.15	c (16,0) x[14] = 0
124.97/19.15	c (16,0) x[15] = 32
124.97/19.15	c (16,0) x[16] = 0
124.97/19.15	c (16,0) y[0] = 0
124.97/19.15	c (16,0) y[1] = 49
124.97/19.15	c (16,0) y[2] = 28
124.97/19.15	c (16,0) y[3] = 156
124.97/19.15	c (16,0) y[4] = 49
124.97/19.15	c (16,0) y[5] = 35
124.97/19.15	c (16,0) y[6] = 28
124.97/19.15	c (16,0) y[7] = 61
124.97/19.15	c (16,0) y[8] = 35
124.97/19.15	c (16,0) y[9] = 28
124.97/19.15	c (16,0) y[10] = 28
124.97/19.15	c (16,0) y[11] = 169
124.97/19.15	c (16,0) y[12] = 106
124.97/19.15	c (16,0) y[13] = 0
124.97/19.15	c (16,0) y[14] = 189
124.97/19.15	c (16,0) y[15] = 169
124.97/19.15	c (16,0) y[16] = 106
124.97/19.15	s SATISFIABLE
124.97/19.16	v <instantiation>
124.97/19.16	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>
124.97/19.16	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>
124.97/19.16	v </instantiation>
124.97/19.16	c (16,0) Show results End
124.97/19.17	c (16,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
124.97/19.17	c (16,0) 15,16,STOP-AFTER(ALL)
124.97/19.17	c END-Prog: Sat Sep 14 01:19:20 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 (12310 MiB free)
  memory of node 1: 16384 MiB (11794 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392761-1568416778/watcher-4392761-1568416778 -o /tmp/evaluation-result-4392761-1568416778/solver-4392761-1568416778 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568416737-666 --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-4392761-1568416778.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=873, runsolver pid=870
Current StackSize limit: 8192 KiB


[startup+0.10014 s]*
/proc/loadavg: 1.50 1.86 2.13 2/211 900
/proc/meminfo: memFree=24588076/32770624 swapFree=67004752/67108860
[pid=873] ppid=870 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/873/stat : 873 (scop.sh) S 870 873 638 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417945633 115843072 349 33554432000 4194304 5098028 140730818840080 140730818837336 140613324219004 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24068096 140730818847524 140730818847852 140730818847852 140730818850765 0
/proc/873/statm: 28282 349 296 221 0 87 0
[pid=876] ppid=873 vsize=27314120 memory=107104 CPUtime=0.09 cores=0-7
/proc/876/stat : 876 (java) S 873 873 638 0 -1 1077944320 6365 0 0 0 7 2 0 0 20 0 20 0 417945633 27969658880 26776 33554432000 4194304 4196468 140728854679280 140728854661824 140620263960311 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
/proc/876/statm: 6828530 26776 2775 1 0 6790935 0
[pid=876/tid=877] ppid=873 vsize=27314120 memory=8390339637985935414 CPUtime=0.08 cores=0-7
/proc/876/task/877/stat : 877 (java) R 873 873 638 0 -1 4202560 4493 0 0 0 6 2 0 0 20 0 20 0 417945634 27969658880 26841 33554432000 4194304 4196468 140728854679280 140620235786640 140620250202857 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=878] ppid=873 vsize=27314120 memory=288230591823085591 CPUtime=0 cores=0-7
/proc/876/task/878/stat : 878 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 26841 33554432000 4194304 4196468 140728854679280 140620268202640 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=879] ppid=873 vsize=27314120 memory=288370181717726848 CPUtime=0 cores=0-7
/proc/876/task/879/stat : 879 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 26841 33554432000 4194304 4196468 140728854679280 140620051597840 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=880] ppid=873 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/876/task/880/stat : 880 (java) S 873 873 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 26841 33554432000 4194304 4196468 140728854679280 140620050545040 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=881] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/881/stat : 881 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 26841 33554432000 4194304 4196468 140728854679280 140620049492240 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=882] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/882/stat : 882 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 26841 33554432000 4194304 4196468 140728854679280 140619682929808 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=883] ppid=873 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/876/task/883/stat : 883 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 26841 33554432000 4194304 4196468 140728854679280 140619681877008 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=884] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/884/stat : 884 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 26841 33554432000 4194304 4196468 140728854679280 140619680824208 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=885] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/885/stat : 885 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 26841 33554432000 4194304 4196468 140728854679280 140619679771408 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=886] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/886/stat : 886 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417945637 27969658880 26841 33554432000 4194304 4196468 140728854679280 140619255081328 140620263971458 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=887] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/887/stat : 887 (java) S 873 873 638 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417945638 27969658880 26841 33554432000 4194304 4196468 140728854679280 140618235896864 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=890] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/890/stat : 890 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417945638 27969658880 26841 33554432000 4194304 4196468 140728854679280 140617967461232 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=891] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/891/stat : 891 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417945641 27969658880 26841 33554432000 4194304 4196468 140728854679280 140617592952656 140620263978907 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=893] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/893/stat : 893 (java) R 873 873 638 0 -1 4202560 299 0 0 0 0 0 0 0 20 0 20 0 417945641 27969658880 26841 33554432000 4194304 4196468 140728854679280 140619254029168 140620263971458 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=894] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/894/stat : 894 (java) R 873 873 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417945641 27969658880 26841 33554432000 4194304 4196468 140728854679280 140619252976368 140620263971458 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=896] ppid=873 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/876/task/896/stat : 896 (java) S 873 873 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417945641 27969658880 26841 33554432000 4194304 4196468 140728854679280 140619251923568 140620263971458 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=898] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/898/stat : 898 (java) S 873 873 638 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 20 0 417945641 27969658880 26841 33554432000 4194304 4196468 140728854679280 140619250870768 140620263971458 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=899] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/899/stat : 899 (java) S 873 873 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417945641 27969658880 26841 33554432000 4194304 4196468 140728854679280 140617095047776 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=900] ppid=873 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/876/task/900/stat : 900 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417945641 27969658880 26841 33554432000 4194304 4196468 140728854679280 140619249818160 140620263971458 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108500 KiB

[startup+0.210527 s]*
/proc/loadavg: 1.50 1.86 2.13 3/211 900
/proc/meminfo: memFree=24570308/32770624 swapFree=67004752/67108860
[pid=873] ppid=870 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/873/stat : 873 (scop.sh) S 870 873 638 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417945633 115843072 349 33554432000 4194304 5098028 140730818840080 140730818837336 140613324219004 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24068096 140730818847524 140730818847852 140730818847852 140730818850765 0
/proc/873/statm: 28282 349 296 221 0 87 0
[pid=876] ppid=873 vsize=27314120 memory=124228 CPUtime=0.24 cores=0-7
/proc/876/stat : 876 (java) S 873 873 638 0 -1 1077944320 11409 0 0 0 20 4 0 0 20 0 20 0 417945633 27969658880 31057 33554432000 4194304 4196468 140728854679280 140728854661824 140620263960311 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
/proc/876/statm: 6828530 31057 2955 1 0 6790935 0
[pid=876/tid=877] ppid=873 vsize=27314120 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/876/task/877/stat : 877 (java) R 873 873 638 0 -1 4202560 9119 0 0 0 16 3 0 0 20 0 20 0 417945634 27969658880 31057 33554432000 4194304 4196468 140728854679280 140620235776720 140620249125856 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=878] ppid=873 vsize=27314120 memory=288230591823085591 CPUtime=0 cores=0-7
/proc/876/task/878/stat : 878 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 31057 33554432000 4194304 4196468 140728854679280 140620268202640 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=879] ppid=873 vsize=27314120 memory=288370181717726848 CPUtime=0 cores=0-7
/proc/876/task/879/stat : 879 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 31057 33554432000 4194304 4196468 140728854679280 140620051597840 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=880] ppid=873 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/876/task/880/stat : 880 (java) S 873 873 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 31057 33554432000 4194304 4196468 140728854679280 140620050545040 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=881] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/881/stat : 881 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 31057 33554432000 4194304 4196468 140728854679280 140620049492240 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=882] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/882/stat : 882 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 31057 33554432000 4194304 4196468 140728854679280 140619682929808 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=883] ppid=873 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/876/task/883/stat : 883 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 31057 33554432000 4194304 4196468 140728854679280 140619681877008 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=884] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/884/stat : 884 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 31057 33554432000 4194304 4196468 140728854679280 140619680824208 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=885] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/885/stat : 885 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 31057 33554432000 4194304 4196468 140728854679280 140619679771408 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=886] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/886/stat : 886 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417945637 27969658880 31057 33554432000 4194304 4196468 140728854679280 140619255081328 140620263971458 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=887] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/887/stat : 887 (java) S 873 873 638 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417945638 27969658880 31057 33554432000 4194304 4196468 140728854679280 140618235896864 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=890] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/890/stat : 890 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417945638 27969658880 31057 33554432000 4194304 4196468 140728854679280 140617967461232 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=891] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/891/stat : 891 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417945641 27969658880 31057 33554432000 4194304 4196468 140728854679280 140617592952656 140620263978907 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=893] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/893/stat : 893 (java) S 873 873 638 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 417945641 27969658880 31057 33554432000 4194304 4196468 140728854679280 140619254029168 140620263971458 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=894] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/894/stat : 894 (java) S 873 873 638 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 417945641 27969658880 31057 33554432000 4194304 4196468 140728854679280 140619252976368 140620263971458 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=896] ppid=873 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/876/task/896/stat : 896 (java) S 873 873 638 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 417945641 27969658880 31057 33554432000 4194304 4196468 140728854679280 140619251923568 140620263971458 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=898] ppid=873 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/876/task/898/stat : 898 (java) S 873 873 638 0 -1 1077944384 475 0 0 0 2 0 0 0 20 0 20 0 417945641 27969658880 31057 33554432000 4194304 4196468 140728854679280 140619250870768 140620263971458 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=899] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/899/stat : 899 (java) S 873 873 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417945641 27969658880 31057 33554432000 4194304 4196468 140728854679280 140617095047776 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=900] ppid=873 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/876/task/900/stat : 900 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417945641 27969658880 31057 33554432000 4194304 4196468 140728854679280 140619249818160 140620263971458 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125624 KiB

[startup+0.309344 s]*
/proc/loadavg: 1.50 1.86 2.13 2/211 900
/proc/meminfo: memFree=24566648/32770624 swapFree=67004752/67108860
[pid=873] ppid=870 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/873/stat : 873 (scop.sh) S 870 873 638 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417945633 115843072 349 33554432000 4194304 5098028 140730818840080 140730818837336 140613324219004 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24068096 140730818847524 140730818847852 140730818847852 140730818850765 0
/proc/873/statm: 28282 349 296 221 0 87 0
[pid=876] ppid=873 vsize=27314120 memory=127644 CPUtime=0.42 cores=0-7
/proc/876/stat : 876 (java) S 873 873 638 0 -1 1077944320 12325 0 0 0 37 5 0 0 20 0 20 0 417945633 27969658880 31911 33554432000 4194304 4196468 140728854679280 140728854661824 140620263960311 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
/proc/876/statm: 6828530 31911 3015 1 0 6790935 0
[pid=876/tid=877] ppid=873 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/876/task/877/stat : 877 (java) R 873 873 638 0 -1 4202560 9872 0 0 0 25 4 0 0 20 0 20 0 417945634 27969658880 31911 33554432000 4194304 4196468 140728854679280 140620235790384 140620245523888 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=878] ppid=873 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/876/task/878/stat : 878 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 31911 33554432000 4194304 4196468 140728854679280 140620268202640 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=879] ppid=873 vsize=27314120 memory=9584 CPUtime=0 cores=0-7
/proc/876/task/879/stat : 879 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 31911 33554432000 4194304 4196468 140728854679280 140620051597840 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=880] ppid=873 vsize=27314120 memory=4140 CPUtime=0 cores=0-7
/proc/876/task/880/stat : 880 (java) S 873 873 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 31911 33554432000 4194304 4196468 140728854679280 140620050545040 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=881] ppid=873 vsize=27314120 memory=2832 CPUtime=0 cores=0-7
/proc/876/task/881/stat : 881 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 31911 33554432000 4194304 4196468 140728854679280 140620049492240 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=882] ppid=873 vsize=27314120 memory=1540 CPUtime=0 cores=0-7
/proc/876/task/882/stat : 882 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 31911 33554432000 4194304 4196468 140728854679280 140619682929808 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=883] ppid=873 vsize=27314120 memory=1720 CPUtime=0 cores=0-7
/proc/876/task/883/stat : 883 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 31911 33554432000 4194304 4196468 140728854679280 140619681877008 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=884] ppid=873 vsize=27314120 memory=5968 CPUtime=0 cores=0-7
/proc/876/task/884/stat : 884 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 31911 33554432000 4194304 4196468 140728854679280 140619680824208 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=885] ppid=873 vsize=27314120 memory=772 CPUtime=0 cores=0-7
/proc/876/task/885/stat : 885 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417945636 27969658880 31911 33554432000 4194304 4196468 140728854679280 140619679771408 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=886] ppid=873 vsize=27314120 memory=952 CPUtime=0 cores=0-7
/proc/876/task/886/stat : 886 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417945637 27969658880 31911 33554432000 4194304 4196468 140728854679280 140619255081328 140620263971458 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=887] ppid=873 vsize=27314120 memory=4100 CPUtime=0 cores=0-7
/proc/876/task/887/stat : 887 (java) S 873 873 638 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417945638 27969658880 31911 33554432000 4194304 4196468 140728854679280 140618235896864 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=890] ppid=873 vsize=27314120 memory=1808 CPUtime=0 cores=0-7
/proc/876/task/890/stat : 890 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417945638 27969658880 31911 33554432000 4194304 4196468 140728854679280 140617967461232 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=891] ppid=873 vsize=27314120 memory=14008 CPUtime=0 cores=0-7
/proc/876/task/891/stat : 891 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417945641 27969658880 31911 33554432000 4194304 4196468 140728854679280 140617592952656 140620263978907 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=893] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/893/stat : 893 (java) S 873 873 638 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 417945641 27969658880 31911 33554432000 4194304 4196468 140728854679280 140619254029168 140620263971458 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=894] ppid=873 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/876/task/894/stat : 894 (java) S 873 873 638 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 20 0 417945641 27969658880 31911 33554432000 4194304 4196468 140728854679280 140619252976368 140620263971458 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=896] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/896/stat : 896 (java) S 873 873 638 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 417945641 27969658880 31911 33554432000 4194304 4196468 140728854679280 140619251923568 140620263971458 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=898] ppid=873 vsize=27314120 memory=0 CPUtime=0.07 cores=0-7
/proc/876/task/898/stat : 898 (java) S 873 873 638 0 -1 1077944384 497 0 0 0 7 0 0 0 20 0 20 0 417945641 27969658880 31911 33554432000 4194304 4196468 140728854679280 140619250870768 140620263971458 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=899] ppid=873 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/876/task/899/stat : 899 (java) S 873 873 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417945641 27969658880 31911 33554432000 4194304 4196468 140728854679280 140617095047776 140620263970517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=900] ppid=873 vsize=27314120 memory=27969658879 CPUtime=0 cores=0-7
/proc/876/task/900/stat : 900 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417945641 27969658880 31911 33554432000 4194304 4196468 140728854679280 140619249818160 140620263971458 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129040 KiB

[startup+0.700944 s]
/proc/loadavg: 1.50 1.86 2.13 3/211 900
/proc/meminfo: memFree=24543544/32770624 swapFree=67004752/67108860
[pid=873] ppid=870 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/873/stat : 873 (scop.sh) S 870 873 638 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417945633 115843072 349 33554432000 4194304 5098028 140730818840080 140730818837336 140613324219004 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24068096 140730818847524 140730818847852 140730818847852 140730818850765 0
/proc/873/statm: 28282 349 296 221 0 87 0
[pid=876] ppid=873 vsize=27320392 memory=164944 CPUtime=0.97 cores=0-7
/proc/876/stat : 876 (java) S 873 873 638 0 -1 1077944320 19900 0 0 0 91 6 0 0 20 0 20 0 417945633 27976081408 41236 33554432000 4194304 4196468 140728854679280 140728854661824 140620263960311 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
/proc/876/statm: 6830098 41236 3177 1 0 6791447 0
[pid=876/tid=877] ppid=873 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7
/proc/876/task/877/stat : 877 (java) R 873 873 638 0 -1 4202560 16946 0 0 0 62 6 0 0 20 0 20 0 417945634 27976081408 41236 33554432000 4194304 4196468 140728854679280 140620235795920 140620248040798 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=878] ppid=873 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/876/task/878/stat : 878 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417945636 27976081408 41236 33554432000 4194304 4196468 140728854679280 140620268202640 140620263970517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=879] ppid=873 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/876/task/879/stat : 879 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417945636 27976081408 41236 33554432000 4194304 4196468 140728854679280 140620051597840 140620263970517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0
[pid=876/tid=880] ppid=873 vsize=27320392 memory=1228 CPUtime=0 cores=0-7
/proc/876/task/880/stat : 880 (java) S 873 873 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417945636 27976081408 41236 33554432000 4194304 4196468 140728854679280 140620050545040 140620263970517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21860352 140728854684396 140728854684822 140728854684822 140728854687695 0

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

/proc/901/task/906/stat : 906 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417945909 8616062976 30185 33554432000 4194304 4196468 140727124184944 140008555321744 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=907] ppid=873 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/901/task/907/stat : 907 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417945909 8616062976 30185 33554432000 4194304 4196468 140727124184944 140008554269712 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=908] ppid=873 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/901/task/908/stat : 908 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417945909 8616062976 30185 33554432000 4194304 4196468 140727124184944 140008553217168 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=909] ppid=873 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/901/task/909/stat : 909 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417945909 8616062976 30185 33554432000 4194304 4196468 140727124184944 140008219114256 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=910] ppid=873 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/901/task/910/stat : 910 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417945909 8616062976 30185 33554432000 4194304 4196468 140727124184944 140008218061712 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=911] ppid=873 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/901/task/911/stat : 911 (java) S 873 873 638 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417945910 8616062976 30185 33554432000 4194304 4196468 140727124184944 140007698290928 140008739039874 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=912] ppid=873 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/901/task/912/stat : 912 (java) S 873 873 638 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417945911 8616062976 30185 33554432000 4194304 4196468 140727124184944 140007411016864 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=913] ppid=873 vsize=8414124 memory=-8813974798734826976 CPUtime=0 cores=0-7
/proc/901/task/913/stat : 913 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417945911 8616062976 30185 33554432000 4194304 4196468 140727124184944 140007142580976 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=914] ppid=873 vsize=8414124 memory=-2698089780915066336 CPUtime=0 cores=0-7
/proc/901/task/914/stat : 914 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417945913 8616062976 30185 33554432000 4194304 4196468 140727124184944 140006768072656 140008739047323 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=915] ppid=873 vsize=8414124 memory=-5792065019343307669 CPUtime=0.05 cores=0-7
/proc/901/task/915/stat : 915 (java) S 873 873 638 0 -1 1077944384 565 0 0 0 5 0 0 0 20 0 24 0 417945913 8616062976 30185 33554432000 4194304 4196468 140727124184944 140007697238768 140008739039874 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=916] ppid=873 vsize=8414124 memory=54 CPUtime=0.06 cores=0-7
/proc/901/task/916/stat : 916 (java) S 873 873 638 0 -1 1077944384 194 0 0 0 6 0 0 0 20 0 24 0 417945913 8616062976 30185 33554432000 4194304 4196468 140727124184944 140007696186224 140008739039874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=917] ppid=873 vsize=8414124 memory=288230617509003574 CPUtime=0.08 cores=0-7
/proc/901/task/917/stat : 917 (java) S 873 873 638 0 -1 1077944384 441 0 0 0 8 0 0 0 20 0 24 0 417945913 8616062976 30185 33554432000 4194304 4196468 140727124184944 140007695133168 140008739039874 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=918] ppid=873 vsize=8414124 memory=15822192189376114 CPUtime=0.21 cores=0-7
/proc/901/task/918/stat : 918 (java) S 873 873 638 0 -1 1077944384 543 0 0 0 21 0 0 0 20 0 24 0 417945913 8616062976 30185 33554432000 4194304 4196468 140727124184944 140007694080624 140008739039874 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=919] ppid=873 vsize=8414124 memory=6076878065162868073 CPUtime=0 cores=0-7
/proc/901/task/919/stat : 919 (java) S 873 873 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417945913 8616062976 30185 33554432000 4194304 4196468 140727124184944 140006270167520 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=921] ppid=873 vsize=8414124 memory=5787495302022849088 CPUtime=0 cores=0-7
/proc/901/task/921/stat : 921 (java) S 873 873 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417945914 8616062976 30185 33554432000 4194304 4196468 140727124184944 140007693028016 140008739039874 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=923] ppid=873 vsize=8414124 memory=120740 CPUtime=0 cores=0-7
/proc/901/task/923/stat : 923 (java) S 873 873 638 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417945982 8616062976 30185 33554432000 4194304 4196468 140727124184944 140007684993984 140008739053337 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=925] ppid=873 vsize=8414124 memory=295212 CPUtime=0 cores=0-7
/proc/901/task/925/stat : 925 (java) S 873 873 638 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 417945983 8616062976 30185 33554432000 4194304 4196468 140727124184944 140005599068176 140008739050653 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=926] ppid=873 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/901/task/926/stat : 926 (java) S 873 873 638 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417945983 8616062976 30185 33554432000 4194304 4196468 140727124184944 140005867503760 140008739050653 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=927] ppid=873 vsize=8414124 memory=2004 CPUtime=0 cores=0-7
/proc/901/task/927/stat : 927 (java) S 873 873 638 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417945985 8616062976 30185 33554432000 4194304 4196468 140727124184944 140005330640304 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
Current children cumulated CPU time: 124.31 s
Current children cumulated vsize: 9226752 KiB
Current children cumulated memory: 436536 KiB

[startup+19.0011 s]
/proc/loadavg: 3.01 2.18 2.23 9/224 937
/proc/meminfo: memFree=24264516/32770624 swapFree=67004752/67108860
[pid=873] ppid=870 vsize=113128 memory=1476 CPUtime=5.81 cores=0-7
/proc/873/stat : 873 (scop.sh) S 870 873 638 0 -1 4202496 583 27983 0 0 0 0 559 22 20 0 1 0 417945633 115843072 369 33554432000 4194304 5098028 140730818840080 140730818836824 140613324219004 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 24068096 140730818847524 140730818847852 140730818847852 140730818850765 0
/proc/873/statm: 28282 369 311 221 0 87 0
[pid=901] ppid=873 vsize=8414124 memory=120740 CPUtime=1.24 cores=0-7
/proc/901/stat : 901 (java) S 873 873 638 0 -1 1077944320 20658 0 0 0 116 8 0 0 20 0 24 0 417945907 8616062976 30185 33554432000 4194304 4196468 140727124184944 140727124167488 140008739028727 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
/proc/901/statm: 2103531 30185 3203 1 0 2064875 0
[pid=922] ppid=901 vsize=699500 memory=314320 CPUtime=117.67 cores=0-7
/proc/922/stat : 922 (manyglucose-4.1) S 901 873 638 0 -1 1077944320 129188 0 0 0 11729 38 0 0 20 0 2 0 417945982 716288000 78580 33554432000 4194304 4454172 140733492300624 140733492299008 140631415168759 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 38379520 140733492302699 140733492302896 140733492302896 140733492305850 0
/proc/922/statm: 174875 78580 415 64 0 170543 0
[pid=922/tid=929] ppid=901 vsize=699500 memory=9034008885 CPUtime=15.06 cores=0-7
/proc/922/task/929/stat : 929 (manyglucose-4.1) R 901 873 638 0 -1 4202560 13572 0 0 0 1502 4 0 0 20 0 2 0 417946015 716288000 78580 33554432000 4194304 4454172 140733492300624 140631385427048 4351305 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 38379520 140733492302699 140733492302896 140733492302896 140733492305850 0
[pid=901/tid=902] ppid=873 vsize=8414124 memory=279610827370384 CPUtime=0.78 cores=0-7
/proc/901/task/902/stat : 902 (java) S 873 873 638 0 -1 1077944384 17519 0 0 0 72 6 0 0 20 0 24 0 417945907 8616062976 30185 33554432000 4194304 4196468 140727124184944 140008710868896 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=903] ppid=873 vsize=8414124 memory=279610827372656 CPUtime=0 cores=0-7
/proc/901/task/903/stat : 903 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417945909 8616062976 30185 33554432000 4194304 4196468 140727124184944 140008743270928 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=904] ppid=873 vsize=8414124 memory=279610827374928 CPUtime=0 cores=0-7
/proc/901/task/904/stat : 904 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417945909 8616062976 30185 33554432000 4194304 4196468 140727124184944 140008557427344 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=905] ppid=873 vsize=8414124 memory=279610827377200 CPUtime=0 cores=0-7
/proc/901/task/905/stat : 905 (java) S 873 873 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417945909 8616062976 30185 33554432000 4194304 4196468 140727124184944 140008556374288 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=906] ppid=873 vsize=8414124 memory=279610827379472 CPUtime=0 cores=0-7
/proc/901/task/906/stat : 906 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417945909 8616062976 30185 33554432000 4194304 4196468 140727124184944 140008555321744 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=907] ppid=873 vsize=8414124 memory=279610827381744 CPUtime=0 cores=0-7
/proc/901/task/907/stat : 907 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417945909 8616062976 30185 33554432000 4194304 4196468 140727124184944 140008554269712 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=908] ppid=873 vsize=8414124 memory=279610827384016 CPUtime=0 cores=0-7
/proc/901/task/908/stat : 908 (java) S 873 873 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417945909 8616062976 30185 33554432000 4194304 4196468 140727124184944 140008553217168 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=909] ppid=873 vsize=8414124 memory=279610827345392 CPUtime=0 cores=0-7
/proc/901/task/909/stat : 909 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417945909 8616062976 30185 33554432000 4194304 4196468 140727124184944 140008219114256 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=910] ppid=873 vsize=8414124 memory=54 CPUtime=0 cores=0-7
/proc/901/task/910/stat : 910 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417945909 8616062976 30185 33554432000 4194304 4196468 140727124184944 140008218061712 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=911] ppid=873 vsize=8414124 memory=288230621803979534 CPUtime=0 cores=0-7
/proc/901/task/911/stat : 911 (java) S 873 873 638 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417945910 8616062976 30185 33554432000 4194304 4196468 140727124184944 140007698290928 140008739039874 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=912] ppid=873 vsize=8414124 memory=16103667166105323 CPUtime=0 cores=0-7
/proc/901/task/912/stat : 912 (java) S 873 873 638 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417945911 8616062976 30185 33554432000 4194304 4196468 140727124184944 140007411016864 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=913] ppid=873 vsize=8414124 memory=7526486018442737720 CPUtime=0 cores=0-7
/proc/901/task/913/stat : 913 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417945911 8616062976 30185 33554432000 4194304 4196468 140727124184944 140007142580976 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=914] ppid=873 vsize=8414124 memory=7959395632134895928 CPUtime=0 cores=0-7
/proc/901/task/914/stat : 914 (java) S 873 873 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417945913 8616062976 30185 33554432000 4194304 4196468 140727124184944 140006768072656 140008739047323 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=915] ppid=873 vsize=8414124 memory=8530355695202032569 CPUtime=0.05 cores=0-7
/proc/901/task/915/stat : 915 (java) S 873 873 638 0 -1 1077944384 565 0 0 0 5 0 0 0 20 0 24 0 417945913 8616062976 30185 33554432000 4194304 4196468 140727124184944 140007697238768 140008739039874 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=916] ppid=873 vsize=8414124 memory=7953898241433557545 CPUtime=0.06 cores=0-7
/proc/901/task/916/stat : 916 (java) S 873 873 638 0 -1 1077944384 194 0 0 0 6 0 0 0 20 0 24 0 417945913 8616062976 30185 33554432000 4194304 4196468 140727124184944 140007696186224 140008739039874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=917] ppid=873 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/901/task/917/stat : 917 (java) S 873 873 638 0 -1 1077944384 441 0 0 0 8 0 0 0 20 0 24 0 417945913 8616062976 30185 33554432000 4194304 4196468 140727124184944 140007695133168 140008739039874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=918] ppid=873 vsize=8414124 memory=17860 CPUtime=0.21 cores=0-7
/proc/901/task/918/stat : 918 (java) S 873 873 638 0 -1 1077944384 543 0 0 0 21 0 0 0 20 0 24 0 417945913 8616062976 30185 33554432000 4194304 4196468 140727124184944 140007694080624 140008739039874 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=919] ppid=873 vsize=8414124 memory=8530215889788284928 CPUtime=0 cores=0-7
/proc/901/task/919/stat : 919 (java) S 873 873 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417945913 8616062976 30185 33554432000 4194304 4196468 140727124184944 140006270167520 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=921] ppid=873 vsize=8414124 memory=8530215889787695360 CPUtime=0 cores=0-7
/proc/901/task/921/stat : 921 (java) S 873 873 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417945914 8616062976 30185 33554432000 4194304 4196468 140727124184944 140007693028016 140008739039874 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=923] ppid=873 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/901/task/923/stat : 923 (java) S 873 873 638 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417945982 8616062976 30185 33554432000 4194304 4196468 140727124184944 140007684993984 140008739053337 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=925] ppid=873 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/901/task/925/stat : 925 (java) S 873 873 638 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 417945983 8616062976 30185 33554432000 4194304 4196468 140727124184944 140005599068176 140008739050653 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=926] ppid=873 vsize=8414124 memory=3618983287174733824 CPUtime=0 cores=0-7
/proc/901/task/926/stat : 926 (java) S 873 873 638 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417945983 8616062976 30185 33554432000 4194304 4196468 140727124184944 140005867503760 140008739050653 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=927] ppid=873 vsize=8414124 memory=8530215889788022841 CPUtime=0 cores=0-7
/proc/901/task/927/stat : 927 (java) S 873 873 638 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417945985 8616062976 30185 33554432000 4194304 4196468 140727124184944 140005330640304 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
Current children cumulated CPU time: 124.72 s
Current children cumulated vsize: 9226752 KiB
Current children cumulated memory: 436536 KiB

[startup+19.1011 s]
/proc/loadavg: 3.01 2.18 2.23 9/224 937
/proc/meminfo: memFree=24264516/32770624 swapFree=67004752/67108860
[pid=873] ppid=870 vsize=113128 memory=1476 CPUtime=5.81 cores=0-7
/proc/873/stat : 873 (scop.sh) S 870 873 638 0 -1 4202496 583 27983 0 0 0 0 559 22 20 0 1 0 417945633 115843072 369 33554432000 4194304 5098028 140730818840080 140730818836824 140613324219004 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 24068096 140730818847524 140730818847852 140730818847852 140730818850765 0
/proc/873/statm: 28282 369 311 221 0 87 0
[pid=901] ppid=873 vsize=8283048 memory=128068 CPUtime=119.16 cores=0-7
/proc/901/stat : 901 (java) S 873 873 638 0 -1 1077944320 21525 129203 0 0 137 9 11731 39 20 0 22 0 417945907 8481841152 32017 33554432000 4194304 4196468 140727124184944 140727124167488 140008739028727 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
/proc/901/statm: 2070762 32017 3223 1 0 2032106 0
[pid=901/tid=902] ppid=873 vsize=8283048 memory=265476 CPUtime=118.52 cores=0-7
/proc/901/task/902/stat : 902 (java) R 873 873 638 0 -1 4202560 17656 129203 0 0 76 6 11731 39 20 0 22 0 417945907 8481841152 32017 33554432000 4194304 4196468 140727124184944 140008710865664 140008739040662 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=903] ppid=873 vsize=8283048 memory=1476 CPUtime=117.7 cores=0-7
/proc/901/task/903/stat : 903 (java) S 873 873 638 0 -1 1077944384 2 129203 0 0 0 0 11731 39 20 0 22 0 417945909 8481841152 32017 33554432000 4194304 4196468 140727124184944 140008743270928 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=904] ppid=873 vsize=8283048 memory=120740 CPUtime=117.7 cores=0-7
/proc/901/task/904/stat : 904 (java) S 873 873 638 0 -1 1077944384 2 129203 0 0 0 0 11731 39 20 0 22 0 417945909 8481841152 32017 33554432000 4194304 4196468 140727124184944 140008557427344 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=905] ppid=873 vsize=8283048 memory=0 CPUtime=117.7 cores=0-7
/proc/901/task/905/stat : 905 (java) S 873 873 638 0 -1 1077944384 3 129203 0 0 0 0 11731 39 20 0 22 0 417945909 8481841152 32017 33554432000 4194304 4196468 140727124184944 140008556374288 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=906] ppid=873 vsize=8283048 memory=1060 CPUtime=117.7 cores=0-7
/proc/901/task/906/stat : 906 (java) S 873 873 638 0 -1 1077944384 1 129203 0 0 0 0 11731 39 20 0 22 0 417945909 8481841152 32017 33554432000 4194304 4196468 140727124184944 140008555321744 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=907] ppid=873 vsize=8283048 memory=752 CPUtime=117.7 cores=0-7
/proc/901/task/907/stat : 907 (java) S 873 873 638 0 -1 1077944384 1 129203 0 0 0 0 11731 39 20 0 22 0 417945909 8481841152 32017 33554432000 4194304 4196468 140727124184944 140008554269712 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=908] ppid=873 vsize=8283048 memory=3620 CPUtime=117.7 cores=0-7
/proc/901/task/908/stat : 908 (java) S 873 873 638 0 -1 1077944384 2 129203 0 0 0 0 11731 39 20 0 22 0 417945909 8481841152 32017 33554432000 4194304 4196468 140727124184944 140008553217168 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=909] ppid=873 vsize=8283048 memory=33 CPUtime=117.7 cores=0-7
/proc/901/task/909/stat : 909 (java) S 873 873 638 0 -1 1077944384 1 129203 0 0 0 0 11731 39 20 0 22 0 417945909 8481841152 32017 33554432000 4194304 4196468 140727124184944 140008219114256 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=910] ppid=873 vsize=8283048 memory=7085121341880624704 CPUtime=117.7 cores=0-7
/proc/901/task/910/stat : 910 (java) S 873 873 638 0 -1 1077944384 1 129203 0 0 0 0 11731 39 20 0 22 0 417945909 8481841152 32017 33554432000 4194304 4196468 140727124184944 140008218061712 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=911] ppid=873 vsize=8283048 memory=1476 CPUtime=117.7 cores=0-7
/proc/901/task/911/stat : 911 (java) S 873 873 638 0 -1 1077944384 5 129203 0 0 0 0 11731 39 20 0 22 0 417945910 8481841152 32017 33554432000 4194304 4196468 140727124184944 140007698290928 140008739039874 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=912] ppid=873 vsize=8283048 memory=120740 CPUtime=117.7 cores=0-7
/proc/901/task/912/stat : 912 (java) S 873 873 638 0 -1 1077944384 13 129203 0 0 0 0 11731 39 20 0 22 0 417945911 8481841152 32017 33554432000 4194304 4196468 140727124184944 140007411016864 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=913] ppid=873 vsize=8283048 memory=303720 CPUtime=117.7 cores=0-7
/proc/901/task/913/stat : 913 (java) S 873 873 638 0 -1 1077944384 1 129203 0 0 0 0 11731 39 20 0 22 0 417945911 8481841152 32017 33554432000 4194304 4196468 140727124184944 140007142580976 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=914] ppid=873 vsize=8283048 memory=566438951 CPUtime=117.7 cores=0-7
/proc/901/task/914/stat : 914 (java) S 873 873 638 0 -1 1077944384 1 129203 0 0 0 0 11731 39 20 0 22 0 417945913 8481841152 32017 33554432000 4194304 4196468 140727124184944 140006768072656 140008739047323 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=915] ppid=873 vsize=8283048 memory=192984 CPUtime=117.78 cores=0-7
/proc/901/task/915/stat : 915 (java) S 873 873 638 0 -1 1077944384 700 129203 0 0 8 0 11731 39 20 0 22 0 417945913 8481841152 32017 33554432000 4194304 4196468 140727124184944 140007697238768 140008739039874 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=916] ppid=873 vsize=8283048 memory=0 CPUtime=117.79 cores=0-7
/proc/901/task/916/stat : 916 (java) R 873 873 638 0 -1 1077944384 316 129203 0 0 9 0 11731 39 20 0 22 0 417945913 8481841152 32017 33554432000 4194304 4196468 140727124184944 140007696186224 140008739039874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=917] ppid=873 vsize=8283048 memory=279610826783264 CPUtime=117.8 cores=0-7
/proc/901/task/917/stat : 917 (java) R 873 873 638 0 -1 4202560 597 129203 0 0 10 0 11731 39 20 0 22 0 417945913 8481841152 32017 33554432000 4194304 4196468 140727124184944 140007695133168 140008739040662 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=918] ppid=873 vsize=8283048 memory=139809708913184 CPUtime=117.95 cores=0-7
/proc/901/task/918/stat : 918 (java) S 873 873 638 0 -1 1077944384 793 129203 0 0 25 0 11731 39 20 0 22 0 417945913 8481841152 32017 33554432000 4194304 4196468 140727124184944 140007694080624 140008739039874 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=919] ppid=873 vsize=8283048 memory=139805480453352 CPUtime=117.7 cores=0-7
/proc/901/task/919/stat : 919 (java) S 873 873 638 0 -1 1077944384 3 129203 0 0 0 0 11731 39 20 0 22 0 417945913 8481841152 32017 33554432000 4194304 4196468 140727124184944 140006270167520 140008739038933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=921] ppid=873 vsize=8283048 memory=0 CPUtime=117.7 cores=0-7
/proc/901/task/921/stat : 921 (java) S 873 873 638 0 -1 1077944384 3 129203 0 0 0 0 11731 39 20 0 22 0 417945914 8481841152 32017 33554432000 4194304 4196468 140727124184944 140007693028016 140008739039874 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=923] ppid=873 vsize=8283048 memory=143550691935959 CPUtime=117.7 cores=0-7
/proc/901/task/923/stat : 923 (java) S 873 873 638 0 -1 1077944384 33 129203 0 0 0 0 11731 39 20 0 22 0 417945982 8481841152 32017 33554432000 4194304 4196468 140727124184944 140007684993168 140008739039874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
[pid=901/tid=927] ppid=873 vsize=8283048 memory=120740 CPUtime=117.7 cores=0-7
/proc/901/task/927/stat : 927 (java) S 873 873 638 0 -1 1077944384 16 129203 0 0 0 0 11731 39 20 0 22 0 417945985 8481841152 32017 33554432000 4194304 4196468 140727124184944 140005330642096 140008739039874 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140727124186105 140727124186262 140727124186262 140727124189135 0
Current children cumulated CPU time: 124.97 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 129544 KiB

Child status: 0
Real time (s): 19.189
CPU time (s): 125.185
CPU user time (s): 124.454
CPU system time (s): 0.731042
CPU usage (%): 652.378
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 719964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 124.454
system time used= 0.731042
maximum resident set size= 721532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180682
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13894
involuntary context switches= 1310


# summary of solver processes directly reported to runsolver:
#   pid: 873
#   total CPU time (s): 125.185
#   total CPU user time (s): 124.454
#   total CPU system time (s): 0.731042

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.195999 second user time and 0.280932 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-14 01:19:01
IDJOB=4392761
IDBENCH=120457
IDSOLVER=2839
FILE ID=node126/4392761-1568416778
RUNJOBID= node126-1568416737-666
PBS_JOBID= 21702265
Free space on /tmp= 55776 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
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 /tmp/evaluation-result-4392761-1568416778/watcher-4392761-1568416778 -o /tmp/evaluation-result-4392761-1568416778/solver-4392761-1568416778 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568416737-666 --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-4392761-1568416778.xml

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

MD5SUM BENCH= f7b8b642e131c8af917aaf97f4ae3b24
RANDOM SEED=1446684146

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24682968 kB
MemAvailable:   31853708 kB
Buffers:          176952 kB
Cached:          7238004 kB
SwapCached:         2860 kB
Active:          2771352 kB
Inactive:        4650112 kB
Active(anon):       4676 kB
Inactive(anon):    43300 kB
Active(file):    2766676 kB
Inactive(file):  4606812 kB
Unevictable:      109080 kB
Mlocked:          109080 kB
SwapTotal:      67108860 kB
SwapFree:       67004752 kB
Dirty:             20804 kB
Writeback:             0 kB
AnonPages:        166992 kB
Mapped:            44456 kB
Shmem:             32816 kB
Slab:             255788 kB
SReclaimable:     225712 kB
SUnreclaim:        30076 kB
KernelStack:        3744 kB
PageTables:         6168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 55752 MiB
End job on node126 at 2019-09-14 01:19:20