Trace number 4405200

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 97.9508 16.7976

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-24786-serial-file.bin HOME/instance-4405200-1569338178.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 17:15:36 CEST 2019
0.66/0.56	c PID: 24789
0.66/0.56	c IP: 172.20.3.125
0.66/0.56	c HOST: node125.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.39/0.90	c (0,0) Parsing End
1.39/0.91	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 465
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) Constraint Name Generate Begin
1.39/0.91	c (0,0) Ctr:HOME/instance-4405200-1569338178.xml,Le:NoOverlap:Num:Var
1.39/0.91	c (0,0) Constraint Name Generate End
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) CSP to CSPinCNF Begin
1.39/0.99	c (0,0) translated 6 (10%) constraints
1.39/1.00	c (0,0) translated 11 (20%) constraints
1.39/1.00	c (0,0) translated 16 (30%) constraints
1.39/1.00	c (0,0) translated 22 (40%) constraints
1.39/1.01	c (0,0) translated 27 (50%) constraints
1.56/1.01	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.02	c (0,0) translated 48 (90%) constraints
2.17/1.27	c (0,0) translated 53 (100%) constraints
2.17/1.27	c (0,0) ===========================================
2.17/1.27	c (0,0) Order
2.17/1.27	c (0,0) ===========================================
2.17/1.28	c (0,0) translated 36 (10%) constraints
2.17/1.29	c (0,0) translated 71 (20%) constraints
2.17/1.29	c (0,0) translated 106 (30%) constraints
2.17/1.30	c (0,0) translated 141 (40%) constraints
2.53/1.30	c (0,0) translated 176 (50%) constraints
2.53/1.30	c (0,0) translated 212 (60%) constraints
2.53/1.31	c (0,0) translated 247 (70%) constraints
2.53/1.31	c (0,0) translated 282 (80%) constraints
2.53/1.32	c (0,0) translated 317 (90%) constraints
2.53/1.32	c (0,0) translated 352 (100%) constraints
2.53/1.33	c (0,0) CSP to CSPinCNF End
2.53/1.33	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 460
2.53/1.33	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.53/1.33	c (0,0) CSPinCNF Propagation Begin
2.53/1.36	c (0,0) 0 values, 8 unsatisfiable literals, and 51 valid clauses are removed
2.53/1.36	c (0,0) CSPinCNF Propagation End
2.53/1.36	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 460
2.53/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.53/1.36	c (0,0) Simplify CSPinCNF Begin
2.90/1.45	c (0,0) Simplify CSPinCNF End
2.90/1.46	c (0,0) CSP: 50 int (0 aux), 1192 bool (1192 aux), 1493 ctr, max domain size 460
2.90/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.90/1.46	c (0,0) Calculate Precise Domain Begin
2.90/1.46	c (0,0) 0 values are removed by re-calculation
2.90/1.46	c (0,0) Calculate Precise Domain End
2.90/1.46	c (0,0) CSP: 50 int (0 aux), 1192 bool (1192 aux), 1493 ctr, max domain size 460
2.90/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.90/1.46	c (0,0) CSPinCNF to SatSolver Begin
4.70/1.93	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 65705 SAT clauses)
4.97/2.11	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 110504 SAT clauses)
5.07/2.27	c (1,1) 448 (30 %) CSP clauses are encoded (0 SAT variables, 152010 SAT clauses)
5.31/2.43	c (1,1) 598 (40 %) CSP clauses are encoded (0 SAT variables, 195298 SAT clauses)
5.41/2.58	c (2,2) 747 (50 %) CSP clauses are encoded (0 SAT variables, 234670 SAT clauses)
5.63/2.73	c (2,2) 896 (60 %) CSP clauses are encoded (0 SAT variables, 274303 SAT clauses)
5.74/2.87	c (2,2) 1046 (70 %) CSP clauses are encoded (0 SAT variables, 310139 SAT clauses)
5.84/2.99	c (2,2) 1195 (80 %) CSP clauses are encoded (0 SAT variables, 343600 SAT clauses)
5.95/3.10	c (2,2) 1344 (90 %) CSP clauses are encoded (0 SAT variables, 372189 SAT clauses)
6.06/3.18	c (2,2) 1493 (100 %) CSP clauses are encoded (0 SAT variables, 392618 SAT clauses)
6.06/3.18	c (2,2) CSPinCNF to SatSolver End
6.06/3.18	c (2,2) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.06/3.18	c (2,2) 20472 bool, 392750 clause
6.06/3.18	c (2,2) Export Begin
6.17/3.26	c (2,2) Export to HOME/scop-24786-serial-file.bin
6.17/3.26	c (2,2) Export End
6.17/3.26	c (2,2) Export File Size: 0.01 MB
6.17/3.26	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
6.17/3.26	c END-Prog: Tue Sep 24 17:15:38 CEST 2019
6.17/3.28	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-24786-serial-file.bin
6.30/3.73	c (0,0) Read Serial File Begin
6.30/3.73	c (0,0) HOME/scop-24786-serial-file.bin
6.30/3.93	c (0,0) Read Serial File End
7.63/4.25	
7.63/4.25	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
7.63/4.25	(Solving Process)
7.63/4.25	
7.63/4.25	c BEGIN-Prog: Tue Sep 24 17:15:39 CEST 2019
7.63/4.25	c PID: 24809
7.63/4.25	c IP: 172.20.3.125
7.63/4.25	c HOST: node125.alineos.net
7.63/4.25	c (0,0) SatSolver.solve Begin
7.63/4.25	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405200-1569338178.xml-scop-24789.cnf
7.63/4.25	c (0,0) c
7.63/4.25	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.63/4.25	c (0,0) c
7.63/4.25	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.63/4.25	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.63/4.25	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.63/4.25	c (0,0) c |                                                                                                       |
7.63/4.25	c (0,0) c |  Number of variables:         20472                                                                   |
7.63/4.25	c (0,0) c |  Number of clauses:          392750                                                                   |
7.63/4.25	c (0,0) c |  Parse time:                   0.13 s                                                                 |
7.63/4.25	c (0,0) c |                                                                                                       |
8.03/4.67	c (1,0) c |  Simplification time:          0.53 s                                                                 |
8.03/4.67	c (1,0) c |                                                                                                       |
8.03/4.67	c (1,0) c |  Generating clones                                                                                    |
8.14/4.77	c (1,0) c |  all clones generated. Memory =   238.64Mb.                                                           |
8.14/4.77	c (1,0) c ========================================================================================================|
8.14/4.77	c (1,0) c
8.14/4.77	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.14/4.77	c (1,0) c
8.14/4.77	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.14/4.77	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.14/4.77	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.14/4.77	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.14/4.77	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.14/4.77	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.14/4.77	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.14/4.77	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.14/4.77	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.14/4.77	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.14/4.77	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.14/4.77	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.14/4.77	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.14/4.77	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.14/4.77	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.14/4.77	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.14/4.77	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.14/4.77	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.14/4.77	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
97.40/16.60	c (12,0) c
97.40/16.60	c (12,0) c real time : 12.6083 s
97.40/16.60	c (12,0) c cpu time  : 89.4454 s
97.40/16.60	c (12,0) c
97.40/16.60	c (12,0) c
97.40/16.60	c (12,0) c
97.40/16.60	c (12,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
97.40/16.60	c (12,0) c
97.40/16.60	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
97.40/16.60	c (12,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
97.40/16.60	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
97.40/16.60	c (12,0) c | Conflicts     |          240552 |      30300 |      30381 |      30054 |      29162 |      29975 |      29807 |      30103 |      30770 |
97.40/16.60	c (12,0) c | Decisions     |          538003 |      67387 |      67307 |      70241 |      65946 |      66930 |      63481 |      69032 |      67679 |
97.40/16.60	c (12,0) c | Propagations  |       165600929 |   20692395 |   20772239 |   20551062 |   20407798 |   21002513 |   20494359 |   20483335 |   21197228 |
97.40/16.60	c (12,0) c | ReduceDBs     |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
97.40/16.60	c (12,0) c | SimpDBs       |              21 |          3 |          2 |          2 |          3 |          3 |          3 |          3 |          2 |
97.40/16.60	c (12,0) c | Restarts      |             759 |         94 |         69 |        106 |        100 |        110 |         83 |         92 |        105 |
97.40/16.60	c (12,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
97.40/16.60	c (12,0) c | PropBinClauses|       220482150 |   27782774 |   27385542 |   27173903 |   27382561 |   27729203 |   27893019 |   26891391 |   28243757 |
97.40/16.60	c (12,0) c | PropPreBlocker|      2008693466 |  249220454 |  251019089 |  253410093 |  248233567 |  249557211 |  247727661 |  250665089 |  258860302 |
97.40/16.60	c (12,0) c | PropNotBlocker|       758166660 |   93814077 |   94361093 |   95739024 |   95578640 |   93944085 |   96039137 |   93092555 |   95598049 |
97.40/16.60	c (12,0) c | LitFullScans  |      3907885388 |  486052872 |  486021611 |  492065072 |  486038986 |  486037570 |  486032588 |  487599360 |  498037329 |
97.40/16.60	c (12,0) c | LitScanFracts |          222786 |      21520 |      15957 |      47255 |      31006 |      27831 |      24063 |      32420 |      22734 |
97.40/16.60	c (12,0) c | DecisionLevel0|             769 |         96 |         70 |        106 |        102 |        111 |         85 |         93 |        106 |
97.40/16.60	c (12,0) c | Periods       |             651 |         81 |         81 |         82 |         81 |         81 |         81 |         81 |         83 |
97.40/16.60	c (12,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
97.40/16.60	c (12,0) c | Avg_Trail     |                 |       6458 |       6505 |       6481 |       6478 |       6524 |       6260 |       6726 |       6601 |
97.40/16.60	c (12,0) c | Avg_DL        |                 |         24 |         24 |         24 |         25 |         25 |         25 |         26 |         25 |
97.40/16.60	c (12,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
97.40/16.60	c (12,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
97.40/16.60	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
97.40/16.60	c (12,0) c | Exported      |           46340 |       5551 |       5862 |       5779 |       5646 |       5768 |       5626 |       5984 |       6124 |
97.40/16.60	c (12,0) c | Imported      |          257189 |      32732 |      30252 |      33139 |      32674 |      31906 |      32678 |      30455 |      33353 |
97.40/16.60	c (12,0) c | Good          |             122 |         17 |         14 |         15 |         15 |         13 |         17 |         15 |         16 |
97.40/16.60	c (12,0) c | Purge         |          257067 |      32715 |      30238 |      33124 |      32659 |      31893 |      32661 |      30440 |      33337 |
97.40/16.60	c (12,0) c | Promoted      |           21653 |       2618 |       2748 |       2883 |       2790 |       2689 |       2710 |       2582 |       2633 |
97.40/16.60	c (12,0) c | Remove_Imp    |           63833 |       5939 |       8024 |       8083 |       9869 |       7866 |       7980 |       8153 |       7919 |
97.40/16.60	c (12,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
97.40/16.60	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
97.40/16.60	c (12,0) c | Unaries       |                 |          2 |          1 |          0 |          2 |          1 |          2 |          1 |          1 |
97.40/16.60	c (12,0) c | Binaries      |                 |          1 |          2 |          3 |          3 |          5 |          2 |          2 |          2 |
97.40/16.60	c (12,0) c | Glues         |                 |         61 |        101 |         67 |         88 |         70 |         74 |         72 |         62 |
97.40/16.60	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
97.40/16.60	c (12,0) c | Orig_Seen     |             9 % |      37076 |      37652 |      36805 |      37089 |      36498 |      34108 |      40543 |      38216 |
97.40/16.60	c (12,0) c | Diff Orig seen|                 | -     3467 | -     2891 | -     3738 | -     3454 | -     4045 | -     6435 |      X     | -     2327 |
97.40/16.60	c (12,0) c | Hamming       |            35 % |       6768 |       6874 |       7008 |       6887 |       8091 |       6121 |      X     |       9370 |
97.40/16.60	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
97.40/16.60	c (12,0) c | RunningTime   |                 |   11.6 100%|   11.8 100%|   10.9 100%|   11.0 100%|   11.1 100%|   11.2 100%|   10.9 100%|   11.0 100%|
97.40/16.60	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%|
97.40/16.60	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%|
97.40/16.60	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%|
97.40/16.60	c (12,0) c | SolvingTime   |                 |   11.6     |   11.8     |   11.0     |   11.0     |   11.1     |   11.2     |   11.0     |   11.0     |
97.40/16.60	c (12,0) c | PropagationTim|                 |    9.9  85%|   10.1  85%|    9.3  85%|    9.3  85%|    9.4  85%|    9.5  85%|    9.2  84%|    9.3  85%|
97.40/16.60	c (12,0) c | AnalysisTime  |                 |    1.3  11%|    1.3  11%|    1.3  11%|    1.2  11%|    1.2  11%|    1.2  11%|    1.3  12%|    1.3  12%|
97.40/16.60	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%|
97.40/16.60	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%|
97.40/16.60	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%|
97.40/16.60	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%|
97.40/16.60	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
97.40/16.60	c (12,0) c
97.40/16.60	c (12,0) c
97.40/16.60	c (12,0) c Threads : 8
97.40/16.60	c (12,0) c Winner : 6
97.40/16.60	c (12,0) c Conflicts_0 : 30300
97.40/16.60	c (12,0) c Conflicts_1 : 30381
97.40/16.60	c (12,0) c Conflicts_2 : 30054
97.40/16.60	c (12,0) c Conflicts_3 : 29162
97.40/16.60	c (12,0) c Conflicts_4 : 29975
97.40/16.60	c (12,0) c Conflicts_5 : 29807
97.40/16.60	c (12,0) c Conflicts_6 : 30103
97.40/16.60	c (12,0) c Conflicts_7 : 30770
97.40/16.60	c (12,0) c Conflicts_total : 240552
97.40/16.60	c (12,0) c Conflicts_winner : 30103
97.40/16.60	c (12,0) c Decisions_0 : 67387
97.40/16.60	c (12,0) c Decisions_1 : 67307
97.40/16.60	c (12,0) c Decisions_2 : 70241
97.40/16.60	c (12,0) c Decisions_3 : 65946
97.40/16.60	c (12,0) c Decisions_4 : 66930
97.40/16.60	c (12,0) c Decisions_5 : 63481
97.40/16.60	c (12,0) c Decisions_6 : 69032
97.40/16.60	c (12,0) c Decisions_7 : 67679
97.40/16.60	c (12,0) c Decisions_total : 538003
97.40/16.60	c (12,0) c Decisions_winner : 69032
97.40/16.60	c (12,0) c Propagations_0 : 20692395
97.40/16.60	c (12,0) c Propagations_1 : 20772239
97.40/16.60	c (12,0) c Propagations_2 : 20551062
97.40/16.60	c (12,0) c Propagations_3 : 20407798
97.40/16.60	c (12,0) c Propagations_4 : 21002513
97.40/16.60	c (12,0) c Propagations_5 : 20494359
97.40/16.60	c (12,0) c Propagations_6 : 20483335
97.40/16.60	c (12,0) c Propagations_7 : 21197228
97.40/16.60	c (12,0) c Propagations_total : 165600929
97.40/16.60	c (12,0) c Propagations_winner : 20483335
97.40/16.61	c (12,0) c ReduceDBs_0 : 4
97.40/16.61	c (12,0) c ReduceDBs_1 : 4
97.40/16.61	c (12,0) c ReduceDBs_2 : 4
97.40/16.61	c (12,0) c ReduceDBs_3 : 4
97.40/16.61	c (12,0) c ReduceDBs_4 : 4
97.40/16.61	c (12,0) c ReduceDBs_5 : 4
97.40/16.61	c (12,0) c ReduceDBs_6 : 4
97.40/16.61	c (12,0) c ReduceDBs_7 : 4
97.40/16.61	c (12,0) c ReduceDBs_total : 32
97.40/16.61	c (12,0) c ReduceDBs_winner : 4
97.40/16.61	c (12,0) c SimpDBs_0 : 3
97.40/16.61	c (12,0) c SimpDBs_1 : 2
97.40/16.61	c (12,0) c SimpDBs_2 : 2
97.40/16.61	c (12,0) c SimpDBs_3 : 3
97.40/16.61	c (12,0) c SimpDBs_4 : 3
97.40/16.61	c (12,0) c SimpDBs_5 : 3
97.40/16.61	c (12,0) c SimpDBs_6 : 3
97.40/16.61	c (12,0) c SimpDBs_7 : 2
97.40/16.61	c (12,0) c SimpDBs_total : 21
97.40/16.61	c (12,0) c SimpDBs_winner : 3
97.40/16.61	c (12,0) c Restarts_0 : 94
97.40/16.61	c (12,0) c Restarts_1 : 69
97.40/16.61	c (12,0) c Restarts_2 : 106
97.40/16.61	c (12,0) c Restarts_3 : 100
97.40/16.61	c (12,0) c Restarts_4 : 110
97.40/16.61	c (12,0) c Restarts_5 : 83
97.40/16.61	c (12,0) c Restarts_6 : 92
97.40/16.61	c (12,0) c Restarts_7 : 105
97.40/16.61	c (12,0) c Restarts_total : 759
97.40/16.61	c (12,0) c Restarts_winner : 92
97.40/16.61	c (12,0) c ForcedImports_0 : 0
97.40/16.61	c (12,0) c ForcedImports_1 : 0
97.40/16.61	c (12,0) c ForcedImports_2 : 0
97.40/16.61	c (12,0) c ForcedImports_3 : 0
97.40/16.61	c (12,0) c ForcedImports_4 : 0
97.40/16.61	c (12,0) c ForcedImports_5 : 0
97.40/16.61	c (12,0) c ForcedImports_6 : 0
97.40/16.61	c (12,0) c ForcedImports_7 : 0
97.40/16.61	c (12,0) c ForcedImports_total : 0
97.40/16.61	c (12,0) c ForcedImports_winner : 0
97.40/16.61	c (12,0) c PropsBinClauses_0 : 27782774
97.40/16.61	c (12,0) c PropsBinClauses_1 : 27385542
97.40/16.61	c (12,0) c PropsBinClauses_2 : 27173903
97.40/16.61	c (12,0) c PropsBinClauses_3 : 27382561
97.40/16.61	c (12,0) c PropsBinClauses_4 : 27729203
97.40/16.61	c (12,0) c PropsBinClauses_5 : 27893019
97.40/16.61	c (12,0) c PropsBinClauses_6 : 26891391
97.40/16.61	c (12,0) c PropsBinClauses_7 : 28243757
97.40/16.61	c (12,0) c PropsBinClauses_total : 220482150
97.40/16.61	c (12,0) c PropsBinClauses_winner : 26891391
97.40/16.61	c (12,0) c PropsPreBlocker_0 : 249220454
97.40/16.61	c (12,0) c PropsPreBlocker_1 : 251019089
97.40/16.61	c (12,0) c PropsPreBlocker_2 : 253410093
97.40/16.61	c (12,0) c PropsPreBlocker_3 : 248233567
97.40/16.61	c (12,0) c PropsPreBlocker_4 : 249557211
97.40/16.61	c (12,0) c PropsPreBlocker_5 : 247727661
97.40/16.61	c (12,0) c PropsPreBlocker_6 : 250665089
97.40/16.61	c (12,0) c PropsPreBlocker_7 : 258860302
97.40/16.61	c (12,0) c PropsPreBlocker_total : 2008693466
97.40/16.61	c (12,0) c PropsPreBlocker_winner : 250665089
97.40/16.61	c (12,0) c PropsNotBlocker_0 : 93814077
97.40/16.61	c (12,0) c PropsNotBlocker_1 : 94361093
97.40/16.61	c (12,0) c PropsNotBlocker_2 : 95739024
97.40/16.61	c (12,0) c PropsNotBlocker_3 : 95578640
97.40/16.61	c (12,0) c PropsNotBlocker_4 : 93944085
97.40/16.61	c (12,0) c PropsNotBlocker_5 : 96039137
97.40/16.61	c (12,0) c PropsNotBlocker_6 : 93092555
97.40/16.61	c (12,0) c PropsNotBlocker_7 : 95598049
97.40/16.61	c (12,0) c PropsNotBlocker_total : 758166660
97.40/16.61	c (12,0) c PropsNotBlocker_winner : 93092555
97.40/16.61	c (12,0) c PropsLitFullScans_0 : 486052872
97.40/16.61	c (12,0) c PropsLitFullScans_1 : 486021611
97.40/16.61	c (12,0) c PropsLitFullScans_2 : 492065072
97.40/16.61	c (12,0) c PropsLitFullScans_3 : 486038986
97.40/16.61	c (12,0) c PropsLitFullScans_4 : 486037570
97.40/16.61	c (12,0) c PropsLitFullScans_5 : 486032588
97.40/16.61	c (12,0) c PropsLitFullScans_6 : 487599360
97.40/16.61	c (12,0) c PropsLitFullScans_7 : 498037329
97.40/16.61	c (12,0) c PropsLitFullScans_total : 3907885388
97.40/16.61	c (12,0) c PropsLitFullScans_winner : 487599360
97.40/16.61	c (12,0) c LitScanFractions_0 : 21520
97.40/16.61	c (12,0) c LitScanFractions_1 : 15957
97.40/16.61	c (12,0) c LitScanFractions_2 : 47255
97.40/16.61	c (12,0) c LitScanFractions_3 : 31006
97.40/16.61	c (12,0) c LitScanFractions_4 : 27831
97.40/16.61	c (12,0) c LitScanFractions_5 : 24063
97.40/16.61	c (12,0) c LitScanFractions_6 : 32420
97.40/16.61	c (12,0) c LitScanFractions_7 : 22734
97.40/16.61	c (12,0) c LitScanFractions_total : 222786
97.40/16.61	c (12,0) c LitScanFractions_winner : 32420
97.40/16.61	c (12,0) c DecisionLevel0_0 : 96
97.40/16.61	c (12,0) c DecisionLevel0_1 : 70
97.40/16.61	c (12,0) c DecisionLevel0_2 : 106
97.40/16.61	c (12,0) c DecisionLevel0_3 : 102
97.40/16.61	c (12,0) c DecisionLevel0_4 : 111
97.40/16.61	c (12,0) c DecisionLevel0_5 : 85
97.40/16.61	c (12,0) c DecisionLevel0_6 : 93
97.40/16.61	c (12,0) c DecisionLevel0_7 : 106
97.40/16.61	c (12,0) c DecisionLevel0_total : 769
97.40/16.61	c (12,0) c DecisionLevel0_winner : 93
97.40/16.61	c (12,0) c Periods_0 : 81
97.40/16.61	c (12,0) c Periods_1 : 81
97.40/16.61	c (12,0) c Periods_2 : 82
97.40/16.61	c (12,0) c Periods_3 : 81
97.40/16.61	c (12,0) c Periods_4 : 81
97.40/16.61	c (12,0) c Periods_5 : 81
97.40/16.61	c (12,0) c Periods_6 : 81
97.40/16.61	c (12,0) c Periods_7 : 83
97.40/16.61	c (12,0) c Periods_total : 651
97.40/16.61	c (12,0) c Periods_winner : 81
97.40/16.61	c (12,0) c Margin_0 : 20
97.40/16.61	c (12,0) c Margin_1 : 20
97.40/16.61	c (12,0) c Margin_2 : 20
97.40/16.61	c (12,0) c Margin_3 : 20
97.40/16.61	c (12,0) c Margin_4 : 20
97.40/16.61	c (12,0) c Margin_5 : 20
97.40/16.61	c (12,0) c Margin_6 : 20
97.40/16.61	c (12,0) c Margin_7 : 20
97.40/16.61	c (12,0) c Margin_total : 160
97.40/16.61	c (12,0) c Margin_winner : 20
97.40/16.61	c (12,0) c Exported_0 : 5551
97.40/16.61	c (12,0) c Exported_1 : 5862
97.40/16.61	c (12,0) c Exported_2 : 5779
97.40/16.61	c (12,0) c Exported_3 : 5646
97.40/16.61	c (12,0) c Exported_4 : 5768
97.40/16.61	c (12,0) c Exported_5 : 5626
97.40/16.61	c (12,0) c Exported_6 : 5984
97.40/16.61	c (12,0) c Exported_7 : 6124
97.40/16.61	c (12,0) c Exported_total : 46340
97.40/16.61	c (12,0) c Exported_winner : 5984
97.40/16.61	c (12,0) c Imported_0 : 32732
97.40/16.61	c (12,0) c Imported_1 : 30252
97.40/16.61	c (12,0) c Imported_2 : 33139
97.40/16.61	c (12,0) c Imported_3 : 32674
97.40/16.61	c (12,0) c Imported_4 : 31906
97.40/16.61	c (12,0) c Imported_5 : 32678
97.40/16.61	c (12,0) c Imported_6 : 30455
97.40/16.61	c (12,0) c Imported_7 : 33353
97.40/16.61	c (12,0) c Imported_total : 257189
97.40/16.61	c (12,0) c Imported_winner : 30455
97.40/16.61	c (12,0) c Good_0 : 17
97.40/16.61	c (12,0) c Good_1 : 14
97.40/16.61	c (12,0) c Good_2 : 15
97.40/16.61	c (12,0) c Good_3 : 15
97.40/16.61	c (12,0) c Good_4 : 13
97.40/16.61	c (12,0) c Good_5 : 17
97.40/16.61	c (12,0) c Good_6 : 15
97.40/16.61	c (12,0) c Good_7 : 16
97.40/16.61	c (12,0) c Good_total : 122
97.40/16.61	c (12,0) c Good_winner : 15
97.40/16.61	c (12,0) c Purge_0 : 32715
97.40/16.61	c (12,0) c Purge_1 : 30238
97.40/16.61	c (12,0) c Purge_2 : 33124
97.40/16.61	c (12,0) c Purge_3 : 32659
97.40/16.61	c (12,0) c Purge_4 : 31893
97.40/16.61	c (12,0) c Purge_5 : 32661
97.40/16.61	c (12,0) c Purge_6 : 30440
97.40/16.61	c (12,0) c Purge_7 : 33337
97.40/16.61	c (12,0) c Purge_total : 257067
97.40/16.61	c (12,0) c Purge_winner : 30440
97.40/16.61	c (12,0) c Promoted_0 : 2618
97.40/16.61	c (12,0) c Promoted_1 : 2748
97.40/16.61	c (12,0) c Promoted_2 : 2883
97.40/16.61	c (12,0) c Promoted_3 : 2790
97.40/16.61	c (12,0) c Promoted_4 : 2689
97.40/16.61	c (12,0) c Promoted_5 : 2710
97.40/16.61	c (12,0) c Promoted_6 : 2582
97.40/16.61	c (12,0) c Promoted_7 : 2633
97.40/16.61	c (12,0) c Promoted_total : 21653
97.40/16.61	c (12,0) c Promoted_winner : 2582
97.40/16.61	c (12,0) c Remove_Imp_0 : 5939
97.40/16.61	c (12,0) c Remove_Imp_1 : 8024
97.40/16.61	c (12,0) c Remove_Imp_2 : 8083
97.40/16.61	c (12,0) c Remove_Imp_3 : 9869
97.40/16.61	c (12,0) c Remove_Imp_4 : 7866
97.40/16.61	c (12,0) c Remove_Imp_5 : 7980
97.40/16.61	c (12,0) c Remove_Imp_6 : 8153
97.40/16.61	c (12,0) c Remove_Imp_7 : 7919
97.40/16.61	c (12,0) c Remove_Imp_total : 63833
97.40/16.61	c (12,0) c Remove_Imp_winner : 8153
97.40/16.61	c (12,0) c Blocked_Reuse_0 : 0
97.40/16.61	c (12,0) c Blocked_Reuse_1 : 0
97.40/16.61	c (12,0) c Blocked_Reuse_2 : 0
97.40/16.61	c (12,0) c Blocked_Reuse_3 : 0
97.40/16.61	c (12,0) c Blocked_Reuse_4 : 0
97.40/16.61	c (12,0) c Blocked_Reuse_5 : 0
97.40/16.61	c (12,0) c Blocked_Reuse_6 : 0
97.40/16.61	c (12,0) c Blocked_Reuse_7 : 0
97.40/16.61	c (12,0) c Blocked_Reuse_total : 0
97.40/16.61	c (12,0) c Blocked_Reuse_winner : 0
97.40/16.61	c (12,0) c Unaries_0 : 2
97.40/16.61	c (12,0) c Unaries_1 : 1
97.40/16.61	c (12,0) c Unaries_2 : 0
97.40/16.61	c (12,0) c Unaries_3 : 2
97.40/16.61	c (12,0) c Unaries_4 : 1
97.40/16.61	c (12,0) c Unaries_5 : 2
97.40/16.61	c (12,0) c Unaries_6 : 1
97.40/16.61	c (12,0) c Unaries_7 : 1
97.40/16.61	c (12,0) c Unaries_total : 10
97.40/16.61	c (12,0) c Unaries_winner : 1
97.40/16.61	c (12,0) c Binaries_0 : 1
97.40/16.61	c (12,0) c Binaries_1 : 2
97.40/16.61	c (12,0) c Binaries_2 : 3
97.40/16.61	c (12,0) c Binaries_3 : 3
97.40/16.61	c (12,0) c Binaries_4 : 5
97.40/16.61	c (12,0) c Binaries_5 : 2
97.40/16.61	c (12,0) c Binaries_6 : 2
97.40/16.61	c (12,0) c Binaries_7 : 2
97.40/16.61	c (12,0) c Binaries_total : 20
97.40/16.61	c (12,0) c Binaries_winner : 2
97.40/16.61	c (12,0) c Glues_0 : 61
97.40/16.61	c (12,0) c Glues_1 : 101
97.40/16.61	c (12,0) c Glues_2 : 67
97.40/16.61	c (12,0) c Glues_3 : 88
97.40/16.61	c (12,0) c Glues_4 : 70
97.40/16.61	c (12,0) c Glues_5 : 74
97.40/16.61	c (12,0) c Glues_6 : 72
97.40/16.61	c (12,0) c Glues_7 : 62
97.40/16.61	c (12,0) c Glues_total : 595
97.40/16.61	c (12,0) c Glues_winner : 72
97.40/16.61	c (12,0) c RunningTime_0 : 11.599097
97.40/16.61	c (12,0) c RunningTime_1 : 11.807891
97.40/16.61	c (12,0) c RunningTime_2 : 10.941455
97.40/16.61	c (12,0) c RunningTime_3 : 10.959670
97.40/16.61	c (12,0) c RunningTime_4 : 11.074445
97.40/16.61	c (12,0) c RunningTime_5 : 11.158810
97.40/16.61	c (12,0) c RunningTime_6 : 10.938985
97.40/16.61	c (12,0) c RunningTime_7 : 10.962661
97.40/16.61	c (12,0) c RunningTime_total : 89.443013
97.40/16.61	c (12,0) c RunningTime_winner : 10.938985
97.40/16.61	c (12,0) c WaitingTime_0 : 0.000105
97.40/16.61	c (12,0) c WaitingTime_1 : 0.000073
97.40/16.61	c (12,0) c WaitingTime_2 : 0.000192
97.40/16.61	c (12,0) c WaitingTime_3 : 0.000102
97.40/16.61	c (12,0) c WaitingTime_4 : 0.000111
97.40/16.61	c (12,0) c WaitingTime_5 : 0.000106
97.40/16.61	c (12,0) c WaitingTime_6 : 0.000102
97.40/16.61	c (12,0) c WaitingTime_7 : 0.000142
97.40/16.61	c (12,0) c WaitingTime_total : 0.000932
97.40/16.61	c (12,0) c WaitingTime_winner : 0.000102
97.40/16.61	c (12,0) c ExchangingTime_0 : 0.014472
97.40/16.61	c (12,0) c ExchangingTime_1 : 0.012446
97.40/16.61	c (12,0) c ExchangingTime_2 : 0.013313
97.40/16.61	c (12,0) c ExchangingTime_3 : 0.013243
97.40/16.61	c (12,0) c ExchangingTime_4 : 0.013094
97.40/16.61	c (12,0) c ExchangingTime_5 : 0.019088
97.40/16.61	c (12,0) c ExchangingTime_6 : 0.013303
97.40/16.61	c (12,0) c ExchangingTime_7 : 0.013887
97.40/16.61	c (12,0) c ExchangingTime_total : 0.112846
97.40/16.61	c (12,0) c ExchangingTime_winner : 0.013303
97.40/16.61	c (12,0) c PeriodProcTime_0 : 0.000784
97.40/16.61	c (12,0) c PeriodProcTime_1 : 0.000919
97.40/16.61	c (12,0) c PeriodProcTime_2 : 0.000889
97.40/16.61	c (12,0) c PeriodProcTime_3 : 0.000740
97.40/16.61	c (12,0) c PeriodProcTime_4 : 0.000749
97.40/16.61	c (12,0) c PeriodProcTime_5 : 0.000912
97.40/16.61	c (12,0) c PeriodProcTime_6 : 0.000761
97.40/16.61	c (12,0) c PeriodProcTime_7 : 0.000797
97.40/16.61	c (12,0) c PeriodProcTime_total : 0.006550
97.40/16.61	c (12,0) c PeriodProcTime_winner : 0.000761
97.40/16.61	c (12,0) c SolvingTime_0 : 11.614458
97.40/16.61	c (12,0) c SolvingTime_1 : 11.821330
97.40/16.61	c (12,0) c SolvingTime_2 : 10.955848
97.40/16.61	c (12,0) c SolvingTime_3 : 10.973755
97.40/16.61	c (12,0) c SolvingTime_4 : 11.088398
97.40/16.61	c (12,0) c SolvingTime_5 : 11.178915
97.40/16.61	c (12,0) c SolvingTime_6 : 10.953151
97.40/16.61	c (12,0) c SolvingTime_7 : 10.977487
97.40/16.61	c (12,0) c SolvingTime_total : 89.563341
97.40/16.61	c (12,0) c SolvingTime_winner : 10.953151
97.40/16.61	c (12,0) c PropagationTime_0 : 9.883391
97.40/16.61	c (12,0) c PropagationTime_1 : 10.061122
97.40/16.61	c (12,0) c PropagationTime_2 : 9.279287
97.40/16.61	c (12,0) c PropagationTime_3 : 9.281878
97.40/16.61	c (12,0) c PropagationTime_4 : 9.397649
97.40/16.62	c (12,0) c PropagationTime_5 : 9.494006
97.40/16.62	c (12,0) c PropagationTime_6 : 9.202357
97.40/16.62	c (12,0) c PropagationTime_7 : 9.281256
97.40/16.62	c (12,0) c PropagationTime_total : 75.880948
97.40/16.62	c (12,0) c PropagationTime_winner : 9.202357
97.40/16.62	c (12,0) c AnalysisTime_0 : 1.294383
97.40/16.62	c (12,0) c AnalysisTime_1 : 1.305933
97.40/16.62	c (12,0) c AnalysisTime_2 : 1.255189
97.40/16.62	c (12,0) c AnalysisTime_3 : 1.242785
97.40/16.62	c (12,0) c AnalysisTime_4 : 1.237441
97.40/16.62	c (12,0) c AnalysisTime_5 : 1.241687
97.40/16.62	c (12,0) c AnalysisTime_6 : 1.295549
97.40/16.62	c (12,0) c AnalysisTime_7 : 1.265288
97.40/16.62	c (12,0) c AnalysisTime_total : 10.138254
97.40/16.62	c (12,0) c AnalysisTime_winner : 1.295549
97.40/16.62	c (12,0) c ReductionTime_0 : 0.011826
97.40/16.62	c (12,0) c ReductionTime_1 : 0.012172
97.40/16.62	c (12,0) c ReductionTime_2 : 0.012120
97.40/16.62	c (12,0) c ReductionTime_3 : 0.012505
97.40/16.62	c (12,0) c ReductionTime_4 : 0.012139
97.40/16.62	c (12,0) c ReductionTime_5 : 0.012409
97.40/16.62	c (12,0) c ReductionTime_6 : 0.012406
97.40/16.62	c (12,0) c ReductionTime_7 : 0.012234
97.40/16.62	c (12,0) c ReductionTime_total : 0.097811
97.40/16.62	c (12,0) c ReductionTime_winner : 0.012406
97.40/16.62	c (12,0) c SimplifyTime_0 : 0.024117
97.40/16.62	c (12,0) c SimplifyTime_1 : 0.014965
97.40/16.62	c (12,0) c SimplifyTime_2 : 0.010551
97.40/16.62	c (12,0) c SimplifyTime_3 : 0.020432
97.40/16.62	c (12,0) c SimplifyTime_4 : 0.025253
97.40/16.62	c (12,0) c SimplifyTime_5 : 0.024639
97.40/16.62	c (12,0) c SimplifyTime_6 : 0.027178
97.40/16.62	c (12,0) c SimplifyTime_7 : 0.015414
97.40/16.62	c (12,0) c SimplifyTime_total : 0.162549
97.40/16.62	c (12,0) c SimplifyTime_winner : 0.027178
97.40/16.62	c (12,0) c UsedRateTime_0 : 0.000000
97.40/16.62	c (12,0) c UsedRateTime_1 : 0.000000
97.40/16.62	c (12,0) c UsedRateTime_2 : 0.000000
97.40/16.62	c (12,0) c UsedRateTime_3 : 0.000000
97.40/16.62	c (12,0) c UsedRateTime_4 : 0.000000
97.40/16.62	c (12,0) c UsedRateTime_5 : 0.000000
97.40/16.62	c (12,0) c UsedRateTime_6 : 0.000000
97.40/16.62	c (12,0) c UsedRateTime_7 : 0.000000
97.40/16.62	c (12,0) c UsedRateTime_total : 0.000000
97.40/16.62	c (12,0) c UsedRateTime_winner : 0.000000
97.40/16.62	c (12,0) c OverlapRateTime_0 : 0.000000
97.40/16.62	c (12,0) c OverlapRateTime_1 : 0.000000
97.40/16.62	c (12,0) c OverlapRateTime_2 : 0.000000
97.40/16.62	c (12,0) c OverlapRateTime_3 : 0.000000
97.40/16.62	c (12,0) c OverlapRateTime_4 : 0.000000
97.40/16.62	c (12,0) c OverlapRateTime_5 : 0.000000
97.40/16.62	c (12,0) c OverlapRateTime_6 : 0.000000
97.40/16.62	c (12,0) c OverlapRateTime_7 : 0.000000
97.40/16.62	c (12,0) c OverlapRateTime_total : 0.000000
97.40/16.62	c (12,0) c OverlapRateTime_winner : 0.000000
97.40/16.62	c (12,0) c
97.40/16.62	c (12,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
97.40/16.62	c (12,0) c
97.40/16.62	c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
97.40/16.62	c (12,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
97.40/16.62	c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
97.40/16.62	c (12,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
97.40/16.62	c (12,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
97.40/16.62	c (12,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
97.40/16.62	c (12,0) c | Initial random_seed   | 1195999139 |  979854045 | 2059723043 | 1853973051 | 1345981135 | 2033120915 | 1649341207 |  683639347 |
97.40/16.62	c (12,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
97.40/16.62	c (12,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
97.40/16.62	c (12,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
97.40/16.62	c (12,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
97.40/16.62	c (12,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
97.40/16.62	c (12,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
97.40/16.62	c (12,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
97.40/16.62	c (12,0) c | var_decay             |     0.8600 |     0.8600 |     0.8600 |     0.8500 |     0.8500 |     0.8500 |     0.8600 |     0.8600 |
97.40/16.62	c (12,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
97.40/16.62	c (12,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
97.40/16.62	c (12,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
97.40/16.62	c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
97.40/16.62	c (12,0) 
97.40/16.62	c (12,0) s SATISFIABLE
97.40/16.66	c (13,0) SatSolver.solve End
97.40/16.66	c (13,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
97.40/16.66	c (13,0) Show results Begin
97.66/16.77	c (13,0) x[0] = 19
97.66/16.77	c (13,0) x[1] = 383
97.66/16.77	c (13,0) x[2] = 19
97.66/16.77	c (13,0) x[3] = 153
97.66/16.77	c (13,0) x[4] = 0
97.66/16.77	c (13,0) x[5] = 32
97.66/16.77	c (13,0) x[6] = 32
97.66/16.77	c (13,0) x[7] = 0
97.66/16.77	c (13,0) x[8] = 25
97.66/16.77	c (13,0) x[9] = 0
97.66/16.77	c (13,0) x[10] = 0
97.66/16.77	c (13,0) x[11] = 0
97.66/16.77	c (13,0) x[12] = 328
97.66/16.77	c (13,0) x[13] = 392
97.66/16.77	c (13,0) x[14] = 53
97.66/16.77	c (13,0) x[15] = 383
97.66/16.77	c (13,0) x[16] = 292
97.66/16.77	c (13,0) x[17] = 56
97.66/16.77	c (13,0) x[18] = 167
97.66/16.77	c (13,0) x[19] = 0
97.66/16.77	c (13,0) x[20] = 328
97.66/16.77	c (13,0) x[21] = 153
97.66/16.77	c (13,0) x[22] = 0
97.66/16.77	c (13,0) x[23] = 292
97.66/16.77	c (13,0) x[24] = 127
97.66/16.77	c (13,0) y[0] = 225
97.66/16.77	c (13,0) y[1] = 201
97.66/16.77	c (13,0) y[2] = 212
97.66/16.77	c (13,0) y[3] = 312
97.66/16.77	c (13,0) y[4] = 212
97.66/16.77	c (13,0) y[5] = 180
97.66/16.77	c (13,0) y[6] = 201
97.66/16.77	c (13,0) y[7] = 231
97.66/16.77	c (13,0) y[8] = 225
97.66/16.77	c (13,0) y[9] = 180
97.66/16.77	c (13,0) y[10] = 127
97.66/16.77	c (13,0) y[11] = 256
97.66/16.77	c (13,0) y[12] = 137
97.66/16.77	c (13,0) y[13] = 137
97.66/16.77	c (13,0) y[14] = 127
97.66/16.77	c (13,0) y[15] = 210
97.66/16.77	c (13,0) y[16] = 201
97.66/16.77	c (13,0) y[17] = 201
97.66/16.77	c (13,0) y[18] = 201
97.66/16.77	c (13,0) y[19] = 0
97.66/16.77	c (13,0) y[20] = 0
97.66/16.77	c (13,0) y[21] = 326
97.66/16.77	c (13,0) y[22] = 312
97.66/16.77	c (13,0) y[23] = 292
97.66/16.77	c (13,0) y[24] = 0
97.66/16.77	s SATISFIABLE
97.66/16.77	v <instantiation>
97.66/16.77	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>
97.66/16.77	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>
97.66/16.77	v </instantiation>
97.66/16.77	c (13,0) Show results End
97.66/16.77	c (13,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
97.66/16.77	c (13,0) 13,13,STOP-AFTER(ALL)
97.66/16.77	c END-Prog: Tue Sep 24 17:15:52 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 (12289 MiB free)
  memory of node 1: 16384 MiB (12595 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405200-1569338178/watcher-4405200-1569338178 -o /tmp/evaluation-result-4405200-1569338178/solver-4405200-1569338178 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569335936-24493 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405200-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
Current StackSize limit: 8192 KiB

solver pid=24786, runsolver pid=24783

[startup+0.100139 s]*
/proc/loadavg: 7.51 7.49 5.38 2/211 24808
/proc/meminfo: memFree=25386532/32770624 swapFree=66975632/67108860
[pid=24786] ppid=24783 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/24786/stat : 24786 (scop.sh) S 24783 24786 24466 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510084582 115843072 348 33554432000 4194304 5098028 140736860229280 140736860226536 139937255416444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30310400 140736860230437 140736860230764 140736860230764 140736860233677 0
/proc/24786/statm: 28282 348 296 221 0 87 0
[pid=24789] ppid=24786 vsize=27314120 memory=107632 CPUtime=0.11 cores=0-7
/proc/24789/stat : 24789 (java) S 24786 24786 24466 0 -1 1077944320 6480 0 0 0 8 3 0 0 20 0 20 0 510084582 27969658880 26908 33554432000 4194304 4196468 140733631926288 140733631908832 140657218395895 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
/proc/24789/statm: 6828530 26908 2800 1 0 6790935 0
[pid=24789/tid=24790] ppid=24786 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/24789/task/24790/stat : 24790 (java) R 24786 24786 24466 0 -1 4202560 4587 0 0 0 7 2 0 0 20 0 20 0 510084582 27969658880 26908 33554432000 4194304 4196468 140733631926288 140657190222224 140657204464014 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24791] ppid=24786 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24789/task/24791/stat : 24791 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 26908 33554432000 4194304 4196468 140733631926288 140657222638096 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24792] ppid=24786 vsize=27314120 memory=140546283648640 CPUtime=0 cores=0-7
/proc/24789/task/24792/stat : 24792 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 26908 33554432000 4194304 4196468 140733631926288 140657036794512 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24793] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24793/stat : 24793 (java) S 24786 24786 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 27420 33554432000 4194304 4196468 140733631926288 140657035741456 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24794] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24794/stat : 24794 (java) S 24786 24786 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 27420 33554432000 4194304 4196468 140733631926288 140657034688912 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24795] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24795/stat : 24795 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 27420 33554432000 4194304 4196468 140733631926288 140657033636880 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24796] ppid=24786 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24789/task/24796/stat : 24796 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 27420 33554432000 4194304 4196468 140733631926288 140657032584336 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24797] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24797/stat : 24797 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 27420 33554432000 4194304 4196468 140733631926288 140657031531280 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24798] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24798/stat : 24798 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 27420 33554432000 4194304 4196468 140733631926288 140657030478736 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24799] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24799/stat : 24799 (java) S 24786 24786 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510084586 27969658880 27420 33554432000 4194304 4196468 140733631926288 140655383308528 140657218407042 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24800] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24800/stat : 24800 (java) S 24786 24786 24466 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510084587 27969658880 27420 33554432000 4194304 4196468 140733631926288 140655145772192 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24801] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24801/stat : 24801 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084587 27969658880 27420 33554432000 4194304 4196468 140733631926288 140654877336304 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24802] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24802/stat : 24802 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084589 27969658880 27420 33554432000 4194304 4196468 140733631926288 140654502827984 140657218414491 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24803] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24803/stat : 24803 (java) S 24786 24786 24466 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 510084590 27969658880 27420 33554432000 4194304 4196468 140733631926288 140655382256368 140657218407042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24804] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24804/stat : 24804 (java) S 24786 24786 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510084590 27969658880 27420 33554432000 4194304 4196468 140733631926288 140655381203824 140657218407042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24805] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24805/stat : 24805 (java) S 24786 24786 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510084590 27969658880 27420 33554432000 4194304 4196468 140733631926288 140655380150768 140657218407042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24806] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24806/stat : 24806 (java) S 24786 24786 24466 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 20 0 510084590 27969658880 27420 33554432000 4194304 4196468 140733631926288 140655379098224 140657218407042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24807] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24807/stat : 24807 (java) S 24786 24786 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510084590 27969658880 27420 33554432000 4194304 4196468 140733631926288 140654004922848 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24808] ppid=24786 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24789/task/24808/stat : 24808 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084590 27969658880 27420 33554432000 4194304 4196468 140733631926288 140655378045616 140657218407042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109024 KiB

[startup+0.210475 s]*
/proc/loadavg: 7.51 7.49 5.38 2/211 24808
/proc/meminfo: memFree=25365340/32770624 swapFree=66975632/67108860
[pid=24786] ppid=24783 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/24786/stat : 24786 (scop.sh) S 24783 24786 24466 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510084582 115843072 348 33554432000 4194304 5098028 140736860229280 140736860226536 139937255416444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30310400 140736860230437 140736860230764 140736860230764 140736860233677 0
/proc/24786/statm: 28282 348 296 221 0 87 0
[pid=24789] ppid=24786 vsize=27314120 memory=126764 CPUtime=0.24 cores=0-7
/proc/24789/stat : 24789 (java) S 24786 24786 24466 0 -1 1077944320 12085 0 0 0 20 4 0 0 20 0 20 0 510084582 27969658880 31691 33554432000 4194304 4196468 140733631926288 140733631908832 140657218395895 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
/proc/24789/statm: 6828530 31691 2923 1 0 6790935 0
[pid=24789/tid=24790] ppid=24786 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/24789/task/24790/stat : 24790 (java) R 24786 24786 24466 0 -1 4202560 9811 0 0 0 16 3 0 0 20 0 20 0 510084582 27969658880 31691 33554432000 4194304 4196468 140733631926288 140657190195280 140657199959428 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24791] ppid=24786 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/24789/task/24791/stat : 24791 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 31691 33554432000 4194304 4196468 140733631926288 140657222638096 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24792] ppid=24786 vsize=27314120 memory=288370922435360384 CPUtime=0 cores=0-7
/proc/24789/task/24792/stat : 24792 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 31691 33554432000 4194304 4196468 140733631926288 140657036794512 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24793] ppid=24786 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24789/task/24793/stat : 24793 (java) S 24786 24786 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 31691 33554432000 4194304 4196468 140733631926288 140657035741456 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24794] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24794/stat : 24794 (java) S 24786 24786 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 31691 33554432000 4194304 4196468 140733631926288 140657034688912 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24795] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24795/stat : 24795 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 31691 33554432000 4194304 4196468 140733631926288 140657033636880 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24796] ppid=24786 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24789/task/24796/stat : 24796 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 31691 33554432000 4194304 4196468 140733631926288 140657032584336 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24797] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24797/stat : 24797 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 31691 33554432000 4194304 4196468 140733631926288 140657031531280 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24798] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24798/stat : 24798 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 31691 33554432000 4194304 4196468 140733631926288 140657030478736 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24799] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24799/stat : 24799 (java) S 24786 24786 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510084586 27969658880 31691 33554432000 4194304 4196468 140733631926288 140655383308528 140657218407042 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24800] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24800/stat : 24800 (java) S 24786 24786 24466 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510084587 27969658880 31691 33554432000 4194304 4196468 140733631926288 140655145772192 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24801] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24801/stat : 24801 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084587 27969658880 31691 33554432000 4194304 4196468 140733631926288 140654877336304 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24802] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24802/stat : 24802 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084589 27969658880 31691 33554432000 4194304 4196468 140733631926288 140654502827984 140657218414491 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24803] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24803/stat : 24803 (java) S 24786 24786 24466 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 20 0 510084590 27969658880 31691 33554432000 4194304 4196468 140733631926288 140655382256368 140657218407042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24804] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24804/stat : 24804 (java) S 24786 24786 24466 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 510084590 27969658880 31691 33554432000 4194304 4196468 140733631926288 140655381203824 140657218407042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24805] ppid=24786 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24789/task/24805/stat : 24805 (java) S 24786 24786 24466 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 510084590 27969658880 31691 33554432000 4194304 4196468 140733631926288 140655380150768 140657218407042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24806] ppid=24786 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/24789/task/24806/stat : 24806 (java) S 24786 24786 24466 0 -1 1077944384 441 0 0 0 2 0 0 0 20 0 20 0 510084590 27969658880 31691 33554432000 4194304 4196468 140733631926288 140655379098224 140657218407042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24807] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24807/stat : 24807 (java) S 24786 24786 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510084590 27969658880 31691 33554432000 4194304 4196468 140733631926288 140654004922848 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24808] ppid=24786 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24789/task/24808/stat : 24808 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084590 27969658880 31691 33554432000 4194304 4196468 140733631926288 140655378045616 140657218407042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128156 KiB

