Trace number 4405434

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-10421-serial-file.bin HOME/instance-4405434-1569337476.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 17:03:55 CEST 2019
0.65/0.57	c PID: 10424
0.65/0.57	c IP: 172.20.3.140
0.65/0.57	c HOST: node140.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.39/0.91	c (0,0) Parsing End
1.39/0.92	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 607
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) Constraint Name Generate Begin
1.39/0.92	c (0,0) Ctr:HOME/instance-4405434-1569337476.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.01	c (0,0) translated 11 (20%) constraints
1.55/1.01	c (0,0) translated 16 (30%) constraints
1.55/1.01	c (0,0) translated 22 (40%) constraints
1.55/1.02	c (0,0) translated 27 (50%) constraints
1.55/1.02	c (0,0) translated 32 (60%) constraints
1.55/1.02	c (0,0) translated 38 (70%) constraints
1.55/1.02	c (0,0) translated 43 (80%) constraints
1.55/1.03	c (0,0) translated 48 (90%) constraints
2.18/1.28	c (0,0) translated 53 (100%) constraints
2.18/1.28	c (0,0) ===========================================
2.46/1.30	c (0,0) Hybrid: #OE=50, #LE=0
2.46/1.30	c (0,0) Hybrid
2.46/1.30	c (0,0) ===========================================
2.46/1.31	c (0,0) translated 36 (10%) constraints
2.46/1.32	c (0,0) translated 71 (20%) constraints
2.46/1.32	c (0,0) translated 106 (30%) constraints
2.46/1.33	c (0,0) translated 141 (40%) constraints
2.46/1.33	c (0,0) translated 176 (50%) constraints
2.46/1.34	c (0,0) translated 212 (60%) constraints
2.46/1.34	c (0,0) translated 247 (70%) constraints
2.46/1.35	c (0,0) translated 282 (80%) constraints
2.46/1.35	c (0,0) translated 317 (90%) constraints
2.46/1.36	c (0,0) translated 352 (100%) constraints
2.46/1.36	c (0,0) CSP to CSPinCNF End
2.46/1.36	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 602
2.46/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.46/1.36	c (0,0) CSPinCNF Propagation Begin
2.46/1.39	c (0,0) 0 values, 10 unsatisfiable literals, and 51 valid clauses are removed
2.46/1.39	c (0,0) CSPinCNF Propagation End
2.46/1.39	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 602
2.46/1.39	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.46/1.40	c (0,0) Hybrid: #OE=50, #LE=0
2.46/1.40	c (0,0) Simplify CSPinCNF Begin
2.82/1.49	c (0,0) Simplify CSPinCNF End
2.82/1.49	c (0,0) CSP: 50 int (0 aux), 1190 bool (1190 aux), 1491 ctr, max domain size 602
2.82/1.49	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.82/1.49	c (0,0) Calculate Precise Domain Begin
2.82/1.50	c (0,0) 0 values are removed by re-calculation
2.82/1.50	c (0,0) Calculate Precise Domain End
2.82/1.50	c (0,0) CSP: 50 int (0 aux), 1190 bool (1190 aux), 1491 ctr, max domain size 602
2.82/1.50	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.82/1.50	c (0,0) CSPinCNF to SatSolver Begin
4.82/2.03	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 86088 SAT clauses)
5.04/2.25	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 145074 SAT clauses)
5.28/2.46	c (1,1) 448 (30 %) CSP clauses are encoded (0 SAT variables, 199765 SAT clauses)
5.49/2.67	c (2,2) 597 (40 %) CSP clauses are encoded (0 SAT variables, 256198 SAT clauses)
5.72/2.87	c (2,2) 746 (50 %) CSP clauses are encoded (0 SAT variables, 307833 SAT clauses)
5.95/3.06	c (2,2) 895 (60 %) CSP clauses are encoded (0 SAT variables, 358387 SAT clauses)
6.15/3.23	c (2,2) 1044 (70 %) CSP clauses are encoded (0 SAT variables, 405076 SAT clauses)
6.25/3.39	c (2,2) 1193 (80 %) CSP clauses are encoded (0 SAT variables, 448377 SAT clauses)
6.46/3.53	c (2,2) 1342 (90 %) CSP clauses are encoded (0 SAT variables, 486113 SAT clauses)
6.58/3.63	c (3,3) 1491 (100 %) CSP clauses are encoded (0 SAT variables, 512818 SAT clauses)
6.58/3.63	c (3,3) CSPinCNF to SatSolver End
6.58/3.63	c (3,3) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.58/3.63	c (3,3) 26380 bool, 512998 clause
6.58/3.63	c (3,3) Export Begin
6.73/3.71	c (3,3) Export to HOME/scop-10421-serial-file.bin
6.73/3.71	c (3,3) Export End
6.73/3.71	c (3,3) Export File Size: 0.01 MB
6.73/3.71	c (3,3) 0,0,0,0,0,0,3,STOP-AFTER(DIMACS)
6.73/3.72	c END-Prog: Tue Sep 24 17:03:59 CEST 2019
6.73/3.74	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10421-serial-file.bin
7.39/4.21	c (0,0) Read Serial File Begin
7.39/4.21	c (0,0) HOME/scop-10421-serial-file.bin
7.67/4.40	c (0,0) Read Serial File End
7.67/4.42	
7.67/4.42	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
7.67/4.42	(Solving Process)
7.67/4.42	
7.67/4.44	c BEGIN-Prog: Tue Sep 24 17:03:59 CEST 2019
7.67/4.44	c PID: 10444
7.67/4.44	c IP: 172.20.3.140
7.67/4.44	c HOST: node140.alineos.net
7.67/4.44	c (0,0) SatSolver.solve Begin
7.67/4.44	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405434-1569337476.xml-scop-10424.cnf
7.67/4.47	c (0,0) c
7.67/4.47	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.67/4.47	c (0,0) c
7.67/4.47	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.67/4.47	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.67/4.47	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.67/4.47	c (0,0) c |                                                                                                       |
7.93/4.66	c (0,0) c |  Number of variables:         26380                                                                   |
7.93/4.66	c (0,0) c |  Number of clauses:          512998                                                                   |
7.93/4.66	c (0,0) c |  Parse time:                   0.17 s                                                                 |
7.93/4.66	c (0,0) c |                                                                                                       |
8.86/5.45	c (1,0) c |  Simplification time:          0.78 s                                                                 |
8.86/5.45	c (1,0) c |                                                                                                       |
8.86/5.45	c (1,0) c |  Generating clones                                                                                    |
8.96/5.59	c (1,0) c |  all clones generated. Memory =   336.80Mb.                                                           |
8.96/5.59	c (1,0) c ========================================================================================================|
8.96/5.59	c (1,0) c
8.96/5.59	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.96/5.59	c (1,0) c
8.96/5.59	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.96/5.59	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.96/5.59	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.96/5.60	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.96/5.60	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.96/5.60	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.96/5.60	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.96/5.60	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.96/5.60	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.96/5.60	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.96/5.60	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.96/5.60	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.96/5.60	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.96/5.60	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.96/5.60	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.96/5.60	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.96/5.60	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.96/5.60	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.96/5.60	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.04/22.95	c (18,0) c
145.04/22.95	c (18,0) c real time : 18.4844 s
145.04/22.95	c (18,0) c cpu time  : 136.462 s
145.04/22.95	c (18,0) c
145.04/22.95	c (18,0) c
145.04/22.95	c (18,0) c
145.04/22.95	c (18,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
145.04/22.95	c (18,0) c
145.04/22.95	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.04/22.95	c (18,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
145.04/22.95	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.04/22.95	c (18,0) c | Conflicts     |          249337 |      30679 |      31355 |      31057 |      31731 |      30963 |      31208 |      31169 |      31175 |
145.04/22.95	c (18,0) c | Decisions     |          510609 |      61556 |      65898 |      64344 |      64945 |      66252 |      60497 |      62859 |      64258 |
145.04/22.95	c (18,0) c | Propagations  |       237108711 |   29576339 |   29280004 |   29800496 |   29981665 |   29663147 |   29751094 |   29680457 |   29375509 |
145.04/22.95	c (18,0) c | ReduceDBs     |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
145.04/22.95	c (18,0) c | SimpDBs       |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
145.04/22.95	c (18,0) c | Restarts      |             771 |         99 |        102 |         88 |        100 |         93 |        105 |         86 |         98 |
145.04/22.95	c (18,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
145.04/22.95	c (18,0) c | PropBinClauses|       306873054 |   38371750 |   37636972 |   38810139 |   38438775 |   38238821 |   38488382 |   38420653 |   38467562 |
145.04/22.95	c (18,0) c | PropPreBlocker|      2823375964 |  348654632 |  351637390 |  354924320 |  360181205 |  351011719 |  355066192 |  352061027 |  349839479 |
145.04/22.95	c (18,0) c | PropNotBlocker|      1053231152 |  134046244 |  129050279 |  132418589 |  131447108 |  130463836 |  131323591 |  132900193 |  131581312 |
145.04/22.95	c (18,0) c | LitFullScans  |      5549051838 |  690054507 |  690112757 |  693602671 |  702073208 |  690069034 |  693805184 |  693199815 |  696134662 |
145.04/22.95	c (18,0) c | LitScanFracts |          516800 |      43827 |      86242 |      47638 |      56334 |      46458 |      54852 |      90667 |      90782 |
145.04/22.95	c (18,0) c | DecisionLevel0|             774 |        101 |        102 |         88 |        100 |         93 |        106 |         86 |         98 |
145.04/22.95	c (18,0) c | Periods       |             923 |        115 |        115 |        115 |        117 |        115 |        115 |        115 |        116 |
145.04/22.95	c (18,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
145.04/22.95	c (18,0) c | Avg_Trail     |                 |       8518 |       8754 |       8819 |       8892 |       8764 |       8868 |       8683 |       8495 |
145.04/22.95	c (18,0) c | Avg_DL        |                 |         20 |         19 |         20 |         21 |         20 |         19 |         20 |         20 |
145.04/22.95	c (18,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
145.04/22.95	c (18,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
145.04/22.95	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.04/22.95	c (18,0) c | Exported      |           44811 |       5436 |       5398 |       5599 |       5773 |       5485 |       5243 |       5760 |       6117 |
145.04/22.95	c (18,0) c | Imported      |          272530 |      33701 |      33499 |      34139 |      34513 |      34219 |      34548 |      34010 |      33901 |
145.04/22.95	c (18,0) c | Good          |             577 |         70 |         68 |         70 |         78 |         75 |         67 |         75 |         74 |
145.04/22.95	c (18,0) c | Purge         |          271953 |      33631 |      33431 |      34069 |      34435 |      34144 |      34481 |      33935 |      33827 |
145.04/22.95	c (18,0) c | Promoted      |           29690 |       3761 |       3663 |       3829 |       3686 |       3648 |       3587 |       3850 |       3666 |
145.04/22.95	c (18,0) c | Remove_Imp    |           82446 |      11633 |      10705 |      11089 |       9312 |       9759 |      10890 |       8926 |      10132 |
145.04/22.95	c (18,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
145.04/22.95	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.04/22.95	c (18,0) c | Unaries       |                 |          2 |          0 |          0 |          0 |          0 |          1 |          0 |          0 |
145.04/22.95	c (18,0) c | Binaries      |                 |         15 |         12 |         13 |          8 |          8 |         19 |          9 |         14 |
145.04/22.95	c (18,0) c | Glues         |                 |        124 |         98 |        116 |         99 |        110 |        108 |        100 |         96 |
145.04/22.95	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.04/22.95	c (18,0) c | Orig_Seen     |             8 % |      40227 |      41711 |      45145 |      43630 |      43155 |      43772 |      41795 |      40669 |
145.04/22.95	c (18,0) c | Diff Orig seen|                 | -     4918 | -     3434 |      X     | -     1515 | -     1990 | -     1373 | -     3350 | -     4476 |
145.04/22.95	c (18,0) c | Hamming       |            26 % |       6559 |       2496 |      X     |       7977 |       6762 |       8554 |       7533 |       9185 |
145.04/22.95	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.04/22.95	c (18,0) c | RunningTime   |                 |   17.3 100%|   17.1 100%|   16.9 100%|   17.0 100%|   17.2 100%|   17.0 100%|   17.0 100%|   16.9 100%|
145.04/22.95	c (18,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.04/22.95	c (18,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.04/22.95	c (18,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.04/22.95	c (18,0) c | SolvingTime   |                 |   17.3     |   17.1     |   16.9     |   17.0     |   17.2     |   17.0     |   17.0     |   17.0     |
145.04/22.95	c (18,0) c | PropagationTim|                 |   14.8  85%|   14.5  85%|   14.3  85%|   14.4  84%|   14.5  84%|   14.4  85%|   14.4  85%|   14.3  84%|
145.04/22.95	c (18,0) c | AnalysisTime  |                 |    2.1  12%|    2.1  12%|    2.1  12%|    2.1  12%|    2.2  12%|    2.1  12%|    2.1  12%|    2.1  13%|
145.04/22.95	c (18,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.04/22.95	c (18,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.04/22.95	c (18,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.04/22.95	c (18,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.04/22.95	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.04/22.95	c (18,0) c
145.04/22.95	c (18,0) c
145.04/22.95	c (18,0) c Threads : 8
145.04/22.95	c (18,0) c Winner : 2
145.04/22.95	c (18,0) c Conflicts_0 : 30679
145.04/22.95	c (18,0) c Conflicts_1 : 31355
145.04/22.95	c (18,0) c Conflicts_2 : 31057
145.04/22.95	c (18,0) c Conflicts_3 : 31731
145.04/22.95	c (18,0) c Conflicts_4 : 30963
145.04/22.95	c (18,0) c Conflicts_5 : 31208
145.04/22.95	c (18,0) c Conflicts_6 : 31169
145.04/22.95	c (18,0) c Conflicts_7 : 31175
145.04/22.95	c (18,0) c Conflicts_total : 249337
145.04/22.95	c (18,0) c Conflicts_winner : 31057
145.04/22.95	c (18,0) c Decisions_0 : 61556
145.04/22.95	c (18,0) c Decisions_1 : 65898
145.04/22.95	c (18,0) c Decisions_2 : 64344
145.04/22.95	c (18,0) c Decisions_3 : 64945
145.04/22.95	c (18,0) c Decisions_4 : 66252
145.04/22.95	c (18,0) c Decisions_5 : 60497
145.04/22.95	c (18,0) c Decisions_6 : 62859
145.04/22.95	c (18,0) c Decisions_7 : 64258
145.04/22.95	c (18,0) c Decisions_total : 510609
145.04/22.95	c (18,0) c Decisions_winner : 64344
145.04/22.95	c (18,0) c Propagations_0 : 29576339
145.04/22.95	c (18,0) c Propagations_1 : 29280004
145.04/22.95	c (18,0) c Propagations_2 : 29800496
145.04/22.95	c (18,0) c Propagations_3 : 29981665
145.04/22.95	c (18,0) c Propagations_4 : 29663147
145.04/22.95	c (18,0) c Propagations_5 : 29751094
145.04/22.95	c (18,0) c Propagations_6 : 29680457
145.04/22.95	c (18,0) c Propagations_7 : 29375509
145.04/22.95	c (18,0) c Propagations_total : 237108711
145.04/22.95	c (18,0) c Propagations_winner : 29800496
145.04/22.95	c (18,0) c ReduceDBs_0 : 4
145.04/22.95	c (18,0) c ReduceDBs_1 : 4
145.04/22.95	c (18,0) c ReduceDBs_2 : 4
145.04/22.95	c (18,0) c ReduceDBs_3 : 4
145.04/22.95	c (18,0) c ReduceDBs_4 : 4
145.04/22.95	c (18,0) c ReduceDBs_5 : 4
145.04/22.95	c (18,0) c ReduceDBs_6 : 4
145.04/22.95	c (18,0) c ReduceDBs_7 : 4
145.04/22.95	c (18,0) c ReduceDBs_total : 32
145.04/22.95	c (18,0) c ReduceDBs_winner : 4
145.04/22.96	c (18,0) c SimpDBs_0 : 3
145.04/22.96	c (18,0) c SimpDBs_1 : 3
145.04/22.96	c (18,0) c SimpDBs_2 : 3
145.04/22.96	c (18,0) c SimpDBs_3 : 3
145.04/22.96	c (18,0) c SimpDBs_4 : 3
145.04/22.96	c (18,0) c SimpDBs_5 : 3
145.04/22.96	c (18,0) c SimpDBs_6 : 3
145.04/22.96	c (18,0) c SimpDBs_7 : 3
145.04/22.96	c (18,0) c SimpDBs_total : 24
145.04/22.96	c (18,0) c SimpDBs_winner : 3
145.04/22.96	c (18,0) c Restarts_0 : 99
145.04/22.96	c (18,0) c Restarts_1 : 102
145.04/22.96	c (18,0) c Restarts_2 : 88
145.04/22.96	c (18,0) c Restarts_3 : 100
145.04/22.96	c (18,0) c Restarts_4 : 93
145.04/22.96	c (18,0) c Restarts_5 : 105
145.04/22.96	c (18,0) c Restarts_6 : 86
145.04/22.96	c (18,0) c Restarts_7 : 98
145.04/22.96	c (18,0) c Restarts_total : 771
145.04/22.96	c (18,0) c Restarts_winner : 88
145.04/22.96	c (18,0) c ForcedImports_0 : 0
145.04/22.96	c (18,0) c ForcedImports_1 : 0
145.04/22.96	c (18,0) c ForcedImports_2 : 0
145.04/22.96	c (18,0) c ForcedImports_3 : 0
145.04/22.96	c (18,0) c ForcedImports_4 : 0
145.04/22.96	c (18,0) c ForcedImports_5 : 0
145.04/22.96	c (18,0) c ForcedImports_6 : 0
145.04/22.96	c (18,0) c ForcedImports_7 : 0
145.04/22.96	c (18,0) c ForcedImports_total : 0
145.04/22.96	c (18,0) c ForcedImports_winner : 0
145.04/22.96	c (18,0) c PropsBinClauses_0 : 38371750
145.04/22.96	c (18,0) c PropsBinClauses_1 : 37636972
145.04/22.96	c (18,0) c PropsBinClauses_2 : 38810139
145.04/22.96	c (18,0) c PropsBinClauses_3 : 38438775
145.04/22.96	c (18,0) c PropsBinClauses_4 : 38238821
145.04/22.96	c (18,0) c PropsBinClauses_5 : 38488382
145.04/22.96	c (18,0) c PropsBinClauses_6 : 38420653
145.04/22.96	c (18,0) c PropsBinClauses_7 : 38467562
145.04/22.96	c (18,0) c PropsBinClauses_total : 306873054
145.04/22.96	c (18,0) c PropsBinClauses_winner : 38810139
145.04/22.96	c (18,0) c PropsPreBlocker_0 : 348654632
145.04/22.96	c (18,0) c PropsPreBlocker_1 : 351637390
145.04/22.96	c (18,0) c PropsPreBlocker_2 : 354924320
145.04/22.96	c (18,0) c PropsPreBlocker_3 : 360181205
145.04/22.96	c (18,0) c PropsPreBlocker_4 : 351011719
145.04/22.96	c (18,0) c PropsPreBlocker_5 : 355066192
145.04/22.96	c (18,0) c PropsPreBlocker_6 : 352061027
145.04/22.96	c (18,0) c PropsPreBlocker_7 : 349839479
145.04/22.96	c (18,0) c PropsPreBlocker_total : 2823375964
145.04/22.96	c (18,0) c PropsPreBlocker_winner : 354924320
145.04/22.96	c (18,0) c PropsNotBlocker_0 : 134046244
145.04/22.96	c (18,0) c PropsNotBlocker_1 : 129050279
145.04/22.96	c (18,0) c PropsNotBlocker_2 : 132418589
145.04/22.96	c (18,0) c PropsNotBlocker_3 : 131447108
145.04/22.96	c (18,0) c PropsNotBlocker_4 : 130463836
145.04/22.96	c (18,0) c PropsNotBlocker_5 : 131323591
145.04/22.96	c (18,0) c PropsNotBlocker_6 : 132900193
145.04/22.96	c (18,0) c PropsNotBlocker_7 : 131581312
145.04/22.96	c (18,0) c PropsNotBlocker_total : 1053231152
145.04/22.96	c (18,0) c PropsNotBlocker_winner : 132418589
145.04/22.96	c (18,0) c PropsLitFullScans_0 : 690054507
145.04/22.96	c (18,0) c PropsLitFullScans_1 : 690112757
145.04/22.96	c (18,0) c PropsLitFullScans_2 : 693602671
145.04/22.96	c (18,0) c PropsLitFullScans_3 : 702073208
145.04/22.96	c (18,0) c PropsLitFullScans_4 : 690069034
145.04/22.96	c (18,0) c PropsLitFullScans_5 : 693805184
145.04/22.96	c (18,0) c PropsLitFullScans_6 : 693199815
145.04/22.96	c (18,0) c PropsLitFullScans_7 : 696134662
145.04/22.96	c (18,0) c PropsLitFullScans_total : 5549051838
145.04/22.96	c (18,0) c PropsLitFullScans_winner : 693602671
145.04/22.96	c (18,0) c LitScanFractions_0 : 43827
145.04/22.96	c (18,0) c LitScanFractions_1 : 86242
145.04/22.96	c (18,0) c LitScanFractions_2 : 47638
145.04/22.96	c (18,0) c LitScanFractions_3 : 56334
145.04/22.96	c (18,0) c LitScanFractions_4 : 46458
145.04/22.96	c (18,0) c LitScanFractions_5 : 54852
145.04/22.96	c (18,0) c LitScanFractions_6 : 90667
145.04/22.96	c (18,0) c LitScanFractions_7 : 90782
145.04/22.96	c (18,0) c LitScanFractions_total : 516800
145.04/22.96	c (18,0) c LitScanFractions_winner : 47638
145.04/22.96	c (18,0) c DecisionLevel0_0 : 101
145.04/22.96	c (18,0) c DecisionLevel0_1 : 102
145.04/22.96	c (18,0) c DecisionLevel0_2 : 88
145.04/22.96	c (18,0) c DecisionLevel0_3 : 100
145.04/22.96	c (18,0) c DecisionLevel0_4 : 93
145.04/22.96	c (18,0) c DecisionLevel0_5 : 106
145.04/22.96	c (18,0) c DecisionLevel0_6 : 86
145.04/22.96	c (18,0) c DecisionLevel0_7 : 98
145.04/22.96	c (18,0) c DecisionLevel0_total : 774
145.04/22.96	c (18,0) c DecisionLevel0_winner : 88
145.04/22.96	c (18,0) c Periods_0 : 115
145.04/22.96	c (18,0) c Periods_1 : 115
145.04/22.96	c (18,0) c Periods_2 : 115
145.04/22.96	c (18,0) c Periods_3 : 117
145.04/22.96	c (18,0) c Periods_4 : 115
145.04/22.96	c (18,0) c Periods_5 : 115
145.04/22.96	c (18,0) c Periods_6 : 115
145.04/22.96	c (18,0) c Periods_7 : 116
145.04/22.96	c (18,0) c Periods_total : 923
145.04/22.96	c (18,0) c Periods_winner : 115
145.04/22.96	c (18,0) c Margin_0 : 20
145.04/22.96	c (18,0) c Margin_1 : 20
145.04/22.96	c (18,0) c Margin_2 : 20
145.04/22.96	c (18,0) c Margin_3 : 20
145.04/22.96	c (18,0) c Margin_4 : 20
145.04/22.96	c (18,0) c Margin_5 : 20
145.04/22.96	c (18,0) c Margin_6 : 20
145.04/22.96	c (18,0) c Margin_7 : 20
145.04/22.96	c (18,0) c Margin_total : 160
145.04/22.96	c (18,0) c Margin_winner : 20
145.04/22.96	c (18,0) c Exported_0 : 5436
145.04/22.96	c (18,0) c Exported_1 : 5398
145.04/22.96	c (18,0) c Exported_2 : 5599
145.04/22.96	c (18,0) c Exported_3 : 5773
145.04/22.96	c (18,0) c Exported_4 : 5485
145.04/22.96	c (18,0) c Exported_5 : 5243
145.04/22.96	c (18,0) c Exported_6 : 5760
145.04/22.96	c (18,0) c Exported_7 : 6117
145.04/22.96	c (18,0) c Exported_total : 44811
145.04/22.96	c (18,0) c Exported_winner : 5599
145.04/22.96	c (18,0) c Imported_0 : 33701
145.04/22.96	c (18,0) c Imported_1 : 33499
145.04/22.96	c (18,0) c Imported_2 : 34139
145.04/22.96	c (18,0) c Imported_3 : 34513
145.04/22.96	c (18,0) c Imported_4 : 34219
145.04/22.96	c (18,0) c Imported_5 : 34548
145.04/22.96	c (18,0) c Imported_6 : 34010
145.04/22.96	c (18,0) c Imported_7 : 33901
145.04/22.96	c (18,0) c Imported_total : 272530
145.04/22.96	c (18,0) c Imported_winner : 34139
145.04/22.96	c (18,0) c Good_0 : 70
145.04/22.96	c (18,0) c Good_1 : 68
145.04/22.96	c (18,0) c Good_2 : 70
145.04/22.96	c (18,0) c Good_3 : 78
145.04/22.96	c (18,0) c Good_4 : 75
145.04/22.96	c (18,0) c Good_5 : 67
145.04/22.96	c (18,0) c Good_6 : 75
145.04/22.96	c (18,0) c Good_7 : 74
145.04/22.96	c (18,0) c Good_total : 577
145.04/22.96	c (18,0) c Good_winner : 70
145.04/22.96	c (18,0) c Purge_0 : 33631
145.04/22.96	c (18,0) c Purge_1 : 33431
145.04/22.96	c (18,0) c Purge_2 : 34069
145.04/22.96	c (18,0) c Purge_3 : 34435
145.04/22.96	c (18,0) c Purge_4 : 34144
145.04/22.96	c (18,0) c Purge_5 : 34481
145.04/22.96	c (18,0) c Purge_6 : 33935
145.04/22.96	c (18,0) c Purge_7 : 33827
145.04/22.96	c (18,0) c Purge_total : 271953
145.04/22.96	c (18,0) c Purge_winner : 34069
145.04/22.96	c (18,0) c Promoted_0 : 3761
145.04/22.96	c (18,0) c Promoted_1 : 3663
145.04/22.96	c (18,0) c Promoted_2 : 3829
145.04/22.96	c (18,0) c Promoted_3 : 3686
145.04/22.96	c (18,0) c Promoted_4 : 3648
145.04/22.96	c (18,0) c Promoted_5 : 3587
145.04/22.96	c (18,0) c Promoted_6 : 3850
145.04/22.96	c (18,0) c Promoted_7 : 3666
145.04/22.96	c (18,0) c Promoted_total : 29690
145.04/22.96	c (18,0) c Promoted_winner : 3829
145.04/22.96	c (18,0) c Remove_Imp_0 : 11633
145.04/22.96	c (18,0) c Remove_Imp_1 : 10705
145.04/22.96	c (18,0) c Remove_Imp_2 : 11089
145.04/22.96	c (18,0) c Remove_Imp_3 : 9312
145.04/22.96	c (18,0) c Remove_Imp_4 : 9759
145.04/22.96	c (18,0) c Remove_Imp_5 : 10890
145.04/22.96	c (18,0) c Remove_Imp_6 : 8926
145.04/22.96	c (18,0) c Remove_Imp_7 : 10132
145.04/22.96	c (18,0) c Remove_Imp_total : 82446
145.04/22.96	c (18,0) c Remove_Imp_winner : 11089
145.04/22.96	c (18,0) c Blocked_Reuse_0 : 0
145.04/22.96	c (18,0) c Blocked_Reuse_1 : 0
145.04/22.96	c (18,0) c Blocked_Reuse_2 : 0
145.04/22.96	c (18,0) c Blocked_Reuse_3 : 0
145.04/22.96	c (18,0) c Blocked_Reuse_4 : 0
145.04/22.96	c (18,0) c Blocked_Reuse_5 : 0
145.04/22.96	c (18,0) c Blocked_Reuse_6 : 0
145.04/22.96	c (18,0) c Blocked_Reuse_7 : 0
145.04/22.96	c (18,0) c Blocked_Reuse_total : 0
145.04/22.96	c (18,0) c Blocked_Reuse_winner : 0
145.04/22.96	c (18,0) c Unaries_0 : 2
145.04/22.96	c (18,0) c Unaries_1 : 0
145.04/22.96	c (18,0) c Unaries_2 : 0
145.04/22.96	c (18,0) c Unaries_3 : 0
145.04/22.96	c (18,0) c Unaries_4 : 0
145.04/22.96	c (18,0) c Unaries_5 : 1
145.04/22.96	c (18,0) c Unaries_6 : 0
145.04/22.96	c (18,0) c Unaries_7 : 0
145.04/22.96	c (18,0) c Unaries_total : 3
145.04/22.96	c (18,0) c Unaries_winner : 0
145.04/22.96	c (18,0) c Binaries_0 : 15
145.04/22.96	c (18,0) c Binaries_1 : 12
145.04/22.96	c (18,0) c Binaries_2 : 13
145.04/22.96	c (18,0) c Binaries_3 : 8
145.04/22.96	c (18,0) c Binaries_4 : 8
145.04/22.96	c (18,0) c Binaries_5 : 19
145.04/22.96	c (18,0) c Binaries_6 : 9
145.04/22.96	c (18,0) c Binaries_7 : 14
145.04/22.96	c (18,0) c Binaries_total : 98
145.04/22.96	c (18,0) c Binaries_winner : 13
145.04/22.96	c (18,0) c Glues_0 : 124
145.04/22.96	c (18,0) c Glues_1 : 98
145.04/22.96	c (18,0) c Glues_2 : 116
145.04/22.96	c (18,0) c Glues_3 : 99
145.04/22.96	c (18,0) c Glues_4 : 110
145.04/22.96	c (18,0) c Glues_5 : 108
145.04/22.96	c (18,0) c Glues_6 : 100
145.04/22.96	c (18,0) c Glues_7 : 96
145.04/22.96	c (18,0) c Glues_total : 851
145.04/22.96	c (18,0) c Glues_winner : 116
145.04/22.96	c (18,0) c RunningTime_0 : 17.331694
145.04/22.96	c (18,0) c RunningTime_1 : 17.103070
145.04/22.96	c (18,0) c RunningTime_2 : 16.922354
145.04/22.96	c (18,0) c RunningTime_3 : 17.004336
145.04/22.96	c (18,0) c RunningTime_4 : 17.218050
145.04/22.96	c (18,0) c RunningTime_5 : 17.024095
145.04/22.96	c (18,0) c RunningTime_6 : 16.970177
145.04/22.96	c (18,0) c RunningTime_7 : 16.937278
145.04/22.96	c (18,0) c RunningTime_total : 136.511054
145.04/22.96	c (18,0) c RunningTime_winner : 16.922354
145.04/22.96	c (18,0) c WaitingTime_0 : 0.000118
145.04/22.96	c (18,0) c WaitingTime_1 : 0.000161
145.04/22.96	c (18,0) c WaitingTime_2 : 0.000236
145.04/22.96	c (18,0) c WaitingTime_3 : 0.000182
145.04/22.96	c (18,0) c WaitingTime_4 : 0.000182
145.04/22.96	c (18,0) c WaitingTime_5 : 0.000169
145.04/22.96	c (18,0) c WaitingTime_6 : 0.000192
145.04/22.96	c (18,0) c WaitingTime_7 : 0.000225
145.04/22.96	c (18,0) c WaitingTime_total : 0.001465
145.04/22.96	c (18,0) c WaitingTime_winner : 0.000236
145.04/22.96	c (18,0) c ExchangingTime_0 : 0.016326
145.04/22.96	c (18,0) c ExchangingTime_1 : 0.025284
145.04/22.96	c (18,0) c ExchangingTime_2 : 0.024276
145.04/22.96	c (18,0) c ExchangingTime_3 : 0.023521
145.04/22.96	c (18,0) c ExchangingTime_4 : 0.015284
145.04/22.96	c (18,0) c ExchangingTime_5 : 0.015016
145.04/22.96	c (18,0) c ExchangingTime_6 : 0.023656
145.04/22.96	c (18,0) c ExchangingTime_7 : 0.017339
145.04/22.96	c (18,0) c ExchangingTime_total : 0.160702
145.04/22.96	c (18,0) c ExchangingTime_winner : 0.024276
145.04/22.96	c (18,0) c PeriodProcTime_0 : 0.001316
145.04/22.96	c (18,0) c PeriodProcTime_1 : 0.001128
145.04/22.96	c (18,0) c PeriodProcTime_2 : 0.001307
145.04/22.96	c (18,0) c PeriodProcTime_3 : 0.001255
145.04/22.96	c (18,0) c PeriodProcTime_4 : 0.001356
145.04/22.96	c (18,0) c PeriodProcTime_5 : 0.001193
145.04/22.96	c (18,0) c PeriodProcTime_6 : 0.001394
145.04/22.96	c (18,0) c PeriodProcTime_7 : 0.001297
145.04/22.96	c (18,0) c PeriodProcTime_total : 0.010247
145.04/22.96	c (18,0) c PeriodProcTime_winner : 0.001307
145.04/22.96	c (18,0) c SolvingTime_0 : 17.349453
145.04/22.96	c (18,0) c SolvingTime_1 : 17.129643
145.04/22.96	c (18,0) c SolvingTime_2 : 16.948173
145.04/22.96	c (18,0) c SolvingTime_3 : 17.029294
145.04/22.96	c (18,0) c SolvingTime_4 : 17.234873
145.04/22.96	c (18,0) c SolvingTime_5 : 17.040473
145.04/22.96	c (18,0) c SolvingTime_6 : 16.995420
145.04/22.96	c (18,0) c SolvingTime_7 : 16.956139
145.04/22.96	c (18,0) c SolvingTime_total : 136.683468
145.04/22.96	c (18,0) c SolvingTime_winner : 16.948173
145.04/22.96	c (18,0) c PropagationTime_0 : 14.753862
145.04/22.96	c (18,0) c PropagationTime_1 : 14.485606
145.04/22.96	c (18,0) c PropagationTime_2 : 14.322743
145.04/22.96	c (18,0) c PropagationTime_3 : 14.367974
145.04/22.96	c (18,0) c PropagationTime_4 : 14.513133
145.04/22.96	c (18,0) c PropagationTime_5 : 14.421192
145.04/22.96	c (18,0) c PropagationTime_6 : 14.364326
145.04/22.96	c (18,0) c PropagationTime_7 : 14.299642
145.04/22.96	c (18,0) c PropagationTime_total : 115.528478
145.04/22.96	c (18,0) c PropagationTime_winner : 14.322743
145.04/22.96	c (18,0) c AnalysisTime_0 : 2.050776
145.04/22.96	c (18,0) c AnalysisTime_1 : 2.116143
145.04/22.96	c (18,0) c AnalysisTime_2 : 2.066894
145.04/22.96	c (18,0) c AnalysisTime_3 : 2.116820
145.04/22.96	c (18,0) c AnalysisTime_4 : 2.151895
145.04/22.96	c (18,0) c AnalysisTime_5 : 2.067430
145.04/22.96	c (18,0) c AnalysisTime_6 : 2.089348
145.04/22.96	c (18,0) c AnalysisTime_7 : 2.130955
145.04/22.96	c (18,0) c AnalysisTime_total : 16.790261
145.04/22.96	c (18,0) c AnalysisTime_winner : 2.066894
145.04/22.96	c (18,0) c ReductionTime_0 : 0.013684
145.04/22.96	c (18,0) c ReductionTime_1 : 0.013331
145.04/22.96	c (18,0) c ReductionTime_2 : 0.013506
145.04/22.96	c (18,0) c ReductionTime_3 : 0.012860
145.04/22.96	c (18,0) c ReductionTime_4 : 0.013344
145.04/22.96	c (18,0) c ReductionTime_5 : 0.013664
145.04/22.96	c (18,0) c ReductionTime_6 : 0.012669
145.04/22.96	c (18,0) c ReductionTime_7 : 0.013341
145.04/22.96	c (18,0) c ReductionTime_total : 0.106400
145.04/22.96	c (18,0) c ReductionTime_winner : 0.013506
145.04/22.96	c (18,0) c SimplifyTime_0 : 0.034591
145.04/22.96	c (18,0) c SimplifyTime_1 : 0.031889
145.04/22.96	c (18,0) c SimplifyTime_2 : 0.029808
145.04/22.96	c (18,0) c SimplifyTime_3 : 0.032388
145.04/22.96	c (18,0) c SimplifyTime_4 : 0.030639
145.04/22.96	c (18,0) c SimplifyTime_5 : 0.033803
145.04/22.96	c (18,0) c SimplifyTime_6 : 0.031308
145.04/22.97	c (18,0) c SimplifyTime_7 : 0.030602
145.04/22.97	c (18,0) c SimplifyTime_total : 0.255028
145.04/22.97	c (18,0) c SimplifyTime_winner : 0.029808
145.04/22.97	c (18,0) c UsedRateTime_0 : 0.000000
145.04/22.97	c (18,0) c UsedRateTime_1 : 0.000000
145.04/22.97	c (18,0) c UsedRateTime_2 : 0.000000
145.04/22.97	c (18,0) c UsedRateTime_3 : 0.000000
145.04/22.97	c (18,0) c UsedRateTime_4 : 0.000000
145.04/22.97	c (18,0) c UsedRateTime_5 : 0.000000
145.04/22.97	c (18,0) c UsedRateTime_6 : 0.000000
145.04/22.97	c (18,0) c UsedRateTime_7 : 0.000000
145.04/22.97	c (18,0) c UsedRateTime_total : 0.000000
145.04/22.97	c (18,0) c UsedRateTime_winner : 0.000000
145.04/22.97	c (18,0) c OverlapRateTime_0 : 0.000000
145.04/22.97	c (18,0) c OverlapRateTime_1 : 0.000000
145.04/22.97	c (18,0) c OverlapRateTime_2 : 0.000000
145.04/22.97	c (18,0) c OverlapRateTime_3 : 0.000000
145.04/22.97	c (18,0) c OverlapRateTime_4 : 0.000000
145.04/22.97	c (18,0) c OverlapRateTime_5 : 0.000000
145.04/22.97	c (18,0) c OverlapRateTime_6 : 0.000000
145.04/22.97	c (18,0) c OverlapRateTime_7 : 0.000000
145.04/22.97	c (18,0) c OverlapRateTime_total : 0.000000
145.04/22.97	c (18,0) c OverlapRateTime_winner : 0.000000
145.04/22.97	c (18,0) c
145.04/22.97	c (18,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
145.04/22.97	c (18,0) c
145.04/22.97	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.04/22.97	c (18,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
145.04/22.97	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.04/22.97	c (18,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
145.04/22.97	c (18,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
145.04/22.97	c (18,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
145.04/22.97	c (18,0) c | Initial random_seed   |  874813261 | 1429655045 | 1164191408 | 1121076109 |  765999774 | 1843257857 | 1216327291 | 1098679832 |
145.04/22.97	c (18,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
145.04/22.97	c (18,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
145.04/22.97	c (18,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
145.04/22.97	c (18,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
145.04/22.97	c (18,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
145.04/22.97	c (18,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
145.04/22.97	c (18,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
145.04/22.97	c (18,0) c | var_decay             |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |
145.04/22.97	c (18,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
145.04/22.97	c (18,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
145.04/22.97	c (18,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
145.04/22.97	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.04/22.97	c (18,0) 
145.04/22.97	c (18,0) s SATISFIABLE
145.04/23.01	c (18,0) SatSolver.solve End
145.04/23.01	c (18,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
145.04/23.01	c (18,0) Show results Begin
145.58/23.11	c (18,0) x[0] = 391
145.58/23.11	c (18,0) x[1] = 338
145.58/23.11	c (18,0) x[2] = 391
145.58/23.11	c (18,0) x[3] = 378
145.58/23.11	c (18,0) x[4] = 378
145.58/23.11	c (18,0) x[5] = 397
145.58/23.11	c (18,0) x[6] = 346
145.58/23.11	c (18,0) x[7] = 263
145.58/23.11	c (18,0) x[8] = 156
145.58/23.11	c (18,0) x[9] = 246
145.58/23.11	c (18,0) x[10] = 205
145.58/23.11	c (18,0) x[11] = 346
145.58/23.11	c (18,0) x[12] = 338
145.58/23.11	c (18,0) x[13] = 300
145.58/23.11	c (18,0) x[14] = 246
145.58/23.11	c (18,0) x[15] = 246
145.58/23.11	c (18,0) x[16] = 156
145.58/23.11	c (18,0) x[17] = 263
145.58/23.11	c (18,0) x[18] = 0
145.58/23.11	c (18,0) x[19] = 422
145.58/23.11	c (18,0) x[20] = 205
145.58/23.11	c (18,0) x[21] = 0
145.58/23.11	c (18,0) x[22] = 401
145.58/23.11	c (18,0) x[23] = 391
145.58/23.11	c (18,0) x[24] = 0
145.58/23.11	c (18,0) y[0] = 179
145.58/23.11	c (18,0) y[1] = 84
145.58/23.11	c (18,0) y[2] = 401
145.58/23.12	c (18,0) y[3] = 179
145.58/23.12	c (18,0) y[4] = 160
145.58/23.12	c (18,0) y[5] = 160
145.58/23.12	c (18,0) y[6] = 160
145.58/23.12	c (18,0) y[7] = 246
145.58/23.12	c (18,0) y[8] = 353
145.58/23.12	c (18,0) y[9] = 192
145.58/23.12	c (18,0) y[10] = 353
145.58/23.12	c (18,0) y[11] = 84
145.58/23.12	c (18,0) y[12] = 0
145.58/23.12	c (18,0) y[13] = 192
145.58/23.12	c (18,0) y[14] = 0
145.58/23.12	c (18,0) y[15] = 92
145.58/23.12	c (18,0) y[16] = 246
145.58/23.12	c (18,0) y[17] = 283
145.58/23.12	c (18,0) y[18] = 246
145.58/23.12	c (18,0) y[19] = 0
145.58/23.12	c (18,0) y[20] = 411
145.58/23.12	c (18,0) y[21] = 402
145.58/23.12	c (18,0) y[22] = 401
145.58/23.12	c (18,0) y[23] = 185
145.58/23.12	c (18,0) y[24] = 0
145.58/23.12	s SATISFIABLE
145.58/23.12	v <instantiation>
145.58/23.12	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24]</list>
145.58/23.12	v     <values>391 338 391 378 378 397 346 263 156 246 205 346 338 300 246 246 156 263 0 422 205 0 401 391 0 179 84 401 179 160 160 160 246 353 192 353 84 0 192 0 92 246 283 246 0 411 402 401 185 0</values>
145.58/23.12	v </instantiation>
145.58/23.12	c (18,0) Show results End
145.58/23.12	c (18,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
145.58/23.12	c (18,0) 18,18,STOP-AFTER(ALL)
145.58/23.12	c END-Prog: Tue Sep 24 17:04:18 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 (14069 MiB free)
  memory of node 1: 16384 MiB (10977 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405434-1569337476/watcher-4405434-1569337476 -o /var/tmp/evaluation-result-4405434-1569337476/solver-4405434-1569337476 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405434-1569337476.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=10421, runsolver pid=10418
Current StackSize limit: 8192 KiB


[startup+0.100491 s]*
/proc/loadavg: 5.12 2.81 3.01 2/213 10443
/proc/meminfo: memFree=25552356/32770624 swapFree=66997508/67108860
[pid=10421] ppid=10418 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10421/stat : 10421 (scop.sh) S 10418 10421 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509685946 115843072 349 33554432000 4194304 5098028 140737237008672 140737237005928 139960874267260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38928384 140737237013244 140737237013592 140737237013592 140737237016521 0
/proc/10421/statm: 28282 349 296 221 0 87 0
[pid=10424] ppid=10421 vsize=27314120 memory=106268 CPUtime=0.11 cores=0-7
/proc/10424/stat : 10424 (java) S 10421 10421 9260 0 -1 1077944320 6133 0 0 0 8 3 0 0 20 0 20 0 509685946 27969658880 26567 33554432000 4194304 4196468 140730055668496 140730055651040 140065969901303 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
/proc/10424/statm: 6828530 26567 2798 1 0 6790935 0
[pid=10424/tid=10425] ppid=10421 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/10424/task/10425/stat : 10425 (java) R 10421 10421 9260 0 -1 4202560 4241 0 0 0 7 2 0 0 20 0 20 0 509685946 27969658880 26567 33554432000 4194304 4196468 140730055668496 140065941731368 140065953944933 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10426] ppid=10421 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10424/task/10426/stat : 10426 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 26567 33554432000 4194304 4196468 140730055668496 140065974144144 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10427] ppid=10421 vsize=27314120 memory=140687348328064 CPUtime=0 cores=0-7
/proc/10424/task/10427/stat : 10427 (java) S 10421 10421 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 26567 33554432000 4194304 4196468 140730055668496 140065391721488 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10428] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10428/stat : 10428 (java) S 10421 10421 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 26567 33554432000 4194304 4196468 140730055668496 140065390668688 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10429] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10429/stat : 10429 (java) S 10421 10421 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 26567 33554432000 4194304 4196468 140730055668496 140065389615888 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10430] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10430/stat : 10430 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 26567 33554432000 4194304 4196468 140730055668496 140065388563088 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10431] ppid=10421 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10424/task/10431/stat : 10431 (java) S 10421 10421 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 26567 33554432000 4194304 4196468 140730055668496 140065387510288 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10432] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10432/stat : 10432 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 26567 33554432000 4194304 4196468 140730055668496 140065386457488 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10433] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10433/stat : 10433 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 26567 33554432000 4194304 4196468 140730055668496 140065385404688 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10434] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10434/stat : 10434 (java) S 10421 10421 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509685950 27969658880 26567 33554432000 4194304 4196468 140730055668496 140064357210992 140065969912450 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10435] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10435/stat : 10435 (java) S 10421 10421 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509685951 27969658880 26567 33554432000 4194304 4196468 140730055668496 140063916680736 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10436] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10436/stat : 10436 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685951 27969658880 26567 33554432000 4194304 4196468 140730055668496 140063648245104 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10437] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10437/stat : 10437 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685953 27969658880 26567 33554432000 4194304 4196468 140730055668496 140063273736528 140065969919899 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10438] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10438/stat : 10438 (java) S 10421 10421 9260 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 509685953 27969658880 26567 33554432000 4194304 4196468 140730055668496 140064356157808 140065969912450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10439] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10439/stat : 10439 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685953 27969658880 26567 33554432000 4194304 4196468 140730055668496 140064355105008 140065969912450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10440] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10440/stat : 10440 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685953 27969658880 26567 33554432000 4194304 4196468 140730055668496 140064354052208 140065969912450 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10441] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10441/stat : 10441 (java) S 10421 10421 9260 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 20 0 509685953 27969658880 26567 33554432000 4194304 4196468 140730055668496 140064352999408 140065969912450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10442] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10442/stat : 10442 (java) S 10421 10421 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509685954 27969658880 26567 33554432000 4194304 4196468 140730055668496 140062775831648 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10443] ppid=10421 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10424/task/10443/stat : 10443 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685954 27969658880 26567 33554432000 4194304 4196468 140730055668496 140064351947824 140065969912450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107664 KiB

[startup+0.210517 s]*
/proc/loadavg: 5.12 2.81 3.01 3/213 10443
/proc/meminfo: memFree=25534260/32770624 swapFree=66997508/67108860
[pid=10421] ppid=10418 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10421/stat : 10421 (scop.sh) S 10418 10421 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509685946 115843072 349 33554432000 4194304 5098028 140737237008672 140737237005928 139960874267260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38928384 140737237013244 140737237013592 140737237013592 140737237016521 0
/proc/10421/statm: 28282 349 296 221 0 87 0
[pid=10424] ppid=10421 vsize=27314120 memory=123232 CPUtime=0.24 cores=0-7
/proc/10424/stat : 10424 (java) S 10421 10421 9260 0 -1 1077944320 11024 0 0 0 20 4 0 0 20 0 20 0 509685946 27969658880 30808 33554432000 4194304 4196468 140730055668496 140730055651040 140065969901303 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
/proc/10424/statm: 6828530 30808 2954 1 0 6790935 0
[pid=10424/tid=10425] ppid=10421 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/10424/task/10425/stat : 10425 (java) R 10421 10421 9260 0 -1 4202560 8715 0 0 0 16 3 0 0 20 0 20 0 509685946 27969658880 30808 33554432000 4194304 4196468 140730055668496 140065941713680 140065951466294 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10426] ppid=10421 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/10424/task/10426/stat : 10426 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 30808 33554432000 4194304 4196468 140730055668496 140065974144144 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10427] ppid=10421 vsize=27314120 memory=140687348338364 CPUtime=0 cores=0-7
/proc/10424/task/10427/stat : 10427 (java) S 10421 10421 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 30808 33554432000 4194304 4196468 140730055668496 140065391721488 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10428] ppid=10421 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10424/task/10428/stat : 10428 (java) S 10421 10421 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 30808 33554432000 4194304 4196468 140730055668496 140065390668688 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10429] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10429/stat : 10429 (java) S 10421 10421 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 30808 33554432000 4194304 4196468 140730055668496 140065389615888 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10430] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10430/stat : 10430 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 30808 33554432000 4194304 4196468 140730055668496 140065388563088 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10431] ppid=10421 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10424/task/10431/stat : 10431 (java) S 10421 10421 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 30808 33554432000 4194304 4196468 140730055668496 140065387510288 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10432] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10432/stat : 10432 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 30808 33554432000 4194304 4196468 140730055668496 140065386457488 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10433] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10433/stat : 10433 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 30808 33554432000 4194304 4196468 140730055668496 140065385404688 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10434] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10434/stat : 10434 (java) S 10421 10421 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509685950 27969658880 30808 33554432000 4194304 4196468 140730055668496 140064357210992 140065969912450 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10435] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10435/stat : 10435 (java) S 10421 10421 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509685951 27969658880 30808 33554432000 4194304 4196468 140730055668496 140063916680736 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10436] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10436/stat : 10436 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685951 27969658880 30808 33554432000 4194304 4196468 140730055668496 140063648245104 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10437] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10437/stat : 10437 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685953 27969658880 30808 33554432000 4194304 4196468 140730055668496 140063273736528 140065969919899 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10438] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10438/stat : 10438 (java) S 10421 10421 9260 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 509685953 27969658880 30808 33554432000 4194304 4196468 140730055668496 140064356157808 140065969912450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10439] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10439/stat : 10439 (java) S 10421 10421 9260 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 509685953 27969658880 30808 33554432000 4194304 4196468 140730055668496 140064355105008 140065969912450 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10440] ppid=10421 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10424/task/10440/stat : 10440 (java) S 10421 10421 9260 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 20 0 509685953 27969658880 30808 33554432000 4194304 4196468 140730055668496 140064354052208 140065969912450 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10441] ppid=10421 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/10424/task/10441/stat : 10441 (java) S 10421 10421 9260 0 -1 1077944384 497 0 0 0 2 0 0 0 20 0 20 0 509685953 27969658880 30808 33554432000 4194304 4196468 140730055668496 140064352999408 140065969912450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10442] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10442/stat : 10442 (java) S 10421 10421 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509685954 27969658880 30808 33554432000 4194304 4196468 140730055668496 140062775831648 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10443] ppid=10421 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10424/task/10443/stat : 10443 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685954 27969658880 30808 33554432000 4194304 4196468 140730055668496 140064351947824 140065969912450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124628 KiB

