Trace number 4392274

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 145.979 23.3743

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-199.xml
MD5SUM6632ff8405f31e2dfb2c2f75c1e4c1cc
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 benchmark17.4392
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size607
Maximum domain size607
Distribution of domain sizes[{"size":607,"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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-5267-serial-file.bin HOME/instance-4392274-1568429399.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 04:49:18 CEST 2019
0.66/0.57	c PID: 5270
0.66/0.57	c IP: 172.20.3.141
0.66/0.57	c HOST: node141.alineos.net
0.66/0.58	c (0,0) Parsing Begin
1.38/0.91	c (0,0) Parsing End
1.38/0.91	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 607
1.38/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.91	c (0,0) Constraint Name Generate Begin
1.38/0.92	c (0,0) Ctr:HOME/instance-4392274-1568429399.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.38/1.00	c (0,0) translated 11 (20%) constraints
1.38/1.00	c (0,0) translated 16 (30%) constraints
1.55/1.01	c (0,0) translated 22 (40%) constraints
1.55/1.01	c (0,0) translated 27 (50%) constraints
1.55/1.01	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.02	c (0,0) translated 48 (90%) constraints
2.12/1.28	c (0,0) translated 53 (100%) constraints
2.12/1.28	c (0,0) ===========================================
2.12/1.28	c (0,0) Order
2.12/1.28	c (0,0) ===========================================
2.12/1.29	c (0,0) translated 36 (10%) constraints
2.12/1.29	c (0,0) translated 71 (20%) constraints
2.46/1.30	c (0,0) translated 106 (30%) constraints
2.46/1.30	c (0,0) translated 141 (40%) constraints
2.46/1.31	c (0,0) translated 176 (50%) constraints
2.46/1.31	c (0,0) translated 212 (60%) constraints
2.46/1.32	c (0,0) translated 247 (70%) constraints
2.46/1.32	c (0,0) translated 282 (80%) constraints
2.46/1.33	c (0,0) translated 317 (90%) constraints
2.46/1.33	c (0,0) translated 352 (100%) constraints
2.46/1.33	c (0,0) CSP to CSPinCNF End
2.46/1.34	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 602
2.46/1.34	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.46/1.34	c (0,0) CSPinCNF Propagation Begin
2.46/1.37	c (0,0) 0 values, 10 unsatisfiable literals, and 51 valid clauses are removed
2.46/1.37	c (0,0) CSPinCNF Propagation End
2.46/1.37	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 602
2.46/1.37	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.46/1.37	c (0,0) Simplify CSPinCNF Begin
2.82/1.46	c (0,0) Simplify CSPinCNF End
2.82/1.46	c (0,0) CSP: 50 int (0 aux), 1190 bool (1190 aux), 1491 ctr, max domain size 602
2.82/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.82/1.46	c (0,0) Calculate Precise Domain Begin
2.82/1.47	c (0,0) 0 values are removed by re-calculation
2.82/1.47	c (0,0) Calculate Precise Domain End
2.82/1.47	c (0,0) CSP: 50 int (0 aux), 1190 bool (1190 aux), 1491 ctr, max domain size 602
2.82/1.47	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.82/1.47	c (0,0) CSPinCNF to SatSolver Begin
4.86/2.01	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 86088 SAT clauses)
5.08/2.24	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 145074 SAT clauses)
5.32/2.45	c (1,1) 448 (30 %) CSP clauses are encoded (0 SAT variables, 199765 SAT clauses)
5.53/2.66	c (2,2) 597 (40 %) CSP clauses are encoded (0 SAT variables, 256198 SAT clauses)
5.76/2.86	c (2,2) 746 (50 %) CSP clauses are encoded (0 SAT variables, 307833 SAT clauses)
5.98/3.05	c (2,2) 895 (60 %) CSP clauses are encoded (0 SAT variables, 358387 SAT clauses)
6.20/3.23	c (2,2) 1044 (70 %) CSP clauses are encoded (0 SAT variables, 405076 SAT clauses)
6.30/3.39	c (2,2) 1193 (80 %) CSP clauses are encoded (0 SAT variables, 448377 SAT clauses)
6.51/3.53	c (2,2) 1342 (90 %) CSP clauses are encoded (0 SAT variables, 486113 SAT clauses)
6.62/3.64	c (3,3) 1491 (100 %) CSP clauses are encoded (0 SAT variables, 512818 SAT clauses)
6.62/3.64	c (3,3) CSPinCNF to SatSolver End
6.62/3.64	c (3,3) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.62/3.64	c (3,3) 26380 bool, 512998 clause
6.62/3.64	c (3,3) Export Begin
6.76/3.72	c (3,3) Export to HOME/scop-5267-serial-file.bin
6.76/3.72	c (3,3) Export End
6.76/3.72	c (3,3) Export File Size: 0.01 MB
6.76/3.72	c (3,3) 0,0,0,0,0,0,3,STOP-AFTER(DIMACS)
6.76/3.72	c END-Prog: Sat Sep 14 04:49:21 CEST 2019
6.76/3.74	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5267-serial-file.bin
7.30/4.20	c (0,0) Read Serial File Begin
7.30/4.20	c (0,0) HOME/scop-5267-serial-file.bin
7.56/4.39	c (0,0) Read Serial File End
7.72/4.41	
7.72/4.41	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
7.72/4.41	(Solving Process)
7.72/4.41	
7.72/4.43	c BEGIN-Prog: Sat Sep 14 04:49:22 CEST 2019
7.72/4.43	c PID: 5290
7.72/4.43	c IP: 172.20.3.141
7.72/4.43	c HOST: node141.alineos.net
7.72/4.43	c (0,0) SatSolver.solve Begin
7.72/4.43	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392274-1568429399.xml-scop-5270.cnf
7.72/4.46	c (0,0) c
7.72/4.46	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
7.72/4.46	c (0,0) c
7.72/4.46	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.72/4.46	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.72/4.46	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.72/4.46	c (0,0) c |                                                                                                       |
7.95/4.64	c (0,0) c |  Number of variables:         26380                                                                   |
7.95/4.64	c (0,0) c |  Number of clauses:          512998                                                                   |
7.95/4.64	c (0,0) c |  Parse time:                   0.17 s                                                                 |
7.95/4.64	c (0,0) c |                                                                                                       |
8.88/5.43	c (1,0) c |  Simplification time:          0.78 s                                                                 |
8.88/5.43	c (1,0) c |                                                                                                       |
8.98/5.57	c (1,0) c |  Generating clones                                                                                    |
8.98/5.57	c (1,0) c |  all clones generated. Memory =   336.80Mb.                                                           |
8.98/5.57	c (1,0) c ========================================================================================================|
8.98/5.57	c (1,0) c
8.98/5.57	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.98/5.57	c (1,0) c
8.98/5.57	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.98/5.57	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.98/5.57	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.98/5.57	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.98/5.57	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.98/5.57	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.98/5.57	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.98/5.57	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.98/5.57	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.98/5.57	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.98/5.57	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.98/5.57	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.98/5.57	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.98/5.57	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.98/5.57	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.98/5.57	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.98/5.57	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.98/5.57	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.98/5.57	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.35/23.18	c (19,0) c
145.35/23.18	c (19,0) c real time : 18.7214 s
145.35/23.18	c (19,0) c cpu time  : 136.752 s
145.35/23.18	c (19,0) c
145.35/23.18	c (19,0) c
145.35/23.18	c (19,0) c
145.35/23.18	c (19,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
145.35/23.18	c (19,0) c
145.35/23.18	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.35/23.18	c (19,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
145.35/23.18	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.35/23.18	c (19,0) c | Conflicts     |          250059 |      30679 |      31471 |      30904 |      31895 |      31241 |      31063 |      31680 |      31126 |
145.35/23.18	c (19,0) c | Decisions     |          511414 |      61556 |      66748 |      63032 |      65189 |      66653 |      60302 |      63757 |      64177 |
145.35/23.18	c (19,0) c | Propagations  |       237948430 |   29576339 |   29359373 |   29684213 |   30184953 |   30007162 |   29610264 |   30225240 |   29300886 |
145.35/23.18	c (19,0) c | ReduceDBs     |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
145.35/23.18	c (19,0) c | SimpDBs       |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
145.35/23.18	c (19,0) c | Restarts      |             777 |         99 |        102 |         88 |        101 |         95 |        105 |         90 |         97 |
145.35/23.18	c (19,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
145.35/23.18	c (19,0) c | PropBinClauses|       307953165 |   38371750 |   37720249 |   38691707 |   38746994 |   38685249 |   38297107 |   39072165 |   38367944 |
145.35/23.18	c (19,0) c | PropPreBlocker|      2833535854 |  348654632 |  353344511 |  352462414 |  362935604 |  355458711 |  353220259 |  358536331 |  348923392 |
145.35/23.18	c (19,0) c | PropNotBlocker|      1057879017 |  134046244 |  129367958 |  131938536 |  132929215 |  132511991 |  130620557 |  135332536 |  131131980 |
145.35/23.18	c (19,0) c | LitFullScans  |      5570536673 |  690054507 |  692652314 |  690055837 |  708073931 |  699241943 |  690061981 |  706172813 |  694223347 |
145.35/23.18	c (19,0) c | LitScanFracts |          517690 |      43827 |      86242 |      47638 |      56360 |      46920 |      54852 |      91289 |      90562 |
145.35/23.18	c (19,0) c | DecisionLevel0|             780 |        101 |        102 |         88 |        101 |         95 |        106 |         90 |         97 |
145.35/23.18	c (19,0) c | Periods       |             926 |        115 |        115 |        115 |        118 |        116 |        115 |        117 |        115 |
145.35/23.18	c (19,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
145.35/23.18	c (19,0) c | Avg_Trail     |                 |       8518 |       8798 |       8756 |       8880 |       8755 |       8869 |       8675 |       8496 |
145.35/23.18	c (19,0) c | Avg_DL        |                 |         20 |         19 |         20 |         21 |         20 |         19 |         20 |         20 |
145.35/23.18	c (19,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
145.35/23.18	c (19,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
145.35/23.18	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.35/23.18	c (19,0) c | Exported      |           44887 |       5436 |       5409 |       5572 |       5795 |       5513 |       5217 |       5834 |       6111 |
145.35/23.18	c (19,0) c | Imported      |          274179 |      33701 |      33499 |      34139 |      34800 |      34777 |      34548 |      34814 |      33901 |
145.35/23.18	c (19,0) c | Good          |             590 |         70 |         68 |         70 |         81 |         79 |         67 |         81 |         74 |
145.35/23.18	c (19,0) c | Purge         |          273589 |      33631 |      33431 |      34069 |      34719 |      34698 |      34481 |      34733 |      33827 |
145.35/23.18	c (19,0) c | Promoted      |           29834 |       3761 |       3665 |       3826 |       3716 |       3709 |       3558 |       3949 |       3650 |
145.35/23.18	c (19,0) c | Remove_Imp    |           82446 |      11633 |      10705 |      11089 |       9312 |       9759 |      10890 |       8926 |      10132 |
145.35/23.18	c (19,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
145.35/23.18	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.35/23.18	c (19,0) c | Unaries       |                 |          2 |          0 |          0 |          0 |          0 |          1 |          0 |          0 |
145.35/23.18	c (19,0) c | Binaries      |                 |         15 |         12 |         13 |          8 |          8 |         19 |         10 |         14 |
145.35/23.18	c (19,0) c | Glues         |                 |        124 |         98 |        115 |        101 |        111 |        108 |        104 |         95 |
145.35/23.18	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.35/23.18	c (19,0) c | Orig_Seen     |             8 % |      40227 |      43292 |      43071 |      43692 |      43290 |      43721 |      41946 |      40637 |
145.35/23.18	c (19,0) c | Diff Orig seen|                 | -     3065 |      X     | -      221 |        400 | -        2 |        429 | -     1346 | -     2655 |
145.35/23.18	c (19,0) c | Hamming       |            26 % |       6565 |      X     |       2686 |       8610 |       5482 |       9031 |       7645 |       9572 |
145.35/23.18	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.35/23.18	c (19,0) c | RunningTime   |                 |   17.6 100%|   17.0 100%|   17.0 100%|   17.1 100%|   17.0 100%|   17.1 100%|   17.0 100%|   17.0 100%|
145.35/23.18	c (19,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%|
145.35/23.18	c (19,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%|
145.35/23.18	c (19,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%|
145.35/23.18	c (19,0) c | SolvingTime   |                 |   17.6     |   17.0     |   17.1     |   17.1     |   17.0     |   17.1     |   17.0     |   17.0     |
145.35/23.18	c (19,0) c | PropagationTim|                 |   14.9  85%|   14.4  85%|   14.4  85%|   14.5  84%|   14.3  84%|   14.5  85%|   14.4  85%|   14.3  84%|
145.35/23.18	c (19,0) c | AnalysisTime  |                 |    2.1  12%|    2.1  12%|    2.1  12%|    2.1  12%|    2.1  13%|    2.1  12%|    2.1  12%|    2.2  13%|
145.35/23.18	c (19,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
145.35/23.18	c (19,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
145.35/23.18	c (19,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%|
145.35/23.18	c (19,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%|
145.35/23.18	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.35/23.18	c (19,0) c
145.35/23.18	c (19,0) c
145.35/23.18	c (19,0) c Threads : 8
145.35/23.18	c (19,0) c Winner : 1
145.35/23.18	c (19,0) c Conflicts_0 : 30679
145.35/23.18	c (19,0) c Conflicts_1 : 31471
145.35/23.18	c (19,0) c Conflicts_2 : 30904
145.35/23.18	c (19,0) c Conflicts_3 : 31895
145.35/23.18	c (19,0) c Conflicts_4 : 31241
145.35/23.18	c (19,0) c Conflicts_5 : 31063
145.35/23.18	c (19,0) c Conflicts_6 : 31680
145.35/23.18	c (19,0) c Conflicts_7 : 31126
145.35/23.18	c (19,0) c Conflicts_total : 250059
145.35/23.18	c (19,0) c Conflicts_winner : 31471
145.35/23.18	c (19,0) c Decisions_0 : 61556
145.35/23.18	c (19,0) c Decisions_1 : 66748
145.35/23.18	c (19,0) c Decisions_2 : 63032
145.35/23.18	c (19,0) c Decisions_3 : 65189
145.35/23.18	c (19,0) c Decisions_4 : 66653
145.35/23.18	c (19,0) c Decisions_5 : 60302
145.35/23.18	c (19,0) c Decisions_6 : 63757
145.35/23.18	c (19,0) c Decisions_7 : 64177
145.35/23.18	c (19,0) c Decisions_total : 511414
145.35/23.18	c (19,0) c Decisions_winner : 66748
145.35/23.18	c (19,0) c Propagations_0 : 29576339
145.35/23.18	c (19,0) c Propagations_1 : 29359373
145.35/23.18	c (19,0) c Propagations_2 : 29684213
145.35/23.18	c (19,0) c Propagations_3 : 30184953
145.35/23.18	c (19,0) c Propagations_4 : 30007162
145.35/23.18	c (19,0) c Propagations_5 : 29610264
145.35/23.18	c (19,0) c Propagations_6 : 30225240
145.35/23.18	c (19,0) c Propagations_7 : 29300886
145.35/23.18	c (19,0) c Propagations_total : 237948430
145.35/23.18	c (19,0) c Propagations_winner : 29359373
145.35/23.18	c (19,0) c ReduceDBs_0 : 4
145.35/23.18	c (19,0) c ReduceDBs_1 : 4
145.35/23.18	c (19,0) c ReduceDBs_2 : 4
145.35/23.18	c (19,0) c ReduceDBs_3 : 4
145.35/23.18	c (19,0) c ReduceDBs_4 : 4
145.35/23.18	c (19,0) c ReduceDBs_5 : 4
145.35/23.18	c (19,0) c ReduceDBs_6 : 4
145.35/23.18	c (19,0) c ReduceDBs_7 : 4
145.35/23.18	c (19,0) c ReduceDBs_total : 32
145.35/23.18	c (19,0) c ReduceDBs_winner : 4
145.35/23.18	c (19,0) c SimpDBs_0 : 3
145.35/23.18	c (19,0) c SimpDBs_1 : 3
145.35/23.18	c (19,0) c SimpDBs_2 : 3
145.35/23.18	c (19,0) c SimpDBs_3 : 3
145.35/23.18	c (19,0) c SimpDBs_4 : 3
145.35/23.18	c (19,0) c SimpDBs_5 : 3
145.35/23.18	c (19,0) c SimpDBs_6 : 3
145.35/23.18	c (19,0) c SimpDBs_7 : 3
145.35/23.18	c (19,0) c SimpDBs_total : 24
145.35/23.18	c (19,0) c SimpDBs_winner : 3
145.35/23.18	c (19,0) c Restarts_0 : 99
145.35/23.18	c (19,0) c Restarts_1 : 102
145.35/23.18	c (19,0) c Restarts_2 : 88
145.35/23.18	c (19,0) c Restarts_3 : 101
145.35/23.18	c (19,0) c Restarts_4 : 95
145.35/23.18	c (19,0) c Restarts_5 : 105
145.35/23.18	c (19,0) c Restarts_6 : 90
145.35/23.18	c (19,0) c Restarts_7 : 97
145.35/23.18	c (19,0) c Restarts_total : 777
145.35/23.18	c (19,0) c Restarts_winner : 102
145.35/23.18	c (19,0) c ForcedImports_0 : 0
145.35/23.18	c (19,0) c ForcedImports_1 : 0
145.35/23.18	c (19,0) c ForcedImports_2 : 0
145.35/23.18	c (19,0) c ForcedImports_3 : 0
145.35/23.18	c (19,0) c ForcedImports_4 : 0
145.35/23.18	c (19,0) c ForcedImports_5 : 0
145.35/23.18	c (19,0) c ForcedImports_6 : 0
145.35/23.18	c (19,0) c ForcedImports_7 : 0
145.35/23.18	c (19,0) c ForcedImports_total : 0
145.35/23.18	c (19,0) c ForcedImports_winner : 0
145.35/23.18	c (19,0) c PropsBinClauses_0 : 38371750
145.35/23.18	c (19,0) c PropsBinClauses_1 : 37720249
145.35/23.18	c (19,0) c PropsBinClauses_2 : 38691707
145.35/23.18	c (19,0) c PropsBinClauses_3 : 38746994
145.35/23.18	c (19,0) c PropsBinClauses_4 : 38685249
145.35/23.18	c (19,0) c PropsBinClauses_5 : 38297107
145.35/23.18	c (19,0) c PropsBinClauses_6 : 39072165
145.35/23.18	c (19,0) c PropsBinClauses_7 : 38367944
145.35/23.18	c (19,0) c PropsBinClauses_total : 307953165
145.35/23.18	c (19,0) c PropsBinClauses_winner : 37720249
145.35/23.18	c (19,0) c PropsPreBlocker_0 : 348654632
145.35/23.18	c (19,0) c PropsPreBlocker_1 : 353344511
145.35/23.18	c (19,0) c PropsPreBlocker_2 : 352462414
145.35/23.18	c (19,0) c PropsPreBlocker_3 : 362935604
145.35/23.18	c (19,0) c PropsPreBlocker_4 : 355458711
145.35/23.18	c (19,0) c PropsPreBlocker_5 : 353220259
145.35/23.18	c (19,0) c PropsPreBlocker_6 : 358536331
145.35/23.18	c (19,0) c PropsPreBlocker_7 : 348923392
145.35/23.18	c (19,0) c PropsPreBlocker_total : 2833535854
145.35/23.18	c (19,0) c PropsPreBlocker_winner : 353344511
145.35/23.18	c (19,0) c PropsNotBlocker_0 : 134046244
145.35/23.18	c (19,0) c PropsNotBlocker_1 : 129367958
145.35/23.18	c (19,0) c PropsNotBlocker_2 : 131938536
145.35/23.18	c (19,0) c PropsNotBlocker_3 : 132929215
145.35/23.18	c (19,0) c PropsNotBlocker_4 : 132511991
145.35/23.18	c (19,0) c PropsNotBlocker_5 : 130620557
145.35/23.18	c (19,0) c PropsNotBlocker_6 : 135332536
145.35/23.18	c (19,0) c PropsNotBlocker_7 : 131131980
145.35/23.18	c (19,0) c PropsNotBlocker_total : 1057879017
145.35/23.18	c (19,0) c PropsNotBlocker_winner : 129367958
145.35/23.18	c (19,0) c PropsLitFullScans_0 : 690054507
145.35/23.18	c (19,0) c PropsLitFullScans_1 : 692652314
145.35/23.18	c (19,0) c PropsLitFullScans_2 : 690055837
145.35/23.18	c (19,0) c PropsLitFullScans_3 : 708073931
145.35/23.18	c (19,0) c PropsLitFullScans_4 : 699241943
145.35/23.18	c (19,0) c PropsLitFullScans_5 : 690061981
145.35/23.18	c (19,0) c PropsLitFullScans_6 : 706172813
145.35/23.18	c (19,0) c PropsLitFullScans_7 : 694223347
145.35/23.18	c (19,0) c PropsLitFullScans_total : 5570536673
145.35/23.18	c (19,0) c PropsLitFullScans_winner : 692652314
145.35/23.18	c (19,0) c LitScanFractions_0 : 43827
145.35/23.18	c (19,0) c LitScanFractions_1 : 86242
145.35/23.18	c (19,0) c LitScanFractions_2 : 47638
145.35/23.18	c (19,0) c LitScanFractions_3 : 56360
145.35/23.18	c (19,0) c LitScanFractions_4 : 46920
145.35/23.18	c (19,0) c LitScanFractions_5 : 54852
145.35/23.18	c (19,0) c LitScanFractions_6 : 91289
145.35/23.18	c (19,0) c LitScanFractions_7 : 90562
145.35/23.18	c (19,0) c LitScanFractions_total : 517690
145.35/23.18	c (19,0) c LitScanFractions_winner : 86242
145.35/23.18	c (19,0) c DecisionLevel0_0 : 101
145.35/23.18	c (19,0) c DecisionLevel0_1 : 102
145.35/23.19	c (19,0) c DecisionLevel0_2 : 88
145.35/23.19	c (19,0) c DecisionLevel0_3 : 101
145.35/23.19	c (19,0) c DecisionLevel0_4 : 95
145.35/23.19	c (19,0) c DecisionLevel0_5 : 106
145.35/23.19	c (19,0) c DecisionLevel0_6 : 90
145.35/23.19	c (19,0) c DecisionLevel0_7 : 97
145.35/23.19	c (19,0) c DecisionLevel0_total : 780
145.35/23.19	c (19,0) c DecisionLevel0_winner : 102
145.35/23.19	c (19,0) c Periods_0 : 115
145.35/23.19	c (19,0) c Periods_1 : 115
145.35/23.19	c (19,0) c Periods_2 : 115
145.35/23.19	c (19,0) c Periods_3 : 118
145.35/23.19	c (19,0) c Periods_4 : 116
145.35/23.19	c (19,0) c Periods_5 : 115
145.35/23.19	c (19,0) c Periods_6 : 117
145.35/23.19	c (19,0) c Periods_7 : 115
145.35/23.19	c (19,0) c Periods_total : 926
145.35/23.19	c (19,0) c Periods_winner : 115
145.35/23.19	c (19,0) c Margin_0 : 20
145.35/23.19	c (19,0) c Margin_1 : 20
145.35/23.19	c (19,0) c Margin_2 : 20
145.35/23.19	c (19,0) c Margin_3 : 20
145.35/23.19	c (19,0) c Margin_4 : 20
145.35/23.19	c (19,0) c Margin_5 : 20
145.35/23.19	c (19,0) c Margin_6 : 20
145.35/23.19	c (19,0) c Margin_7 : 20
145.35/23.19	c (19,0) c Margin_total : 160
145.35/23.19	c (19,0) c Margin_winner : 20
145.35/23.19	c (19,0) c Exported_0 : 5436
145.35/23.19	c (19,0) c Exported_1 : 5409
145.35/23.19	c (19,0) c Exported_2 : 5572
145.35/23.19	c (19,0) c Exported_3 : 5795
145.35/23.19	c (19,0) c Exported_4 : 5513
145.35/23.19	c (19,0) c Exported_5 : 5217
145.35/23.19	c (19,0) c Exported_6 : 5834
145.35/23.19	c (19,0) c Exported_7 : 6111
145.35/23.19	c (19,0) c Exported_total : 44887
145.35/23.19	c (19,0) c Exported_winner : 5409
145.35/23.19	c (19,0) c Imported_0 : 33701
145.35/23.19	c (19,0) c Imported_1 : 33499
145.35/23.19	c (19,0) c Imported_2 : 34139
145.35/23.19	c (19,0) c Imported_3 : 34800
145.35/23.19	c (19,0) c Imported_4 : 34777
145.35/23.19	c (19,0) c Imported_5 : 34548
145.35/23.19	c (19,0) c Imported_6 : 34814
145.35/23.19	c (19,0) c Imported_7 : 33901
145.35/23.19	c (19,0) c Imported_total : 274179
145.35/23.19	c (19,0) c Imported_winner : 33499
145.35/23.19	c (19,0) c Good_0 : 70
145.35/23.19	c (19,0) c Good_1 : 68
145.35/23.19	c (19,0) c Good_2 : 70
145.35/23.19	c (19,0) c Good_3 : 81
145.35/23.19	c (19,0) c Good_4 : 79
145.35/23.19	c (19,0) c Good_5 : 67
145.35/23.19	c (19,0) c Good_6 : 81
145.35/23.19	c (19,0) c Good_7 : 74
145.35/23.19	c (19,0) c Good_total : 590
145.35/23.19	c (19,0) c Good_winner : 68
145.35/23.19	c (19,0) c Purge_0 : 33631
145.35/23.19	c (19,0) c Purge_1 : 33431
145.35/23.19	c (19,0) c Purge_2 : 34069
145.35/23.19	c (19,0) c Purge_3 : 34719
145.35/23.19	c (19,0) c Purge_4 : 34698
145.35/23.19	c (19,0) c Purge_5 : 34481
145.35/23.19	c (19,0) c Purge_6 : 34733
145.35/23.19	c (19,0) c Purge_7 : 33827
145.35/23.19	c (19,0) c Purge_total : 273589
145.35/23.19	c (19,0) c Purge_winner : 33431
145.35/23.19	c (19,0) c Promoted_0 : 3761
145.35/23.19	c (19,0) c Promoted_1 : 3665
145.35/23.19	c (19,0) c Promoted_2 : 3826
145.35/23.19	c (19,0) c Promoted_3 : 3716
145.35/23.19	c (19,0) c Promoted_4 : 3709
145.35/23.19	c (19,0) c Promoted_5 : 3558
145.35/23.19	c (19,0) c Promoted_6 : 3949
145.35/23.19	c (19,0) c Promoted_7 : 3650
145.35/23.19	c (19,0) c Promoted_total : 29834
145.35/23.19	c (19,0) c Promoted_winner : 3665
145.35/23.19	c (19,0) c Remove_Imp_0 : 11633
145.35/23.19	c (19,0) c Remove_Imp_1 : 10705
145.35/23.19	c (19,0) c Remove_Imp_2 : 11089
145.35/23.19	c (19,0) c Remove_Imp_3 : 9312
145.35/23.19	c (19,0) c Remove_Imp_4 : 9759
145.35/23.19	c (19,0) c Remove_Imp_5 : 10890
145.35/23.19	c (19,0) c Remove_Imp_6 : 8926
145.35/23.19	c (19,0) c Remove_Imp_7 : 10132
145.35/23.19	c (19,0) c Remove_Imp_total : 82446
145.35/23.19	c (19,0) c Remove_Imp_winner : 10705
145.35/23.19	c (19,0) c Blocked_Reuse_0 : 0
145.35/23.19	c (19,0) c Blocked_Reuse_1 : 0
145.35/23.19	c (19,0) c Blocked_Reuse_2 : 0
145.35/23.19	c (19,0) c Blocked_Reuse_3 : 0
145.35/23.19	c (19,0) c Blocked_Reuse_4 : 0
145.35/23.19	c (19,0) c Blocked_Reuse_5 : 0
145.35/23.19	c (19,0) c Blocked_Reuse_6 : 0
145.35/23.19	c (19,0) c Blocked_Reuse_7 : 0
145.35/23.19	c (19,0) c Blocked_Reuse_total : 0
145.35/23.19	c (19,0) c Blocked_Reuse_winner : 0
145.35/23.19	c (19,0) c Unaries_0 : 2
145.35/23.19	c (19,0) c Unaries_1 : 0
145.35/23.19	c (19,0) c Unaries_2 : 0
145.35/23.19	c (19,0) c Unaries_3 : 0
145.35/23.19	c (19,0) c Unaries_4 : 0
145.35/23.19	c (19,0) c Unaries_5 : 1
145.35/23.19	c (19,0) c Unaries_6 : 0
145.35/23.19	c (19,0) c Unaries_7 : 0
145.35/23.19	c (19,0) c Unaries_total : 3
145.35/23.19	c (19,0) c Unaries_winner : 0
145.35/23.19	c (19,0) c Binaries_0 : 15
145.35/23.19	c (19,0) c Binaries_1 : 12
145.35/23.19	c (19,0) c Binaries_2 : 13
145.35/23.19	c (19,0) c Binaries_3 : 8
145.35/23.19	c (19,0) c Binaries_4 : 8
145.35/23.19	c (19,0) c Binaries_5 : 19
145.35/23.19	c (19,0) c Binaries_6 : 10
145.35/23.19	c (19,0) c Binaries_7 : 14
145.35/23.19	c (19,0) c Binaries_total : 99
145.35/23.19	c (19,0) c Binaries_winner : 12
145.35/23.19	c (19,0) c Glues_0 : 124
145.35/23.19	c (19,0) c Glues_1 : 98
145.35/23.19	c (19,0) c Glues_2 : 115
145.35/23.19	c (19,0) c Glues_3 : 101
145.35/23.19	c (19,0) c Glues_4 : 111
145.35/23.19	c (19,0) c Glues_5 : 108
145.35/23.19	c (19,0) c Glues_6 : 104
145.35/23.19	c (19,0) c Glues_7 : 95
145.35/23.19	c (19,0) c Glues_total : 856
145.35/23.19	c (19,0) c Glues_winner : 98
145.35/23.19	c (19,0) c RunningTime_0 : 17.584045
145.35/23.19	c (19,0) c RunningTime_1 : 16.995521
145.35/23.19	c (19,0) c RunningTime_2 : 17.036170
145.35/23.19	c (19,0) c RunningTime_3 : 17.094375
145.35/23.19	c (19,0) c RunningTime_4 : 17.021196
145.35/23.19	c (19,0) c RunningTime_5 : 17.125713
145.35/23.19	c (19,0) c RunningTime_6 : 17.009916
145.35/23.19	c (19,0) c RunningTime_7 : 17.005144
145.35/23.19	c (19,0) c RunningTime_total : 136.872080
145.35/23.19	c (19,0) c RunningTime_winner : 16.995521
145.35/23.19	c (19,0) c WaitingTime_0 : 0.000121
145.35/23.19	c (19,0) c WaitingTime_1 : 0.000174
145.35/23.19	c (19,0) c WaitingTime_2 : 0.000170
145.35/23.19	c (19,0) c WaitingTime_3 : 0.000247
145.35/23.19	c (19,0) c WaitingTime_4 : 0.000175
145.35/23.19	c (19,0) c WaitingTime_5 : 0.000160
145.35/23.19	c (19,0) c WaitingTime_6 : 0.000186
145.35/23.19	c (19,0) c WaitingTime_7 : 0.000145
145.35/23.19	c (19,0) c WaitingTime_total : 0.001378
145.35/23.19	c (19,0) c WaitingTime_winner : 0.000174
145.35/23.19	c (19,0) c ExchangingTime_0 : 0.015923
145.35/23.19	c (19,0) c ExchangingTime_1 : 0.023912
145.35/23.19	c (19,0) c ExchangingTime_2 : 0.025250
145.35/23.19	c (19,0) c ExchangingTime_3 : 0.027098
145.35/23.19	c (19,0) c ExchangingTime_4 : 0.015331
145.35/23.19	c (19,0) c ExchangingTime_5 : 0.015119
145.35/23.19	c (19,0) c ExchangingTime_6 : 0.024978
145.35/23.19	c (19,0) c ExchangingTime_7 : 0.015078
145.35/23.19	c (19,0) c ExchangingTime_total : 0.162689
145.35/23.19	c (19,0) c ExchangingTime_winner : 0.023912
145.35/23.19	c (19,0) c PeriodProcTime_0 : 0.001238
145.35/23.19	c (19,0) c PeriodProcTime_1 : 0.001163
145.35/23.19	c (19,0) c PeriodProcTime_2 : 0.001143
145.35/23.19	c (19,0) c PeriodProcTime_3 : 0.001231
145.35/23.19	c (19,0) c PeriodProcTime_4 : 0.001227
145.35/23.19	c (19,0) c PeriodProcTime_5 : 0.001169
145.35/23.19	c (19,0) c PeriodProcTime_6 : 0.001435
145.35/23.19	c (19,0) c PeriodProcTime_7 : 0.001180
145.35/23.19	c (19,0) c PeriodProcTime_total : 0.009788
145.35/23.19	c (19,0) c PeriodProcTime_winner : 0.001163
145.35/23.19	c (19,0) c SolvingTime_0 : 17.601327
145.35/23.19	c (19,0) c SolvingTime_1 : 17.020770
145.35/23.19	c (19,0) c SolvingTime_2 : 17.062733
145.35/23.19	c (19,0) c SolvingTime_3 : 17.122951
145.35/23.19	c (19,0) c SolvingTime_4 : 17.037929
145.35/23.19	c (19,0) c SolvingTime_5 : 17.142161
145.35/23.19	c (19,0) c SolvingTime_6 : 17.036515
145.35/23.19	c (19,0) c SolvingTime_7 : 17.021547
145.35/23.19	c (19,0) c SolvingTime_total : 137.045934
145.35/23.19	c (19,0) c SolvingTime_winner : 17.020770
145.35/23.19	c (19,0) c PropagationTime_0 : 14.896132
145.35/23.19	c (19,0) c PropagationTime_1 : 14.402317
145.35/23.19	c (19,0) c PropagationTime_2 : 14.434105
145.35/23.19	c (19,0) c PropagationTime_3 : 14.451280
145.35/23.19	c (19,0) c PropagationTime_4 : 14.336069
145.35/23.19	c (19,0) c PropagationTime_5 : 14.489494
145.35/23.19	c (19,0) c PropagationTime_6 : 14.401566
145.35/23.19	c (19,0) c PropagationTime_7 : 14.333664
145.35/23.19	c (19,0) c PropagationTime_total : 115.744627
145.35/23.19	c (19,0) c PropagationTime_winner : 14.402317
145.35/23.19	c (19,0) c AnalysisTime_0 : 2.135766
145.35/23.19	c (19,0) c AnalysisTime_1 : 2.089388
145.35/23.19	c (19,0) c AnalysisTime_2 : 2.072540
145.35/23.19	c (19,0) c AnalysisTime_3 : 2.134546
145.35/23.19	c (19,0) c AnalysisTime_4 : 2.139914
145.35/23.19	c (19,0) c AnalysisTime_5 : 2.109410
145.35/23.19	c (19,0) c AnalysisTime_6 : 2.087216
145.35/23.19	c (19,0) c AnalysisTime_7 : 2.151773
145.35/23.19	c (19,0) c AnalysisTime_total : 16.920552
145.35/23.19	c (19,0) c AnalysisTime_winner : 2.089388
145.35/23.19	c (19,0) c ReductionTime_0 : 0.013772
145.35/23.19	c (19,0) c ReductionTime_1 : 0.013812
145.35/23.19	c (19,0) c ReductionTime_2 : 0.013619
145.35/23.19	c (19,0) c ReductionTime_3 : 0.012947
145.35/23.19	c (19,0) c ReductionTime_4 : 0.013431
145.35/23.19	c (19,0) c ReductionTime_5 : 0.013493
145.35/23.19	c (19,0) c ReductionTime_6 : 0.013050
145.35/23.19	c (19,0) c ReductionTime_7 : 0.013183
145.35/23.19	c (19,0) c ReductionTime_total : 0.107307
145.35/23.19	c (19,0) c ReductionTime_winner : 0.013812
145.35/23.19	c (19,0) c SimplifyTime_0 : 0.034657
145.35/23.19	c (19,0) c SimplifyTime_1 : 0.033729
145.35/23.19	c (19,0) c SimplifyTime_2 : 0.030116
145.35/23.19	c (19,0) c SimplifyTime_3 : 0.030466
145.35/23.19	c (19,0) c SimplifyTime_4 : 0.030785
145.35/23.19	c (19,0) c SimplifyTime_5 : 0.029230
145.35/23.19	c (19,0) c SimplifyTime_6 : 0.030537
145.35/23.19	c (19,0) c SimplifyTime_7 : 0.031679
145.35/23.19	c (19,0) c SimplifyTime_total : 0.251198
145.35/23.19	c (19,0) c SimplifyTime_winner : 0.033729
145.35/23.19	c (19,0) c UsedRateTime_0 : 0.000000
145.35/23.19	c (19,0) c UsedRateTime_1 : 0.000000
145.35/23.19	c (19,0) c UsedRateTime_2 : 0.000000
145.35/23.19	c (19,0) c UsedRateTime_3 : 0.000000
145.35/23.19	c (19,0) c UsedRateTime_4 : 0.000000
145.35/23.19	c (19,0) c UsedRateTime_5 : 0.000000
145.35/23.19	c (19,0) c UsedRateTime_6 : 0.000000
145.35/23.19	c (19,0) c UsedRateTime_7 : 0.000000
145.35/23.19	c (19,0) c UsedRateTime_total : 0.000000
145.35/23.19	c (19,0) c UsedRateTime_winner : 0.000000
145.35/23.19	c (19,0) c OverlapRateTime_0 : 0.000000
145.35/23.19	c (19,0) c OverlapRateTime_1 : 0.000000
145.35/23.19	c (19,0) c OverlapRateTime_2 : 0.000000
145.35/23.19	c (19,0) c OverlapRateTime_3 : 0.000000
145.35/23.19	c (19,0) c OverlapRateTime_4 : 0.000000
145.35/23.19	c (19,0) c OverlapRateTime_5 : 0.000000
145.35/23.19	c (19,0) c OverlapRateTime_6 : 0.000000
145.35/23.19	c (19,0) c OverlapRateTime_7 : 0.000000
145.35/23.19	c (19,0) c OverlapRateTime_total : 0.000000
145.35/23.19	c (19,0) c OverlapRateTime_winner : 0.000000
145.35/23.19	c (19,0) c
145.35/23.19	c (19,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
145.35/23.19	c (19,0) c
145.35/23.19	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.35/23.19	c (19,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
145.35/23.19	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.35/23.19	c (19,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
145.35/23.19	c (19,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
145.35/23.19	c (19,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
145.35/23.19	c (19,0) c | Initial random_seed   |  874813261 |  400407749 |  540939393 | 1000844908 | 1606108122 | 1252952504 | 1415898877 | 1149437675 |
145.35/23.19	c (19,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
145.35/23.19	c (19,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
145.35/23.19	c (19,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
145.35/23.19	c (19,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
145.35/23.19	c (19,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
145.35/23.19	c (19,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
145.35/23.19	c (19,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
145.35/23.19	c (19,0) c | var_decay             |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |
145.35/23.19	c (19,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
145.35/23.19	c (19,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
145.35/23.19	c (19,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
145.35/23.19	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.35/23.19	c (19,0) 
145.35/23.19	c (19,0) s SATISFIABLE
8.03/23.25	c (19,0) SatSolver.solve End
8.03/23.25	c (19,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
8.03/23.25	c (19,0) Show results Begin
145.75/23.35	c (19,0) x[0] = 391
145.75/23.35	c (19,0) x[1] = 338
145.75/23.35	c (19,0) x[2] = 391
145.75/23.35	c (19,0) x[3] = 378
145.75/23.35	c (19,0) x[4] = 378
145.75/23.35	c (19,0) x[5] = 397
145.75/23.35	c (19,0) x[6] = 346
145.75/23.35	c (19,0) x[7] = 263
145.75/23.35	c (19,0) x[8] = 156
145.75/23.35	c (19,0) x[9] = 246
145.75/23.35	c (19,0) x[10] = 205
145.75/23.35	c (19,0) x[11] = 346
145.75/23.35	c (19,0) x[12] = 338
145.75/23.35	c (19,0) x[13] = 300
145.75/23.35	c (19,0) x[14] = 246
145.75/23.35	c (19,0) x[15] = 246
145.75/23.35	c (19,0) x[16] = 156
145.75/23.35	c (19,0) x[17] = 263
145.75/23.35	c (19,0) x[18] = 0
145.75/23.35	c (19,0) x[19] = 422
145.75/23.35	c (19,0) x[20] = 205
145.75/23.35	c (19,0) x[21] = 0
145.75/23.35	c (19,0) x[22] = 401
145.75/23.35	c (19,0) x[23] = 391
145.75/23.35	c (19,0) x[24] = 0
145.75/23.35	c (19,0) y[0] = 179
145.75/23.35	c (19,0) y[1] = 84
145.75/23.35	c (19,0) y[2] = 401
145.75/23.35	c (19,0) y[3] = 179
145.75/23.35	c (19,0) y[4] = 160
145.75/23.35	c (19,0) y[5] = 160
145.75/23.35	c (19,0) y[6] = 160
145.75/23.35	c (19,0) y[7] = 246
145.75/23.35	c (19,0) y[8] = 353
145.75/23.35	c (19,0) y[9] = 192
145.75/23.35	c (19,0) y[10] = 353
145.75/23.35	c (19,0) y[11] = 84
145.75/23.35	c (19,0) y[12] = 0
145.75/23.35	c (19,0) y[13] = 192
145.75/23.35	c (19,0) y[14] = 0
145.75/23.35	c (19,0) y[15] = 92
145.75/23.35	c (19,0) y[16] = 246
145.75/23.35	c (19,0) y[17] = 283
145.75/23.35	c (19,0) y[18] = 246
145.75/23.35	c (19,0) y[19] = 0
145.75/23.35	c (19,0) y[20] = 411
145.75/23.35	c (19,0) y[21] = 402
145.75/23.35	c (19,0) y[22] = 401
145.75/23.35	c (19,0) y[23] = 185
145.75/23.35	c (19,0) y[24] = 0
145.75/23.35	s SATISFIABLE
145.75/23.35	v <instantiation>
145.75/23.35	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>
145.75/23.35	v     <values>391 338 391 378 378 397 346 263 156 246 205 346 338 300 246 246 156 263 0 422 205 0 401 391 0 179 84 401 179 160 160 160 246 353 192 353 84 0 192 0 92 246 283 246 0 411 402 401 185 0</values>
145.75/23.35	v </instantiation>
145.75/23.35	c (19,0) Show results End
145.75/23.35	c (19,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
145.75/23.35	c (19,0) 19,19,STOP-AFTER(ALL)
145.75/23.35	c END-Prog: Sat Sep 14 04:49:41 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 (15072 MiB free)
  memory of node 1: 16384 MiB (15490 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392274-1568429399/watcher-4392274-1568429399 -o /tmp/evaluation-result-4392274-1568429399/solver-4392274-1568429399 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568427839-5017 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392274-1568429399.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=5267, runsolver pid=5264

[startup+0.100161 s]*
/proc/loadavg: 1.08 1.06 2.09 2/211 5289
/proc/meminfo: memFree=31203360/32770624 swapFree=66919232/67108860
[pid=5267] ppid=5264 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/5267/stat : 5267 (scop.sh) S 5264 5267 4990 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418877833 115843072 348 33554432000 4194304 5098028 140729998023616 140729998020872 140306985071228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26169344 140729998029605 140729998029932 140729998029932 140729998032845 0
/proc/5267/statm: 28282 348 296 221 0 87 0
[pid=5270] ppid=5267 vsize=27314120 memory=108068 CPUtime=0.1 cores=0-7
/proc/5270/stat : 5270 (java) S 5267 5267 4990 0 -1 1077944320 6612 0 0 0 8 2 0 0 20 0 20 0 418877834 27969658880 27017 33554432000 4194304 4196468 140733820475056 140733820457600 140625696419575 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
/proc/5270/statm: 6828530 27017 2780 1 0 6790935 0
[pid=5270/tid=5271] ppid=5267 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/5270/task/5271/stat : 5271 (java) R 5267 5267 4990 0 -1 4202560 4730 0 0 0 7 2 0 0 20 0 20 0 418877834 27969658880 27082 33554432000 4194304 4196468 140733820475056 140625668254016 140625682102101 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5272] ppid=5267 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/5270/task/5272/stat : 5272 (java) S 5267 5267 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877836 27969658880 27082 33554432000 4194304 4196468 140733820475056 140625700661648 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5273] ppid=5267 vsize=27314120 memory=140682859292288 CPUtime=0 cores=0-7
/proc/5270/task/5273/stat : 5273 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877836 27969658880 27082 33554432000 4194304 4196468 140733820475056 140625118746896 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5274] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5274/stat : 5274 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877836 27969658880 27082 33554432000 4194304 4196468 140733820475056 140625117694608 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5275] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5275/stat : 5275 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877836 27969658880 27082 33554432000 4194304 4196468 140733820475056 140625116641808 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5276] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5276/stat : 5276 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877837 27969658880 27082 33554432000 4194304 4196468 140733820475056 140625115589520 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5277] ppid=5267 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5270/task/5277/stat : 5277 (java) S 5267 5267 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877837 27969658880 27082 33554432000 4194304 4196468 140733820475056 140625114536720 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5278] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5278/stat : 5278 (java) S 5267 5267 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877837 27969658880 27082 33554432000 4194304 4196468 140733820475056 140625113484432 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5279] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5279/stat : 5279 (java) S 5267 5267 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418877837 27969658880 27082 33554432000 4194304 4196468 140733820475056 140625112431632 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5280] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5280/stat : 5280 (java) S 5267 5267 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877838 27969658880 27082 33554432000 4194304 4196468 140733820475056 140624956041328 140625696430722 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5281] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5281/stat : 5281 (java) S 5267 5267 4990 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418877839 27969658880 27082 33554432000 4194304 4196468 140733820475056 140623671714592 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5282] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5282/stat : 5282 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877839 27969658880 27082 33554432000 4194304 4196468 140733820475056 140623403279472 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5283] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5283/stat : 5283 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877841 27969658880 27082 33554432000 4194304 4196468 140733820475056 140623028770896 140625696438171 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5284] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5284/stat : 5284 (java) S 5267 5267 4990 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 418877841 27969658880 27082 33554432000 4194304 4196468 140733820475056 140624954989168 140625696430722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5285] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5285/stat : 5285 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877841 27969658880 27082 33554432000 4194304 4196468 140733820475056 140624953936368 140625696430722 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5286] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5286/stat : 5286 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877841 27969658880 27082 33554432000 4194304 4196468 140733820475056 140624952884080 140625696430722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5287] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5287/stat : 5287 (java) S 5267 5267 4990 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 20 0 418877841 27969658880 27082 33554432000 4194304 4196468 140733820475056 140624951831280 140625696430722 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5288] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5288/stat : 5288 (java) S 5267 5267 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418877842 27969658880 27082 33554432000 4194304 4196468 140733820475056 140622530865504 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5289] ppid=5267 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5270/task/5289/stat : 5289 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877842 27969658880 27082 33554432000 4194304 4196468 140733820475056 140624950778160 140625696430722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109460 KiB

[startup+0.210182 s]*
/proc/loadavg: 1.08 1.06 2.09 3/211 5289
/proc/meminfo: memFree=31179488/32770624 swapFree=66919232/67108860
[pid=5267] ppid=5264 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/5267/stat : 5267 (scop.sh) S 5264 5267 4990 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418877833 115843072 348 33554432000 4194304 5098028 140729998023616 140729998020872 140306985071228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26169344 140729998029605 140729998029932 140729998029932 140729998032845 0
/proc/5267/statm: 28282 348 296 221 0 87 0
[pid=5270] ppid=5267 vsize=27314120 memory=127644 CPUtime=0.24 cores=0-7
/proc/5270/stat : 5270 (java) S 5267 5267 4990 0 -1 1077944320 12247 0 0 0 20 4 0 0 20 0 20 0 418877834 27969658880 31911 33554432000 4194304 4196468 140733820475056 140733820457600 140625696419575 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
/proc/5270/statm: 6828530 31911 2949 1 0 6790935 0
[pid=5270/tid=5271] ppid=5267 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5270/task/5271/stat : 5271 (java) R 5267 5267 4990 0 -1 4202560 9966 0 0 0 16 3 0 0 20 0 20 0 418877834 27969658880 31911 33554432000 4194304 4196468 140733820475056 140625668218960 140625676694962 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5272] ppid=5267 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/5270/task/5272/stat : 5272 (java) S 5267 5267 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877836 27969658880 31911 33554432000 4194304 4196468 140733820475056 140625700661648 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5273] ppid=5267 vsize=27314120 memory=140682859306824 CPUtime=0 cores=0-7
/proc/5270/task/5273/stat : 5273 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877836 27969658880 31911 33554432000 4194304 4196468 140733820475056 140625118746896 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5274] ppid=5267 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5270/task/5274/stat : 5274 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877836 27969658880 31911 33554432000 4194304 4196468 140733820475056 140625117694608 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5275] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5275/stat : 5275 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877836 27969658880 31911 33554432000 4194304 4196468 140733820475056 140625116641808 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5276] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5276/stat : 5276 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877837 27969658880 31911 33554432000 4194304 4196468 140733820475056 140625115589520 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5277] ppid=5267 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5270/task/5277/stat : 5277 (java) S 5267 5267 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877837 27969658880 31911 33554432000 4194304 4196468 140733820475056 140625114536720 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5278] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5278/stat : 5278 (java) S 5267 5267 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877837 27969658880 31911 33554432000 4194304 4196468 140733820475056 140625113484432 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5279] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5279/stat : 5279 (java) S 5267 5267 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418877837 27969658880 31911 33554432000 4194304 4196468 140733820475056 140625112431632 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5280] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5280/stat : 5280 (java) S 5267 5267 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877838 27969658880 31911 33554432000 4194304 4196468 140733820475056 140624956041328 140625696430722 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5281] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5281/stat : 5281 (java) S 5267 5267 4990 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418877839 27969658880 31911 33554432000 4194304 4196468 140733820475056 140623671714592 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5282] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5282/stat : 5282 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877839 27969658880 31911 33554432000 4194304 4196468 140733820475056 140623403279472 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5283] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5283/stat : 5283 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877841 27969658880 31911 33554432000 4194304 4196468 140733820475056 140623028770896 140625696438171 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5284] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5284/stat : 5284 (java) S 5267 5267 4990 0 -1 1077944384 357 0 0 0 0 0 0 0 20 0 20 0 418877841 27969658880 31911 33554432000 4194304 4196468 140733820475056 140624954989168 140625696430722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5285] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5285/stat : 5285 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877841 27969658880 31911 33554432000 4194304 4196468 140733820475056 140624953936368 140625696430722 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5286] ppid=5267 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5270/task/5286/stat : 5286 (java) S 5267 5267 4990 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 20 0 418877841 27969658880 31911 33554432000 4194304 4196468 140733820475056 140624952884080 140625696430722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5287] ppid=5267 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/5270/task/5287/stat : 5287 (java) S 5267 5267 4990 0 -1 1077944384 438 0 0 0 2 0 0 0 20 0 20 0 418877841 27969658880 31911 33554432000 4194304 4196468 140733820475056 140624951831280 140625696430722 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5288] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5288/stat : 5288 (java) S 5267 5267 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418877842 27969658880 31911 33554432000 4194304 4196468 140733820475056 140622530865504 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5289] ppid=5267 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5270/task/5289/stat : 5289 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877842 27969658880 31911 33554432000 4194304 4196468 140733820475056 140624950778160 140625696430722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129036 KiB