[startup+0.310327 s]*
/proc/loadavg: 7.51 7.49 5.38 2/211 24808
/proc/meminfo: memFree=25362796/32770624 swapFree=66975632/67108860
[pid=24786] ppid=24783 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/24786/stat : 24786 (scop.sh) S 24783 24786 24466 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510084582 115843072 348 33554432000 4194304 5098028 140736860229280 140736860226536 139937255416444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30310400 140736860230437 140736860230764 140736860230764 140736860233677 0
/proc/24786/statm: 28282 348 296 221 0 87 0
[pid=24789] ppid=24786 vsize=27314120 memory=130364 CPUtime=0.43 cores=0-7
/proc/24789/stat : 24789 (java) S 24786 24786 24466 0 -1 1077944320 12443 0 0 0 38 5 0 0 20 0 20 0 510084582 27969658880 32591 33554432000 4194304 4196468 140733631926288 140733631908832 140657218395895 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
/proc/24789/statm: 6828530 32591 3008 1 0 6790935 0
[pid=24789/tid=24790] ppid=24786 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/24789/task/24790/stat : 24790 (java) R 24786 24786 24466 0 -1 4202560 9998 0 0 0 26 3 0 0 20 0 20 0 510084582 27969658880 32591 33554432000 4194304 4196468 140733631926288 140657190208240 140657198671191 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24791] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24791/stat : 24791 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 32591 33554432000 4194304 4196468 140733631926288 140657222638096 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24792] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24792/stat : 24792 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 32591 33554432000 4194304 4196468 140733631926288 140657036794512 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24793] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24793/stat : 24793 (java) S 24786 24786 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 32591 33554432000 4194304 4196468 140733631926288 140657035741456 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24794] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24794/stat : 24794 (java) S 24786 24786 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 32591 33554432000 4194304 4196468 140733631926288 140657034688912 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24795] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24795/stat : 24795 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 32591 33554432000 4194304 4196468 140733631926288 140657033636880 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24796] ppid=24786 vsize=27314120 memory=140546161076911 CPUtime=0 cores=0-7
/proc/24789/task/24796/stat : 24796 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 32591 33554432000 4194304 4196468 140733631926288 140657032584336 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24797] ppid=24786 vsize=27314120 memory=140546161079216 CPUtime=0 cores=0-7
/proc/24789/task/24797/stat : 24797 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 32591 33554432000 4194304 4196468 140733631926288 140657031531280 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24798] ppid=24786 vsize=27314120 memory=140546161081520 CPUtime=0 cores=0-7
/proc/24789/task/24798/stat : 24798 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084585 27969658880 32591 33554432000 4194304 4196468 140733631926288 140657030478736 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24799] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24799/stat : 24799 (java) S 24786 24786 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510084586 27969658880 32591 33554432000 4194304 4196468 140733631926288 140655383308528 140657218407042 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24800] ppid=24786 vsize=27314120 memory=281092322176912 CPUtime=0 cores=0-7
/proc/24789/task/24800/stat : 24800 (java) S 24786 24786 24466 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510084587 27969658880 32591 33554432000 4194304 4196468 140733631926288 140655145772192 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24801] ppid=24786 vsize=27314120 memory=281092322174608 CPUtime=0 cores=0-7
/proc/24789/task/24801/stat : 24801 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084587 27969658880 32591 33554432000 4194304 4196468 140733631926288 140654877336304 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24802] ppid=24786 vsize=27314120 memory=281092322181520 CPUtime=0 cores=0-7
/proc/24789/task/24802/stat : 24802 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084589 27969658880 32591 33554432000 4194304 4196468 140733631926288 140654502827984 140657218414491 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24803] ppid=24786 vsize=27314120 memory=281092322122800 CPUtime=0 cores=0-7
/proc/24789/task/24803/stat : 24803 (java) S 24786 24786 24466 0 -1 1077944384 449 0 0 0 0 0 0 0 20 0 20 0 510084590 27969658880 32591 33554432000 4194304 4196468 140733631926288 140655382256368 140657218407042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24804] ppid=24786 vsize=27314120 memory=281092322195344 CPUtime=0.02 cores=0-7
/proc/24789/task/24804/stat : 24804 (java) S 24786 24786 24466 0 -1 1077944384 112 0 0 0 2 0 0 0 20 0 20 0 510084590 27969658880 32591 33554432000 4194304 4196468 140733631926288 140655381203824 140657218407042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24805] ppid=24786 vsize=27314120 memory=281092322202256 CPUtime=0.01 cores=0-7
/proc/24789/task/24805/stat : 24805 (java) S 24786 24786 24466 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 20 0 510084590 27969658880 32591 33554432000 4194304 4196468 140733631926288 140655380150768 140657218407042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24806] ppid=24786 vsize=27314120 memory=281092322199952 CPUtime=0.07 cores=0-7
/proc/24789/task/24806/stat : 24806 (java) S 24786 24786 24466 0 -1 1077944384 463 0 0 0 7 0 0 0 20 0 20 0 510084590 27969658880 32591 33554432000 4194304 4196468 140733631926288 140655379098224 140657218407042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24807] ppid=24786 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24807/stat : 24807 (java) S 24786 24786 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510084590 27969658880 32591 33554432000 4194304 4196468 140733631926288 140654004922848 140657218406101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24808] ppid=24786 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24789/task/24808/stat : 24808 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084590 27969658880 32591 33554432000 4194304 4196468 140733631926288 140655378045616 140657218407042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131756 KiB