[startup+0.310426 s]*
/proc/loadavg: 5.12 2.81 3.01 2/213 10443
/proc/meminfo: memFree=25531628/32770624 swapFree=66997508/67108860
[pid=10421] ppid=10418 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10421/stat : 10421 (scop.sh) S 10418 10421 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509685946 115843072 349 33554432000 4194304 5098028 140737237008672 140737237005928 139960874267260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38928384 140737237013244 140737237013592 140737237013592 140737237016521 0
/proc/10421/statm: 28282 349 296 221 0 87 0
[pid=10424] ppid=10421 vsize=27314120 memory=127456 CPUtime=0.42 cores=0-7
/proc/10424/stat : 10424 (java) S 10421 10421 9260 0 -1 1077944320 12261 0 0 0 37 5 0 0 20 0 20 0 509685946 27969658880 31864 33554432000 4194304 4196468 140730055668496 140730055651040 140065969901303 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
/proc/10424/statm: 6828530 31864 3012 1 0 6790935 0
[pid=10424/tid=10425] ppid=10421 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/10424/task/10425/stat : 10425 (java) R 10421 10421 9260 0 -1 4202560 9770 0 0 0 26 4 0 0 20 0 20 0 509685946 27969658880 31864 33554432000 4194304 4196468 140730055668496 140065941684320 140065953944933 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10426] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10426/stat : 10426 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 31864 33554432000 4194304 4196468 140730055668496 140065974144144 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10427] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10427/stat : 10427 (java) S 10421 10421 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 31864 33554432000 4194304 4196468 140730055668496 140065391721488 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10428] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10428/stat : 10428 (java) S 10421 10421 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 31864 33554432000 4194304 4196468 140730055668496 140065390668688 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10429] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10429/stat : 10429 (java) S 10421 10421 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 31864 33554432000 4194304 4196468 140730055668496 140065389615888 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10430] ppid=10421 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/10424/task/10430/stat : 10430 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 31864 33554432000 4194304 4196468 140730055668496 140065388563088 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10431] ppid=10421 vsize=27314120 memory=140687223911343 CPUtime=0 cores=0-7
/proc/10424/task/10431/stat : 10431 (java) S 10421 10421 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 31864 33554432000 4194304 4196468 140730055668496 140065387510288 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10432] ppid=10421 vsize=27314120 memory=140687223913648 CPUtime=0 cores=0-7
/proc/10424/task/10432/stat : 10432 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 31864 33554432000 4194304 4196468 140730055668496 140065386457488 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10433] ppid=10421 vsize=27314120 memory=140687223915952 CPUtime=0 cores=0-7
/proc/10424/task/10433/stat : 10433 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685949 27969658880 31864 33554432000 4194304 4196468 140730055668496 140065385404688 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10434] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10434/stat : 10434 (java) S 10421 10421 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509685950 27969658880 31864 33554432000 4194304 4196468 140730055668496 140064357210992 140065969912450 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10435] ppid=10421 vsize=27314120 memory=281374447838864 CPUtime=0 cores=0-7
/proc/10424/task/10435/stat : 10435 (java) S 10421 10421 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509685951 27969658880 31864 33554432000 4194304 4196468 140730055668496 140063916680736 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10436] ppid=10421 vsize=27314120 memory=281374447845776 CPUtime=0 cores=0-7
/proc/10424/task/10436/stat : 10436 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685951 27969658880 31864 33554432000 4194304 4196468 140730055668496 140063648245104 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10437] ppid=10421 vsize=27314120 memory=281374447786928 CPUtime=0 cores=0-7
/proc/10424/task/10437/stat : 10437 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685953 27969658880 31864 33554432000 4194304 4196468 140730055668496 140063273736528 140065969919899 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10438] ppid=10421 vsize=27314120 memory=281374447859600 CPUtime=0 cores=0-7
/proc/10424/task/10438/stat : 10438 (java) R 10421 10421 9260 0 -1 4202560 311 0 0 0 0 0 0 0 20 0 20 0 509685953 27969658880 31864 33554432000 4194304 4196468 140730055668496 140064356157808 140065969913238 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10439] ppid=10421 vsize=27314120 memory=281374447866512 CPUtime=0.02 cores=0-7
/proc/10424/task/10439/stat : 10439 (java) S 10421 10421 9260 0 -1 1077944384 118 0 0 0 2 0 0 0 20 0 20 0 509685953 27969658880 31864 33554432000 4194304 4196468 140730055668496 140064355105008 140065969912450 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10440] ppid=10421 vsize=27314120 memory=281374447864208 CPUtime=0 cores=0-7
/proc/10424/task/10440/stat : 10440 (java) S 10421 10421 9260 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 20 0 509685953 27969658880 31864 33554432000 4194304 4196468 140730055668496 140064354052208 140065969912450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10441] ppid=10421 vsize=27314120 memory=281374447880368 CPUtime=0.07 cores=0-7
/proc/10424/task/10441/stat : 10441 (java) S 10421 10421 9260 0 -1 1077944384 546 0 0 0 7 0 0 0 20 0 20 0 509685953 27969658880 31864 33554432000 4194304 4196468 140730055668496 140064352999408 140065969912450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10442] ppid=10421 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10442/stat : 10442 (java) S 10421 10421 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509685954 27969658880 31864 33554432000 4194304 4196468 140730055668496 140062775831648 140065969911509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10443] ppid=10421 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10424/task/10443/stat : 10443 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685954 27969658880 31864 33554432000 4194304 4196468 140730055668496 140064351947824 140065969912450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128852 KiB

