Trace number 4405134

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-09-22)SAT 146.521 24.1176

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-30012-serial-file.bin HOME/instance-4405134-1569337473.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.56	c BEGIN-Prog: Tue Sep 24 16:02:53 CEST 2019
0.66/0.56	c PID: 30015
0.66/0.56	c IP: 172.20.3.105
0.66/0.56	c HOST: node105.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.39/0.91	c (0,0) Parsing End
1.39/0.91	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 607
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) Constraint Name Generate Begin
1.39/0.92	c (0,0) Ctr:HOME/instance-4405134-1569337473.xml,Le:NoOverlap:Num:Var
1.39/0.92	c (0,0) Constraint Name Generate End
1.39/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.92	c (0,0) CSP to CSPinCNF Begin
1.39/1.00	c (0,0) translated 6 (10%) constraints
1.39/1.00	c (0,0) translated 11 (20%) constraints
1.39/1.00	c (0,0) translated 16 (30%) constraints
1.39/1.01	c (0,0) translated 22 (40%) constraints
1.54/1.01	c (0,0) translated 27 (50%) constraints
1.54/1.01	c (0,0) translated 32 (60%) constraints
1.54/1.01	c (0,0) translated 38 (70%) constraints
1.54/1.02	c (0,0) translated 43 (80%) constraints
1.54/1.02	c (0,0) translated 48 (90%) constraints
2.15/1.27	c (0,0) translated 53 (100%) constraints
2.15/1.27	c (0,0) ===========================================
2.15/1.27	c (0,0) Order
2.15/1.27	c (0,0) ===========================================
2.15/1.28	c (0,0) translated 36 (10%) constraints
2.15/1.29	c (0,0) translated 71 (20%) constraints
2.15/1.29	c (0,0) translated 106 (30%) constraints
2.48/1.30	c (0,0) translated 141 (40%) constraints
2.48/1.30	c (0,0) translated 176 (50%) constraints
2.48/1.31	c (0,0) translated 212 (60%) constraints
2.48/1.31	c (0,0) translated 247 (70%) constraints
2.48/1.32	c (0,0) translated 282 (80%) constraints
2.48/1.32	c (0,0) translated 317 (90%) constraints
2.48/1.33	c (0,0) translated 352 (100%) constraints
2.48/1.33	c (0,0) CSP to CSPinCNF End
2.48/1.33	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 602
2.48/1.33	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.48/1.33	c (0,0) CSPinCNF Propagation Begin
2.48/1.36	c (0,0) 0 values, 10 unsatisfiable literals, and 51 valid clauses are removed
2.48/1.36	c (0,0) CSPinCNF Propagation End
2.48/1.36	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 602
2.48/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.48/1.36	c (0,0) Simplify CSPinCNF Begin
2.85/1.46	c (0,0) Simplify CSPinCNF End
2.85/1.46	c (0,0) CSP: 50 int (0 aux), 1190 bool (1190 aux), 1491 ctr, max domain size 602
2.85/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.85/1.46	c (0,0) Calculate Precise Domain Begin
2.85/1.46	c (0,0) 0 values are removed by re-calculation
2.85/1.46	c (0,0) Calculate Precise Domain End
2.85/1.46	c (0,0) CSP: 50 int (0 aux), 1190 bool (1190 aux), 1491 ctr, max domain size 602
2.85/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.85/1.46	c (0,0) CSPinCNF to SatSolver Begin
4.97/2.03	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 86088 SAT clauses)
5.19/2.25	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 145074 SAT clauses)
5.42/2.45	c (1,1) 448 (30 %) CSP clauses are encoded (0 SAT variables, 199765 SAT clauses)
5.63/2.66	c (2,2) 597 (40 %) CSP clauses are encoded (0 SAT variables, 256198 SAT clauses)
5.84/2.85	c (2,2) 746 (50 %) CSP clauses are encoded (0 SAT variables, 307833 SAT clauses)
6.06/3.03	c (2,2) 895 (60 %) CSP clauses are encoded (0 SAT variables, 358387 SAT clauses)
6.26/3.20	c (2,2) 1044 (70 %) CSP clauses are encoded (0 SAT variables, 405076 SAT clauses)
6.36/3.36	c (2,2) 1193 (80 %) CSP clauses are encoded (0 SAT variables, 448377 SAT clauses)
6.57/3.50	c (2,2) 1342 (90 %) CSP clauses are encoded (0 SAT variables, 486113 SAT clauses)
6.57/3.60	c (3,3) 1491 (100 %) CSP clauses are encoded (0 SAT variables, 512818 SAT clauses)
6.57/3.60	c (3,3) CSPinCNF to SatSolver End
6.57/3.60	c (3,3) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.57/3.60	c (3,3) 26380 bool, 512998 clause
6.57/3.60	c (3,3) Export Begin
6.69/3.68	c (3,3) Export to HOME/scop-30012-serial-file.bin
6.69/3.68	c (3,3) Export End
6.69/3.68	c (3,3) Export File Size: 0.01 MB
6.69/3.68	c (3,3) 0,0,0,0,0,0,3,STOP-AFTER(DIMACS)
6.69/3.68	c END-Prog: Tue Sep 24 16:02:56 CEST 2019
0.00/3.70	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-30012-serial-file.bin
7.38/4.16	c (0,0) Read Serial File Begin
7.38/4.16	c (0,0) HOME/scop-30012-serial-file.bin
7.63/4.37	c (0,0) Read Serial File End
7.63/4.38	
7.63/4.38	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
7.63/4.38	(Solving Process)
7.63/4.38	
7.79/4.40	c BEGIN-Prog: Tue Sep 24 16:02:57 CEST 2019
7.79/4.40	c PID: 30035
7.79/4.40	c IP: 172.20.3.105
7.79/4.40	c HOST: node105.alineos.net
7.79/4.41	c (0,0) SatSolver.solve Begin
7.79/4.41	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405134-1569337473.xml-scop-30015.cnf
7.79/4.43	c (0,0) c
7.79/4.43	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.79/4.43	c (0,0) c
7.79/4.43	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.79/4.43	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.79/4.43	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.79/4.43	c (0,0) c |                                                                                                       |
7.98/4.61	c (0,0) c |  Number of variables:         26380                                                                   |
7.98/4.61	c (0,0) c |  Number of clauses:          512998                                                                   |
7.98/4.61	c (0,0) c |  Parse time:                   0.17 s                                                                 |
7.98/4.61	c (0,0) c |                                                                                                       |
8.84/5.40	c (1,0) c |  Simplification time:          0.78 s                                                                 |
8.84/5.40	c (1,0) c |                                                                                                       |
8.84/5.40	c (1,0) c |  Generating clones                                                                                    |
9.04/5.54	c (1,0) c |  all clones generated. Memory =   336.79Mb.                                                           |
9.04/5.54	c (1,0) c ========================================================================================================|
9.04/5.54	c (1,0) c
9.04/5.54	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
9.04/5.54	c (1,0) c
9.04/5.54	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.04/5.54	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
9.04/5.54	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.04/5.54	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
9.04/5.54	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
9.04/5.54	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
9.04/5.54	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
9.04/5.54	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
9.04/5.54	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
9.04/5.54	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
9.04/5.54	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
9.04/5.54	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
9.04/5.54	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
9.04/5.54	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
9.04/5.54	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
9.04/5.54	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
9.04/5.54	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
9.04/5.54	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
9.04/5.54	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.94/23.92	c (19,0) c
145.94/23.92	c (19,0) c real time : 19.4952 s
145.94/23.92	c (19,0) c cpu time  : 137.238 s
145.94/23.92	c (19,0) c
145.94/23.92	c (19,0) c
145.94/23.92	c (19,0) c
145.94/23.92	c (19,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
145.94/23.92	c (19,0) c
145.94/23.92	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.94/23.92	c (19,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
145.94/23.92	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.94/23.92	c (19,0) c | Conflicts     |          249524 |      30679 |      31355 |      31057 |      31519 |      31132 |      31063 |      31386 |      31333 |
145.94/23.92	c (19,0) c | Decisions     |          511007 |      61556 |      65898 |      64344 |      64581 |      66492 |      60302 |      63197 |      64637 |
145.94/23.92	c (19,0) c | Propagations  |       237288904 |   29576339 |   29280004 |   29800496 |   29729511 |   29867459 |   29610264 |   29908154 |   29516677 |
145.94/23.92	c (19,0) c | ReduceDBs     |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
145.94/23.92	c (19,0) c | SimpDBs       |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
145.94/23.92	c (19,0) c | Restarts      |             772 |         99 |        102 |         88 |         98 |         94 |        105 |         87 |         99 |
145.94/23.92	c (19,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
145.94/23.92	c (19,0) c | PropBinClauses|       307076901 |   38371750 |   37636972 |   38810139 |   38122950 |   38515044 |   38297107 |   38692074 |   38630865 |
145.94/23.92	c (19,0) c | PropPreBlocker|      2826071487 |  348654632 |  351637390 |  354924320 |  357303077 |  353889705 |  353220259 |  354745196 |  351696908 |
145.94/23.92	c (19,0) c | PropNotBlocker|      1054357120 |  134046244 |  129050279 |  132418589 |  130251649 |  131835264 |  130620557 |  133952148 |  132182390 |
145.94/23.92	c (19,0) c | LitFullScans  |      5554122580 |  690054507 |  690112757 |  693602671 |  696092096 |  696054728 |  690061981 |  698592931 |  699550909 |
145.94/23.92	c (19,0) c | LitScanFracts |          517504 |      43827 |      86242 |      47638 |      56302 |      46920 |      54852 |      90941 |      90782 |
145.94/23.93	c (19,0) c | DecisionLevel0|             775 |        101 |        102 |         88 |         98 |         94 |        106 |         87 |         99 |
145.94/23.93	c (19,0) c | Periods       |             924 |        115 |        115 |        115 |        116 |        116 |        115 |        116 |        116 |
145.94/23.93	c (19,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
145.94/23.93	c (19,0) c | Avg_Trail     |                 |       8518 |       8754 |       8819 |       8900 |       8758 |       8869 |       8676 |       8504 |
145.94/23.93	c (19,0) c | Avg_DL        |                 |         20 |         19 |         20 |         21 |         20 |         19 |         20 |         20 |
145.94/23.93	c (19,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
145.94/23.93	c (19,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
145.94/23.93	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.94/23.93	c (19,0) c | Exported      |           44811 |       5436 |       5398 |       5599 |       5724 |       5508 |       5217 |       5801 |       6128 |
145.94/23.93	c (19,0) c | Imported      |          273090 |      33701 |      33499 |      34139 |      34242 |      34488 |      34548 |      34292 |      34181 |
145.94/23.93	c (19,0) c | Good          |             582 |         70 |         68 |         70 |         77 |         78 |         67 |         77 |         75 |
145.94/23.93	c (19,0) c | Purge         |          272508 |      33631 |      33431 |      34069 |      34165 |      34410 |      34481 |      34215 |      34106 |
145.94/23.93	c (19,0) c | Promoted      |           29731 |       3761 |       3663 |       3829 |       3638 |       3685 |       3558 |       3905 |       3692 |
145.94/23.93	c (19,0) c | Remove_Imp    |           82446 |      11633 |      10705 |      11089 |       9312 |       9759 |      10890 |       8926 |      10132 |
145.94/23.93	c (19,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
145.94/23.93	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.94/23.93	c (19,0) c | Unaries       |                 |          2 |          0 |          0 |          0 |          0 |          1 |          0 |          0 |
145.94/23.93	c (19,0) c | Binaries      |                 |         15 |         12 |         13 |          8 |          8 |         19 |         10 |         14 |
145.94/23.93	c (19,0) c | Glues         |                 |        124 |         98 |        116 |         99 |        111 |        108 |        104 |         97 |
145.94/23.93	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.94/23.93	c (19,0) c | Orig_Seen     |             8 % |      40227 |      41711 |      45145 |      43546 |      43239 |      43721 |      41848 |      40881 |
145.94/23.93	c (19,0) c | Diff Orig seen|                 | -     4918 | -     3434 |      X     | -     1599 | -     1906 | -     1424 | -     3297 | -     4264 |
145.94/23.93	c (19,0) c | Hamming       |            25 % |       6559 |       2496 |      X     |       6863 |       6697 |       9033 |       7272 |       8574 |
145.94/23.93	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.94/23.93	c (19,0) c | RunningTime   |                 |   18.4 100%|   17.7 100%|   16.8 100%|   16.8 100%|   16.9 100%|   17.0 100%|   16.9 100%|   16.9 100%|
145.94/23.93	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.94/23.93	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.94/23.93	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.94/23.93	c (19,0) c | SolvingTime   |                 |   18.4     |   17.8     |   16.9     |   16.9     |   16.9     |   17.0     |   16.9     |   16.9     |
145.94/23.93	c (19,0) c | PropagationTim|                 |   15.7  85%|   15.1  85%|   14.3  85%|   14.2  84%|   14.3  84%|   14.4  85%|   14.3  84%|   14.2  84%|
145.94/23.93	c (19,0) c | AnalysisTime  |                 |    2.2  12%|    2.1  12%|    2.0  12%|    2.1  12%|    2.1  12%|    2.1  12%|    2.1  12%|    2.1  13%|
145.94/23.93	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.94/23.93	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.94/23.93	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.94/23.93	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.94/23.93	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.94/23.93	c (19,0) c
145.94/23.93	c (19,0) c
145.94/23.93	c (19,0) c Threads : 8
145.94/23.93	c (19,0) c Winner : 2
145.94/23.93	c (19,0) c Conflicts_0 : 30679
145.94/23.93	c (19,0) c Conflicts_1 : 31355
145.94/23.93	c (19,0) c Conflicts_2 : 31057
145.94/23.93	c (19,0) c Conflicts_3 : 31519
145.94/23.93	c (19,0) c Conflicts_4 : 31132
145.94/23.93	c (19,0) c Conflicts_5 : 31063
145.94/23.93	c (19,0) c Conflicts_6 : 31386
145.94/23.93	c (19,0) c Conflicts_7 : 31333
145.94/23.93	c (19,0) c Conflicts_total : 249524
145.94/23.93	c (19,0) c Conflicts_winner : 31057
145.94/23.93	c (19,0) c Decisions_0 : 61556
145.94/23.93	c (19,0) c Decisions_1 : 65898
145.94/23.93	c (19,0) c Decisions_2 : 64344
145.94/23.93	c (19,0) c Decisions_3 : 64581
145.94/23.93	c (19,0) c Decisions_4 : 66492
145.94/23.93	c (19,0) c Decisions_5 : 60302
145.94/23.93	c (19,0) c Decisions_6 : 63197
145.94/23.93	c (19,0) c Decisions_7 : 64637
145.94/23.93	c (19,0) c Decisions_total : 511007
145.94/23.93	c (19,0) c Decisions_winner : 64344
145.94/23.93	c (19,0) c Propagations_0 : 29576339
145.94/23.93	c (19,0) c Propagations_1 : 29280004
145.94/23.93	c (19,0) c Propagations_2 : 29800496
145.94/23.93	c (19,0) c Propagations_3 : 29729511
145.94/23.93	c (19,0) c Propagations_4 : 29867459
145.94/23.93	c (19,0) c Propagations_5 : 29610264
145.94/23.93	c (19,0) c Propagations_6 : 29908154
145.94/23.93	c (19,0) c Propagations_7 : 29516677
145.94/23.93	c (19,0) c Propagations_total : 237288904
145.94/23.93	c (19,0) c Propagations_winner : 29800496
145.94/23.93	c (19,0) c ReduceDBs_0 : 4
145.94/23.93	c (19,0) c ReduceDBs_1 : 4
145.94/23.93	c (19,0) c ReduceDBs_2 : 4
145.94/23.93	c (19,0) c ReduceDBs_3 : 4
145.94/23.93	c (19,0) c ReduceDBs_4 : 4
145.94/23.93	c (19,0) c ReduceDBs_5 : 4
145.94/23.93	c (19,0) c ReduceDBs_6 : 4
145.94/23.93	c (19,0) c ReduceDBs_7 : 4
145.94/23.93	c (19,0) c ReduceDBs_total : 32
145.94/23.93	c (19,0) c ReduceDBs_winner : 4
145.94/23.93	c (19,0) c SimpDBs_0 : 3
145.94/23.93	c (19,0) c SimpDBs_1 : 3
145.94/23.93	c (19,0) c SimpDBs_2 : 3
145.94/23.93	c (19,0) c SimpDBs_3 : 3
145.94/23.93	c (19,0) c SimpDBs_4 : 3
145.94/23.93	c (19,0) c SimpDBs_5 : 3
145.94/23.93	c (19,0) c SimpDBs_6 : 3
145.94/23.93	c (19,0) c SimpDBs_7 : 3
145.94/23.93	c (19,0) c SimpDBs_total : 24
145.94/23.93	c (19,0) c SimpDBs_winner : 3
145.94/23.93	c (19,0) c Restarts_0 : 99
145.94/23.93	c (19,0) c Restarts_1 : 102
145.94/23.93	c (19,0) c Restarts_2 : 88
145.94/23.93	c (19,0) c Restarts_3 : 98
145.94/23.93	c (19,0) c Restarts_4 : 94
145.94/23.93	c (19,0) c Restarts_5 : 105
145.94/23.93	c (19,0) c Restarts_6 : 87
145.94/23.93	c (19,0) c Restarts_7 : 99
145.94/23.93	c (19,0) c Restarts_total : 772
145.94/23.93	c (19,0) c Restarts_winner : 88
145.94/23.93	c (19,0) c ForcedImports_0 : 0
145.94/23.93	c (19,0) c ForcedImports_1 : 0
145.94/23.93	c (19,0) c ForcedImports_2 : 0
145.94/23.93	c (19,0) c ForcedImports_3 : 0
145.94/23.93	c (19,0) c ForcedImports_4 : 0
145.94/23.93	c (19,0) c ForcedImports_5 : 0
145.94/23.93	c (19,0) c ForcedImports_6 : 0
145.94/23.93	c (19,0) c ForcedImports_7 : 0
145.94/23.93	c (19,0) c ForcedImports_total : 0
145.94/23.93	c (19,0) c ForcedImports_winner : 0
145.94/23.93	c (19,0) c PropsBinClauses_0 : 38371750
145.94/23.93	c (19,0) c PropsBinClauses_1 : 37636972
145.94/23.93	c (19,0) c PropsBinClauses_2 : 38810139
145.94/23.93	c (19,0) c PropsBinClauses_3 : 38122950
145.94/23.93	c (19,0) c PropsBinClauses_4 : 38515044
145.94/23.93	c (19,0) c PropsBinClauses_5 : 38297107
145.94/23.93	c (19,0) c PropsBinClauses_6 : 38692074
145.94/23.93	c (19,0) c PropsBinClauses_7 : 38630865
145.94/23.93	c (19,0) c PropsBinClauses_total : 307076901
145.94/23.93	c (19,0) c PropsBinClauses_winner : 38810139
145.94/23.93	c (19,0) c PropsPreBlocker_0 : 348654632
145.94/23.93	c (19,0) c PropsPreBlocker_1 : 351637390
145.94/23.93	c (19,0) c PropsPreBlocker_2 : 354924320
145.94/23.93	c (19,0) c PropsPreBlocker_3 : 357303077
145.94/23.93	c (19,0) c PropsPreBlocker_4 : 353889705
145.94/23.93	c (19,0) c PropsPreBlocker_5 : 353220259
145.94/23.93	c (19,0) c PropsPreBlocker_6 : 354745196
145.94/23.93	c (19,0) c PropsPreBlocker_7 : 351696908
145.94/23.93	c (19,0) c PropsPreBlocker_total : 2826071487
145.94/23.93	c (19,0) c PropsPreBlocker_winner : 354924320
145.94/23.93	c (19,0) c PropsNotBlocker_0 : 134046244
145.94/23.93	c (19,0) c PropsNotBlocker_1 : 129050279
145.94/23.93	c (19,0) c PropsNotBlocker_2 : 132418589
145.94/23.93	c (19,0) c PropsNotBlocker_3 : 130251649
145.94/23.93	c (19,0) c PropsNotBlocker_4 : 131835264
145.94/23.93	c (19,0) c PropsNotBlocker_5 : 130620557
145.94/23.93	c (19,0) c PropsNotBlocker_6 : 133952148
145.94/23.93	c (19,0) c PropsNotBlocker_7 : 132182390
145.94/23.93	c (19,0) c PropsNotBlocker_total : 1054357120
145.94/23.93	c (19,0) c PropsNotBlocker_winner : 132418589
145.94/23.93	c (19,0) c PropsLitFullScans_0 : 690054507
145.94/23.93	c (19,0) c PropsLitFullScans_1 : 690112757
145.94/23.93	c (19,0) c PropsLitFullScans_2 : 693602671
145.94/23.93	c (19,0) c PropsLitFullScans_3 : 696092096
145.94/23.93	c (19,0) c PropsLitFullScans_4 : 696054728
145.94/23.93	c (19,0) c PropsLitFullScans_5 : 690061981
145.94/23.93	c (19,0) c PropsLitFullScans_6 : 698592931
145.94/23.93	c (19,0) c PropsLitFullScans_7 : 699550909
145.94/23.93	c (19,0) c PropsLitFullScans_total : 5554122580
145.94/23.93	c (19,0) c PropsLitFullScans_winner : 693602671
145.94/23.93	c (19,0) c LitScanFractions_0 : 43827
145.94/23.93	c (19,0) c LitScanFractions_1 : 86242
145.94/23.93	c (19,0) c LitScanFractions_2 : 47638
145.94/23.93	c (19,0) c LitScanFractions_3 : 56302
145.94/23.93	c (19,0) c LitScanFractions_4 : 46920
145.94/23.93	c (19,0) c LitScanFractions_5 : 54852
145.94/23.93	c (19,0) c LitScanFractions_6 : 90941
145.94/23.93	c (19,0) c LitScanFractions_7 : 90782
145.94/23.93	c (19,0) c LitScanFractions_total : 517504
145.94/23.93	c (19,0) c LitScanFractions_winner : 47638
145.94/23.93	c (19,0) c DecisionLevel0_0 : 101
145.94/23.93	c (19,0) c DecisionLevel0_1 : 102
145.94/23.93	c (19,0) c DecisionLevel0_2 : 88
145.94/23.93	c (19,0) c DecisionLevel0_3 : 98
145.94/23.93	c (19,0) c DecisionLevel0_4 : 94
145.94/23.93	c (19,0) c DecisionLevel0_5 : 106
145.94/23.93	c (19,0) c DecisionLevel0_6 : 87
145.94/23.93	c (19,0) c DecisionLevel0_7 : 99
145.94/23.93	c (19,0) c DecisionLevel0_total : 775
145.94/23.93	c (19,0) c DecisionLevel0_winner : 88
145.94/23.93	c (19,0) c Periods_0 : 115
145.94/23.93	c (19,0) c Periods_1 : 115
145.94/23.93	c (19,0) c Periods_2 : 115
145.94/23.93	c (19,0) c Periods_3 : 116
145.94/23.93	c (19,0) c Periods_4 : 116
145.94/23.93	c (19,0) c Periods_5 : 115
145.94/23.93	c (19,0) c Periods_6 : 116
145.94/23.93	c (19,0) c Periods_7 : 116
145.94/23.93	c (19,0) c Periods_total : 924
145.94/23.93	c (19,0) c Periods_winner : 115
145.94/23.93	c (19,0) c Margin_0 : 20
145.94/23.93	c (19,0) c Margin_1 : 20
145.94/23.93	c (19,0) c Margin_2 : 20
145.94/23.93	c (19,0) c Margin_3 : 20
145.94/23.93	c (19,0) c Margin_4 : 20
145.94/23.93	c (19,0) c Margin_5 : 20
145.94/23.93	c (19,0) c Margin_6 : 20
145.94/23.93	c (19,0) c Margin_7 : 20
145.94/23.93	c (19,0) c Margin_total : 160
145.94/23.93	c (19,0) c Margin_winner : 20
145.94/23.93	c (19,0) c Exported_0 : 5436
145.94/23.93	c (19,0) c Exported_1 : 5398
145.94/23.93	c (19,0) c Exported_2 : 5599
145.94/23.93	c (19,0) c Exported_3 : 5724
145.94/23.93	c (19,0) c Exported_4 : 5508
145.94/23.93	c (19,0) c Exported_5 : 5217
145.94/23.93	c (19,0) c Exported_6 : 5801
145.94/23.93	c (19,0) c Exported_7 : 6128
145.94/23.93	c (19,0) c Exported_total : 44811
145.94/23.93	c (19,0) c Exported_winner : 5599
145.94/23.93	c (19,0) c Imported_0 : 33701
145.94/23.93	c (19,0) c Imported_1 : 33499
145.94/23.93	c (19,0) c Imported_2 : 34139
145.94/23.93	c (19,0) c Imported_3 : 34242
145.94/23.93	c (19,0) c Imported_4 : 34488
145.94/23.93	c (19,0) c Imported_5 : 34548
145.94/23.93	c (19,0) c Imported_6 : 34292
145.94/23.93	c (19,0) c Imported_7 : 34181
145.94/23.93	c (19,0) c Imported_total : 273090
145.94/23.93	c (19,0) c Imported_winner : 34139
145.94/23.93	c (19,0) c Good_0 : 70
145.94/23.93	c (19,0) c Good_1 : 68
145.94/23.93	c (19,0) c Good_2 : 70
145.94/23.93	c (19,0) c Good_3 : 77
145.94/23.93	c (19,0) c Good_4 : 78
145.94/23.93	c (19,0) c Good_5 : 67
145.94/23.93	c (19,0) c Good_6 : 77
145.94/23.93	c (19,0) c Good_7 : 75
145.94/23.93	c (19,0) c Good_total : 582
145.94/23.93	c (19,0) c Good_winner : 70
145.94/23.93	c (19,0) c Purge_0 : 33631
145.94/23.93	c (19,0) c Purge_1 : 33431
145.94/23.93	c (19,0) c Purge_2 : 34069
145.94/23.93	c (19,0) c Purge_3 : 34165
145.94/23.93	c (19,0) c Purge_4 : 34410
145.94/23.93	c (19,0) c Purge_5 : 34481
145.94/23.93	c (19,0) c Purge_6 : 34215
145.94/23.93	c (19,0) c Purge_7 : 34106
145.94/23.93	c (19,0) c Purge_total : 272508
145.94/23.93	c (19,0) c Purge_winner : 34069
145.94/23.93	c (19,0) c Promoted_0 : 3761
145.94/23.93	c (19,0) c Promoted_1 : 3663
145.94/23.93	c (19,0) c Promoted_2 : 3829
145.94/23.93	c (19,0) c Promoted_3 : 3638
145.94/23.93	c (19,0) c Promoted_4 : 3685
145.94/23.93	c (19,0) c Promoted_5 : 3558
145.94/23.94	c (19,0) c Promoted_6 : 3905
145.94/23.94	c (19,0) c Promoted_7 : 3692
145.94/23.94	c (19,0) c Promoted_total : 29731
145.94/23.94	c (19,0) c Promoted_winner : 3829
145.94/23.94	c (19,0) c Remove_Imp_0 : 11633
145.94/23.94	c (19,0) c Remove_Imp_1 : 10705
145.94/23.94	c (19,0) c Remove_Imp_2 : 11089
145.94/23.94	c (19,0) c Remove_Imp_3 : 9312
145.94/23.94	c (19,0) c Remove_Imp_4 : 9759
145.94/23.94	c (19,0) c Remove_Imp_5 : 10890
145.94/23.94	c (19,0) c Remove_Imp_6 : 8926
145.94/23.94	c (19,0) c Remove_Imp_7 : 10132
145.94/23.94	c (19,0) c Remove_Imp_total : 82446
145.94/23.94	c (19,0) c Remove_Imp_winner : 11089
145.94/23.94	c (19,0) c Blocked_Reuse_0 : 0
145.94/23.94	c (19,0) c Blocked_Reuse_1 : 0
145.94/23.94	c (19,0) c Blocked_Reuse_2 : 0
145.94/23.94	c (19,0) c Blocked_Reuse_3 : 0
145.94/23.94	c (19,0) c Blocked_Reuse_4 : 0
145.94/23.94	c (19,0) c Blocked_Reuse_5 : 0
145.94/23.94	c (19,0) c Blocked_Reuse_6 : 0
145.94/23.94	c (19,0) c Blocked_Reuse_7 : 0
145.94/23.94	c (19,0) c Blocked_Reuse_total : 0
145.94/23.94	c (19,0) c Blocked_Reuse_winner : 0
145.94/23.94	c (19,0) c Unaries_0 : 2
145.94/23.94	c (19,0) c Unaries_1 : 0
145.94/23.94	c (19,0) c Unaries_2 : 0
145.94/23.94	c (19,0) c Unaries_3 : 0
145.94/23.94	c (19,0) c Unaries_4 : 0
145.94/23.94	c (19,0) c Unaries_5 : 1
145.94/23.94	c (19,0) c Unaries_6 : 0
145.94/23.94	c (19,0) c Unaries_7 : 0
145.94/23.94	c (19,0) c Unaries_total : 3
145.94/23.94	c (19,0) c Unaries_winner : 0
145.94/23.94	c (19,0) c Binaries_0 : 15
145.94/23.94	c (19,0) c Binaries_1 : 12
145.94/23.94	c (19,0) c Binaries_2 : 13
145.94/23.94	c (19,0) c Binaries_3 : 8
145.94/23.94	c (19,0) c Binaries_4 : 8
145.94/23.94	c (19,0) c Binaries_5 : 19
145.94/23.94	c (19,0) c Binaries_6 : 10
145.94/23.94	c (19,0) c Binaries_7 : 14
145.94/23.94	c (19,0) c Binaries_total : 99
145.94/23.94	c (19,0) c Binaries_winner : 13
145.94/23.94	c (19,0) c Glues_0 : 124
145.94/23.94	c (19,0) c Glues_1 : 98
145.94/23.94	c (19,0) c Glues_2 : 116
145.94/23.94	c (19,0) c Glues_3 : 99
145.94/23.94	c (19,0) c Glues_4 : 111
145.94/23.94	c (19,0) c Glues_5 : 108
145.94/23.94	c (19,0) c Glues_6 : 104
145.94/23.94	c (19,0) c Glues_7 : 97
145.94/23.94	c (19,0) c Glues_total : 857
145.94/23.94	c (19,0) c Glues_winner : 116
145.94/23.94	c (19,0) c RunningTime_0 : 18.359573
145.94/23.94	c (19,0) c RunningTime_1 : 17.739849
145.94/23.94	c (19,0) c RunningTime_2 : 16.843783
145.94/23.94	c (19,0) c RunningTime_3 : 16.848020
145.94/23.94	c (19,0) c RunningTime_4 : 16.920332
145.94/23.94	c (19,0) c RunningTime_5 : 16.987907
145.94/23.94	c (19,0) c RunningTime_6 : 16.872893
145.94/23.94	c (19,0) c RunningTime_7 : 16.857085
145.94/23.94	c (19,0) c RunningTime_total : 137.429442
145.94/23.94	c (19,0) c RunningTime_winner : 16.843783
145.94/23.94	c (19,0) c WaitingTime_0 : 0.000147
145.94/23.94	c (19,0) c WaitingTime_1 : 0.000137
145.94/23.94	c (19,0) c WaitingTime_2 : 0.000161
145.94/23.94	c (19,0) c WaitingTime_3 : 0.000177
145.94/23.94	c (19,0) c WaitingTime_4 : 0.000215
145.94/23.94	c (19,0) c WaitingTime_5 : 0.000183
145.94/23.94	c (19,0) c WaitingTime_6 : 0.000173
145.94/23.94	c (19,0) c WaitingTime_7 : 0.000168
145.94/23.94	c (19,0) c WaitingTime_total : 0.001362
145.94/23.94	c (19,0) c WaitingTime_winner : 0.000161
145.94/23.94	c (19,0) c ExchangingTime_0 : 0.015743
145.94/23.94	c (19,0) c ExchangingTime_1 : 0.021960
145.94/23.94	c (19,0) c ExchangingTime_2 : 0.024580
145.94/23.94	c (19,0) c ExchangingTime_3 : 0.023715
145.94/23.94	c (19,0) c ExchangingTime_4 : 0.015416
145.94/23.94	c (19,0) c ExchangingTime_5 : 0.015462
145.94/23.94	c (19,0) c ExchangingTime_6 : 0.025993
145.94/23.94	c (19,0) c ExchangingTime_7 : 0.015321
145.94/23.94	c (19,0) c ExchangingTime_total : 0.158189
145.94/23.94	c (19,0) c ExchangingTime_winner : 0.024580
145.94/23.94	c (19,0) c PeriodProcTime_0 : 0.001407
145.94/23.94	c (19,0) c PeriodProcTime_1 : 0.001142
145.94/23.94	c (19,0) c PeriodProcTime_2 : 0.001326
145.94/23.94	c (19,0) c PeriodProcTime_3 : 0.001326
145.94/23.94	c (19,0) c PeriodProcTime_4 : 0.001104
145.94/23.94	c (19,0) c PeriodProcTime_5 : 0.001337
145.94/23.94	c (19,0) c PeriodProcTime_6 : 0.001153
145.94/23.94	c (19,0) c PeriodProcTime_7 : 0.001063
145.94/23.94	c (19,0) c PeriodProcTime_total : 0.009857
145.94/23.94	c (19,0) c PeriodProcTime_winner : 0.001326
145.94/23.94	c (19,0) c SolvingTime_0 : 18.376870
145.94/23.94	c (19,0) c SolvingTime_1 : 17.763087
145.94/23.94	c (19,0) c SolvingTime_2 : 16.869850
145.94/23.94	c (19,0) c SolvingTime_3 : 16.873237
145.94/23.94	c (19,0) c SolvingTime_4 : 16.937067
145.94/23.94	c (19,0) c SolvingTime_5 : 17.004889
145.94/23.94	c (19,0) c SolvingTime_6 : 16.900212
145.94/23.94	c (19,0) c SolvingTime_7 : 16.873638
145.94/23.94	c (19,0) c SolvingTime_total : 137.598850
145.94/23.94	c (19,0) c SolvingTime_winner : 16.869850
145.94/23.94	c (19,0) c PropagationTime_0 : 15.674596
145.94/23.94	c (19,0) c PropagationTime_1 : 15.075900
145.94/23.94	c (19,0) c PropagationTime_2 : 14.277692
145.94/23.94	c (19,0) c PropagationTime_3 : 14.224863
145.94/23.94	c (19,0) c PropagationTime_4 : 14.292937
145.94/23.94	c (19,0) c PropagationTime_5 : 14.377411
145.94/23.94	c (19,0) c PropagationTime_6 : 14.268961
145.94/23.94	c (19,0) c PropagationTime_7 : 14.218767
145.94/23.94	c (19,0) c PropagationTime_total : 116.411127
145.94/23.94	c (19,0) c PropagationTime_winner : 14.277692
145.94/23.94	c (19,0) c AnalysisTime_0 : 2.157664
145.94/23.94	c (19,0) c AnalysisTime_1 : 2.147503
145.94/23.94	c (19,0) c AnalysisTime_2 : 2.026085
145.94/23.94	c (19,0) c AnalysisTime_3 : 2.101906
145.94/23.94	c (19,0) c AnalysisTime_4 : 2.100048
145.94/23.94	c (19,0) c AnalysisTime_5 : 2.080454
145.94/23.94	c (19,0) c AnalysisTime_6 : 2.086290
145.94/23.94	c (19,0) c AnalysisTime_7 : 2.134943
145.94/23.94	c (19,0) c AnalysisTime_total : 16.834893
145.94/23.94	c (19,0) c AnalysisTime_winner : 2.026085
145.94/23.94	c (19,0) c ReductionTime_0 : 0.013821
145.94/23.94	c (19,0) c ReductionTime_1 : 0.013773
145.94/23.94	c (19,0) c ReductionTime_2 : 0.013243
145.94/23.94	c (19,0) c ReductionTime_3 : 0.012812
145.94/23.94	c (19,0) c ReductionTime_4 : 0.013256
145.94/23.94	c (19,0) c ReductionTime_5 : 0.013847
145.94/23.94	c (19,0) c ReductionTime_6 : 0.012565
145.94/23.94	c (19,0) c ReductionTime_7 : 0.012847
145.94/23.94	c (19,0) c ReductionTime_total : 0.106164
145.94/23.94	c (19,0) c ReductionTime_winner : 0.013243
145.94/23.94	c (19,0) c SimplifyTime_0 : 0.033577
145.94/23.94	c (19,0) c SimplifyTime_1 : 0.030813
145.94/23.94	c (19,0) c SimplifyTime_2 : 0.034755
145.94/23.94	c (19,0) c SimplifyTime_3 : 0.034763
145.94/23.94	c (19,0) c SimplifyTime_4 : 0.030835
145.94/23.94	c (19,0) c SimplifyTime_5 : 0.029909
145.94/23.94	c (19,0) c SimplifyTime_6 : 0.029879
145.94/23.94	c (19,0) c SimplifyTime_7 : 0.030456
145.94/23.94	c (19,0) c SimplifyTime_total : 0.254987
145.94/23.94	c (19,0) c SimplifyTime_winner : 0.034755
145.94/23.94	c (19,0) c UsedRateTime_0 : 0.000000
145.94/23.94	c (19,0) c UsedRateTime_1 : 0.000000
145.94/23.94	c (19,0) c UsedRateTime_2 : 0.000000
145.94/23.94	c (19,0) c UsedRateTime_3 : 0.000000
145.94/23.94	c (19,0) c UsedRateTime_4 : 0.000000
145.94/23.94	c (19,0) c UsedRateTime_5 : 0.000000
145.94/23.94	c (19,0) c UsedRateTime_6 : 0.000000
145.94/23.94	c (19,0) c UsedRateTime_7 : 0.000000
145.94/23.94	c (19,0) c UsedRateTime_total : 0.000000
145.94/23.94	c (19,0) c UsedRateTime_winner : 0.000000
145.94/23.94	c (19,0) c OverlapRateTime_0 : 0.000000
145.94/23.94	c (19,0) c OverlapRateTime_1 : 0.000000
145.94/23.94	c (19,0) c OverlapRateTime_2 : 0.000000
145.94/23.94	c (19,0) c OverlapRateTime_3 : 0.000000
145.94/23.94	c (19,0) c OverlapRateTime_4 : 0.000000
145.94/23.94	c (19,0) c OverlapRateTime_5 : 0.000000
145.94/23.94	c (19,0) c OverlapRateTime_6 : 0.000000
145.94/23.94	c (19,0) c OverlapRateTime_7 : 0.000000
145.94/23.94	c (19,0) c OverlapRateTime_total : 0.000000
145.94/23.94	c (19,0) c OverlapRateTime_winner : 0.000000
145.94/23.94	c (19,0) c
145.94/23.94	c (19,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
145.94/23.94	c (19,0) c
145.94/23.94	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.94/23.94	c (19,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
145.94/23.94	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.94/23.94	c (19,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
145.94/23.94	c (19,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
145.94/23.94	c (19,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
145.94/23.94	c (19,0) c | Initial random_seed   |  874813261 | 1429655045 | 1164191408 |  741526305 | 1818573023 | 1252952504 | 1050664883 | 1854948239 |
145.94/23.94	c (19,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
145.94/23.94	c (19,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
145.94/23.94	c (19,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
145.94/23.94	c (19,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
145.94/23.94	c (19,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
145.94/23.94	c (19,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
145.94/23.94	c (19,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
145.94/23.94	c (19,0) c | var_decay             |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |
145.94/23.94	c (19,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
145.94/23.94	c (19,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
145.94/23.94	c (19,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
145.94/23.94	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.94/23.94	c (19,0) 
145.94/23.94	c (19,0) s SATISFIABLE
145.94/23.99	c (19,0) SatSolver.solve End
145.94/23.99	c (19,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
145.94/23.99	c (19,0) Show results Begin
146.24/24.09	c (20,0) x[0] = 391
146.24/24.09	c (20,0) x[1] = 338
146.24/24.09	c (20,0) x[2] = 391
146.24/24.09	c (20,0) x[3] = 378
146.24/24.09	c (20,0) x[4] = 378
146.24/24.09	c (20,0) x[5] = 397
146.24/24.09	c (20,0) x[6] = 346
146.24/24.09	c (20,0) x[7] = 263
146.24/24.09	c (20,0) x[8] = 156
146.24/24.09	c (20,0) x[9] = 246
146.24/24.09	c (20,0) x[10] = 205
146.24/24.09	c (20,0) x[11] = 346
146.24/24.09	c (20,0) x[12] = 338
146.24/24.09	c (20,0) x[13] = 300
146.24/24.09	c (20,0) x[14] = 246
146.24/24.09	c (20,0) x[15] = 246
146.24/24.09	c (20,0) x[16] = 156
146.24/24.09	c (20,0) x[17] = 263
146.24/24.09	c (20,0) x[18] = 0
146.24/24.09	c (20,0) x[19] = 422
146.24/24.09	c (20,0) x[20] = 205
146.24/24.09	c (20,0) x[21] = 0
146.24/24.09	c (20,0) x[22] = 401
146.24/24.09	c (20,0) x[23] = 391
146.24/24.09	c (20,0) x[24] = 0
146.24/24.09	c (20,0) y[0] = 179
146.24/24.09	c (20,0) y[1] = 84
146.24/24.09	c (20,0) y[2] = 401
146.24/24.09	c (20,0) y[3] = 179
146.24/24.09	c (20,0) y[4] = 160
146.24/24.09	c (20,0) y[5] = 160
146.24/24.09	c (20,0) y[6] = 160
146.24/24.09	c (20,0) y[7] = 246
146.24/24.09	c (20,0) y[8] = 353
146.24/24.09	c (20,0) y[9] = 192
146.24/24.09	c (20,0) y[10] = 353
146.24/24.09	c (20,0) y[11] = 84
146.24/24.09	c (20,0) y[12] = 0
146.24/24.09	c (20,0) y[13] = 192
146.24/24.09	c (20,0) y[14] = 0
146.24/24.09	c (20,0) y[15] = 92
146.24/24.09	c (20,0) y[16] = 246
146.24/24.09	c (20,0) y[17] = 283
146.24/24.09	c (20,0) y[18] = 246
146.24/24.09	c (20,0) y[19] = 0
146.24/24.09	c (20,0) y[20] = 411
146.24/24.09	c (20,0) y[21] = 402
146.24/24.09	c (20,0) y[22] = 401
146.24/24.09	c (20,0) y[23] = 185
146.24/24.09	c (20,0) y[24] = 0
146.24/24.09	s SATISFIABLE
146.24/24.09	v <instantiation>
146.24/24.09	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>
146.24/24.09	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>
146.24/24.09	v </instantiation>
146.24/24.09	c (20,0) Show results End
146.24/24.09	c (20,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
146.24/24.09	c (20,0) 19,20,STOP-AFTER(ALL)
146.24/24.09	c END-Prog: Tue Sep 24 16:03:16 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 (13555 MiB free)
  memory of node 1: 16384 MiB (12071 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405134-1569337473/watcher-4405134-1569337473 -o /var/tmp/evaluation-result-4405134-1569337473/solver-4405134-1569337473 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --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-4405134-1569337473.xml 

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

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


[startup+0.100161 s]*
/proc/loadavg: 5.21 2.52 2.05 2/211 30034
/proc/meminfo: memFree=26147728/32770624 swapFree=66956836/67108860
[pid=30012] ppid=30009 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30012/stat : 30012 (scop.sh) S 30009 30012 29338 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510005079 115843072 349 33554432000 4194304 5098028 140723098048944 140723098046200 139995158041212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34066432 140723098051325 140723098051672 140723098051672 140723098054601 0
/proc/30012/statm: 28282 349 296 221 0 87 0
[pid=30015] ppid=30012 vsize=27314120 memory=108444 CPUtime=0.1 cores=0-7
/proc/30015/stat : 30015 (java) S 30012 30012 29338 0 -1 1077944320 6130 0 0 0 8 2 0 0 20 0 20 0 510005080 27969658880 27111 33554432000 4194304 4196468 140727741464512 140727741447056 140129036951287 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
/proc/30015/statm: 6828530 27111 2816 1 0 6790935 0
[pid=30015/tid=30016] ppid=30012 vsize=27314120 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/30015/task/30016/stat : 30016 (java) R 30012 30012 29338 0 -1 4202560 4214 0 0 0 7 1 0 0 20 0 20 0 510005080 27969658880 27111 33554432000 4194304 4196468 140727741464512 140129008764800 140129021031774 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30017] ppid=30012 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/30015/task/30017/stat : 30017 (java) S 30012 30012 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 27111 33554432000 4194304 4196468 140727741464512 140129041193232 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30018] ppid=30012 vsize=27314120 memory=140103949506176 CPUtime=0 cores=0-7
/proc/30015/task/30018/stat : 30018 (java) S 30012 30012 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 27111 33554432000 4194304 4196468 140727741464512 140128824588688 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30019] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30019/stat : 30019 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 27111 33554432000 4194304 4196468 140727741464512 140128823536144 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30020] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30020/stat : 30020 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 27111 33554432000 4194304 4196468 140727741464512 140128822483600 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30021] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30021/stat : 30021 (java) S 30012 30012 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 27111 33554432000 4194304 4196468 140727741464512 140128821431056 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30022] ppid=30012 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30015/task/30022/stat : 30022 (java) S 30012 30012 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 27111 33554432000 4194304 4196468 140727741464512 140128820378512 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30023] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30023/stat : 30023 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 27111 33554432000 4194304 4196468 140727741464512 140128819325968 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30024] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30024/stat : 30024 (java) S 30012 30012 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 27111 33554432000 4194304 4196468 140727741464512 140128818273424 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30025] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30025/stat : 30025 (java) S 30012 30012 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510005084 27969658880 27111 33554432000 4194304 4196468 140727741464512 140127671818224 140129036962434 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30026] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30026/stat : 30026 (java) S 30012 30012 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510005084 27969658880 27111 33554432000 4194304 4196468 140727741464512 140126999012256 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30027] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30027/stat : 30027 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510005085 27969658880 27111 33554432000 4194304 4196468 140727741464512 140126730576880 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30028] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30028/stat : 30028 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510005087 27969658880 27111 33554432000 4194304 4196468 140727741464512 140126356068560 140129036969883 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30029] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30029/stat : 30029 (java) S 30012 30012 29338 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 510005087 27969658880 27111 33554432000 4194304 4196468 140727741464512 140127154203120 140129036962434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30030] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30030/stat : 30030 (java) R 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510005087 27969658880 27111 33554432000 4194304 4196468 140727741464512 140127153150576 140129036962434 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30031] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30031/stat : 30031 (java) S 30012 30012 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510005087 27969658880 27111 33554432000 4194304 4196468 140727741464512 140127152098032 140129036962434 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30032] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30032/stat : 30032 (java) S 30012 30012 29338 0 -1 1077944384 282 0 0 0 0 0 0 0 20 0 20 0 510005087 27969658880 27111 33554432000 4194304 4196468 140727741464512 140127151045488 140129036962434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30033] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30033/stat : 30033 (java) S 30012 30012 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510005087 27969658880 27111 33554432000 4194304 4196468 140727741464512 140125858162912 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30034] ppid=30012 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30015/task/30034/stat : 30034 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510005087 27969658880 27111 33554432000 4194304 4196468 140727741464512 140127149992368 140129036962434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109840 KiB

[startup+0.210494 s]*
/proc/loadavg: 5.21 2.52 2.05 2/211 30034
/proc/meminfo: memFree=26125796/32770624 swapFree=66956836/67108860
[pid=30012] ppid=30009 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30012/stat : 30012 (scop.sh) S 30009 30012 29338 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510005079 115843072 349 33554432000 4194304 5098028 140723098048944 140723098046200 139995158041212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34066432 140723098051325 140723098051672 140723098051672 140723098054601 0
/proc/30012/statm: 28282 349 296 221 0 87 0
[pid=30015] ppid=30012 vsize=27314120 memory=125456 CPUtime=0.25 cores=0-7
/proc/30015/stat : 30015 (java) S 30012 30012 29338 0 -1 1077944320 11721 0 0 0 21 4 0 0 20 0 20 0 510005080 27969658880 31364 33554432000 4194304 4196468 140727741464512 140727741447056 140129036951287 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
/proc/30015/statm: 6828530 31364 2930 1 0 6790935 0
[pid=30015/tid=30016] ppid=30012 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/30015/task/30016/stat : 30016 (java) R 30012 30012 29338 0 -1 4202560 9418 0 0 0 16 3 0 0 20 0 20 0 510005080 27969658880 31364 33554432000 4194304 4196468 140727741464512 140129008750672 140129018516249 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30017] ppid=30012 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/30015/task/30017/stat : 30017 (java) S 30012 30012 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 31364 33554432000 4194304 4196468 140727741464512 140129041193232 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30018] ppid=30012 vsize=27314120 memory=140103949534820 CPUtime=0 cores=0-7
/proc/30015/task/30018/stat : 30018 (java) S 30012 30012 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 31364 33554432000 4194304 4196468 140727741464512 140128824588688 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30019] ppid=30012 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30015/task/30019/stat : 30019 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 31364 33554432000 4194304 4196468 140727741464512 140128823536144 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30020] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30020/stat : 30020 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 31364 33554432000 4194304 4196468 140727741464512 140128822483600 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30021] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30021/stat : 30021 (java) S 30012 30012 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 31364 33554432000 4194304 4196468 140727741464512 140128821431056 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30022] ppid=30012 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30015/task/30022/stat : 30022 (java) S 30012 30012 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 31364 33554432000 4194304 4196468 140727741464512 140128820378512 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30023] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30023/stat : 30023 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 31364 33554432000 4194304 4196468 140727741464512 140128819325968 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30024] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30024/stat : 30024 (java) S 30012 30012 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 31364 33554432000 4194304 4196468 140727741464512 140128818273424 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30025] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30025/stat : 30025 (java) S 30012 30012 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510005084 27969658880 31364 33554432000 4194304 4196468 140727741464512 140127671818224 140129036962434 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30026] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30026/stat : 30026 (java) S 30012 30012 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510005084 27969658880 31364 33554432000 4194304 4196468 140727741464512 140126999012256 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30027] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30027/stat : 30027 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510005085 27969658880 31364 33554432000 4194304 4196468 140727741464512 140126730576880 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30028] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30028/stat : 30028 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510005087 27969658880 31364 33554432000 4194304 4196468 140727741464512 140126356068560 140129036969883 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30029] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30029/stat : 30029 (java) S 30012 30012 29338 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 20 0 510005087 27969658880 31364 33554432000 4194304 4196468 140727741464512 140127154203120 140129036962434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30030] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30030/stat : 30030 (java) S 30012 30012 29338 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 510005087 27969658880 31364 33554432000 4194304 4196468 140727741464512 140127153150576 140129036962434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30031] ppid=30012 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30015/task/30031/stat : 30031 (java) S 30012 30012 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510005087 27969658880 31364 33554432000 4194304 4196468 140727741464512 140127152098032 140129036962434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30032] ppid=30012 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/30015/task/30032/stat : 30032 (java) S 30012 30012 29338 0 -1 1077944384 490 0 0 0 2 0 0 0 20 0 20 0 510005087 27969658880 31364 33554432000 4194304 4196468 140727741464512 140127151045488 140129036962434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30033] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30033/stat : 30033 (java) S 30012 30012 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510005087 27969658880 31364 33554432000 4194304 4196468 140727741464512 140125858162912 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30034] ppid=30012 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30015/task/30034/stat : 30034 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510005087 27969658880 31364 33554432000 4194304 4196468 140727741464512 140127149992368 140129036962434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126852 KiB

