Trace number 4405500

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 96.595 16.5081

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-142.xml
MD5SUM216ebd1a5dc9377e08f238421ffc41cf
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 benchmark46.3348
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size465
Maximum domain size465
Distribution of domain sizes[{"size":465,"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-19540-serial-file.bin HOME/instance-4405500-1569338178.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.56	c BEGIN-Prog: Tue Sep 24 17:15:38 CEST 2019
0.65/0.56	c PID: 19543
0.65/0.56	c IP: 172.20.3.124
0.65/0.56	c HOST: node124.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.40/0.90	c (0,0) Parsing End
1.40/0.90	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 465
1.40/0.90	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.90	c (0,0) Constraint Name Generate Begin
1.40/0.91	c (0,0) Ctr:HOME/instance-4405500-1569338178.xml,Le:NoOverlap:Num:Var
1.40/0.91	c (0,0) Constraint Name Generate End
1.40/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.91	c (0,0) CSP to CSPinCNF Begin
1.40/0.99	c (0,0) translated 6 (10%) constraints
1.40/0.99	c (0,0) translated 11 (20%) constraints
1.40/1.00	c (0,0) translated 16 (30%) constraints
1.40/1.00	c (0,0) translated 22 (40%) constraints
1.40/1.00	c (0,0) translated 27 (50%) constraints
1.40/1.00	c (0,0) translated 32 (60%) constraints
1.56/1.01	c (0,0) translated 38 (70%) constraints
1.56/1.01	c (0,0) translated 43 (80%) constraints
1.56/1.01	c (0,0) translated 48 (90%) constraints
2.20/1.27	c (0,0) translated 53 (100%) constraints
2.20/1.27	c (0,0) ===========================================
2.20/1.29	c (0,0) Hybrid: #OE=50, #LE=0
2.20/1.29	c (0,0) Hybrid
2.20/1.29	c (0,0) ===========================================
2.20/1.29	c (0,0) translated 36 (10%) constraints
2.20/1.30	c (0,0) translated 71 (20%) constraints
2.53/1.31	c (0,0) translated 106 (30%) constraints
2.53/1.32	c (0,0) translated 141 (40%) constraints
2.53/1.32	c (0,0) translated 176 (50%) constraints
2.53/1.33	c (0,0) translated 212 (60%) constraints
2.53/1.33	c (0,0) translated 247 (70%) constraints
2.53/1.33	c (0,0) translated 282 (80%) constraints
2.53/1.34	c (0,0) translated 317 (90%) constraints
2.53/1.34	c (0,0) translated 352 (100%) constraints
2.53/1.35	c (0,0) CSP to CSPinCNF End
2.53/1.35	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 460
2.53/1.35	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.53/1.35	c (0,0) CSPinCNF Propagation Begin
2.53/1.37	c (0,0) 0 values, 8 unsatisfiable literals, and 51 valid clauses are removed
2.53/1.37	c (0,0) CSPinCNF Propagation End
2.53/1.38	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 460
2.53/1.38	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.53/1.38	c (0,0) Hybrid: #OE=50, #LE=0
2.53/1.38	c (0,0) Simplify CSPinCNF Begin
2.87/1.48	c (0,0) Simplify CSPinCNF End
2.87/1.48	c (0,0) CSP: 50 int (0 aux), 1192 bool (1192 aux), 1493 ctr, max domain size 460
2.87/1.48	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.87/1.48	c (0,0) Calculate Precise Domain Begin
2.87/1.48	c (0,0) 0 values are removed by re-calculation
2.87/1.48	c (0,0) Calculate Precise Domain End
2.87/1.48	c (0,0) CSP: 50 int (0 aux), 1192 bool (1192 aux), 1493 ctr, max domain size 460
2.87/1.48	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.87/1.48	c (0,0) CSPinCNF to SatSolver Begin
4.64/1.95	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 65705 SAT clauses)
4.92/2.13	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 110504 SAT clauses)
5.03/2.29	c (1,1) 448 (30 %) CSP clauses are encoded (0 SAT variables, 152010 SAT clauses)
5.25/2.45	c (1,1) 598 (40 %) CSP clauses are encoded (0 SAT variables, 195298 SAT clauses)
5.48/2.60	c (2,2) 747 (50 %) CSP clauses are encoded (0 SAT variables, 234670 SAT clauses)
5.59/2.75	c (2,2) 896 (60 %) CSP clauses are encoded (0 SAT variables, 274303 SAT clauses)
5.70/2.89	c (2,2) 1046 (70 %) CSP clauses are encoded (0 SAT variables, 310139 SAT clauses)
5.93/3.01	c (2,2) 1195 (80 %) CSP clauses are encoded (0 SAT variables, 343600 SAT clauses)
6.04/3.12	c (2,2) 1344 (90 %) CSP clauses are encoded (0 SAT variables, 372189 SAT clauses)
6.04/3.20	c (2,2) 1493 (100 %) CSP clauses are encoded (0 SAT variables, 392618 SAT clauses)
6.04/3.20	c (2,2) CSPinCNF to SatSolver End
6.04/3.20	c (2,2) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.04/3.20	c (2,2) 20472 bool, 392750 clause
6.04/3.20	c (2,2) Export Begin
6.13/3.28	c (2,2) Export to HOME/scop-19540-serial-file.bin
6.13/3.28	c (2,2) Export End
6.13/3.28	c (2,2) Export File Size: 0.01 MB
6.13/3.28	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
6.13/3.28	c END-Prog: Tue Sep 24 17:15:41 CEST 2019
0.00/3.31	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19540-serial-file.bin
6.31/3.78	c (0,0) Read Serial File Begin
6.31/3.78	c (0,0) HOME/scop-19540-serial-file.bin
6.31/3.97	c (0,0) Read Serial File End
6.31/3.99	
6.31/3.99	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
6.31/3.99	(Solving Process)
6.31/3.99	
7.23/4.01	c BEGIN-Prog: Tue Sep 24 17:15:41 CEST 2019
7.23/4.01	c PID: 19563
7.23/4.01	c IP: 172.20.3.124
7.23/4.01	c HOST: node124.alineos.net
7.23/4.01	c (0,0) SatSolver.solve Begin
7.23/4.01	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405500-1569338178.xml-scop-19543.cnf
7.23/4.04	c (0,0) c
7.23/4.04	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.23/4.04	c (0,0) c
7.23/4.04	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.23/4.04	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.23/4.04	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.23/4.04	c (0,0) c |                                                                                                       |
7.43/4.18	c (0,0) c |  Number of variables:         20472                                                                   |
7.43/4.18	c (0,0) c |  Number of clauses:          392750                                                                   |
7.43/4.18	c (0,0) c |  Parse time:                   0.14 s                                                                 |
7.43/4.18	c (0,0) c |                                                                                                       |
7.43/4.70	c (1,0) c |  Simplification time:          0.52 s                                                                 |
7.43/4.70	c (1,0) c |                                                                                                       |
7.43/4.70	c (1,0) c |  Generating clones                                                                                    |
7.43/4.81	c (1,0) c |  all clones generated. Memory =   238.64Mb.                                                           |
7.43/4.81	c (1,0) c ========================================================================================================|
7.43/4.81	c (1,0) c
7.43/4.81	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
7.43/4.81	c (1,0) c
7.43/4.81	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.43/4.81	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
7.43/4.81	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.43/4.81	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
7.43/4.81	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
7.43/4.81	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
7.43/4.81	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
7.43/4.81	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
7.43/4.81	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
7.43/4.81	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
7.43/4.81	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
7.43/4.81	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
7.43/4.81	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
7.43/4.81	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
7.43/4.81	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
7.43/4.81	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
7.43/4.81	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
7.43/4.81	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
7.43/4.81	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.02/16.33	c (12,0) c
96.02/16.33	c (12,0) c real time : 12.2931 s
96.02/16.33	c (12,0) c cpu time  : 88.0904 s
96.02/16.33	c (12,0) c
96.02/16.33	c (12,0) c
96.02/16.33	c (12,0) c
96.02/16.33	c (12,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
96.02/16.33	c (12,0) c
96.02/16.33	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.02/16.33	c (12,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
96.02/16.33	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.02/16.33	c (12,0) c | Conflicts     |          239576 |      30300 |      30381 |      29753 |      29162 |      29975 |      29807 |      30103 |      30095 |
96.02/16.33	c (12,0) c | Decisions     |          535810 |      67387 |      67307 |      69651 |      65946 |      66930 |      63481 |      69032 |      66076 |
96.02/16.33	c (12,0) c | Propagations  |       164898637 |   20692395 |   20772239 |   20312014 |   20407798 |   21002513 |   20494359 |   20483335 |   20733984 |
96.02/16.33	c (12,0) c | ReduceDBs     |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
96.02/16.33	c (12,0) c | SimpDBs       |              21 |          3 |          2 |          2 |          3 |          3 |          3 |          3 |          2 |
96.02/16.33	c (12,0) c | Restarts      |             756 |         94 |         69 |        105 |        100 |        110 |         83 |         92 |        103 |
96.02/16.33	c (12,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
96.02/16.33	c (12,0) c | PropBinClauses|       219629637 |   27782774 |   27385542 |   26871080 |   27382561 |   27729203 |   27893019 |   26891391 |   27694067 |
96.02/16.33	c (12,0) c | PropPreBlocker|      1998894009 |  249220454 |  251019089 |  250388816 |  248233567 |  249557211 |  247727661 |  250665089 |  252082122 |
96.02/16.33	c (12,0) c | PropNotBlocker|       755124826 |   93814077 |   94361093 |   94596135 |   95578640 |   93944085 |   96039137 |   93092555 |   93699104 |
96.02/16.33	c (12,0) c | LitFullScans  |      3889878544 |  486052872 |  486021611 |  486054793 |  486038986 |  486037570 |  486032588 |  487599360 |  486040764 |
96.02/16.33	c (12,0) c | LitScanFracts |          221431 |      21520 |      15957 |      46974 |      31006 |      27831 |      24063 |      32420 |      21660 |
96.02/16.33	c (12,0) c | DecisionLevel0|             766 |         96 |         70 |        105 |        102 |        111 |         85 |         93 |        104 |
96.02/16.33	c (12,0) c | Periods       |             648 |         81 |         81 |         81 |         81 |         81 |         81 |         81 |         81 |
96.02/16.33	c (12,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
96.02/16.33	c (12,0) c | Avg_Trail     |                 |       6458 |       6505 |       6483 |       6478 |       6524 |       6260 |       6726 |       6528 |
96.02/16.33	c (12,0) c | Avg_DL        |                 |         24 |         24 |         24 |         25 |         25 |         25 |         26 |         25 |
96.02/16.33	c (12,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
96.02/16.33	c (12,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
96.02/16.33	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.02/16.33	c (12,0) c | Exported      |           46138 |       5551 |       5862 |       5728 |       5646 |       5768 |       5626 |       5984 |       5973 |
96.02/16.33	c (12,0) c | Imported      |          255853 |      32732 |      30252 |      32680 |      32674 |      31906 |      32678 |      30455 |      32476 |
96.02/16.33	c (12,0) c | Good          |             122 |         17 |         14 |         15 |         15 |         13 |         17 |         15 |         16 |
96.02/16.33	c (12,0) c | Purge         |          255731 |      32715 |      30238 |      32665 |      32659 |      31893 |      32661 |      30440 |      32460 |
96.02/16.33	c (12,0) c | Promoted      |           21558 |       2618 |       2748 |       2838 |       2790 |       2689 |       2710 |       2582 |       2583 |
96.02/16.33	c (12,0) c | Remove_Imp    |           63833 |       5939 |       8024 |       8083 |       9869 |       7866 |       7980 |       8153 |       7919 |
96.02/16.33	c (12,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
96.02/16.33	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.02/16.33	c (12,0) c | Unaries       |                 |          2 |          1 |          0 |          2 |          1 |          2 |          1 |          1 |
96.02/16.33	c (12,0) c | Binaries      |                 |          1 |          2 |          3 |          3 |          5 |          2 |          2 |          2 |
96.02/16.33	c (12,0) c | Glues         |                 |         61 |        101 |         66 |         88 |         70 |         74 |         72 |         61 |
96.02/16.33	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.02/16.33	c (12,0) c | Orig_Seen     |             9 % |      37076 |      37652 |      36643 |      37089 |      36498 |      34108 |      40543 |      36674 |
96.02/16.33	c (12,0) c | Diff Orig seen|                 | -     3467 | -     2891 | -     3900 | -     3454 | -     4045 | -     6435 |      X     | -     3869 |
96.02/16.33	c (12,0) c | Hamming       |            34 % |       6768 |       6874 |       6093 |       6887 |       8091 |       6121 |      X     |       8155 |
96.02/16.33	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.02/16.33	c (12,0) c | RunningTime   |                 |   11.5 100%|   11.1 100%|   10.9 100%|   11.2 100%|   11.0 100%|   11.0 100%|   10.8 100%|   10.9 100%|
96.02/16.33	c (12,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%|
96.02/16.33	c (12,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%|
96.02/16.33	c (12,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%|
96.02/16.33	c (12,0) c | SolvingTime   |                 |   11.5     |   11.1     |   10.9     |   11.2     |   11.0     |   11.1     |   10.8     |   10.9     |
96.02/16.33	c (12,0) c | PropagationTim|                 |    9.8  85%|    9.4  85%|    9.2  85%|    9.4  85%|    9.3  85%|    9.4  85%|    9.1  84%|    9.2  85%|
96.02/16.33	c (12,0) c | AnalysisTime  |                 |    1.3  11%|    1.2  11%|    1.3  11%|    1.3  11%|    1.2  11%|    1.2  11%|    1.3  12%|    1.2  11%|
96.02/16.33	c (12,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%|
96.02/16.33	c (12,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%|
96.02/16.33	c (12,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%|
96.02/16.33	c (12,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%|
96.02/16.33	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.02/16.33	c (12,0) c
96.02/16.33	c (12,0) c
96.02/16.33	c (12,0) c Threads : 8
96.02/16.33	c (12,0) c Winner : 6
96.02/16.33	c (12,0) c Conflicts_0 : 30300
96.02/16.33	c (12,0) c Conflicts_1 : 30381
96.02/16.33	c (12,0) c Conflicts_2 : 29753
96.02/16.33	c (12,0) c Conflicts_3 : 29162
96.02/16.33	c (12,0) c Conflicts_4 : 29975
96.02/16.33	c (12,0) c Conflicts_5 : 29807
96.02/16.33	c (12,0) c Conflicts_6 : 30103
96.02/16.33	c (12,0) c Conflicts_7 : 30095
96.02/16.33	c (12,0) c Conflicts_total : 239576
96.02/16.33	c (12,0) c Conflicts_winner : 30103
96.02/16.33	c (12,0) c Decisions_0 : 67387
96.02/16.33	c (12,0) c Decisions_1 : 67307
96.02/16.33	c (12,0) c Decisions_2 : 69651
96.02/16.33	c (12,0) c Decisions_3 : 65946
96.02/16.33	c (12,0) c Decisions_4 : 66930
96.02/16.33	c (12,0) c Decisions_5 : 63481
96.02/16.33	c (12,0) c Decisions_6 : 69032
96.02/16.33	c (12,0) c Decisions_7 : 66076
96.02/16.33	c (12,0) c Decisions_total : 535810
96.02/16.33	c (12,0) c Decisions_winner : 69032
96.02/16.33	c (12,0) c Propagations_0 : 20692395
96.02/16.33	c (12,0) c Propagations_1 : 20772239
96.02/16.33	c (12,0) c Propagations_2 : 20312014
96.02/16.33	c (12,0) c Propagations_3 : 20407798
96.02/16.33	c (12,0) c Propagations_4 : 21002513
96.02/16.33	c (12,0) c Propagations_5 : 20494359
96.02/16.33	c (12,0) c Propagations_6 : 20483335
96.02/16.33	c (12,0) c Propagations_7 : 20733984
96.02/16.33	c (12,0) c Propagations_total : 164898637
96.02/16.33	c (12,0) c Propagations_winner : 20483335
96.02/16.33	c (12,0) c ReduceDBs_0 : 4
96.02/16.33	c (12,0) c ReduceDBs_1 : 4
96.02/16.33	c (12,0) c ReduceDBs_2 : 4
96.02/16.33	c (12,0) c ReduceDBs_3 : 4
96.02/16.33	c (12,0) c ReduceDBs_4 : 4
96.02/16.33	c (12,0) c ReduceDBs_5 : 4
96.02/16.33	c (12,0) c ReduceDBs_6 : 4
96.02/16.33	c (12,0) c ReduceDBs_7 : 4
96.02/16.33	c (12,0) c ReduceDBs_total : 32
96.02/16.33	c (12,0) c ReduceDBs_winner : 4
96.02/16.33	c (12,0) c SimpDBs_0 : 3
96.02/16.33	c (12,0) c SimpDBs_1 : 2
96.02/16.33	c (12,0) c SimpDBs_2 : 2
96.02/16.33	c (12,0) c SimpDBs_3 : 3
96.02/16.33	c (12,0) c SimpDBs_4 : 3
96.02/16.33	c (12,0) c SimpDBs_5 : 3
96.02/16.33	c (12,0) c SimpDBs_6 : 3
96.02/16.33	c (12,0) c SimpDBs_7 : 2
96.02/16.33	c (12,0) c SimpDBs_total : 21
96.02/16.33	c (12,0) c SimpDBs_winner : 3
96.02/16.33	c (12,0) c Restarts_0 : 94
96.02/16.33	c (12,0) c Restarts_1 : 69
96.02/16.33	c (12,0) c Restarts_2 : 105
96.02/16.33	c (12,0) c Restarts_3 : 100
96.02/16.33	c (12,0) c Restarts_4 : 110
96.02/16.33	c (12,0) c Restarts_5 : 83
96.02/16.33	c (12,0) c Restarts_6 : 92
96.02/16.33	c (12,0) c Restarts_7 : 103
96.02/16.33	c (12,0) c Restarts_total : 756
96.02/16.33	c (12,0) c Restarts_winner : 92
96.02/16.33	c (12,0) c ForcedImports_0 : 0
96.02/16.33	c (12,0) c ForcedImports_1 : 0
96.02/16.33	c (12,0) c ForcedImports_2 : 0
96.02/16.33	c (12,0) c ForcedImports_3 : 0
96.02/16.33	c (12,0) c ForcedImports_4 : 0
96.02/16.33	c (12,0) c ForcedImports_5 : 0
96.02/16.33	c (12,0) c ForcedImports_6 : 0
96.02/16.33	c (12,0) c ForcedImports_7 : 0
96.02/16.33	c (12,0) c ForcedImports_total : 0
96.02/16.33	c (12,0) c ForcedImports_winner : 0
96.02/16.33	c (12,0) c PropsBinClauses_0 : 27782774
96.02/16.33	c (12,0) c PropsBinClauses_1 : 27385542
96.02/16.33	c (12,0) c PropsBinClauses_2 : 26871080
96.02/16.33	c (12,0) c PropsBinClauses_3 : 27382561
96.02/16.33	c (12,0) c PropsBinClauses_4 : 27729203
96.02/16.33	c (12,0) c PropsBinClauses_5 : 27893019
96.02/16.33	c (12,0) c PropsBinClauses_6 : 26891391
96.02/16.33	c (12,0) c PropsBinClauses_7 : 27694067
96.02/16.33	c (12,0) c PropsBinClauses_total : 219629637
96.02/16.33	c (12,0) c PropsBinClauses_winner : 26891391
96.02/16.33	c (12,0) c PropsPreBlocker_0 : 249220454
96.02/16.33	c (12,0) c PropsPreBlocker_1 : 251019089
96.02/16.33	c (12,0) c PropsPreBlocker_2 : 250388816
96.02/16.33	c (12,0) c PropsPreBlocker_3 : 248233567
96.02/16.33	c (12,0) c PropsPreBlocker_4 : 249557211
96.02/16.33	c (12,0) c PropsPreBlocker_5 : 247727661
96.02/16.33	c (12,0) c PropsPreBlocker_6 : 250665089
96.02/16.33	c (12,0) c PropsPreBlocker_7 : 252082122
96.02/16.33	c (12,0) c PropsPreBlocker_total : 1998894009
96.02/16.34	c (12,0) c PropsPreBlocker_winner : 250665089
96.02/16.34	c (12,0) c PropsNotBlocker_0 : 93814077
96.02/16.34	c (12,0) c PropsNotBlocker_1 : 94361093
96.02/16.34	c (12,0) c PropsNotBlocker_2 : 94596135
96.02/16.34	c (12,0) c PropsNotBlocker_3 : 95578640
96.02/16.34	c (12,0) c PropsNotBlocker_4 : 93944085
96.02/16.34	c (12,0) c PropsNotBlocker_5 : 96039137
96.02/16.34	c (12,0) c PropsNotBlocker_6 : 93092555
96.02/16.34	c (12,0) c PropsNotBlocker_7 : 93699104
96.02/16.34	c (12,0) c PropsNotBlocker_total : 755124826
96.02/16.34	c (12,0) c PropsNotBlocker_winner : 93092555
96.02/16.34	c (12,0) c PropsLitFullScans_0 : 486052872
96.02/16.34	c (12,0) c PropsLitFullScans_1 : 486021611
96.02/16.34	c (12,0) c PropsLitFullScans_2 : 486054793
96.02/16.34	c (12,0) c PropsLitFullScans_3 : 486038986
96.02/16.34	c (12,0) c PropsLitFullScans_4 : 486037570
96.02/16.34	c (12,0) c PropsLitFullScans_5 : 486032588
96.02/16.34	c (12,0) c PropsLitFullScans_6 : 487599360
96.02/16.34	c (12,0) c PropsLitFullScans_7 : 486040764
96.02/16.34	c (12,0) c PropsLitFullScans_total : 3889878544
96.02/16.34	c (12,0) c PropsLitFullScans_winner : 487599360
96.02/16.34	c (12,0) c LitScanFractions_0 : 21520
96.02/16.34	c (12,0) c LitScanFractions_1 : 15957
96.02/16.34	c (12,0) c LitScanFractions_2 : 46974
96.02/16.34	c (12,0) c LitScanFractions_3 : 31006
96.02/16.34	c (12,0) c LitScanFractions_4 : 27831
96.02/16.34	c (12,0) c LitScanFractions_5 : 24063
96.02/16.34	c (12,0) c LitScanFractions_6 : 32420
96.02/16.34	c (12,0) c LitScanFractions_7 : 21660
96.02/16.34	c (12,0) c LitScanFractions_total : 221431
96.02/16.34	c (12,0) c LitScanFractions_winner : 32420
96.02/16.34	c (12,0) c DecisionLevel0_0 : 96
96.02/16.34	c (12,0) c DecisionLevel0_1 : 70
96.02/16.34	c (12,0) c DecisionLevel0_2 : 105
96.02/16.34	c (12,0) c DecisionLevel0_3 : 102
96.02/16.34	c (12,0) c DecisionLevel0_4 : 111
96.02/16.34	c (12,0) c DecisionLevel0_5 : 85
96.02/16.34	c (12,0) c DecisionLevel0_6 : 93
96.02/16.34	c (12,0) c DecisionLevel0_7 : 104
96.02/16.34	c (12,0) c DecisionLevel0_total : 766
96.02/16.34	c (12,0) c DecisionLevel0_winner : 93
96.02/16.34	c (12,0) c Periods_0 : 81
96.02/16.34	c (12,0) c Periods_1 : 81
96.02/16.34	c (12,0) c Periods_2 : 81
96.02/16.34	c (12,0) c Periods_3 : 81
96.02/16.34	c (12,0) c Periods_4 : 81
96.02/16.34	c (12,0) c Periods_5 : 81
96.02/16.34	c (12,0) c Periods_6 : 81
96.02/16.34	c (12,0) c Periods_7 : 81
96.02/16.34	c (12,0) c Periods_total : 648
96.02/16.34	c (12,0) c Periods_winner : 81
96.02/16.34	c (12,0) c Margin_0 : 20
96.02/16.34	c (12,0) c Margin_1 : 20
96.02/16.34	c (12,0) c Margin_2 : 20
96.02/16.34	c (12,0) c Margin_3 : 20
96.02/16.34	c (12,0) c Margin_4 : 20
96.02/16.34	c (12,0) c Margin_5 : 20
96.02/16.34	c (12,0) c Margin_6 : 20
96.02/16.34	c (12,0) c Margin_7 : 20
96.02/16.34	c (12,0) c Margin_total : 160
96.02/16.34	c (12,0) c Margin_winner : 20
96.02/16.34	c (12,0) c Exported_0 : 5551
96.02/16.34	c (12,0) c Exported_1 : 5862
96.02/16.34	c (12,0) c Exported_2 : 5728
96.02/16.34	c (12,0) c Exported_3 : 5646
96.02/16.34	c (12,0) c Exported_4 : 5768
96.02/16.34	c (12,0) c Exported_5 : 5626
96.02/16.34	c (12,0) c Exported_6 : 5984
96.02/16.34	c (12,0) c Exported_7 : 5973
96.02/16.34	c (12,0) c Exported_total : 46138
96.02/16.34	c (12,0) c Exported_winner : 5984
96.02/16.34	c (12,0) c Imported_0 : 32732
96.02/16.34	c (12,0) c Imported_1 : 30252
96.02/16.34	c (12,0) c Imported_2 : 32680
96.02/16.34	c (12,0) c Imported_3 : 32674
96.02/16.34	c (12,0) c Imported_4 : 31906
96.02/16.34	c (12,0) c Imported_5 : 32678
96.02/16.34	c (12,0) c Imported_6 : 30455
96.02/16.34	c (12,0) c Imported_7 : 32476
96.02/16.34	c (12,0) c Imported_total : 255853
96.02/16.34	c (12,0) c Imported_winner : 30455
96.02/16.34	c (12,0) c Good_0 : 17
96.02/16.34	c (12,0) c Good_1 : 14
96.02/16.34	c (12,0) c Good_2 : 15
96.02/16.34	c (12,0) c Good_3 : 15
96.02/16.34	c (12,0) c Good_4 : 13
96.02/16.34	c (12,0) c Good_5 : 17
96.02/16.34	c (12,0) c Good_6 : 15
96.02/16.34	c (12,0) c Good_7 : 16
96.02/16.34	c (12,0) c Good_total : 122
96.02/16.34	c (12,0) c Good_winner : 15
96.02/16.34	c (12,0) c Purge_0 : 32715
96.02/16.34	c (12,0) c Purge_1 : 30238
96.02/16.34	c (12,0) c Purge_2 : 32665
96.02/16.34	c (12,0) c Purge_3 : 32659
96.02/16.34	c (12,0) c Purge_4 : 31893
96.02/16.34	c (12,0) c Purge_5 : 32661
96.02/16.34	c (12,0) c Purge_6 : 30440
96.02/16.34	c (12,0) c Purge_7 : 32460
96.02/16.34	c (12,0) c Purge_total : 255731
96.02/16.34	c (12,0) c Purge_winner : 30440
96.02/16.34	c (12,0) c Promoted_0 : 2618
96.02/16.34	c (12,0) c Promoted_1 : 2748
96.02/16.34	c (12,0) c Promoted_2 : 2838
96.02/16.34	c (12,0) c Promoted_3 : 2790
96.02/16.34	c (12,0) c Promoted_4 : 2689
96.02/16.34	c (12,0) c Promoted_5 : 2710
96.02/16.34	c (12,0) c Promoted_6 : 2582
96.02/16.34	c (12,0) c Promoted_7 : 2583
96.02/16.34	c (12,0) c Promoted_total : 21558
96.02/16.34	c (12,0) c Promoted_winner : 2582
96.02/16.34	c (12,0) c Remove_Imp_0 : 5939
96.02/16.34	c (12,0) c Remove_Imp_1 : 8024
96.02/16.34	c (12,0) c Remove_Imp_2 : 8083
96.02/16.34	c (12,0) c Remove_Imp_3 : 9869
96.02/16.34	c (12,0) c Remove_Imp_4 : 7866
96.02/16.34	c (12,0) c Remove_Imp_5 : 7980
96.02/16.34	c (12,0) c Remove_Imp_6 : 8153
96.02/16.34	c (12,0) c Remove_Imp_7 : 7919
96.02/16.34	c (12,0) c Remove_Imp_total : 63833
96.02/16.34	c (12,0) c Remove_Imp_winner : 8153
96.02/16.34	c (12,0) c Blocked_Reuse_0 : 0
96.02/16.34	c (12,0) c Blocked_Reuse_1 : 0
96.02/16.34	c (12,0) c Blocked_Reuse_2 : 0
96.02/16.34	c (12,0) c Blocked_Reuse_3 : 0
96.02/16.34	c (12,0) c Blocked_Reuse_4 : 0
96.02/16.34	c (12,0) c Blocked_Reuse_5 : 0
96.02/16.34	c (12,0) c Blocked_Reuse_6 : 0
96.02/16.34	c (12,0) c Blocked_Reuse_7 : 0
96.02/16.34	c (12,0) c Blocked_Reuse_total : 0
96.02/16.34	c (12,0) c Blocked_Reuse_winner : 0
96.02/16.34	c (12,0) c Unaries_0 : 2
96.02/16.34	c (12,0) c Unaries_1 : 1
96.02/16.34	c (12,0) c Unaries_2 : 0
96.02/16.34	c (12,0) c Unaries_3 : 2
96.02/16.34	c (12,0) c Unaries_4 : 1
96.02/16.34	c (12,0) c Unaries_5 : 2
96.02/16.34	c (12,0) c Unaries_6 : 1
96.02/16.34	c (12,0) c Unaries_7 : 1
96.02/16.34	c (12,0) c Unaries_total : 10
96.02/16.34	c (12,0) c Unaries_winner : 1
96.02/16.34	c (12,0) c Binaries_0 : 1
96.02/16.34	c (12,0) c Binaries_1 : 2
96.02/16.34	c (12,0) c Binaries_2 : 3
96.02/16.34	c (12,0) c Binaries_3 : 3
96.02/16.34	c (12,0) c Binaries_4 : 5
96.02/16.34	c (12,0) c Binaries_5 : 2
96.02/16.34	c (12,0) c Binaries_6 : 2
96.02/16.34	c (12,0) c Binaries_7 : 2
96.02/16.34	c (12,0) c Binaries_total : 20
96.02/16.34	c (12,0) c Binaries_winner : 2
96.02/16.34	c (12,0) c Glues_0 : 61
96.02/16.34	c (12,0) c Glues_1 : 101
96.02/16.34	c (12,0) c Glues_2 : 66
96.02/16.34	c (12,0) c Glues_3 : 88
96.02/16.34	c (12,0) c Glues_4 : 70
96.02/16.34	c (12,0) c Glues_5 : 74
96.02/16.34	c (12,0) c Glues_6 : 72
96.02/16.34	c (12,0) c Glues_7 : 61
96.02/16.34	c (12,0) c Glues_total : 593
96.02/16.34	c (12,0) c Glues_winner : 72
96.02/16.34	c (12,0) c RunningTime_0 : 11.497385
96.02/16.34	c (12,0) c RunningTime_1 : 11.113744
96.02/16.34	c (12,0) c RunningTime_2 : 10.891429
96.02/16.34	c (12,0) c RunningTime_3 : 11.158025
96.02/16.34	c (12,0) c RunningTime_4 : 10.953635
96.02/16.34	c (12,0) c RunningTime_5 : 11.034463
96.02/16.34	c (12,0) c RunningTime_6 : 10.759230
96.02/16.34	c (12,0) c RunningTime_7 : 10.881696
96.02/16.34	c (12,0) c RunningTime_total : 88.289607
96.02/16.34	c (12,0) c RunningTime_winner : 10.759230
96.02/16.34	c (12,0) c WaitingTime_0 : 0.000078
96.02/16.34	c (12,0) c WaitingTime_1 : 0.000095
96.02/16.34	c (12,0) c WaitingTime_2 : 0.000158
96.02/16.34	c (12,0) c WaitingTime_3 : 0.000095
96.02/16.34	c (12,0) c WaitingTime_4 : 0.000098
96.02/16.34	c (12,0) c WaitingTime_5 : 0.000112
96.02/16.34	c (12,0) c WaitingTime_6 : 0.000139
96.02/16.34	c (12,0) c WaitingTime_7 : 0.000119
96.02/16.34	c (12,0) c WaitingTime_total : 0.000893
96.02/16.34	c (12,0) c WaitingTime_winner : 0.000139
96.02/16.34	c (12,0) c ExchangingTime_0 : 0.014501
96.02/16.34	c (12,0) c ExchangingTime_1 : 0.012067
96.02/16.34	c (12,0) c ExchangingTime_2 : 0.013656
96.02/16.34	c (12,0) c ExchangingTime_3 : 0.013096
96.02/16.34	c (12,0) c ExchangingTime_4 : 0.013578
96.02/16.34	c (12,0) c ExchangingTime_5 : 0.019540
96.02/16.34	c (12,0) c ExchangingTime_6 : 0.013504
96.02/16.34	c (12,0) c ExchangingTime_7 : 0.013306
96.02/16.34	c (12,0) c ExchangingTime_total : 0.113247
96.02/16.34	c (12,0) c ExchangingTime_winner : 0.013504
96.02/16.34	c (12,0) c PeriodProcTime_0 : 0.000839
96.02/16.34	c (12,0) c PeriodProcTime_1 : 0.000914
96.02/16.34	c (12,0) c PeriodProcTime_2 : 0.000826
96.02/16.34	c (12,0) c PeriodProcTime_3 : 0.000966
96.02/16.34	c (12,0) c PeriodProcTime_4 : 0.000818
96.02/16.34	c (12,0) c PeriodProcTime_5 : 0.000844
96.02/16.34	c (12,0) c PeriodProcTime_6 : 0.000836
96.02/16.34	c (12,0) c PeriodProcTime_7 : 0.000815
96.02/16.34	c (12,0) c PeriodProcTime_total : 0.006858
96.02/16.34	c (12,0) c PeriodProcTime_winner : 0.000836
96.02/16.34	c (12,0) c SolvingTime_0 : 11.512803
96.02/16.34	c (12,0) c SolvingTime_1 : 11.126820
96.02/16.34	c (12,0) c SolvingTime_2 : 10.906069
96.02/16.34	c (12,0) c SolvingTime_3 : 11.172181
96.02/16.34	c (12,0) c SolvingTime_4 : 10.968129
96.02/16.34	c (12,0) c SolvingTime_5 : 11.054959
96.02/16.34	c (12,0) c SolvingTime_6 : 10.773709
96.02/16.34	c (12,0) c SolvingTime_7 : 10.895936
96.02/16.34	c (12,0) c SolvingTime_total : 88.410605
96.02/16.34	c (12,0) c SolvingTime_winner : 10.773709
96.02/16.34	c (12,0) c PropagationTime_0 : 9.782083
96.02/16.34	c (12,0) c PropagationTime_1 : 9.448058
96.02/16.34	c (12,0) c PropagationTime_2 : 9.235066
96.02/16.34	c (12,0) c PropagationTime_3 : 9.441417
96.02/16.34	c (12,0) c PropagationTime_4 : 9.299079
96.02/16.34	c (12,0) c PropagationTime_5 : 9.396224
96.02/16.34	c (12,0) c PropagationTime_6 : 9.056893
96.02/16.34	c (12,0) c PropagationTime_7 : 9.236007
96.02/16.34	c (12,0) c PropagationTime_total : 74.894829
96.02/16.34	c (12,0) c PropagationTime_winner : 9.056893
96.02/16.34	c (12,0) c AnalysisTime_0 : 1.283141
96.02/16.34	c (12,0) c AnalysisTime_1 : 1.240421
96.02/16.34	c (12,0) c AnalysisTime_2 : 1.251200
96.02/16.34	c (12,0) c AnalysisTime_3 : 1.272170
96.02/16.34	c (12,0) c AnalysisTime_4 : 1.227265
96.02/16.34	c (12,0) c AnalysisTime_5 : 1.220881
96.02/16.34	c (12,0) c AnalysisTime_6 : 1.275143
96.02/16.34	c (12,0) c AnalysisTime_7 : 1.239992
96.02/16.34	c (12,0) c AnalysisTime_total : 10.010212
96.02/16.34	c (12,0) c AnalysisTime_winner : 1.275143
96.02/16.34	c (12,0) c ReductionTime_0 : 0.011761
96.02/16.34	c (12,0) c ReductionTime_1 : 0.011850
96.02/16.34	c (12,0) c ReductionTime_2 : 0.012168
96.02/16.34	c (12,0) c ReductionTime_3 : 0.012652
96.02/16.34	c (12,0) c ReductionTime_4 : 0.011543
96.02/16.34	c (12,0) c ReductionTime_5 : 0.011589
96.02/16.34	c (12,0) c ReductionTime_6 : 0.012399
96.02/16.34	c (12,0) c ReductionTime_7 : 0.012418
96.02/16.34	c (12,0) c ReductionTime_total : 0.096380
96.02/16.34	c (12,0) c ReductionTime_winner : 0.012399
96.02/16.34	c (12,0) c SimplifyTime_0 : 0.028961
96.02/16.34	c (12,0) c SimplifyTime_1 : 0.014342
96.02/16.34	c (12,0) c SimplifyTime_2 : 0.011034
96.02/16.34	c (12,0) c SimplifyTime_3 : 0.021621
96.02/16.34	c (12,0) c SimplifyTime_4 : 0.021277
96.02/16.34	c (12,0) c SimplifyTime_5 : 0.023775
96.02/16.34	c (12,0) c SimplifyTime_6 : 0.023474
96.02/16.34	c (12,0) c SimplifyTime_7 : 0.014246
96.02/16.34	c (12,0) c SimplifyTime_total : 0.158729
96.02/16.34	c (12,0) c SimplifyTime_winner : 0.023474
96.02/16.34	c (12,0) c UsedRateTime_0 : 0.000000
96.02/16.34	c (12,0) c UsedRateTime_1 : 0.000000
96.02/16.34	c (12,0) c UsedRateTime_2 : 0.000000
96.02/16.34	c (12,0) c UsedRateTime_3 : 0.000000
96.02/16.34	c (12,0) c UsedRateTime_4 : 0.000000
96.02/16.34	c (12,0) c UsedRateTime_5 : 0.000000
96.02/16.34	c (12,0) c UsedRateTime_6 : 0.000000
96.02/16.34	c (12,0) c UsedRateTime_7 : 0.000000
96.02/16.34	c (12,0) c UsedRateTime_total : 0.000000
96.02/16.34	c (12,0) c UsedRateTime_winner : 0.000000
96.02/16.34	c (12,0) c OverlapRateTime_0 : 0.000000
96.02/16.34	c (12,0) c OverlapRateTime_1 : 0.000000
96.02/16.34	c (12,0) c OverlapRateTime_2 : 0.000000
96.02/16.34	c (12,0) c OverlapRateTime_3 : 0.000000
96.02/16.34	c (12,0) c OverlapRateTime_4 : 0.000000
96.02/16.34	c (12,0) c OverlapRateTime_5 : 0.000000
96.02/16.34	c (12,0) c OverlapRateTime_6 : 0.000000
96.02/16.34	c (12,0) c OverlapRateTime_7 : 0.000000
96.02/16.34	c (12,0) c OverlapRateTime_total : 0.000000
96.02/16.34	c (12,0) c OverlapRateTime_winner : 0.000000
96.02/16.34	c (12,0) c
96.02/16.34	c (12,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
96.02/16.34	c (12,0) c
96.02/16.34	c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.02/16.34	c (12,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
96.02/16.34	c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.02/16.34	c (12,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
96.02/16.34	c (12,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
96.02/16.34	c (12,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
96.02/16.34	c (12,0) c | Initial random_seed   | 1195999139 |  979854045 |  693781890 | 1853973051 | 1345981135 | 2033120915 | 1649341207 | 1641858006 |
96.02/16.34	c (12,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
96.02/16.34	c (12,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
96.02/16.34	c (12,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
96.02/16.34	c (12,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
96.02/16.34	c (12,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
96.02/16.34	c (12,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
96.02/16.34	c (12,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
96.02/16.34	c (12,0) c | var_decay             |     0.8600 |     0.8600 |     0.8500 |     0.8500 |     0.8500 |     0.8500 |     0.8600 |     0.8600 |
96.02/16.34	c (12,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
96.02/16.34	c (12,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
96.02/16.34	c (12,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
96.02/16.34	c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.02/16.34	c (12,0) 
96.02/16.34	c (12,0) s SATISFIABLE
96.02/16.39	c (12,0) SatSolver.solve End
96.02/16.39	c (12,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
96.02/16.39	c (12,0) Show results Begin
96.30/16.49	c (12,0) x[0] = 19
96.30/16.49	c (12,0) x[1] = 383
96.30/16.49	c (12,0) x[2] = 19
96.30/16.49	c (12,0) x[3] = 153
96.30/16.49	c (12,0) x[4] = 0
96.30/16.49	c (12,0) x[5] = 32
96.30/16.49	c (12,0) x[6] = 32
96.30/16.49	c (12,0) x[7] = 0
96.30/16.49	c (12,0) x[8] = 25
96.30/16.49	c (12,0) x[9] = 0
96.30/16.49	c (12,0) x[10] = 0
96.30/16.49	c (12,0) x[11] = 0
96.30/16.49	c (12,0) x[12] = 328
96.30/16.49	c (12,0) x[13] = 392
96.30/16.49	c (12,0) x[14] = 53
96.30/16.49	c (12,0) x[15] = 383
96.30/16.49	c (12,0) x[16] = 292
96.30/16.49	c (12,0) x[17] = 56
96.30/16.49	c (12,0) x[18] = 167
96.30/16.49	c (12,0) x[19] = 0
96.30/16.49	c (12,0) x[20] = 328
96.30/16.49	c (12,0) x[21] = 153
96.30/16.49	c (12,0) x[22] = 0
96.30/16.49	c (12,0) x[23] = 292
96.30/16.49	c (12,0) x[24] = 127
96.30/16.49	c (12,0) y[0] = 225
96.30/16.49	c (12,0) y[1] = 201
96.30/16.49	c (12,0) y[2] = 212
96.30/16.49	c (12,0) y[3] = 312
96.30/16.49	c (12,0) y[4] = 212
96.30/16.49	c (12,0) y[5] = 180
96.30/16.49	c (12,0) y[6] = 201
96.30/16.49	c (12,0) y[7] = 231
96.30/16.49	c (12,0) y[8] = 225
96.30/16.49	c (12,0) y[9] = 180
96.30/16.49	c (12,0) y[10] = 127
96.30/16.49	c (12,0) y[11] = 256
96.30/16.49	c (12,0) y[12] = 137
96.30/16.49	c (12,0) y[13] = 137
96.30/16.49	c (12,0) y[14] = 127
96.30/16.49	c (12,0) y[15] = 210
96.30/16.49	c (12,0) y[16] = 201
96.30/16.49	c (12,0) y[17] = 201
96.30/16.49	c (12,0) y[18] = 201
96.30/16.49	c (12,0) y[19] = 0
96.30/16.49	c (12,0) y[20] = 0
96.30/16.49	c (12,0) y[21] = 326
96.30/16.49	c (12,0) y[22] = 312
96.30/16.49	c (12,0) y[23] = 292
96.30/16.49	c (12,0) y[24] = 0
96.30/16.49	s SATISFIABLE
96.30/16.49	v <instantiation>
96.30/16.49	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>
96.30/16.49	v     <values>19 383 19 153 0 32 32 0 25 0 0 0 328 392 53 383 292 56 167 0 328 153 0 292 127 225 201 212 312 212 180 201 231 225 180 127 256 137 137 127 210 201 201 201 0 0 326 312 292 0</values>
96.30/16.49	v </instantiation>
96.30/16.49	c (12,0) Show results End
96.30/16.49	c (12,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
96.30/16.49	c (12,0) 12,12,STOP-AFTER(ALL)
96.30/16.49	c END-Prog: Tue Sep 24 17:15:54 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11256 MiB free)
  memory of node 1: 16384 MiB (12440 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405500-1569338178/watcher-4405500-1569338178 -o /var/tmp/evaluation-result-4405500-1569338178/solver-4405500-1569338178 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569335938-19122 --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-4405500-1569338178.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=19540, runsolver pid=19537
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.104806 s]*
/proc/loadavg: 7.00 7.19 5.31 2/212 19562
/proc/meminfo: memFree=24167516/32770624 swapFree=66976772/67108860
[pid=19540] ppid=19537 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19540/stat : 19540 (scop.sh) S 19537 19540 19095 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 509757902 115843072 349 33554432000 4194304 5098028 140730873915360 140730873912616 140383989502588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32509952 140730873918204 140730873918552 140730873918552 140730873921481 0
/proc/19540/statm: 28282 349 296 221 0 87 0
[pid=19543] ppid=19540 vsize=27314120 memory=110188 CPUtime=0.11 cores=0-7
/proc/19543/stat : 19543 (java) S 19540 19540 19095 0 -1 1077944320 6602 0 0 0 9 2 0 0 20 0 20 0 509757903 27969658880 27547 33554432000 4194304 4196468 140732794056368 140732794038912 140436837433079 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
/proc/19543/statm: 6828530 27547 2797 1 0 6790935 0
[pid=19543/tid=19544] ppid=19540 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/19543/task/19544/stat : 19544 (java) R 19540 19540 19095 0 -1 4202560 4638 0 0 0 7 1 0 0 20 0 20 0 509757903 27969658880 27547 33554432000 4194304 4196468 140732794056368 140436809244200 140436830532968 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19545] ppid=19540 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19543/task/19545/stat : 19545 (java) S 19540 19540 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 27547 33554432000 4194304 4196468 140732794056368 140436841675024 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19546] ppid=19540 vsize=27314120 memory=140419068094080 CPUtime=0 cores=0-7
/proc/19543/task/19546/stat : 19546 (java) S 19540 19540 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 27547 33554432000 4194304 4196468 140732794056368 140436655831440 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19547] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19547/stat : 19547 (java) S 19540 19540 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 27547 33554432000 4194304 4196468 140732794056368 140436654778896 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19548] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19548/stat : 19548 (java) S 19540 19540 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 27547 33554432000 4194304 4196468 140732794056368 140436653726352 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19549] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19549/stat : 19549 (java) S 19540 19540 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 27547 33554432000 4194304 4196468 140732794056368 140436652673808 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19550] ppid=19540 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19543/task/19550/stat : 19550 (java) S 19540 19540 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 27547 33554432000 4194304 4196468 140732794056368 140436651621264 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19551] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19551/stat : 19551 (java) S 19540 19540 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 27547 33554432000 4194304 4196468 140732794056368 140436650568720 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19552] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19552/stat : 19552 (java) S 19540 19540 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 27547 33554432000 4194304 4196468 140732794056368 140436649516176 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19553] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19553/stat : 19553 (java) S 19540 19540 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509757907 27969658880 27547 33554432000 4194304 4196468 140732794056368 140435894798320 140436837444226 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19554] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19554/stat : 19554 (java) S 19540 19540 19095 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509757907 27969658880 27547 33554432000 4194304 4196468 140732794056368 140434626044832 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19555] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19555/stat : 19555 (java) S 19540 19540 19095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509757907 27969658880 27547 33554432000 4194304 4196468 140732794056368 140434491823088 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19556] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19556/stat : 19556 (java) S 19540 19540 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509757910 27969658880 27547 33554432000 4194304 4196468 140732794056368 140434117318864 140436837451675 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19557] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19557/stat : 19557 (java) S 19540 19540 19095 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 509757910 27969658880 27547 33554432000 4194304 4196468 140732794056368 140435893746160 140436837444226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19558] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19558/stat : 19558 (java) S 19540 19540 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509757910 27969658880 27547 33554432000 4194304 4196468 140732794056368 140435892693616 140436837444226 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19559] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19559/stat : 19559 (java) S 19540 19540 19095 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 20 0 509757910 27969658880 27579 33554432000 4194304 4196468 140732794056368 140435891641072 140436837444226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19560] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19560/stat : 19560 (java) R 19540 19540 19095 0 -1 4202560 310 0 0 0 0 0 0 0 20 0 20 0 509757910 27969658880 27579 33554432000 4194304 4196468 140732794056368 140435890586920 140436816092746 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19561] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19561/stat : 19561 (java) S 19540 19540 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509757910 27969658880 27579 33554432000 4194304 4196468 140732794056368 140433619413216 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19562] ppid=19540 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19543/task/19562/stat : 19562 (java) S 19540 19540 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509757910 27969658880 27579 33554432000 4194304 4196468 140732794056368 140435889535408 140436837444226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 111584 KiB

[startup+0.210523 s]*
/proc/loadavg: 7.00 7.19 5.31 2/212 19562
/proc/meminfo: memFree=24147204/32770624 swapFree=66976772/67108860
[pid=19540] ppid=19537 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19540/stat : 19540 (scop.sh) S 19537 19540 19095 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 509757902 115843072 349 33554432000 4194304 5098028 140730873915360 140730873912616 140383989502588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32509952 140730873918204 140730873918552 140730873918552 140730873921481 0
/proc/19540/statm: 28282 349 296 221 0 87 0
[pid=19543] ppid=19540 vsize=27314120 memory=126684 CPUtime=0.25 cores=0-7
/proc/19543/stat : 19543 (java) S 19540 19540 19095 0 -1 1077944320 12096 0 0 0 21 4 0 0 20 0 20 0 509757903 27969658880 31671 33554432000 4194304 4196468 140732794056368 140732794038912 140436837433079 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
/proc/19543/statm: 6828530 31671 2919 1 0 6790935 0
[pid=19543/tid=19544] ppid=19540 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/19543/task/19544/stat : 19544 (java) R 19540 19540 19095 0 -1 4202560 9793 0 0 0 16 3 0 0 20 0 20 0 509757903 27969658880 31671 33554432000 4194304 4196468 140732794056368 140436809232464 140436817708968 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19545] ppid=19540 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/19543/task/19545/stat : 19545 (java) S 19540 19540 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 31671 33554432000 4194304 4196468 140732794056368 140436841675024 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19546] ppid=19540 vsize=27314120 memory=288370795219805824 CPUtime=0 cores=0-7
/proc/19543/task/19546/stat : 19546 (java) S 19540 19540 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 31671 33554432000 4194304 4196468 140732794056368 140436655831440 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19547] ppid=19540 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19543/task/19547/stat : 19547 (java) S 19540 19540 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 31671 33554432000 4194304 4196468 140732794056368 140436654778896 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19548] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19548/stat : 19548 (java) S 19540 19540 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 31671 33554432000 4194304 4196468 140732794056368 140436653726352 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19549] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19549/stat : 19549 (java) S 19540 19540 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 31671 33554432000 4194304 4196468 140732794056368 140436652673808 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19550] ppid=19540 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19543/task/19550/stat : 19550 (java) S 19540 19540 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 31671 33554432000 4194304 4196468 140732794056368 140436651621264 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19551] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19551/stat : 19551 (java) S 19540 19540 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 31671 33554432000 4194304 4196468 140732794056368 140436650568720 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19552] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19552/stat : 19552 (java) S 19540 19540 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 31671 33554432000 4194304 4196468 140732794056368 140436649516176 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19553] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19553/stat : 19553 (java) S 19540 19540 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509757907 27969658880 31671 33554432000 4194304 4196468 140732794056368 140435894798320 140436837444226 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19554] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19554/stat : 19554 (java) S 19540 19540 19095 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509757907 27969658880 31671 33554432000 4194304 4196468 140732794056368 140434626044832 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19555] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19555/stat : 19555 (java) S 19540 19540 19095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509757907 27969658880 31671 33554432000 4194304 4196468 140732794056368 140434491823088 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19556] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19556/stat : 19556 (java) S 19540 19540 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509757910 27969658880 31671 33554432000 4194304 4196468 140732794056368 140434117318864 140436837451675 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19557] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19557/stat : 19557 (java) S 19540 19540 19095 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 509757910 27969658880 31671 33554432000 4194304 4196468 140732794056368 140435893746160 140436837444226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19558] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19558/stat : 19558 (java) S 19540 19540 19095 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 509757910 27969658880 31671 33554432000 4194304 4196468 140732794056368 140435892693616 140436837444226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19559] ppid=19540 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19543/task/19559/stat : 19559 (java) S 19540 19540 19095 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 509757910 27969658880 31671 33554432000 4194304 4196468 140732794056368 140435891641072 140436837444226 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19560] ppid=19540 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/19543/task/19560/stat : 19560 (java) S 19540 19540 19095 0 -1 1077944384 439 0 0 0 2 0 0 0 20 0 20 0 509757910 27969658880 31671 33554432000 4194304 4196468 140732794056368 140435890588528 140436837444226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19561] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19561/stat : 19561 (java) S 19540 19540 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509757910 27969658880 31671 33554432000 4194304 4196468 140732794056368 140433619413216 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19562] ppid=19540 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19543/task/19562/stat : 19562 (java) S 19540 19540 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509757910 27969658880 31671 33554432000 4194304 4196468 140732794056368 140435889535408 140436837444226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128080 KiB