[startup+0.700957 s]
/proc/loadavg: 5.12 2.81 3.01 2/213 10443
/proc/meminfo: memFree=25507940/32770624 swapFree=66997508/67108860
[pid=10421] ppid=10418 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10421/stat : 10421 (scop.sh) S 10418 10421 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509685946 115843072 349 33554432000 4194304 5098028 140737237008672 140737237005928 139960874267260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38928384 140737237013244 140737237013592 140737237013592 140737237016521 0
/proc/10421/statm: 28282 349 296 221 0 87 0
[pid=10424] ppid=10421 vsize=27322516 memory=165632 CPUtime=1 cores=0-7
/proc/10424/stat : 10424 (java) S 10421 10421 9260 0 -1 1077944320 20004 0 0 0 92 8 0 0 20 0 20 0 509685946 27978256384 41408 33554432000 4194304 4196468 140730055668496 140730055651040 140065969901303 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
/proc/10424/statm: 6830629 41408 3186 1 0 6791959 0
[pid=10424/tid=10425] ppid=10421 vsize=27322516 memory=281374448238256 CPUtime=0.68 cores=0-7
/proc/10424/task/10425/stat : 10425 (java) R 10421 10421 9260 0 -1 4202560 16991 0 0 0 62 6 0 0 20 0 20 0 509685946 27978256384 41408 33554432000 4194304 4196468 140730055668496 140065941733040 140065953981790 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10426] ppid=10421 vsize=27322516 memory=140687224120176 CPUtime=0 cores=0-7
/proc/10424/task/10426/stat : 10426 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509685949 27978256384 41408 33554432000 4194304 4196468 140730055668496 140065974144144 140065969911509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10427] ppid=10421 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/10424/task/10427/stat : 10427 (java) S 10421 10421 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509685949 27978256384 41408 33554432000 4194304 4196468 140730055668496 140065391721488 140065969911509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0
[pid=10424/tid=10428] ppid=10421 vsize=27322516 memory=6124 CPUtime=0 cores=0-7
/proc/10424/task/10428/stat : 10428 (java) S 10421 10421 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509685949 27978256384 41408 33554432000 4194304 4196468 140730055668496 140065390668688 140065969911509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32063488 140730055672518 140730055672966 140730055672966 140730055675855 0

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

