Trace number 4405503

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-097.xml
MD5SUM8967691277ed469002b27945208c5243
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 benchmark53.043
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size336
Maximum domain size336
Distribution of domain sizes[{"size":336,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"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-10299-serial-file.bin HOME/instance-4405503-1569337450.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 17:03:29 CEST 2019
0.65/0.57	c PID: 10302
0.65/0.57	c IP: 172.20.3.140
0.65/0.57	c HOST: node140.alineos.net
0.65/0.58	c (0,0) Parsing Begin
1.38/0.91	c (0,0) Parsing End
1.38/0.92	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 336
1.38/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.92	c (0,0) Constraint Name Generate Begin
1.38/0.92	c (0,0) Ctr:HOME/instance-4405503-1569337450.xml,Le:NoOverlap:Num:Var
1.38/0.92	c (0,0) Constraint Name Generate End
1.38/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.92	c (0,0) CSP to CSPinCNF Begin
1.38/1.00	c (0,0) translated 6 (10%) constraints
1.55/1.01	c (0,0) translated 11 (20%) constraints
1.55/1.01	c (0,0) translated 16 (30%) constraints
1.55/1.01	c (0,0) translated 22 (40%) constraints
1.55/1.02	c (0,0) translated 27 (50%) constraints
1.55/1.02	c (0,0) translated 32 (60%) constraints
1.55/1.02	c (0,0) translated 38 (70%) constraints
1.55/1.02	c (0,0) translated 43 (80%) constraints
1.55/1.03	c (0,0) translated 48 (90%) constraints
2.14/1.29	c (0,0) translated 53 (100%) constraints
2.14/1.29	c (0,0) ===========================================
2.49/1.30	c (0,0) Hybrid: #OE=50, #LE=0
2.49/1.30	c (0,0) Hybrid
2.49/1.30	c (0,0) ===========================================
2.49/1.31	c (0,0) translated 36 (10%) constraints
2.49/1.32	c (0,0) translated 71 (20%) constraints
2.49/1.33	c (0,0) translated 106 (30%) constraints
2.49/1.33	c (0,0) translated 141 (40%) constraints
2.49/1.34	c (0,0) translated 176 (50%) constraints
2.49/1.34	c (0,0) translated 212 (60%) constraints
2.49/1.35	c (0,0) translated 247 (70%) constraints
2.49/1.35	c (0,0) translated 282 (80%) constraints
2.49/1.36	c (0,0) translated 317 (90%) constraints
2.49/1.36	c (0,0) translated 352 (100%) constraints
2.49/1.37	c (0,0) CSP to CSPinCNF End
2.49/1.37	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 335
2.49/1.37	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.37	c (0,0) CSPinCNF Propagation Begin
2.49/1.40	c (0,0) 0 values, 8 unsatisfiable literals, and 51 valid clauses are removed
2.49/1.40	c (0,0) CSPinCNF Propagation End
2.49/1.40	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 335
2.49/1.40	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.84/1.40	c (0,0) Hybrid: #OE=50, #LE=0
2.84/1.40	c (0,0) Simplify CSPinCNF Begin
3.11/1.50	c (0,0) Simplify CSPinCNF End
3.11/1.50	c (0,0) CSP: 50 int (0 aux), 1192 bool (1192 aux), 1493 ctr, max domain size 335
3.11/1.50	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.11/1.50	c (0,0) Calculate Precise Domain Begin
3.11/1.50	c (0,0) 0 values are removed by re-calculation
3.11/1.50	c (0,0) Calculate Precise Domain End
3.11/1.51	c (0,0) CSP: 50 int (0 aux), 1192 bool (1192 aux), 1493 ctr, max domain size 335
3.11/1.51	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.11/1.51	c (0,0) CSPinCNF to SatSolver Begin
4.59/1.93	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 48680 SAT clauses)
4.81/2.06	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 82256 SAT clauses)
4.95/2.19	c (1,1) 448 (30 %) CSP clauses are encoded (0 SAT variables, 113495 SAT clauses)
5.18/2.31	c (1,1) 598 (40 %) CSP clauses are encoded (0 SAT variables, 146030 SAT clauses)
5.28/2.43	c (1,1) 747 (50 %) CSP clauses are encoded (0 SAT variables, 175578 SAT clauses)
5.39/2.54	c (1,1) 896 (60 %) CSP clauses are encoded (0 SAT variables, 205031 SAT clauses)
5.50/2.65	c (2,2) 1046 (70 %) CSP clauses are encoded (0 SAT variables, 232037 SAT clauses)
5.62/2.75	c (2,2) 1195 (80 %) CSP clauses are encoded (0 SAT variables, 258078 SAT clauses)
5.73/2.84	c (2,2) 1344 (90 %) CSP clauses are encoded (0 SAT variables, 280743 SAT clauses)
5.85/2.90	c (2,2) 1493 (100 %) CSP clauses are encoded (0 SAT variables, 296506 SAT clauses)
5.85/2.90	c (2,2) CSPinCNF to SatSolver End
5.85/2.90	c (2,2) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.85/2.90	c (2,2) 15376 bool, 296582 clause
5.85/2.90	c (2,2) Export Begin
5.85/2.98	c (2,2) Export to HOME/scop-10299-serial-file.bin
5.85/2.98	c (2,2) Export End
5.85/2.98	c (2,2) Export File Size: 0.01 MB
5.85/2.98	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
5.85/2.98	c END-Prog: Tue Sep 24 17:03:32 CEST 2019
0.00/3.01	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10299-serial-file.bin
6.03/3.47	c (0,0) Read Serial File Begin
6.03/3.47	c (0,0) HOME/scop-10299-serial-file.bin
6.03/3.66	c (0,0) Read Serial File End
6.03/3.68	
6.03/3.68	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
6.03/3.68	(Solving Process)
6.03/3.68	
6.03/3.70	c BEGIN-Prog: Tue Sep 24 17:03:33 CEST 2019
6.03/3.70	c PID: 10322
6.03/3.70	c IP: 172.20.3.140
6.03/3.70	c HOST: node140.alineos.net
6.03/3.70	c (0,0) SatSolver.solve Begin
6.03/3.70	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405503-1569337450.xml-scop-10302.cnf
6.03/3.73	c (0,0) c
6.03/3.73	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.03/3.73	c (0,0) c
6.03/3.73	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.03/3.73	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.03/3.73	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.03/3.73	c (0,0) c |                                                                                                       |
6.03/3.83	c (0,0) c |  Number of variables:         15376                                                                   |
6.03/3.83	c (0,0) c |  Number of clauses:          296582                                                                   |
6.03/3.83	c (0,0) c |  Parse time:                   0.09 s                                                                 |
6.03/3.83	c (0,0) c |                                                                                                       |
7.53/4.17	c (0,0) c |  Simplification time:          0.33 s                                                                 |
7.53/4.17	c (0,0) c |                                                                                                       |
7.53/4.17	c (0,0) c |  Generating clones                                                                                    |
7.62/4.25	c (0,0) c |  all clones generated. Memory =   202.91Mb.                                                           |
7.62/4.25	c (0,0) c ========================================================================================================|
7.62/4.25	c (0,0) c
7.62/4.25	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
7.62/4.25	c (0,0) c
7.62/4.25	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.62/4.25	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
7.62/4.25	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.62/4.25	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
7.62/4.25	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
7.62/4.25	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
7.62/4.25	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
7.62/4.25	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
7.62/4.25	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
7.62/4.25	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
7.62/4.25	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
7.62/4.25	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
7.62/4.25	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
7.62/4.25	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
7.62/4.25	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
7.62/4.25	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
7.62/4.25	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
7.62/4.25	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
7.62/4.25	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.11/25.00	c (21,0) c
171.11/25.00	c (21,0) c real time : 21.2725 s
171.11/25.00	c (21,0) c cpu time  : 163.495 s
171.11/25.00	c (21,0) c
171.11/25.00	c (21,0) c
171.11/25.00	c (21,0) c
171.11/25.00	c (21,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
171.11/25.00	c (21,0) c
171.11/25.00	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.11/25.00	c (21,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
171.11/25.00	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.11/25.00	c (21,0) c | Conflicts     |          547181 |      67030 |      68119 |      68720 |      68684 |      68508 |      68181 |      68655 |      69284 |
171.11/25.00	c (21,0) c | Decisions     |         1110824 |     136022 |     136601 |     137166 |     137434 |     139511 |     140275 |     138302 |     145513 |
171.11/25.00	c (21,0) c | Propagations  |       299708450 |   37154533 |   37633584 |   37237224 |   37710546 |   37030379 |   37024499 |   37499247 |   38418438 |
171.11/25.00	c (21,0) c | ReduceDBs     |              52 |          6 |          6 |          7 |          7 |          6 |          6 |          7 |          7 |
171.11/25.00	c (21,0) c | SimpDBs       |              80 |         10 |         11 |         11 |          9 |         11 |         10 |          8 |         10 |
171.11/25.00	c (21,0) c | Restarts      |            2123 |        261 |        276 |        276 |        232 |        252 |        287 |        267 |        272 |
171.11/25.00	c (21,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
171.11/25.00	c (21,0) c | PropBinClauses|       355156464 |   44074384 |   44809100 |   44024677 |   44502939 |   43599522 |   44044396 |   44392125 |   45709321 |
171.11/25.00	c (21,0) c | PropPreBlocker|      4041272537 |  501950961 |  502307029 |  502552029 |  503882576 |  502388561 |  500152206 |  506612709 |  521426466 |
171.11/25.00	c (21,0) c | PropNotBlocker|      1277145231 |  159114160 |  162107632 |  155050462 |  156278449 |  160628630 |  159132814 |  159180032 |  165653052 |
171.11/25.00	c (21,0) c | LitFullScans  |      7779191016 |  966102240 |  972188590 |  966155464 |  966087487 |  975540437 |  966079446 |  970982582 |  996054770 |
171.11/25.00	c (21,0) c | LitScanFracts |         1022943 |      88406 |     138933 |     139959 |      60333 |     121420 |      63669 |     204153 |     206070 |
171.11/25.00	c (21,0) c | DecisionLevel0|            2142 |        263 |        279 |        279 |        233 |        255 |        289 |        269 |        275 |
171.11/25.00	c (21,0) c | Periods       |            1294 |        161 |        162 |        161 |        161 |        162 |        161 |        161 |        165 |
171.11/25.00	c (21,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
171.11/25.00	c (21,0) c | Avg_Trail     |                 |       6093 |       5934 |       6106 |       6157 |       5973 |       6039 |       6098 |       6150 |
171.11/25.00	c (21,0) c | Avg_DL        |                 |         21 |         21 |         21 |         22 |         20 |         21 |         21 |         22 |
171.11/25.00	c (21,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
171.11/25.00	c (21,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
171.11/25.00	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.11/25.00	c (21,0) c | Exported      |           87525 |      10512 |      10678 |      11294 |      10975 |      11089 |      11192 |      10966 |      10819 |
171.11/25.00	c (21,0) c | Imported      |          559973 |      70234 |      70153 |      69273 |      69871 |      70105 |      69677 |      68861 |      71799 |
171.11/25.00	c (21,0) c | Good          |             958 |        119 |        117 |        119 |        128 |        117 |        115 |        121 |        122 |
171.11/25.00	c (21,0) c | Purge         |          559015 |      70115 |      70036 |      69154 |      69743 |      69988 |      69562 |      68740 |      71677 |
171.11/25.00	c (21,0) c | Promoted      |           62365 |       7651 |       7748 |       8188 |       7517 |       8087 |       7975 |       7852 |       7347 |
171.11/25.00	c (21,0) c | Remove_Imp    |          259960 |      27722 |      27865 |      37768 |      38138 |      26724 |      27879 |      36543 |      37321 |
171.11/25.00	c (21,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
171.11/25.00	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.11/25.00	c (21,0) c | Unaries       |                 |          2 |          3 |          3 |          1 |          3 |          2 |          2 |          3 |
171.11/25.00	c (21,0) c | Binaries      |                 |         18 |         22 |         19 |          9 |         22 |         25 |         16 |         17 |
171.11/25.00	c (21,0) c | Glues         |                 |        207 |        193 |        214 |        175 |        215 |        242 |        197 |        210 |
171.11/25.00	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.11/25.00	c (21,0) c | Orig_Seen     |            18 % |      53334 |      51677 |      52283 |      53314 |      52870 |      51771 |      55027 |      56736 |
171.11/25.00	c (21,0) c | Diff Orig seen|                 | -     1693 | -     3350 | -     2744 | -     1713 | -     2157 | -     3256 |      X     |       1709 |
171.11/25.00	c (21,0) c | Hamming       |            31 % |       5522 |       4339 |       5137 |       5462 |       4225 |       4963 |      X     |       4613 |
171.11/25.00	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.11/25.00	c (21,0) c | RunningTime   |                 |   20.5 100%|   20.4 100%|   20.6 100%|   20.4 100%|   20.4 100%|   20.7 100%|   20.3 100%|   20.4 100%|
171.11/25.00	c (21,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%|
171.11/25.00	c (21,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%|
171.11/25.00	c (21,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%|
171.11/25.00	c (21,0) c | SolvingTime   |                 |   20.6     |   20.5     |   20.6     |   20.4     |   20.4     |   20.7     |   20.4     |   20.5     |
171.11/25.00	c (21,0) c | PropagationTim|                 |   16.9  82%|   16.8  82%|   16.8  82%|   16.6  81%|   16.7  82%|   17.1  82%|   16.5  81%|   16.8  82%|
171.11/25.00	c (21,0) c | AnalysisTime  |                 |    2.8  13%|    2.8  13%|    2.8  14%|    2.9  14%|    2.8  14%|    2.8  14%|    2.9  14%|    2.7  13%|
171.11/25.00	c (21,0) c | ReductionTime |                 |    0.1   1%|    0.1   1%|    0.2   1%|    0.2   1%|    0.1   1%|    0.1   1%|    0.2   1%|    0.2   1%|
171.11/25.00	c (21,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   1%|    0.1   1%|    0.1   0%|    0.1   1%|    0.1   1%|    0.1   0%|    0.1   0%|
171.11/25.00	c (21,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%|
171.11/25.00	c (21,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%|
171.11/25.00	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.11/25.00	c (21,0) c
171.11/25.00	c (21,0) c
171.11/25.00	c (21,0) c Threads : 8
171.11/25.00	c (21,0) c Winner : 6
171.11/25.00	c (21,0) c Conflicts_0 : 67030
171.11/25.00	c (21,0) c Conflicts_1 : 68119
171.11/25.00	c (21,0) c Conflicts_2 : 68720
171.11/25.00	c (21,0) c Conflicts_3 : 68684
171.11/25.00	c (21,0) c Conflicts_4 : 68508
171.11/25.00	c (21,0) c Conflicts_5 : 68181
171.11/25.00	c (21,0) c Conflicts_6 : 68655
171.11/25.00	c (21,0) c Conflicts_7 : 69284
171.11/25.00	c (21,0) c Conflicts_total : 547181
171.11/25.00	c (21,0) c Conflicts_winner : 68655
171.11/25.00	c (21,0) c Decisions_0 : 136022
171.11/25.00	c (21,0) c Decisions_1 : 136601
171.11/25.00	c (21,0) c Decisions_2 : 137166
171.11/25.00	c (21,0) c Decisions_3 : 137434
171.11/25.00	c (21,0) c Decisions_4 : 139511
171.11/25.00	c (21,0) c Decisions_5 : 140275
171.11/25.00	c (21,0) c Decisions_6 : 138302
171.11/25.00	c (21,0) c Decisions_7 : 145513
171.11/25.00	c (21,0) c Decisions_total : 1110824
171.11/25.00	c (21,0) c Decisions_winner : 138302
171.11/25.00	c (21,0) c Propagations_0 : 37154533
171.11/25.00	c (21,0) c Propagations_1 : 37633584
171.11/25.00	c (21,0) c Propagations_2 : 37237224
171.11/25.00	c (21,0) c Propagations_3 : 37710546
171.11/25.00	c (21,0) c Propagations_4 : 37030379
171.11/25.00	c (21,0) c Propagations_5 : 37024499
171.11/25.00	c (21,0) c Propagations_6 : 37499247
171.11/25.00	c (21,0) c Propagations_7 : 38418438
171.11/25.00	c (21,0) c Propagations_total : 299708450
171.11/25.00	c (21,0) c Propagations_winner : 37499247
171.11/25.00	c (21,0) c ReduceDBs_0 : 6
171.11/25.00	c (21,0) c ReduceDBs_1 : 6
171.11/25.00	c (21,0) c ReduceDBs_2 : 7
171.11/25.00	c (21,0) c ReduceDBs_3 : 7
171.11/25.00	c (21,0) c ReduceDBs_4 : 6
171.11/25.00	c (21,0) c ReduceDBs_5 : 6
171.11/25.00	c (21,0) c ReduceDBs_6 : 7
171.11/25.00	c (21,0) c ReduceDBs_7 : 7
171.11/25.00	c (21,0) c ReduceDBs_total : 52
171.11/25.00	c (21,0) c ReduceDBs_winner : 7
171.11/25.00	c (21,0) c SimpDBs_0 : 10
171.11/25.00	c (21,0) c SimpDBs_1 : 11
171.11/25.00	c (21,0) c SimpDBs_2 : 11
171.11/25.00	c (21,0) c SimpDBs_3 : 9
171.11/25.00	c (21,0) c SimpDBs_4 : 11
171.11/25.00	c (21,0) c SimpDBs_5 : 10
171.11/25.00	c (21,0) c SimpDBs_6 : 8
171.11/25.00	c (21,0) c SimpDBs_7 : 10
171.11/25.00	c (21,0) c SimpDBs_total : 80
171.11/25.00	c (21,0) c SimpDBs_winner : 8
171.11/25.00	c (21,0) c Restarts_0 : 261
171.11/25.00	c (21,0) c Restarts_1 : 276
171.11/25.00	c (21,0) c Restarts_2 : 276
171.11/25.00	c (21,0) c Restarts_3 : 232
171.11/25.00	c (21,0) c Restarts_4 : 252
171.11/25.00	c (21,0) c Restarts_5 : 287
171.11/25.00	c (21,0) c Restarts_6 : 267
171.11/25.00	c (21,0) c Restarts_7 : 272
171.11/25.00	c (21,0) c Restarts_total : 2123
171.11/25.00	c (21,0) c Restarts_winner : 267
171.11/25.00	c (21,0) c ForcedImports_0 : 0
171.11/25.00	c (21,0) c ForcedImports_1 : 0
171.11/25.00	c (21,0) c ForcedImports_2 : 0
171.11/25.00	c (21,0) c ForcedImports_3 : 0
171.11/25.00	c (21,0) c ForcedImports_4 : 0
171.11/25.00	c (21,0) c ForcedImports_5 : 0
171.11/25.00	c (21,0) c ForcedImports_6 : 0
171.11/25.00	c (21,0) c ForcedImports_7 : 0
171.11/25.00	c (21,0) c ForcedImports_total : 0
171.11/25.00	c (21,0) c ForcedImports_winner : 0
171.11/25.00	c (21,0) c PropsBinClauses_0 : 44074384
171.11/25.00	c (21,0) c PropsBinClauses_1 : 44809100
171.11/25.00	c (21,0) c PropsBinClauses_2 : 44024677
171.11/25.00	c (21,0) c PropsBinClauses_3 : 44502939
171.11/25.00	c (21,0) c PropsBinClauses_4 : 43599522
171.11/25.00	c (21,0) c PropsBinClauses_5 : 44044396
171.11/25.00	c (21,0) c PropsBinClauses_6 : 44392125
171.11/25.00	c (21,0) c PropsBinClauses_7 : 45709321
171.11/25.00	c (21,0) c PropsBinClauses_total : 355156464
171.11/25.00	c (21,0) c PropsBinClauses_winner : 44392125
171.11/25.00	c (21,0) c PropsPreBlocker_0 : 501950961
171.11/25.00	c (21,0) c PropsPreBlocker_1 : 502307029
171.11/25.00	c (21,0) c PropsPreBlocker_2 : 502552029
171.11/25.00	c (21,0) c PropsPreBlocker_3 : 503882576
171.11/25.00	c (21,0) c PropsPreBlocker_4 : 502388561
171.11/25.00	c (21,0) c PropsPreBlocker_5 : 500152206
171.11/25.00	c (21,0) c PropsPreBlocker_6 : 506612709
171.11/25.00	c (21,0) c PropsPreBlocker_7 : 521426466
171.11/25.00	c (21,0) c PropsPreBlocker_total : 4041272537
171.11/25.00	c (21,0) c PropsPreBlocker_winner : 506612709
171.11/25.00	c (21,0) c PropsNotBlocker_0 : 159114160
171.11/25.00	c (21,0) c PropsNotBlocker_1 : 162107632
171.11/25.00	c (21,0) c PropsNotBlocker_2 : 155050462
171.11/25.00	c (21,0) c PropsNotBlocker_3 : 156278449
171.11/25.00	c (21,0) c PropsNotBlocker_4 : 160628630
171.11/25.00	c (21,0) c PropsNotBlocker_5 : 159132814
171.11/25.01	c (21,0) c PropsNotBlocker_6 : 159180032
171.11/25.01	c (21,0) c PropsNotBlocker_7 : 165653052
171.11/25.01	c (21,0) c PropsNotBlocker_total : 1277145231
171.11/25.01	c (21,0) c PropsNotBlocker_winner : 159180032
171.11/25.01	c (21,0) c PropsLitFullScans_0 : 966102240
171.11/25.01	c (21,0) c PropsLitFullScans_1 : 972188590
171.11/25.01	c (21,0) c PropsLitFullScans_2 : 966155464
171.11/25.01	c (21,0) c PropsLitFullScans_3 : 966087487
171.11/25.01	c (21,0) c PropsLitFullScans_4 : 975540437
171.11/25.01	c (21,0) c PropsLitFullScans_5 : 966079446
171.11/25.01	c (21,0) c PropsLitFullScans_6 : 970982582
171.11/25.01	c (21,0) c PropsLitFullScans_7 : 996054770
171.11/25.01	c (21,0) c PropsLitFullScans_total : 7779191016
171.11/25.01	c (21,0) c PropsLitFullScans_winner : 970982582
171.11/25.01	c (21,0) c LitScanFractions_0 : 88406
171.11/25.01	c (21,0) c LitScanFractions_1 : 138933
171.11/25.01	c (21,0) c LitScanFractions_2 : 139959
171.11/25.01	c (21,0) c LitScanFractions_3 : 60333
171.11/25.01	c (21,0) c LitScanFractions_4 : 121420
171.11/25.01	c (21,0) c LitScanFractions_5 : 63669
171.11/25.01	c (21,0) c LitScanFractions_6 : 204153
171.11/25.01	c (21,0) c LitScanFractions_7 : 206070
171.11/25.01	c (21,0) c LitScanFractions_total : 1022943
171.11/25.01	c (21,0) c LitScanFractions_winner : 204153
171.11/25.01	c (21,0) c DecisionLevel0_0 : 263
171.11/25.01	c (21,0) c DecisionLevel0_1 : 279
171.11/25.01	c (21,0) c DecisionLevel0_2 : 279
171.11/25.01	c (21,0) c DecisionLevel0_3 : 233
171.11/25.01	c (21,0) c DecisionLevel0_4 : 255
171.11/25.01	c (21,0) c DecisionLevel0_5 : 289
171.11/25.01	c (21,0) c DecisionLevel0_6 : 269
171.11/25.01	c (21,0) c DecisionLevel0_7 : 275
171.11/25.01	c (21,0) c DecisionLevel0_total : 2142
171.11/25.01	c (21,0) c DecisionLevel0_winner : 269
171.11/25.01	c (21,0) c Periods_0 : 161
171.11/25.01	c (21,0) c Periods_1 : 162
171.11/25.01	c (21,0) c Periods_2 : 161
171.11/25.01	c (21,0) c Periods_3 : 161
171.11/25.01	c (21,0) c Periods_4 : 162
171.11/25.01	c (21,0) c Periods_5 : 161
171.11/25.01	c (21,0) c Periods_6 : 161
171.11/25.01	c (21,0) c Periods_7 : 165
171.11/25.01	c (21,0) c Periods_total : 1294
171.11/25.01	c (21,0) c Periods_winner : 161
171.11/25.01	c (21,0) c Margin_0 : 20
171.11/25.01	c (21,0) c Margin_1 : 20
171.11/25.01	c (21,0) c Margin_2 : 20
171.11/25.01	c (21,0) c Margin_3 : 20
171.11/25.01	c (21,0) c Margin_4 : 20
171.11/25.01	c (21,0) c Margin_5 : 20
171.11/25.01	c (21,0) c Margin_6 : 20
171.11/25.01	c (21,0) c Margin_7 : 20
171.11/25.01	c (21,0) c Margin_total : 160
171.11/25.01	c (21,0) c Margin_winner : 20
171.11/25.01	c (21,0) c Exported_0 : 10512
171.11/25.01	c (21,0) c Exported_1 : 10678
171.11/25.01	c (21,0) c Exported_2 : 11294
171.11/25.01	c (21,0) c Exported_3 : 10975
171.11/25.01	c (21,0) c Exported_4 : 11089
171.11/25.01	c (21,0) c Exported_5 : 11192
171.11/25.01	c (21,0) c Exported_6 : 10966
171.11/25.01	c (21,0) c Exported_7 : 10819
171.11/25.01	c (21,0) c Exported_total : 87525
171.11/25.01	c (21,0) c Exported_winner : 10966
171.11/25.01	c (21,0) c Imported_0 : 70234
171.11/25.01	c (21,0) c Imported_1 : 70153
171.23/25.01	c (21,0) c Imported_2 : 69273
171.23/25.01	c (21,0) c Imported_3 : 69871
171.23/25.01	c (21,0) c Imported_4 : 70105
171.23/25.01	c (21,0) c Imported_5 : 69677
171.23/25.01	c (21,0) c Imported_6 : 68861
171.23/25.01	c (21,0) c Imported_7 : 71799
171.23/25.01	c (21,0) c Imported_total : 559973
171.23/25.01	c (21,0) c Imported_winner : 68861
171.23/25.01	c (21,0) c Good_0 : 119
171.23/25.01	c (21,0) c Good_1 : 117
171.23/25.01	c (21,0) c Good_2 : 119
171.23/25.01	c (21,0) c Good_3 : 128
171.23/25.01	c (21,0) c Good_4 : 117
171.23/25.01	c (21,0) c Good_5 : 115
171.23/25.01	c (21,0) c Good_6 : 121
171.23/25.01	c (21,0) c Good_7 : 122
171.23/25.01	c (21,0) c Good_total : 958
171.23/25.01	c (21,0) c Good_winner : 121
171.23/25.01	c (21,0) c Purge_0 : 70115
171.23/25.01	c (21,0) c Purge_1 : 70036
171.23/25.01	c (21,0) c Purge_2 : 69154
171.23/25.01	c (21,0) c Purge_3 : 69743
171.23/25.01	c (21,0) c Purge_4 : 69988
171.23/25.01	c (21,0) c Purge_5 : 69562
171.23/25.01	c (21,0) c Purge_6 : 68740
171.23/25.01	c (21,0) c Purge_7 : 71677
171.23/25.01	c (21,0) c Purge_total : 559015
171.23/25.01	c (21,0) c Purge_winner : 68740
171.23/25.01	c (21,0) c Promoted_0 : 7651
171.23/25.01	c (21,0) c Promoted_1 : 7748
171.23/25.01	c (21,0) c Promoted_2 : 8188
171.23/25.01	c (21,0) c Promoted_3 : 7517
171.23/25.01	c (21,0) c Promoted_4 : 8087
171.23/25.01	c (21,0) c Promoted_5 : 7975
171.23/25.01	c (21,0) c Promoted_6 : 7852
171.23/25.01	c (21,0) c Promoted_7 : 7347
171.23/25.01	c (21,0) c Promoted_total : 62365
171.23/25.01	c (21,0) c Promoted_winner : 7852
171.23/25.01	c (21,0) c Remove_Imp_0 : 27722
171.23/25.01	c (21,0) c Remove_Imp_1 : 27865
171.23/25.01	c (21,0) c Remove_Imp_2 : 37768
171.23/25.01	c (21,0) c Remove_Imp_3 : 38138
171.23/25.01	c (21,0) c Remove_Imp_4 : 26724
171.23/25.01	c (21,0) c Remove_Imp_5 : 27879
171.23/25.01	c (21,0) c Remove_Imp_6 : 36543
171.23/25.01	c (21,0) c Remove_Imp_7 : 37321
171.23/25.01	c (21,0) c Remove_Imp_total : 259960
171.23/25.01	c (21,0) c Remove_Imp_winner : 36543
171.23/25.01	c (21,0) c Blocked_Reuse_0 : 0
171.23/25.01	c (21,0) c Blocked_Reuse_1 : 0
171.23/25.01	c (21,0) c Blocked_Reuse_2 : 0
171.23/25.01	c (21,0) c Blocked_Reuse_3 : 0
171.23/25.01	c (21,0) c Blocked_Reuse_4 : 0
171.23/25.01	c (21,0) c Blocked_Reuse_5 : 0
171.23/25.01	c (21,0) c Blocked_Reuse_6 : 0
171.23/25.01	c (21,0) c Blocked_Reuse_7 : 0
171.23/25.01	c (21,0) c Blocked_Reuse_total : 0
171.23/25.01	c (21,0) c Blocked_Reuse_winner : 0
171.23/25.01	c (21,0) c Unaries_0 : 2
171.23/25.01	c (21,0) c Unaries_1 : 3
171.23/25.01	c (21,0) c Unaries_2 : 3
171.23/25.01	c (21,0) c Unaries_3 : 1
171.23/25.01	c (21,0) c Unaries_4 : 3
171.23/25.01	c (21,0) c Unaries_5 : 2
171.23/25.01	c (21,0) c Unaries_6 : 2
171.23/25.01	c (21,0) c Unaries_7 : 3
171.23/25.01	c (21,0) c Unaries_total : 19
171.23/25.01	c (21,0) c Unaries_winner : 2
171.23/25.01	c (21,0) c Binaries_0 : 18
171.23/25.01	c (21,0) c Binaries_1 : 22
171.23/25.01	c (21,0) c Binaries_2 : 19
171.23/25.01	c (21,0) c Binaries_3 : 9
171.23/25.01	c (21,0) c Binaries_4 : 22
171.23/25.01	c (21,0) c Binaries_5 : 25
171.23/25.01	c (21,0) c Binaries_6 : 16
171.23/25.01	c (21,0) c Binaries_7 : 17
171.23/25.01	c (21,0) c Binaries_total : 148
171.23/25.01	c (21,0) c Binaries_winner : 16
171.23/25.01	c (21,0) c Glues_0 : 207
171.23/25.01	c (21,0) c Glues_1 : 193
171.23/25.01	c (21,0) c Glues_2 : 214
171.23/25.01	c (21,0) c Glues_3 : 175
171.23/25.01	c (21,0) c Glues_4 : 215
171.23/25.01	c (21,0) c Glues_5 : 242
171.23/25.01	c (21,0) c Glues_6 : 197
171.23/25.01	c (21,0) c Glues_7 : 210
171.23/25.01	c (21,0) c Glues_total : 1653
171.23/25.01	c (21,0) c Glues_winner : 197
171.23/25.01	c (21,0) c RunningTime_0 : 20.549075
171.23/25.01	c (21,0) c RunningTime_1 : 20.423087
171.23/25.01	c (21,0) c RunningTime_2 : 20.557499
171.23/25.01	c (21,0) c RunningTime_3 : 20.377980
171.23/25.01	c (21,0) c RunningTime_4 : 20.386292
171.23/25.01	c (21,0) c RunningTime_5 : 20.701872
171.23/25.01	c (21,0) c RunningTime_6 : 20.338111
171.23/25.01	c (21,0) c RunningTime_7 : 20.427219
171.23/25.01	c (21,0) c RunningTime_total : 163.761135
171.23/25.01	c (21,0) c RunningTime_winner : 20.338111
171.23/25.01	c (21,0) c WaitingTime_0 : 0.000257
171.23/25.01	c (21,0) c WaitingTime_1 : 0.000211
171.23/25.01	c (21,0) c WaitingTime_2 : 0.000238
171.23/25.01	c (21,0) c WaitingTime_3 : 0.000274
171.23/25.01	c (21,0) c WaitingTime_4 : 0.000253
171.23/25.01	c (21,0) c WaitingTime_5 : 0.000186
171.23/25.01	c (21,0) c WaitingTime_6 : 0.000253
171.23/25.01	c (21,0) c WaitingTime_7 : 0.000227
171.23/25.01	c (21,0) c WaitingTime_total : 0.001899
171.23/25.01	c (21,0) c WaitingTime_winner : 0.000253
171.23/25.01	c (21,0) c ExchangingTime_0 : 0.033833
171.23/25.01	c (21,0) c ExchangingTime_1 : 0.035270
171.23/25.01	c (21,0) c ExchangingTime_2 : 0.029221
171.23/25.01	c (21,0) c ExchangingTime_3 : 0.035552
171.23/25.01	c (21,0) c ExchangingTime_4 : 0.036381
171.23/25.01	c (21,0) c ExchangingTime_5 : 0.035860
171.23/25.01	c (21,0) c ExchangingTime_6 : 0.029504
171.23/25.01	c (21,0) c ExchangingTime_7 : 0.030369
171.23/25.01	c (21,0) c ExchangingTime_total : 0.265989
171.23/25.01	c (21,0) c ExchangingTime_winner : 0.029504
171.23/25.01	c (21,0) c PeriodProcTime_0 : 0.001607
171.23/25.01	c (21,0) c PeriodProcTime_1 : 0.001388
171.23/25.01	c (21,0) c PeriodProcTime_2 : 0.001596
171.23/25.01	c (21,0) c PeriodProcTime_3 : 0.001622
171.23/25.01	c (21,0) c PeriodProcTime_4 : 0.001603
171.23/25.01	c (21,0) c PeriodProcTime_5 : 0.001353
171.23/25.01	c (21,0) c PeriodProcTime_6 : 0.001522
171.23/25.01	c (21,0) c PeriodProcTime_7 : 0.001400
171.23/25.01	c (21,0) c PeriodProcTime_total : 0.012090
171.23/25.01	c (21,0) c PeriodProcTime_winner : 0.001522
171.23/25.01	c (21,0) c SolvingTime_0 : 20.584772
171.23/25.01	c (21,0) c SolvingTime_1 : 20.459955
171.23/25.01	c (21,0) c SolvingTime_2 : 20.588553
171.23/25.01	c (21,0) c SolvingTime_3 : 20.415427
171.23/25.01	c (21,0) c SolvingTime_4 : 20.424529
171.23/25.01	c (21,0) c SolvingTime_5 : 20.739270
171.23/25.01	c (21,0) c SolvingTime_6 : 20.369390
171.23/25.01	c (21,0) c SolvingTime_7 : 20.459214
171.23/25.01	c (21,0) c SolvingTime_total : 164.041112
171.23/25.01	c (21,0) c SolvingTime_winner : 20.369390
171.23/25.01	c (21,0) c PropagationTime_0 : 16.917788
171.23/25.01	c (21,0) c PropagationTime_1 : 16.848463
171.23/25.01	c (21,0) c PropagationTime_2 : 16.789623
171.23/25.01	c (21,0) c PropagationTime_3 : 16.573514
171.23/25.01	c (21,0) c PropagationTime_4 : 16.736248
171.23/25.01	c (21,0) c PropagationTime_5 : 17.068628
171.23/25.01	c (21,0) c PropagationTime_6 : 16.533944
171.23/25.01	c (21,0) c PropagationTime_7 : 16.782858
171.23/25.01	c (21,0) c PropagationTime_total : 134.251066
171.23/25.01	c (21,0) c PropagationTime_winner : 16.533944
171.23/25.01	c (21,0) c AnalysisTime_0 : 2.764805
171.23/25.01	c (21,0) c AnalysisTime_1 : 2.752289
171.23/25.01	c (21,0) c AnalysisTime_2 : 2.842495
171.23/25.01	c (21,0) c AnalysisTime_3 : 2.924876
171.23/25.01	c (21,0) c AnalysisTime_4 : 2.807531
171.23/25.01	c (21,0) c AnalysisTime_5 : 2.806594
171.23/25.01	c (21,0) c AnalysisTime_6 : 2.922886
171.23/25.01	c (21,0) c AnalysisTime_7 : 2.731247
171.23/25.01	c (21,0) c AnalysisTime_total : 22.552722
171.23/25.01	c (21,0) c AnalysisTime_winner : 2.922886
171.23/25.01	c (21,0) c ReductionTime_0 : 0.145657
171.23/25.01	c (21,0) c ReductionTime_1 : 0.113800
171.23/25.01	c (21,0) c ReductionTime_2 : 0.162646
171.23/25.01	c (21,0) c ReductionTime_3 : 0.178841
171.23/25.01	c (21,0) c ReductionTime_4 : 0.118495
171.23/25.01	c (21,0) c ReductionTime_5 : 0.114694
171.23/25.01	c (21,0) c ReductionTime_6 : 0.179569
171.23/25.01	c (21,0) c ReductionTime_7 : 0.169526
171.23/25.01	c (21,0) c ReductionTime_total : 1.183228
171.23/25.01	c (21,0) c ReductionTime_winner : 0.179569
171.23/25.01	c (21,0) c SimplifyTime_0 : 0.098197
171.23/25.01	c (21,0) c SimplifyTime_1 : 0.112597
171.23/25.01	c (21,0) c SimplifyTime_2 : 0.111654
171.23/25.01	c (21,0) c SimplifyTime_3 : 0.096074
171.23/25.01	c (21,0) c SimplifyTime_4 : 0.112175
171.23/25.01	c (21,0) c SimplifyTime_5 : 0.104371
171.23/25.01	c (21,0) c SimplifyTime_6 : 0.079154
171.23/25.01	c (21,0) c SimplifyTime_7 : 0.101319
171.23/25.01	c (21,0) c SimplifyTime_total : 0.815540
171.23/25.01	c (21,0) c SimplifyTime_winner : 0.079154
171.23/25.01	c (21,0) c UsedRateTime_0 : 0.000000
171.23/25.01	c (21,0) c UsedRateTime_1 : 0.000000
171.23/25.01	c (21,0) c UsedRateTime_2 : 0.000000
171.23/25.01	c (21,0) c UsedRateTime_3 : 0.000000
171.23/25.01	c (21,0) c UsedRateTime_4 : 0.000000
171.23/25.01	c (21,0) c UsedRateTime_5 : 0.000000
171.23/25.01	c (21,0) c UsedRateTime_6 : 0.000000
171.23/25.01	c (21,0) c UsedRateTime_7 : 0.000000
171.23/25.01	c (21,0) c UsedRateTime_total : 0.000000
171.23/25.01	c (21,0) c UsedRateTime_winner : 0.000000
171.23/25.01	c (21,0) c OverlapRateTime_0 : 0.000000
171.23/25.01	c (21,0) c OverlapRateTime_1 : 0.000000
171.23/25.01	c (21,0) c OverlapRateTime_2 : 0.000000
171.23/25.01	c (21,0) c OverlapRateTime_3 : 0.000000
171.23/25.01	c (21,0) c OverlapRateTime_4 : 0.000000
171.23/25.01	c (21,0) c OverlapRateTime_5 : 0.000000
171.23/25.01	c (21,0) c OverlapRateTime_6 : 0.000000
171.23/25.01	c (21,0) c OverlapRateTime_7 : 0.000000
171.23/25.01	c (21,0) c OverlapRateTime_total : 0.000000
171.23/25.01	c (21,0) c OverlapRateTime_winner : 0.000000
171.23/25.01	c (21,0) c
171.23/25.01	c (21,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
171.23/25.01	c (21,0) c
171.23/25.01	c (21,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.23/25.01	c (21,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
171.23/25.01	c (21,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.23/25.01	c (21,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
171.23/25.01	c (21,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
171.23/25.01	c (21,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
171.23/25.01	c (21,0) c | Initial random_seed   | 1515466703 |  898592825 | 1328157918 |  255951562 | 1248998060 | 1155619301 |  598358309 | 1128104245 |
171.23/25.01	c (21,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
171.23/25.01	c (21,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
171.23/25.01	c (21,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
171.23/25.01	c (21,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
171.23/25.01	c (21,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
171.23/25.01	c (21,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
171.23/25.01	c (21,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
171.23/25.01	c (21,0) c | var_decay             |     0.9300 |     0.9300 |     0.9300 |     0.9300 |     0.9300 |     0.9300 |     0.9300 |     0.9300 |
171.23/25.01	c (21,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
171.23/25.01	c (21,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
171.23/25.01	c (21,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
171.23/25.01	c (21,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.23/25.01	c (21,0) 
171.23/25.01	c (21,0) s SATISFIABLE
171.23/25.05	c (21,0) SatSolver.solve End
171.23/25.06	c (21,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
171.23/25.06	c (21,0) Show results Begin
171.51/25.15	c (21,0) x[0] = 224
171.51/25.15	c (21,0) x[1] = 105
171.51/25.15	c (21,0) x[2] = 101
171.51/25.15	c (21,0) x[3] = 101
171.51/25.15	c (21,0) x[4] = 176
171.51/25.15	c (21,0) x[5] = 108
171.51/25.15	c (21,0) x[6] = 118
171.51/25.15	c (21,0) x[7] = 101
171.51/25.15	c (21,0) x[8] = 79
171.51/25.15	c (21,0) x[9] = 105
171.51/25.15	c (21,0) x[10] = 73
171.51/25.15	c (21,0) x[11] = 226
171.51/25.15	c (21,0) x[12] = 224
171.51/25.15	c (21,0) x[13] = 184
171.51/25.15	c (21,0) x[14] = 73
171.51/25.15	c (21,0) x[15] = 176
171.51/25.15	c (21,0) x[16] = 79
171.51/25.15	c (21,0) x[17] = 118
171.51/25.15	c (21,0) x[18] = 0
171.51/25.15	c (21,0) x[19] = 262
171.51/25.15	c (21,0) x[20] = 0
171.51/25.15	c (21,0) x[21] = 132
171.51/25.15	c (21,0) x[22] = 226
171.51/25.15	c (21,0) x[23] = 184
171.51/25.15	c (21,0) x[24] = 0
171.51/25.15	c (21,0) y[0] = 190
171.51/25.15	c (21,0) y[1] = 253
171.51/25.15	c (21,0) y[2] = 253
171.51/25.15	c (21,0) y[3] = 246
171.51/25.15	c (21,0) y[4] = 184
171.51/25.15	c (21,0) y[5] = 246
171.51/25.15	c (21,0) y[6] = 242
171.51/25.15	c (21,0) y[7] = 229
171.51/25.15	c (21,0) y[8] = 257
171.51/25.15	c (21,0) y[9] = 256
171.51/25.15	c (21,0) y[10] = 229
171.51/25.15	c (21,0) y[11] = 190
171.51/25.15	c (21,0) y[12] = 152
171.51/25.15	c (21,0) y[13] = 152
171.51/25.15	c (21,0) y[14] = 184
171.51/25.15	c (21,0) y[15] = 192
171.51/25.15	c (21,0) y[16] = 283
171.51/25.15	c (21,0) y[17] = 184
171.51/25.15	c (21,0) y[18] = 184
171.51/25.15	c (21,0) y[19] = 152
171.51/25.15	c (21,0) y[20] = 257
171.51/25.15	c (21,0) y[21] = 242
171.51/25.15	c (21,0) y[22] = 226
171.51/25.15	c (21,0) y[23] = 0
171.51/25.15	c (21,0) y[24] = 0
171.51/25.15	s SATISFIABLE
171.51/25.15	v <instantiation>
171.51/25.15	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] 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] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24]</list>
171.51/25.15	v     <values>224 105 101 101 176 108 118 101 79 105 73 226 224 184 73 176 79 118 0 262 0 132 226 184 0 190 253 253 246 184 246 242 229 257 256 229 190 152 152 184 192 283 184 184 152 257 242 226 0 0</values>
171.51/25.15	v </instantiation>
171.51/25.15	c (21,0) Show results End
171.51/25.15	c (21,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
171.51/25.15	c (21,0) 21,21,STOP-AFTER(ALL)
171.51/25.15	c END-Prog: Tue Sep 24 17:03:54 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 (14071 MiB free)
  memory of node 1: 16384 MiB (10977 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405503-1569337450/watcher-4405503-1569337450 -o /var/tmp/evaluation-result-4405503-1569337450/solver-4405503-1569337450 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --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-4405503-1569337450.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
Current StackSize limit: 8192 KiB

Starting watchdog thread
solver pid=10299, runsolver pid=10296

[startup+0.100135 s]*
/proc/loadavg: 4.13 2.40 2.89 3/213 10321
/proc/meminfo: memFree=25555512/32770624 swapFree=66997508/67108860
[pid=10299] ppid=10296 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10299/stat : 10299 (scop.sh) S 10296 10299 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509683354 115843072 349 33554432000 4194304 5098028 140734049202016 140734049199272 139989856146044 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39153664 140734049211132 140734049211480 140734049211480 140734049214409 0
/proc/10299/statm: 28282 349 296 221 0 87 0
[pid=10302] ppid=10299 vsize=27314120 memory=106088 CPUtime=0.11 cores=0-7
/proc/10302/stat : 10302 (java) S 10299 10299 9260 0 -1 1077944320 6558 0 0 0 9 2 0 0 20 0 20 0 509683354 27969658880 26522 33554432000 4194304 4196468 140728027562128 140728027544672 140648467672823 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
/proc/10302/statm: 6828530 26522 2815 1 0 6790935 0
[pid=10302/tid=10303] ppid=10299 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/10302/task/10303/stat : 10303 (java) R 10299 10299 9260 0 -1 4202560 4639 0 0 0 7 1 0 0 20 0 20 0 509683354 27969658880 26522 33554432000 4194304 4196468 140728027562128 140648439477024 140648467694749 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10304] ppid=10299 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10302/task/10304/stat : 10304 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 26522 33554432000 4194304 4196468 140728027562128 140648471914896 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10305] ppid=10299 vsize=27314120 memory=139769909905024 CPUtime=0 cores=0-7
/proc/10302/task/10305/stat : 10305 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 26522 33554432000 4194304 4196468 140728027562128 140647890061584 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10306] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10306/stat : 10306 (java) S 10299 10299 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 26522 33554432000 4194304 4196468 140728027562128 140647889009296 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10307] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10307/stat : 10307 (java) S 10299 10299 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 26522 33554432000 4194304 4196468 140728027562128 140647887956496 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10308] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10308/stat : 10308 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 26522 33554432000 4194304 4196468 140728027562128 140647886904208 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10309] ppid=10299 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10302/task/10309/stat : 10309 (java) S 10299 10299 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 26522 33554432000 4194304 4196468 140728027562128 140647885851408 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10310] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10310/stat : 10310 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 26522 33554432000 4194304 4196468 140728027562128 140647884799120 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10311] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10311/stat : 10311 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 26522 33554432000 4194304 4196468 140728027562128 140647883746320 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10312] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10312/stat : 10312 (java) S 10299 10299 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509683358 27969658880 26522 33554432000 4194304 4196468 140728027562128 140646586513520 140648467683970 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10313] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10313/stat : 10313 (java) S 10299 10299 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509683359 27969658880 26522 33554432000 4194304 4196468 140728027562128 140646421619488 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10314] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10314/stat : 10314 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683359 27969658880 26522 33554432000 4194304 4196468 140728027562128 140646153184368 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10315] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10315/stat : 10315 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683361 27969658880 26522 33554432000 4194304 4196468 140728027562128 140645778675792 140648467691419 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10316] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10316/stat : 10316 (java) S 10299 10299 9260 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 509683361 27969658880 26522 33554432000 4194304 4196468 140728027562128 140646585461360 140648467683970 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10317] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10317/stat : 10317 (java) S 10299 10299 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509683361 27969658880 26522 33554432000 4194304 4196468 140728027562128 140646584408560 140648467683970 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10318] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10318/stat : 10318 (java) S 10299 10299 9260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 509683361 27969658880 26522 33554432000 4194304 4196468 140728027562128 140646583356272 140648467683970 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10319] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10319/stat : 10319 (java) S 10299 10299 9260 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 20 0 509683361 27969658880 26522 33554432000 4194304 4196468 140728027562128 140646582303472 140648467683970 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10320] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10320/stat : 10320 (java) S 10299 10299 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509683362 27969658880 26522 33554432000 4194304 4196468 140728027562128 140645280770400 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10321] ppid=10299 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10302/task/10321/stat : 10321 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683362 27969658880 26522 33554432000 4194304 4196468 140728027562128 140646581250352 140648467683970 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107484 KiB

[startup+0.210489 s]*
/proc/loadavg: 4.13 2.40 2.89 2/213 10321
/proc/meminfo: memFree=25537524/32770624 swapFree=66997508/67108860
[pid=10299] ppid=10296 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10299/stat : 10299 (scop.sh) S 10296 10299 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509683354 115843072 349 33554432000 4194304 5098028 140734049202016 140734049199272 139989856146044 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39153664 140734049211132 140734049211480 140734049211480 140734049214409 0
/proc/10299/statm: 28282 349 296 221 0 87 0
[pid=10302] ppid=10299 vsize=27314120 memory=122948 CPUtime=0.24 cores=0-7
/proc/10302/stat : 10302 (java) S 10299 10299 9260 0 -1 1077944320 11598 0 0 0 21 3 0 0 20 0 20 0 509683354 27969658880 30737 33554432000 4194304 4196468 140728027562128 140728027544672 140648467672823 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
/proc/10302/statm: 6828530 30737 2952 1 0 6790935 0
[pid=10302/tid=10303] ppid=10299 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/10302/task/10303/stat : 10303 (java) R 10299 10299 9260 0 -1 4202560 9249 0 0 0 17 3 0 0 20 0 20 0 509683354 27969658880 30737 33554432000 4194304 4196468 140728027562128 140648439472208 140648447948704 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10304] ppid=10299 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/10302/task/10304/stat : 10304 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 30737 33554432000 4194304 4196468 140728027562128 140648471914896 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10305] ppid=10299 vsize=27314120 memory=139769909915324 CPUtime=0 cores=0-7
/proc/10302/task/10305/stat : 10305 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 30737 33554432000 4194304 4196468 140728027562128 140647890061584 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10306] ppid=10299 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10302/task/10306/stat : 10306 (java) S 10299 10299 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 30737 33554432000 4194304 4196468 140728027562128 140647889009296 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10307] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10307/stat : 10307 (java) S 10299 10299 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 30737 33554432000 4194304 4196468 140728027562128 140647887956496 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10308] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10308/stat : 10308 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 30737 33554432000 4194304 4196468 140728027562128 140647886904208 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10309] ppid=10299 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10302/task/10309/stat : 10309 (java) S 10299 10299 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 30737 33554432000 4194304 4196468 140728027562128 140647885851408 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10310] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10310/stat : 10310 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 30737 33554432000 4194304 4196468 140728027562128 140647884799120 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10311] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10311/stat : 10311 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 30737 33554432000 4194304 4196468 140728027562128 140647883746320 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10312] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10312/stat : 10312 (java) S 10299 10299 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509683358 27969658880 30737 33554432000 4194304 4196468 140728027562128 140646586513520 140648467683970 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10313] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10313/stat : 10313 (java) S 10299 10299 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509683359 27969658880 30737 33554432000 4194304 4196468 140728027562128 140646421619488 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10314] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10314/stat : 10314 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683359 27969658880 30737 33554432000 4194304 4196468 140728027562128 140646153184368 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10315] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10315/stat : 10315 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683361 27969658880 30737 33554432000 4194304 4196468 140728027562128 140645778675792 140648467691419 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10316] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10316/stat : 10316 (java) S 10299 10299 9260 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 509683361 27969658880 30737 33554432000 4194304 4196468 140728027562128 140646585461360 140648467683970 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10317] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10317/stat : 10317 (java) S 10299 10299 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509683361 27969658880 30737 33554432000 4194304 4196468 140728027562128 140646584408560 140648467683970 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10318] ppid=10299 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10302/task/10318/stat : 10318 (java) S 10299 10299 9260 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 20 0 509683361 27969658880 30737 33554432000 4194304 4196468 140728027562128 140646583356272 140648467683970 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10319] ppid=10299 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/10302/task/10319/stat : 10319 (java) S 10299 10299 9260 0 -1 1077944384 532 0 0 0 2 0 0 0 20 0 20 0 509683361 27969658880 30737 33554432000 4194304 4196468 140728027562128 140646582303472 140648467683970 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10320] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10320/stat : 10320 (java) S 10299 10299 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509683362 27969658880 30737 33554432000 4194304 4196468 140728027562128 140645280770400 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10321] ppid=10299 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10302/task/10321/stat : 10321 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683362 27969658880 30737 33554432000 4194304 4196468 140728027562128 140646581250352 140648467683970 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124344 KiB