[startup+0.703204 s]
/proc/loadavg: 7.51 7.49 5.38 2/211 24808
/proc/meminfo: memFree=25341216/32770624 swapFree=66975632/67108860
[pid=24786] ppid=24783 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/24786/stat : 24786 (scop.sh) S 24783 24786 24466 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510084582 115843072 348 33554432000 4194304 5098028 140736860229280 140736860226536 139937255416444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30310400 140736860230437 140736860230764 140736860230764 140736860233677 0
/proc/24786/statm: 28282 348 296 221 0 87 0
[pid=24789] ppid=24786 vsize=27322516 memory=166380 CPUtime=0.99 cores=0-7
/proc/24789/stat : 24789 (java) S 24786 24786 24466 0 -1 1077944320 20166 0 0 0 91 8 0 0 20 0 20 0 510084582 27978256384 41595 33554432000 4194304 4196468 140733631926288 140733631908832 140657218395895 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
/proc/24789/statm: 6830629 41595 3205 1 0 6791959 0
[pid=24789/tid=24790] ppid=24786 vsize=27323540 memory=0 CPUtime=0.68 cores=0-7
/proc/24789/task/24790/stat : 24790 (java) R 24786 24786 24466 0 -1 4202560 17181 0 0 0 62 6 0 0 20 0 20 0 510084582 27979304960 41595 33554432000 4194304 4196468 140733631926288 140657190213280 140657211075613 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24791] ppid=24786 vsize=27323540 memory=140546161288048 CPUtime=0 cores=0-7
/proc/24789/task/24791/stat : 24791 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084585 27979304960 41595 33554432000 4194304 4196468 140733631926288 140657222638096 140657218406101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24792] ppid=24786 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/24789/task/24792/stat : 24792 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510084585 27978256384 41595 33554432000 4194304 4196468 140733631926288 140657036794512 140657218406101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0
[pid=24789/tid=24793] ppid=24786 vsize=27323540 memory=1192 CPUtime=0 cores=0-7
/proc/24789/task/24793/stat : 24793 (java) S 24786 24786 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510084585 27979304960 41595 33554432000 4194304 4196468 140733631926288 140657035741456 140657218406101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26804224 140733631931115 140733631931542 140733631931542 140733631934415 0

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