[startup+0.30954 s]*
/proc/loadavg: 1.08 1.06 2.09 2/211 5289
/proc/meminfo: memFree=31167744/32770624 swapFree=66919232/67108860
[pid=5267] ppid=5264 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/5267/stat : 5267 (scop.sh) S 5264 5267 4990 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418877833 115843072 348 33554432000 4194304 5098028 140729998023616 140729998020872 140306985071228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26169344 140729998029605 140729998029932 140729998029932 140729998032845 0
/proc/5267/statm: 28282 348 296 221 0 87 0
[pid=5270] ppid=5267 vsize=27314120 memory=131504 CPUtime=0.42 cores=0-7
/proc/5270/stat : 5270 (java) S 5267 5267 4990 0 -1 1077944320 12763 0 0 0 38 4 0 0 20 0 20 0 418877834 27969658880 32876 33554432000 4194304 4196468 140733820475056 140733820457600 140625696419575 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
/proc/5270/statm: 6828530 32876 2989 1 0 6790935 0
[pid=5270/tid=5271] ppid=5267 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/5270/task/5271/stat : 5271 (java) R 5267 5267 4990 0 -1 4202560 10285 0 0 0 26 3 0 0 20 0 20 0 418877834 27969658880 32876 33554432000 4194304 4196468 140733820475056 140625668247376 140625680500062 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5272] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5272/stat : 5272 (java) S 5267 5267 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877836 27969658880 32876 33554432000 4194304 4196468 140733820475056 140625700661648 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5273] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5273/stat : 5273 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877836 27969658880 32876 33554432000 4194304 4196468 140733820475056 140625118746896 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5274] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5274/stat : 5274 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877836 27969658880 32876 33554432000 4194304 4196468 140733820475056 140625117694608 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5275] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5275/stat : 5275 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877836 27969658880 32876 33554432000 4194304 4196468 140733820475056 140625116641808 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5276] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5276/stat : 5276 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877837 27969658880 32876 33554432000 4194304 4196468 140733820475056 140625115589520 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5277] ppid=5267 vsize=27314120 memory=140682727615151 CPUtime=0 cores=0-7
/proc/5270/task/5277/stat : 5277 (java) S 5267 5267 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877837 27969658880 32876 33554432000 4194304 4196468 140733820475056 140625114536720 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5278] ppid=5267 vsize=27314120 memory=140682727617456 CPUtime=0 cores=0-7
/proc/5270/task/5278/stat : 5278 (java) S 5267 5267 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877837 27969658880 32876 33554432000 4194304 4196468 140733820475056 140625113484432 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5279] ppid=5267 vsize=27314120 memory=140682727619760 CPUtime=0 cores=0-7
/proc/5270/task/5279/stat : 5279 (java) S 5267 5267 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418877837 27969658880 32876 33554432000 4194304 4196468 140733820475056 140625112431632 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5280] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5280/stat : 5280 (java) S 5267 5267 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877838 27969658880 32876 33554432000 4194304 4196468 140733820475056 140624956041328 140625696430722 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5281] ppid=5267 vsize=27314120 memory=281365455253392 CPUtime=0 cores=0-7
/proc/5270/task/5281/stat : 5281 (java) S 5267 5267 4990 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418877839 27969658880 32876 33554432000 4194304 4196468 140733820475056 140623671714592 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5282] ppid=5267 vsize=27314120 memory=281365455251088 CPUtime=0 cores=0-7
/proc/5270/task/5282/stat : 5282 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877839 27969658880 32876 33554432000 4194304 4196468 140733820475056 140623403279472 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5283] ppid=5267 vsize=27314120 memory=281365455258000 CPUtime=0 cores=0-7
/proc/5270/task/5283/stat : 5283 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877841 27969658880 32876 33554432000 4194304 4196468 140733820475056 140623028770896 140625696438171 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5284] ppid=5267 vsize=27314120 memory=281365455199280 CPUtime=0.01 cores=0-7
/proc/5270/task/5284/stat : 5284 (java) R 5267 5267 4990 0 -1 4202560 379 0 0 0 1 0 0 0 20 0 20 0 418877841 27969658880 32876 33554432000 4194304 4196468 140733820475056 140624954989168 140625677119872 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5285] ppid=5267 vsize=27314120 memory=281365455271824 CPUtime=0.01 cores=0-7
/proc/5270/task/5285/stat : 5285 (java) S 5267 5267 4990 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 418877841 27969658880 32876 33554432000 4194304 4196468 140733820475056 140624953936368 140625696430722 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5286] ppid=5267 vsize=27314120 memory=281365455278736 CPUtime=0.01 cores=0-7
/proc/5270/task/5286/stat : 5286 (java) S 5267 5267 4990 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 20 0 418877841 27969658880 32876 33554432000 4194304 4196468 140733820475056 140624952884080 140625696430722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5287] ppid=5267 vsize=27314120 memory=281365455276432 CPUtime=0.07 cores=0-7
/proc/5270/task/5287/stat : 5287 (java) S 5267 5267 4990 0 -1 1077944384 487 0 0 0 7 0 0 0 20 0 20 0 418877841 27969658880 32876 33554432000 4194304 4196468 140733820475056 140624951831280 140625696430722 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5288] ppid=5267 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5288/stat : 5288 (java) S 5267 5267 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418877842 27969658880 32876 33554432000 4194304 4196468 140733820475056 140622530865504 140625696429781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5289] ppid=5267 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5270/task/5289/stat : 5289 (java) S 5267 5267 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877842 27969658880 32876 33554432000 4194304 4196468 140733820475056 140624950778160 140625696430722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 132896 KiB