[startup+0.310318 s]*
/proc/loadavg: 4.13 2.40 2.89 2/213 10321
/proc/meminfo: memFree=25534112/32770624 swapFree=66997508/67108860
[pid=10299] ppid=10296 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10299/stat : 10299 (scop.sh) S 10296 10299 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509683354 115843072 349 33554432000 4194304 5098028 140734049202016 140734049199272 139989856146044 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39153664 140734049211132 140734049211480 140734049211480 140734049214409 0
/proc/10299/statm: 28282 349 296 221 0 87 0
[pid=10302] ppid=10299 vsize=27314120 memory=126924 CPUtime=0.42 cores=0-7
/proc/10302/stat : 10302 (java) S 10299 10299 9260 0 -1 1077944320 12625 0 0 0 38 4 0 0 20 0 20 0 509683354 27969658880 31731 33554432000 4194304 4196468 140728027562128 140728027544672 140648467672823 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
/proc/10302/statm: 6828530 31731 3015 1 0 6790935 0
[pid=10302/tid=10303] ppid=10299 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/10302/task/10303/stat : 10303 (java) R 10299 10299 9260 0 -1 4202560 10009 0 0 0 26 4 0 0 20 0 20 0 509683354 27969658880 31731 33554432000 4194304 4196468 140728027562128 140648439455840 140648449236361 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10304] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10304/stat : 10304 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 31731 33554432000 4194304 4196468 140728027562128 140648471914896 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10305] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10305/stat : 10305 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 31731 33554432000 4194304 4196468 140728027562128 140647890061584 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10306] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10306/stat : 10306 (java) S 10299 10299 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 31731 33554432000 4194304 4196468 140728027562128 140647889009296 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10307] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10307/stat : 10307 (java) S 10299 10299 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 31731 33554432000 4194304 4196468 140728027562128 140647887956496 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10308] ppid=10299 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/10302/task/10308/stat : 10308 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 31731 33554432000 4194304 4196468 140728027562128 140647886904208 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10309] ppid=10299 vsize=27314120 memory=139769778631599 CPUtime=0 cores=0-7
/proc/10302/task/10309/stat : 10309 (java) S 10299 10299 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 31731 33554432000 4194304 4196468 140728027562128 140647885851408 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10310] ppid=10299 vsize=27314120 memory=139769778633904 CPUtime=0 cores=0-7
/proc/10302/task/10310/stat : 10310 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 31731 33554432000 4194304 4196468 140728027562128 140647884799120 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10311] ppid=10299 vsize=27314120 memory=139769778636208 CPUtime=0 cores=0-7
/proc/10302/task/10311/stat : 10311 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683357 27969658880 31731 33554432000 4194304 4196468 140728027562128 140647883746320 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10312] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10312/stat : 10312 (java) S 10299 10299 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509683358 27969658880 31731 33554432000 4194304 4196468 140728027562128 140646586513520 140648467683970 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10313] ppid=10299 vsize=27314120 memory=279539557279376 CPUtime=0 cores=0-7
/proc/10302/task/10313/stat : 10313 (java) S 10299 10299 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509683359 27969658880 31731 33554432000 4194304 4196468 140728027562128 140646421619488 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10314] ppid=10299 vsize=27314120 memory=279539557286288 CPUtime=0 cores=0-7
/proc/10302/task/10314/stat : 10314 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683359 27969658880 31731 33554432000 4194304 4196468 140728027562128 140646153184368 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10315] ppid=10299 vsize=27314120 memory=279539557227440 CPUtime=0 cores=0-7
/proc/10302/task/10315/stat : 10315 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683361 27969658880 31731 33554432000 4194304 4196468 140728027562128 140645778675792 140648467691419 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10316] ppid=10299 vsize=27314120 memory=279539557300112 CPUtime=0.01 cores=0-7
/proc/10302/task/10316/stat : 10316 (java) S 10299 10299 9260 0 -1 1077944384 404 0 0 0 1 0 0 0 20 0 20 0 509683361 27969658880 31731 33554432000 4194304 4196468 140728027562128 140646585461360 140648467683970 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10317] ppid=10299 vsize=27314120 memory=279539557307024 CPUtime=0.01 cores=0-7
/proc/10302/task/10317/stat : 10317 (java) S 10299 10299 9260 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 20 0 509683361 27969658880 31731 33554432000 4194304 4196468 140728027562128 140646584408560 140648467683970 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10318] ppid=10299 vsize=27314120 memory=279539557304720 CPUtime=0.01 cores=0-7
/proc/10302/task/10318/stat : 10318 (java) S 10299 10299 9260 0 -1 1077944384 182 0 0 0 1 0 0 0 20 0 20 0 509683361 27969658880 31731 33554432000 4194304 4196468 140728027562128 140646583356272 140648467683970 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10319] ppid=10299 vsize=27314120 memory=279539557320880 CPUtime=0.07 cores=0-7
/proc/10302/task/10319/stat : 10319 (java) S 10299 10299 9260 0 -1 1077944384 634 0 0 0 7 0 0 0 20 0 20 0 509683361 27969658880 31731 33554432000 4194304 4196468 140728027562128 140646582303472 140648467683970 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10320] ppid=10299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10320/stat : 10320 (java) S 10299 10299 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509683362 27969658880 31731 33554432000 4194304 4196468 140728027562128 140645280770400 140648467683029 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10321] ppid=10299 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10302/task/10321/stat : 10321 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683362 27969658880 31731 33554432000 4194304 4196468 140728027562128 140646581250352 140648467683970 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128320 KiB