[startup+0.310289 s]*
/proc/loadavg: 5.21 2.52 2.05 2/211 30034
/proc/meminfo: memFree=26123244/32770624 swapFree=66956836/67108860
[pid=30012] ppid=30009 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30012/stat : 30012 (scop.sh) S 30009 30012 29338 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510005079 115843072 349 33554432000 4194304 5098028 140723098048944 140723098046200 139995158041212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34066432 140723098051325 140723098051672 140723098051672 140723098054601 0
/proc/30012/statm: 28282 349 296 221 0 87 0
[pid=30015] ppid=30012 vsize=27314120 memory=129724 CPUtime=0.42 cores=0-7
/proc/30015/stat : 30015 (java) S 30012 30012 29338 0 -1 1077944320 12291 0 0 0 38 4 0 0 20 0 20 0 510005080 27969658880 32431 33554432000 4194304 4196468 140727741464512 140727741447056 140129036951287 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
/proc/30015/statm: 6828530 32431 3020 1 0 6790935 0
[pid=30015/tid=30016] ppid=30012 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/30015/task/30016/stat : 30016 (java) R 30012 30012 29338 0 -1 4202560 9777 0 0 0 26 3 0 0 20 0 20 0 510005080 27969658880 32431 33554432000 4194304 4196468 140727741464512 140129008769664 140129017227015 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30017] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30017/stat : 30017 (java) S 30012 30012 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 32431 33554432000 4194304 4196468 140727741464512 140129041193232 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30018] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30018/stat : 30018 (java) S 30012 30012 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 32431 33554432000 4194304 4196468 140727741464512 140128824588688 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30019] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30019/stat : 30019 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 32431 33554432000 4194304 4196468 140727741464512 140128823536144 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30020] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30020/stat : 30020 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 32431 33554432000 4194304 4196468 140727741464512 140128822483600 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30021] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30021/stat : 30021 (java) S 30012 30012 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 32431 33554432000 4194304 4196468 140727741464512 140128821431056 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30022] ppid=30012 vsize=27314120 memory=140103846554287 CPUtime=0 cores=0-7
/proc/30015/task/30022/stat : 30022 (java) S 30012 30012 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 32431 33554432000 4194304 4196468 140727741464512 140128820378512 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30023] ppid=30012 vsize=27314120 memory=140103846556592 CPUtime=0 cores=0-7
/proc/30015/task/30023/stat : 30023 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 32431 33554432000 4194304 4196468 140727741464512 140128819325968 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30024] ppid=30012 vsize=27314120 memory=140103846558896 CPUtime=0 cores=0-7
/proc/30015/task/30024/stat : 30024 (java) S 30012 30012 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510005082 27969658880 32431 33554432000 4194304 4196468 140727741464512 140128818273424 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30025] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30025/stat : 30025 (java) S 30012 30012 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510005084 27969658880 32431 33554432000 4194304 4196468 140727741464512 140127671818224 140129036962434 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30026] ppid=30012 vsize=27314120 memory=280207693131664 CPUtime=0 cores=0-7
/proc/30015/task/30026/stat : 30026 (java) S 30012 30012 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510005084 27969658880 32431 33554432000 4194304 4196468 140727741464512 140126999012256 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30027] ppid=30012 vsize=27314120 memory=280207693129360 CPUtime=0 cores=0-7
/proc/30015/task/30027/stat : 30027 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510005085 27969658880 32431 33554432000 4194304 4196468 140727741464512 140126730576880 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30028] ppid=30012 vsize=27314120 memory=280207693136272 CPUtime=0 cores=0-7
/proc/30015/task/30028/stat : 30028 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510005087 27969658880 32431 33554432000 4194304 4196468 140727741464512 140126356068560 140129036969883 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30029] ppid=30012 vsize=27314120 memory=280207693077552 CPUtime=0 cores=0-7
/proc/30015/task/30029/stat : 30029 (java) S 30012 30012 29338 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 20 0 510005087 27969658880 32431 33554432000 4194304 4196468 140727741464512 140127154203120 140129036962434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30030] ppid=30012 vsize=27314120 memory=280207693150096 CPUtime=0.02 cores=0-7
/proc/30015/task/30030/stat : 30030 (java) S 30012 30012 29338 0 -1 1077944384 87 0 0 0 2 0 0 0 20 0 20 0 510005087 27969658880 32431 33554432000 4194304 4196468 140727741464512 140127153150576 140129036962434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30031] ppid=30012 vsize=27314120 memory=280207693157008 CPUtime=0.01 cores=0-7
/proc/30015/task/30031/stat : 30031 (java) S 30012 30012 29338 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 20 0 510005087 27969658880 32431 33554432000 4194304 4196468 140727741464512 140127152098032 140129036962434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30032] ppid=30012 vsize=27314120 memory=280207693154704 CPUtime=0.07 cores=0-7
/proc/30015/task/30032/stat : 30032 (java) S 30012 30012 29338 0 -1 1077944384 542 0 0 0 7 0 0 0 20 0 20 0 510005087 27969658880 32431 33554432000 4194304 4196468 140727741464512 140127151045488 140129036962434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30033] ppid=30012 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30033/stat : 30033 (java) S 30012 30012 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510005087 27969658880 32431 33554432000 4194304 4196468 140727741464512 140125858162912 140129036961493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30034] ppid=30012 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30015/task/30034/stat : 30034 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510005087 27969658880 32431 33554432000 4194304 4196468 140727741464512 140127149992368 140129036962434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131120 KiB