/proc/24809/task/24814/stat : 24814 (java) S 24786 24786 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510084912 8616062976 29443 33554432000 4194304 4196468 140733101734496 140030640814992 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24815] ppid=24786 vsize=8414124 memory=7976406965554101975 CPUtime=0 cores=0-7
/proc/24809/task/24815/stat : 24815 (java) S 24786 24786 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510084912 8616062976 29443 33554432000 4194304 4196468 140733101734496 140030639761936 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24816] ppid=24786 vsize=8414124 memory=-7466035360827088541 CPUtime=0 cores=0-7
/proc/24809/task/24816/stat : 24816 (java) S 24786 24786 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510084912 8616062976 29443 33554432000 4194304 4196468 140733101734496 140030638709392 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24817] ppid=24786 vsize=8414124 memory=8305311027921445216 CPUtime=0 cores=0-7
/proc/24809/task/24817/stat : 24817 (java) S 24786 24786 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510084912 8616062976 29443 33554432000 4194304 4196468 140733101734496 140030637656336 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24818] ppid=24786 vsize=8414124 memory=6944656591801717918 CPUtime=0 cores=0-7
/proc/24809/task/24818/stat : 24818 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510084912 8616062976 29443 33554432000 4194304 4196468 140733101734496 140030636603792 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24819] ppid=24786 vsize=8414124 memory=7824336315716348491 CPUtime=0 cores=0-7
/proc/24809/task/24819/stat : 24819 (java) S 24786 24786 24466 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510084913 8616062976 29443 33554432000 4194304 4196468 140733101734496 140029983341296 140031158319746 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24820] ppid=24786 vsize=8414124 memory=-7604995849183860074 CPUtime=0 cores=0-7
/proc/24809/task/24820/stat : 24820 (java) S 24786 24786 24466 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 510084913 8616062976 29443 33554432000 4194304 4196468 140733101734496 140029758269088 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24821] ppid=24786 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/24809/task/24821/stat : 24821 (java) S 24786 24786 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510084914 8616062976 29443 33554432000 4194304 4196468 140733101734496 140029624046832 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24822] ppid=24786 vsize=8414124 memory=33 CPUtime=0 cores=0-7
/proc/24809/task/24822/stat : 24822 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510084916 8616062976 29443 33554432000 4194304 4196468 140733101734496 140029249542608 140031158327195 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24823] ppid=24786 vsize=8414124 memory=3994028388736128544 CPUtime=0.07 cores=0-7
/proc/24809/task/24823/stat : 24823 (java) S 24786 24786 24466 0 -1 1077944384 552 0 0 0 7 0 0 0 20 0 24 0 510084916 8616062976 29443 33554432000 4194304 4196468 140733101734496 140029982288112 140031158319746 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24824] ppid=24786 vsize=8414124 memory=-3689451258167578675 CPUtime=0.03 cores=0-7
/proc/24809/task/24824/stat : 24824 (java) S 24786 24786 24466 0 -1 1077944384 203 0 0 0 3 0 0 0 20 0 24 0 510084916 8616062976 29443 33554432000 4194304 4196468 140733101734496 140029981235568 140031158319746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24825] ppid=24786 vsize=8414124 memory=-8096454439705354400 CPUtime=0.07 cores=0-7
/proc/24809/task/24825/stat : 24825 (java) S 24786 24786 24466 0 -1 1077944384 343 0 0 0 7 0 0 0 20 0 24 0 510084916 8616062976 29443 33554432000 4194304 4196468 140733101734496 140029980182512 140031158319746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24826] ppid=24786 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/24809/task/24826/stat : 24826 (java) S 24786 24786 24466 0 -1 1077944384 507 0 0 0 19 0 0 0 20 0 24 0 510084916 8616062976 29443 33554432000 4194304 4196468 140733101734496 140029979129968 140031158319746 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24827] ppid=24786 vsize=8414124 memory=7162806326707509346 CPUtime=0 cores=0-7
/proc/24809/task/24827/stat : 24827 (java) S 24786 24786 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510084916 8616062976 29443 33554432000 4194304 4196468 140733101734496 140028751637472 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24828] ppid=24786 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24809/task/24828/stat : 24828 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510084917 8616062976 29443 33554432000 4194304 4196468 140733101734496 140029978078384 140031158319746 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24830] ppid=24786 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24809/task/24830/stat : 24830 (java) S 24786 24786 24466 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510084981 8616062976 29443 33554432000 4194304 4196468 140733101734496 140029970044352 140031158333209 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24832] ppid=24786 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24809/task/24832/stat : 24832 (java) S 24786 24786 24466 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510084982 8616062976 29443 33554432000 4194304 4196468 140733101734496 140028080537104 140031158330525 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24833] ppid=24786 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24809/task/24833/stat : 24833 (java) S 24786 24786 24466 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510084982 8616062976 29443 33554432000 4194304 4196468 140733101734496 140028348972688 140031158330525 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24834] ppid=24786 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24809/task/24834/stat : 24834 (java) S 24786 24786 24466 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510084984 8616062976 29443 33554432000 4194304 4196468 140733101734496 140027812109232 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
Current children cumulated CPU time: 97.2 s
Current children cumulated vsize: 9511276 KiB
Current children cumulated memory: 519756 KiB