[pid=10444/tid=10445] ppid=10421 vsize=8414124 memory=7236830968489994323 CPUtime=0.75 cores=0-7
/proc/10444/task/10445/stat : 10445 (java) S 10421 10421 9260 0 -1 1077944384 17440 0 0 0 69 6 0 0 20 0 24 0 509686321 8616062976 29274 33554432000 4194304 4196468 140726065590464 140129216331680 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10446] ppid=10421 vsize=8414124 memory=7954320562483385172 CPUtime=0 cores=0-7
/proc/10444/task/10446/stat : 10446 (java) S 10421 10421 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509686322 8616062976 29274 33554432000 4194304 4196468 140726065590464 140129248733840 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10447] ppid=10421 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10444/task/10447/stat : 10447 (java) S 10421 10421 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509686322 8616062976 29274 33554432000 4194304 4196468 140726065590464 140128729541136 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10448] ppid=10421 vsize=8414124 memory=316941030790529338 CPUtime=0 cores=0-7
/proc/10444/task/10448/stat : 10448 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509686322 8616062976 29274 33554432000 4194304 4196468 140726065590464 140128728488336 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10449] ppid=10421 vsize=8414124 memory=15262532197681710 CPUtime=0 cores=0-7
/proc/10444/task/10449/stat : 10449 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509686322 8616062976 29274 33554432000 4194304 4196468 140726065590464 140128727435536 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10450] ppid=10421 vsize=8414124 memory=-6236875931223309970 CPUtime=0 cores=0-7
/proc/10444/task/10450/stat : 10450 (java) S 10421 10421 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509686322 8616062976 29274 33554432000 4194304 4196468 140726065590464 140128726383760 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10451] ppid=10421 vsize=8414124 memory=7100839852556125036 CPUtime=0 cores=0-7
/proc/10444/task/10451/stat : 10451 (java) S 10421 10421 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509686322 8616062976 29274 33554432000 4194304 4196468 140726065590464 140128725330960 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10452] ppid=10421 vsize=8414124 memory=8248082590378581562 CPUtime=0 cores=0-7
/proc/10444/task/10452/stat : 10452 (java) S 10421 10421 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509686322 8616062976 29274 33554432000 4194304 4196468 140726065590464 140128724278160 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10453] ppid=10421 vsize=8414124 memory=140687348389969 CPUtime=0 cores=0-7
/proc/10444/task/10453/stat : 10453 (java) S 10421 10421 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509686322 8616062976 29274 33554432000 4194304 4196468 140726065590464 140128723225360 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10454] ppid=10421 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10444/task/10454/stat : 10454 (java) S 10421 10421 9260 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509686323 8616062976 29274 33554432000 4194304 4196468 140726065590464 140128471198064 140129244502658 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10455] ppid=10421 vsize=8414124 memory=7444843076533644388 CPUtime=0 cores=0-7
/proc/10444/task/10455/stat : 10455 (java) S 10421 10421 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509686324 8616062976 29274 33554432000 4194304 4196468 140726065590464 140127535883296 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10456] ppid=10421 vsize=8414124 memory=5787220424116298340 CPUtime=0 cores=0-7
/proc/10444/task/10456/stat : 10456 (java) S 10421 10421 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509686324 8616062976 29274 33554432000 4194304 4196468 140726065590464 140127401661296 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10457] ppid=10421 vsize=8414124 memory=3628 CPUtime=0 cores=0-7
/proc/10444/task/10457/stat : 10457 (java) S 10421 10421 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509686327 8616062976 29274 33554432000 4194304 4196468 140726065590464 140127027156816 140129244510107 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10458] ppid=10421 vsize=8414124 memory=2241 CPUtime=0.03 cores=0-7
/proc/10444/task/10458/stat : 10458 (java) S 10421 10421 9260 0 -1 1077944384 459 0 0 0 3 0 0 0 20 0 24 0 509686327 8616062976 29274 33554432000 4194304 4196468 140726065590464 140128470145904 140129244502658 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10459] ppid=10421 vsize=8414124 memory=2208 CPUtime=0.07 cores=0-7
/proc/10444/task/10459/stat : 10459 (java) S 10421 10421 9260 0 -1 1077944384 389 0 0 0 7 0 0 0 20 0 24 0 509686327 8616062976 29274 33554432000 4194304 4196468 140726065590464 140128469093104 140129244502658 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10460] ppid=10421 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/10444/task/10460/stat : 10460 (java) S 10421 10421 9260 0 -1 1077944384 352 0 0 0 6 0 0 0 20 0 24 0 509686327 8616062976 29274 33554432000 4194304 4196468 140726065590464 140128468040304 140129244502658 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10461] ppid=10421 vsize=8414124 memory=164 CPUtime=0.18 cores=0-7
/proc/10444/task/10461/stat : 10461 (java) S 10421 10421 9260 0 -1 1077944384 768 0 0 0 18 0 0 0 20 0 24 0 509686327 8616062976 29274 33554432000 4194304 4196468 140726065590464 140128466987504 140129244502658 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10462] ppid=10421 vsize=8414124 memory=590024538733965329 CPUtime=0 cores=0-7
/proc/10444/task/10462/stat : 10462 (java) S 10421 10421 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509686327 8616062976 29274 33554432000 4194304 4196468 140726065590464 140126529251936 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10463] ppid=10421 vsize=8414124 memory=288287796408615488 CPUtime=0.01 cores=0-7
/proc/10444/task/10463/stat : 10463 (java) S 10421 10421 9260 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 509686327 8616062976 29274 33554432000 4194304 4196468 140726065590464 140128465934896 140129244502658 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10465] ppid=10421 vsize=8414124 memory=301794158562666881 CPUtime=0 cores=0-7
/proc/10444/task/10465/stat : 10465 (java) S 10421 10421 9260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509686393 8616062976 29274 33554432000 4194304 4196468 140726065590464 140128542929984 140129244516121 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10467] ppid=10421 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/10444/task/10467/stat : 10467 (java) S 10421 10421 9260 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509686393 8616062976 29274 33554432000 4194304 4196468 140726065590464 140125858152592 140129244513437 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10468] ppid=10421 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/10444/task/10468/stat : 10468 (java) S 10421 10421 9260 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509686393 8616062976 29274 33554432000 4194304 4196468 140726065590464 140126126587920 140129244513437 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10469] ppid=10421 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/10444/task/10469/stat : 10469 (java) S 10421 10421 9260 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509686395 8616062976 29274 33554432000 4194304 4196468 140726065590464 140125589724720 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
Current children cumulated CPU time: 144.91 s
Current children cumulated vsize: 9692152 KiB
Current children cumulated memory: 654244 KiB