[startup+0.700959 s]
/proc/loadavg: 5.21 2.52 2.05 2/211 30034
/proc/meminfo: memFree=26101664/32770624 swapFree=66956836/67108860
[pid=30012] ppid=30009 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30012/stat : 30012 (scop.sh) S 30009 30012 29338 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510005079 115843072 349 33554432000 4194304 5098028 140723098048944 140723098046200 139995158041212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34066432 140723098051325 140723098051672 140723098051672 140723098054601 0
/proc/30012/statm: 28282 349 296 221 0 87 0
[pid=30015] ppid=30012 vsize=27322516 memory=166052 CPUtime=1 cores=0-7
/proc/30015/stat : 30015 (java) S 30012 30012 29338 0 -1 1077944320 20151 0 0 0 94 6 0 0 20 0 20 0 510005080 27978256384 41513 33554432000 4194304 4196468 140727741464512 140727741447056 140129036951287 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
/proc/30015/statm: 6830629 41513 3203 1 0 6791959 0
[pid=30015/tid=30016] ppid=30012 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/30015/task/30016/stat : 30016 (java) R 30012 30012 29338 0 -1 4202560 17006 0 0 0 62 5 0 0 20 0 20 0 510005080 27978256384 41513 33554432000 4194304 4196468 140727741464512 140129008783024 140129021031774 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30017] ppid=30012 vsize=27322516 memory=140103846765424 CPUtime=0 cores=0-7
/proc/30015/task/30017/stat : 30017 (java) S 30012 30012 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510005082 27978256384 41513 33554432000 4194304 4196468 140727741464512 140129041193232 140129036961493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30018] ppid=30012 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/30015/task/30018/stat : 30018 (java) S 30012 30012 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510005082 27978256384 41513 33554432000 4194304 4196468 140727741464512 140128824588688 140129036961493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0
[pid=30015/tid=30019] ppid=30012 vsize=27322516 memory=784 CPUtime=0 cores=0-7
/proc/30015/task/30019/stat : 30019 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510005082 27978256384 41513 33554432000 4194304 4196468 140727741464512 140128823536144 140129036961493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140727741469383 140727741469830 140727741469830 140727741472719 0

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