[startup+16.6011 s]
/proc/loadavg: 7.28 7.43 5.39 3/219 24844
/proc/meminfo: memFree=24966932/32770624 swapFree=66975632/67108860
[pid=24786] ppid=24783 vsize=113128 memory=1472 CPUtime=6.3 cores=0-7
/proc/24786/stat : 24786 (scop.sh) S 24783 24786 24466 0 -1 4202496 582 27169 0 0 0 0 594 36 20 0 1 0 510084582 115843072 368 33554432000 4194304 5098028 140736860229280 140736860226024 139937255416444 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30310400 140736860230437 140736860230764 140736860230764 140736860233677 0
/proc/24786/statm: 28282 368 311 221 0 87 0
[pid=24809] ppid=24786 vsize=8414124 memory=117772 CPUtime=1.15 cores=0-7
/proc/24809/stat : 24809 (java) S 24786 24786 24466 0 -1 1077944320 19413 0 0 0 108 7 0 0 20 0 24 0 510084910 8616062976 29443 33554432000 4194304 4196468 140733101734496 140733101717040 140031158308599 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
/proc/24809/statm: 2103531 29443 3202 1 0 2064875 0
[pid=24829] ppid=24809 vsize=984024 memory=400512 CPUtime=89.95 cores=0-7
/proc/24829/stat : 24829 (manyglucose-4.1) S 24809 24786 24466 0 -1 1077944320 211630 0 0 0 8944 51 0 0 20 0 2 0 510084981 1007640576 100128 33554432000 4194304 4454172 140722238894832 140722238893216 139959772348151 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 29360128 140722238899049 140722238899248 140722238899248 140722238902202 0
/proc/24829/statm: 246006 100128 421 64 0 241674 0
[pid=24829/tid=24836] ppid=24809 vsize=984024 memory=0 CPUtime=11.56 cores=0-7
/proc/24829/task/24836/stat : 24836 (manyglucose-4.1) R 24809 24786 24466 0 -1 4202560 22066 0 0 0 1149 7 0 0 20 0 2 0 510085059 1007640576 100128 33554432000 4194304 4454172 140722238894832 139959725419304 4351769 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 29360128 140722238899049 140722238899248 140722238899248 140722238902202 0
[pid=24809/tid=24810] ppid=24786 vsize=8414124 memory=0 CPUtime=0.73 cores=0-7
/proc/24809/task/24810/stat : 24810 (java) S 24786 24786 24466 0 -1 1077944384 16391 0 0 0 68 5 0 0 20 0 24 0 510084910 8616062976 29443 33554432000 4194304 4196468 140733101734496 140031130148768 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24811] ppid=24786 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24809/task/24811/stat : 24811 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510084912 8616062976 29443 33554432000 4194304 4196468 140733101734496 140031162551312 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24812] ppid=24786 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24809/task/24812/stat : 24812 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510084912 8616062976 29443 33554432000 4194304 4196468 140733101734496 140030968315024 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24813] ppid=24786 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24809/task/24813/stat : 24813 (java) S 24786 24786 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510084912 8616062976 29443 33554432000 4194304 4196468 140733101734496 140030641867536 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24814] ppid=24786 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24809/task/24814/stat : 24814 (java) S 24786 24786 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510084912 8616062976 29443 33554432000 4194304 4196468 140733101734496 140030640814992 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24815] ppid=24786 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24809/task/24815/stat : 24815 (java) S 24786 24786 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510084912 8616062976 29443 33554432000 4194304 4196468 140733101734496 140030639761936 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24816] ppid=24786 vsize=8414124 memory=281092322297184 CPUtime=0 cores=0-7
/proc/24809/task/24816/stat : 24816 (java) S 24786 24786 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510084912 8616062976 29443 33554432000 4194304 4196468 140733101734496 140030638709392 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24817] ppid=24786 vsize=8414124 memory=140546161150848 CPUtime=0 cores=0-7
/proc/24809/task/24817/stat : 24817 (java) S 24786 24786 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510084912 8616062976 29443 33554432000 4194304 4196468 140733101734496 140030637656336 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24818] ppid=24786 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24809/task/24818/stat : 24818 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510084912 8616062976 29443 33554432000 4194304 4196468 140733101734496 140030636603792 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24819] ppid=24786 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/24809/task/24819/stat : 24819 (java) S 24786 24786 24466 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510084913 8616062976 29443 33554432000 4194304 4196468 140733101734496 140029983341296 140031158319746 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24820] ppid=24786 vsize=8414124 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/24809/task/24820/stat : 24820 (java) S 24786 24786 24466 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 510084913 8616062976 29443 33554432000 4194304 4196468 140733101734496 140029758269088 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24821] ppid=24786 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/24809/task/24821/stat : 24821 (java) S 24786 24786 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510084914 8616062976 29443 33554432000 4194304 4196468 140733101734496 140029624046832 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24822] ppid=24786 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/24809/task/24822/stat : 24822 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510084916 8616062976 29443 33554432000 4194304 4196468 140733101734496 140029249542608 140031158327195 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24823] ppid=24786 vsize=8414124 memory=6944656592387989600 CPUtime=0.07 cores=0-7
/proc/24809/task/24823/stat : 24823 (java) S 24786 24786 24466 0 -1 1077944384 552 0 0 0 7 0 0 0 20 0 24 0 510084916 8616062976 29443 33554432000 4194304 4196468 140733101734496 140029982288112 140031158319746 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24824] ppid=24786 vsize=8414124 memory=117772 CPUtime=0.03 cores=0-7
/proc/24809/task/24824/stat : 24824 (java) S 24786 24786 24466 0 -1 1077944384 203 0 0 0 3 0 0 0 20 0 24 0 510084916 8616062976 29443 33554432000 4194304 4196468 140733101734496 140029981235568 140031158319746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24825] ppid=24786 vsize=8414124 memory=378136 CPUtime=0.07 cores=0-7
/proc/24809/task/24825/stat : 24825 (java) S 24786 24786 24466 0 -1 1077944384 343 0 0 0 7 0 0 0 20 0 24 0 510084916 8616062976 29443 33554432000 4194304 4196468 140733101734496 140029980182512 140031158319746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24826] ppid=24786 vsize=8414124 memory=984 CPUtime=0.19 cores=0-7
/proc/24809/task/24826/stat : 24826 (java) S 24786 24786 24466 0 -1 1077944384 507 0 0 0 19 0 0 0 20 0 24 0 510084916 8616062976 29443 33554432000 4194304 4196468 140733101734496 140029979129968 140031158319746 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24827] ppid=24786 vsize=8414124 memory=2004 CPUtime=0 cores=0-7
/proc/24809/task/24827/stat : 24827 (java) S 24786 24786 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510084916 8616062976 29443 33554432000 4194304 4196468 140733101734496 140028751637472 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24828] ppid=24786 vsize=8414124 memory=1376 CPUtime=0 cores=0-7
/proc/24809/task/24828/stat : 24828 (java) S 24786 24786 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510084917 8616062976 29443 33554432000 4194304 4196468 140733101734496 140029978078384 140031158319746 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24830] ppid=24786 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/24809/task/24830/stat : 24830 (java) S 24786 24786 24466 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510084981 8616062976 29443 33554432000 4194304 4196468 140733101734496 140029970044352 140031158333209 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24832] ppid=24786 vsize=8414124 memory=3636 CPUtime=0 cores=0-7
/proc/24809/task/24832/stat : 24832 (java) S 24786 24786 24466 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510084982 8616062976 29443 33554432000 4194304 4196468 140733101734496 140028080537104 140031158330525 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24833] ppid=24786 vsize=8414124 memory=1724 CPUtime=0 cores=0-7
/proc/24809/task/24833/stat : 24833 (java) S 24786 24786 24466 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510084982 8616062976 29443 33554432000 4194304 4196468 140733101734496 140028348972688 140031158330525 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24834] ppid=24786 vsize=8414124 memory=6140 CPUtime=0 cores=0-7
/proc/24809/task/24834/stat : 24834 (java) S 24786 24786 24466 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510084984 8616062976 29443 33554432000 4194304 4196468 140733101734496 140027812109232 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
Current children cumulated CPU time: 97.4 s
Current children cumulated vsize: 9511276 KiB
Current children cumulated memory: 519756 KiB