[startup+0.310322 s]*
/proc/loadavg: 6.52 7.09 5.29 2/212 19562
/proc/meminfo: memFree=24144536/32770624 swapFree=66976772/67108860
[pid=19540] ppid=19537 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19540/stat : 19540 (scop.sh) S 19537 19540 19095 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 509757902 115843072 349 33554432000 4194304 5098028 140730873915360 140730873912616 140383989502588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32509952 140730873918204 140730873918552 140730873918552 140730873921481 0
/proc/19540/statm: 28282 349 296 221 0 87 0
[pid=19543] ppid=19540 vsize=27314120 memory=130020 CPUtime=0.42 cores=0-7
/proc/19543/stat : 19543 (java) S 19540 19540 19095 0 -1 1077944320 12945 0 0 0 37 5 0 0 20 0 20 0 509757903 27969658880 32505 33554432000 4194304 4196468 140732794056368 140732794038912 140436837433079 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
/proc/19543/statm: 6828530 32505 3020 1 0 6790935 0
[pid=19543/tid=19544] ppid=19540 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/19543/task/19544/stat : 19544 (java) R 19540 19540 19095 0 -1 4202560 10476 0 0 0 26 4 0 0 20 0 20 0 509757903 27969658880 32505 33554432000 4194304 4196468 140732794056368 140436809263152 140436818996626 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19545] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19545/stat : 19545 (java) S 19540 19540 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 32505 33554432000 4194304 4196468 140732794056368 140436841675024 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19546] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19546/stat : 19546 (java) S 19540 19540 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 32505 33554432000 4194304 4196468 140732794056368 140436655831440 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19547] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19547/stat : 19547 (java) S 19540 19540 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 32505 33554432000 4194304 4196468 140732794056368 140436654778896 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19548] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19548/stat : 19548 (java) S 19540 19540 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 32505 33554432000 4194304 4196468 140732794056368 140436653726352 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19549] ppid=19540 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/19543/task/19549/stat : 19549 (java) S 19540 19540 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 32505 33554432000 4194304 4196468 140732794056368 140436652673808 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19550] ppid=19540 vsize=27314120 memory=140418922673071 CPUtime=0 cores=0-7
/proc/19543/task/19550/stat : 19550 (java) S 19540 19540 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 32505 33554432000 4194304 4196468 140732794056368 140436651621264 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19551] ppid=19540 vsize=27314120 memory=140418922675376 CPUtime=0 cores=0-7
/proc/19543/task/19551/stat : 19551 (java) S 19540 19540 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 32505 33554432000 4194304 4196468 140732794056368 140436650568720 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19552] ppid=19540 vsize=27314120 memory=140418922677680 CPUtime=0 cores=0-7
/proc/19543/task/19552/stat : 19552 (java) S 19540 19540 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509757905 27969658880 32505 33554432000 4194304 4196468 140732794056368 140436649516176 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19553] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19553/stat : 19553 (java) S 19540 19540 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509757907 27969658880 32505 33554432000 4194304 4196468 140732794056368 140435894798320 140436837444226 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19554] ppid=19540 vsize=27314120 memory=280837845362320 CPUtime=0 cores=0-7
/proc/19543/task/19554/stat : 19554 (java) S 19540 19540 19095 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509757907 27969658880 32505 33554432000 4194304 4196468 140732794056368 140434626044832 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19555] ppid=19540 vsize=27314120 memory=280837845369232 CPUtime=0 cores=0-7
/proc/19543/task/19555/stat : 19555 (java) S 19540 19540 19095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509757907 27969658880 32505 33554432000 4194304 4196468 140732794056368 140434491823088 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19556] ppid=19540 vsize=27314120 memory=280837845310512 CPUtime=0 cores=0-7
/proc/19543/task/19556/stat : 19556 (java) S 19540 19540 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509757910 27969658880 32505 33554432000 4194304 4196468 140732794056368 140434117318864 140436837451675 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19557] ppid=19540 vsize=27314120 memory=280837845383056 CPUtime=0.01 cores=0-7
/proc/19543/task/19557/stat : 19557 (java) S 19540 19540 19095 0 -1 1077944384 153 0 0 0 1 0 0 0 20 0 20 0 509757910 27969658880 32505 33554432000 4194304 4196468 140732794056368 140435893746160 140436837444226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19558] ppid=19540 vsize=27314120 memory=280837845389968 CPUtime=0.02 cores=0-7
/proc/19543/task/19558/stat : 19558 (java) R 19540 19540 19095 0 -1 4202560 190 0 0 0 2 0 0 0 20 0 20 0 509757910 27969658880 32505 33554432000 4194304 4196468 140732794056368 140435892693616 140436816679986 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19559] ppid=19540 vsize=27314120 memory=280837845387664 CPUtime=0 cores=0-7
/proc/19543/task/19559/stat : 19559 (java) S 19540 19540 19095 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 509757910 27969658880 32505 33554432000 4194304 4196468 140732794056368 140435891641072 140436837444226 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19560] ppid=19540 vsize=27314120 memory=280837845403824 CPUtime=0.07 cores=0-7
/proc/19543/task/19560/stat : 19560 (java) S 19540 19540 19095 0 -1 1077944384 461 0 0 0 7 0 0 0 20 0 20 0 509757910 27969658880 32505 33554432000 4194304 4196468 140732794056368 140435890588528 140436837444226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19561] ppid=19540 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19561/stat : 19561 (java) S 19540 19540 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509757910 27969658880 32505 33554432000 4194304 4196468 140732794056368 140433619413216 140436837443285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19562] ppid=19540 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19543/task/19562/stat : 19562 (java) S 19540 19540 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509757910 27969658880 32505 33554432000 4194304 4196468 140732794056368 140435889535408 140436837444226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131416 KiB

