Trace number 4392406

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-154.xml
MD5SUM9c35d8cb8d03f0164c4f0b6ed4b5e670
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 benchmark369.492
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size524
Maximum domain size524
Distribution of domain sizes[{"size":524,"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-11820-serial-file.bin HOME/instance-4392406-1568429451.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 04:50:10 CEST 2019
0.65/0.56	c PID: 11823
0.65/0.56	c IP: 172.20.3.121
0.65/0.56	c HOST: node121.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.37/0.91	c (0,0) Parsing End
1.37/0.91	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 524
1.37/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.91	c (0,0) Constraint Name Generate Begin
1.37/0.92	c (0,0) Ctr:HOME/instance-4392406-1568429451.xml,Le:NoOverlap:Num:Var
1.37/0.92	c (0,0) Constraint Name Generate End
1.37/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.92	c (0,0) CSP to CSPinCNF Begin
1.37/1.00	c (0,0) translated 6 (10%) constraints
1.37/1.00	c (0,0) translated 11 (20%) constraints
1.37/1.00	c (0,0) translated 16 (30%) constraints
1.37/1.01	c (0,0) translated 22 (40%) constraints
1.53/1.01	c (0,0) translated 27 (50%) constraints
1.53/1.01	c (0,0) translated 32 (60%) constraints
1.53/1.01	c (0,0) translated 38 (70%) constraints
1.53/1.02	c (0,0) translated 43 (80%) constraints
1.53/1.02	c (0,0) translated 48 (90%) constraints
2.13/1.28	c (0,0) translated 53 (100%) constraints
2.13/1.28	c (0,0) ===========================================
2.13/1.28	c (0,0) Order
2.13/1.28	c (0,0) ===========================================
2.13/1.29	c (0,0) translated 36 (10%) constraints
2.13/1.29	c (0,0) translated 71 (20%) constraints
2.49/1.30	c (0,0) translated 106 (30%) constraints
2.49/1.30	c (0,0) translated 141 (40%) constraints
2.49/1.31	c (0,0) translated 176 (50%) constraints
2.49/1.31	c (0,0) translated 212 (60%) constraints
2.49/1.32	c (0,0) translated 247 (70%) constraints
2.49/1.32	c (0,0) translated 282 (80%) constraints
2.49/1.32	c (0,0) translated 317 (90%) constraints
2.49/1.33	c (0,0) translated 352 (100%) constraints
2.49/1.33	c (0,0) CSP to CSPinCNF End
2.49/1.33	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 516
2.49/1.33	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.33	c (0,0) CSPinCNF Propagation Begin
2.49/1.37	c (0,0) 0 values, 6 unsatisfiable literals, and 51 valid clauses are removed
2.49/1.37	c (0,0) CSPinCNF Propagation End
2.49/1.37	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 516
2.49/1.37	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.37	c (0,0) Simplify CSPinCNF Begin
2.82/1.46	c (0,0) Simplify CSPinCNF End
2.82/1.47	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 516
2.82/1.47	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.82/1.47	c (0,0) Calculate Precise Domain Begin
2.82/1.47	c (0,0) 0 values are removed by re-calculation
2.82/1.47	c (0,0) Calculate Precise Domain End
2.82/1.47	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 516
2.82/1.47	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.82/1.47	c (0,0) CSPinCNF to SatSolver Begin
4.53/1.95	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 72885 SAT clauses)
4.80/2.15	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 122198 SAT clauses)
5.02/2.32	c (1,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 168170 SAT clauses)
5.13/2.50	c (1,1) 598 (40 %) CSP clauses are encoded (0 SAT variables, 214704 SAT clauses)
5.34/2.66	c (2,2) 748 (50 %) CSP clauses are encoded (0 SAT variables, 257938 SAT clauses)
5.56/2.82	c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 300146 SAT clauses)
5.67/2.96	c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 339174 SAT clauses)
5.78/3.10	c (2,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 376105 SAT clauses)
6.00/3.22	c (2,2) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 407495 SAT clauses)
6.09/3.31	c (2,2) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 431252 SAT clauses)
6.09/3.31	c (2,2) CSPinCNF to SatSolver End
6.09/3.31	c (2,2) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.09/3.31	c (2,2) 22694 bool, 431404 clause
6.09/3.31	c (2,2) Export Begin
6.09/3.39	c (2,2) Export to HOME/scop-11820-serial-file.bin
6.09/3.39	c (2,2) Export End
6.09/3.39	c (2,2) Export File Size: 0.01 MB
6.09/3.39	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
6.09/3.39	c END-Prog: Sat Sep 14 04:50:13 CEST 2019
0.00/3.41	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11820-serial-file.bin
6.27/3.87	c (0,0) Read Serial File Begin
6.27/3.87	c (0,0) HOME/scop-11820-serial-file.bin
7.04/4.48	c (0,0) Read Serial File End
7.04/4.50	
7.04/4.50	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
7.04/4.50	(Solving Process)
7.04/4.50	
7.19/4.52	c BEGIN-Prog: Sat Sep 14 04:50:14 CEST 2019
7.19/4.52	c PID: 11843
7.19/4.52	c IP: 172.20.3.121
7.19/4.52	c HOST: node121.alineos.net
7.19/4.52	c (0,0) SatSolver.solve Begin
7.19/4.52	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392406-1568429451.xml-scop-11823.cnf
7.19/4.55	c (0,0) c
7.19/4.55	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.19/4.55	c (0,0) c
7.19/4.55	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.19/4.55	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.19/4.55	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.19/4.55	c (0,0) c |                                                                                                       |
7.41/4.70	c (0,0) c |  Number of variables:         22694                                                                   |
7.41/4.70	c (0,0) c |  Number of clauses:          431404                                                                   |
7.41/4.70	c (0,0) c |  Parse time:                   0.14 s                                                                 |
7.41/4.70	c (0,0) c |                                                                                                       |
8.16/5.31	c (1,0) c |  Simplification time:          0.60 s                                                                 |
8.16/5.31	c (1,0) c |                                                                                                       |
8.16/5.31	c (1,0) c |  Generating clones                                                                                    |
8.26/5.44	c (1,0) c |  all clones generated. Memory =   306.47Mb.                                                           |
8.26/5.44	c (1,0) c ========================================================================================================|
8.26/5.44	c (1,0) c
8.26/5.44	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.26/5.44	c (1,0) c
8.26/5.44	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.26/5.44	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.26/5.44	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.26/5.44	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.26/5.44	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.26/5.44	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.26/5.44	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.26/5.44	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.26/5.44	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.26/5.44	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.26/5.44	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.26/5.44	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.26/5.44	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.26/5.44	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.26/5.44	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.26/5.44	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.26/5.44	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.26/5.44	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.26/5.44	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
246.23/35.33	c (31,0) c
246.23/35.33	c (31,0) c |------------------------------------------------------------------------------------------------------------------------|
246.23/35.33	c (31,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
246.23/35.33	c (31,0) c |------------------------------------------------------------------------------------------------------------------------|
246.23/35.33	c (31,0) c |  0 |    241 |     135357 |      59873 |    62527 |    21332 |     9546 |    66471 |     7633 |      193 |  20 |  0.053 |
246.23/35.33	c (31,0) c |  1 |    283 |     134812 |      60727 |    57325 |    22197 |    10369 |    66344 |     7100 |      193 |  20 |  0.053 |
246.23/35.33	c (31,0) c |  2 |    196 |     135276 |      64392 |    56687 |    25850 |    11395 |    68785 |     7267 |      205 |  20 |  0.053 |
246.23/35.33	c (31,0) c |  3 |    218 |     134693 |      63359 |    52877 |    24822 |    10638 |    68076 |     7352 |      203 |  20 |  0.053 |
246.23/35.33	c (31,0) c |  4 |    259 |     140184 |      64102 |    57199 |    25571 |    11178 |    69545 |     7687 |      207 |  20 |  0.053 |
246.23/35.33	c (31,0) c |  5 |    249 |     134582 |      63972 |    53314 |    25436 |    10545 |    68714 |     7701 |      206 |  20 |  0.053 |
246.23/35.33	c (31,0) c |  6 |    230 |     135837 |      62730 |    63214 |    24192 |    10376 |    69924 |     7403 |      207 |  20 |  0.053 |
246.23/35.33	c (31,0) c |  7 |    226 |     131388 |      62267 |    54632 |    23729 |    10311 |    67999 |     7318 |      203 |  20 |  0.053 |
246.23/35.33	c (31,0) c 
246.23/35.33	c (31,0) c synthesis      501423 conflicts   385379257 propagations     2104 conflicts/sec  1616957 propagations/sec
246.23/35.33	c (31,0) c real: 30.7886 s, cpu: 238.336 s, memory: 1088.14 Mb
484.51/65.33	c (61,0) c
484.51/65.33	c (61,0) c |------------------------------------------------------------------------------------------------------------------------|
484.51/65.33	c (61,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
484.51/65.33	c (61,0) c |------------------------------------------------------------------------------------------------------------------------|
484.51/65.33	c (61,0) c |  0 |    393 |     217695 |     102643 |    76088 |    31476 |    15076 |   104875 |    12794 |      374 |  20 |  0.053 |
484.51/65.33	c (61,0) c |  1 |    429 |     216852 |     104850 |    70147 |    33681 |    15967 |   104564 |    12305 |      377 |  20 |  0.053 |
484.51/65.33	c (61,0) c |  2 |    417 |     221523 |     108837 |    69719 |    37666 |    16551 |   107280 |    13003 |      392 |  20 |  0.053 |
484.51/65.33	c (61,0) c |  3 |    416 |     223228 |     108621 |    65917 |    37441 |    16047 |   108222 |    12857 |      394 |  20 |  0.053 |
484.51/65.33	c (61,0) c |  4 |    447 |     224286 |     108107 |    69790 |    36945 |    16449 |   107785 |    13086 |      394 |  20 |  0.053 |
484.51/65.33	c (61,0) c |  5 |    485 |     220246 |     107858 |    65949 |    36675 |    15818 |   108306 |    13379 |      394 |  20 |  0.053 |
484.51/65.33	c (61,0) c |  6 |    475 |     222784 |     106546 |    75785 |    35364 |    15226 |   108945 |    12960 |      394 |  20 |  0.053 |
484.51/65.33	c (61,0) c |  7 |    406 |     211977 |     105094 |    66189 |    33923 |    15407 |   107341 |    12631 |      387 |  20 |  0.053 |
484.51/65.33	c (61,0) c 
484.51/65.33	c (61,0) c synthesis      852556 conflicts   684158711 propagations     1790 conflicts/sec  1436133 propagations/sec
484.51/65.33	c (61,0) c real: 60.7816 s, cpu: 476.39 s, memory: 1328.66 Mb
710.91/94.33	c (90,0) c
710.91/94.33	c (90,0) c |------------------------------------------------------------------------------------------------------------------------|
710.91/94.33	c (90,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
710.91/94.33	c (90,0) c |------------------------------------------------------------------------------------------------------------------------|
710.91/94.33	c (90,0) c |  0 |    535 |     282919 |     138715 |    82270 |    24537 |    18919 |   132819 |    17056 |      546 |  20 |  0.053 |
710.91/94.33	c (90,0) c |  1 |    583 |     284520 |     141671 |    77311 |    27486 |    20090 |   132259 |    16538 |      549 |  20 |  0.053 |
710.91/94.33	c (90,0) c |  2 |    599 |     292187 |     146302 |    77498 |    32133 |    20615 |   134933 |    17050 |      566 |  20 |  0.053 |
710.91/94.33	c (90,0) c |  3 |    564 |     291690 |     145492 |    73557 |    31299 |    19939 |   135758 |    16908 |      566 |  20 |  0.053 |
710.91/94.33	c (90,0) c |  4 |    616 |     291157 |     144361 |    76041 |    30175 |    20255 |   135185 |    17132 |      565 |  20 |  0.053 |
710.91/94.33	c (90,0) c |  5 |    613 |     287964 |     145274 |    73176 |    31084 |    19895 |   136014 |    17325 |      566 |  20 |  0.053 |
710.91/94.33	c (90,0) c |  6 |    623 |     289996 |     142781 |    82009 |    28596 |    19200 |   136697 |    16965 |      566 |  20 |  0.053 |
710.91/94.33	c (90,0) c |  7 |    555 |     282095 |     142250 |    73215 |    28060 |    19341 |   135829 |    16754 |      562 |  20 |  0.053 |
710.91/94.33	c (90,0) c 
710.91/94.33	c (90,0) c synthesis     1146846 conflicts   941498105 propagations     1632 conflicts/sec  1339994 propagations/sec
710.91/94.33	c (90,0) c real: 89.7816 s, cpu: 702.614 s, memory: 1328.66 Mb
946.27/124.33	c (120,0) c
946.27/124.33	c (120,0) c |------------------------------------------------------------------------------------------------------------------------|
946.27/124.33	c (120,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
946.27/124.33	c (120,0) c |------------------------------------------------------------------------------------------------------------------------|
946.27/124.33	c (120,0) c |  0 |    673 |     344051 |     173999 |    86418 |    34417 |    22349 |   156664 |    20640 |      723 |  20 |  0.053 |
946.27/124.33	c (120,0) c |  1 |    754 |     348182 |     176122 |    82495 |    36539 |    23498 |   157376 |    20198 |      726 |  20 |  0.053 |
946.27/124.33	c (120,0) c |  2 |    689 |     353899 |     179760 |    84176 |    40180 |    24321 |   156848 |    20154 |      726 |  20 |  0.053 |
946.27/124.33	c (120,0) c |  3 |    726 |     354464 |     180020 |    79316 |    40430 |    23196 |   160274 |    20645 |      743 |  20 |  0.053 |
946.27/124.33	c (120,0) c |  4 |    792 |     356818 |     179475 |    81222 |    39887 |    23566 |   160263 |    21028 |      743 |  20 |  0.053 |
946.27/124.33	c (120,0) c |  5 |    702 |     347669 |     180593 |    78182 |    41004 |    23544 |   157490 |    20703 |      743 |  20 |  0.053 |
946.27/124.33	c (120,0) c |  6 |    773 |     346914 |     174312 |    86382 |    34723 |    22054 |   158393 |    20298 |      730 |  20 |  0.053 |
946.27/124.33	c (120,0) c |  7 |    711 |     348353 |     177953 |    78399 |    38366 |    22861 |   160135 |    20527 |      743 |  20 |  0.053 |
946.27/124.33	c (120,0) c 
946.27/124.33	c (120,0) c synthesis     1422235 conflicts  1184616160 propagations     1517 conflicts/sec  1263307 propagations/sec
946.27/124.33	c (120,0) c real: 119.782 s, cpu: 937.71 s, memory: 1328.66 Mb
1173.50/153.33	c (149,0) c
1173.50/153.33	c (149,0) c |------------------------------------------------------------------------------------------------------------------------|
1173.50/153.33	c (149,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1173.50/153.33	c (149,0) c |------------------------------------------------------------------------------------------------------------------------|
1173.50/153.33	c (149,0) c |  0 |    760 |     403815 |     208070 |    91351 |    40484 |    25758 |   181133 |    23776 |      900 |  20 |  0.053 |
1173.50/153.33	c (149,0) c |  1 |    887 |     409500 |     209224 |    87736 |    41634 |    26814 |   180382 |    23526 |      904 |  20 |  0.053 |
1173.50/153.33	c (149,0) c |  2 |    786 |     414498 |     215480 |    88507 |    47896 |    27682 |   179597 |    23625 |      910 |  20 |  0.053 |
1173.50/153.33	c (149,0) c |  3 |    879 |     413574 |     211538 |    84659 |    43945 |    26254 |   182204 |    23786 |      911 |  20 |  0.053 |
1173.50/153.33	c (149,0) c |  4 |    878 |     403814 |     207608 |    84029 |    40020 |    26129 |   179069 |    23823 |      891 |  20 |  0.053 |
1173.50/153.33	c (149,0) c |  5 |    801 |     398149 |     209423 |    81653 |    41831 |    26137 |   180033 |    23558 |      895 |  20 |  0.053 |
1173.50/153.33	c (149,0) c |  6 |    903 |     408036 |     208618 |    91056 |    41027 |    25275 |   182882 |    23618 |      911 |  20 |  0.053 |
1173.50/153.33	c (149,0) c |  7 |    799 |     402558 |     209383 |    83790 |    41792 |    25911 |   174945 |    23417 |      911 |  20 |  0.053 |
1173.50/153.33	c (149,0) c 
1173.50/153.33	c (149,0) c synthesis     1679344 conflicts  1413513570 propagations     1442 conflicts/sec  1213566 propagations/sec
1173.50/153.33	c (149,0) c real: 148.781 s, cpu: 1164.76 s, memory: 1358.30 Mb
1403.08/182.33	c (178,0) c
1403.08/182.33	c (178,0) c |------------------------------------------------------------------------------------------------------------------------|
1403.08/182.33	c (178,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1403.08/182.33	c (178,0) c |------------------------------------------------------------------------------------------------------------------------|
1403.08/182.33	c (178,0) c |  0 |    852 |     456964 |     238649 |    94751 |    40463 |    28920 |   200562 |    26693 |     1068 |  20 |  0.053 |
1403.08/182.33	c (178,0) c |  1 |    989 |     460433 |     239156 |    90189 |    40962 |    29617 |   200411 |    26397 |     1075 |  20 |  0.053 |
1403.08/182.33	c (178,0) c |  2 |    924 |     474066 |     247380 |    92894 |    49198 |    30754 |   201127 |    26740 |     1085 |  20 |  0.053 |
1403.08/182.33	c (178,0) c |  3 |   1004 |     465158 |     241942 |    87373 |    43756 |    28872 |   202976 |    26677 |     1085 |  20 |  0.053 |
1403.08/182.33	c (178,0) c |  4 |    967 |     457681 |     239090 |    87353 |    40905 |    29162 |   199710 |    26801 |     1065 |  20 |  0.053 |
1403.08/182.33	c (178,0) c |  5 |    898 |     452461 |     241306 |    85912 |    43126 |    29262 |   201432 |    26563 |     1075 |  20 |  0.053 |
1403.08/182.33	c (178,0) c |  6 |   1034 |     462816 |     239866 |    94167 |    41674 |    28296 |   203319 |    26516 |     1085 |  20 |  0.053 |
1403.08/182.33	c (178,0) c |  7 |    914 |     456242 |     240335 |    87134 |    42144 |    28574 |   202470 |    26320 |     1084 |  20 |  0.053 |
1403.08/182.33	c (178,0) c 
1403.08/182.33	c (178,0) c synthesis     1927725 conflicts  1637702893 propagations     1383 conflicts/sec  1174565 propagations/sec
1403.08/182.33	c (178,0) c real: 177.782 s, cpu: 1394.31 s, memory: 1358.30 Mb
1639.54/212.33	c (208,0) c
1639.54/212.33	c (208,0) c |------------------------------------------------------------------------------------------------------------------------|
1639.54/212.33	c (208,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1639.54/212.33	c (208,0) c |------------------------------------------------------------------------------------------------------------------------|
1639.54/212.33	c (208,0) c |  0 |    956 |     511015 |     269871 |    97579 |    38484 |    32422 |   221463 |    29516 |     1246 |  20 |  0.053 |
1639.54/212.33	c (208,0) c |  1 |   1117 |     511661 |     268971 |    92866 |    37576 |    32184 |   222437 |    29154 |     1253 |  20 |  0.053 |
1639.54/212.33	c (208,0) c |  2 |   1071 |     531106 |     278286 |    96353 |    46906 |    33763 |   221752 |    29577 |     1262 |  20 |  0.053 |
1639.54/212.33	c (208,0) c |  3 |   1114 |     514301 |     270939 |    89702 |    39547 |    31609 |   223696 |    29379 |     1257 |  20 |  0.053 |
1639.54/212.33	c (208,0) c |  4 |   1067 |     507409 |     268187 |    89548 |    36808 |    31813 |   220848 |    29685 |     1242 |  20 |  0.053 |
1639.54/212.33	c (208,0) c |  5 |   1022 |     504141 |     271801 |    88330 |    40418 |    32547 |   223357 |    29584 |     1259 |  20 |  0.053 |
1639.54/212.33	c (208,0) c |  6 |   1099 |     513987 |     270230 |    97733 |    38838 |    31793 |   222642 |    29353 |     1261 |  20 |  0.053 |
1639.54/212.33	c (208,0) c |  7 |   1012 |     505167 |     269957 |    89943 |    38567 |    31391 |   223840 |    28972 |     1257 |  20 |  0.053 |
1639.54/212.33	c (208,0) c 
1639.54/212.33	c (208,0) c synthesis     2168242 conflicts  1856279394 propagations     1330 conflicts/sec  1138394 propagations/sec
1639.54/212.33	c (208,0) c real: 207.782 s, cpu: 1630.61 s, memory: 1358.30 Mb
1864.29/241.33	c (237,0) c
1864.29/241.33	c (237,0) c |------------------------------------------------------------------------------------------------------------------------|
1864.29/241.33	c (237,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1864.29/241.33	c (237,0) c |------------------------------------------------------------------------------------------------------------------------|
1864.29/241.33	c (237,0) c |  0 |   1049 |     561318 |     299011 |   100680 |    67624 |    35012 |   240368 |    32121 |     1423 |  20 |  0.053 |
1864.29/241.33	c (237,0) c |  1 |   1188 |     560812 |     298173 |    95204 |    66778 |    34879 |   241352 |    31636 |     1426 |  20 |  0.053 |
1864.29/241.33	c (237,0) c |  2 |   1203 |     580473 |     305248 |    98704 |    38072 |    36163 |   240192 |    32136 |     1427 |  20 |  0.053 |
1864.29/241.33	c (237,0) c |  3 |   1192 |     559489 |     296819 |    92934 |    65427 |    33996 |   240471 |    31761 |     1407 |  20 |  0.053 |
1864.29/241.33	c (237,0) c |  4 |   1140 |     555498 |     297502 |    91509 |    66123 |    34438 |   240213 |    32124 |     1419 |  20 |  0.053 |
1864.29/241.33	c (237,0) c |  5 |   1099 |     552295 |     300425 |    90663 |    69042 |    36034 |   240876 |    32009 |     1427 |  20 |  0.053 |
1864.29/241.33	c (237,0) c |  6 |   1190 |     561156 |     297623 |    99772 |    66231 |    34000 |   241612 |    31939 |     1427 |  20 |  0.053 |
1864.29/241.33	c (237,0) c |  7 |   1123 |     552300 |     295953 |    92545 |    64562 |    33669 |   241044 |    31502 |     1408 |  20 |  0.053 |
1864.29/241.33	c (237,0) c 
1864.29/241.33	c (237,0) c synthesis     2390754 conflicts  2060105168 propagations     1289 conflicts/sec  1110496 propagations/sec
1864.29/241.33	c (237,0) c real: 236.782 s, cpu: 1855.12 s, memory: 1358.30 Mb
2087.57/271.33	c (267,0) c
2087.57/271.33	c (267,0) c |------------------------------------------------------------------------------------------------------------------------|
2087.57/271.33	c (267,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2087.57/271.33	c (267,0) c |------------------------------------------------------------------------------------------------------------------------|
2087.57/271.33	c (267,0) c |  0 |   1130 |     608375 |     326851 |   102547 |    59677 |    38126 |   258605 |    34469 |     1591 |  20 |  0.053 |
2087.57/271.33	c (267,0) c |  1 |   1291 |     608349 |     326384 |    97999 |    59191 |    37279 |   259830 |    34008 |     1591 |  20 |  0.053 |
2087.57/271.33	c (267,0) c |  2 |   1297 |     628098 |     332900 |   100645 |    65724 |    38432 |   258783 |    34474 |     1591 |  20 |  0.053 |
2087.57/271.33	c (267,0) c |  3 |   1300 |     608126 |     324208 |    95299 |    57015 |    36386 |   257598 |    34120 |     1571 |  20 |  0.053 |
2087.57/271.33	c (267,0) c |  4 |   1206 |     601963 |     325964 |    93770 |    58777 |    36781 |   260594 |    34406 |     1591 |  20 |  0.053 |
2087.57/271.33	c (267,0) c |  5 |   1191 |     598908 |     328399 |    92553 |    61212 |    38394 |   258973 |    34272 |     1591 |  20 |  0.053 |
2087.57/271.33	c (267,0) c |  6 |   1276 |     609746 |     326017 |   101992 |    58824 |    37018 |   260557 |    34335 |     1591 |  20 |  0.053 |
2087.57/271.33	c (267,0) c |  7 |   1237 |     602014 |     324405 |    94823 |    57218 |    36586 |   259578 |    33782 |     1582 |  20 |  0.053 |
2087.57/271.33	c (267,0) c 
2087.57/271.33	c (267,0) c synthesis     2615128 conflicts  2265083305 propagations     1258 conflicts/sec  1089860 propagations/sec
2087.57/271.33	c (267,0) c real: 266.782 s, cpu: 2078.33 s, memory: 1358.30 Mb
2316.71/300.33	c (296,0) c
2316.71/300.33	c (296,0) c |------------------------------------------------------------------------------------------------------------------------|
2316.71/300.33	c (296,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2316.71/300.33	c (296,0) c |------------------------------------------------------------------------------------------------------------------------|
2316.71/300.33	c (296,0) c |  0 |   1184 |     650156 |     352291 |   104032 |    46713 |    40790 |   275011 |    36656 |     1755 |  20 |  0.053 |
2316.71/300.33	c (296,0) c |  1 |   1379 |     654747 |     353134 |    99963 |    47542 |    39563 |   277006 |    36300 |     1761 |  20 |  0.053 |
2316.71/300.33	c (296,0) c |  2 |   1412 |     674170 |     359544 |   102641 |    53960 |    40523 |   276217 |    36889 |     1762 |  20 |  0.053 |
2316.71/300.33	c (296,0) c |  3 |   1386 |     652190 |     350601 |    97285 |    45006 |    38498 |   275734 |    36421 |     1744 |  20 |  0.053 |
2316.71/300.33	c (296,0) c |  4 |   1296 |     645456 |     352009 |    95581 |    46417 |    38964 |   277568 |    36695 |     1760 |  20 |  0.053 |
2316.71/300.33	c (296,0) c |  5 |   1303 |     643694 |     354970 |    93987 |    49379 |    40604 |   275365 |    36530 |     1763 |  20 |  0.053 |
2316.71/300.33	c (296,0) c |  6 |   1318 |     651942 |     353101 |   103900 |    47515 |    39995 |   276863 |    36537 |     1763 |  20 |  0.053 |
2316.71/300.33	c (296,0) c |  7 |   1304 |     642996 |     349765 |    96302 |    44178 |    39480 |   275834 |    36080 |     1751 |  20 |  0.053 |
2316.71/300.33	c (296,0) c 
2316.71/300.33	c (296,0) c synthesis     2825415 conflicts  2460531641 propagations     1225 conflicts/sec  1066419 propagations/sec
2316.71/300.33	c (296,0) c real: 295.782 s, cpu: 2307.28 s, memory: 1358.30 Mb
2547.94/329.33	c (325,0) c
2547.94/329.33	c (325,0) c |------------------------------------------------------------------------------------------------------------------------|
2547.94/329.33	c (325,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2547.94/329.33	c (325,0) c |------------------------------------------------------------------------------------------------------------------------|
2547.94/329.33	c (325,0) c |  0 |   1321 |     693635 |     377531 |   105441 |    71953 |    42647 |   293363 |    38897 |     1923 |  20 |  0.053 |
2548.78/329.42	c (325,0) c |  1 |   1470 |     699155 |     379869 |   101451 |    74276 |    41638 |   295475 |    38660 |     1935 |  20 |  0.053 |
2548.78/329.42	c (325,0) c |  2 |   1537 |     722231 |     386874 |   105327 |    81290 |    42661 |   293477 |    39274 |     1941 |  20 |  0.053 |
2548.78/329.42	c (325,0) c |  3 |   1439 |     694377 |     377757 |    98669 |    72162 |    41036 |   293166 |    38532 |     1922 |  20 |  0.053 |
2548.78/329.42	c (325,0) c |  4 |   1407 |     691923 |     379794 |    97556 |    74202 |    41842 |   295448 |    38998 |     1939 |  20 |  0.053 |
2548.78/329.42	c (325,0) c |  5 |   1396 |     686316 |     380872 |    95394 |    75281 |    43282 |   294359 |    38937 |     1939 |  20 |  0.053 |
2548.78/329.42	c (325,0) c |  6 |   1356 |     692279 |     378549 |   105283 |    72962 |    43215 |   293957 |    38704 |     1933 |  20 |  0.053 |
2548.78/329.42	c (325,0) c |  7 |   1383 |     691047 |     378015 |    98374 |    72428 |    42620 |   294130 |    38486 |     1930 |  20 |  0.053 |
2548.78/329.42	c (325,0) c 
2548.78/329.42	c (325,0) c synthesis     3039261 conflicts  2658443002 propagations     1197 conflicts/sec  1047258 propagations/sec
2548.78/329.42	c (325,0) c real: 324.782 s, cpu: 2538.48 s, memory: 1358.30 Mb
2785.66/359.33	c (355,0) c
2785.66/359.33	c (355,0) c |------------------------------------------------------------------------------------------------------------------------|
2785.66/359.33	c (355,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2785.66/359.33	c (355,0) c |------------------------------------------------------------------------------------------------------------------------|
2785.66/359.33	c (355,0) c |  0 |   1419 |     738320 |     403617 |   106639 |    57035 |    44979 |   311455 |    40982 |     2097 |  20 |  0.053 |
2785.66/359.33	c (355,0) c |  1 |   1581 |     746729 |     408072 |   102928 |    61481 |    44267 |   314451 |    40913 |     2117 |  20 |  0.053 |
2785.66/359.33	c (355,0) c |  2 |   1586 |     770136 |     414607 |   107454 |    68020 |    45784 |   311902 |    41374 |     2116 |  20 |  0.053 |
2785.66/359.33	c (355,0) c |  3 |   1496 |     739952 |     406202 |   100154 |    59612 |    43973 |   312366 |    40750 |     2107 |  20 |  0.053 |
2785.66/359.33	c (355,0) c |  4 |   1478 |     736459 |     406611 |    99221 |    60016 |    44745 |   313109 |    41119 |     2113 |  20 |  0.053 |
2785.66/359.33	c (355,0) c |  5 |   1489 |     735937 |     408565 |    99068 |    61975 |    46386 |   312346 |    41099 |     2116 |  20 |  0.053 |
2785.66/359.33	c (355,0) c |  6 |   1449 |     733574 |     404557 |   106183 |    57965 |    45118 |   311194 |    40606 |     2102 |  20 |  0.053 |
2785.66/359.33	c (355,0) c |  7 |   1466 |     737088 |     405815 |    99918 |    59223 |    45310 |   313277 |    40766 |     2117 |  20 |  0.053 |
2785.66/359.33	c (355,0) c 
2785.66/359.33	c (355,0) c synthesis     3258046 conflicts  2862084581 propagations     1174 conflicts/sec  1030961 propagations/sec
2785.66/359.33	c (355,0) c real: 354.789 s, cpu: 2776.13 s, memory: 1358.30 Mb
2797.01/361.67	c (357,0) c
2797.01/361.67	c (357,0) c real time : 357.125 s
2797.01/361.67	c (357,0) c cpu time  : 2787.22 s
2797.01/361.67	c (357,0) c
2797.01/361.67	c (357,0) c
2797.01/361.67	c (357,0) c
2797.01/361.67	c (357,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
2797.01/361.67	c (357,0) c
2797.01/361.67	c (357,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2797.01/361.67	c (357,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2797.01/361.67	c (357,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2797.01/361.67	c (357,0) c | Conflicts     |         3269206 |     406148 |     409325 |     415743 |     407514 |     407666 |     409708 |     406338 |     406764 |
2797.01/361.67	c (357,0) c | Decisions     |         5958209 |     742957 |     748337 |     772005 |     743278 |     738239 |     737909 |     736941 |     738543 |
2797.01/361.67	c (357,0) c | Propagations  |      2872512765 |  357917723 |  358642025 |  364635786 |  357558237 |  355983212 |  358853485 |  357297274 |  361625023 |
2797.01/361.67	c (357,0) c | ReduceDBs     |             136 |         17 |         17 |         17 |         17 |         17 |         17 |         17 |         17 |
2797.01/361.67	c (357,0) c | SimpDBs       |              16 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
2797.01/361.67	c (357,0) c | Restarts      |           12003 |       1428 |       1581 |       1588 |       1497 |       1481 |       1493 |       1464 |       1471 |
2797.01/361.67	c (357,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2797.01/361.67	c (357,0) c | PropBinClauses|      4014335339 |  498456959 |  498989712 |  503400614 |  502963217 |  498718928 |  501545357 |  502387002 |  507873550 |
2797.01/361.67	c (357,0) c | PropPreBlocker|     52991513762 | 6617294837 | 6626339468 | 6654728405 | 6588692434 | 6616722639 | 6634263876 | 6606137275 | 6647334828 |
2797.01/361.67	c (357,0) c | PropNotBlocker|     19657694654 | 2447272648 | 2468676810 | 2443985041 | 2460890356 | 2462940174 | 2462034466 | 2449807878 | 2462087281 |
2797.01/361.67	c (357,0) c | LitFullScans  |    101785415297 |12690975669 |12750972552 |12744998272 |12691261958 |12727014409 |12744226760 |12690986157 |12744979520 |
2797.01/361.67	c (357,0) c | LitScanFracts |         7777656 |     956050 |     970796 |     995648 |     983925 |    1002663 |     947997 |     944535 |     976042 |
2797.01/361.67	c (357,0) c | DecisionLevel0|           12007 |       1428 |       1582 |       1589 |       1497 |       1482 |       1493 |       1464 |       1472 |
2797.01/361.67	c (357,0) c | Periods       |           16962 |       2115 |       2125 |       2124 |       2115 |       2121 |       2123 |       2115 |       2124 |
2797.01/361.67	c (357,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
2797.01/361.67	c (357,0) c | Avg_Trail     |                 |       6979 |       6948 |       7062 |       6884 |       6898 |       6884 |       6904 |       6968 |
2797.01/361.67	c (357,0) c | Avg_DL        |                 |         24 |         25 |         25 |         25 |         24 |         25 |         25 |         25 |
2797.01/361.67	c (357,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2797.01/361.67	c (357,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2797.01/361.67	c (357,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2797.01/361.67	c (357,0) c | Exported      |          361641 |      45240 |      44388 |      45877 |      44154 |      44857 |      46520 |      45236 |      45369 |
2797.01/361.67	c (357,0) c | Imported      |         2510374 |     313286 |     314451 |     313685 |     314370 |     314089 |     313106 |     313174 |     314213 |
2797.01/361.67	c (357,0) c | Good          |             308 |         37 |         41 |         38 |         40 |         38 |         37 |         35 |         42 |
2797.01/361.67	c (357,0) c | Purge         |         2510066 |     313249 |     314410 |     313647 |     314330 |     314051 |     313069 |     313139 |     314171 |
2797.01/361.67	c (357,0) c | Promoted      |          328480 |      41208 |      40999 |      41465 |      40830 |      41201 |      41179 |      40745 |      40853 |
2797.01/361.67	c (357,0) c | Remove_Imp    |         1736201 |     217602 |     218314 |     213016 |     218798 |     216665 |     216591 |     217334 |     217881 |
2797.01/361.67	c (357,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2797.01/361.67	c (357,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2797.01/361.67	c (357,0) c | Unaries       |                 |          0 |          1 |          1 |          0 |          1 |          0 |          0 |          1 |
2797.01/361.67	c (357,0) c | Binaries      |                 |          7 |          3 |          6 |          4 |          6 |          7 |          9 |          2 |
2797.01/361.67	c (357,0) c | Glues         |                 |        261 |        269 |        263 |        267 |        255 |        266 |        283 |        247 |
2797.01/361.67	c (357,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2797.01/361.67	c (357,0) c | Orig_Seen     |            23 % |     106960 |     102948 |     107514 |     101413 |      99251 |      99114 |     106268 |      99941 |
2797.01/361.67	c (357,0) c | Diff Orig seen|                 |       5547 |       1535 |       6101 |      X     | -     2162 | -     2299 |       4855 | -     1472 |
2797.01/361.67	c (357,0) c | Hamming       |            33 % |       6673 |       7581 |       7995 |      X     |       7483 |       7359 |       7361 |       8271 |
2797.01/361.67	c (357,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2797.01/361.67	c (357,0) c | RunningTime   |                 |  353.8  99%|  351.9  99%|  348.1  98%|  348.7  98%|  351.7  99%|  343.7  97%|  344.7  97%|  353.4 100%|
2797.01/361.67	c (357,0) c | WaitingTime   |                 |    2.2   1%|    3.0   1%|    6.7   2%|    6.0   2%|    3.1   1%|   11.1   3%|   10.8   3%|    1.4   0%|
2797.01/361.67	c (357,0) c | ExchangingTime|                 |    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|
2797.01/361.67	c (357,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%|
2797.01/361.67	c (357,0) c | SolvingTime   |                 |  356.2     |  355.1     |  355.0     |  355.0     |  355.1     |  355.0     |  355.7     |  355.0     |
2797.01/361.67	c (357,0) c | PropagationTim|                 |  311.6  87%|  310.9  88%|  309.2  87%|  310.0  87%|  304.7  86%|  308.8  87%|  310.2  87%|  307.0  86%|
2797.01/361.67	c (357,0) c | AnalysisTime  |                 |   37.4  10%|   36.8  10%|   38.5  11%|   37.6  11%|   43.1  12%|   39.1  11%|   38.2  11%|   40.7  11%|
2797.01/361.67	c (357,0) c | ReductionTime |                 |    1.2   0%|    1.2   0%|    1.2   0%|    1.1   0%|    1.1   0%|    1.1   0%|    1.1   0%|    1.2   0%|
2797.01/361.67	c (357,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%|
2797.01/361.67	c (357,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%|
2797.01/361.67	c (357,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%|
2797.01/361.67	c (357,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2797.01/361.67	c (357,0) c
2797.01/361.67	c (357,0) c
2797.01/361.67	c (357,0) c Threads : 8
2797.01/361.67	c (357,0) c Winner : 3
2797.01/361.67	c (357,0) c Conflicts_0 : 406148
2797.01/361.67	c (357,0) c Conflicts_1 : 409325
2797.01/361.67	c (357,0) c Conflicts_2 : 415743
2797.01/361.67	c (357,0) c Conflicts_3 : 407514
2797.01/361.67	c (357,0) c Conflicts_4 : 407666
2797.01/361.67	c (357,0) c Conflicts_5 : 409708
2797.01/361.67	c (357,0) c Conflicts_6 : 406338
2797.01/361.67	c (357,0) c Conflicts_7 : 406764
2797.01/361.67	c (357,0) c Conflicts_total : 3269206
2797.01/361.67	c (357,0) c Conflicts_winner : 407514
2797.01/361.67	c (357,0) c Decisions_0 : 742957
2797.01/361.67	c (357,0) c Decisions_1 : 748337
2797.01/361.67	c (357,0) c Decisions_2 : 772005
2797.01/361.67	c (357,0) c Decisions_3 : 743278
2797.01/361.67	c (357,0) c Decisions_4 : 738239
2797.01/361.67	c (357,0) c Decisions_5 : 737909
2797.01/361.67	c (357,0) c Decisions_6 : 736941
2797.01/361.67	c (357,0) c Decisions_7 : 738543
2797.01/361.67	c (357,0) c Decisions_total : 5958209
2797.01/361.67	c (357,0) c Decisions_winner : 743278
2797.01/361.67	c (357,0) c Propagations_0 : 357917723
2797.01/361.67	c (357,0) c Propagations_1 : 358642025
2797.01/361.67	c (357,0) c Propagations_2 : 364635786
2797.01/361.67	c (357,0) c Propagations_3 : 357558237
2797.01/361.67	c (357,0) c Propagations_4 : 355983212
2797.01/361.67	c (357,0) c Propagations_5 : 358853485
2797.01/361.67	c (357,0) c Propagations_6 : 357297274
2797.01/361.67	c (357,0) c Propagations_7 : 361625023
2797.01/361.67	c (357,0) c Propagations_total : 2872512765
2797.01/361.67	c (357,0) c Propagations_winner : 357558237
2797.01/361.67	c (357,0) c ReduceDBs_0 : 17
2797.01/361.67	c (357,0) c ReduceDBs_1 : 17
2797.01/361.67	c (357,0) c ReduceDBs_2 : 17
2797.01/361.67	c (357,0) c ReduceDBs_3 : 17
2797.01/361.67	c (357,0) c ReduceDBs_4 : 17
2797.01/361.67	c (357,0) c ReduceDBs_5 : 17
2797.01/361.67	c (357,0) c ReduceDBs_6 : 17
2797.01/361.67	c (357,0) c ReduceDBs_7 : 17
2797.01/361.67	c (357,0) c ReduceDBs_total : 136
2797.01/361.67	c (357,0) c ReduceDBs_winner : 17
2797.01/361.67	c (357,0) c SimpDBs_0 : 2
2797.01/361.67	c (357,0) c SimpDBs_1 : 2
2797.01/361.67	c (357,0) c SimpDBs_2 : 2
2797.01/361.67	c (357,0) c SimpDBs_3 : 2
2797.01/361.67	c (357,0) c SimpDBs_4 : 2
2797.01/361.67	c (357,0) c SimpDBs_5 : 2
2797.01/361.67	c (357,0) c SimpDBs_6 : 2
2797.01/361.67	c (357,0) c SimpDBs_7 : 2
2797.01/361.67	c (357,0) c SimpDBs_total : 16
2797.01/361.67	c (357,0) c SimpDBs_winner : 2
2797.01/361.67	c (357,0) c Restarts_0 : 1428
2797.01/361.67	c (357,0) c Restarts_1 : 1581
2797.01/361.67	c (357,0) c Restarts_2 : 1588
2797.01/361.67	c (357,0) c Restarts_3 : 1497
2797.01/361.67	c (357,0) c Restarts_4 : 1481
2797.01/361.67	c (357,0) c Restarts_5 : 1493
2797.01/361.67	c (357,0) c Restarts_6 : 1464
2797.01/361.67	c (357,0) c Restarts_7 : 1471
2797.01/361.67	c (357,0) c Restarts_total : 12003
2797.01/361.67	c (357,0) c Restarts_winner : 1497
2797.01/361.67	c (357,0) c ForcedImports_0 : 0
2797.01/361.67	c (357,0) c ForcedImports_1 : 0
2797.01/361.67	c (357,0) c ForcedImports_2 : 0
2797.01/361.67	c (357,0) c ForcedImports_3 : 0
2797.01/361.67	c (357,0) c ForcedImports_4 : 0
2797.01/361.67	c (357,0) c ForcedImports_5 : 0
2797.01/361.67	c (357,0) c ForcedImports_6 : 0
2797.01/361.67	c (357,0) c ForcedImports_7 : 0
2797.01/361.67	c (357,0) c ForcedImports_total : 0
2797.01/361.67	c (357,0) c ForcedImports_winner : 0
2797.01/361.67	c (357,0) c PropsBinClauses_0 : 498456959
2797.01/361.67	c (357,0) c PropsBinClauses_1 : 498989712
2797.01/361.67	c (357,0) c PropsBinClauses_2 : 503400614
2797.01/361.67	c (357,0) c PropsBinClauses_3 : 502963217
2797.01/361.67	c (357,0) c PropsBinClauses_4 : 498718928
2797.01/361.67	c (357,0) c PropsBinClauses_5 : 501545357
2797.01/361.67	c (357,0) c PropsBinClauses_6 : 502387002
2797.01/361.67	c (357,0) c PropsBinClauses_7 : 507873550
2797.01/361.67	c (357,0) c PropsBinClauses_total : 4014335339
2797.01/361.67	c (357,0) c PropsBinClauses_winner : 502963217
2797.01/361.67	c (357,0) c PropsPreBlocker_0 : 6617294837
2797.01/361.67	c (357,0) c PropsPreBlocker_1 : 6626339468
2797.01/361.67	c (357,0) c PropsPreBlocker_2 : 6654728405
2797.01/361.67	c (357,0) c PropsPreBlocker_3 : 6588692434
2797.01/361.67	c (357,0) c PropsPreBlocker_4 : 6616722639
2797.01/361.67	c (357,0) c PropsPreBlocker_5 : 6634263876
2797.01/361.67	c (357,0) c PropsPreBlocker_6 : 6606137275
2797.01/361.67	c (357,0) c PropsPreBlocker_7 : 6647334828
2797.01/361.67	c (357,0) c PropsPreBlocker_total : 52991513762
2797.01/361.67	c (357,0) c PropsPreBlocker_winner : 6588692434
2797.01/361.67	c (357,0) c PropsNotBlocker_0 : 2447272648
2797.01/361.67	c (357,0) c PropsNotBlocker_1 : 2468676810
2797.01/361.67	c (357,0) c PropsNotBlocker_2 : 2443985041
2797.01/361.67	c (357,0) c PropsNotBlocker_3 : 2460890356
2797.01/361.67	c (357,0) c PropsNotBlocker_4 : 2462940174
2797.01/361.67	c (357,0) c PropsNotBlocker_5 : 2462034466
2797.01/361.67	c (357,0) c PropsNotBlocker_6 : 2449807878
2797.01/361.67	c (357,0) c PropsNotBlocker_7 : 2462087281
2797.01/361.67	c (357,0) c PropsNotBlocker_total : 19657694654
2797.01/361.67	c (357,0) c PropsNotBlocker_winner : 2460890356
2797.01/361.67	c (357,0) c PropsLitFullScans_0 : 12690975669
2797.01/361.67	c (357,0) c PropsLitFullScans_1 : 12750972552
2797.01/361.67	c (357,0) c PropsLitFullScans_2 : 12744998272
2797.01/361.67	c (357,0) c PropsLitFullScans_3 : 12691261958
2797.01/361.67	c (357,0) c PropsLitFullScans_4 : 12727014409
2797.01/361.67	c (357,0) c PropsLitFullScans_5 : 12744226760
2797.01/361.67	c (357,0) c PropsLitFullScans_6 : 12690986157
2797.01/361.67	c (357,0) c PropsLitFullScans_7 : 12744979520
2797.01/361.67	c (357,0) c PropsLitFullScans_total : 101785415297
2797.01/361.67	c (357,0) c PropsLitFullScans_winner : 12691261958
2797.01/361.67	c (357,0) c LitScanFractions_0 : 956050
2797.01/361.67	c (357,0) c LitScanFractions_1 : 970796
2797.01/361.67	c (357,0) c LitScanFractions_2 : 995648
2797.01/361.67	c (357,0) c LitScanFractions_3 : 983925
2797.01/361.67	c (357,0) c LitScanFractions_4 : 1002663
2797.01/361.67	c (357,0) c LitScanFractions_5 : 947997
2797.01/361.67	c (357,0) c LitScanFractions_6 : 944535
2797.01/361.67	c (357,0) c LitScanFractions_7 : 976042
2797.01/361.67	c (357,0) c LitScanFractions_total : 7777656
2797.01/361.67	c (357,0) c LitScanFractions_winner : 983925
2797.01/361.67	c (357,0) c DecisionLevel0_0 : 1428
2797.01/361.67	c (357,0) c DecisionLevel0_1 : 1582
2797.01/361.68	c (357,0) c DecisionLevel0_2 : 1589
2797.01/361.68	c (357,0) c DecisionLevel0_3 : 1497
2797.01/361.68	c (357,0) c DecisionLevel0_4 : 1482
2797.01/361.68	c (357,0) c DecisionLevel0_5 : 1493
2797.01/361.68	c (357,0) c DecisionLevel0_6 : 1464
2797.01/361.68	c (357,0) c DecisionLevel0_7 : 1472
2797.01/361.68	c (357,0) c DecisionLevel0_total : 12007
2797.01/361.68	c (357,0) c DecisionLevel0_winner : 1497
2797.01/361.68	c (357,0) c Periods_0 : 2115
2797.01/361.68	c (357,0) c Periods_1 : 2125
2797.01/361.68	c (357,0) c Periods_2 : 2124
2797.01/361.68	c (357,0) c Periods_3 : 2115
2797.01/361.68	c (357,0) c Periods_4 : 2121
2797.01/361.68	c (357,0) c Periods_5 : 2123
2797.01/361.68	c (357,0) c Periods_6 : 2115
2797.01/361.68	c (357,0) c Periods_7 : 2124
2797.01/361.68	c (357,0) c Periods_total : 16962
2797.01/361.68	c (357,0) c Periods_winner : 2115
2797.01/361.68	c (357,0) c Margin_0 : 20
2797.01/361.68	c (357,0) c Margin_1 : 20
2797.01/361.68	c (357,0) c Margin_2 : 20
2797.01/361.68	c (357,0) c Margin_3 : 20
2797.01/361.68	c (357,0) c Margin_4 : 20
2797.01/361.68	c (357,0) c Margin_5 : 20
2797.01/361.68	c (357,0) c Margin_6 : 20
2797.01/361.68	c (357,0) c Margin_7 : 20
2797.01/361.68	c (357,0) c Margin_total : 160
2797.01/361.68	c (357,0) c Margin_winner : 20
2797.01/361.68	c (357,0) c Exported_0 : 45240
2797.01/361.68	c (357,0) c Exported_1 : 44388
2797.01/361.68	c (357,0) c Exported_2 : 45877
2797.01/361.68	c (357,0) c Exported_3 : 44154
2797.01/361.68	c (357,0) c Exported_4 : 44857
2797.01/361.68	c (357,0) c Exported_5 : 46520
2797.01/361.68	c (357,0) c Exported_6 : 45236
2797.01/361.68	c (357,0) c Exported_7 : 45369
2797.01/361.68	c (357,0) c Exported_total : 361641
2797.01/361.68	c (357,0) c Exported_winner : 44154
2797.01/361.68	c (357,0) c Imported_0 : 313286
2797.01/361.68	c (357,0) c Imported_1 : 314451
2797.01/361.68	c (357,0) c Imported_2 : 313685
2797.01/361.68	c (357,0) c Imported_3 : 314370
2797.01/361.68	c (357,0) c Imported_4 : 314089
2797.01/361.68	c (357,0) c Imported_5 : 313106
2797.01/361.68	c (357,0) c Imported_6 : 313174
2797.01/361.68	c (357,0) c Imported_7 : 314213
2797.01/361.68	c (357,0) c Imported_total : 2510374
2797.01/361.68	c (357,0) c Imported_winner : 314370
2797.01/361.68	c (357,0) c Good_0 : 37
2797.01/361.68	c (357,0) c Good_1 : 41
2797.01/361.68	c (357,0) c Good_2 : 38
2797.01/361.68	c (357,0) c Good_3 : 40
2797.01/361.68	c (357,0) c Good_4 : 38
2797.01/361.68	c (357,0) c Good_5 : 37
2797.01/361.68	c (357,0) c Good_6 : 35
2797.01/361.68	c (357,0) c Good_7 : 42
2797.01/361.68	c (357,0) c Good_total : 308
2797.01/361.68	c (357,0) c Good_winner : 40
2797.01/361.68	c (357,0) c Purge_0 : 313249
2797.01/361.68	c (357,0) c Purge_1 : 314410
2797.01/361.68	c (357,0) c Purge_2 : 313647
2797.01/361.68	c (357,0) c Purge_3 : 314330
2797.01/361.68	c (357,0) c Purge_4 : 314051
2797.01/361.68	c (357,0) c Purge_5 : 313069
2797.01/361.68	c (357,0) c Purge_6 : 313139
2797.01/361.68	c (357,0) c Purge_7 : 314171
2797.01/361.68	c (357,0) c Purge_total : 2510066
2797.01/361.68	c (357,0) c Purge_winner : 314330
2797.01/361.68	c (357,0) c Promoted_0 : 41208
2797.01/361.68	c (357,0) c Promoted_1 : 40999
2797.01/361.68	c (357,0) c Promoted_2 : 41465
2797.01/361.68	c (357,0) c Promoted_3 : 40830
2797.01/361.68	c (357,0) c Promoted_4 : 41201
2797.01/361.68	c (357,0) c Promoted_5 : 41179
2797.01/361.68	c (357,0) c Promoted_6 : 40745
2797.01/361.68	c (357,0) c Promoted_7 : 40853
2797.01/361.68	c (357,0) c Promoted_total : 328480
2797.01/361.68	c (357,0) c Promoted_winner : 40830
2797.01/361.68	c (357,0) c Remove_Imp_0 : 217602
2797.01/361.68	c (357,0) c Remove_Imp_1 : 218314
2797.01/361.68	c (357,0) c Remove_Imp_2 : 213016
2797.01/361.68	c (357,0) c Remove_Imp_3 : 218798
2797.01/361.68	c (357,0) c Remove_Imp_4 : 216665
2797.01/361.68	c (357,0) c Remove_Imp_5 : 216591
2797.01/361.68	c (357,0) c Remove_Imp_6 : 217334
2797.01/361.68	c (357,0) c Remove_Imp_7 : 217881
2797.01/361.68	c (357,0) c Remove_Imp_total : 1736201
2797.01/361.68	c (357,0) c Remove_Imp_winner : 218798
2797.01/361.68	c (357,0) c Blocked_Reuse_0 : 0
2797.01/361.68	c (357,0) c Blocked_Reuse_1 : 0
2797.01/361.68	c (357,0) c Blocked_Reuse_2 : 0
2797.01/361.68	c (357,0) c Blocked_Reuse_3 : 0
2797.01/361.68	c (357,0) c Blocked_Reuse_4 : 0
2797.01/361.68	c (357,0) c Blocked_Reuse_5 : 0
2797.01/361.68	c (357,0) c Blocked_Reuse_6 : 0
2797.01/361.68	c (357,0) c Blocked_Reuse_7 : 0
2797.01/361.68	c (357,0) c Blocked_Reuse_total : 0
2797.01/361.68	c (357,0) c Blocked_Reuse_winner : 0
2797.01/361.68	c (357,0) c Unaries_0 : 0
2797.01/361.68	c (357,0) c Unaries_1 : 1
2797.01/361.68	c (357,0) c Unaries_2 : 1
2797.01/361.68	c (357,0) c Unaries_3 : 0
2797.01/361.68	c (357,0) c Unaries_4 : 1
2797.01/361.68	c (357,0) c Unaries_5 : 0
2797.01/361.68	c (357,0) c Unaries_6 : 0
2797.01/361.68	c (357,0) c Unaries_7 : 1
2797.01/361.68	c (357,0) c Unaries_total : 4
2797.01/361.68	c (357,0) c Unaries_winner : 0
2797.01/361.68	c (357,0) c Binaries_0 : 7
2797.01/361.68	c (357,0) c Binaries_1 : 3
2797.01/361.68	c (357,0) c Binaries_2 : 6
2797.01/361.68	c (357,0) c Binaries_3 : 4
2797.01/361.68	c (357,0) c Binaries_4 : 6
2797.01/361.68	c (357,0) c Binaries_5 : 7
2797.01/361.68	c (357,0) c Binaries_6 : 9
2797.01/361.68	c (357,0) c Binaries_7 : 2
2797.01/361.68	c (357,0) c Binaries_total : 44
2797.01/361.68	c (357,0) c Binaries_winner : 4
2797.01/361.68	c (357,0) c Glues_0 : 261
2797.01/361.68	c (357,0) c Glues_1 : 269
2797.01/361.68	c (357,0) c Glues_2 : 263
2797.01/361.68	c (357,0) c Glues_3 : 267
2797.01/361.68	c (357,0) c Glues_4 : 255
2797.01/361.68	c (357,0) c Glues_5 : 266
2797.01/361.68	c (357,0) c Glues_6 : 283
2797.01/361.68	c (357,0) c Glues_7 : 247
2797.01/361.68	c (357,0) c Glues_total : 2111
2797.01/361.68	c (357,0) c Glues_winner : 267
2797.01/361.68	c (357,0) c RunningTime_0 : 353.763990
2797.01/361.68	c (357,0) c RunningTime_1 : 351.881117
2797.01/361.68	c (357,0) c RunningTime_2 : 348.070692
2797.01/361.68	c (357,0) c RunningTime_3 : 348.745242
2797.01/361.68	c (357,0) c RunningTime_4 : 351.705580
2797.01/361.68	c (357,0) c RunningTime_5 : 343.711413
2797.01/361.68	c (357,0) c RunningTime_6 : 344.671508
2797.01/361.68	c (357,0) c RunningTime_7 : 353.443936
2797.01/361.68	c (357,0) c RunningTime_total : 2795.993478
2797.01/361.68	c (357,0) c RunningTime_winner : 348.745242
2797.01/361.68	c (357,0) c WaitingTime_0 : 2.209136
2797.01/361.68	c (357,0) c WaitingTime_1 : 2.961328
2797.01/361.68	c (357,0) c WaitingTime_2 : 6.735509
2797.01/361.68	c (357,0) c WaitingTime_3 : 6.018203
2797.01/361.68	c (357,0) c WaitingTime_4 : 3.149218
2797.01/361.68	c (357,0) c WaitingTime_5 : 11.099483
2797.01/361.68	c (357,0) c WaitingTime_6 : 10.808457
2797.01/361.68	c (357,0) c WaitingTime_7 : 1.369537
2797.01/361.68	c (357,0) c WaitingTime_total : 44.350870
2797.01/361.68	c (357,0) c WaitingTime_winner : 6.018203
2797.01/361.68	c (357,0) c ExchangingTime_0 : 0.176814
2797.01/361.68	c (357,0) c ExchangingTime_1 : 0.213694
2797.01/361.68	c (357,0) c ExchangingTime_2 : 0.188722
2797.01/361.68	c (357,0) c ExchangingTime_3 : 0.201205
2797.01/361.68	c (357,0) c ExchangingTime_4 : 0.185031
2797.01/361.68	c (357,0) c ExchangingTime_5 : 0.210109
2797.01/361.68	c (357,0) c ExchangingTime_6 : 0.182671
2797.01/361.68	c (357,0) c ExchangingTime_7 : 0.201588
2797.01/361.68	c (357,0) c ExchangingTime_total : 1.559834
2797.01/361.68	c (357,0) c ExchangingTime_winner : 0.201205
2797.01/361.68	c (357,0) c PeriodProcTime_0 : 0.025191
2797.01/361.68	c (357,0) c PeriodProcTime_1 : 0.019240
2797.01/361.68	c (357,0) c PeriodProcTime_2 : 0.019824
2797.01/361.68	c (357,0) c PeriodProcTime_3 : 0.023327
2797.01/361.68	c (357,0) c PeriodProcTime_4 : 0.020966
2797.01/361.68	c (357,0) c PeriodProcTime_5 : 0.020306
2797.01/361.68	c (357,0) c PeriodProcTime_6 : 0.020807
2797.01/361.68	c (357,0) c PeriodProcTime_7 : 0.019790
2797.01/361.68	c (357,0) c PeriodProcTime_total : 0.169451
2797.01/361.68	c (357,0) c PeriodProcTime_winner : 0.023327
2797.01/361.68	c (357,0) c SolvingTime_0 : 356.175131
2797.01/361.68	c (357,0) c SolvingTime_1 : 355.075379
2797.01/361.68	c (357,0) c SolvingTime_2 : 355.014747
2797.01/361.68	c (357,0) c SolvingTime_3 : 354.987977
2797.01/361.68	c (357,0) c SolvingTime_4 : 355.060794
2797.01/361.68	c (357,0) c SolvingTime_5 : 355.041310
2797.01/361.68	c (357,0) c SolvingTime_6 : 355.683443
2797.01/361.68	c (357,0) c SolvingTime_7 : 355.034851
2797.01/361.68	c (357,0) c SolvingTime_total : 2842.073632
2797.01/361.68	c (357,0) c SolvingTime_winner : 354.987977
2797.01/361.68	c (357,0) c PropagationTime_0 : 311.630965
2797.01/361.68	c (357,0) c PropagationTime_1 : 310.927043
2797.01/361.68	c (357,0) c PropagationTime_2 : 309.161493
2797.01/361.68	c (357,0) c PropagationTime_3 : 309.957396
2797.01/361.68	c (357,0) c PropagationTime_4 : 304.716892
2797.01/361.68	c (357,0) c PropagationTime_5 : 308.751823
2797.01/361.68	c (357,0) c PropagationTime_6 : 310.233225
2797.01/361.68	c (357,0) c PropagationTime_7 : 307.007483
2797.01/361.68	c (357,0) c PropagationTime_total : 2472.386318
2797.01/361.68	c (357,0) c PropagationTime_winner : 309.957396
2797.01/361.68	c (357,0) c AnalysisTime_0 : 37.394212
2797.01/361.68	c (357,0) c AnalysisTime_1 : 36.807883
2797.01/361.68	c (357,0) c AnalysisTime_2 : 38.462312
2797.01/361.68	c (357,0) c AnalysisTime_3 : 37.565519
2797.01/361.68	c (357,0) c AnalysisTime_4 : 43.100274
2797.01/361.68	c (357,0) c AnalysisTime_5 : 39.093382
2797.01/361.68	c (357,0) c AnalysisTime_6 : 38.239834
2797.01/361.68	c (357,0) c AnalysisTime_7 : 40.699784
2797.01/361.68	c (357,0) c AnalysisTime_total : 311.363199
2797.01/361.68	c (357,0) c AnalysisTime_winner : 37.565519
2797.01/361.68	c (357,0) c ReductionTime_0 : 1.156748
2797.01/361.68	c (357,0) c ReductionTime_1 : 1.208107
2797.01/361.68	c (357,0) c ReductionTime_2 : 1.176944
2797.01/361.68	c (357,0) c ReductionTime_3 : 1.142411
2797.01/361.68	c (357,0) c ReductionTime_4 : 1.120404
2797.01/361.68	c (357,0) c ReductionTime_5 : 1.142817
2797.01/361.68	c (357,0) c ReductionTime_6 : 1.126881
2797.01/361.68	c (357,0) c ReductionTime_7 : 1.177418
2797.01/361.68	c (357,0) c ReductionTime_total : 9.251730
2797.01/361.68	c (357,0) c ReductionTime_winner : 1.142411
2797.01/361.68	c (357,0) c SimplifyTime_0 : 0.012115
2797.01/361.68	c (357,0) c SimplifyTime_1 : 0.015684
2797.01/361.68	c (357,0) c SimplifyTime_2 : 0.014409
2797.01/361.68	c (357,0) c SimplifyTime_3 : 0.011732
2797.01/361.68	c (357,0) c SimplifyTime_4 : 0.011853
2797.01/361.68	c (357,0) c SimplifyTime_5 : 0.011731
2797.01/361.68	c (357,0) c SimplifyTime_6 : 0.011492
2797.01/361.68	c (357,0) c SimplifyTime_7 : 0.012111
2797.01/361.68	c (357,0) c SimplifyTime_total : 0.101127
2797.01/361.68	c (357,0) c SimplifyTime_winner : 0.011732
2797.01/361.68	c (357,0) c UsedRateTime_0 : 0.000000
2797.01/361.68	c (357,0) c UsedRateTime_1 : 0.000000
2797.01/361.68	c (357,0) c UsedRateTime_2 : 0.000000
2797.01/361.68	c (357,0) c UsedRateTime_3 : 0.000000
2797.01/361.68	c (357,0) c UsedRateTime_4 : 0.000000
2797.01/361.68	c (357,0) c UsedRateTime_5 : 0.000000
2797.01/361.68	c (357,0) c UsedRateTime_6 : 0.000000
2797.01/361.68	c (357,0) c UsedRateTime_7 : 0.000000
2797.01/361.68	c (357,0) c UsedRateTime_total : 0.000000
2797.01/361.68	c (357,0) c UsedRateTime_winner : 0.000000
2797.01/361.68	c (357,0) c OverlapRateTime_0 : 0.000000
2797.01/361.68	c (357,0) c OverlapRateTime_1 : 0.000000
2797.01/361.68	c (357,0) c OverlapRateTime_2 : 0.000000
2797.01/361.68	c (357,0) c OverlapRateTime_3 : 0.000000
2797.01/361.68	c (357,0) c OverlapRateTime_4 : 0.000000
2797.01/361.68	c (357,0) c OverlapRateTime_5 : 0.000000
2797.01/361.68	c (357,0) c OverlapRateTime_6 : 0.000000
2797.01/361.68	c (357,0) c OverlapRateTime_7 : 0.000000
2797.01/361.68	c (357,0) c OverlapRateTime_total : 0.000000
2797.01/361.68	c (357,0) c OverlapRateTime_winner : 0.000000
2797.01/361.68	c (357,0) c
2797.01/361.68	c (357,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2797.01/361.68	c (357,0) c
2797.01/361.68	c (357,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2797.01/361.68	c (357,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2797.01/361.68	c (357,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2797.01/361.68	c (357,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
2797.01/361.68	c (357,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
2797.01/361.68	c (357,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
2797.01/361.68	c (357,0) c | Initial random_seed   | 1870252370 |  558435154 | 1789858297 |  879100858 | 1190341134 | 2077198807 |  159001456 | 1900752340 |
2797.01/361.68	c (357,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
2797.01/361.68	c (357,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
2797.01/361.68	c (357,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
2797.01/361.68	c (357,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
2797.01/361.68	c (357,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
2797.01/361.68	c (357,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
2797.01/361.68	c (357,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
2797.01/361.68	c (357,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2797.01/361.68	c (357,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2797.01/361.68	c (357,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
2797.01/361.68	c (357,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
2797.01/361.68	c (357,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2797.01/361.68	c (357,0) 
2797.01/361.68	c (357,0) s SATISFIABLE
7.79/361.73	c (357,0) SatSolver.solve End
7.79/361.73	c (357,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
7.79/361.73	c (357,0) Show results Begin
2797.47/361.83	c (358,0) x[0] = 380
2797.47/361.83	c (358,0) x[1] = 380
2797.47/361.83	c (358,0) x[2] = 125
2797.47/361.83	c (358,0) x[3] = 359
2797.47/361.83	c (358,0) x[4] = 359
2797.47/361.83	c (358,0) x[5] = 90
2797.47/361.83	c (358,0) x[6] = 389
2797.47/361.83	c (358,0) x[7] = 125
2797.47/361.83	c (358,0) x[8] = 305
2797.47/361.83	c (358,0) x[9] = 90
2797.47/361.83	c (358,0) x[10] = 365
2797.47/361.83	c (358,0) x[11] = 164
2797.47/361.83	c (358,0) x[12] = 305
2797.47/361.83	c (358,0) x[13] = 0
2797.47/361.83	c (358,0) x[14] = 426
2797.47/361.83	c (358,0) x[15] = 125
2797.47/361.83	c (358,0) x[16] = 0
2797.47/361.83	c (358,0) x[17] = 392
2797.47/361.83	c (358,0) x[18] = 389
2797.47/361.83	c (358,0) x[19] = 164
2797.47/361.83	c (358,0) x[20] = 0
2797.47/361.83	c (358,0) x[21] = 365
2797.47/361.83	c (358,0) x[22] = 226
2797.47/361.83	c (358,0) x[23] = 0
2797.47/361.83	c (358,0) x[24] = 145
2797.47/361.83	c (358,0) y[0] = 383
2797.47/361.83	c (358,0) y[1] = 392
2797.47/361.83	c (358,0) y[2] = 200
2797.47/361.83	c (358,0) y[3] = 383
2797.47/361.83	c (358,0) y[4] = 404
2797.47/361.83	c (358,0) y[5] = 200
2797.47/361.83	c (358,0) y[6] = 220
2797.47/361.83	c (358,0) y[7] = 321
2797.47/361.83	c (358,0) y[8] = 383
2797.47/361.83	c (358,0) y[9] = 145
2797.47/361.83	c (358,0) y[10] = 159
2797.47/361.83	c (358,0) y[11] = 321
2797.47/361.83	c (358,0) y[12] = 437
2797.47/361.83	c (358,0) y[13] = 145
2797.47/361.83	c (358,0) y[14] = 159
2797.47/361.83	c (358,0) y[15] = 220
2797.47/361.83	c (358,0) y[16] = 235
2797.47/361.83	c (358,0) y[17] = 392
2797.47/361.83	c (358,0) y[18] = 257
2797.47/361.83	c (358,0) y[19] = 383
2797.47/361.83	c (358,0) y[20] = 0
2797.47/361.83	c (358,0) y[21] = 0
2797.47/361.83	c (358,0) y[22] = 220
2797.47/361.83	c (358,0) y[23] = 360
2797.47/361.83	c (358,0) y[24] = 0
2797.47/361.83	s SATISFIABLE
2797.47/361.84	v <instantiation>
2797.47/361.84	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>
2797.47/361.84	v     <values>380 380 125 359 359 90 389 125 305 90 365 164 305 0 426 125 0 392 389 164 0 365 226 0 145 383 392 200 383 404 200 220 321 383 145 159 321 437 145 159 220 235 392 257 383 0 0 220 360 0</values>
2797.47/361.84	v </instantiation>
2797.47/361.84	c (358,0) Show results End
2797.47/361.84	c (358,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
2797.47/361.84	c (358,0) 357,358,STOP-AFTER(ALL)
2797.47/361.84	c END-Prog: Sat Sep 14 04:56:11 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 (15137 MiB free)
  memory of node 1: 16384 MiB (15595 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392406-1568429451/watcher-4392406-1568429451 -o /tmp/evaluation-result-4392406-1568429451/solver-4392406-1568429451 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568426870-11268 --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-4392406-1568429451.xml 

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

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


[startup+0.100153 s]*
/proc/loadavg: 8.36 8.40 8.29 3/212 11842
/proc/meminfo: memFree=31375164/32770624 swapFree=66982240/67108860
[pid=11820] ppid=11817 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/11820/stat : 11820 (scop.sh) S 11817 11820 11241 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419207782 115843072 348 33554432000 4194304 5098028 140720610118592 140720610115848 140250914529916 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24375296 140720610120485 140720610120812 140720610120812 140720610123725 0
/proc/11820/statm: 28282 348 296 221 0 87 0
[pid=11823] ppid=11820 vsize=27314120 memory=107884 CPUtime=0.1 cores=0-7
/proc/11823/stat : 11823 (java) S 11820 11820 11241 0 -1 1077944320 6478 0 0 0 7 3 0 0 20 0 20 0 419207782 27969658880 26971 33554432000 4194304 4196468 140736502956112 140736502938656 140540315348727 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
/proc/11823/statm: 6828530 26971 2814 1 0 6790935 0
[pid=11823/tid=11824] ppid=11820 vsize=27314120 memory=-2177352373413752899 CPUtime=0.09 cores=0-7
/proc/11823/task/11824/stat : 11824 (java) R 11820 11820 11241 0 -1 4202560 4570 0 0 0 7 2 0 0 20 0 20 0 419207783 27969658880 26971 33554432000 4194304 4196468 140736502956112 140540287183856 140540315370653 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11825] ppid=11820 vsize=27314120 memory=732370726287498213 CPUtime=0 cores=0-7
/proc/11823/task/11825/stat : 11825 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 26971 33554432000 4194304 4196468 140736502956112 140540319590672 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11826] ppid=11820 vsize=27314120 memory=140587950044800 CPUtime=0 cores=0-7
/proc/11823/task/11826/stat : 11826 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 26971 33554432000 4194304 4196468 140736502956112 140540133747088 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11827] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11827/stat : 11827 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 26971 33554432000 4194304 4196468 140736502956112 140540132694544 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11828] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11828/stat : 11828 (java) S 11820 11820 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 26971 33554432000 4194304 4196468 140736502956112 140540131642000 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11829] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11829/stat : 11829 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 26971 33554432000 4194304 4196468 140736502956112 140540130589456 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11830] ppid=11820 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11823/task/11830/stat : 11830 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 26971 33554432000 4194304 4196468 140736502956112 140540129536912 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11831] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11831/stat : 11831 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 26971 33554432000 4194304 4196468 140736502956112 140540128484368 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11832] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11832/stat : 11832 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 26971 33554432000 4194304 4196468 140736502956112 140540127431824 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11833] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11833/stat : 11833 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419207786 27969658880 26971 33554432000 4194304 4196468 140736502956112 140538432931824 140540315359874 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11834] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11834/stat : 11834 (java) S 11820 11820 11241 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419207787 27969658880 26971 33554432000 4194304 4196468 140736502956112 140538242130848 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11835] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11835/stat : 11835 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419207787 27969658880 26971 33554432000 4194304 4196468 140736502956112 140537973695472 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11836] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11836/stat : 11836 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419207790 27969658880 26971 33554432000 4194304 4196468 140736502956112 140537599187152 140540315367323 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11837] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11837/stat : 11837 (java) S 11820 11820 11241 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 419207790 27969658880 26971 33554432000 4194304 4196468 140736502956112 140538431879664 140540315359874 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11838] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11838/stat : 11838 (java) S 11820 11820 11241 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419207790 27969658880 26971 33554432000 4194304 4196468 140736502956112 140538430827120 140540315359874 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11839] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11839/stat : 11839 (java) S 11820 11820 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419207790 27969658880 26971 33554432000 4194304 4196468 140736502956112 140538429774576 140540315359874 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11840] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11840/stat : 11840 (java) S 11820 11820 11241 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 20 0 419207790 27969658880 26971 33554432000 4194304 4196468 140736502956112 140538428722032 140540315359874 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11841] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11841/stat : 11841 (java) S 11820 11820 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419207790 27969658880 26971 33554432000 4194304 4196468 140736502956112 140537101281504 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11842] ppid=11820 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11823/task/11842/stat : 11842 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419207790 27969658880 26971 33554432000 4194304 4196468 140736502956112 140538427668912 140540315359874 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109276 KiB

[startup+0.210078 s]*
/proc/loadavg: 8.36 8.40 8.29 2/212 11842
/proc/meminfo: memFree=31353072/32770624 swapFree=66982240/67108860
[pid=11820] ppid=11817 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/11820/stat : 11820 (scop.sh) S 11817 11820 11241 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419207782 115843072 348 33554432000 4194304 5098028 140720610118592 140720610115848 140250914529916 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24375296 140720610120485 140720610120812 140720610120812 140720610123725 0
/proc/11820/statm: 28282 348 296 221 0 87 0
[pid=11823] ppid=11820 vsize=27314120 memory=126976 CPUtime=0.24 cores=0-7
/proc/11823/stat : 11823 (java) S 11820 11820 11241 0 -1 1077944320 12080 0 0 0 19 5 0 0 20 0 20 0 419207782 27969658880 31744 33554432000 4194304 4196468 140736502956112 140736502938656 140540315348727 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
/proc/11823/statm: 6828530 31744 2968 1 0 6790935 0
[pid=11823/tid=11824] ppid=11820 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/11823/task/11824/stat : 11824 (java) R 11820 11820 11241 0 -1 4202560 9799 0 0 0 16 4 0 0 20 0 20 0 419207783 27969658880 31744 33554432000 4194304 4196468 140736502956112 140540287148112 140540296912283 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11825] ppid=11820 vsize=27314120 memory=732370726287498213 CPUtime=0 cores=0-7
/proc/11823/task/11825/stat : 11825 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 31744 33554432000 4194304 4196468 140736502956112 140540319590672 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11826] ppid=11820 vsize=27314120 memory=140587950044800 CPUtime=0 cores=0-7
/proc/11823/task/11826/stat : 11826 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 31744 33554432000 4194304 4196468 140736502956112 140540133747088 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11827] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11827/stat : 11827 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 31744 33554432000 4194304 4196468 140736502956112 140540132694544 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11828] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11828/stat : 11828 (java) S 11820 11820 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 31744 33554432000 4194304 4196468 140736502956112 140540131642000 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11829] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11829/stat : 11829 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 31744 33554432000 4194304 4196468 140736502956112 140540130589456 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11830] ppid=11820 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11823/task/11830/stat : 11830 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 31744 33554432000 4194304 4196468 140736502956112 140540129536912 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11831] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11831/stat : 11831 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 31744 33554432000 4194304 4196468 140736502956112 140540128484368 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11832] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11832/stat : 11832 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 31744 33554432000 4194304 4196468 140736502956112 140540127431824 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11833] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11833/stat : 11833 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419207786 27969658880 31744 33554432000 4194304 4196468 140736502956112 140538432931824 140540315359874 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11834] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11834/stat : 11834 (java) S 11820 11820 11241 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419207787 27969658880 31744 33554432000 4194304 4196468 140736502956112 140538242130848 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11835] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11835/stat : 11835 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419207787 27969658880 31744 33554432000 4194304 4196468 140736502956112 140537973695472 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11836] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11836/stat : 11836 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419207790 27969658880 31744 33554432000 4194304 4196468 140736502956112 140537599187152 140540315367323 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11837] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11837/stat : 11837 (java) S 11820 11820 11241 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 20 0 419207790 27969658880 31744 33554432000 4194304 4196468 140736502956112 140538431879664 140540315359874 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11838] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11838/stat : 11838 (java) S 11820 11820 11241 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419207790 27969658880 31744 33554432000 4194304 4196468 140736502956112 140538430827120 140540315359874 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11839] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11839/stat : 11839 (java) S 11820 11820 11241 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 20 0 419207790 27969658880 31744 33554432000 4194304 4196468 140736502956112 140538429774576 140540315359874 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11840] ppid=11820 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/11823/task/11840/stat : 11840 (java) S 11820 11820 11241 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 20 0 419207790 27969658880 31744 33554432000 4194304 4196468 140736502956112 140538428722032 140540315359874 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11841] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11841/stat : 11841 (java) S 11820 11820 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419207790 27969658880 31744 33554432000 4194304 4196468 140736502956112 140537101281504 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11842] ppid=11820 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11823/task/11842/stat : 11842 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419207790 27969658880 31744 33554432000 4194304 4196468 140736502956112 140538427668912 140540315359874 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128368 KiB

[startup+0.309841 s]*
/proc/loadavg: 8.36 8.40 8.29 2/212 11842
/proc/meminfo: memFree=31350504/32770624 swapFree=66982240/67108860
[pid=11820] ppid=11817 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/11820/stat : 11820 (scop.sh) S 11817 11820 11241 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419207782 115843072 348 33554432000 4194304 5098028 140720610118592 140720610115848 140250914529916 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24375296 140720610120485 140720610120812 140720610120812 140720610123725 0
/proc/11820/statm: 28282 348 296 221 0 87 0
[pid=11823] ppid=11820 vsize=27314120 memory=130320 CPUtime=0.41 cores=0-7
/proc/11823/stat : 11823 (java) S 11820 11820 11241 0 -1 1077944320 12458 0 0 0 36 5 0 0 20 0 20 0 419207782 27969658880 32580 33554432000 4194304 4196468 140736502956112 140736502938656 140540315348727 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
/proc/11823/statm: 6828530 32580 3021 1 0 6790935 0
[pid=11823/tid=11824] ppid=11820 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/11823/task/11824/stat : 11824 (java) R 11820 11820 11241 0 -1 4202560 9986 0 0 0 25 4 0 0 20 0 20 0 419207783 27969658880 32580 33554432000 4194304 4196468 140736502956112 140540287169728 140540300514375 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11825] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11825/stat : 11825 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 32580 33554432000 4194304 4196468 140736502956112 140540319590672 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11826] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11826/stat : 11826 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 32580 33554432000 4194304 4196468 140736502956112 140540133747088 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11827] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11827/stat : 11827 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 32580 33554432000 4194304 4196468 140736502956112 140540132694544 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11828] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11828/stat : 11828 (java) S 11820 11820 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 32580 33554432000 4194304 4196468 140736502956112 140540131642000 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11829] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11829/stat : 11829 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 32580 33554432000 4194304 4196468 140736502956112 140540130589456 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11830] ppid=11820 vsize=27314120 memory=140587835681455 CPUtime=0 cores=0-7
/proc/11823/task/11830/stat : 11830 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 32580 33554432000 4194304 4196468 140736502956112 140540129536912 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11831] ppid=11820 vsize=27314120 memory=140587835683760 CPUtime=0 cores=0-7
/proc/11823/task/11831/stat : 11831 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 32580 33554432000 4194304 4196468 140736502956112 140540128484368 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11832] ppid=11820 vsize=27314120 memory=140587835686064 CPUtime=0 cores=0-7
/proc/11823/task/11832/stat : 11832 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419207785 27969658880 32580 33554432000 4194304 4196468 140736502956112 140540127431824 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11833] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11833/stat : 11833 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419207786 27969658880 32580 33554432000 4194304 4196468 140736502956112 140538432931824 140540315359874 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11834] ppid=11820 vsize=27314120 memory=281175671386000 CPUtime=0 cores=0-7
/proc/11823/task/11834/stat : 11834 (java) S 11820 11820 11241 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419207787 27969658880 32580 33554432000 4194304 4196468 140736502956112 140538242130848 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11835] ppid=11820 vsize=27314120 memory=281175671383696 CPUtime=0 cores=0-7
/proc/11823/task/11835/stat : 11835 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419207787 27969658880 32580 33554432000 4194304 4196468 140736502956112 140537973695472 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11836] ppid=11820 vsize=27314120 memory=281175671390608 CPUtime=0 cores=0-7
/proc/11823/task/11836/stat : 11836 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419207790 27969658880 32580 33554432000 4194304 4196468 140736502956112 140537599187152 140540315367323 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11837] ppid=11820 vsize=27314120 memory=281175671331856 CPUtime=0.01 cores=0-7
/proc/11823/task/11837/stat : 11837 (java) S 11820 11820 11241 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 20 0 419207790 27969658880 32580 33554432000 4194304 4196468 140736502956112 140538431879664 140540315359874 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11838] ppid=11820 vsize=27314120 memory=281175671404432 CPUtime=0 cores=0-7
/proc/11823/task/11838/stat : 11838 (java) S 11820 11820 11241 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 419207790 27969658880 32580 33554432000 4194304 4196468 140736502956112 140538430827120 140540315359874 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11839] ppid=11820 vsize=27314120 memory=281175671411344 CPUtime=0.02 cores=0-7
/proc/11823/task/11839/stat : 11839 (java) R 11820 11820 11241 0 -1 4202560 249 0 0 0 2 0 0 0 20 0 20 0 419207790 27969658880 32580 33554432000 4194304 4196468 140736502956112 140538429774576 140540300474755 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11840] ppid=11820 vsize=27314120 memory=281175671409040 CPUtime=0.07 cores=0-7
/proc/11823/task/11840/stat : 11840 (java) S 11820 11820 11241 0 -1 1077944384 478 0 0 0 7 0 0 0 20 0 20 0 419207790 27969658880 32580 33554432000 4194304 4196468 140736502956112 140538428722032 140540315359874 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11841] ppid=11820 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11841/stat : 11841 (java) S 11820 11820 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419207790 27969658880 32580 33554432000 4194304 4196468 140736502956112 140537101281504 140540315358933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11842] ppid=11820 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11823/task/11842/stat : 11842 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419207790 27969658880 32580 33554432000 4194304 4196468 140736502956112 140538427668912 140540315359874 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131712 KiB