/proc/30055/stat : 30055 (manyglucose-4.1) S 30035 30012 29338 0 -1 1077944320 284900 0 0 0 13691 73 0 0 20 0 2 0 510005522 1192833024 134369 33554432000 4194304 4454172 140730828484304 140730828482688 140319332335351 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 16687104 140730828485453 140730828485660 140730828485660 140730828488630 0
/proc/30055/statm: 291219 134369 420 64 0 286887 0
[pid=30055/tid=30061] ppid=30035 vsize=1164876 memory=1556 CPUtime=17.6 cores=0-7
/proc/30055/task/30061/stat : 30061 (manyglucose-4.1) R 30035 30012 29338 0 -1 4202560 30458 0 0 0 1749 11 0 0 20 0 2 0 510005634 1192833024 134369 33554432000 4194304 4454172 140730828484304 140319304776808 4349976 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 16687104 140730828485453 140730828485660 140730828485660 140730828488630 0
[pid=30035/tid=30036] ppid=30012 vsize=8414124 memory=928 CPUtime=0.75 cores=0-7
/proc/30035/task/30036/stat : 30036 (java) S 30012 30012 29338 0 -1 1077944384 17364 0 0 0 69 6 0 0 20 0 24 0 510005450 8616062976 29956 33554432000 4194304 4196468 140735526035440 140094310866848 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30037] ppid=30012 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/30035/task/30037/stat : 30037 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510005451 8616062976 29956 33554432000 4194304 4196468 140735526035440 140094343269136 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30038] ppid=30012 vsize=8414124 memory=900 CPUtime=0 cores=0-7
/proc/30035/task/30038/stat : 30038 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510005451 8616062976 29956 33554432000 4194304 4196468 140735526035440 140094143437712 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30039] ppid=30012 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/30035/task/30039/stat : 30039 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510005451 8616062976 29956 33554432000 4194304 4196468 140735526035440 140094142385168 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30040] ppid=30012 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/30035/task/30040/stat : 30040 (java) S 30012 30012 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510005451 8616062976 29956 33554432000 4194304 4196468 140735526035440 140094141332624 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30041] ppid=30012 vsize=8414124 memory=2580 CPUtime=0 cores=0-7
/proc/30035/task/30041/stat : 30041 (java) S 30012 30012 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510005451 8616062976 29956 33554432000 4194304 4196468 140735526035440 140094140279056 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30042] ppid=30012 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/30035/task/30042/stat : 30042 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510005451 8616062976 29956 33554432000 4194304 4196468 140735526035440 140094139226512 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30043] ppid=30012 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/30035/task/30043/stat : 30043 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510005451 8616062976 29956 33554432000 4194304 4196468 140735526035440 140094138173968 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30044] ppid=30012 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/30035/task/30044/stat : 30044 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510005451 8616062976 29956 33554432000 4194304 4196468 140735526035440 140094137121424 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30045] ppid=30012 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/30035/task/30045/stat : 30045 (java) S 30012 30012 29338 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510005453 8616062976 29956 33554432000 4194304 4196468 140735526035440 140093566167536 140094339037826 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30046] ppid=30012 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/30035/task/30046/stat : 30046 (java) S 30012 30012 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510005453 8616062976 29956 33554432000 4194304 4196468 140735526035440 140092907709856 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30047] ppid=30012 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/30035/task/30047/stat : 30047 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510005454 8616062976 29956 33554432000 4194304 4196468 140735526035440 140092639274480 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30048] ppid=30012 vsize=8414124 memory=4452 CPUtime=0 cores=0-7
/proc/30035/task/30048/stat : 30048 (java) S 30012 30012 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510005456 8616062976 29956 33554432000 4194304 4196468 140735526035440 140092264766160 140094339045275 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30049] ppid=30012 vsize=8414124 memory=1412 CPUtime=0.05 cores=0-7
/proc/30035/task/30049/stat : 30049 (java) S 30012 30012 29338 0 -1 1077944384 504 0 0 0 5 0 0 0 20 0 24 0 510005456 8616062976 29956 33554432000 4194304 4196468 140735526035440 140093565114352 140094339037826 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30050] ppid=30012 vsize=8414124 memory=3240 CPUtime=0.04 cores=0-7
/proc/30035/task/30050/stat : 30050 (java) S 30012 30012 29338 0 -1 1077944384 254 0 0 0 4 0 0 0 20 0 24 0 510005456 8616062976 29956 33554432000 4194304 4196468 140735526035440 140093564061808 140094339037826 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30051] ppid=30012 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/30035/task/30051/stat : 30051 (java) S 30012 30012 29338 0 -1 1077944384 411 0 0 0 6 0 0 0 20 0 24 0 510005456 8616062976 29956 33554432000 4194304 4196468 140735526035440 140093563009264 140094339037826 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30052] ppid=30012 vsize=8414124 memory=119824 CPUtime=0.18 cores=0-7
/proc/30035/task/30052/stat : 30052 (java) S 30012 30012 29338 0 -1 1077944384 544 0 0 0 18 0 0 0 20 0 24 0 510005456 8616062976 29956 33554432000 4194304 4196468 140735526035440 140093561956720 140094339037826 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30053] ppid=30012 vsize=8414124 memory=537184 CPUtime=0 cores=0-7
/proc/30035/task/30053/stat : 30053 (java) S 30012 30012 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510005456 8616062976 29956 33554432000 4194304 4196468 140735526035440 140091766860512 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30054] ppid=30012 vsize=8414124 memory=1160 CPUtime=0.01 cores=0-7
/proc/30035/task/30054/stat : 30054 (java) S 30012 30012 29338 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 510005457 8616062976 29956 33554432000 4194304 4196468 140735526035440 140093560904624 140094339037826 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30056] ppid=30012 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/30035/task/30056/stat : 30056 (java) S 30012 30012 29338 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510005523 8616062976 29956 33554432000 4194304 4196468 140735526035440 140093553428160 140094339051289 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30058] ppid=30012 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/30035/task/30058/stat : 30058 (java) S 30012 30012 29338 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510005523 8616062976 29956 33554432000 4194304 4196468 140735526035440 140091095760144 140094339048605 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30059] ppid=30012 vsize=8414124 memory=3120 CPUtime=0 cores=0-7
/proc/30035/task/30059/stat : 30059 (java) S 30012 30012 29338 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510005523 8616062976 29956 33554432000 4194304 4196468 140735526035440 140091364195728 140094339048605 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30060] ppid=30012 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/30035/task/30060/stat : 30060 (java) S 30012 30012 29338 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510005525 8616062976 29956 33554432000 4194304 4196468 140735526035440 140090827332784 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
Current children cumulated CPU time: 145.64 s
Current children cumulated vsize: 9692128 KiB
Current children cumulated memory: 658776 KiB