[startup+0.701052 s]
/proc/loadavg: 6.52 7.09 5.29 2/212 19562
/proc/meminfo: memFree=24123192/32770624 swapFree=66976772/67108860
[pid=19540] ppid=19537 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19540/stat : 19540 (scop.sh) S 19537 19540 19095 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 509757902 115843072 349 33554432000 4194304 5098028 140730873915360 140730873912616 140383989502588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32509952 140730873918204 140730873918552 140730873918552 140730873921481 0
/proc/19540/statm: 28282 349 296 221 0 87 0
[pid=19543] ppid=19540 vsize=27323540 memory=166020 CPUtime=1 cores=0-7
/proc/19543/stat : 19543 (java) S 19540 19540 19095 0 -1 1077944320 20235 0 0 0 92 8 0 0 20 0 20 0 509757903 27979304960 41505 33554432000 4194304 4196468 140732794056368 140732794038912 140436837433079 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
/proc/19543/statm: 6830885 41505 3199 1 0 6792215 0
[pid=19543/tid=19544] ppid=19540 vsize=27323540 memory=280837845761712 CPUtime=0.68 cores=0-7
/proc/19543/task/19544/stat : 19544 (java) R 19540 19540 19095 0 -1 4202560 17189 0 0 0 61 7 0 0 20 0 20 0 509757903 27979304960 41505 33554432000 4194304 4196468 140732794056368 140436809250624 140436830150183 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19545] ppid=19540 vsize=27322516 memory=140418922881904 CPUtime=0 cores=0-7
/proc/19543/task/19545/stat : 19545 (java) S 19540 19540 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509757905 27978256384 41505 33554432000 4194304 4196468 140732794056368 140436841675024 140436837443285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19546] ppid=19540 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/19543/task/19546/stat : 19546 (java) S 19540 19540 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509757905 27978256384 41505 33554432000 4194304 4196468 140732794056368 140436655831440 140436837443285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15712256 140732794061510 140732794061958 140732794061958 140732794064847 0
[pid=19543/tid=19547] ppid=19540 vsize=27322516 memory=1060 CPUtime=0 cores=0-7

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