[startup+0.700959 s]
/proc/loadavg: 4.13 2.40 2.89 2/213 10321
/proc/meminfo: memFree=25510176/32770624 swapFree=66997508/67108860
[pid=10299] ppid=10296 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10299/stat : 10299 (scop.sh) S 10296 10299 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509683354 115843072 349 33554432000 4194304 5098028 140734049202016 140734049199272 139989856146044 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39153664 140734049211132 140734049211480 140734049211480 140734049214409 0
/proc/10299/statm: 28282 349 296 221 0 87 0
[pid=10302] ppid=10299 vsize=27322440 memory=164840 CPUtime=0.98 cores=0-7
/proc/10302/stat : 10302 (java) S 10299 10299 9260 0 -1 1077944320 20352 0 0 0 91 7 0 0 20 0 20 0 509683354 27978178560 41210 33554432000 4194304 4196468 140728027562128 140728027544672 140648467672823 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
/proc/10302/statm: 6830610 41210 3186 1 0 6791959 0
[pid=10302/tid=10303] ppid=10299 vsize=27322440 memory=279539557678768 CPUtime=0.68 cores=0-7
/proc/10302/task/10303/stat : 10303 (java) R 10299 10299 9260 0 -1 4202560 17080 0 0 0 62 6 0 0 20 0 20 0 509683354 27978178560 41210 33554432000 4194304 4196468 140728027562128 140648439506384 140648451753310 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10304] ppid=10299 vsize=27322440 memory=139769778840432 CPUtime=0 cores=0-7
/proc/10302/task/10304/stat : 10304 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683357 27978178560 41210 33554432000 4194304 4196468 140728027562128 140648471914896 140648467683029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10305] ppid=10299 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/10302/task/10305/stat : 10305 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509683357 27978178560 41210 33554432000 4194304 4196468 140728027562128 140647890061584 140648467683029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0
[pid=10302/tid=10306] ppid=10299 vsize=27322440 memory=6124 CPUtime=0 cores=0-7
/proc/10302/task/10306/stat : 10306 (java) S 10299 10299 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509683357 27978178560 41210 33554432000 4194304 4196468 140728027562128 140647889009296 140648467683029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26025984 140728027570886 140728027571334 140728027571334 140728027574223 0

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