[startup+24.0014 s]*
/proc/loadavg: 5.95 2.85 2.16 2/213 30068
/proc/meminfo: memFree=26113544/32770624 swapFree=66956836/67108860
[pid=30012] ppid=30009 vsize=113128 memory=1476 CPUtime=6.85 cores=0-7
/proc/30012/stat : 30012 (scop.sh) S 30009 30012 29338 0 -1 4202496 582 27468 0 0 0 0 643 42 20 0 1 0 510005079 115843072 369 33554432000 4194304 5098028 140723098048944 140723098045688 139995158041212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34066432 140723098051325 140723098051672 140723098051672 140723098054601 0
/proc/30012/statm: 28282 369 311 221 0 87 0
[pid=30035] ppid=30012 vsize=8283048 memory=128708 CPUtime=139.39 cores=0-7
/proc/30035/stat : 30035 (java) S 30012 30012 29338 0 -1 1077944320 22117 284932 0 0 130 9 13724 76 20 0 22 0 510005450 8481841152 32177 33554432000 4194304 4196468 140735526035440 140735526017984 140094339026679 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
/proc/30035/statm: 2070762 32177 3224 1 0 2032106 0
[pid=30035/tid=30036] ppid=30012 vsize=8283048 memory=8317482817917895235 CPUtime=138.77 cores=0-7
/proc/30035/task/30036/stat : 30036 (java) R 30012 30012 29338 0 -1 4202560 17462 284932 0 0 71 6 13724 76 20 0 22 0 510005450 8481841152 32177 33554432000 4194304 4196468 140735526035440 140094310856320 140094323107166 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30037] ppid=30012 vsize=8283048 memory=4872558044660077418 CPUtime=138 cores=0-7
/proc/30035/task/30037/stat : 30037 (java) S 30012 30012 29338 0 -1 1077944384 1 284932 0 0 0 0 13724 76 20 0 22 0 510005451 8481841152 32177 33554432000 4194304 4196468 140735526035440 140094343269136 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30038] ppid=30012 vsize=8283048 memory=1476 CPUtime=138 cores=0-7
/proc/30035/task/30038/stat : 30038 (java) S 30012 30012 29338 0 -1 1077944384 1 284932 0 0 0 0 13724 76 20 0 22 0 510005451 8481841152 32177 33554432000 4194304 4196468 140735526035440 140094143437712 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30039] ppid=30012 vsize=8283048 memory=119824 CPUtime=138 cores=0-7
/proc/30035/task/30039/stat : 30039 (java) S 30012 30012 29338 0 -1 1077944384 1 284932 0 0 0 0 13724 76 20 0 22 0 510005451 8481841152 32177 33554432000 4194304 4196468 140735526035440 140094142385168 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30040] ppid=30012 vsize=8283048 memory=280207694743168 CPUtime=138 cores=0-7
/proc/30035/task/30040/stat : 30040 (java) S 30012 30012 29338 0 -1 1077944384 2 284932 0 0 0 0 13724 76 20 0 22 0 510005451 8481841152 32177 33554432000 4194304 4196468 140735526035440 140094141332624 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30041] ppid=30012 vsize=8283048 memory=0 CPUtime=138 cores=0-7
/proc/30035/task/30041/stat : 30041 (java) S 30012 30012 29338 0 -1 1077944384 3 284932 0 0 0 0 13724 76 20 0 22 0 510005451 8481841152 32177 33554432000 4194304 4196468 140735526035440 140094140279056 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30042] ppid=30012 vsize=8283048 memory=0 CPUtime=138 cores=0-7
/proc/30035/task/30042/stat : 30042 (java) S 30012 30012 29338 0 -1 1077944384 1 284932 0 0 0 0 13724 76 20 0 22 0 510005451 8481841152 32177 33554432000 4194304 4196468 140735526035440 140094139226512 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30043] ppid=30012 vsize=8283048 memory=0 CPUtime=138 cores=0-7
/proc/30035/task/30043/stat : 30043 (java) S 30012 30012 29338 0 -1 1077944384 1 284932 0 0 0 0 13724 76 20 0 22 0 510005451 8481841152 32177 33554432000 4194304 4196468 140735526035440 140094138173968 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30044] ppid=30012 vsize=8283048 memory=1476 CPUtime=138 cores=0-7
/proc/30035/task/30044/stat : 30044 (java) S 30012 30012 29338 0 -1 1077944384 1 284932 0 0 0 0 13724 76 20 0 22 0 510005451 8481841152 32177 33554432000 4194304 4196468 140735526035440 140094137121424 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30045] ppid=30012 vsize=8283048 memory=516 CPUtime=138 cores=0-7
/proc/30035/task/30045/stat : 30045 (java) S 30012 30012 29338 0 -1 1077944384 7 284932 0 0 0 0 13724 76 20 0 22 0 510005453 8481841152 32177 33554432000 4194304 4196468 140735526035440 140093566167536 140094339037826 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30046] ppid=30012 vsize=8283048 memory=1556 CPUtime=138 cores=0-7
/proc/30035/task/30046/stat : 30046 (java) S 30012 30012 29338 0 -1 1077944384 13 284932 0 0 0 0 13724 76 20 0 22 0 510005453 8481841152 32177 33554432000 4194304 4196468 140735526035440 140092907709856 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30047] ppid=30012 vsize=8283048 memory=928 CPUtime=138 cores=0-7
/proc/30035/task/30047/stat : 30047 (java) S 30012 30012 29338 0 -1 1077944384 1 284932 0 0 0 0 13724 76 20 0 22 0 510005454 8481841152 32177 33554432000 4194304 4196468 140735526035440 140092639274480 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30048] ppid=30012 vsize=8283048 memory=1772 CPUtime=138 cores=0-7
/proc/30035/task/30048/stat : 30048 (java) S 30012 30012 29338 0 -1 1077944384 1 284932 0 0 0 0 13724 76 20 0 22 0 510005456 8481841152 32177 33554432000 4194304 4196468 140735526035440 140092264766160 140094339045275 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30049] ppid=30012 vsize=8283048 memory=900 CPUtime=138.08 cores=0-7
/proc/30035/task/30049/stat : 30049 (java) S 30012 30012 29338 0 -1 1077944384 705 284932 0 0 8 0 13724 76 20 0 22 0 510005456 8481841152 32177 33554432000 4194304 4196468 140735526035440 140093565114352 140094339037826 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30050] ppid=30012 vsize=8283048 memory=1444 CPUtime=138.09 cores=0-7
/proc/30035/task/30050/stat : 30050 (java) S 30012 30012 29338 0 -1 1077944384 474 284932 0 0 9 0 13724 76 20 0 22 0 510005456 8481841152 32177 33554432000 4194304 4196468 140735526035440 140093564061808 140094339037826 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30051] ppid=30012 vsize=8283048 memory=1976 CPUtime=138.09 cores=0-7
/proc/30035/task/30051/stat : 30051 (java) S 30012 30012 29338 0 -1 1077944384 477 284932 0 0 9 0 13724 76 20 0 22 0 510005456 8481841152 32177 33554432000 4194304 4196468 140735526035440 140093563009264 140094339037826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30052] ppid=30012 vsize=8283048 memory=2580 CPUtime=138.23 cores=0-7
/proc/30035/task/30052/stat : 30052 (java) S 30012 30012 29338 0 -1 1077944384 1042 284932 0 0 23 0 13724 76 20 0 22 0 510005456 8481841152 32177 33554432000 4194304 4196468 140735526035440 140093561956720 140094339037826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30053] ppid=30012 vsize=8283048 memory=1760 CPUtime=138 cores=0-7
/proc/30035/task/30053/stat : 30053 (java) S 30012 30012 29338 0 -1 1077944384 3 284932 0 0 0 0 13724 76 20 0 22 0 510005456 8481841152 32177 33554432000 4194304 4196468 140735526035440 140091766860512 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30054] ppid=30012 vsize=8283048 memory=111632 CPUtime=138.01 cores=0-7
/proc/30035/task/30054/stat : 30054 (java) S 30012 30012 29338 0 -1 1077944384 3 284932 0 0 1 0 13724 76 20 0 22 0 510005457 8481841152 32177 33554432000 4194304 4196468 140735526035440 140093560904624 140094339037826 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30056] ppid=30012 vsize=8283048 memory=0 CPUtime=138 cores=0-7
/proc/30035/task/30056/stat : 30056 (java) S 30012 30012 29338 0 -1 1077944384 26 284932 0 0 0 0 13724 76 20 0 22 0 510005523 8481841152 32177 33554432000 4194304 4196468 140735526035440 140093553427344 140094339037826 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30060] ppid=30012 vsize=8283048 memory=24452 CPUtime=138 cores=0-7
/proc/30035/task/30060/stat : 30060 (java) S 30012 30012 29338 0 -1 1077944384 14 284932 0 0 0 0 13724 76 20 0 22 0 510005525 8481841152 32177 33554432000 4194304 4196468 140735526035440 140090827334576 140094339037826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
Current children cumulated CPU time: 146.24 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 130184 KiB