[startup+0.700899 s]
/proc/loadavg: 1.08 1.06 2.09 2/211 5289
/proc/meminfo: memFree=31154588/32770624 swapFree=66919232/67108860
[pid=5267] ppid=5264 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/5267/stat : 5267 (scop.sh) S 5264 5267 4990 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418877833 115843072 348 33554432000 4194304 5098028 140729998023616 140729998020872 140306985071228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26169344 140729998029605 140729998029932 140729998029932 140729998032845 0
/proc/5267/statm: 28282 348 296 221 0 87 0
[pid=5270] ppid=5267 vsize=27322516 memory=167848 CPUtime=0.99 cores=0-7
/proc/5270/stat : 5270 (java) S 5267 5267 4990 0 -1 1077944320 20585 0 0 0 92 7 0 0 20 0 20 0 418877834 27978256384 41962 33554432000 4194304 4196468 140733820475056 140733820457600 140625696419575 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
/proc/5270/statm: 6830629 41962 3184 1 0 6791959 0
[pid=5270/tid=5271] ppid=5267 vsize=27322516 memory=0 CPUtime=0.68 cores=0-7
/proc/5270/task/5271/stat : 5271 (java) R 5267 5267 4990 0 -1 4202560 17478 0 0 0 62 6 0 0 20 0 20 0 418877834 27978256384 41962 33554432000 4194304 4196468 140733820475056 140625668251312 140625689097589 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5272] ppid=5267 vsize=27322516 memory=140682727826288 CPUtime=0 cores=0-7
/proc/5270/task/5272/stat : 5272 (java) S 5267 5267 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877836 27978256384 41962 33554432000 4194304 4196468 140733820475056 140625700661648 140625696429781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5273] ppid=5267 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/5270/task/5273/stat : 5273 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877836 27978256384 41962 33554432000 4194304 4196468 140733820475056 140625118746896 140625696429781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0
[pid=5270/tid=5274] ppid=5267 vsize=27322516 memory=1560 CPUtime=0 cores=0-7
/proc/5270/task/5274/stat : 5274 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877836 27978256384 41962 33554432000 4194304 4196468 140733820475056 140625117694608 140625696429781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25227264 140733820478188 140733820478614 140733820478614 140733820481487 0

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