[startup+0.7009 s]
/proc/loadavg: 7.77 8.28 8.25 2/212 11842
/proc/meminfo: memFree=31329736/32770624 swapFree=66982240/67108860
[pid=11820] ppid=11817 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/11820/stat : 11820 (scop.sh) S 11817 11820 11241 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419207782 115843072 348 33554432000 4194304 5098028 140720610118592 140720610115848 140250914529916 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24375296 140720610120485 140720610120812 140720610120812 140720610123725 0
/proc/11820/statm: 28282 348 296 221 0 87 0
[pid=11823] ppid=11820 vsize=27322516 memory=165836 CPUtime=0.97 cores=0-7
/proc/11823/stat : 11823 (java) S 11820 11820 11241 0 -1 1077944320 20040 0 0 0 89 8 0 0 20 0 20 0 419207782 27978256384 41459 33554432000 4194304 4196468 140736502956112 140736502938656 140540315348727 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
/proc/11823/statm: 6830629 41459 3205 1 0 6791959 0
[pid=11823/tid=11824] ppid=11820 vsize=27322516 memory=0 CPUtime=0.68 cores=0-7
/proc/11823/task/11824/stat : 11824 (java) R 11820 11820 11241 0 -1 4202560 17085 0 0 0 61 7 0 0 20 0 20 0 419207783 27978256384 41459 33554432000 4194304 4196468 140736502956112 140540287180032 140540299429214 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11825] ppid=11820 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11825/stat : 11825 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419207785 27978256384 41459 33554432000 4194304 4196468 140736502956112 140540319590672 140540315358933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11826] ppid=11820 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11826/stat : 11826 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419207785 27978256384 41459 33554432000 4194304 4196468 140736502956112 140540133747088 140540315358933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0
[pid=11823/tid=11827] ppid=11820 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/11823/task/11827/stat : 11827 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419207785 27978256384 41459 33554432000 4194304 4196468 140736502956112 140540132694544 140540315358933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140736502964971 140736502965398 140736502965398 140736502968271 0

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