[startup+16.701 s]
/proc/loadavg: 7.28 7.43 5.39 3/219 24844
/proc/meminfo: memFree=24966932/32770624 swapFree=66975632/67108860
[pid=24786] ppid=24783 vsize=113128 memory=1472 CPUtime=6.3 cores=0-7
/proc/24786/stat : 24786 (scop.sh) S 24783 24786 24466 0 -1 4202496 582 27169 0 0 0 0 594 36 20 0 1 0 510084582 115843072 368 33554432000 4194304 5098028 140736860229280 140736860226024 139937255416444 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30310400 140736860230437 140736860230764 140736860230764 140736860233677 0
/proc/24786/statm: 28282 368 311 221 0 87 0
[pid=24809] ppid=24786 vsize=8283048 memory=126916 CPUtime=91.36 cores=0-7
/proc/24809/stat : 24809 (java) S 24786 24786 24466 0 -1 1077944320 21232 211653 0 0 131 8 8944 53 20 0 22 0 510084910 8481841152 31729 33554432000 4194304 4196468 140733101734496 140733101717040 140031158308599 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
/proc/24809/statm: 2070762 31729 3221 1 0 2032106 0
[pid=24809/tid=24810] ppid=24786 vsize=8283048 memory=140546161058944 CPUtime=90.74 cores=0-7
/proc/24809/task/24810/stat : 24810 (java) R 24786 24786 24466 0 -1 4202560 16542 211653 0 0 72 5 8944 53 20 0 22 0 510084910 8481841152 31729 33554432000 4194304 4196468 140733101734496 140031130145840 140030647566858 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24811] ppid=24786 vsize=8283048 memory=281092322371776 CPUtime=89.97 cores=0-7
/proc/24809/task/24811/stat : 24811 (java) S 24786 24786 24466 0 -1 1077944384 1 211653 0 0 0 0 8944 53 20 0 22 0 510084912 8481841152 31729 33554432000 4194304 4196468 140733101734496 140031162551312 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24812] ppid=24786 vsize=8283048 memory=28479743465 CPUtime=89.97 cores=0-7
/proc/24809/task/24812/stat : 24812 (java) S 24786 24786 24466 0 -1 1077944384 1 211653 0 0 0 0 8944 53 20 0 22 0 510084912 8481841152 31729 33554432000 4194304 4196468 140733101734496 140030968315024 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24813] ppid=24786 vsize=8283048 memory=140546161566467 CPUtime=89.97 cores=0-7
/proc/24809/task/24813/stat : 24813 (java) S 24786 24786 24466 0 -1 1077944384 3 211653 0 0 0 0 8944 53 20 0 22 0 510084912 8481841152 31729 33554432000 4194304 4196468 140733101734496 140030641867536 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24814] ppid=24786 vsize=8283048 memory=-3621219715169225006 CPUtime=89.97 cores=0-7
/proc/24809/task/24814/stat : 24814 (java) S 24786 24786 24466 0 -1 1077944384 2 211653 0 0 0 0 8944 53 20 0 22 0 510084912 8481841152 31729 33554432000 4194304 4196468 140733101734496 140030640814992 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24815] ppid=24786 vsize=8283048 memory=402368 CPUtime=89.97 cores=0-7
/proc/24809/task/24815/stat : 24815 (java) S 24786 24786 24466 0 -1 1077944384 2 211653 0 0 0 0 8944 53 20 0 22 0 510084912 8481841152 31729 33554432000 4194304 4196468 140733101734496 140030639761936 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24816] ppid=24786 vsize=8283048 memory=928 CPUtime=89.97 cores=0-7
/proc/24809/task/24816/stat : 24816 (java) S 24786 24786 24466 0 -1 1077944384 2 211653 0 0 0 0 8944 53 20 0 22 0 510084912 8481841152 31729 33554432000 4194304 4196468 140733101734496 140030638709392 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24817] ppid=24786 vsize=8283048 memory=1472 CPUtime=89.97 cores=0-7
/proc/24809/task/24817/stat : 24817 (java) S 24786 24786 24466 0 -1 1077944384 2 211653 0 0 0 0 8944 53 20 0 22 0 510084912 8481841152 31729 33554432000 4194304 4196468 140733101734496 140030637656336 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24818] ppid=24786 vsize=8283048 memory=400428 CPUtime=89.97 cores=0-7
/proc/24809/task/24818/stat : 24818 (java) S 24786 24786 24466 0 -1 1077944384 1 211653 0 0 0 0 8944 53 20 0 22 0 510084912 8481841152 31729 33554432000 4194304 4196468 140733101734496 140030636603792 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24819] ppid=24786 vsize=8283048 memory=388072 CPUtime=89.97 cores=0-7
/proc/24809/task/24819/stat : 24819 (java) S 24786 24786 24466 0 -1 1077944384 5 211653 0 0 0 0 8944 53 20 0 22 0 510084913 8481841152 31729 33554432000 4194304 4196468 140733101734496 140029983341296 140031158319746 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24820] ppid=24786 vsize=8283048 memory=382524 CPUtime=89.97 cores=0-7
/proc/24809/task/24820/stat : 24820 (java) S 24786 24786 24466 0 -1 1077944384 14 211653 0 0 0 0 8944 53 20 0 22 0 510084913 8481841152 31729 33554432000 4194304 4196468 140733101734496 140029758269088 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24821] ppid=24786 vsize=8283048 memory=15816690369826919 CPUtime=89.97 cores=0-7
/proc/24809/task/24821/stat : 24821 (java) S 24786 24786 24466 0 -1 1077944384 21 211653 0 0 0 0 8944 53 20 0 22 0 510084914 8481841152 31729 33554432000 4194304 4196468 140733101734496 140029624046832 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24822] ppid=24786 vsize=8283048 memory=281092322477824 CPUtime=89.97 cores=0-7
/proc/24809/task/24822/stat : 24822 (java) S 24786 24786 24466 0 -1 1077944384 1 211653 0 0 0 0 8944 53 20 0 22 0 510084916 8481841152 31729 33554432000 4194304 4196468 140733101734496 140029249542608 140031158327195 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24823] ppid=24786 vsize=8283048 memory=6943526294502006880 CPUtime=90.08 cores=0-7
/proc/24809/task/24823/stat : 24823 (java) S 24786 24786 24466 0 -1 1077944384 807 211653 0 0 11 0 8944 53 20 0 22 0 510084916 8481841152 31729 33554432000 4194304 4196468 140733101734496 140029982288112 140031158319746 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24824] ppid=24786 vsize=8283048 memory=6944656592455359580 CPUtime=90.03 cores=0-7
/proc/24809/task/24824/stat : 24824 (java) S 24786 24786 24466 0 -1 1077944384 485 211653 0 0 6 0 8944 53 20 0 22 0 510084916 8481841152 31729 33554432000 4194304 4196468 140733101734496 140029981235568 140031158319746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24825] ppid=24786 vsize=8283048 memory=321 CPUtime=90.07 cores=0-7
/proc/24809/task/24825/stat : 24825 (java) S 24786 24786 24466 0 -1 1077944384 373 211653 0 0 10 0 8944 53 20 0 22 0 510084916 8481841152 31729 33554432000 4194304 4196468 140733101734496 140029980182512 140031158319746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24826] ppid=24786 vsize=8283048 memory=140546161729961 CPUtime=90.21 cores=0-7
/proc/24809/task/24826/stat : 24826 (java) R 24786 24786 24466 0 -1 4202560 1054 211653 0 0 24 0 8944 53 20 0 22 0 510084916 8481841152 31729 33554432000 4194304 4196468 140733101734496 140029979129968 140031158320534 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24827] ppid=24786 vsize=8283048 memory=281092323701600 CPUtime=89.97 cores=0-7
/proc/24809/task/24827/stat : 24827 (java) S 24786 24786 24466 0 -1 1077944384 3 211653 0 0 0 0 8944 53 20 0 22 0 510084916 8481841152 31729 33554432000 4194304 4196468 140733101734496 140028751637472 140031158318805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24828] ppid=24786 vsize=8283048 memory=372704 CPUtime=89.97 cores=0-7
/proc/24809/task/24828/stat : 24828 (java) S 24786 24786 24466 0 -1 1077944384 1 211653 0 0 0 0 8944 53 20 0 22 0 510084917 8481841152 31729 33554432000 4194304 4196468 140733101734496 140029978078384 140031158319746 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24830] ppid=24786 vsize=8283048 memory=117772 CPUtime=89.97 cores=0-7
/proc/24809/task/24830/stat : 24830 (java) S 24786 24786 24466 0 -1 1077944384 26 211653 0 0 0 0 8944 53 20 0 22 0 510084981 8481841152 31729 33554432000 4194304 4196468 140733101734496 140029970043536 140031158319746 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
[pid=24809/tid=24834] ppid=24786 vsize=8283048 memory=0 CPUtime=89.97 cores=0-7
/proc/24809/task/24834/stat : 24834 (java) S 24786 24786 24466 0 -1 1077944384 9 211653 0 0 0 0 8944 53 20 0 22 0 510084984 8481841152 31729 33554432000 4194304 4196468 140733101734496 140027812111024 140031158319746 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8613888 140733101741047 140733101741206 140733101741206 140733101744079 0
Current children cumulated CPU time: 97.66 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 128388 KiB