[pid=19563/tid=19584] ppid=19540 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/19563/task/19584/stat : 19584 (java) S 19540 19540 19095 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509758306 8616062976 29848 33554432000 4194304 4196468 140727223229728 140339910428352 140340830330649 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19586] ppid=19540 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19563/task/19586/stat : 19586 (java) S 19540 19540 19095 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509758306 8616062976 29848 33554432000 4194304 4196468 140727223229728 140337452399888 140340830327965 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19587] ppid=19540 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19563/task/19587/stat : 19587 (java) S 19540 19540 19095 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509758306 8616062976 29848 33554432000 4194304 4196468 140727223229728 140337720835472 140340830327965 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19588] ppid=19540 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19563/task/19588/stat : 19588 (java) S 19540 19540 19095 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 509758308 8616062976 29848 33554432000 4194304 4196468 140727223229728 140337183972528 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
Current children cumulated CPU time: 90.72 s
Current children cumulated vsize: 9511304 KiB
Current children cumulated memory: 525988 KiB

[startup+16.0012 s]*
/proc/loadavg: 6.78 7.12 5.32 2/218 19596
/proc/meminfo: memFree=23747004/32770624 swapFree=66976772/67108860
[pid=19540] ppid=19537 vsize=113128 memory=1476 CPUtime=6.31 cores=0-7
/proc/19540/stat : 19540 (scop.sh) S 19537 19540 19095 0 -1 4202496 583 27218 0 0 0 0 595 36 20 0 1 0 509757902 115843072 369 33554432000 4194304 5098028 140730873915360 140730873912104 140383989502588 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32509952 140730873918204 140730873918552 140730873918552 140730873921481 0
/proc/19540/statm: 28282 369 311 221 0 87 0
[pid=19563] ppid=19540 vsize=8414124 memory=119392 CPUtime=1.13 cores=0-7
/proc/19563/stat : 19563 (java) S 19540 19540 19095 0 -1 1077944320 19890 0 0 0 105 8 0 0 20 0 24 0 509758233 8616062976 29848 33554432000 4194304 4196468 140727223229728 140727223212272 140340830306039 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
/proc/19563/statm: 2103531 29848 3162 1 0 2064875 0
[pid=19583] ppid=19563 vsize=984052 memory=403448 CPUtime=88.28 cores=0-7
/proc/19583/stat : 19583 (manyglucose-4.1) S 19563 19540 19095 0 -1 1077944320 195989 0 0 0 8776 52 0 0 20 0 2 0 509758306 1007669248 100862 33554432000 4194304 4454172 140721706267856 140721706266240 139771912417015 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 37576704 140721706271565 140721706271772 140721706271772 140721706274742 0
/proc/19583/statm: 246013 100862 420 64 0 241681 0
[pid=19583/tid=19589] ppid=19563 vsize=984052 memory=280837846530880 CPUtime=11.14 cores=0-7
/proc/19583/task/19589/stat : 19589 (manyglucose-4.1) R 19563 19540 19095 0 -1 4202560 26358 0 0 0 1107 7 0 0 20 0 2 0 509758384 1007669248 100862 33554432000 4194304 4454172 140721706267856 139771873880872 4318951 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 37576704 140721706271565 140721706271772 140721706271772 140721706274742 0
[pid=19563/tid=19564] ppid=19540 vsize=8414124 memory=7686721470284208796 CPUtime=0.73 cores=0-7
/proc/19563/task/19564/stat : 19564 (java) S 19540 19540 19095 0 -1 1077944384 16846 0 0 0 68 5 0 0 20 0 24 0 509758234 8616062976 29848 33554432000 4194304 4196468 140727223229728 140340802146208 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19565] ppid=19540 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19563/task/19565/stat : 19565 (java) S 19540 19540 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509758235 8616062976 29848 33554432000 4194304 4196468 140727223229728 140340834548496 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19566] ppid=19540 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19563/task/19566/stat : 19566 (java) S 19540 19540 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509758235 8616062976 29848 33554432000 4194304 4196468 140727223229728 140340634717072 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19567] ppid=19540 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19563/task/19567/stat : 19567 (java) S 19540 19540 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509758235 8616062976 29848 33554432000 4194304 4196468 140727223229728 140340633664528 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19568] ppid=19540 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19563/task/19568/stat : 19568 (java) S 19540 19540 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509758235 8616062976 29848 33554432000 4194304 4196468 140727223229728 140340632611984 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19569] ppid=19540 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19563/task/19569/stat : 19569 (java) S 19540 19540 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509758235 8616062976 29848 33554432000 4194304 4196468 140727223229728 140340631558416 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19570] ppid=19540 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19563/task/19570/stat : 19570 (java) S 19540 19540 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509758235 8616062976 29848 33554432000 4194304 4196468 140727223229728 140340630505872 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19571] ppid=19540 vsize=8414124 memory=7451038901816741996 CPUtime=0 cores=0-7
/proc/19563/task/19571/stat : 19571 (java) S 19540 19540 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509758235 8616062976 29848 33554432000 4194304 4196468 140727223229728 140340629453328 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19572] ppid=19540 vsize=8414124 memory=816 CPUtime=0 cores=0-7
/proc/19563/task/19572/stat : 19572 (java) S 19540 19540 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509758235 8616062976 29848 33554432000 4194304 4196468 140727223229728 140340628400784 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19573] ppid=19540 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/19563/task/19573/stat : 19573 (java) S 19540 19540 19095 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509758236 8616062976 29848 33554432000 4194304 4196468 140727223229728 140339923724784 140340830317186 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19574] ppid=19540 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/19563/task/19574/stat : 19574 (java) S 19540 19540 19095 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509758237 8616062976 29848 33554432000 4194304 4196468 140727223229728 140339264349600 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19575] ppid=19540 vsize=8414124 memory=2580 CPUtime=0 cores=0-7
/proc/19563/task/19575/stat : 19575 (java) S 19540 19540 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509758237 8616062976 29848 33554432000 4194304 4196468 140727223229728 140338995914224 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19576] ppid=19540 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/19563/task/19576/stat : 19576 (java) S 19540 19540 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509758239 8616062976 29848 33554432000 4194304 4196468 140727223229728 140338621405904 140340830324635 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19577] ppid=19540 vsize=8414124 memory=111636 CPUtime=0.07 cores=0-7
/proc/19563/task/19577/stat : 19577 (java) S 19540 19540 19095 0 -1 1077944384 468 0 0 0 7 0 0 0 20 0 24 0 509758241 8616062976 29848 33554432000 4194304 4196468 140727223229728 140339922671600 140340830317186 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19578] ppid=19540 vsize=8414124 memory=800 CPUtime=0.02 cores=0-7
/proc/19563/task/19578/stat : 19578 (java) S 19540 19540 19095 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 24 0 509758241 8616062976 29848 33554432000 4194304 4196468 140727223229728 140339921619056 140340830317186 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19579] ppid=19540 vsize=8414124 memory=4100 CPUtime=0.06 cores=0-7
/proc/19563/task/19579/stat : 19579 (java) S 19540 19540 19095 0 -1 1077944384 243 0 0 0 6 0 0 0 20 0 24 0 509758241 8616062976 29848 33554432000 4194304 4196468 140727223229728 140339920566512 140340830317186 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19580] ppid=19540 vsize=8414124 memory=1804 CPUtime=0.18 cores=0-7
/proc/19563/task/19580/stat : 19580 (java) S 19540 19540 19095 0 -1 1077944384 549 0 0 0 18 0 0 0 20 0 24 0 509758241 8616062976 29848 33554432000 4194304 4196468 140727223229728 140339919513968 140340830317186 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19581] ppid=19540 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/19563/task/19581/stat : 19581 (java) S 19540 19540 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509758241 8616062976 29848 33554432000 4194304 4196468 140727223229728 140338123500256 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19582] ppid=19540 vsize=8414124 memory=4424 CPUtime=0 cores=0-7
/proc/19563/task/19582/stat : 19582 (java) S 19540 19540 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509758241 8616062976 29848 33554432000 4194304 4196468 140727223229728 140339918461872 140340830317186 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19584] ppid=19540 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/19563/task/19584/stat : 19584 (java) S 19540 19540 19095 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509758306 8616062976 29848 33554432000 4194304 4196468 140727223229728 140339910428352 140340830330649 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19586] ppid=19540 vsize=8414124 memory=3056 CPUtime=0 cores=0-7
/proc/19563/task/19586/stat : 19586 (java) S 19540 19540 19095 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509758306 8616062976 29848 33554432000 4194304 4196468 140727223229728 140337452399888 140340830327965 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19587] ppid=19540 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19563/task/19587/stat : 19587 (java) S 19540 19540 19095 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509758306 8616062976 29848 33554432000 4194304 4196468 140727223229728 140337720835472 140340830327965 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19588] ppid=19540 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19563/task/19588/stat : 19588 (java) S 19540 19540 19095 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 509758308 8616062976 29848 33554432000 4194304 4196468 140727223229728 140337183972528 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
Current children cumulated CPU time: 95.72 s
Current children cumulated vsize: 9511304 KiB
Current children cumulated memory: 524316 KiB