/proc/11843/task/11848/stat : 11848 (java) S 11820 11820 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419208125 8616062976 30607 33554432000 4194304 4196468 140727737717856 140631509200016 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11849] ppid=11820 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/11843/task/11849/stat : 11849 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419208125 8616062976 30607 33554432000 4194304 4196468 140727737717856 140631508146448 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11850] ppid=11820 vsize=8414124 memory=4160 CPUtime=0 cores=0-7
/proc/11843/task/11850/stat : 11850 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419208125 8616062976 30607 33554432000 4194304 4196468 140727737717856 140631507093904 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11851] ppid=11820 vsize=8414124 memory=1692 CPUtime=0 cores=0-7
/proc/11843/task/11851/stat : 11851 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419208125 8616062976 30607 33554432000 4194304 4196468 140727737717856 140631506041360 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11852] ppid=11820 vsize=8414124 memory=1028 CPUtime=0 cores=0-7
/proc/11843/task/11852/stat : 11852 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419208125 8616062976 30607 33554432000 4194304 4196468 140727737717856 140631504988816 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11853] ppid=11820 vsize=8414124 memory=1060 CPUtime=0.01 cores=0-7
/proc/11843/task/11853/stat : 11853 (java) S 11820 11820 11241 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 24 0 419208126 8616062976 30607 33554432000 4194304 4196468 140727737717856 140630985529840 140632026602114 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11854] ppid=11820 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/11843/task/11854/stat : 11854 (java) S 11820 11820 11241 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419208127 8616062976 30607 33554432000 4194304 4196468 140727737717856 140630583928224 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11855] ppid=11820 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/11843/task/11855/stat : 11855 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419208127 8616062976 30607 33554432000 4194304 4196468 140727737717856 140630315492848 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11856] ppid=11820 vsize=8414124 memory=756 CPUtime=0 cores=0-7
/proc/11843/task/11856/stat : 11856 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419208129 8616062976 30607 33554432000 4194304 4196468 140727737717856 140629940984528 140632026609563 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11857] ppid=11820 vsize=8414124 memory=1548 CPUtime=0.07 cores=0-7
/proc/11843/task/11857/stat : 11857 (java) S 11820 11820 11241 0 -1 1077944384 673 0 0 0 7 0 0 0 20 0 24 0 419208129 8616062976 30607 33554432000 4194304 4196468 140727737717856 140630984476656 140632026602114 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11858] ppid=11820 vsize=8414124 memory=7980 CPUtime=0.04 cores=0-7
/proc/11843/task/11858/stat : 11858 (java) S 11820 11820 11241 0 -1 1077944384 118 0 0 0 4 0 0 0 20 0 24 0 419208129 8616062976 30607 33554432000 4194304 4196468 140727737717856 140630983424112 140632026602114 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11859] ppid=11820 vsize=8414124 memory=1164 CPUtime=0.06 cores=0-7
/proc/11843/task/11859/stat : 11859 (java) S 11820 11820 11241 0 -1 1077944384 345 0 0 0 6 0 0 0 20 0 24 0 419208129 8616062976 30607 33554432000 4194304 4196468 140727737717856 140630982371568 140632026602114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11860] ppid=11820 vsize=8414124 memory=9580 CPUtime=0.19 cores=0-7
/proc/11843/task/11860/stat : 11860 (java) S 11820 11820 11241 0 -1 1077944384 938 0 0 0 19 0 0 0 20 0 24 0 419208129 8616062976 30607 33554432000 4194304 4196468 140727737717856 140630981319024 140632026602114 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11861] ppid=11820 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/11843/task/11861/stat : 11861 (java) S 11820 11820 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419208130 8616062976 30607 33554432000 4194304 4196468 140727737717856 140629443078880 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11862] ppid=11820 vsize=8414124 memory=2120 CPUtime=0.2 cores=0-7
/proc/11843/task/11862/stat : 11862 (java) S 11820 11820 11241 0 -1 1077944384 23 0 0 0 10 10 0 0 20 0 24 0 419208130 8616062976 30607 33554432000 4194304 4196468 140727737717856 140630980266928 140632026602114 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11864] ppid=11820 vsize=8414124 memory=11976 CPUtime=0 cores=0-7
/proc/11843/task/11864/stat : 11864 (java) S 11820 11820 11241 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419208237 8616062976 30607 33554432000 4194304 4196468 140727737717856 140631322416832 140632026615577 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11866] ppid=11820 vsize=8414124 memory=7428 CPUtime=0.03 cores=0-7
/proc/11843/task/11866/stat : 11866 (java) S 11820 11820 11241 0 -1 4202560 1684 0 0 0 1 2 0 0 20 0 24 0 419208237 8616062976 30607 33554432000 4194304 4196468 140727737717856 140628771978512 140632026612893 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11867] ppid=11820 vsize=8414124 memory=512 CPUtime=0 cores=0-7
/proc/11843/task/11867/stat : 11867 (java) S 11820 11820 11241 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419208237 8616062976 30607 33554432000 4194304 4196468 140727737717856 140629040414096 140632026612893 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11868] ppid=11820 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/11843/task/11868/stat : 11868 (java) S 11820 11820 11241 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419208239 8616062976 30607 33554432000 4194304 4196468 140727737717856 140628503551152 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
Current children cumulated CPU time: 2795.83 s
Current children cumulated vsize: 9918148 KiB
Current children cumulated memory: 1220504 KiB