[startup+24.11 s]
/proc/loadavg: 5.95 2.85 2.16 2/213 30068
/proc/meminfo: memFree=26113544/32770624 swapFree=66956836/67108860
[pid=30012] ppid=30009 vsize=113128 memory=1476 CPUtime=6.85 cores=0-7
/proc/30012/stat : 30012 (scop.sh) S 30009 30012 29338 0 -1 4202496 582 27468 0 0 0 0 643 42 20 0 1 0 510005079 115843072 369 33554432000 4194304 5098028 140723098048944 140723098045688 139995158041212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34066432 140723098051325 140723098051672 140723098051672 140723098054601 0
/proc/30012/statm: 28282 369 311 221 0 87 0
[pid=30035] ppid=30012 vsize=8151972 memory=136144 CPUtime=139.63 cores=0-7
/proc/30035/stat : 30035 (java) S 30012 30012 29338 0 -1 1077944320 22474 284932 0 0 154 9 13724 76 20 0 21 0 510005450 8347619328 34036 33554432000 4194304 4196468 140735526035440 140735526017984 140094339026679 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
/proc/30035/statm: 2037993 34036 3226 1 0 1999337 0
[pid=30035/tid=30036] ppid=30012 vsize=8151972 memory=537632 CPUtime=138.86 cores=0-7
/proc/30035/task/30036/stat : 30036 (java) S 30012 30012 29338 0 -1 1077944384 17651 284932 0 0 80 6 13724 76 20 0 21 0 510005450 8347619328 34036 33554432000 4194304 4196468 140735526035440 140094310870160 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30037] ppid=30012 vsize=8151972 memory=537184 CPUtime=138 cores=0-7
/proc/30035/task/30037/stat : 30037 (java) S 30012 30012 29338 0 -1 1077944384 1 284932 0 0 0 0 13724 76 20 0 21 0 510005451 8347619328 34036 33554432000 4194304 4196468 140735526035440 140094343269136 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30038] ppid=30012 vsize=8151972 memory=7882830282152890960 CPUtime=138 cores=0-7
/proc/30035/task/30038/stat : 30038 (java) S 30012 30012 29338 0 -1 1077944384 1 284932 0 0 0 0 13724 76 20 0 21 0 510005451 8347619328 34041 33554432000 4194304 4196468 140735526035440 140094143437712 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30039] ppid=30012 vsize=8151972 memory=7882830282152890960 CPUtime=138 cores=0-7
/proc/30035/task/30039/stat : 30039 (java) S 30012 30012 29338 0 -1 1077944384 1 284932 0 0 0 0 13724 76 20 0 20 0 510005451 8347619328 34041 33554432000 4194304 4196468 140735526035440 140094142385168 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30040] ppid=30012 vsize=8151972 memory=1136 CPUtime=138 cores=0-7
/proc/30035/task/30040/stat : 30040 (java) S 30012 30012 29338 0 -1 1077944384 2 284932 0 0 0 0 13724 76 20 0 20 0 510005451 8347619328 34041 33554432000 4194304 4196468 140735526035440 140094141332624 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30041] ppid=30012 vsize=8151972 memory=1072 CPUtime=138 cores=0-7
/proc/30035/task/30041/stat : 30041 (java) S 30012 30012 29338 0 -1 1077944384 3 284932 0 0 0 0 13724 76 20 0 20 0 510005451 8347619328 34041 33554432000 4194304 4196468 140735526035440 140094140279056 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30042] ppid=30012 vsize=8151972 memory=3472470612049931333 CPUtime=138 cores=0-7
/proc/30035/task/30042/stat : 30042 (java) S 30012 30012 29338 0 -1 1077944384 1 284932 0 0 0 0 13724 76 20 0 20 0 510005451 8347619328 34041 33554432000 4194304 4196468 140735526035440 140094139226512 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30043] ppid=30012 vsize=8151972 memory=1476 CPUtime=138 cores=0-7
/proc/30035/task/30043/stat : 30043 (java) S 30012 30012 29338 0 -1 1077944384 1 284932 0 0 0 0 13724 76 20 0 20 0 510005451 8347619328 34007 33554432000 4194304 4196468 140735526035440 140094138173968 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30044] ppid=30012 vsize=8151972 memory=119824 CPUtime=138 cores=0-7
/proc/30035/task/30044/stat : 30044 (java) S 30012 30012 29338 0 -1 1077944384 1 284932 0 0 0 0 13724 76 20 0 20 0 510005451 8347619328 34007 33554432000 4194304 4196468 140735526035440 140094137121424 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30046] ppid=30012 vsize=8151972 memory=396556 CPUtime=138 cores=0-7
/proc/30035/task/30046/stat : 30046 (java) S 30012 30012 29338 0 -1 1077944384 13 284932 0 0 0 0 13724 76 20 0 19 0 510005453 8347619328 34007 33554432000 4194304 4196468 140735526035440 140092907709856 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30047] ppid=30012 vsize=8151972 memory=119824 CPUtime=138 cores=0-7
/proc/30035/task/30047/stat : 30047 (java) S 30012 30012 29338 0 -1 1077944384 1 284932 0 0 0 0 13724 76 20 0 19 0 510005454 8347619328 34007 33554432000 4194304 4196468 140735526035440 140092639274480 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30048] ppid=30012 vsize=8151972 memory=30078 CPUtime=138 cores=0-7
/proc/30035/task/30048/stat : 30048 (java) S 30012 30012 29338 0 -1 1077944384 22 284932 0 0 0 0 13724 76 20 0 19 0 510005456 8347619328 34027 33554432000 4194304 4196468 140735526035440 140092264765872 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30049] ppid=30012 vsize=8149916 memory=0 CPUtime=138.12 cores=0-7
/proc/30035/task/30049/stat : 30049 (java) S 30012 30012 29338 0 -1 1077944384 736 284932 0 0 12 0 13724 76 20 0 19 0 510005456 8345513984 34019 33554432000 4194304 4196468 140735526035440 140093565114352 140094339037826 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30050] ppid=30012 vsize=8018840 memory=1476 CPUtime=138.12 cores=0-7
/proc/30035/task/30050/stat : 30050 (java) S 30012 30012 29338 0 -1 1077944384 490 284932 0 0 12 0 13724 76 20 0 19 0 510005456 8211292160 34019 33554432000 4194304 4196468 140735526035440 140093564042208 140094339036885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30051] ppid=30012 vsize=8018840 memory=119824 CPUtime=138.13 cores=0-7
/proc/30035/task/30051/stat : 30051 (java) S 30012 30012 29338 0 -1 1077944384 503 284932 0 0 13 0 13724 76 20 0 19 0 510005456 8211292160 34019 33554432000 4194304 4196468 140735526035440 140093563009264 140094339037826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30052] ppid=30012 vsize=8018840 memory=375840 CPUtime=138.27 cores=0-7
/proc/30035/task/30052/stat : 30052 (java) S 30012 30012 29338 0 -1 1077944384 1115 284932 0 0 27 0 13724 76 20 0 19 0 510005456 8211292160 34019 33554432000 4194304 4196468 140735526035440 140093561956720 140094339037826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30053] ppid=30012 vsize=8018840 memory=517016 CPUtime=138 cores=0-7
/proc/30035/task/30053/stat : 30053 (java) S 30012 30012 29338 0 -1 1077944384 3 284932 0 0 0 0 13724 76 20 0 19 0 510005456 8211292160 34023 33554432000 4194304 4196468 140735526035440 140091766860512 140094339036885 256 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30056] ppid=30012 vsize=8018840 memory=396548 CPUtime=138 cores=0-7
/proc/30035/task/30056/stat : 30056 (java) R 30012 30012 29338 0 -1 1077944384 26 284932 0 0 0 0 13724 76 20 0 19 0 510005523 8211292160 34027 33554432000 4194304 4196468 140735526035440 140093553427344 140094339037826 256 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29409280 140735526036447 140735526036614 140735526036614 140735526039503 0
[pid=30035/tid=30060] ppid=30012 vsize=0 memory=56 CPUtime=138 cores=0-7
/proc/30035/task/30060/stat : 30060 (java) X 30012 30012 29338 0 -1 4195396 14 284932 0 0 0 0 13724 76 20 0 13 0 510005525 0 0 33554432000 0 0 0 0 0 0 4 2 25189581 18446744073709551615 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time: 146.48 s
Current children cumulated vsize: 8265100 KiB
Current children cumulated memory: 137620 KiB