/proc/10322/task/10326/stat : 10326 (java) S 10299 10299 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509683656 8616062976 29892 33554432000 4194304 4196468 140729063222976 140435103141008 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10327] ppid=10299 vsize=8414124 memory=279539558240496 CPUtime=0 cores=0-7
/proc/10322/task/10327/stat : 10327 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509683656 8616062976 29892 33554432000 4194304 4196468 140729063222976 140435102088208 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10328] ppid=10299 vsize=8414124 memory=-7595718148000617580 CPUtime=0 cores=0-7
/proc/10322/task/10328/stat : 10328 (java) S 10299 10299 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509683657 8616062976 29892 33554432000 4194304 4196468 140729063222976 140435101034896 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10329] ppid=10299 vsize=8414124 memory=-2970219127293634922 CPUtime=0 cores=0-7
/proc/10322/task/10329/stat : 10329 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509683657 8616062976 29892 33554432000 4194304 4196468 140729063222976 140435099982096 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10330] ppid=10299 vsize=8414124 memory=1414351094373861289 CPUtime=0 cores=0-7
/proc/10322/task/10330/stat : 10330 (java) S 10299 10299 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509683657 8616062976 29892 33554432000 4194304 4196468 140729063222976 140435098929808 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10331] ppid=10299 vsize=8414124 memory=8187704045996132563 CPUtime=0 cores=0-7
/proc/10322/task/10331/stat : 10331 (java) S 10299 10299 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509683657 8616062976 29892 33554432000 4194304 4196468 140729063222976 140435097877008 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10332] ppid=10299 vsize=8414124 memory=139769779131362 CPUtime=0 cores=0-7
/proc/10322/task/10332/stat : 10332 (java) S 10299 10299 9260 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509683658 8616062976 29892 33554432000 4194304 4196468 140729063222976 140434913716848 140435618835074 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10333] ppid=10299 vsize=8414124 memory=279539558267392 CPUtime=0 cores=0-7
/proc/10322/task/10333/stat : 10333 (java) S 10299 10299 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509683658 8616062976 29892 33554432000 4194304 4196468 140729063222976 140434223392032 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10334] ppid=10299 vsize=8414124 memory=7165620011189822550 CPUtime=0 cores=0-7
/proc/10322/task/10334/stat : 10334 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509683659 8616062976 29892 33554432000 4194304 4196468 140729063222976 140433954956912 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10335] ppid=10299 vsize=8414124 memory=5788643200837701736 CPUtime=0 cores=0-7
/proc/10322/task/10335/stat : 10335 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509683661 8616062976 29892 33554432000 4194304 4196468 140729063222976 140433580448336 140435618842523 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10336] ppid=10299 vsize=8414124 memory=5931329053776696656 CPUtime=0.04 cores=0-7
/proc/10322/task/10336/stat : 10336 (java) S 10299 10299 9260 0 -1 1077944384 427 0 0 0 4 0 0 0 20 0 24 0 509683661 8616062976 29892 33554432000 4194304 4196468 140729063222976 140434912663664 140435618835074 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10337] ppid=10299 vsize=8414124 memory=1412 CPUtime=0.06 cores=0-7
/proc/10322/task/10337/stat : 10337 (java) S 10299 10299 9260 0 -1 1077944384 346 0 0 0 6 0 0 0 20 0 24 0 509683661 8616062976 29892 33554432000 4194304 4196468 140729063222976 140434911610864 140435618835074 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10338] ppid=10299 vsize=8414124 memory=3152 CPUtime=0.05 cores=0-7
/proc/10322/task/10338/stat : 10338 (java) S 10299 10299 9260 0 -1 1077944384 314 0 0 0 5 0 0 0 20 0 24 0 509683661 8616062976 29892 33554432000 4194304 4196468 140729063222976 140434910558576 140435618835074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10339] ppid=10299 vsize=8414124 memory=2116 CPUtime=0.19 cores=0-7
/proc/10322/task/10339/stat : 10339 (java) S 10299 10299 9260 0 -1 1077944384 535 0 0 0 19 0 0 0 20 0 24 0 509683661 8616062976 29892 33554432000 4194304 4196468 140729063222976 140434909505776 140435618835074 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10340] ppid=10299 vsize=8414124 memory=32956 CPUtime=0 cores=0-7
/proc/10322/task/10340/stat : 10340 (java) S 10299 10299 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509683662 8616062976 29892 33554432000 4194304 4196468 140729063222976 140433082542944 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10341] ppid=10299 vsize=8414124 memory=532 CPUtime=0.01 cores=0-7
/proc/10322/task/10341/stat : 10341 (java) S 10299 10299 9260 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 509683662 8616062976 29892 33554432000 4194304 4196468 140729063222976 140434908453680 140435618835074 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10343] ppid=10299 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/10322/task/10343/stat : 10343 (java) S 10299 10299 9260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509683726 8616062976 29892 33554432000 4194304 4196468 140729063222976 140434900420416 140435618848537 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10345] ppid=10299 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/10322/task/10345/stat : 10345 (java) S 10299 10299 9260 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509683727 8616062976 29892 33554432000 4194304 4196468 140729063222976 140432411442576 140435618845853 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10346] ppid=10299 vsize=8414124 memory=3680 CPUtime=0 cores=0-7
/proc/10322/task/10346/stat : 10346 (java) S 10299 10299 9260 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509683727 8616062976 29892 33554432000 4194304 4196468 140729063222976 140432679877904 140435618845853 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10347] ppid=10299 vsize=8414124 memory=836 CPUtime=0 cores=0-7
/proc/10322/task/10347/stat : 10347 (java) S 10299 10299 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509683729 8616062976 29892 33554432000 4194304 4196468 140729063222976 140432143015216 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
Current children cumulated CPU time: 170.92 s
Current children cumulated vsize: 9323948 KiB
Current children cumulated memory: 628216 KiB