[startup+361.601 s]
/proc/loadavg: 7.86 7.91 8.10 3/218 11899
/proc/meminfo: memFree=30252512/32770624 swapFree=66982240/67108860
[pid=11820] ppid=11817 vsize=113128 memory=1472 CPUtime=6.27 cores=0-7
/proc/11820/stat : 11820 (scop.sh) S 11817 11820 11241 0 -1 4202496 582 27067 0 0 0 0 586 41 20 0 1 0 419207782 115843072 368 33554432000 4194304 5098028 140720610118592 140720610115336 140250914529916 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24375296 140720610120485 140720610120812 140720610120812 140720610123725 0
/proc/11820/statm: 28282 368 311 221 0 87 0
[pid=11843] ppid=11820 vsize=8414124 memory=122428 CPUtime=1.42 cores=0-7
/proc/11843/stat : 11843 (java) S 11820 11820 11241 0 -1 1077944320 22625 0 0 0 131 11 0 0 20 0 24 0 419208123 8616062976 30607 33554432000 4194304 4196468 140727737717856 140727737700400 140632026590967 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
/proc/11843/statm: 2103531 30607 3209 1 0 2064875 0
[pid=11863] ppid=11843 vsize=1390896 memory=1096604 CPUtime=2789.32 cores=0-7
/proc/11863/stat : 11863 (manyglucose-4.1) S 11843 11820 11241 0 -1 1077944320 1150377 0 0 0 278715 217 0 0 20 0 2 0 419208237 1424277504 274151 33554432000 4194304 4454172 140723300719824 140723300718208 139848592174839 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 14774272 140723300721513 140723300721712 140723300721712 140723300724666 0
/proc/11863/statm: 347724 274151 422 64 0 343392 0
[pid=11863/tid=11869] ppid=11843 vsize=1390896 memory=33 CPUtime=353.22 cores=0-7
/proc/11863/task/11869/stat : 11869 (manyglucose-4.1) R 11843 11820 11241 0 -1 4202560 151926 0 0 0 35289 33 0 0 20 0 2 0 419208327 1424277504 274151 33554432000 4194304 4454172 140723300719824 139848565410952 4351502 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 14774272 140723300721513 140723300721712 140723300721712 140723300724666 0
[pid=11843/tid=11844] ppid=11820 vsize=8414124 memory=7449918478077154153 CPUtime=0.75 cores=0-7
/proc/11843/task/11844/stat : 11844 (java) S 11820 11820 11241 0 -1 1077944384 17451 0 0 0 70 5 0 0 20 0 24 0 419208123 8616062976 30607 33554432000 4194304 4196468 140727737717856 140631998431136 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 40 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11845] ppid=11820 vsize=8414124 memory=1096552 CPUtime=0 cores=0-7
/proc/11843/task/11845/stat : 11845 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419208125 8616062976 30607 33554432000 4194304 4196468 140727737717856 140632030833424 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11846] ppid=11820 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11843/task/11846/stat : 11846 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419208125 8616062976 30607 33554432000 4194304 4196468 140727737717856 140631511305104 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11847] ppid=11820 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11843/task/11847/stat : 11847 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419208125 8616062976 30607 33554432000 4194304 4196468 140727737717856 140631510252560 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11848] ppid=11820 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11843/task/11848/stat : 11848 (java) S 11820 11820 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419208125 8616062976 30607 33554432000 4194304 4196468 140727737717856 140631509200016 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11849] ppid=11820 vsize=8414124 memory=122428 CPUtime=0 cores=0-7
/proc/11843/task/11849/stat : 11849 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419208125 8616062976 30607 33554432000 4194304 4196468 140727737717856 140631508146448 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11850] ppid=11820 vsize=8414124 memory=1328 CPUtime=0 cores=0-7
/proc/11843/task/11850/stat : 11850 (java) S 11820 11820 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419208125 8616062976 30607 33554432000 4194304 4196468 140727737717856 140631507093904 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11851] ppid=11820 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/11843/task/11851/stat : 11851 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419208125 8616062976 30607 33554432000 4194304 4196468 140727737717856 140631506041360 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11852] ppid=11820 vsize=8414124 memory=4160 CPUtime=0 cores=0-7
/proc/11843/task/11852/stat : 11852 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419208125 8616062976 30607 33554432000 4194304 4196468 140727737717856 140631504988816 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11853] ppid=11820 vsize=8414124 memory=1692 CPUtime=0.01 cores=0-7
/proc/11843/task/11853/stat : 11853 (java) S 11820 11820 11241 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 24 0 419208126 8616062976 30607 33554432000 4194304 4196468 140727737717856 140630985529840 140632026602114 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11854] ppid=11820 vsize=8414124 memory=1028 CPUtime=0 cores=0-7
/proc/11843/task/11854/stat : 11854 (java) S 11820 11820 11241 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419208127 8616062976 30607 33554432000 4194304 4196468 140727737717856 140630583928224 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11855] ppid=11820 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/11843/task/11855/stat : 11855 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419208127 8616062976 30607 33554432000 4194304 4196468 140727737717856 140630315492848 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11856] ppid=11820 vsize=8414124 memory=4160 CPUtime=0 cores=0-7
/proc/11843/task/11856/stat : 11856 (java) S 11820 11820 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419208129 8616062976 30607 33554432000 4194304 4196468 140727737717856 140629940984528 140632026609563 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11857] ppid=11820 vsize=8414124 memory=1692 CPUtime=0.07 cores=0-7
/proc/11843/task/11857/stat : 11857 (java) S 11820 11820 11241 0 -1 1077944384 673 0 0 0 7 0 0 0 20 0 24 0 419208129 8616062976 30607 33554432000 4194304 4196468 140727737717856 140630984476656 140632026602114 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11858] ppid=11820 vsize=8414124 memory=1028 CPUtime=0.04 cores=0-7
/proc/11843/task/11858/stat : 11858 (java) S 11820 11820 11241 0 -1 1077944384 118 0 0 0 4 0 0 0 20 0 24 0 419208129 8616062976 30607 33554432000 4194304 4196468 140727737717856 140630983424112 140632026602114 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11859] ppid=11820 vsize=8414124 memory=1060 CPUtime=0.06 cores=0-7
/proc/11843/task/11859/stat : 11859 (java) S 11820 11820 11241 0 -1 1077944384 345 0 0 0 6 0 0 0 20 0 24 0 419208129 8616062976 30607 33554432000 4194304 4196468 140727737717856 140630982371568 140632026602114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11860] ppid=11820 vsize=8414124 memory=2828 CPUtime=0.19 cores=0-7
/proc/11843/task/11860/stat : 11860 (java) S 11820 11820 11241 0 -1 1077944384 938 0 0 0 19 0 0 0 20 0 24 0 419208129 8616062976 30607 33554432000 4194304 4196468 140727737717856 140630981319024 140632026602114 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11861] ppid=11820 vsize=8414124 memory=1096552 CPUtime=0 cores=0-7
/proc/11843/task/11861/stat : 11861 (java) S 11820 11820 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419208130 8616062976 30607 33554432000 4194304 4196468 140727737717856 140629443078880 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11862] ppid=11820 vsize=8414124 memory=1692 CPUtime=0.24 cores=0-7
/proc/11843/task/11862/stat : 11862 (java) S 11820 11820 11241 0 -1 1077944384 23 0 0 0 14 10 0 0 20 0 24 0 419208130 8616062976 30607 33554432000 4194304 4196468 140727737717856 140630980266928 140632026602114 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11864] ppid=11820 vsize=8414124 memory=1028 CPUtime=0 cores=0-7
/proc/11843/task/11864/stat : 11864 (java) S 11820 11820 11241 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419208237 8616062976 30607 33554432000 4194304 4196468 140727737717856 140631322416832 140632026615577 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11866] ppid=11820 vsize=8414124 memory=1060 CPUtime=0.03 cores=0-7
/proc/11843/task/11866/stat : 11866 (java) S 11820 11820 11241 0 -1 4202560 1684 0 0 0 1 2 0 0 20 0 24 0 419208237 8616062976 30607 33554432000 4194304 4196468 140727737717856 140628771978512 140632026612893 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11867] ppid=11820 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/11843/task/11867/stat : 11867 (java) S 11820 11820 11241 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419208237 8616062976 30607 33554432000 4194304 4196468 140727737717856 140629040414096 140632026612893 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11868] ppid=11820 vsize=8414124 memory=756 CPUtime=0 cores=0-7
/proc/11843/task/11868/stat : 11868 (java) S 11820 11820 11241 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419208239 8616062976 30607 33554432000 4194304 4196468 140727737717856 140628503551152 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
Current children cumulated CPU time: 2797.01 s
Current children cumulated vsize: 9918148 KiB
Current children cumulated memory: 1220504 KiB