[startup+23.0091 s]*
/proc/loadavg: 5.79 3.10 3.10 5/216 10479
/proc/meminfo: memFree=25521156/32770624 swapFree=66997508/67108860
[pid=10421] ppid=10418 vsize=113128 memory=1476 CPUtime=6.79 cores=0-7
/proc/10421/stat : 10421 (scop.sh) S 10418 10421 9260 0 -1 4202496 582 27198 0 0 0 0 636 43 20 0 1 0 509685946 115843072 369 33554432000 4194304 5098028 140737237008672 140737237005416 139960874267260 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38928384 140737237013244 140737237013592 140737237013592 140737237016521 0
/proc/10421/statm: 28282 369 311 221 0 87 0
[pid=10444] ppid=10421 vsize=8283048 memory=125440 CPUtime=138.55 cores=0-7
/proc/10444/stat : 10444 (java) S 10421 10421 9260 0 -1 1077944320 22371 292091 0 0 127 9 13646 73 20 0 22 0 509686320 8481841152 31360 33554432000 4194304 4196468 140726065590464 140726065573008 140129244491511 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
/proc/10444/statm: 2070762 31360 3219 1 0 2032106 0
[pid=10444/tid=10445] ppid=10421 vsize=8283048 memory=6791534058613427641 CPUtime=137.94 cores=0-7
/proc/10444/task/10445/stat : 10445 (java) R 10421 10421 9260 0 -1 4202560 17448 292091 0 0 69 6 13646 73 20 0 22 0 509686321 8481841152 31415 33554432000 4194304 4196468 140726065590464 140129216331680 140129244513341 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10446] ppid=10421 vsize=8283048 memory=6944656592455097440 CPUtime=137.19 cores=0-7
/proc/10444/task/10446/stat : 10446 (java) S 10421 10421 9260 0 -1 1077944384 2 292091 0 0 0 0 13646 73 20 0 22 0 509686322 8481841152 31415 33554432000 4194304 4196468 140726065590464 140129248733840 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10447] ppid=10421 vsize=8283048 memory=2320682187988277431 CPUtime=137.19 cores=0-7
/proc/10444/task/10447/stat : 10447 (java) S 10421 10421 9260 0 -1 1077944384 2 292091 0 0 0 0 13646 73 20 0 22 0 509686322 8481841152 31415 33554432000 4194304 4196468 140726065590464 140128729541136 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10448] ppid=10421 vsize=8283048 memory=4872558044660077418 CPUtime=137.19 cores=0-7
/proc/10444/task/10448/stat : 10448 (java) S 10421 10421 9260 0 -1 1077944384 1 292091 0 0 0 0 13646 73 20 0 22 0 509686322 8481841152 31415 33554432000 4194304 4196468 140726065590464 140128728488336 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10449] ppid=10421 vsize=8283048 memory=0 CPUtime=137.19 cores=0-7
/proc/10444/task/10449/stat : 10449 (java) S 10421 10421 9260 0 -1 1077944384 1 292091 0 0 0 0 13646 73 20 0 22 0 509686322 8481841152 31415 33554432000 4194304 4196468 140726065590464 140128727435536 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10450] ppid=10421 vsize=8283048 memory=0 CPUtime=137.19 cores=0-7
/proc/10444/task/10450/stat : 10450 (java) S 10421 10421 9260 0 -1 1077944384 2 292091 0 0 0 0 13646 73 20 0 22 0 509686322 8481841152 31415 33554432000 4194304 4196468 140726065590464 140128726383760 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10451] ppid=10421 vsize=8283048 memory=0 CPUtime=137.19 cores=0-7
/proc/10444/task/10451/stat : 10451 (java) S 10421 10421 9260 0 -1 1077944384 2 292091 0 0 0 0 13646 73 20 0 22 0 509686322 8481841152 31415 33554432000 4194304 4196468 140726065590464 140128725330960 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10452] ppid=10421 vsize=8283048 memory=0 CPUtime=137.19 cores=0-7
/proc/10444/task/10452/stat : 10452 (java) S 10421 10421 9260 0 -1 1077944384 2 292091 0 0 0 0 13646 73 20 0 22 0 509686322 8481841152 31415 33554432000 4194304 4196468 140726065590464 140128724278160 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10453] ppid=10421 vsize=8283048 memory=0 CPUtime=137.19 cores=0-7
/proc/10444/task/10453/stat : 10453 (java) S 10421 10421 9260 0 -1 1077944384 3 292091 0 0 0 0 13646 73 20 0 22 0 509686322 8481841152 31415 33554432000 4194304 4196468 140726065590464 140128723225360 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10454] ppid=10421 vsize=8283048 memory=0 CPUtime=137.19 cores=0-7
/proc/10444/task/10454/stat : 10454 (java) S 10421 10421 9260 0 -1 1077944384 7 292091 0 0 0 0 13646 73 20 0 22 0 509686323 8481841152 31415 33554432000 4194304 4196468 140726065590464 140128471198064 140129244502658 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10455] ppid=10421 vsize=8283048 memory=0 CPUtime=137.19 cores=0-7
/proc/10444/task/10455/stat : 10455 (java) S 10421 10421 9260 0 -1 1077944384 13 292091 0 0 0 0 13646 73 20 0 22 0 509686324 8481841152 31415 33554432000 4194304 4196468 140726065590464 140127535883296 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10456] ppid=10421 vsize=8283048 memory=0 CPUtime=137.19 cores=0-7
/proc/10444/task/10456/stat : 10456 (java) S 10421 10421 9260 0 -1 1077944384 21 292091 0 0 0 0 13646 73 20 0 22 0 509686324 8481841152 31415 33554432000 4194304 4196468 140726065590464 140127401661296 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10457] ppid=10421 vsize=8283048 memory=0 CPUtime=137.19 cores=0-7
/proc/10444/task/10457/stat : 10457 (java) S 10421 10421 9260 0 -1 1077944384 1 292091 0 0 0 0 13646 73 20 0 22 0 509686327 8481841152 31415 33554432000 4194304 4196468 140726065590464 140127027156816 140129244510107 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10458] ppid=10421 vsize=8283048 memory=0 CPUtime=137.25 cores=0-7
/proc/10444/task/10458/stat : 10458 (java) S 10421 10421 9260 0 -1 1077944384 618 292091 0 0 6 0 13646 73 20 0 22 0 509686327 8481841152 31415 33554432000 4194304 4196468 140726065590464 140128470145904 140129244502658 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10459] ppid=10421 vsize=8283048 memory=0 CPUtime=137.29 cores=0-7
/proc/10444/task/10459/stat : 10459 (java) S 10421 10421 9260 0 -1 1077944384 505 292091 0 0 10 0 13646 73 20 0 22 0 509686327 8481841152 31415 33554432000 4194304 4196468 140726065590464 140128469093104 140129244502658 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10460] ppid=10421 vsize=8283048 memory=0 CPUtime=137.29 cores=0-7
/proc/10444/task/10460/stat : 10460 (java) S 10421 10421 9260 0 -1 1077944384 541 292091 0 0 10 0 13646 73 20 0 22 0 509686327 8481841152 31415 33554432000 4194304 4196468 140726065590464 140128468040304 140129244502658 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10461] ppid=10421 vsize=8283048 memory=0 CPUtime=137.41 cores=0-7
/proc/10444/task/10461/stat : 10461 (java) R 10421 10421 9260 0 -1 4202560 1297 292091 0 0 22 0 13646 73 20 0 22 0 509686327 8481841152 31415 33554432000 4194304 4196468 140726065590464 140128466981200 140129236732901 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10462] ppid=10421 vsize=8283048 memory=0 CPUtime=137.19 cores=0-7
/proc/10444/task/10462/stat : 10462 (java) S 10421 10421 9260 0 -1 1077944384 3 292091 0 0 0 0 13646 73 20 0 22 0 509686327 8481841152 31415 33554432000 4194304 4196468 140726065590464 140126529251936 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10463] ppid=10421 vsize=8283048 memory=0 CPUtime=137.2 cores=0-7
/proc/10444/task/10463/stat : 10463 (java) S 10421 10421 9260 0 -1 1077944384 3 292091 0 0 1 0 13646 73 20 0 22 0 509686327 8481841152 31415 33554432000 4194304 4196468 140726065590464 140128465934896 140129244502658 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10465] ppid=10421 vsize=8283048 memory=140687224109759 CPUtime=137.19 cores=0-7
/proc/10444/task/10465/stat : 10465 (java) S 10421 10421 9260 0 -1 1077944384 24 292091 0 0 0 0 13646 73 20 0 22 0 509686393 8481841152 31415 33554432000 4194304 4196468 140726065590464 140128542929168 140129244502658 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10469] ppid=10421 vsize=8283048 memory=9125749369 CPUtime=137.19 cores=0-7
/proc/10444/task/10469/stat : 10469 (java) S 10421 10421 9260 0 -1 1077944384 13 292091 0 0 0 0 13646 73 20 0 22 0 509686395 8481841152 31415 33554432000 4194304 4196468 140726065590464 140125589726512 140129244502658 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
Current children cumulated CPU time: 145.34 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 126916 KiB