[pid=5290/tid=5293] ppid=5267 vsize=8414124 memory=390996 CPUtime=0 cores=0-7
/proc/5290/task/5293/stat : 5293 (java) S 5267 5267 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418878209 8616062976 29913 33554432000 4194304 4196468 140722866909600 140675490839312 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5294] ppid=5267 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/5290/task/5294/stat : 5294 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418878209 8616062976 29913 33554432000 4194304 4196468 140722866909600 140675489787024 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5295] ppid=5267 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/5290/task/5295/stat : 5295 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418878209 8616062976 29913 33554432000 4194304 4196468 140722866909600 140675488734224 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5296] ppid=5267 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/5290/task/5296/stat : 5296 (java) S 5267 5267 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418878209 8616062976 29913 33554432000 4194304 4196468 140722866909600 140675487680912 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5297] ppid=5267 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/5290/task/5297/stat : 5297 (java) S 5267 5267 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418878209 8616062976 29913 33554432000 4194304 4196468 140722866909600 140675486628112 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5298] ppid=5267 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/5290/task/5298/stat : 5298 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418878209 8616062976 29913 33554432000 4194304 4196468 140722866909600 140675485575824 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5299] ppid=5267 vsize=8414124 memory=4136 CPUtime=0 cores=0-7
/proc/5290/task/5299/stat : 5299 (java) S 5267 5267 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418878209 8616062976 29913 33554432000 4194304 4196468 140722866909600 140675484523024 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5300] ppid=5267 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/5290/task/5300/stat : 5300 (java) S 5267 5267 4990 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418878211 8616062976 29913 33554432000 4194304 4196468 140722866909600 140674511542896 140675686439554 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5301] ppid=5267 vsize=8414124 memory=3084 CPUtime=0 cores=0-7
/proc/5290/task/5301/stat : 5301 (java) S 5267 5267 4990 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418878211 8616062976 29913 33554432000 4194304 4196468 140722866909600 140674338907424 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5302] ppid=5267 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5290/task/5302/stat : 5302 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418878211 8616062976 29913 33554432000 4194304 4196468 140722866909600 140674070472304 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5303] ppid=5267 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5290/task/5303/stat : 5303 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418878214 8616062976 29913 33554432000 4194304 4196468 140722866909600 140673695963728 140675686447003 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5304] ppid=5267 vsize=8414124 memory=7523078916570311010 CPUtime=0.02 cores=0-7
/proc/5290/task/5304/stat : 5304 (java) S 5267 5267 4990 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 24 0 418878214 8616062976 29913 33554432000 4194304 4196468 140722866909600 140674510489712 140675686439554 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5305] ppid=5267 vsize=8414124 memory=7523078925278210148 CPUtime=0.07 cores=0-7
/proc/5290/task/5305/stat : 5305 (java) S 5267 5267 4990 0 -1 1077944384 286 0 0 0 7 0 0 0 20 0 24 0 418878214 8616062976 29913 33554432000 4194304 4196468 140722866909600 140674509436912 140675686439554 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5306] ppid=5267 vsize=8414124 memory=6944656592455097440 CPUtime=0.07 cores=0-7
/proc/5290/task/5306/stat : 5306 (java) S 5267 5267 4990 0 -1 1077944384 436 0 0 0 7 0 0 0 20 0 24 0 418878214 8616062976 29913 33554432000 4194304 4196468 140722866909600 140674508384624 140675686439554 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5307] ppid=5267 vsize=8414124 memory=6656426216303648864 CPUtime=0.19 cores=0-7
/proc/5290/task/5307/stat : 5307 (java) S 5267 5267 4990 0 -1 1077944384 503 0 0 0 19 0 0 0 20 0 24 0 418878214 8616062976 29913 33554432000 4194304 4196468 140722866909600 140674507331824 140675686439554 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5308] ppid=5267 vsize=8414124 memory=7308619160352282476 CPUtime=0 cores=0-7
/proc/5290/task/5308/stat : 5308 (java) S 5267 5267 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418878214 8616062976 29913 33554432000 4194304 4196468 140722866909600 140673198058336 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5309] ppid=5267 vsize=8414124 memory=7014751519583656293 CPUtime=0.01 cores=0-7
/proc/5290/task/5309/stat : 5309 (java) S 5267 5267 4990 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 418878214 8616062976 29913 33554432000 4194304 4196468 140722866909600 140674506279728 140675686439554 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 21 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5311] ppid=5267 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5290/task/5311/stat : 5311 (java) S 5267 5267 4990 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418878279 8616062976 29913 33554432000 4194304 4196468 140722866909600 140674498246464 140675686453017 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5313] ppid=5267 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5290/task/5313/stat : 5313 (java) S 5267 5267 4990 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 418878280 8616062976 29913 33554432000 4194304 4196468 140722866909600 140672526957968 140675686450333 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5314] ppid=5267 vsize=8414124 memory=281365457440416 CPUtime=0 cores=0-7
/proc/5290/task/5314/stat : 5314 (java) S 5267 5267 4990 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418878280 8616062976 29913 33554432000 4194304 4196468 140722866909600 140672795393296 140675686450333 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5315] ppid=5267 vsize=8414124 memory=140682728737072 CPUtime=0 cores=0-7
/proc/5290/task/5315/stat : 5315 (java) S 5267 5267 4990 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418878282 8616062976 29913 33554432000 4194304 4196468 140722866909600 140672258530608 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
Current children cumulated CPU time: 145.04 s
Current children cumulated vsize: 9692152 KiB
Current children cumulated memory: 660000 KiB