[startup+25.0012 s]*
/proc/loadavg: 5.40 2.82 3.01 2/218 10356
/proc/meminfo: memFree=25029784/32770624 swapFree=66997508/67108860
[pid=10299] ppid=10296 vsize=113128 memory=1476 CPUtime=6.03 cores=0-7
/proc/10299/stat : 10299 (scop.sh) S 10296 10299 9260 0 -1 4202496 582 27411 0 0 0 0 573 30 20 0 1 0 509683354 115843072 369 33554432000 4194304 5098028 140734049202016 140734049198760 139989856146044 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39153664 140734049211132 140734049211480 140734049211480 140734049214409 0
/proc/10299/statm: 28282 369 311 221 0 87 0
[pid=10322] ppid=10299 vsize=8414124 memory=120404 CPUtime=1.15 cores=0-7
/proc/10322/stat : 10322 (java) S 10299 10299 9260 0 -1 1077944320 20619 0 0 0 108 7 0 0 20 0 24 0 509683655 8616062976 30101 33554432000 4194304 4196468 140729063222976 140729063205520 140435618823927 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
/proc/10322/statm: 2103531 30101 3190 1 0 2064875 0
[pid=10342] ppid=10322 vsize=763912 memory=507908 CPUtime=164.05 cores=0-7
/proc/10342/stat : 10342 (manyglucose-4.1) S 10322 10299 9260 0 -1 4202496 190613 0 0 0 16349 56 0 0 20 0 1 0 509683726 782245888 126977 33554432000 4194304 4454172 140725747406384 140725747403104 140591416708221 0 4 0 8388610 18446744071580971376 0 0 17 3 0 0 0 0 0 6552832 6554400 20803584 140725747409741 140725747409948 140725747409948 140725747412918 0
/proc/10342/statm: 190978 126977 422 64 0 186646 0
[pid=10322/tid=10323] ppid=10299 vsize=8414124 memory=8390339637985935414 CPUtime=0.74 cores=0-7
/proc/10322/task/10323/stat : 10323 (java) S 10299 10299 9260 0 -1 1077944384 17376 0 0 0 69 5 0 0 20 0 24 0 509683655 8616062976 30101 33554432000 4194304 4196468 140729063222976 140435590664096 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10324] ppid=10299 vsize=8414124 memory=301741395016941591 CPUtime=0 cores=0-7
/proc/10322/task/10324/stat : 10324 (java) S 10299 10299 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509683656 8616062976 30101 33554432000 4194304 4196468 140729063222976 140435623066512 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10325] ppid=10299 vsize=8414124 memory=10296 CPUtime=0 cores=0-7
/proc/10322/task/10325/stat : 10325 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509683656 8616062976 30101 33554432000 4194304 4196468 140729063222976 140435104193296 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10326] ppid=10299 vsize=8414124 memory=4294967295 CPUtime=0 cores=0-7
/proc/10322/task/10326/stat : 10326 (java) S 10299 10299 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509683656 8616062976 30101 33554432000 4194304 4196468 140729063222976 140435103141008 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10327] ppid=10299 vsize=8414124 memory=2209 CPUtime=0 cores=0-7
/proc/10322/task/10327/stat : 10327 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509683656 8616062976 30101 33554432000 4194304 4196468 140729063222976 140435102088208 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10328] ppid=10299 vsize=8414124 memory=2240 CPUtime=0 cores=0-7
/proc/10322/task/10328/stat : 10328 (java) S 10299 10299 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509683657 8616062976 30101 33554432000 4194304 4196468 140729063222976 140435101034896 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10329] ppid=10299 vsize=8414124 memory=2241 CPUtime=0 cores=0-7
/proc/10322/task/10329/stat : 10329 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509683657 8616062976 30101 33554432000 4194304 4196468 140729063222976 140435099982096 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10330] ppid=10299 vsize=8414124 memory=2241 CPUtime=0 cores=0-7
/proc/10322/task/10330/stat : 10330 (java) S 10299 10299 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509683657 8616062976 30101 33554432000 4194304 4196468 140729063222976 140435098929808 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10331] ppid=10299 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10322/task/10331/stat : 10331 (java) S 10299 10299 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509683657 8616062976 30101 33554432000 4194304 4196468 140729063222976 140435097877008 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10332] ppid=10299 vsize=8414124 memory=9125746705 CPUtime=0 cores=0-7
/proc/10322/task/10332/stat : 10332 (java) S 10299 10299 9260 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509683658 8616062976 30101 33554432000 4194304 4196468 140729063222976 140434913716848 140435618835074 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10333] ppid=10299 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10322/task/10333/stat : 10333 (java) S 10299 10299 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509683658 8616062976 30101 33554432000 4194304 4196468 140729063222976 140434223392032 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10334] ppid=10299 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10322/task/10334/stat : 10334 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509683659 8616062976 30101 33554432000 4194304 4196468 140729063222976 140433954956912 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10335] ppid=10299 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10322/task/10335/stat : 10335 (java) S 10299 10299 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509683661 8616062976 30101 33554432000 4194304 4196468 140729063222976 140433580448336 140435618842523 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10336] ppid=10299 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/10322/task/10336/stat : 10336 (java) S 10299 10299 9260 0 -1 1077944384 427 0 0 0 4 0 0 0 20 0 24 0 509683661 8616062976 30101 33554432000 4194304 4196468 140729063222976 140434912663664 140435618835074 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10337] ppid=10299 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/10322/task/10337/stat : 10337 (java) S 10299 10299 9260 0 -1 1077944384 346 0 0 0 6 0 0 0 20 0 24 0 509683661 8616062976 30101 33554432000 4194304 4196468 140729063222976 140434911610864 140435618835074 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10338] ppid=10299 vsize=8414124 memory=-1 CPUtime=0.05 cores=0-7
/proc/10322/task/10338/stat : 10338 (java) S 10299 10299 9260 0 -1 1077944384 314 0 0 0 5 0 0 0 20 0 24 0 509683661 8616062976 30101 33554432000 4194304 4196468 140729063222976 140434910558576 140435618835074 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10339] ppid=10299 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/10322/task/10339/stat : 10339 (java) R 10299 10299 9260 0 -1 4202560 760 0 0 0 19 0 0 0 20 0 24 0 509683661 8616062976 30101 33554432000 4194304 4196468 140729063222976 140434909505776 140435597742451 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10340] ppid=10299 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/10322/task/10340/stat : 10340 (java) S 10299 10299 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509683662 8616062976 30101 33554432000 4194304 4196468 140729063222976 140433082542944 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10341] ppid=10299 vsize=8414124 memory=-1 CPUtime=0.01 cores=0-7
/proc/10322/task/10341/stat : 10341 (java) S 10299 10299 9260 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 509683662 8616062976 30101 33554432000 4194304 4196468 140729063222976 140434908453680 140435618835074 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10343] ppid=10299 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10322/task/10343/stat : 10343 (java) S 10299 10299 9260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509683726 8616062976 30101 33554432000 4194304 4196468 140729063222976 140434900420416 140435618848537 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10345] ppid=10299 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7
/proc/10322/task/10345/stat : 10345 (java) R 10299 10299 9260 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 24 0 509683727 8616062976 30101 33554432000 4194304 4196468 140729063222976 140432411450208 140435618845757 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10346] ppid=10299 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10322/task/10346/stat : 10346 (java) S 10299 10299 9260 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509683727 8616062976 30101 33554432000 4194304 4196468 140729063222976 140432679877904 140435618845853 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10347] ppid=10299 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10322/task/10347/stat : 10347 (java) S 10299 10299 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509683729 8616062976 30101 33554432000 4194304 4196468 140729063222976 140432143015216 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
Current children cumulated CPU time: 171.23 s
Current children cumulated vsize: 9291164 KiB
Current children cumulated memory: 629788 KiB