[startup+23.1101 s]
/proc/loadavg: 5.79 3.10 3.10 5/216 10479
/proc/meminfo: memFree=25521156/32770624 swapFree=66997508/67108860
[pid=10421] ppid=10418 vsize=113128 memory=1476 CPUtime=6.79 cores=0-7
/proc/10421/stat : 10421 (scop.sh) S 10418 10421 9260 0 -1 4202496 582 27198 0 0 0 0 636 43 20 0 1 0 509685946 115843072 369 33554432000 4194304 5098028 140737237008672 140737237005416 139960874267260 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38928384 140737237013244 140737237013592 140737237013592 140737237016521 0
/proc/10421/statm: 28282 369 311 221 0 87 0
[pid=10444] ppid=10421 vsize=8283048 memory=131280 CPUtime=138.79 cores=0-7
/proc/10444/stat : 10444 (java) S 10421 10421 9260 0 -1 1077944320 22810 292091 0 0 151 9 13646 73 20 0 22 0 509686320 8481841152 32820 33554432000 4194304 4196468 140726065590464 140726065573008 140129244491511 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
/proc/10444/statm: 2070762 32820 3225 1 0 2032106 0
[pid=10444/tid=10445] ppid=10421 vsize=8283048 memory=536012 CPUtime=138.03 cores=0-7
/proc/10444/task/10445/stat : 10445 (java) R 10421 10421 9260 0 -1 4202560 17715 292091 0 0 78 6 13646 73 20 0 22 0 509686321 8481841152 32820 33554432000 4194304 4196468 140726065590464 140129216328992 140128750926740 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10446] ppid=10421 vsize=8283048 memory=117096 CPUtime=137.19 cores=0-7
/proc/10444/task/10446/stat : 10446 (java) S 10421 10421 9260 0 -1 1077944384 2 292091 0 0 0 0 13646 73 20 0 22 0 509686322 8481841152 32820 33554432000 4194304 4196468 140726065590464 140129248733840 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10447] ppid=10421 vsize=8283048 memory=1476 CPUtime=137.19 cores=0-7
/proc/10444/task/10447/stat : 10447 (java) S 10421 10421 9260 0 -1 1077944384 2 292091 0 0 0 0 13646 73 20 0 22 0 509686322 8481841152 32820 33554432000 4194304 4196468 140726065590464 140128729541136 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10448] ppid=10421 vsize=8283048 memory=117096 CPUtime=137.19 cores=0-7
/proc/10444/task/10448/stat : 10448 (java) S 10421 10421 9260 0 -1 1077944384 1 292091 0 0 0 0 13646 73 20 0 22 0 509686322 8481841152 32820 33554432000 4194304 4196468 140726065590464 140128728488336 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10449] ppid=10421 vsize=8283048 memory=535652 CPUtime=137.19 cores=0-7
/proc/10444/task/10449/stat : 10449 (java) S 10421 10421 9260 0 -1 1077944384 1 292091 0 0 0 0 13646 73 20 0 22 0 509686322 8481841152 32820 33554432000 4194304 4196468 140726065590464 140128727435536 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10450] ppid=10421 vsize=8283048 memory=393640 CPUtime=137.19 cores=0-7
/proc/10444/task/10450/stat : 10450 (java) S 10421 10421 9260 0 -1 1077944384 2 292091 0 0 0 0 13646 73 20 0 22 0 509686322 8481841152 32820 33554432000 4194304 4196468 140726065590464 140128726383760 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10451] ppid=10421 vsize=8283048 memory=388264 CPUtime=137.19 cores=0-7
/proc/10444/task/10451/stat : 10451 (java) S 10421 10421 9260 0 -1 1077944384 2 292091 0 0 0 0 13646 73 20 0 22 0 509686322 8481841152 32820 33554432000 4194304 4196468 140726065590464 140128725330960 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10452] ppid=10421 vsize=8283048 memory=117096 CPUtime=137.19 cores=0-7
/proc/10444/task/10452/stat : 10452 (java) S 10421 10421 9260 0 -1 1077944384 2 292091 0 0 0 0 13646 73 20 0 22 0 509686322 8481841152 32820 33554432000 4194304 4196468 140726065590464 140128724278160 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10453] ppid=10421 vsize=8283048 memory=395812 CPUtime=137.19 cores=0-7
/proc/10444/task/10453/stat : 10453 (java) S 10421 10421 9260 0 -1 1077944384 3 292091 0 0 0 0 13646 73 20 0 22 0 509686322 8481841152 32820 33554432000 4194304 4196468 140726065590464 140128723225360 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10454] ppid=10421 vsize=8283048 memory=384800 CPUtime=137.19 cores=0-7
/proc/10444/task/10454/stat : 10454 (java) S 10421 10421 9260 0 -1 1077944384 7 292091 0 0 0 0 13646 73 20 0 22 0 509686323 8481841152 32820 33554432000 4194304 4196468 140726065590464 140128471198064 140129244502658 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10455] ppid=10421 vsize=8283048 memory=117096 CPUtime=137.19 cores=0-7
/proc/10444/task/10455/stat : 10455 (java) S 10421 10421 9260 0 -1 1077944384 13 292091 0 0 0 0 13646 73 20 0 22 0 509686324 8481841152 32820 33554432000 4194304 4196468 140726065590464 140127535883296 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10456] ppid=10421 vsize=8283048 memory=396308 CPUtime=137.19 cores=0-7
/proc/10444/task/10456/stat : 10456 (java) S 10421 10421 9260 0 -1 1077944384 21 292091 0 0 0 0 13646 73 20 0 22 0 509686324 8481841152 32820 33554432000 4194304 4196468 140726065590464 140127401661296 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10457] ppid=10421 vsize=8283048 memory=0 CPUtime=137.19 cores=0-7
/proc/10444/task/10457/stat : 10457 (java) S 10421 10421 9260 0 -1 1077944384 1 292091 0 0 0 0 13646 73 20 0 22 0 509686327 8481841152 32820 33554432000 4194304 4196468 140726065590464 140127027156816 140129244510107 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10458] ppid=10421 vsize=8283048 memory=1476 CPUtime=137.28 cores=0-7
/proc/10444/task/10458/stat : 10458 (java) S 10421 10421 9260 0 -1 1077944384 655 292091 0 0 9 0 13646 73 20 0 22 0 509686327 8481841152 32820 33554432000 4194304 4196468 140726065590464 140128470145904 140129244502658 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10459] ppid=10421 vsize=8283048 memory=117096 CPUtime=137.33 cores=0-7
/proc/10444/task/10459/stat : 10459 (java) S 10421 10421 9260 0 -1 1077944384 528 292091 0 0 14 0 13646 73 20 0 22 0 509686327 8481841152 32820 33554432000 4194304 4196468 140726065590464 140128469093104 140129244502658 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10460] ppid=10421 vsize=8283048 memory=393664 CPUtime=137.33 cores=0-7
/proc/10444/task/10460/stat : 10460 (java) S 10421 10421 9260 0 -1 1077944384 559 292091 0 0 14 0 13646 73 20 0 22 0 509686327 8481841152 32820 33554432000 4194304 4196468 140726065590464 140128468040304 140129244502658 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10461] ppid=10421 vsize=8283048 memory=0 CPUtime=137.45 cores=0-7
/proc/10444/task/10461/stat : 10461 (java) S 10421 10421 9260 0 -1 1077944384 1377 292091 0 0 26 0 13646 73 20 0 22 0 509686327 8481841152 32820 33554432000 4194304 4196468 140726065590464 140128466987504 140129244502658 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10462] ppid=10421 vsize=8283048 memory=0 CPUtime=137.19 cores=0-7
/proc/10444/task/10462/stat : 10462 (java) S 10421 10421 9260 0 -1 1077944384 3 292091 0 0 0 0 13646 73 20 0 22 0 509686327 8481841152 32820 33554432000 4194304 4196468 140726065590464 140126529251936 140129244501717 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10463] ppid=10421 vsize=8283048 memory=0 CPUtime=137.2 cores=0-7
/proc/10444/task/10463/stat : 10463 (java) S 10421 10421 9260 0 -1 1077944384 3 292091 0 0 1 0 13646 73 20 0 22 0 509686327 8481841152 32820 33554432000 4194304 4196468 140726065590464 140128465934896 140129244502658 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10465] ppid=10421 vsize=8283048 memory=391996 CPUtime=137.19 cores=0-7
/proc/10444/task/10465/stat : 10465 (java) S 10421 10421 9260 0 -1 1077944384 24 292091 0 0 0 0 13646 73 20 0 22 0 509686393 8481841152 32820 33554432000 4194304 4196468 140726065590464 140128542929168 140129244502658 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
[pid=10444/tid=10469] ppid=10421 vsize=8283048 memory=390468 CPUtime=137.19 cores=0-7
/proc/10444/task/10469/stat : 10469 (java) S 10421 10421 9260 0 -1 1077944384 13 292091 0 0 0 0 13646 73 20 0 22 0 509686395 8481841152 32820 33554432000 4194304 4196468 140726065590464 140125589726512 140129244502658 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140726065599455 140726065599622 140726065599622 140726065602511 0
Current children cumulated CPU time: 145.58 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 132756 KiB