[startup+16.4011 s]
/proc/loadavg: 6.78 7.12 5.32 2/218 19596
/proc/meminfo: memFree=23747004/32770624 swapFree=66976772/67108860
[pid=19540] ppid=19537 vsize=113128 memory=1476 CPUtime=6.31 cores=0-7
/proc/19540/stat : 19540 (scop.sh) S 19537 19540 19095 0 -1 4202496 583 27218 0 0 0 0 595 36 20 0 1 0 509757902 115843072 369 33554432000 4194304 5098028 140730873915360 140730873912104 140383989502588 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32509952 140730873918204 140730873918552 140730873918552 140730873921481 0
/proc/19540/statm: 28282 369 311 221 0 87 0
[pid=19563] ppid=19540 vsize=8283048 memory=128552 CPUtime=89.99 cores=0-7
/proc/19563/stat : 19563 (java) S 19540 19540 19095 0 -1 1077944320 21575 196035 0 0 127 9 8809 54 20 0 22 0 509758233 8481841152 32138 33554432000 4194304 4196468 140727223229728 140727223212272 140340830306039 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
/proc/19563/statm: 2070762 32138 3222 1 0 2032106 0
[pid=19563/tid=19564] ppid=19540 vsize=8283048 memory=1476 CPUtime=89.37 cores=0-7
/proc/19563/task/19564/stat : 19564 (java) R 19540 19540 19095 0 -1 4202560 16880 196035 0 0 69 5 8809 54 20 0 22 0 509758234 8481841152 32138 33554432000 4194304 4196468 140727223229728 140340802136704 140340814386526 0 4 2 25189581 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19565] ppid=19540 vsize=8283048 memory=1476 CPUtime=88.63 cores=0-7
/proc/19563/task/19565/stat : 19565 (java) S 19540 19540 19095 0 -1 1077944384 1 196035 0 0 0 0 8809 54 20 0 22 0 509758235 8481841152 32138 33554432000 4194304 4196468 140727223229728 140340834548496 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19566] ppid=19540 vsize=8283048 memory=119392 CPUtime=88.63 cores=0-7
/proc/19563/task/19566/stat : 19566 (java) S 19540 19540 19095 0 -1 1077944384 1 196035 0 0 0 0 8809 54 20 0 22 0 509758235 8481841152 32138 33554432000 4194304 4196468 140727223229728 140340634717072 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19567] ppid=19540 vsize=8283048 memory=7686721470284208796 CPUtime=88.63 cores=0-7
/proc/19563/task/19567/stat : 19567 (java) S 19540 19540 19095 0 -1 1077944384 1 196035 0 0 0 0 8809 54 20 0 22 0 509758235 8481841152 32138 33554432000 4194304 4196468 140727223229728 140340633664528 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19568] ppid=19540 vsize=8283048 memory=7666367267640660562 CPUtime=88.63 cores=0-7
/proc/19563/task/19568/stat : 19568 (java) S 19540 19540 19095 0 -1 1077944384 1 196035 0 0 0 0 8809 54 20 0 22 0 509758235 8481841152 32138 33554432000 4194304 4196468 140727223229728 140340632611984 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19569] ppid=19540 vsize=8283048 memory=7666367267640660562 CPUtime=88.63 cores=0-7
/proc/19563/task/19569/stat : 19569 (java) S 19540 19540 19095 0 -1 1077944384 2 196035 0 0 0 0 8809 54 20 0 22 0 509758235 8481841152 32138 33554432000 4194304 4196468 140727223229728 140340631558416 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19570] ppid=19540 vsize=8283048 memory=7309178837960058450 CPUtime=88.63 cores=0-7
/proc/19563/task/19570/stat : 19570 (java) S 19540 19540 19095 0 -1 1077944384 2 196035 0 0 0 0 8809 54 20 0 22 0 509758235 8481841152 32138 33554432000 4194304 4196468 140727223229728 140340630505872 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19571] ppid=19540 vsize=8283048 memory=7883108497198760044 CPUtime=88.63 cores=0-7
/proc/19563/task/19571/stat : 19571 (java) S 19540 19540 19095 0 -1 1077944384 1 196035 0 0 0 0 8809 54 20 0 22 0 509758235 8481841152 32138 33554432000 4194304 4196468 140727223229728 140340629453328 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19572] ppid=19540 vsize=8283048 memory=7228928657758118464 CPUtime=88.63 cores=0-7
/proc/19563/task/19572/stat : 19572 (java) S 19540 19540 19095 0 -1 1077944384 3 196035 0 0 0 0 8809 54 20 0 22 0 509758235 8481841152 32138 33554432000 4194304 4196468 140727223229728 140340628400784 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19573] ppid=19540 vsize=8283048 memory=7649399362840508721 CPUtime=88.63 cores=0-7
/proc/19563/task/19573/stat : 19573 (java) S 19540 19540 19095 0 -1 1077944384 7 196035 0 0 0 0 8809 54 20 0 22 0 509758236 8481841152 32138 33554432000 4194304 4196468 140727223229728 140339923724784 140340830317186 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19574] ppid=19540 vsize=8283048 memory=0 CPUtime=88.63 cores=0-7
/proc/19563/task/19574/stat : 19574 (java) S 19540 19540 19095 0 -1 1077944384 13 196035 0 0 0 0 8809 54 20 0 22 0 509758237 8481841152 32138 33554432000 4194304 4196468 140727223229728 140339264349600 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19575] ppid=19540 vsize=8283048 memory=4207040778890253027 CPUtime=88.63 cores=0-7
/proc/19563/task/19575/stat : 19575 (java) S 19540 19540 19095 0 -1 1077944384 1 196035 0 0 0 0 8809 54 20 0 22 0 509758237 8481841152 32138 33554432000 4194304 4196468 140727223229728 140338995914224 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19576] ppid=19540 vsize=8283048 memory=27028 CPUtime=88.63 cores=0-7
/proc/19563/task/19576/stat : 19576 (java) S 19540 19540 19095 0 -1 1077944384 1 196035 0 0 0 0 8809 54 20 0 22 0 509758239 8481841152 32138 33554432000 4194304 4196468 140727223229728 140338621405904 140340830324635 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19577] ppid=19540 vsize=8283048 memory=0 CPUtime=88.74 cores=0-7
/proc/19563/task/19577/stat : 19577 (java) S 19540 19540 19095 0 -1 1077944384 673 196035 0 0 11 0 8809 54 20 0 22 0 509758241 8481841152 32138 33554432000 4194304 4196468 140727223229728 140339922671600 140340830317186 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19578] ppid=19540 vsize=8283048 memory=8716 CPUtime=88.7 cores=0-7
/proc/19563/task/19578/stat : 19578 (java) S 19540 19540 19095 0 -1 1077944384 740 196035 0 0 7 0 8809 54 20 0 22 0 509758241 8481841152 32138 33554432000 4194304 4196468 140727223229728 140339921619056 140340830317186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19579] ppid=19540 vsize=8283048 memory=0 CPUtime=88.72 cores=0-7
/proc/19563/task/19579/stat : 19579 (java) S 19540 19540 19095 0 -1 1077944384 265 196035 0 0 9 0 8809 54 20 0 22 0 509758241 8481841152 32138 33554432000 4194304 4196468 140727223229728 140339920566512 140340830317186 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19580] ppid=19540 vsize=8283048 memory=0 CPUtime=88.86 cores=0-7
/proc/19563/task/19580/stat : 19580 (java) S 19540 19540 19095 0 -1 1077944384 1068 196035 0 0 22 1 8809 54 20 0 22 0 509758241 8481841152 32138 33554432000 4194304 4196468 140727223229728 140339919513968 140340830317186 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19581] ppid=19540 vsize=8283048 memory=0 CPUtime=88.63 cores=0-7
/proc/19563/task/19581/stat : 19581 (java) S 19540 19540 19095 0 -1 1077944384 3 196035 0 0 0 0 8809 54 20 0 22 0 509758241 8481841152 32138 33554432000 4194304 4196468 140727223229728 140338123500256 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19582] ppid=19540 vsize=8283048 memory=0 CPUtime=88.63 cores=0-7
/proc/19563/task/19582/stat : 19582 (java) S 19540 19540 19095 0 -1 1077944384 3 196035 0 0 0 0 8809 54 20 0 22 0 509758241 8481841152 32138 33554432000 4194304 4196468 140727223229728 140339918461872 140340830317186 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19584] ppid=19540 vsize=8283048 memory=0 CPUtime=88.63 cores=0-7
/proc/19563/task/19584/stat : 19584 (java) S 19540 19540 19095 0 -1 1077944384 24 196035 0 0 0 0 8809 54 20 0 22 0 509758306 8481841152 32138 33554432000 4194304 4196468 140727223229728 140339910427536 140340830317186 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19588] ppid=19540 vsize=8283048 memory=0 CPUtime=88.63 cores=0-7
/proc/19563/task/19588/stat : 19588 (java) S 19540 19540 19095 0 -1 1077944384 10 196035 0 0 0 0 8809 54 20 0 22 0 509758308 8481841152 32138 33554432000 4194304 4196468 140727223229728 140337183974320 140340830317186 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
Current children cumulated CPU time: 96.3 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 130028 KiB