[startup+23.2034 s]
/proc/loadavg: 2.67 1.42 2.19 2/217 5326
/proc/meminfo: memFree=30640712/32770624 swapFree=66919232/67108860
[pid=5267] ppid=5264 vsize=113128 memory=1472 CPUtime=6.82 cores=0-7
/proc/5267/stat : 5267 (scop.sh) S 5264 5267 4990 0 -1 4202496 582 28039 0 0 0 0 641 41 20 0 1 0 418877833 115843072 368 33554432000 4194304 5098028 140729998023616 140729998020360 140306985071228 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 26169344 140729998029605 140729998029932 140729998029932 140729998032845 0
/proc/5267/statm: 28282 368 311 221 0 87 0
[pid=5290] ppid=5267 vsize=8414124 memory=121540 CPUtime=1.21 cores=0-7
/proc/5290/stat : 5290 (java) S 5267 5267 4990 0 -1 1077944320 20441 0 0 0 114 7 0 0 20 0 24 0 418878208 8616062976 30385 33554432000 4194304 4196468 140722866909600 140722866892144 140675686428407 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
/proc/5290/statm: 2103531 30385 3209 1 0 2064875 0
[pid=5290/tid=5291] ppid=5267 vsize=8414124 memory=2828 CPUtime=0.74 cores=0-7
/proc/5290/task/5291/stat : 5291 (java) S 5267 5267 4990 0 -1 1077944384 16910 0 0 0 69 5 0 0 20 0 24 0 418878208 8616062976 30385 33554432000 4194304 4196468 140722866909600 140675658268576 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5292] ppid=5267 vsize=8414124 memory=1000 CPUtime=0 cores=0-7
/proc/5290/task/5292/stat : 5292 (java) S 5267 5267 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418878209 8616062976 30385 33554432000 4194304 4196468 140722866909600 140675690670992 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5293] ppid=5267 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/5290/task/5293/stat : 5293 (java) S 5267 5267 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418878209 8616062976 30385 33554432000 4194304 4196468 140722866909600 140675490839312 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5294] ppid=5267 vsize=8414124 memory=4 CPUtime=0 cores=0-7
/proc/5290/task/5294/stat : 5294 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418878209 8616062976 30385 33554432000 4194304 4196468 140722866909600 140675489787024 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5295] ppid=5267 vsize=8414124 memory=87 CPUtime=0 cores=0-7
/proc/5290/task/5295/stat : 5295 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418878209 8616062976 30385 33554432000 4194304 4196468 140722866909600 140675488734224 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5296] ppid=5267 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5290/task/5296/stat : 5296 (java) S 5267 5267 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418878209 8616062976 30385 33554432000 4194304 4196468 140722866909600 140675487680912 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5297] ppid=5267 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5290/task/5297/stat : 5297 (java) S 5267 5267 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418878209 8616062976 30385 33554432000 4194304 4196468 140722866909600 140675486628112 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5298] ppid=5267 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5290/task/5298/stat : 5298 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418878209 8616062976 30385 33554432000 4194304 4196468 140722866909600 140675485575824 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5299] ppid=5267 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5290/task/5299/stat : 5299 (java) S 5267 5267 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418878209 8616062976 30385 33554432000 4194304 4196468 140722866909600 140675484523024 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5300] ppid=5267 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5290/task/5300/stat : 5300 (java) S 5267 5267 4990 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418878211 8616062976 30385 33554432000 4194304 4196468 140722866909600 140674511542896 140675686439554 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5301] ppid=5267 vsize=8414124 memory=13627 CPUtime=0 cores=0-7
/proc/5290/task/5301/stat : 5301 (java) S 5267 5267 4990 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418878211 8616062976 30385 33554432000 4194304 4196468 140722866909600 140674338907424 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5302] ppid=5267 vsize=8414124 memory=1221 CPUtime=0 cores=0-7
/proc/5290/task/5302/stat : 5302 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418878211 8616062976 30385 33554432000 4194304 4196468 140722866909600 140674070472304 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5303] ppid=5267 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5290/task/5303/stat : 5303 (java) S 5267 5267 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418878214 8616062976 30385 33554432000 4194304 4196468 140722866909600 140673695963728 140675686447003 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5304] ppid=5267 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7
/proc/5290/task/5304/stat : 5304 (java) S 5267 5267 4990 0 -1 1077944384 444 0 0 0 3 0 0 0 20 0 24 0 418878214 8616062976 30385 33554432000 4194304 4196468 140722866909600 140674510489712 140675686439554 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5305] ppid=5267 vsize=8414124 memory=1472 CPUtime=0.08 cores=0-7
/proc/5290/task/5305/stat : 5305 (java) R 5267 5267 4990 0 -1 4202560 322 0 0 0 8 0 0 0 20 0 24 0 418878214 8616062976 30451 33554432000 4194304 4196468 140722866909600 140674509427296 140675667128704 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5306] ppid=5267 vsize=8414124 memory=119652 CPUtime=0.08 cores=0-7
/proc/5290/task/5306/stat : 5306 (java) R 5267 5267 4990 0 -1 4202560 530 0 0 0 8 0 0 0 20 0 24 0 418878214 8616062976 30451 33554432000 4194304 4196468 140722866909600 140674508373616 140675667128704 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5307] ppid=5267 vsize=8414124 memory=416528 CPUtime=0.2 cores=0-7
/proc/5290/task/5307/stat : 5307 (java) R 5267 5267 4990 0 -1 4202560 884 0 0 0 20 0 0 0 20 0 24 0 418878214 8616062976 30451 33554432000 4194304 4196468 140722866909600 140674507326728 140675665053681 0 4 2 25189581 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5308] ppid=5267 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/5290/task/5308/stat : 5308 (java) S 5267 5267 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418878214 8616062976 30451 33554432000 4194304 4196468 140722866909600 140673198058336 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5309] ppid=5267 vsize=8414124 memory=1000 CPUtime=0.02 cores=0-7
/proc/5290/task/5309/stat : 5309 (java) S 5267 5267 4990 0 -1 1077944384 3 0 0 0 1 1 0 0 20 0 24 0 418878214 8616062976 30451 33554432000 4194304 4196468 140722866909600 140674506279728 140675686439554 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 21 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5311] ppid=5267 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/5290/task/5311/stat : 5311 (java) S 5267 5267 4990 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418878279 8616062976 30451 33554432000 4194304 4196468 140722866909600 140674498246464 140675686453017 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5313] ppid=5267 vsize=8414124 memory=1172 CPUtime=0.02 cores=0-7
/proc/5290/task/5313/stat : 5313 (java) R 5267 5267 4990 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 24 0 418878280 8616062976 30451 33554432000 4194304 4196468 140722866909600 140672526962784 140675686450333 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5314] ppid=5267 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/5290/task/5314/stat : 5314 (java) S 5267 5267 4990 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418878280 8616062976 30451 33554432000 4194304 4196468 140722866909600 140672795393296 140675686450333 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5315] ppid=5267 vsize=8414124 memory=14072 CPUtime=0 cores=0-7
/proc/5290/task/5315/stat : 5315 (java) S 5267 5267 4990 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418878282 8616062976 30451 33554432000 4194304 4196468 140722866909600 140672258530608 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
Current children cumulated CPU time: 8.03 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 123012 KiB