Child status: 0
Real time (s): 23.136
CPU time (s): 145.659
CPU user time (s): 144.384
CPU system time (s): 1.27517
CPU usage (%): 629.578
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 2023152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 144.384
system time used= 1.27517
maximum resident set size= 2024540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 342773
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= 20192
involuntary context switches= 1629


# summary of solver processes directly reported to runsolver:
#   pid: 10421
#   total CPU time (s): 145.659
#   total CPU user time (s): 144.384
#   total CPU system time (s): 1.27517

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.239507 second user time and 0.352545 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-24 17:03:55
IDJOB=4405434
IDBENCH=127787
IDSOLVER=2868
FILE ID=node140/4405434-1569337476
RUNJOBID= node140-1569335937-9287
PBS_JOBID= 21705054
Free space on /var/tmp= 13516 MiB

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

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

MD5SUM BENCH= 6632ff8405f31e2dfb2c2f75c1e4c1cc
RANDOM SEED=2009945970

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25648820 kB
MemAvailable:   31842408 kB
Buffers:          118908 kB
Cached:          6173300 kB
SwapCached:         2800 kB
Active:          3126164 kB
Inactive:        3174104 kB
Active(anon):       5408 kB
Inactive(anon):    58400 kB
Active(file):    3120756 kB
Inactive(file):  3115704 kB
Unevictable:      107700 kB
Mlocked:          107700 kB
SwapTotal:      67108860 kB
SwapFree:       66997508 kB
Dirty:             20460 kB
Writeback:             0 kB
AnonPages:        113456 kB
Mapped:            56896 kB
Shmem:             46804 kB
Slab:             414576 kB
SReclaimable:     385588 kB
SUnreclaim:        28988 kB
KernelStack:        3808 kB
PageTables:         6080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

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