[startup+25.1112 s]
/proc/loadavg: 5.40 2.82 3.01 2/218 10356
/proc/meminfo: memFree=25029784/32770624 swapFree=66997508/67108860
[pid=10299] ppid=10296 vsize=113128 memory=1476 CPUtime=6.03 cores=0-7
/proc/10299/stat : 10299 (scop.sh) S 10296 10299 9260 0 -1 4202496 582 27411 0 0 0 0 573 30 20 0 1 0 509683354 115843072 369 33554432000 4194304 5098028 140734049202016 140734049198760 139989856146044 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39153664 140734049211132 140734049211480 140734049211480 140734049214409 0
/proc/10299/statm: 28282 369 311 221 0 87 0
[pid=10322] ppid=10299 vsize=8283048 memory=126992 CPUtime=165.48 cores=0-7
/proc/10322/stat : 10322 (java) S 10299 10299 9260 0 -1 1077944320 22211 190619 0 0 134 7 16349 58 20 0 22 0 509683655 8481841152 31748 33554432000 4194304 4196468 140729063222976 140729063205520 140435618823927 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
/proc/10322/statm: 2070762 31748 3223 1 0 2032106 0
[pid=10322/tid=10323] ppid=10299 vsize=8283048 memory=10596 CPUtime=164.86 cores=0-7
/proc/10322/task/10323/stat : 10323 (java) R 10299 10299 9260 0 -1 4202560 17542 190619 0 0 74 5 16349 58 20 0 22 0 509683655 8481841152 31748 33554432000 4194304 4196468 140729063222976 140435590661568 140435602904414 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10324] ppid=10299 vsize=8283048 memory=1708 CPUtime=164.07 cores=0-7
/proc/10322/task/10324/stat : 10324 (java) S 10299 10299 9260 0 -1 1077944384 2 190619 0 0 0 0 16349 58 20 0 22 0 509683656 8481841152 31748 33554432000 4194304 4196468 140729063222976 140435623066512 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10325] ppid=10299 vsize=8283048 memory=3624 CPUtime=164.07 cores=0-7
/proc/10322/task/10325/stat : 10325 (java) S 10299 10299 9260 0 -1 1077944384 1 190619 0 0 0 0 16349 58 20 0 22 0 509683656 8481841152 31748 33554432000 4194304 4196468 140729063222976 140435104193296 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10326] ppid=10299 vsize=8283048 memory=63692 CPUtime=164.07 cores=0-7
/proc/10322/task/10326/stat : 10326 (java) S 10299 10299 9260 0 -1 1077944384 2 190619 0 0 0 0 16349 58 20 0 22 0 509683656 8481841152 31748 33554432000 4194304 4196468 140729063222976 140435103141008 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10327] ppid=10299 vsize=8283048 memory=0 CPUtime=164.07 cores=0-7
/proc/10322/task/10327/stat : 10327 (java) S 10299 10299 9260 0 -1 1077944384 1 190619 0 0 0 0 16349 58 20 0 22 0 509683656 8481841152 31748 33554432000 4194304 4196468 140729063222976 140435102088208 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10328] ppid=10299 vsize=8283048 memory=0 CPUtime=164.07 cores=0-7
/proc/10322/task/10328/stat : 10328 (java) S 10299 10299 9260 0 -1 1077944384 2 190619 0 0 0 0 16349 58 20 0 22 0 509683657 8481841152 31748 33554432000 4194304 4196468 140729063222976 140435101034896 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10329] ppid=10299 vsize=8283048 memory=0 CPUtime=164.07 cores=0-7
/proc/10322/task/10329/stat : 10329 (java) S 10299 10299 9260 0 -1 1077944384 1 190619 0 0 0 0 16349 58 20 0 22 0 509683657 8481841152 31748 33554432000 4194304 4196468 140729063222976 140435099982096 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10330] ppid=10299 vsize=8283048 memory=4049071623033334104 CPUtime=164.07 cores=0-7
/proc/10322/task/10330/stat : 10330 (java) S 10299 10299 9260 0 -1 1077944384 2 190619 0 0 0 0 16349 58 20 0 22 0 509683657 8481841152 31748 33554432000 4194304 4196468 140729063222976 140435098929808 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10331] ppid=10299 vsize=8283048 memory=-8412660948708069235 CPUtime=164.07 cores=0-7
/proc/10322/task/10331/stat : 10331 (java) S 10299 10299 9260 0 -1 1077944384 3 190619 0 0 0 0 16349 58 20 0 22 0 509683657 8481841152 31748 33554432000 4194304 4196468 140729063222976 140435097877008 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10332] ppid=10299 vsize=8283048 memory=8907649889433576278 CPUtime=164.07 cores=0-7
/proc/10322/task/10332/stat : 10332 (java) S 10299 10299 9260 0 -1 1077944384 7 190619 0 0 0 0 16349 58 20 0 22 0 509683658 8481841152 31748 33554432000 4194304 4196468 140729063222976 140434913716848 140435618835074 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10333] ppid=10299 vsize=8283048 memory=1476 CPUtime=164.07 cores=0-7
/proc/10322/task/10333/stat : 10333 (java) S 10299 10299 9260 0 -1 1077944384 13 190619 0 0 0 0 16349 58 20 0 22 0 509683658 8481841152 31748 33554432000 4194304 4196468 140729063222976 140434223392032 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10334] ppid=10299 vsize=8283048 memory=1476 CPUtime=164.07 cores=0-7
/proc/10322/task/10334/stat : 10334 (java) S 10299 10299 9260 0 -1 1077944384 1 190619 0 0 0 0 16349 58 20 0 22 0 509683659 8481841152 31748 33554432000 4194304 4196468 140729063222976 140433954956912 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10335] ppid=10299 vsize=8283048 memory=119568 CPUtime=164.07 cores=0-7
/proc/10322/task/10335/stat : 10335 (java) S 10299 10299 9260 0 -1 1077944384 1 190619 0 0 0 0 16349 58 20 0 22 0 509683661 8481841152 31748 33554432000 4194304 4196468 140729063222976 140433580448336 140435618842523 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10336] ppid=10299 vsize=8283048 memory=461828 CPUtime=164.14 cores=0-7
/proc/10322/task/10336/stat : 10336 (java) S 10299 10299 9260 0 -1 1077944384 558 190619 0 0 7 0 16349 58 20 0 22 0 509683661 8481841152 31748 33554432000 4194304 4196468 140729063222976 140434912663664 140435618835074 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10337] ppid=10299 vsize=8283048 memory=0 CPUtime=164.18 cores=0-7
/proc/10322/task/10337/stat : 10337 (java) S 10299 10299 9260 0 -1 1077944384 573 190619 0 0 11 0 16349 58 20 0 22 0 509683661 8481841152 31748 33554432000 4194304 4196468 140729063222976 140434911610864 140435618835074 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10338] ppid=10299 vsize=8283048 memory=14004 CPUtime=164.15 cores=0-7
/proc/10322/task/10338/stat : 10338 (java) S 10299 10299 9260 0 -1 1077944384 443 190619 0 0 8 0 16349 58 20 0 22 0 509683661 8481841152 31748 33554432000 4194304 4196468 140729063222976 140434910558576 140435618835074 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10339] ppid=10299 vsize=8283048 memory=14060 CPUtime=164.32 cores=0-7
/proc/10322/task/10339/stat : 10339 (java) R 10299 10299 9260 0 -1 4202560 1148 190619 0 0 25 0 16349 58 20 0 22 0 509683661 8481841152 31748 33554432000 4194304 4196468 140729063222976 140434909505776 140435596849810 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10340] ppid=10299 vsize=8283048 memory=2116 CPUtime=164.07 cores=0-7
/proc/10322/task/10340/stat : 10340 (java) S 10299 10299 9260 0 -1 1077944384 3 190619 0 0 0 0 16349 58 20 0 22 0 509683662 8481841152 31748 33554432000 4194304 4196468 140729063222976 140433082542944 140435618834133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10341] ppid=10299 vsize=8283048 memory=32956 CPUtime=164.08 cores=0-7
/proc/10322/task/10341/stat : 10341 (java) S 10299 10299 9260 0 -1 1077944384 3 190619 0 0 0 1 16349 58 20 0 22 0 509683662 8481841152 31748 33554432000 4194304 4196468 140729063222976 140434908453680 140435618835074 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10343] ppid=10299 vsize=8283048 memory=1476 CPUtime=164.07 cores=0-7
/proc/10322/task/10343/stat : 10343 (java) S 10299 10299 9260 0 -1 1077944384 25 190619 0 0 0 0 16349 58 20 0 22 0 509683726 8481841152 31748 33554432000 4194304 4196468 140729063222976 140434900419600 140435618835074 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
[pid=10322/tid=10347] ppid=10299 vsize=8283048 memory=119568 CPUtime=164.07 cores=0-7
/proc/10322/task/10347/stat : 10347 (java) S 10299 10299 9260 0 -1 1077944384 7 190619 0 0 0 0 16349 58 20 0 22 0 509683729 8481841152 31748 33554432000 4194304 4196468 140729063222976 140432143017008 140435618835074 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21241856 140729063228383 140729063228550 140729063228550 140729063231439 0
Current children cumulated CPU time: 171.51 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 128468 KiB