[startup+361.801 s]
/proc/loadavg: 7.86 7.91 8.10 3/218 11899
/proc/meminfo: memFree=30252512/32770624 swapFree=66982240/67108860
[pid=11820] ppid=11817 vsize=113128 memory=1472 CPUtime=6.27 cores=0-7
/proc/11820/stat : 11820 (scop.sh) S 11817 11820 11241 0 -1 4202496 582 27067 0 0 0 0 586 41 20 0 1 0 419207782 115843072 368 33554432000 4194304 5098028 140720610118592 140720610115336 140250914529916 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24375296 140720610120485 140720610120812 140720610120812 140720610123725 0
/proc/11820/statm: 28282 368 311 221 0 87 0
[pid=11843] ppid=11820 vsize=8283048 memory=135528 CPUtime=2791.2 cores=0-7
/proc/11843/stat : 11843 (java) S 11820 11820 11241 0 -1 1077944320 24384 1150408 0 0 166 12 278722 220 20 0 22 0 419208123 8481841152 33882 33554432000 4194304 4196468 140727737717856 140727737700400 140632026590967 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
/proc/11843/statm: 2070762 33882 3226 1 0 2032106 0
[pid=11843/tid=11844] ppid=11820 vsize=8283048 memory=1082216 CPUtime=2790.24 cores=0-7
/proc/11843/task/11844/stat : 11844 (java) R 11820 11820 11241 0 -1 4202560 17665 1150408 0 0 77 5 278722 220 20 0 22 0 419208123 8481841152 33882 33554432000 4194304 4196468 140727737717856 140631998419600 140632010671454 0 4 2 25189581 0 0 0 -1 6 0 0 40 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11845] ppid=11820 vsize=8283048 memory=780 CPUtime=2789.42 cores=0-7
/proc/11843/task/11845/stat : 11845 (java) S 11820 11820 11241 0 -1 1077944384 2 1150408 0 0 0 0 278722 220 20 0 22 0 419208125 8481841152 33882 33554432000 4194304 4196468 140727737717856 140632030833424 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11846] ppid=11820 vsize=8283048 memory=4160 CPUtime=2789.42 cores=0-7
/proc/11843/task/11846/stat : 11846 (java) S 11820 11820 11241 0 -1 1077944384 1 1150408 0 0 0 0 278722 220 20 0 22 0 419208125 8481841152 33882 33554432000 4194304 4196468 140727737717856 140631511305104 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11847] ppid=11820 vsize=8283048 memory=1692 CPUtime=2789.42 cores=0-7
/proc/11843/task/11847/stat : 11847 (java) S 11820 11820 11241 0 -1 1077944384 1 1150408 0 0 0 0 278722 220 20 0 22 0 419208125 8481841152 33882 33554432000 4194304 4196468 140727737717856 140631510252560 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11848] ppid=11820 vsize=8283048 memory=-8960301147168731538 CPUtime=2789.42 cores=0-7
/proc/11843/task/11848/stat : 11848 (java) S 11820 11820 11241 0 -1 1077944384 3 1150408 0 0 0 0 278722 220 20 0 22 0 419208125 8481841152 33882 33554432000 4194304 4196468 140727737717856 140631509200016 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11849] ppid=11820 vsize=8283048 memory=119796 CPUtime=2789.42 cores=0-7
/proc/11843/task/11849/stat : 11849 (java) S 11820 11820 11241 0 -1 1077944384 2 1150408 0 0 0 0 278722 220 20 0 22 0 419208125 8481841152 33882 33554432000 4194304 4196468 140727737717856 140631508146448 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11850] ppid=11820 vsize=8283048 memory=1082216 CPUtime=2789.42 cores=0-7
/proc/11843/task/11850/stat : 11850 (java) S 11820 11820 11241 0 -1 1077944384 2 1150408 0 0 0 0 278722 220 20 0 22 0 419208125 8481841152 33882 33554432000 4194304 4196468 140727737717856 140631507093904 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11851] ppid=11820 vsize=8283048 memory=1164 CPUtime=2789.42 cores=0-7
/proc/11843/task/11851/stat : 11851 (java) S 11820 11820 11241 0 -1 1077944384 1 1150408 0 0 0 0 278722 220 20 0 22 0 419208125 8481841152 33882 33554432000 4194304 4196468 140727737717856 140631506041360 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11852] ppid=11820 vsize=8283048 memory=9580 CPUtime=2789.42 cores=0-7
/proc/11843/task/11852/stat : 11852 (java) S 11820 11820 11241 0 -1 1077944384 1 1150408 0 0 0 0 278722 220 20 0 22 0 419208125 8481841152 33882 33554432000 4194304 4196468 140727737717856 140631504988816 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11853] ppid=11820 vsize=8283048 memory=14008 CPUtime=2789.43 cores=0-7
/proc/11843/task/11853/stat : 11853 (java) S 11820 11820 11241 0 -1 1077944384 8 1150408 0 0 1 0 278722 220 20 0 22 0 419208126 8481841152 33882 33554432000 4194304 4196468 140727737717856 140630985529840 140632026602114 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11854] ppid=11820 vsize=8283048 memory=-8960301147168731538 CPUtime=2789.42 cores=0-7
/proc/11843/task/11854/stat : 11854 (java) S 11820 11820 11241 0 -1 1077944384 13 1150408 0 0 0 0 278722 220 20 0 22 0 419208127 8481841152 33882 33554432000 4194304 4196468 140727737717856 140630583928224 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11855] ppid=11820 vsize=8283048 memory=1328 CPUtime=2789.42 cores=0-7
/proc/11843/task/11855/stat : 11855 (java) S 11820 11820 11241 0 -1 1077944384 1 1150408 0 0 0 0 278722 220 20 0 22 0 419208127 8481841152 33882 33554432000 4194304 4196468 140727737717856 140630315492848 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11856] ppid=11820 vsize=8283048 memory=780 CPUtime=2789.42 cores=0-7
/proc/11843/task/11856/stat : 11856 (java) S 11820 11820 11241 0 -1 1077944384 1 1150408 0 0 0 0 278722 220 20 0 22 0 419208129 8481841152 33882 33554432000 4194304 4196468 140727737717856 140629940984528 140632026609563 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11857] ppid=11820 vsize=8283048 memory=4160 CPUtime=2789.55 cores=0-7
/proc/11843/task/11857/stat : 11857 (java) R 11820 11820 11241 0 -1 4202560 707 1150408 0 0 13 0 278722 220 20 0 22 0 419208129 8481841152 33882 33554432000 4194304 4196468 140727737717856 140630984464032 140632011512749 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11858] ppid=11820 vsize=8283048 memory=1692 CPUtime=2789.52 cores=0-7
/proc/11843/task/11858/stat : 11858 (java) R 11820 11820 11241 0 -1 4202560 543 1150408 0 0 10 0 278722 220 20 0 22 0 419208129 8481841152 33882 33554432000 4194304 4196468 140727737717856 140630983404704 140632011520481 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11859] ppid=11820 vsize=8283048 memory=1028 CPUtime=2789.53 cores=0-7
/proc/11843/task/11859/stat : 11859 (java) R 11820 11820 11241 0 -1 4202560 516 1150408 0 0 11 0 278722 220 20 0 22 0 419208129 8481841152 33882 33554432000 4194304 4196468 140727737717856 140630982371696 140632008116287 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11860] ppid=11820 vsize=8283048 memory=780 CPUtime=2789.68 cores=0-7
/proc/11843/task/11860/stat : 11860 (java) S 11820 11820 11241 0 -1 1077944384 1304 1150408 0 0 26 0 278722 220 20 0 22 0 419208129 8481841152 33882 33554432000 4194304 4196468 140727737717856 140630981319024 140632026602114 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11861] ppid=11820 vsize=8283048 memory=4160 CPUtime=2789.42 cores=0-7
/proc/11843/task/11861/stat : 11861 (java) S 11820 11820 11241 0 -1 1077944384 3 1150408 0 0 0 0 278722 220 20 0 22 0 419208130 8481841152 33882 33554432000 4194304 4196468 140727737717856 140629443078880 140632026601173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11862] ppid=11820 vsize=8283048 memory=1692 CPUtime=2789.66 cores=0-7
/proc/11843/task/11862/stat : 11862 (java) S 11820 11820 11241 0 -1 1077944384 23 1150408 0 0 14 10 278722 220 20 0 22 0 419208130 8481841152 33882 33554432000 4194304 4196468 140727737717856 140630980266928 140632026602114 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11864] ppid=11820 vsize=8283048 memory=1028 CPUtime=2789.42 cores=0-7
/proc/11843/task/11864/stat : 11864 (java) S 11820 11820 11241 0 -1 1077944384 24 1150408 0 0 0 0 278722 220 20 0 22 0 419208237 8481841152 33882 33554432000 4194304 4196468 140727737717856 140631322416016 140632026602114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
[pid=11843/tid=11868] ppid=11820 vsize=8283048 memory=756 CPUtime=2789.42 cores=0-7
/proc/11843/task/11868/stat : 11868 (java) S 11820 11820 11241 0 -1 1077944384 14 1150408 0 0 0 0 278722 220 20 0 22 0 419208239 8481841152 33882 33554432000 4194304 4196468 140727737717856 140628503552944 140632026602114 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28491776 140727737725943 140727737726102 140727737726102 140727737728975 0
Current children cumulated CPU time: 2797.47 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 137000 KiB