Child status: 0
Real time (s): 24.1176
CPU time (s): 146.521
CPU user time (s): 145.219
CPU system time (s): 1.30189
CPU usage (%): 607.526
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 2018124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 145.219
system time used= 1.30189
maximum resident set size= 2023516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335472
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18573
involuntary context switches= 1436


# summary of solver processes directly reported to runsolver:
#   pid: 30012
#   total CPU time (s): 146.521
#   total CPU user time (s): 145.219
#   total CPU system time (s): 1.30189

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.213892 second user time and 0.391182 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-24 16:02:52
IDJOB=4405134
IDBENCH=127787
IDSOLVER=2867
FILE ID=node105/4405134-1569337473
RUNJOBID= node105-1569332278-29365
PBS_JOBID= 21705070
Free space on /var/tmp= 13180 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
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 /var/tmp/evaluation-result-4405134-1569337473/watcher-4405134-1569337473 -o /var/tmp/evaluation-result-4405134-1569337473/solver-4405134-1569337473 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --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-4405134-1569337473.xml

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

MD5SUM BENCH= 6632ff8405f31e2dfb2c2f75c1e4c1cc
RANDOM SEED=1435980845

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
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:        26243172 kB
MemAvailable:   31800312 kB
Buffers:          110324 kB
Cached:          5579212 kB
SwapCached:        48352 kB
Active:          2826000 kB
Inactive:        2911712 kB
Active(anon):       3544 kB
Inactive(anon):    99568 kB
Active(file):    2822456 kB
Inactive(file):  2812144 kB
Unevictable:      110928 kB
Mlocked:          110928 kB
SwapTotal:      67108860 kB
SwapFree:       66956836 kB
Dirty:             20388 kB
Writeback:             0 kB
AnonPages:        112876 kB
Mapped:            54284 kB
Shmem:             45912 kB
Slab:             379692 kB
SReclaimable:     351000 kB
SUnreclaim:        28692 kB
KernelStack:        3360 kB
PageTables:         5172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13156 MiB
End job on node105 at 2019-09-24 16:03:16