[startup+16.501 s]
/proc/loadavg: 6.78 7.12 5.32 2/218 19596
/proc/meminfo: memFree=23747004/32770624 swapFree=66976772/67108860
[pid=19540] ppid=19537 vsize=113128 memory=1476 CPUtime=6.31 cores=0-7
/proc/19540/stat : 19540 (scop.sh) S 19537 19540 19095 0 -1 4202496 583 27218 0 0 0 0 595 36 20 0 1 0 509757902 115843072 369 33554432000 4194304 5098028 140730873915360 140730873912104 140383989502588 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32509952 140730873918204 140730873918552 140730873918552 140730873921481 0
/proc/19540/statm: 28282 369 311 221 0 87 0
[pid=19563] ppid=19540 vsize=8151972 memory=136368 CPUtime=90.24 cores=0-7
/proc/19563/stat : 19563 (java) S 19540 19540 19095 0 -1 1077944320 21999 196035 0 0 151 10 8809 54 20 0 20 0 509758233 8347619328 34126 33554432000 4194304 4196468 140727223229728 140727223212272 140340830306039 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
/proc/19563/statm: 2037993 34092 3233 1 0 1999337 0
[pid=19563/tid=19565] ppid=19540 vsize=8151972 memory=1476 CPUtime=88.63 cores=0-7
/proc/19563/task/19565/stat : 19565 (java) S 19540 19540 19095 0 -1 1077944384 1 196035 0 0 0 0 8809 54 20 0 19 0 509758235 8347619328 34092 33554432000 4194304 4196468 140727223229728 140340834548496 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19566] ppid=19540 vsize=8149916 memory=403448 CPUtime=88.63 cores=0-7
/proc/19563/task/19566/stat : 19566 (java) S 19540 19540 19095 0 -1 1077944384 1 196035 0 0 0 0 8809 54 20 0 19 0 509758235 8345513984 34104 33554432000 4194304 4196468 140727223229728 140340634717072 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19567] ppid=19540 vsize=8018840 memory=119392 CPUtime=88.63 cores=0-7
/proc/19563/task/19567/stat : 19567 (java) S 19540 19540 19095 0 -1 1077944384 1 196035 0 0 0 0 8809 54 20 0 19 0 509758235 8211292160 34104 33554432000 4194304 4196468 140727223229728 140340633664528 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19568] ppid=19540 vsize=8018840 memory=403296 CPUtime=88.63 cores=0-7
/proc/19563/task/19568/stat : 19568 (java) S 19540 19540 19095 0 -1 1077944384 1 196035 0 0 0 0 8809 54 20 0 19 0 509758235 8211292160 34104 33554432000 4194304 4196468 140727223229728 140340632611984 140340830316245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19569] ppid=19540 vsize=8018840 memory=7686721470284208796 CPUtime=88.63 cores=0-7
/proc/19563/task/19569/stat : 19569 (java) R 19540 19540 19095 0 -1 1077944384 2 196035 0 0 0 0 8809 54 20 0 19 0 509758235 8211292160 34111 33554432000 4194304 4196468 140727223229728 140340631558416 140340830316245 256 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19571] ppid=19540 vsize=8018840 memory=0 CPUtime=88.63 cores=0-7
/proc/19563/task/19571/stat : 19571 (java) R 19540 19540 19095 0 -1 1077944384 1 196035 0 0 0 0 8809 54 20 0 16 0 509758235 8211292160 34127 33554432000 4194304 4196468 140727223229728 140340629453328 140340830316245 256 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
[pid=19563/tid=19576] ppid=19540 vsize=0 memory=7686721470284208796 CPUtime=88.63 cores=0-7
/proc/19563/task/19576/stat : 19576 (java) R 19540 19540 19095 0 -1 4195396 22 196035 0 0 0 0 8809 54 20 0 10 0 509758239 0 0 33554432000 0 0 0 0 0 0 4 2 25189581 18446744073709551615 0 0 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0
[pid=19563/tid=19579] ppid=19540 vsize=8018840 memory=1396 CPUtime=88.75 cores=0-7
/proc/19563/task/19579/stat : 19579 (java) R 19540 19540 19095 0 -1 4203588 278 196035 0 0 12 0 8809 54 20 0 2 0 509758241 8211292160 34213 33554432000 4194304 4196468 140727223229728 140339920566512 140340830317186 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26591232 140727223231455 140727223231622 140727223231622 140727223234511 0
Current children cumulated CPU time: 96.55 s
Current children cumulated vsize: 8265100 KiB
Current children cumulated memory: 137844 KiB