Child status: 0
Real time (s): 361.86
CPU time (s): 2797.63
CPU user time (s): 2794.88
CPU system time (s): 2.7511
CPU usage (%): 773.126
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 1720420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2794.88
system time used= 2.7511
maximum resident set size= 1735800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1202621
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26347
involuntary context switches= 30220


# summary of solver processes directly reported to runsolver:
#   pid: 11820
#   total CPU time (s): 2797.63
#   total CPU user time (s): 2794.88
#   total CPU system time (s): 2.7511

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.20288 second user time and 5.45096 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-14 04:50:09
IDJOB=4392406
IDBENCH=127806
IDSOLVER=2838
FILE ID=node121/4392406-1568429451
RUNJOBID= node121-1568426870-11268
PBS_JOBID= 21702290
Free space on /tmp= 61412 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-154.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-4392406-1568429451/watcher-4392406-1568429451 -o /tmp/evaluation-result-4392406-1568429451/solver-4392406-1568429451 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568426870-11268 --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-4392406-1568429451.xml

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

MD5SUM BENCH= 9c35d8cb8d03f0164c4f0b6ed4b5e670
RANDOM SEED=166535683

node121.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.75
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.75
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.75
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.75
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:        31471032 kB
MemAvailable:   31913888 kB
Buffers:          172340 kB
Cached:           565440 kB
SwapCached:        18492 kB
Active:           405044 kB
Inactive:         353772 kB
Active(anon):       6664 kB
Inactive(anon):    45736 kB
Active(file):     398380 kB
Inactive(file):   308036 kB
Unevictable:      109108 kB
Mlocked:          109108 kB
SwapTotal:      67108860 kB
SwapFree:       66982240 kB
Dirty:             20452 kB
Writeback:             0 kB
AnonPages:        108548 kB
Mapped:            35184 kB
Shmem:             22664 kB
Slab:             133280 kB
SReclaimable:     104548 kB
SUnreclaim:        28732 kB
KernelStack:        3264 kB
PageTables:         5048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     63488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61392 MiB
End job on node121 at 2019-09-14 04:56:11