Child status: 0
Real time (s): 25.1696
CPU time (s): 171.666
CPU user time (s): 170.679
CPU system time (s): 0.986541
CPU usage (%): 682.038
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 1270040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 170.679
system time used= 0.986541
maximum resident set size= 1277308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241039
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17102
involuntary context switches= 1954


# summary of solver processes directly reported to runsolver:
#   pid: 10299
#   total CPU time (s): 171.666
#   total CPU user time (s): 170.679
#   total CPU system time (s): 0.986541

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.236272 second user time and 0.399554 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-24 17:03:29
IDJOB=4405503
IDBENCH=127781
IDSOLVER=2868
FILE ID=node140/4405503-1569337450
RUNJOBID= node140-1569335937-9287
PBS_JOBID= 21705054
Free space on /var/tmp= 13516 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-097.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405503-1569337450/watcher-4405503-1569337450 -o /var/tmp/evaluation-result-4405503-1569337450/solver-4405503-1569337450 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --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-4405503-1569337450.xml

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

MD5SUM BENCH= 8967691277ed469002b27945208c5243
RANDOM SEED=1193125568

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25650572 kB
MemAvailable:   31843656 kB
Buffers:          118864 kB
Cached:          6172932 kB
SwapCached:         2800 kB
Active:          3125436 kB
Inactive:        3173988 kB
Active(anon):       4976 kB
Inactive(anon):    58400 kB
Active(file):    3120460 kB
Inactive(file):  3115588 kB
Unevictable:      107700 kB
Mlocked:          107700 kB
SwapTotal:      67108860 kB
SwapFree:       66997508 kB
Dirty:             20464 kB
Writeback:             0 kB
AnonPages:        171024 kB
Mapped:            56672 kB
Shmem:             46804 kB
Slab:             414400 kB
SReclaimable:     385496 kB
SUnreclaim:        28904 kB
KernelStack:        3808 kB
PageTables:         4792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    126976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /var/tmp at the end= 13496 MiB
End job on node140 at 2019-09-24 17:03:54