[startup+23.3012 s]
/proc/loadavg: 2.67 1.42 2.19 2/217 5326
/proc/meminfo: memFree=30640712/32770624 swapFree=66919232/67108860
[pid=5267] ppid=5264 vsize=113128 memory=1472 CPUtime=6.82 cores=0-7
/proc/5267/stat : 5267 (scop.sh) S 5264 5267 4990 0 -1 4202496 582 28039 0 0 0 0 641 41 20 0 1 0 418877833 115843072 368 33554432000 4194304 5098028 140729998023616 140729998020360 140306985071228 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 26169344 140729998029605 140729998029932 140729998029932 140729998032845 0
/proc/5267/statm: 28282 368 311 221 0 87 0
[pid=5290] ppid=5267 vsize=8283048 memory=133212 CPUtime=138.93 cores=0-7
/proc/5290/stat : 5290 (java) S 5267 5267 4990 0 -1 1077944320 21686 301373 0 0 137 8 13675 73 20 0 22 0 418878208 8481841152 33303 33554432000 4194304 4196468 140722866909600 140722866892144 140675686428407 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
/proc/5290/statm: 2070762 33303 3224 1 0 2032106 0
[pid=5290/tid=5291] ppid=5267 vsize=8283048 memory=538952 CPUtime=138.27 cores=0-7
/proc/5290/task/5291/stat : 5291 (java) R 5267 5267 4990 0 -1 4202560 17069 301373 0 0 74 5 13675 73 20 0 22 0 418878208 8481841152 33303 33554432000 4194304 4196468 140722866909600 140675658265952 140675161029337 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5292] ppid=5267 vsize=8283048 memory=1472 CPUtime=137.48 cores=0-7
/proc/5290/task/5292/stat : 5292 (java) S 5267 5267 4990 0 -1 1077944384 2 301373 0 0 0 0 13675 73 20 0 22 0 418878209 8481841152 33303 33554432000 4194304 4196468 140722866909600 140675690670992 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5293] ppid=5267 vsize=8283048 memory=119652 CPUtime=137.48 cores=0-7
/proc/5290/task/5293/stat : 5293 (java) S 5267 5267 4990 0 -1 1077944384 3 301373 0 0 0 0 13675 73 20 0 22 0 418878209 8481841152 33303 33554432000 4194304 4196468 140722866909600 140675490839312 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5294] ppid=5267 vsize=8283048 memory=1472 CPUtime=137.48 cores=0-7
/proc/5290/task/5294/stat : 5294 (java) S 5267 5267 4990 0 -1 1077944384 1 301373 0 0 0 0 13675 73 20 0 22 0 418878209 8481841152 33303 33554432000 4194304 4196468 140722866909600 140675489787024 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5295] ppid=5267 vsize=8283048 memory=538792 CPUtime=137.48 cores=0-7
/proc/5290/task/5295/stat : 5295 (java) S 5267 5267 4990 0 -1 1077944384 1 301373 0 0 0 0 13675 73 20 0 22 0 418878209 8481841152 33303 33554432000 4194304 4196468 140722866909600 140675488734224 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5296] ppid=5267 vsize=8283048 memory=1472 CPUtime=137.48 cores=0-7
/proc/5290/task/5296/stat : 5296 (java) S 5267 5267 4990 0 -1 1077944384 2 301373 0 0 0 0 13675 73 20 0 22 0 418878209 8481841152 33303 33554432000 4194304 4196468 140722866909600 140675487680912 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5297] ppid=5267 vsize=8283048 memory=119652 CPUtime=137.48 cores=0-7
/proc/5290/task/5297/stat : 5297 (java) S 5267 5267 4990 0 -1 1077944384 2 301373 0 0 0 0 13675 73 20 0 22 0 418878209 8481841152 33303 33554432000 4194304 4196468 140722866909600 140675486628112 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5298] ppid=5267 vsize=8283048 memory=0 CPUtime=137.48 cores=0-7
/proc/5290/task/5298/stat : 5298 (java) S 5267 5267 4990 0 -1 1077944384 1 301373 0 0 0 0 13675 73 20 0 22 0 418878209 8481841152 33303 33554432000 4194304 4196468 140722866909600 140675485575824 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5299] ppid=5267 vsize=8283048 memory=0 CPUtime=137.48 cores=0-7
/proc/5290/task/5299/stat : 5299 (java) S 5267 5267 4990 0 -1 1077944384 2 301373 0 0 0 0 13675 73 20 0 22 0 418878209 8481841152 33303 33554432000 4194304 4196468 140722866909600 140675484523024 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5300] ppid=5267 vsize=8283048 memory=528 CPUtime=137.48 cores=0-7
/proc/5290/task/5300/stat : 5300 (java) S 5267 5267 4990 0 -1 1077944384 7 301373 0 0 0 0 13675 73 20 0 22 0 418878211 8481841152 33303 33554432000 4194304 4196468 140722866909600 140674511542896 140675686439554 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5301] ppid=5267 vsize=8283048 memory=1560 CPUtime=137.48 cores=0-7
/proc/5290/task/5301/stat : 5301 (java) S 5267 5267 4990 0 -1 1077944384 13 301373 0 0 0 0 13675 73 20 0 22 0 418878211 8481841152 33303 33554432000 4194304 4196468 140722866909600 140674338907424 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5302] ppid=5267 vsize=8283048 memory=932 CPUtime=137.48 cores=0-7
/proc/5290/task/5302/stat : 5302 (java) S 5267 5267 4990 0 -1 1077944384 1 301373 0 0 0 0 13675 73 20 0 22 0 418878211 8481841152 33303 33554432000 4194304 4196468 140722866909600 140674070472304 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5303] ppid=5267 vsize=8283048 memory=-4075877051373423744 CPUtime=137.48 cores=0-7
/proc/5290/task/5303/stat : 5303 (java) S 5267 5267 4990 0 -1 1077944384 1 301373 0 0 0 0 13675 73 20 0 22 0 418878214 8481841152 33303 33554432000 4194304 4196468 140722866909600 140673695963728 140675686447003 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5304] ppid=5267 vsize=8283048 memory=7810461565095996264 CPUtime=137.53 cores=0-7
/proc/5290/task/5304/stat : 5304 (java) R 5267 5267 4990 0 -1 4202560 486 301373 0 0 5 0 13675 73 20 0 22 0 418878214 8481841152 33303 33554432000 4194304 4196468 140722866909600 140674510478064 140675670404714 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5305] ppid=5267 vsize=8283048 memory=7523376918531162212 CPUtime=137.6 cores=0-7
/proc/5290/task/5305/stat : 5305 (java) R 5267 5267 4990 0 -1 4202560 519 301373 0 0 12 0 13675 73 20 0 22 0 418878214 8481841152 33303 33554432000 4194304 4196468 140722866909600 140674509436912 140675670820781 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5306] ppid=5267 vsize=8283048 memory=1472 CPUtime=137.59 cores=0-7
/proc/5290/task/5306/stat : 5306 (java) R 5267 5267 4990 0 -1 4202560 632 301373 0 0 11 0 13675 73 20 0 22 0 418878214 8481841152 33303 33554432000 4194304 4196468 140722866909600 140674508384624 140675672108560 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5307] ppid=5267 vsize=8283048 memory=45646912432513 CPUtime=137.73 cores=0-7
/proc/5290/task/5307/stat : 5307 (java) S 5267 5267 4990 0 -1 1077944384 1018 301373 0 0 25 0 13675 73 20 0 22 0 418878214 8481841152 33303 33554432000 4194304 4196468 140722866909600 140674507331824 140675686439554 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5308] ppid=5267 vsize=8283048 memory=-7812736537705041862 CPUtime=137.48 cores=0-7
/proc/5290/task/5308/stat : 5308 (java) S 5267 5267 4990 0 -1 1077944384 3 301373 0 0 0 0 13675 73 20 0 22 0 418878214 8481841152 33303 33554432000 4194304 4196468 140722866909600 140673198058336 140675686438613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5309] ppid=5267 vsize=8283048 memory=140682727816945 CPUtime=137.5 cores=0-7
/proc/5290/task/5309/stat : 5309 (java) S 5267 5267 4990 0 -1 1077944384 3 301373 0 0 1 1 13675 73 20 0 22 0 418878214 8481841152 33303 33554432000 4194304 4196468 140722866909600 140674506279728 140675686439554 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 21 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5311] ppid=5267 vsize=8283048 memory=-7816663703405220396 CPUtime=137.48 cores=0-7
/proc/5290/task/5311/stat : 5311 (java) S 5267 5267 4990 0 -1 1077944384 25 301373 0 0 0 0 13675 73 20 0 22 0 418878279 8481841152 33303 33554432000 4194304 4196468 140722866909600 140674498245648 140675686439554 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
[pid=5290/tid=5315] ppid=5267 vsize=8283048 memory=119652 CPUtime=137.48 cores=0-7
/proc/5290/task/5315/stat : 5315 (java) S 5267 5267 4990 0 -1 1077944384 12 301373 0 0 0 0 13675 73 20 0 22 0 418878282 8481841152 33303 33554432000 4194304 4196468 140722866909600 140672258532400 140675686439554 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39297024 140722866914296 140722866914454 140722866914454 140722866917327 0
Current children cumulated CPU time: 145.75 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 134684 KiB