Child status: 0
Real time (s): 16.5081
CPU time (s): 96.595
CPU user time (s): 95.5712
CPU system time (s): 1.0238
CPU usage (%): 585.138
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 1598284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.5712
system time used= 1.0238
maximum resident set size= 1603172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245851
page faults= 0
swaps= 0
block input operations= 8
block output operations= 15960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15527
involuntary context switches= 1028


# summary of solver processes directly reported to runsolver:
#   pid: 19540
#   total CPU time (s): 96.595
#   total CPU user time (s): 95.5712
#   total CPU system time (s): 1.0238

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.154593 second user time and 0.274102 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-24 17:15:37
IDJOB=4405500
IDBENCH=127881
IDSOLVER=2868
FILE ID=node124/4405500-1569338178
RUNJOBID= node124-1569335938-19122
PBS_JOBID= 21705061
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-142.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-4405500-1569338178/watcher-4405500-1569338178 -o /var/tmp/evaluation-result-4405500-1569338178/solver-4405500-1569338178 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569335938-19122 --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-4405500-1569338178.xml

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

MD5SUM BENCH= 216ebd1a5dc9377e08f238421ffc41cf
RANDOM SEED=1849938884

node124.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.47
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.47
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.47
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.47
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:        24265864 kB
MemAvailable:   31814260 kB
Buffers:          133240 kB
Cached:          7500512 kB
SwapCached:        29076 kB
Active:          3793196 kB
Inactive:        3875752 kB
Active(anon):       2720 kB
Inactive(anon):    90604 kB
Active(file):    3790476 kB
Inactive(file):  3785148 kB
Unevictable:      108336 kB
Mlocked:          108336 kB
SwapTotal:      67108860 kB
SwapFree:       66976772 kB
Dirty:             20748 kB
Writeback:             0 kB
AnonPages:        133976 kB
Mapped:            57716 kB
Shmem:             49092 kB
Slab:             429900 kB
SReclaimable:     401232 kB
SUnreclaim:        28668 kB
KernelStack:        3744 kB
PageTables:         6100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node124 at 2019-09-24 17:15:54