Child status: 0
Real time (s): 16.7976
CPU time (s): 97.9508
CPU user time (s): 96.9398
CPU system time (s): 1.01099
CPU usage (%): 583.123
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1604940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 96.9398
system time used= 1.01099
maximum resident set size= 1609488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260970
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15921
involuntary context switches= 1020


# summary of solver processes directly reported to runsolver:
#   pid: 24786
#   total CPU time (s): 97.9508
#   total CPU user time (s): 96.9398
#   total CPU system time (s): 1.01099

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.162781 second user time and 0.269738 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-24 17:15:35
IDJOB=4405200
IDBENCH=127881
IDSOLVER=2867
FILE ID=node125/4405200-1569338178
RUNJOBID= node125-1569335936-24493
PBS_JOBID= 21705060
Free space on /tmp= 4228 MiB

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

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

MD5SUM BENCH= 216ebd1a5dc9377e08f238421ffc41cf
RANDOM SEED=969539028

node125.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.29
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.29
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.29
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.29
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:        25482548 kB
MemAvailable:   31816188 kB
Buffers:          114064 kB
Cached:          6282096 kB
SwapCached:        29860 kB
Active:          3169760 kB
Inactive:        3257760 kB
Active(anon):       3460 kB
Inactive(anon):    84328 kB
Active(file):    3166300 kB
Inactive(file):  3173432 kB
Unevictable:      109444 kB
Mlocked:          109444 kB
SwapTotal:      67108860 kB
SwapFree:       66975632 kB
Dirty:             20584 kB
Writeback:             0 kB
AnonPages:        112732 kB
Mapped:            56844 kB
Shmem:             47468 kB
Slab:             451008 kB
SReclaimable:     422368 kB
SUnreclaim:        28640 kB
KernelStack:        3376 kB
PageTables:         5304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     513988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 4208 MiB
End job on node125 at 2019-09-24 17:15:52