Child status: 0
Real time (s): 23.3743
CPU time (s): 145.979
CPU user time (s): 144.734
CPU system time (s): 1.24473
CPU usage (%): 624.527
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 2024252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 144.734
system time used= 1.24473
maximum resident set size= 2025540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351963
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19302
involuntary context switches= 1668


# summary of solver processes directly reported to runsolver:
#   pid: 5267
#   total CPU time (s): 145.979
#   total CPU user time (s): 144.734
#   total CPU system time (s): 1.24473

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.255048 second user time and 0.333144 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-14 04:49:18
IDJOB=4392274
IDBENCH=127787
IDSOLVER=2838
FILE ID=node141/4392274-1568429399
RUNJOBID= node141-1568427839-5017
PBS_JOBID= 21702301
Free space on /tmp= 58540 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-199.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392274-1568429399/watcher-4392274-1568429399 -o /tmp/evaluation-result-4392274-1568429399/solver-4392274-1568429399 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568427839-5017 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392274-1568429399.xml

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

MD5SUM BENCH= 6632ff8405f31e2dfb2c2f75c1e4c1cc
RANDOM SEED=459929433

node141.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	: 5332.93
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	: 5332.93
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	: 5332.93
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	: 5332.93
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:        31296872 kB
MemAvailable:   31841804 kB
Buffers:          178204 kB
Cached:           656084 kB
SwapCached:        80380 kB
Active:           437856 kB
Inactive:         479972 kB
Active(anon):       9452 kB
Inactive(anon):   106124 kB
Active(file):     428404 kB
Inactive(file):   373848 kB
Unevictable:      109464 kB
Mlocked:          109464 kB
SwapTotal:      67108860 kB
SwapFree:       66919232 kB
Dirty:             20624 kB
Writeback:             0 kB
AnonPages:        117316 kB
Mapped:            36260 kB
Shmem:             23264 kB
Slab:             146744 kB
SReclaimable:     117032 kB
SUnreclaim:        29712 kB
KernelStack:        3568 kB
PageTables:         5132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 58520 MiB
End job on node141 at 2019-09-14 04:49:41